= n + k*n + 2*z, -5*z + 371 = 4*n. Is n prime?
True
Suppose 5*u = 67 + 673. Suppose 2*b + 3*c - c = u, 4*b = -5*c + 296. Is b composite?
True
Let f = 29 - -145. Let x = -95 + f. Is x a composite number?
False
Let n(v) = -v**2 + 6*v + 1. Let y be n(6). Let o be y/5 - 57/(-15). Suppose -2*s + 5*a + 47 = -11, -4*a = o*s - 60. Is s composite?
False
Let k be 3 + (0 - -5) + -2. Is (-2)/(-12) - (-761)/k prime?
True
Let z = -299 - -107. Let h = z - -383. Is h a prime number?
True
Let c(o) = -36*o - 6. Let t be c(-4). Suppose 2*p - p - 9 = -3*k, 5*k + p = 15. Suppose -k*a = -a - t. Is a composite?
True
Is -3 - (1*-134 - 0) prime?
True
Let g be (3 - 4/(-2))*-1. Let a(w) = 6 + 4*w - 5*w - 1. Is a(g) a prime number?
False
Suppose -4*l + 73 + 43 = 0. Let r = l - 14. Is r composite?
True
Let u be (-1 - 3)*(-89)/4. Suppose -3*h + 4*x + 172 = 0, h - 2*x = -4*x + 44. Let k = u - h. Is k a prime number?
True
Suppose -4*a - 58 = 30. Let w = a - -13. Is w/(-3) + -5 - -37 a composite number?
True
Let n(f) = -f**2 + 10*f + 3. Let i be n(10). Suppose 0 = -2*z + 2*r + 6, i*z + z - 2*r = 10. Suppose 7*g - 190 = z*g. Is g a composite number?
True
Suppose 8*u = 3*u + 700. Is 21/(-6)*(-2 - u) composite?
True
Suppose 2*d + o = 638, -4*d + 3*o + 406 + 870 = 0. Is d a prime number?
False
Let l(c) = 2*c**2 + 3*c - 5. Let o(t) = 2*t + 2. Let g be o(-4). Is l(g) composite?
True
Let w be 3197/(-9) + (-4)/(-18). Let k = -96 - w. Is k prime?
False
Suppose -c - 498 = -3*c. Is c composite?
True
Let a(j) = -j**3 - 4*j**2 + 2*j - 6. Suppose -72 = -4*u + 4*b, -2*u + b + 2 = -36. Suppose -4*m = -0*z + 5*z + u, -10 = 2*m + 2*z. Is a(m) a composite number?
True
Let f(t) = -t**3 + t - 1. Let h(w) = w**3 - 12*w**2 - 13*w + 5. Let q(o) = 2*f(o) + h(o). Suppose -2*p - 93 = -71. Is q(p) prime?
True
Let w = 9 - 6. Suppose 3*v + 3*j = 822, 2*j = -w*v - 0*j + 820. Is 4/12 - v/(-3) composite?
True
Suppose 6*s = g + 3*s - 1, 0 = 4*g + 5*s - 21. Suppose 0*o + g = 2*o. Suppose 5*x + 160 = 5*w, 2*x - 3*x = -o*w + 69. Is w prime?
True
Suppose -x - 2*f + 23 = 4*x, 0 = -3*x - 4*f + 11. Let k(g) = 9*g**2 - 5*g + 5. Let y be k(x). Suppose -y - 313 = -2*t. Is t prime?
False
Suppose 0 = -3*t + t + 10. Suppose m + 4 = t*m. Let g(k) = 15*k. Is g(m) a composite number?
True
Let s(a) = a**3 - 5*a**2 - 8*a - 1. Let p(n) = 3*n - 7. Let r be p(5). Is s(r) a prime number?
True
Suppose -2*c = 4*x - 3*c - 8, -c - 6 = -3*x. Suppose 170 = x*y - 0*y. Is y a composite number?
True
Let p(s) = -12*s - 1. Is p(-5) a composite number?
False
Let h(l) be the first derivative of -l**2/2 + 1. Let d(s) = 4*s - 8. Let k(r) = d(r) - 3*h(r). Is k(6) composite?
True
Let m be 57 + -5 - -3*1. Suppose 4*n + d - 275 = -n, -4*d = n - m. Is n a composite number?
True
Suppose y - 12 = 27. Suppose 4 = -2*m + 2, 5*m - y = -4*l. Is l a prime number?
True
Let t(s) = s. Let x(q) = 1 - 10*q**2 + 3 + 11*q**2 - q**3. Let o(y) = 4*t(y) - x(y). Is o(3) composite?
True
Let k(l) = 1 + 0 - 15*l - 8*l + 0*l. Is k(-2) a prime number?
True
Let w be 1/1 + -2 + -2. Let v(o) = o**2 - 2*o - 3. Let k be v(w). Let n = k + 11. Is n prime?
True
Suppose 3*r - g = -3 - 0, 0 = 3*r + 4*g + 3. Let u(a) be the first derivative of -3*a**2/2 + 2. Is u(r) a prime number?
True
Let b = -3 - -9. Suppose 0 = -3*v + 4*v - 45. Suppose 2*p = 3*q - v, 18 = -4*p + b. Is q a composite number?
False
Suppose -5*m - 4 = d - 3*d, 5*d - m = 10. Suppose 7*x = d*x + 2095. Is x a prime number?
True
Let o(v) = 63*v + 10. Is o(15) a composite number?
True
Let g(d) = -2*d + 3. Let k be g(3). Let w(n) = -20*n - 1. Is w(k) a prime number?
True
Let j = 6 - 4. Suppose -t = -2, 7*c + 3*t = j*c + 491. Is c prime?
True
Suppose 4*w = 437 + 191. Is w a composite number?
False
Suppose -2*f = -68 - 390. Suppose f + 33 = 2*s. Is s prime?
True
Let r = -148 - -293. Is r composite?
True
Let x(m) = -m**3 - 5*m**2 - 2*m - 7. Let g be x(-5). Suppose -g*j - 469 = -1708. Is j composite?
True
Let z(k) = 25*k - 9. Let q be z(6). Let i(y) = y**3 - 7*y**2 - y + 6. Let t be i(7). Is ((-2)/6)/(t/q) prime?
True
Suppose -7*f = -4*f. Let g = f - 0. Suppose g = 4*p + q - 55, 5 = -p + 3*p + 5*q. Is p a composite number?
True
Suppose -5*v + 31 = t, -v + 4*v - 89 = -5*t. Suppose -t = 4*h, -h = -5*m - 3*h + 2907. Is m composite?
True
Let x(r) = -2*r**2 + 5*r - 4. Let u be x(-5). Is u/(-3 - (0 + -2)) a composite number?
False
Let c(g) = -g**3 + 12*g**2 + 4*g + 17. Is c(6) composite?
False
Let i(u) = 271*u - 14. Is i(7) a composite number?
True
Let p(o) = o**2 - 3*o - 5. Let r be p(5). Let a(s) = 71*s**2 - 2. Let m be a(2). Suppose -4*q + 5*j + m = -q, -r*q + 4*j + 457 = 0. Is q a composite number?
False
Suppose -7*w = -w - 60. Let q(t) = 0*t + t**2 - 5*t - 2*t - 11. Is q(w) prime?
True
Let g = 493 + -186. Is g prime?
True
Suppose 2*y + 5 = h, -4*y + 5*h - 26 = -7. Let f be 2*(y - 0) - -96. Let w = -41 + f. Is w composite?
False
Let g = -83 + 120. Is (-3 - (-1 + -2)) + g prime?
True
Suppose 0 = 6*n - 4*n - 1042. Is n prime?
True
Is 16445/4 + 21/(-84) a prime number?
True
Let r be (-10)/(-2) - (4 - 4). Suppose r*z - 43 = -13. Is z prime?
False
Suppose -c + 0*s + 5*s = -47, 5*s = -2*c + 19. Let f = c + -12. Is f composite?
True
Suppose 5*u = -4*g + 29, 4*g = u - 0*g - 1. Suppose -2*f - 3*f + 4*i = -14, 4*f - u*i - 13 = 0. Suppose f*k + z = -2*k + 45, 3*z - 3 = 0. Is k a prime number?
True
Suppose 4*s - 7 - 5 = 0. Let b(v) = -2*v**3 - 6*v**2 - 6*v - 3. Let j be b(-4). Suppose 143 = 5*w + 4*t, 2*w + 4*t = -s + j. Is w a composite number?
False
Let h be (2 + -1 - 3)*(-3135)/30. Let g be 3/(-6) + 166/(-4). Let z = h + g. Is z prime?
True
Suppose -3 = -t + 5*l, 3*l + 9 = 3*t - 0*l. Suppose -t*p = 2*p. Suppose p = 5*x, 0 = b - 3*x - 3 - 34. Is b composite?
False
Suppose -8*k + 2 = -7*k. Let v be 0/(0 + -2) + 3. Suppose 49 = r - 4*h, 0 = -v*r - k*h - 2*h + 99. Is r prime?
True
Suppose 5*t + 9 = 29. Let r be (t + 22)/(4/14). Let f = r + -38. Is f a composite number?
False
Let t = -19 + 17. Is (t/(-1))/((-2)/(-53)) a composite number?
False
Let t = 271 - -63. Suppose -t = -4*j + w - 0*w, -5*j + 5*w = -425. Is j composite?
False
Suppose -2*i = -4*i - 5*o + 1127, 0 = -3*i - 3*o + 1668. Is i composite?
True
Suppose -2*t + 0 = 6. Let s(g) = -52*g + 1. Is s(t) composite?
False
Suppose -2*h + 5*r = h + 11, -3*h - 15 = -3*r. Let w(c) = 3*c**2. Let z be w(-1). Let d = z - h. Is d a composite number?
True
Suppose -3*m = 2*m - 310. Suppose -z + 115 = -m. Is z a prime number?
False
Let v = 624 + -444. Let q = -56 + v. Suppose -r + d + q + 5 = 0, -530 = -4*r - 3*d. Is r a prime number?
True
Suppose -2*x + 40 = 2*x. Let h = -1 + x. Is h prime?
False
Let x = 1 + 7. Let c be (6/(-4))/(2/(-20)). Let w = c - x. Is w a composite number?
False
Let a(m) = m**2 - 2*m + 6. Let u be a(5). Let n = 74 - u. Is n a composite number?
False
Suppose 11 = -3*n - 16. Let k = -5 - n. Suppose -2*g - 4 = -k*g. Is g a prime number?
True
Suppose -3*x = -4*x - 15. Let h = -4 + 10. Is (56/(-10))/(h/x) composite?
True
Suppose 0 = 2*v + 4*v - 6018. Is v a prime number?
False
Let x(u) = -u**2 - 9*u - 5. Let l = -8 + 0. Is x(l) composite?
False
Let t be ((-10)/(-5) + -1)*29*5. Let h(s) = -5*s**3 + 4*s**2 + s. Let o be h(3). Let n = o + t. Is n a prime number?
False
Suppose 4*q = -2*p + 334, 4*p - 39 = -q + 48. Is q a composite number?
False
Let o(f) = -f + 8. Let z be o(-11). Suppose 4*q = -5*r - 32, -3*r + 5*q - z = 15. Is 853/9 + r/(-36) a prime number?
False
Suppose 0 = w + w - 488. Let f = 7 + w. Is f prime?
True
Let p = -5 - -11. Suppose -1 = -t, -4*j - t - 1081 = -p*j. Is j composite?
False
Let g = -4 + 8. Suppose 97 = g*r - 59. Suppose 4*k = r + 145. Is k composite?
True
Let q(m) = 1. Let w(t) = -7*t + 4. Let n(k) = -6*q(k) + w(k). Suppose -a + 15 = -4*a. Is n(a) a composite number?
True
Suppose -113 = 5*l + 3*h, l = 6*l - 5*h + 105. Is (-6)/(-33) + (-304)/l prime?
False
Let v = -3 + 5. Suppose -u = -v*o - 21, 2*u + o - 14 = 13. Is u composite?
True
Is (-4 - -587) + 2/(-1) a composite number?
True
Let j be (2 - 2/6)*3. Suppose 0 = 2*h - 4*f - 446, -j*h + 3*h + f + 446 = 0. Is h composite?
False
Let d = -28 + 21. Let h(v) = 8*v**2 - 13*v + 2. Is h(d) composite?
True
Is 7 - 3 - (-1498)/2 composite?
True
Suppose 0 = m - 4*t - 737, -t = -2*m + t + 1498. Is m prime?
False
Le