g + 3*r, -r = -3*g - 14. Let w = g - -17. Is w composite?
True
Let k = 1310 - 641. Is k prime?
False
Suppose -3*n - 138 - 102 = -4*p, -n = 4. Is p a composite number?
True
Let m be 4/(-16) + (-801)/(-4). Suppose 4*f + z - 6*z = -m, -4*f = 4*z + 236. Let y = 140 + f. Is y a composite number?
True
Let j = 107 - 163. Let o = j + 94. Is o a prime number?
False
Suppose 7*q - 2*q = 13025. Is q a prime number?
False
Let f(z) = -z**3 + 10*z**2 + 11*z + 11. Is f(10) composite?
True
Is ((-5679)/(-18))/((-1)/(-2)) a prime number?
True
Let x be (1 + 0 - 1)*-1. Let v(h) = h**3 - 4*h**2 + 2*h - 6. Let m be v(4). Suppose -2*y + 3*k + m*k + 95 = x, 5*k = 15. Is y prime?
False
Let i be (-1)/(2/18*1). Let x(s) = 10*s + 2. Let g be x(i). Is ((-7)/(-4))/((-2)/g) composite?
True
Let i(r) = -13*r - 3. Is i(-2) prime?
True
Let y(u) = -6*u - 7. Let f be y(14). Let r = -38 - f. Is r prime?
True
Suppose 2*q + 2*h = 618, 2*q + h - 2*h = 624. Is q prime?
True
Suppose -3593 + 861 = -4*m. Is m a prime number?
True
Let k be 382/(-5)*(-3 + -2). Suppose -2*r + 0*r = -k. Is r prime?
True
Suppose 2*y + 574 = 4*q + 5*y, -y = -3*q + 424. Suppose g = q - 23. Is g a composite number?
True
Suppose v + 7 = 4*v - l, 0 = 2*v - 5*l + 17. Is 57 + 1/v*0 prime?
False
Let h = 127 - -60. Is h prime?
False
Suppose 8 = -2*k + 6*k. Let n(t) = 6*t**3 + 2*t**2 + t. Is n(k) prime?
False
Let b(t) = t**2 - 22*t - 12. Is b(29) a prime number?
True
Let k(n) = -4*n - 1. Let x be k(-6). Suppose -5*u + x = 3*c, -6*c = -3*c + 3*u - 15. Is (4 - 2 - c)*35 composite?
True
Is 1/(1/(-2)) + 23 a composite number?
True
Let r(f) = -53*f - 1. Let n = -16 + 10. Is r(n) a composite number?
False
Suppose 523 + 347 = 6*r. Is r prime?
False
Suppose -3*r = -4*u + 283, -67 = -u + 2*r + 10. Suppose -2*p - 10 = 3*p, 4*g - 3*p = 126. Let t = u - g. Is t composite?
False
Let g be 2/6*(1 - -2). Let f be (-6)/(-24) + 83/4. Is f*g/(3/7) a composite number?
True
Suppose 5*k = 7*k - 596. Is k prime?
False
Suppose -5*q - 197 = -22. Let v = q + 58. Is v a prime number?
True
Suppose 3*q - 101 - 7 = -3*n, -124 = -3*n + q. Suppose i - 5*i + n = 0. Is i a composite number?
True
Suppose 0 = 4*u + y - 11995, -6000 = u - 3*u + 2*y. Is u composite?
False
Suppose 4*w = 5*w + 5. Is 37 + (w - 1) + 4 a composite number?
True
Let c be (-24)/(-1 + (-3)/(-9)). Suppose -3*v - 3*t = v - 211, -5*t = 5*v - 260. Let o = v - c. Is o a composite number?
False
Let o be ((-12)/9)/(10/15). Let r(d) = 31*d**2 - 3*d - 3. Is r(o) prime?
True
Suppose 2*y - 6 = -0. Suppose -y*g = -4*x + 2*g + 812, -3*x - 2*g + 609 = 0. Is x prime?
False
Suppose -2*z = -0*z - 8. Suppose -l = z - 39. Is l a prime number?
False
Suppose k + 4*j = 13, -5*j + 6 + 2 = 4*k. Let n = 5 + k. Suppose n*g = -g + 237. Is g a prime number?
True
Let c be 25/(-9) - 2/9. Is ((-861)/4)/c*4 prime?
False
Suppose -5*c + 136 = -349. Is c a prime number?
True
Let w(u) = -8*u + 1. Let j be w(-2). Let z = j + -9. Let m(n) = 11*n - 9. Is m(z) a composite number?
False
Suppose 4*w - 32 = -0*w - 3*j, 0 = 3*w - 5*j - 53. Suppose 4*r + 0*r = f + w, -r - 3*f = 7. Is (0/r + -3)/(-1) prime?
True
Suppose 0 = -4*d - 2*v + 28, -d - 3*v = 2*d - 21. Suppose -3*f - d = -3*u + 8, 4*f - 3*u + 16 = 0. Is -1 + 0 + 37 - f prime?
True
Let b(t) = t - 4. Let d(c) = 1. Let a(g) = b(g) + 3*d(g). Let k(l) = -14*l. Let j(p) = -3*a(p) - k(p). Is j(8) a composite number?
True
Let p(n) be the third derivative of 17*n**4/12 + 5*n**3/6 + 3*n**2. Is p(6) a composite number?
True
Let q(k) = 89*k**3 - 1 + 50*k**3 + 48*k**3 + k. Is q(1) a composite number?
True
Let a be 1/(-2 - 0 - -1). Let i = 4 + a. Suppose -i = l - 22. Is l composite?
False
Is 3/((-4)/(-4))*37 prime?
False
Let b(f) = f**3 + f**2 - f + 1. Suppose -5*x = -1 - 4. Let p be b(x). Suppose 4*g - 711 = -2*d - 67, p*g = d + 322. Is g a composite number?
True
Suppose -2*u = 2*j + 14, -4*u - 5*j - 6 = 24. Let r = 10 + u. Suppose -3*l + 111 = -3*m, r*m + 6 = l - 23. Is l prime?
False
Suppose 3*d + h + 1 = 0, d + 3*h - 2 - 11 = 0. Let n be (-1780)/(-15) + d/(-6). Suppose 0*w = -w + n. Is w a prime number?
False
Let t(p) = -p**2 + 9*p - 10. Let a be t(7). Suppose -16 = -a*s - 4*v, -v = -3*s - 0*v + 12. Suppose -31 = -s*g + 3*g. Is g prime?
True
Let a be (-8476)/(-20) - (-2)/10. Let y = -131 + a. Is y composite?
False
Suppose -4*f + 11229 = f + 4*d, -2*f + 2*d + 4506 = 0. Is f prime?
False
Suppose 16 = 4*v - 16. Suppose -2*s + 4*s + v = 0. Is (-383)/(-7) - s/14 a prime number?
False
Is (-3548)/(-28) - 6/(-21) a prime number?
True
Suppose -6 = -4*o + o. Suppose -o*l - 51 = -421. Is l composite?
True
Suppose 0 = 3*h + h - 2068. Is h a composite number?
True
Suppose -2*a = 3*g - 13, 5*g + 5*a + 0*a - 15 = 0. Suppose 4*t - 220 = 4*r, 0 = -4*r - 1 - g. Is t prime?
True
Suppose -3*o + 165 = -282. Suppose m - o = -4*s - 5, -5*m = -5*s + 205. Is s a prime number?
True
Is (131 - 4/2)/1 a composite number?
True
Suppose -3*y - x + 5 = 0, -6*x = -5*y - 2*x - 20. Suppose -3*u - 1 + 4 = 0. Suppose y = p - 5 + u. Is p a composite number?
True
Let k be (-2 + 2 - 1)*3. Let h(b) = b + 5. Let w be h(k). Is w/(-4) - 111/(-2) composite?
True
Let u = -1764 - -3047. Is u composite?
False
Let m(v) = 8*v - 2 - 2*v**2 + v**2 + 1 + v. Is m(8) a composite number?
False
Suppose 493 = -5*j - 332. Let d = -8 - j. Is d a prime number?
True
Let p(z) = -117*z**3 + z**2. Let t be p(-1). Let l be 3/(-6)*-1*t. Let a = l - 28. Is a composite?
False
Let a = 243 + -124. Suppose -3*r + a = -2*t, -6*r + 94 = -4*r - 5*t. Is r a composite number?
False
Let f be 14/4 + 6/4. Suppose -f*g + 5*n + 30 = 0, 3*n + 16 = 5*g - 6. Suppose 1 = d, 3*d = 4*b - g*d - 31. Is b prime?
False
Let s(c) = -3*c - 3*c + 7*c - 8. Let p be s(9). Is (-1)/(48/50 - p) composite?
True
Let x be 3/(-6) - (-1062)/4. Suppose -2*m + 7*m - x = 0. Is m composite?
False
Let u(r) = -2*r - 6. Let t be u(-5). Suppose -4*k + 756 = t*n, 0 = -4*k + k - 4*n + 565. Is k a prime number?
True
Let w = -1281 - -1884. Suppose 3*i - 4*d - 804 = -i, d = 3*i - w. Is i a composite number?
True
Is 2764/24 - 4/24 a prime number?
False
Let w(c) = -85*c + 2. Let o = 12 - 5. Let z = 4 - o. Is w(z) a prime number?
True
Suppose c - 4 = -1. Let d(x) = 2*x**3 - 4*x**2 - x - 1. Is d(c) prime?
False
Let n = -562 + 3995. Is n a prime number?
True
Suppose j = 3*j + 36. Let a be 4/j - (-88)/(-9). Let l = a + 23. Is l a composite number?
False
Let w(r) = -37*r. Is w(-7) a prime number?
False
Let u = -94 - -187. Is u composite?
True
Suppose -s - 3*s = 44. Is (-1 - (15 - -1))*s prime?
False
Suppose -4*n = 2*q - 97 + 7, 2*n = -3*q + 123. Is q prime?
False
Suppose -20 = -5*s, -3*s - 259 = -5*p + s. Is p a prime number?
False
Let t be (-1 + -13 + 1)*-5. Suppose 2 = z + 2*k, z - 7 = k - 2. Suppose -z*n - n = -t. Is n a composite number?
False
Let h(x) = -427*x + 7. Let y be h(5). Is 12/(-54) - y/18 prime?
False
Let b(l) = -l**2 - 8*l + 1. Let x be b(-8). Suppose x = h + 16. Let v = h - -38. Is v composite?
False
Let s(h) = 7*h**2 - 5*h - 3. Let t = 4 - 0. Is s(t) prime?
True
Suppose -3*j + 199 = 2*a, 4*j - a + 5*a - 264 = 0. Is j prime?
True
Is (-1 - -224)*(6 + -1) prime?
False
Let d = 34 - 127. Let k = -56 - d. Is k composite?
False
Let x(r) = -1033*r + 6. Is x(-1) composite?
False
Suppose -26*u - 79 = -27*u. Is u a prime number?
True
Let u(p) = p**3 + 7*p**2 - 8*p + 2. Let r be u(-7). Let z = r + -32. Let y = z + -13. Is y a prime number?
True
Suppose u = -4*g - 11, -u + g - 27 = 3*u. Is 1/u - (-2064)/42 a prime number?
False
Let v = -1 + 4. Suppose 0 = 8*p - v*p + 930. Is ((-4)/12)/(2/p) a prime number?
True
Let h = 0 + 8. Let n = h - 3. Suppose s + a = -n + 25, 25 = s - 4*a. Is s composite?
True
Let b = -8 + 3. Let f(i) = i - 3*i + 0*i. Is f(b) prime?
False
Let a be 28/(-8)*(-4)/7. Let i(o) = -3*o - 2*o + 1 + 4*o + 2*o**a. Is i(6) a composite number?
False
Suppose -5*x - 15 = 0, 200 = -c + 2*c - 5*x. Is c a composite number?
True
Let c be ((-2)/5)/((-1)/(-20)). Let u = 13 + c. Suppose -u*w + 3*p + 29 + 1206 = 0, 0 = -5*p. Is w a composite number?
True
Let u(c) = 5*c - 4. Let v be u(6). Suppose 0 = -5*l + a + 22, -v = -4*l + 3*a - 5*a. Suppose 0 = -l*t + 12 + 3. Is t a composite number?
False
Let r(k) = 40*k**2 + k. Is r(-1) a composite number?
True
Let j = -1527 + 2298. Is j a composite nu