7 = -c + j*b, 5*b = -c - 19. Is c a composite number?
True
Suppose 1500 = 15*w - 12*w. Let y = w - 169. Is y a composite number?
False
Suppose 0 = -4*m - 5*y + 11, -2*m + 12 = -0*m - 4*y. Suppose -59 - 73 = -m*s. Is s composite?
True
Let v = 2 + 2. Suppose -30 - 138 = 2*l + 2*d, v*l + d = -324. Let o = -22 - l. Is o prime?
False
Let s = -9 - -170. Is s a composite number?
True
Let c = -272 + 473. Is c a prime number?
False
Suppose 4*u - 14 = -2*o + 6*u, -5*o = 5*u - 15. Suppose -198 = -o*s + 187. Is s a prime number?
False
Let g be 3 - (-3)/(3/(-74)). Let n = g - -234. Is n/7 - (-2)/(-7) composite?
False
Let i(d) = -d**3 - d**2 + 2*d + 3. Let c be (18/3)/(2/(-1)). Is i(c) a prime number?
False
Let r(b) = 214*b - 11. Is r(3) prime?
True
Let w(z) = z - 3. Let f be w(5). Let d = 21 + -18. Suppose d*r - 4*r = -4, q = -f*r + 46. Is q composite?
True
Let k(m) = 142*m**2 + m - 1. Let f be k(1). Suppose 0 = o, u + 3*u + 5*o = 188. Let s = f - u. Is s composite?
True
Let t(v) = v**3 - 4*v**2 + 5*v - 3. Let i be t(3). Suppose -4*y = -y - i. Suppose w = y + 30. Is w composite?
False
Let t be 36/(-14) + (-8)/(-14). Suppose -2*d + 560 = 2*n, -3*d + 820 = -0*d - 2*n. Is d/20 + t/(-10) a prime number?
False
Let y(x) = x + 13. Let n be y(-9). Let r(k) = 8*k**2 + k**2 - n + k + 5. Is r(-1) a prime number?
False
Let r = 7 - 3. Let q be 130 - (1*-2 - -3). Suppose -r*k = -131 - q. Is k composite?
True
Let o(x) = 3*x + 919. Is o(0) composite?
False
Let t = 390 - 273. Let d be t/5 - 6/(-10). Let p = d + -1. Is p composite?
False
Let z(h) = 3*h**3 + h - 1. Let q be z(1). Suppose 127 = q*b - 2*b. Is b prime?
True
Is 5/20 - 2133/(-12) a prime number?
False
Let r = 5474 - 3033. Is r a prime number?
True
Let w = 105 + -264. Let a = -74 - w. Is a composite?
True
Let a(y) be the third derivative of -11*y**5/20 - y**3/3 - 3*y**2. Let r(v) = -67*v**2 - 3. Let d(q) = 5*a(q) - 3*r(q). Is d(-1) a prime number?
False
Suppose -f + 16 = 3*f. Suppose -k = -5*d - 104, 0*d = -f*k + 2*d + 362. Is k a composite number?
False
Suppose -6*q + 2*q + 316 = 0. Is q prime?
True
Let n(o) be the first derivative of -o**2 + 1. Let z be n(-2). Suppose 4*r = h + 214, 2*r + 0*r = z*h + 114. Is r composite?
False
Suppose y - 3*y + 6 = 0. Let a = y - 6. Is (-2 - a)*(2 + 189) composite?
False
Let d(y) = 1250*y**2 - 4*y - 5. Is d(-1) composite?
False
Let s(f) = 14*f**2 + 6*f - 11. Let y(b) = 7*b**2 + 3*b - 5. Let r(x) = -2*s(x) + 5*y(x). Suppose 0 = -2*z + 3*z - 4. Is r(z) a composite number?
True
Suppose -3*p + 2287 = 5*j - 45, -4*p + 1397 = 3*j. Is j prime?
True
Let j(u) = -u - 3*u**3 - u - 3 + 4. Let p be j(-2). Let f = p + -6. Is f a composite number?
False
Suppose -3 = -5*b + 2, 5*b + 152 = s. Suppose -5*h + 225 + s = 3*f, 2*h = -3*f + 160. Is h prime?
False
Suppose 3*s = -2*n + 1139, 0 = -8*n + 11*n - 4*s - 1717. Is n composite?
False
Let d(n) = n**2 + 23*n - 47. Is d(21) a prime number?
True
Suppose 4*k = -20, 0*k - 1745 = -5*f - 4*k. Is f a composite number?
False
Let n(y) = 157*y - 37. Is n(8) composite?
True
Let g(o) = -o**3 + 11*o**2 + 9*o + 20. Is g(9) a composite number?
False
Let a = -10 - -12. Suppose -4*t + 6*t - 4*y - 34 = 0, -a*t + 32 = -3*y. Is t prime?
True
Let d(y) = -41*y + 13. Let l be 2 - 2 - 1 - 11. Is d(l) a prime number?
False
Suppose 7*m + 7*m = 363566. Is m composite?
False
Let u = -470 - -963. Is u prime?
False
Suppose -2*l + 288 = -4*x, 588 = 4*l - 3*x + x. Suppose -2*k + 138 = 5*q, 73 + l = 3*k + 4*q. Is k prime?
True
Suppose 4*u - 120 = 64. Is u composite?
True
Let j = 14 + -24. Is (276/j)/((-2)/5) a prime number?
False
Let p(z) = z**3 + 115. Is p(0) composite?
True
Suppose 4*a - 7506 = -3*q + 2333, 3*a = 3*q - 9825. Is q a prime number?
False
Let j(f) = 21*f**2 - 5. Is j(4) a prime number?
True
Let a(n) = -n**3 + 2*n**2 - n + 263. Let m(k) = -k - 6. Let i be m(-6). Is a(i) prime?
True
Suppose -709 - 436 = -5*l + 3*g, -5 = g. Is l prime?
False
Suppose -2*j = 2*s - 5*s - 25, -4*s = -2*j + 28. Let p be (11 - 1)*32/20. Is (-2)/j - (-116)/p a composite number?
False
Let l = -9 + 11. Suppose l*f - 13 = 153. Is f a prime number?
True
Suppose 2*c + 12 = 6*c. Suppose n = -2*y + 197 + 290, 482 = n - c*y. Is n a prime number?
False
Let w(f) = -f**3 + 13*f**2 - f + 2. Is w(7) composite?
True
Suppose 0 = -5*u + 20, -4*x + 1515 + 973 = -u. Is x composite?
True
Suppose 3*k - 4*g - 3773 = 0, 3*k + 0*g - 3774 = 3*g. Is k prime?
True
Suppose -5*l = f + 5 + 5, 22 = -2*l - 4*f. Let o be l/(3/2)*-3. Is o/6 + 352/6 a prime number?
True
Let c = -65 + 352. Is c prime?
False
Let x be 0 + -3*(-5)/3. Suppose 3*v + x*t = -4, -t = v - 0*t. Let a = 4 - v. Is a a composite number?
False
Suppose 0*h - 5*h + 517 = b, -1603 = -3*b - 2*h. Is b a prime number?
False
Let u = -855 - -1464. Suppose -4*g + g = -u. Is g a composite number?
True
Suppose 6 = f + 15. Let m = f - -23. Is m a prime number?
False
Suppose -14 = h - 4*r - 733, 0 = -5*h - r + 3532. Is h prime?
False
Suppose -r + 21 = -0*r. Is r prime?
False
Let g = 788 - 343. Suppose -g = -5*p + 840. Is p prime?
True
Let r = 498 - -394. Let c = r + -597. Is c composite?
True
Let n be (-94*1)/((-4)/4). Let k = 351 - n. Is k a composite number?
False
Let a be 590/7 + (-8)/28. Let i = a - -331. Is i a composite number?
True
Suppose 2*i + 12 = 5*i. Suppose i*r - 160 = 32. Let x = r - 13. Is x prime?
False
Let l be 1*-1*30/(-6). Suppose -l*j = 5*z - 2*j - 478, 4*j = -3*z + 289. Is z prime?
False
Suppose -4520 + 244 = -4*v. Is v composite?
False
Let w(q) = -q**2 - q - 1. Let r(t) = -2*t**2 - 3*t + 6. Let v(f) = -r(f) - 4*w(f). Let h(l) be the first derivative of v(l). Is h(6) a prime number?
True
Let o(l) = -l**3 + 12*l**2 - 12*l + 2. Is o(10) a prime number?
False
Suppose -4*l + 0*f - 9 = 5*f, 0 = -5*l + f + 25. Suppose -l*j = -5*j. Suppose -2*y + s = -26, j*s = 2*y + 2*s - 38. Is y composite?
True
Let y = 203 + -143. Suppose z - 7 = y. Is z a prime number?
True
Let x(n) = n. Let r be x(-4). Let a = r + 6. Suppose -6 = -3*q, -2*t = -a*q + 49 - 161. Is t composite?
True
Suppose 0 = -2*a - 4*b + 766, 3*b + 1340 + 627 = 5*a. Is a composite?
True
Let q(g) = g**2 + 1. Let l(i) = -5*i**2 + 11*i - 4. Let h(k) = l(k) + 4*q(k). Let y be h(11). Suppose y = 2*s + 4, 4*x + 4*s + 0*s - 52 = 0. Is x prime?
False
Suppose 2*p + 24 = -2*p. Let x be ((-676)/(-6))/(p/(-9)). Suppose -3*i + 2*t = -x, -2*i + 86 = 3*t + t. Is i prime?
True
Let x = 684 + -467. Let r = x + 84. Is r composite?
True
Suppose 3*t - 2*t = 2. Suppose 2*a = -t, c - 3*a - 414 = 238. Is c a prime number?
False
Let f = 1331 - 424. Is f a composite number?
False
Suppose -3*r + k + 6 = -11, -9 = -r + 2*k. Suppose 2*c - 7 = r*s, 3*c + 0*s - 5*s = 8. Suppose 4*g - 27 - c = 0. Is g composite?
False
Let v be 4 + (-1 - -2) + 1. Let l be 2/v + (-339)/(-9). Is 2/3 + l/6 composite?
False
Let f be 36/(-15) + 2/5. Let h = 0 - f. Suppose 115 = 5*n + 4*u, 5*n - h*u - 46 - 39 = 0. Is n a prime number?
True
Let k(t) = 12*t + 77. Is k(16) a composite number?
False
Let s(z) = 4*z**2 - 1. Let q be s(-1). Is 279/6*2/q composite?
False
Let w be (-10)/3*(-76 + 4). Let f = 49 + w. Is f composite?
True
Suppose 3*n = -0*n + 237. Is n a prime number?
True
Suppose -171 = -0*z - z. Suppose 0 = 2*v - z - 65. Is v prime?
False
Let w(k) = -3*k - 17. Is w(-10) composite?
False
Let x be -2*3/12*-178. Suppose 3*c - 4*c = -x. Is c composite?
False
Let a = 7 - 1. Is (-148)/6*a/(-4) composite?
False
Suppose -o + 1099 = -4*x + 8*x, -2*x + 3297 = 3*o. Is o prime?
False
Let w be -39 + -4 + 1*-2. Let z = w + 64. Is z prime?
True
Suppose -4*t = 2*d + 8, 5*t + 5 = -0*t. Let n be -2 - -23 - (d + 1). Let g = 59 - n. Is g composite?
False
Suppose 0*c + 2*c - 68 = 0. Is (-6)/(-6)*(c - -1) prime?
False
Let h = 3 + -1. Suppose -11 = -3*y + v + 11, h*y = -3*v + 33. Is ((-8)/12)/((-2)/y) a prime number?
True
Let f(s) = 3*s**3 - 14*s**2 + 7*s - 13. Is f(8) prime?
True
Let i = 199 + 49. Let s = -115 + i. Is s a prime number?
False
Let u(f) = 2*f**2 + f + 1. Let x be (-184)/(-56) + (-4)/14. Is u(x) prime?
False
Suppose -5*s + 25 = -5*y, 4*y + 0*y + s = 5. Suppose -4*j + 2 + 18 = y. Suppose -j*b + 1 = -d + 3, d + 4*b - 11 = 0. Is d a composite number?
False
Suppose 0 = 2*o - 3*o + 10. Let b be (-76)/10 - 4/o. Is (-202)/b + (-2)/8 a prime number?
False
Sup