rime number?
False
Suppose -2 = -3*l + m, -6*l + l + 14 = m. Suppose 3*z = -2*x + 413, l*x + 2*x + 3*z = 823. Is x prime?
False
Suppose 4*a - 4581 = -5*h, 3*h = -5*a - 1783 + 7493. Is a prime?
False
Is 174/(2 - 0 - 0) a prime number?
False
Let m be 1/(-4) - (-90)/8. Let j = m + -6. Suppose 5*w + 160 = 2*c + 4*w, -j*w + 306 = 4*c. Is c a prime number?
True
Let i(g) = 1 + 0*g - 3*g + 4*g - 2*g**3. Let n be i(-1). Suppose 201 = n*c + c. Is c a composite number?
False
Let q(d) be the first derivative of 27*d**2 - 2*d - 1. Is q(2) composite?
True
Suppose -o - 3*x = -0*x + 219, 3*x = o + 213. Let m(p) = -p - 3. Let w be m(-5). Is 1 - (o/2)/w a prime number?
False
Let d(y) = -2 + 10*y + 2 - 11*y. Is d(-7) prime?
True
Suppose 0*j = 5*j - 1895. Is j prime?
True
Suppose 3 + 3 = 2*a. Let b(v) = -v**2 - 9*v + 14. Let o be b(-10). Suppose -o*c = -3*h + 345, c + 0*c = -a*h + 360. Is h prime?
False
Let z(w) = -w**2 - 7*w + 11. Let j be z(-8). Suppose d = -m + j, d = -m + 5*m + 3. Suppose -12 = -d*q + 9. Is q a prime number?
True
Let c = -1235 + 3102. Is c prime?
True
Let m = -69 - -48. Let j = -7 - m. Is j composite?
True
Let c be 2/7 + (-130)/(-35). Suppose -2*f + 5*q + 18 = 0, c*f - 4*q - 22 = -q. Suppose 0 = f*k - 5*k + 131. Is k a prime number?
True
Suppose o + 2 + 0 = 0, -3*o - 6 = -2*r. Let c be -163 + r + 3 - -1. Let h = c - -277. Is h composite?
True
Suppose 1871 = 5*d - 3884. Is d a prime number?
True
Suppose 7*n = -4*n + 8195. Is n a prime number?
False
Let g(o) = 3*o - 1. Let q(z) = z**2 + 4*z + 5. Let t be q(-4). Is g(t) composite?
True
Let y(m) = -m + 6. Let w(i) = -i + 6. Let n(t) = -3*w(t) + 2*y(t). Is n(8) a composite number?
False
Suppose -4*k - 8307 = -2*s + 3455, -k + 17636 = 3*s. Is s a composite number?
False
Let t(u) be the second derivative of 13*u**4/2 - u**2/2 + 3*u. Is t(-1) a composite number?
True
Suppose -2*z - 1 = -7. Suppose 0 = -2*g + 5*k + 24, 0 = -z*g + k + 5 + 5. Is g/(1*2/19) a prime number?
True
Let b = 11 - 8. Suppose -3 = -b*f, x = 2*x - 4*f - 33. Is x prime?
True
Let c(j) = -j**3 + 7*j**2 - 3*j - 3. Let i be c(6). Suppose -y = -2*v - i, y = -2*v - v + 30. Is y a prime number?
False
Let p(r) = -3*r**3 - 5*r**2 - 9*r - 4. Let o(l) = 10*l**3 + 15*l**2 + 26*l + 13. Let m(j) = 2*o(j) + 7*p(j). Is m(-5) a composite number?
False
Suppose 2000 = 3*s - 5*j, 4*j + 2664 = 4*s - 0*j. Is s/3 - 12/18 a prime number?
False
Suppose 4*t - 3*r - 6236 = 0, 3*r = -2*r. Is t a composite number?
False
Is (-44)/(-2)*(-1345)/40*-4 a composite number?
True
Suppose 4*g = 7*g - 1761. Is g a prime number?
True
Let w(y) = -y**2 + 9*y + 16. Let n(p) = -p**2 + 9*p + 15. Let z(t) = 5*n(t) - 4*w(t). Is z(9) composite?
False
Let m = 10762 + -6249. Is m a composite number?
False
Let l(p) = -193*p + 1. Let n = 10 - 11. Is l(n) composite?
True
Let h = 5 + -1. Suppose -h*d + 2*i + i + 88 = 0, -2*i = 0. Is d a prime number?
False
Suppose 4*y - 5*w + 15 = 44, -5*y - 2*w + 28 = 0. Let a be 8/(-3) + 4/y. Let m(g) = -8*g - 1. Is m(a) a prime number?
False
Let p be 10/(-15)*3*-2. Suppose 5*c - 40 = -5*f, 0 = -c + p*f + 2 - 9. Suppose 4*j - 195 = c*v, 4*v = 15 + 5. Is j a composite number?
True
Suppose -5*o - u = -4*o + 115, -u = -4*o - 465. Let w = -276 + 459. Let i = o + w. Is i prime?
True
Suppose 0*b = -4*b. Is (-871)/(1 - 2 - b) prime?
False
Let f(l) = -81*l + 14. Is f(-5) a prime number?
True
Let k = 13 + -7. Let y(o) = -o**2 + 13*o - 1. Let w be y(k). Suppose -l + 174 = w. Is l a composite number?
True
Let f be 3 + -1 + -2 + 3. Suppose j - f = -0*j. Suppose 0 = j*u - 179 - 214. Is u prime?
True
Suppose 0*j = j + 10. Is 6/j - 6248/(-55) a prime number?
True
Suppose 3*u + 2 = -1. Let f be u + -1 + 2 + 41. Suppose 20 = 5*w, 3*b - 3*w + f = 128. Is b prime?
False
Let c(x) = -2*x + 8. Let m be c(6). Let d = m - -4. Suppose -h + b + 35 = d, -3*h + 4*b + 89 = 5*b. Is h a composite number?
False
Let l(f) be the third derivative of f**5/20 + f**4/24 - f**3/6 + 2*f**2. Let u be l(1). Suppose 3*s - 78 = -0*s - 3*o, -u*o + 140 = 5*s. Is s composite?
False
Suppose -5*m = 4*o - 134, -4*o - 128 = -4*m - 2*o. Let c = m + -18. Is -3 + 5/(10/c) composite?
False
Let a(g) = 2*g + 1 - 5*g + 7*g**2 + 5*g + 463*g**2. Is a(-1) prime?
False
Is 2 + -1 + (4182/6 - -3) prime?
True
Let u(o) be the first derivative of o**4/6 + o**3/2 + 5*o**2/2 + o - 2. Let v(p) be the first derivative of u(p). Is v(-4) a prime number?
False
Suppose 1252 = 5*x - 1813. Is x prime?
True
Let f = 133 - -70. Suppose -4*a + 5*y + f = 0, 2*y = 5*a + 5*y - 226. Let p = 170 + a. Is p a composite number?
True
Let h = -90 + 231. Is h a prime number?
False
Let n(f) = 80*f**2 + 7*f + 10. Is n(-4) a composite number?
True
Is -4 - (16/(-4) - 127) a prime number?
True
Let p(t) = -t**3 - 10*t**2 - 14. Suppose 4*q = 3*b + 4 + 21, 3*b + 43 = -5*q. Let l be p(b). Suppose -a - 2*f + 199 = 0, -5*f + 83 = a - l. Is a prime?
False
Suppose 0 = -3*n + 59 + 31. Suppose -5*h + q - 2*q + 10 = 0, 3*q + n = 5*h. Is h composite?
False
Suppose -2*v - 74 = 2*z, -3*v - 17 = -5*z + 54. Is -1*(2/2 + v) prime?
True
Let t(k) = -k**3 + 11*k**2 - 2*k - 13. Is t(10) a composite number?
False
Let s(a) = -3*a**2 + 10*a - 23. Let j(c) = -c**2 + 5*c - 11. Let m(f) = 5*j(f) - 2*s(f). Is m(8) a composite number?
True
Let g be (-5)/(-2)*(1 + -3). Let v(f) = -f - 4. Let w be v(g). Is (-36 + (-3)/w)/(-1) composite?
True
Suppose 4*g - 2*b = 30, 0 = g - b + 2*b. Suppose -7*u = -g*u - 62. Is u prime?
True
Let u = 193 + 20. Suppose 0 = 5*z + 3*x - 1058, -3*z + 2*x - u = -4*z. Is z prime?
True
Let f(b) = -10*b - 9. Let y be f(7). Let u = y + 118. Is u a prime number?
False
Is (-22)/(-33) + 890/6 a prime number?
True
Let g be (-8)/((-3)/((-6)/(-4))). Suppose 0 = a + 3*d - 9, g*a + 4*d + d = 22. Is a composite?
False
Suppose -g + 3*g + 8 = 0. Is (-6)/g + (-428)/(-8) composite?
True
Suppose v + 10158 = 7*v. Is v composite?
False
Suppose -4*x - x + 20 = 0. Suppose 0 = -u + x*u + 66. Let v = u + 36. Is v prime?
False
Let q be 582/15 + (-4)/(-20). Let w = 8 + q. Is w prime?
True
Suppose 0 = -z + 2*q - q + 26, 4*q - 22 = -2*z. Let j = z - 2. Is j a prime number?
True
Let t be 14/4 + 8/(-16). Suppose 9 = -u - 2*x + 1, -4*u + t*x + 1 = 0. Is u + 109 + (-3 - -5) composite?
False
Let f = 21653 + -15224. Is f composite?
True
Let i = -5 - -5. Let k be (i - 2/4)*-292. Suppose -z = -3*b + k, -47 = -2*b + 2*z + 57. Is b prime?
True
Suppose x - y - 12 = 24, 99 = 4*x + 5*y. Let m = x - 51. Is (-76)/6*90/m a prime number?
False
Let y(g) = -11*g - 1. Let a(r) = -5*r. Let i(v) = -2*v. Let j(l) = 3*a(l) - 7*i(l). Let p(w) = -j(w) - y(w). Is p(1) a composite number?
False
Let i = 141 - -196. Is i composite?
False
Suppose -4*w - 4*i - 72 = -0*w, -i - 48 = 3*w. Let k be ((-10)/8)/(1/(-20)). Let q = w + k. Is q composite?
True
Let h = 20 + -6. Is 3594/h + 8/28 prime?
True
Let a(g) = g**3 - 8*g**2 - 3*g - 4. Let t be a(8). Let b = t - -12. Let c = b - -99. Is c composite?
False
Suppose 0 = -25*c + 23*c + 1106. Is c prime?
False
Suppose -1349 = -6*y + 805. Is y a prime number?
True
Suppose -197 = 5*x + 1053. Let p = x + 441. Is p a composite number?
False
Let t(v) = -v**3 + 6*v**2 + 6*v + 10. Let p be t(7). Suppose 0 = d - p*d + 94. Is d prime?
True
Suppose -3*j - 20 = -7*j. Suppose -4*f - 3*z + 54 - 1 = 0, 3*z - 67 = -j*f. Is f a composite number?
True
Suppose -4*z + 604 + 588 = 0. Suppose c = 3*c - z. Is c prime?
True
Let g be 6/(-3*3/(-24)). Suppose g = -4*o - 0*o. Is (-2)/o*(11 - -1) prime?
False
Suppose 7416 = 7*d + 934. Is d a prime number?
False
Let o = -21 - -26. Suppose -2*v = -o*x - 150, v = 4*x - 42 + 111. Is v a composite number?
True
Suppose 4*v = -v. Suppose 0 = -v*h + h - 26. Is h composite?
True
Let k(h) = 29*h - 11. Let g be k(5). Suppose g = 3*n - n. Is n composite?
False
Let a(y) be the first derivative of -37*y**2/2 + 3. Is a(-3) composite?
True
Let u = 9 - 8. Is u + -3 + 3 - -140 prime?
False
Is -1*(-633)/((-3)/(-1)) a composite number?
False
Let h(g) = g**2 + 3*g + 5. Let o be h(-2). Suppose o*v - 4*v = -19. Is v a composite number?
False
Let c = 1 - 1. Suppose -3*l - 3 = c, -t + l - 35 = -3*t. Is (-1)/((21/t)/(-7)) a prime number?
False
Let o be 1/(2/1092*2). Suppose 0 = -3*z - 2*z + 5*w + 460, -3*z = -2*w - o. Is z composite?
False
Let r = 4 - 8. Let p(f) 