False
Suppose 2*x + 2533 + 4502 = 5*c, 4*x = -3*c + 4247. Is c a prime number?
True
Let k = 0 - 0. Let l = 22 - 20. Suppose 0 = -j + q + 29, -50 = -l*j - k*q + 4*q. Is j composite?
True
Let s(o) = 71*o**2 + 2*o - 1. Let l be s(1). Let h = l + 19. Is h composite?
True
Suppose 0 = -3*q + 19 - 1. Suppose -s - q = -0. Is 294/9 - 2/s a prime number?
False
Let j = -357 + 1056. Is j a composite number?
True
Let g be (1 - 2 - 1) + -95. Let c = g - -154. Is c a composite number?
True
Let v(h) = -21*h**3 - 3*h**2 - 1. Let m(x) = -43*x**3 - 7*x**2 - 2. Let n(j) = -4*m(j) + 9*v(j). Is n(-2) composite?
False
Let n be (-16)/(-40) - (-806)/10. Let k = 148 - n. Is k composite?
False
Let a be 4 - (-2)/6*0. Let f(c) = 0*c**2 - c**2 - 1 - 4*c + a*c**2. Is f(4) composite?
False
Let x = -59 - -177. Is x a composite number?
True
Suppose -2*a - 2*d = 2 - 28, a = 4*d + 18. Suppose 0 = -2*v + a - 4. Suppose -v*s + 220 = -s. Is s a composite number?
True
Suppose 6*d = d - 5*q + 135, -3*d + 75 = -3*q. Is d a composite number?
True
Let o(y) = -y**3 + 4*y**2 + 4. Let h be o(4). Suppose -4*r + 0*r = -3*n + 12, -n = 3*r - h. Suppose 3*a + a - 308 = r. Is a a prime number?
False
Let y = 12 - 6. Is 381/2*4/y composite?
False
Let t(j) = 102*j**2 - 13. Is t(-6) composite?
False
Let u be 5/1 + 18/6. Let j(v) = v**3 - 7*v**2 - 6*v - 6. Is j(u) a composite number?
True
Suppose 0 = x - 5*l - 23, -3 + 21 = 2*x + 4*l. Is x prime?
True
Let q be (-2)/(-4)*12/2. Suppose q*w - 204 = -w. Suppose -2*j + w = -j. Is j prime?
False
Let q = -263 - -892. Is q prime?
False
Let c = 176 - 126. Suppose -r + 131 = -c. Is r composite?
False
Is 3/(-1 - 2) - (-1680)/2 a prime number?
True
Let r(b) = 5*b**2 + 9*b - 1. Suppose -4*k - 34 = -3*x, -20 = -x + 5*k + 6. Is r(x) composite?
False
Let m(x) = -11*x + 10*x - 77*x - 2. Let y be m(-11). Suppose -y = -4*r + 4*b, 0 = -r + 6*r - 4*b - 1073. Is r a composite number?
True
Let q be 10/3 + (-1)/3. Suppose 2*v = 4*j, -2*v + q*j = 5*j + 24. Let n = v - -15. Is n a composite number?
False
Is 1418*((-14)/(-4) - 3) composite?
False
Let d(m) = 6 - 3*m**2 + m + 0*m**2 - 3 - m**2 + m**3. Let i be d(5). Let h = -10 + i. Is h prime?
True
Let x be (-2)/(-5) - 714/(-15). Suppose -3*p + 114 = -387. Suppose 0 = q - p + x. Is q composite?
True
Let t = 182 - 58. Suppose 2*j = -2*j + t. Is j a composite number?
False
Let k(t) = -t - 19 + t + t**2. Let j be k(0). Let r = j + 38. Is r a composite number?
False
Suppose -737 = -2*f - 3*i + 74, -f = 4*i - 393. Is f prime?
False
Let d be (-3 - -7)*381/6. Suppose d = -4*z + 6*z. Is z composite?
False
Suppose 0 = -3*j + 143 + 349. Suppose -2*r - 2 = 4, -5*r = -n + j. Is n composite?
False
Suppose 0*r - 395 = -r - 2*v, -1580 = -4*r - 3*v. Is r a prime number?
False
Let q = -127 - -234. Let b = -52 + q. Is b a composite number?
True
Let w = 1898 + -987. Is w a prime number?
True
Let n be -2 - (-3 + 3 + -7). Suppose 3*w - 55 = n*i, 2*w - 5*i = -3*w + 85. Is w prime?
False
Let j be 6/2*129/3. Let t = -32 + j. Is t composite?
False
Let x(r) = r**2 - 5*r + 7. Let s be x(8). Suppose -3*n + s = -y + 8, 36 = 4*n - 4*y. Is n composite?
False
Suppose -v = -4*v. Suppose 4*b - b = v. Suppose 4*f - 105 + 13 = b. Is f a composite number?
False
Is 2/(-8)*(-1852)/1 composite?
False
Suppose -v + 5*h + 524 = -0*h, -1048 = -2*v - 2*h. Let q = -363 + v. Is q prime?
False
Let d(b) = b**2 - 5. Suppose -2*g - 2*v - 6 = 0, -5*g + 5*v + 4 - 9 = 0. Let l be g/(-6) + (-13)/3. Is d(l) prime?
True
Suppose r - 479 = -2*r + 2*f, 2*r - 3*f = 326. Is r prime?
True
Suppose -3548 = -4*i + 3*y - 0*y, 3*i + y = 2661. Is i prime?
True
Let u(f) = -f**3 + 3*f**2. Let w be u(3). Let t(m) = -2*m**2 + 8*m + m**2 + w*m**2 - 5. Is t(5) a composite number?
True
Let g(r) = 8*r**3 - 5*r**2 + 6*r - 7. Is g(4) prime?
True
Let a(m) be the first derivative of m**4/4 - m**2/2 + 19*m + 38. Suppose -4*z = z. Is a(z) composite?
False
Is -2 + 76 + 0/(-1) a composite number?
True
Let k(d) = -8*d**3 - 2*d + 1. Suppose 0*q + q + 3 = 0. Is k(q) a prime number?
True
Let g(n) = n**2 - 11 + 8 + 2*n + 3*n. Is g(-9) prime?
False
Let t = 167 + -106. Suppose 4*r - 441 - 531 = 0. Suppose r = 2*a + t. Is a a prime number?
False
Suppose 2*v + 4787 = 5*u, -2*v - 1926 = -2*u - 4*v. Is u a composite number?
True
Suppose 0 = -2*f + 61 + 1185. Is f composite?
True
Let v be (-543)/12 + 1/4. Let c(d) = -12*d - 10. Let j be c(16). Let o = v - j. Is o a composite number?
False
Let g(m) = 4*m**2 - 1. Let z(d) = d**2 - 1. Let f(n) = -n**2 - n - 5. Let w(b) = -f(b) + 6*z(b). Let a(l) = 5*g(l) - 2*w(l). Is a(-3) composite?
True
Suppose 0 = 3*a + 7*a - 1870. Is a composite?
True
Suppose -4*o + 9 = -195. Is o prime?
False
Suppose -4*d - 20 = 2*p - 254, -3 = 3*p. Is d composite?
False
Let o(i) = -6*i**2 + i + 5. Let k(m) = -5*m**2 + m + 5. Let j(l) = -5*k(l) + 4*o(l). Is j(4) a prime number?
True
Let j(v) = v**3 - 3*v**2 + 2*v + 2. Let h be j(2). Suppose 3*a + 33 = -h*l, 0*l + 51 = -4*a - 5*l. Let r = 16 - a. Is r a composite number?
True
Let c = 963 + -290. Is c prime?
True
Let p = -85 + 120. Is p/(-15)*-3*19 prime?
False
Suppose -5*s - x + 2591 = 0, -x = -2*s + 1099 - 57. Is s composite?
True
Suppose -2*c = -3*z + 2309, -2*c = -3*z + z + 1540. Is z prime?
True
Let z(o) = 2*o + 4. Let l be z(4). Suppose -l = 3*x - 30. Is (10 + 1)*(8 - x) a prime number?
False
Let a(o) = -o**3 + 17*o**2 - 14*o + 5. Is a(16) a prime number?
True
Is (-12)/(-30) + (-3786)/(-10) composite?
False
Let z be 1 - (3 + 2 + -5). Is 35 - (3 + -1 - z) composite?
True
Let v(o) = o**3 - 10*o**2 + 8*o + 2. Let b = 22 - 15. Let l be v(b). Let r = -52 - l. Is r a prime number?
True
Let k(h) = 19*h**3 - h + 1. Is k(1) a composite number?
False
Let k be (7/2)/(5/(-10)). Let w(i) = -i**3 - 5*i**2 + 3*i. Is w(k) prime?
False
Suppose 4*c + 0*c - 5*i = 185, -137 = -3*c + 2*i. Let h = c + 34. Is h composite?
False
Suppose 0*a - 3*a = -6. Suppose -4*u + a*y = -2338, 2*u - 1199 = -6*y + y. Is u prime?
True
Suppose 0 = 5*f - 11 + 1. Suppose -f*d + 4*d = 42. Is d prime?
False
Let r(t) = 116*t + 25. Is r(29) a prime number?
True
Let s(u) = 2*u**2 + 4*u + 1. Suppose -3*q + 15 = 0, 3*x + 3*q = -0*q + 6. Let k be s(x). Let p(z) = 2*z**2 - 10*z + 3. Is p(k) a prime number?
True
Let x = -9 + 13. Let c be (1 - (-2)/(-2))/(-2). Suppose -o - 112 = -x*o + w, c = -4*o + 5*w + 153. Is o composite?
False
Let b(i) = 2*i - 2. Let u = -28 + 19. Let l = -3 - u. Is b(l) prime?
False
Suppose 4*y = 5*a + 1329, 3*a + 0*a + 3 = 0. Is y a composite number?
False
Is 2/6 + (-106150)/(-33) composite?
False
Suppose -3*k = 5*q - 1463 - 1181, -1572 = -3*q + 3*k. Is q prime?
False
Suppose 0 = 5*o, -3873 = -3*b - 0*o + 5*o. Is b a composite number?
False
Let x(s) = s**3 + 3*s - 2. Let a be x(6). Suppose -c + a = 3*c. Is c composite?
True
Let x(m) be the second derivative of 47*m**3/6 - 3*m. Let i be x(4). Suppose -6*c = -2*c - i. Is c a prime number?
True
Let j be 1*(-2 - 12*-1). Suppose -3*k - 5*x = 212, 2*k + 2*x + 103 = -33. Let w = j - k. Is w a prime number?
False
Let r be (-2)/(-2)*(-209 - -2). Let i(s) = 121*s**3 + 2*s**2 + 2*s + 1. Let n be i(-1). Let t = n - r. Is t a composite number?
True
Suppose 0 = -4*u - 9*u + 11063. Is u a composite number?
True
Suppose -y + 2878 = 2*x, -4*x = -5*y + 4*y - 5744. Is x composite?
True
Suppose -5*u + i = -29908, 3*i - 2230 = -u + 3742. Is u a prime number?
True
Let u = -367 - -784. Is u prime?
False
Suppose -4*q + 5*c = -13094, -2*q - 3*q + 4*c + 16363 = 0. Is q prime?
True
Suppose -15 = s - 6*s. Let q = s - -10. Is q a prime number?
True
Let t(g) = -81*g**3 - 2*g - 3. Is t(-2) composite?
True
Let r be (-2)/(-2)*(3 - -2). Let t be 45*((-20)/(-6))/r. Suppose -5*i = -20 - t. Is i a prime number?
False
Suppose -556 = 4*i - 8*i. Is i composite?
False
Let f(a) = -a**3 + 4*a**2 - 4*a - 7. Let h be f(-5). Is h - 3/(-2)*-2 prime?
False
Let q be 5/((-5)/(-2)) - -50. Let n = q + -17. Let x = -14 + n. Is x composite?
True
Suppose 7*o - 2*o - 325 = -5*j, 0 = -2*j. Is o prime?
False
Let z = 2 - 2. Suppose -457 = -u + 4*b, z*u - u + 471 = 3*b. Suppose -u = 5*o - 10*o. Is o a composite number?
True
Suppose -3*t + 110 = -427. Is t prime?
True
Let s(v) = 3*v**2 - v + 1. Let m be s(1). Is 58/m - (-2)/(-6) prime?
True
Let z(t) = 26*t**2 + 1. Is z(3) a prime numb