8*g**3 + 2*g + 1. Let h(c) = 9*f(c) - 2*x(c). Is h(-2) prime?
False
Let g be (2/(-3))/((-4)/6). Let c = 1 - g. Suppose c = -3*d - 5*o + 30, 4*d - 4*o - 57 = d. Is d a prime number?
False
Let a be (-2)/(-7) - 304/(-14). Suppose -3 - a = c. Is (2 + c)*(0 + -1) prime?
True
Let u(m) = -m**3 + m**2 + 4*m - 3. Let n be u(2). Let p be n/(-3*(-1)/75). Suppose 3*y = -2*y - 3*c + 59, -5*c + p = y. Is y composite?
True
Let v = 4 + -6. Is (v - (-4 - -1)) + 46 prime?
True
Suppose 0 = 3*u + 4*m + 5 - 24, 2*u - 11 = -m. Suppose 2*q + 4*g - 1530 = 0, -q - 3*q + 3054 = u*g. Is q a prime number?
True
Let m(h) be the first derivative of -4 + 0*h**2 + 1/3*h**3 + 91*h. Is m(0) a prime number?
False
Suppose -75 = -5*a - 5*p, -a + 2*p + 0*p + 3 = 0. Suppose j = 4*z - a, -5*z + j = -0*j - 15. Suppose z*y = 217 - 21. Is y a composite number?
True
Let b = -1 - 3. Let q be (2 + b)*(-3)/(-2). Is ((-67)/q)/(5/15) prime?
True
Suppose 5*j = -4*k + 45, 2*k + 5 = 5*j - 2*j. Suppose -w + 10 = 2*q + q, 3*w = -k*q + 10. Suppose -q*f + 4*b = -447, f = -5*b + 96 + 5. Is f a prime number?
False
Let j(v) be the first derivative of -7*v**2/2 + 2*v + 1. Let y be j(-2). Suppose 0 = 5*s - 5, -y = -2*g + 5*s + 53. Is g composite?
False
Suppose 3*h + h + 2*j = 26, 3*j = -2*h + 19. Suppose 5*c = h, a + 611 = 5*a + 3*c. Suppose 4*m - a + 4 = 0. Is m a composite number?
False
Let n be (8/3)/(10/180). Let u = n + 323. Is u composite?
True
Suppose -136 - 14 = -5*s. Suppose 2*r = 5*q + 4*r + 4, 5*r + 10 = 4*q. Suppose q*v - s = -5*v. Is v a prime number?
False
Let p(t) = -4*t - t + 3*t - 1. Suppose 5*z - 2*z - 26 = 4*r, 3*r - 2*z + 19 = 0. Is p(r) composite?
True
Let l = 284 - -387. Is l composite?
True
Let p = 360 + -251. Is p composite?
False
Let g(h) = 51*h + 5. Let i be g(7). Let s = -171 + i. Is s composite?
False
Let y(s) = s**2 + 2*s + 1. Let p be y(-3). Suppose -4*v - 3*o - 281 = -6*o, 0 = p*o - 12. Let g = v - -157. Is g prime?
True
Suppose 3*a - a + 2*u = 4, -4*a + 17 = -5*u. Suppose 3*i - 259 = -a*q + i, -2*i - 8 = 0. Let s = q - -38. Is s composite?
False
Let z(a) = a**2 + 4*a - 8. Is z(-11) composite?
True
Let s(j) = 12*j**2 + 2*j + 1. Is s(-4) prime?
False
Suppose -155 - 33 = -2*c. Let p = c - -28. Is p composite?
True
Let z = 70 - -49. Is z prime?
False
Is -1 + (4 - (6 + -2 + -1206)) a composite number?
True
Let y = 4104 - 2855. Is y a prime number?
True
Let t be (-1)/(-3) + (-1112)/(-12). Suppose -9 = 3*y, -2*z + t = 3*z + 4*y. Is z a prime number?
False
Suppose -561 = -3*w - 0*w. Is w prime?
False
Suppose -2 = -s - 10. Let y = s + 199. Is y a prime number?
True
Suppose 0 = 2*w - l - 569, 7*w - 2*w - 1410 = 5*l. Is w a composite number?
True
Let f(o) = -o**2 + 12*o + 3. Let a(l) = -2*l - 4. Let b be a(-7). Is f(b) a composite number?
False
Let m(i) = -i - 4. Let y be m(-5). Let f = -2 + y. Is (f/(-2))/((-1)/(-74)) a composite number?
False
Suppose -2*i + 5 = -23. Is i a prime number?
False
Let c be 2 - 3/(12/(-5824)). Let v = -1009 + c. Is v a composite number?
False
Suppose 0*n + n = 57. Let c = n - -32. Let f = c - 34. Is f composite?
True
Suppose 4*i - 180 = -3*x, 3*x = -2*x. Is -1 + (-88)/(-12)*i prime?
False
Suppose 2*j - 4*v + 5*v + 152 = 0, -2*v = 2*j + 148. Let c = 113 + j. Is c composite?
True
Suppose -q + 2*x - 7 = 3, -4*q = -2*x + 10. Suppose -i - 4 - 10 = q. Is ((-2)/2)/1 - i a composite number?
False
Suppose -2*d = -4*d + 518. Let n = d - -176. Let v = -308 + n. Is v a prime number?
True
Let g = 10 - 5. Suppose -3*k - g*o = -2*k - 6, 8 = 3*k + 5*o. Is k - 108/(0 + -2) prime?
False
Let i(r) = r - 6. Let b be i(0). Let p(j) = 3*j**2 + 6*j - 1. Is p(b) composite?
False
Let i(a) = -116*a - 2. Let u be i(-1). Suppose 4*j + 67 = 5*o - u, 2*o = -2*j + 58. Is o a prime number?
False
Suppose -2*z + 3*n = -2726 - 471, -2*n + 6418 = 4*z. Is z composite?
True
Let q be ((-3)/2)/(1/2). Let z = 28 - q. Is z a prime number?
True
Let t = -5 - -9. Suppose 7*s + t*v = 3*s + 100, -4*s = -5*v - 64. Is s a prime number?
False
Let u be 2/(-4)*-1*1678. Suppose 5*g + 20 = 5, -5*a + 3*g = -u. Is a a prime number?
False
Let b be (-2)/(-4) + (-45)/(-6). Suppose 4*t - 2*t = b. Suppose 2*q - t*i - 34 = 0, -3*i + i + 27 = 3*q. Is q a prime number?
True
Let o be (194/3)/(6/(-9)). Let x = 240 + o. Is x composite?
True
Suppose 0 = 3*z - 0*i + 2*i - 20, 4*z + 3*i - 28 = 0. Suppose z*l + g - 600 = -l, 5*l - 630 = 5*g. Is l a composite number?
True
Let l = 0 + -2. Is (-26*(3 + l))/(-1) composite?
True
Suppose -4*n + 1220 = -0*n + 4*c, -3*c + 15 = 0. Suppose -4*f + n = 4*d, -d + f - 3*f + 71 = 0. Is d prime?
True
Let f(n) = -n**3 + 14*n**2 - 10*n - 3. Let t be f(11). Suppose 2*m = -4*w - 0*w + t, 0 = -5*w - 20. Is m a prime number?
False
Let f be -2*(-1)/(-2)*-565. Suppose -5*m = -9*k + 4*k - f, 0 = 5*k - 10. Is m composite?
True
Suppose 2*d - 136 = -4*z, z + 272 = 5*d - d. Is d + (-2 - -2) + -1 a composite number?
False
Let b(i) = -i**3 + 2*i**2 + 4*i - 3. Let r be 1 + 0 + 0 - -2. Let l be b(r). Suppose l = -3*u + 42 - 15. Is u composite?
True
Let w = 84 - -175. Is w a composite number?
True
Let f = 37 + -2. Suppose 2*z = -z - 4*o + f, -10 = -2*o. Suppose 33 = z*r - 2*r. Is r prime?
True
Suppose z - n = -4*n + 13, -4*z + n - 13 = 0. Let s(g) = 106*g**2 + g. Let q be s(z). Is (0 - 1)/(-2)*q prime?
True
Suppose 5*m - 2*m = 6. Suppose 102 = y + m*y. Is y composite?
True
Let v(s) = 120*s + 5. Let l(j) = -30*j - 1. Let r(o) = 9*l(o) + 2*v(o). Let p = -9 - -8. Is r(p) prime?
True
Suppose -2*k = -5*k - 1308. Is (-3)/6*k + 3 a prime number?
False
Let r(h) = h**3 - 3*h**2 - 4*h. Let t be r(4). Suppose -2*n - 2 = f, t*f - 4*f - 19 = -3*n. Is f/14 - (-541)/7 prime?
False
Suppose -1645 = -3*n + 2*b + 2*b, -3*n = -3*b - 1644. Is n composite?
False
Let p = 17 + 6. Is 6*-1*p/(-2) a prime number?
False
Is (-4)/20 - (-1112)/10 prime?
False
Let w(p) = -p**3 - 6*p**2 - p - 7. Let n be w(-6). Is n - -3 - (-2 - 11) composite?
True
Let r(t) = -183*t - 11. Is r(-6) a composite number?
False
Suppose 0 = -2*j - 42 + 380. Is j a composite number?
True
Let f = -1317 + 2068. Is f a composite number?
False
Let s(c) = -2*c + 10. Let g be s(7). Let l be g/6*(-4 + 1). Let b = 0 + l. Is b composite?
False
Let p = -71 - -214. Is p prime?
False
Let y(u) = 5*u + 17. Is y(14) prime?
False
Is (-34*(-4 - 133))/2 composite?
True
Suppose 0 = 7*r - 6*r - 1423. Is r composite?
False
Let x = -723 + 1276. Is x prime?
False
Suppose 5*k + 301 = 3*d, -5*d + 0*k + 515 = 5*k. Let n = d - 47. Is n a prime number?
False
Let j = -67 - -182. Is j a prime number?
False
Let u = -6 - -8. Suppose 5*b - 201 = 4*w, 0 = b - u*w + w - 41. Is b a prime number?
True
Suppose 6*i - 4*i - 112 = 0. Is ((-14)/i)/((-2)/7096) composite?
False
Let m = -7 - -164. Is m composite?
False
Suppose -4*o + 18 = g + 2*g, -4*o + 4 = -4*g. Let h be (-11)/g*-44*1. Suppose -v = -3*v + h. Is v prime?
False
Let u(s) = -9*s + 11 + 5*s**2 - 3*s**2 + 0*s**2 - s**2. Let x be u(8). Suppose -x*d + 91 = 25. Is d prime?
False
Let h = -166 + 257. Suppose 3*o = 4*o - h. Is o a composite number?
True
Suppose 3*a + a = 76. Is a a prime number?
True
Let r(x) = 9*x**2 - 6*x + 23. Is r(-8) composite?
False
Let y(x) = -4 + 14*x + 1 + 17*x. Is y(4) a composite number?
True
Is -5 - 80/(-15) - 25584/(-9) a prime number?
True
Suppose -4*o = -5*o + 5. Suppose o*b - 3*g + 92 = -32, b - g = -26. Let s = 8 - b. Is s a composite number?
False
Suppose -2 = -t + 2, -5*x = 4*t - 22511. Is x a composite number?
True
Is 991/(5 - (0 + 4)) a composite number?
False
Suppose 5*a = -3*t + 2*a - 60, -9 = 3*a. Let b = 22 - t. Is b composite?
True
Suppose 5*x - 1549 = 3*u, 4*u + 2 = -10. Suppose 0 = -3*k - k + 2*j + x, 2*k - 5*j = 154. Is k composite?
True
Is 97/(-3)*(-2 + -1) a prime number?
True
Suppose 0 = -6*j + 4*j + 3602. Is j a composite number?
False
Let a(x) = -x**3 + 5*x**2 + 6*x - 2. Let u be a(6). Let q be 0/1 + (u - -5). Is 1 - ((4 - q) + -419) prime?
True
Suppose -j = -6*j. Suppose -2*k + 4*h + 248 = 0, -k + 94 = -j*h + 4*h. Suppose k = 3*s - 0*s. Is s a composite number?
True
Let g(k) = -k**2 - 3*k + 2. Let r be g(-3). Let t = 3 + -7. Is -1*r*38/t prime?
True
Let b(p) = -89*p**3 + p + 1. Suppose h = -3*l + 1, -5*h + 0*h = -20. Let s be b(l). Suppose -2*g = -3*g + s. Is g a prime number?
True
Suppose -113 