 - 2 = 0. Suppose x*w + 92 = 6*w. Suppose 165 = 2*b + 3*b + 2*f, -3*f = b - w. Is b a prime number?
True
Let w = 64 - -265. Is w prime?
False
Suppose -2*d + 3*m = -15 - 122, -2*d - 3*m + 167 = 0. Let o = -53 + d. Is o composite?
False
Let p(m) = -570*m**3 - m**2. Let x be p(-1). Suppose 5*h + 104 = x. Is h prime?
False
Let m(v) = 24*v + 19. Is m(7) composite?
True
Let i(a) be the third derivative of a**8/10080 - a**7/1008 - 7*a**6/720 - a**5/30 + 2*a**2. Let p(k) be the third derivative of i(k). Is p(-8) composite?
True
Let l be (-4)/6 - (-17)/3. Let b be (-2)/l*5/(-2). Suppose y - 2*o + 0 + b = 0, -2*y + o + 10 = 0. Is y prime?
True
Let d(c) be the first derivative of -c**4/4 - 2*c**3 - c**2 - 8*c + 1. Let l be d(-6). Is (-2)/l - (-43)/2 prime?
False
Suppose -l - 3 = -4*l. Is 7/(14/144) - l composite?
False
Let k(d) = d**3 - 9*d**2 - 9*d - 1. Let r be 12/72 - (-59)/6. Is k(r) prime?
False
Let y(w) = 2*w**2 - 4*w - 29. Is y(14) composite?
False
Let r = 11 + -8. Suppose 5*f + 3*v = 262, r*f + 5*v - 154 = -0*v. Is f prime?
True
Suppose -2*r + 938 + 32 = i, 5*r + 4*i - 2419 = 0. Is r a prime number?
True
Let b(j) = 8*j**2. Let k be b(1). Let g = k - 8. Suppose 0 = 4*s - o - 99, -o - 24 = -s - g*o. Is s prime?
False
Suppose -4*f - 16 = 3*l, -6 = -0*f - 2*f + 2*l. Let r = f - -5. Suppose -5*y + 5*u + 90 = 0, -33 = -0*y - y + r*u. Is y prime?
True
Suppose 3*b - 2*f = f + 195, 0 = 5*b - f - 341. Is b composite?
True
Suppose 10*b - 4388 = 5022. Is b a prime number?
True
Let x = 7 + -4. Suppose -3*q + 3*k + 168 = 36, 2*k = -2*q + 80. Suppose -q = -x*j + j. Is j a prime number?
False
Suppose 6*q + 3993 - 26175 = 0. Is q prime?
True
Suppose 3*b - 4*y = 4939, 0*y = 3*b + 2*y - 4951. Is b prime?
False
Let m(b) = 821*b - 1. Let y be m(-1). Is y/(-8) - (-5)/20 composite?
False
Let n = 1744 + -595. Is n a prime number?
False
Let q = 245 - 166. Is q prime?
True
Let g be 2/(-8)*(1 - 53). Suppose 5*f = 3*l + 33, -g = -f + l - 6. Is f composite?
True
Let b(v) = v**3 + 4*v**2 - 4*v + 6. Let z be b(-10). Let x = -135 - z. Is x composite?
False
Let r = 2523 + -1736. Is r prime?
True
Let j be ((-2)/(-6))/(4/(-24)). Is 5/((-5)/(-16)) + j composite?
True
Is (2 + 0)/(-8)*1*-3188 a composite number?
False
Let b = -2 - -3. Let g(r) = 0 - b - 2*r**2 - r**3 + 3. Is g(-3) a composite number?
False
Let r(s) = s**2 + 1. Let p be r(-1). Let k = 28 - p. Suppose -o = o - k. Is o a composite number?
False
Let f(i) = -4*i - 3. Let n be f(-2). Let d(c) = c**2 - c - 7. Is d(n) a prime number?
True
Let i = 1335 + -892. Is i a prime number?
True
Let f be 4/8*-2*-9. Suppose 7*n - f*n + 266 = 0. Is n composite?
True
Let a(s) = -s**3 + 3*s**2 - 3*s + 2. Let v be a(2). Suppose y = -x - 0 + 13, x - 3 = v. Suppose -115 = -3*g - y. Is g a prime number?
False
Suppose -5*h + 5 = -10. Suppose 258 = -0*g + 2*g. Suppose -g + 18 = -h*k. Is k a prime number?
True
Let w be (-21)/14*32/(-6). Suppose h - 7 = w. Is h a prime number?
False
Let l(z) = 410*z**2 + 2*z + 1. Is l(-1) a prime number?
True
Suppose -3*w + 4 - 1 = 0. Is 3/w*(-235)/(-15) composite?
False
Let i be (-1 + 104)*1 - 2. Is -7 + (-12)/(-4) + i composite?
False
Let t(w) be the first derivative of -w**2/2 - w + 2. Let j be t(-3). Suppose 2*o = 4*s - 360, 3*s - 273 = 5*o - j*o. Is s a composite number?
False
Suppose -70 = a + a. Let n be 6/(-10) - (-14)/a. Is n*1 - 36/(-3) prime?
True
Let h = -73 - 66. Suppose -4*z - 369 = -3*a, -5*z - a = -0*a + 447. Let y = z - h. Is y a composite number?
True
Let k(a) = a + 8. Let w(n) = 1. Let b(x) = -k(x) + 6*w(x). Let v be b(-9). Suppose c = 2*c - v. Is c composite?
False
Let q = -42 + 446. Let m = q - 193. Is m a prime number?
True
Suppose 5*d + 31 = -5*k + k, d + 19 = -4*k. Is (3 + -4)/(d/345) prime?
False
Let q be (1 - (1 - 0))/1. Let g(t) = 5*t**2 - 4*t + 3. Let b be g(7). Suppose -3*c - c + b = q. Is c a composite number?
True
Suppose 2*w - 4*q = 214, -5*w - 6*q + 4*q = -583. Is w/1 + -2 + 2 composite?
True
Suppose -6 = -b + g - 2*g, 2*g = b + 3. Let d(n) = 4*n - 6. Let j be d(4). Suppose -2*o + j = b*o. Is o a prime number?
True
Let s = 715 + -34. Is s prime?
False
Let n = -2 - -2. Suppose n*x - 5*x = 15. Let m(l) = -2*l**3 + 2*l**2 - 2*l - 4. Is m(x) a prime number?
False
Let z(j) = j**2 - 11*j + 12. Let v be z(10). Let p(q) = 7*q**3 - q**2 + 2*q - 2. Let w be p(v). Let k = w - 35. Is k composite?
False
Let a be (2/(-6))/(7/(-63)). Suppose a = -l, 4*m - 81 = 2*m + l. Is m a composite number?
True
Let v(l) = l - 5. Let w be v(7). Suppose w*g + 332 = -n - 4*n, 5*n - g = -329. Is 2 - (n + 1 + -2) a composite number?
True
Let l(s) = 768*s - 2. Let b be l(2). Is (-1)/(-5) + b/5 prime?
True
Let z(j) = -j - 5. Let w be z(-7). Suppose 2*t - 2*i = 218, -w*t - 3*i = -128 - 75. Is t prime?
False
Let o(j) = -51*j + 9. Let l(a) = -25*a + 4. Let w(i) = -13*l(i) + 6*o(i). Let p be w(-2). Let h = p - -51. Is h composite?
True
Let j be (-38)/(3 - (-22)/(-8)). Let i = j + 237. Is i a prime number?
False
Let u(s) = -s**2 - 51*s + 11. Is u(-22) composite?
True
Suppose 6 = 3*m + 2*w - 2, -12 = -5*m - 2*w. Suppose -c - 1 = k - 0*c, m*c - 10 = 4*k. Is 4/((-24)/357)*k a composite number?
True
Let s(i) be the first derivative of -i**2/2 + 12*i + 2. Is s(-9) prime?
False
Let i be 6/9 + 16/(-6). Let b be -1*6 - (1 + i). Is b*(-21)/(-6)*-2 composite?
True
Let s = 724 + 394. Suppose -s = -3*c + 1. Is c composite?
False
Let q = 20 - -57. Is q a composite number?
True
Let g(k) = -5*k - 22. Is g(-7) a prime number?
True
Let z(s) = s**2 + 5*s - 8. Let b be z(-6). Let r(o) = 1 - 3*o - 3*o**2 + 0 - 4 - 4*o**3. Is r(b) a composite number?
False
Let x be 2*2/(-2) - -2. Suppose 3*a - 2*i + i = 13, a + i - 11 = x. Let j(u) = 2*u**2 - 2*u - 3. Is j(a) a prime number?
False
Let d = -158 + 308. Suppose -3*k = 2*y - d + 35, -5*y + 268 = k. Is y prime?
True
Let h be 5/(10/(-26)) - 1. Let f(p) = p + 33. Is f(h) a prime number?
True
Let d(u) = u**2 + 2*u + 3. Let t(g) = g**2 + g + 3. Let l(i) = -3*d(i) + 4*t(i). Let z be l(2). Suppose z*o - 7*o + 124 = 5*b, -4*b = 0. Is o a prime number?
True
Suppose 0*t = 3*t + 15, -4*k + 3024 = -4*t. Is k a composite number?
False
Let z = -8 - -5. Let r = z - -5. Suppose 0 = r*n - 0 - 20. Is n a composite number?
True
Suppose 5*q - 184 = 26. Suppose -o = -3*r - 146, -4*r = -2*o - q + 336. Is o a composite number?
False
Suppose 6*l = 3*l - 366. Is 18/81 - l/18 composite?
False
Let h = -8 - -12. Suppose 4*v + 2*z = -24, -2*z = 2*v - h*z + 6. Is (-5)/(v/(-2)) - -37 prime?
False
Let v be (-4)/(-10) - 13/(-5). Let u be (-74)/(-14) - 10/35. Suppose d = v*l + 10, 0*d - u*d = -l - 120. Is d composite?
True
Let a = -85 + -11. Suppose 9 = -4*s - 683. Let g = a - s. Is g prime?
False
Is (-1)/(2/(-398)) + 4 composite?
True
Suppose 5*h = 2*z - 179, h - 134 = -z - 34. Is z prime?
True
Let f = -4 + 3. Let x = 2 - f. Suppose 6*l - 125 = l + x*c, 0 = -l + 4*c + 42. Is l composite?
True
Let h = 1481 - 282. Suppose -4*u - r + h = 0, 0 = -3*u - 5*r + 4*r + 900. Is u a prime number?
False
Let d(l) = 20*l**2 - 2*l + 3. Suppose -z - 7 = -9. Is d(z) a prime number?
True
Let i(x) = x**3 + 8*x**2 + 5*x - 8. Let p be i(-7). Is (1 + (-3)/p)*74 a composite number?
False
Suppose -4*j + 101 = -1591. Suppose -j = -3*t + 768. Is t a composite number?
False
Let h(g) = g + 3. Let r be h(3). Is (-483)/(-9) + (-4)/r a composite number?
False
Let m = -19 - -9. Let z = m + 101. Is z prime?
False
Suppose 4*m + 3*t = -0*t + 35, -m + 4*t - 15 = 0. Suppose -m*x + 70 = -3*x. Is x prime?
False
Let l = -74 - -21. Let v = -1 - l. Suppose -v = -d - 3*d. Is d a composite number?
False
Suppose -6 - 30 = -4*t. Suppose -d + 4*d = -t. Let j(l) = 9*l**2 + 2*l + 2. Is j(d) a prime number?
False
Let t = -111 - -458. Is t a prime number?
True
Let b(d) = 102*d**2 - 1. Is b(2) a prime number?
False
Let f(o) = -o + 1. Let j(w) = -9*w + 7. Let z(q) = -6*f(q) + j(q). Suppose -3*d = -d + 16. Is z(d) prime?
False
Let p(a) = a**2 - 7*a + 4. Let l = 12 - 5. Let x be p(l). Suppose 0 = o - x*o + 159. Is o prime?
True
Let t = 3 - 1. Suppose -t*q + 30 = -0*q. Is q prime?
False
Let u(n) = -n**3 + n**2 + 85. Let g(c) = c**3 - 6*c**2 + c - 5. Let x be g(6). Let z be (x + 0 - -1) + -2. Is u(z) a composite number?
True
Suppose 3*k - 4*u - 8616 - 6793 = 0, 3*k + 5*u - 15373