ppose j*a + 1 = 58. Is a prime?
True
Let j = 149 - -114. Is j a composite number?
False
Let q(c) = 17*c**2 + 4*c - 1. Is q(4) prime?
False
Let i be 0/(-1)*5/10. Let l(j) = -j**2 + 2 + 3 - 9*j + i*j**2. Is l(-7) a prime number?
True
Suppose -3*u = 5*q - 30341, 0 = -3*q + 2*u + 7520 + 10677. Is q composite?
False
Suppose 4 = -3*p + 4*p + z, p + 5*z = 0. Let u = -1 + p. Suppose -u*d + 72 = -32. Is d prime?
False
Suppose -2*g + 7*g = -4*h + 427, g = -5*h + 518. Suppose l - h = 150. Is l prime?
False
Suppose 0*m + 3*m - 291 = 0. Is m a prime number?
True
Suppose -270 - 15 = 5*k. Suppose 4*c - 562 = 2*w, 0*c - 2*w - 278 = -2*c. Let n = c + k. Is n a composite number?
True
Suppose -3*b + 3*t = 0, 3*t + 2 = -4. Is b/(-4) - 3604/(-8) a composite number?
True
Let s = -399 - -1094. Is s composite?
True
Suppose -k - 2*k - 12 = 0, -5*s - 6 = 4*k. Suppose 5*y = 0, 6*y + 648 = -3*q + s*y. Let v = q - -329. Is v prime?
True
Let h be 0/(-3*(-6)/(-9)). Suppose -4*v + 508 = -h*v. Is v composite?
False
Let r = 224 - -141. Is r a composite number?
True
Let m = -7 - -218. Is m prime?
True
Suppose -7*t + 2*t = 0. Suppose 2*c - c - 2 = t. Suppose -5*w - 2*q + 97 = 0, -c*w + q + 37 = -0*q. Is w prime?
True
Suppose 551 = 5*i + 3*f, 2*f + 1 = 5. Is i a prime number?
True
Is -5*(-155)/2 + (-18)/(-12) prime?
True
Suppose 2*d = -0*d - 4. Is ((-52)/(-6))/(d/(-39)) composite?
True
Is (-1*2)/((-14)/22141) a prime number?
True
Let l be 3 - 3*(-41)/1. Let v = l - 49. Is v composite?
True
Let p(v) = 35*v + 5. Is p(4) a composite number?
True
Let b(k) = -k**3 + 17*k**2 - 2*k - 13. Is b(16) a prime number?
True
Let k(n) = 263*n**2. Is k(1) a prime number?
True
Let r = 19 + 40. Is r a prime number?
True
Suppose 5*w - 1 = -2*y, -w = -3*y - 0*y + 44. Suppose y = 5*r - 82. Is r composite?
False
Suppose -2*m = -s + 122, -5*s + 4*m + 438 = -172. Let i = 181 - s. Is i prime?
True
Let p(l) = 97*l**2 + 2*l + 2. Is p(-1) prime?
True
Is (3/(-2))/((-15335)/(-3070) + -5) a composite number?
False
Suppose -q + 16 = 3*q. Suppose -q*m + 101 = -95. Is m a prime number?
False
Let f = -20 - -15. Let z(m) = -52*m - 1. Is z(f) composite?
True
Let w(p) = p**2 + p - 3. Suppose -21 = 6*f - 9*f. Is w(f) a prime number?
True
Let a = -2 + 9. Let i(m) = 11*m**2 - 7*m + 9. Is i(a) prime?
True
Suppose -g - c + 5 = -3*g, 4*c = -20. Let l(z) = z**3 + 5*z**2 - z - 2. Is l(g) composite?
False
Let z be -2 - (-1)/(2/392). Suppose -4*a = 5*v - 548 + 46, 5*a = -2*v + z. Suppose -4*g = -254 - v. Is g composite?
False
Let c be 18/4*(-6)/9. Is ((-37)/c)/((-6)/(-18)) composite?
False
Let x = 1989 + -1192. Is x a composite number?
False
Let p(k) = -1. Let o(c) = 31*c - 28. Let n(g) = -o(g) + 3*p(g). Is n(-12) prime?
True
Let a = 87 - -64. Let g = a + 12. Is g prime?
True
Let q be -6*((-5 - -2) + 2). Is 316/q*(-9)/(-6) prime?
True
Suppose -5*m + 55304 + 4131 = 0. Is m prime?
True
Suppose 652 = -17*o + 21*o. Is o a prime number?
True
Suppose b - 6 = -2*b. Let u be ((b + -1)/(-1))/(-1). Is u*4 - (-1 - 1) prime?
False
Let x be 6/6 + 2/1. Suppose -4*b = -2*l - 78, 5*b - x*l - 39 - 56 = 0. Is b a prime number?
False
Let p be 16/(-10) - (-2)/(-5). Is (p/(-3))/((-5)/(-75)) a composite number?
True
Let d(h) = h**2 - 6*h + 3. Let i be d(6). Suppose 4*f = -i*q + 14 + 15, -2*q = 3*f - 21. Suppose 3*x - f*c = 86, 2*c - 5*c + 89 = 2*x. Is x prime?
True
Is (-1974)/(0 + -1) - 5 prime?
False
Suppose 21 = -3*h + 120. Is h a prime number?
False
Let p be 1*(0 + (3 - 2)). Suppose 4*j = -p + 13. Suppose -3*w - 4*n + 31 = 0, -5*n = -j*w - 3*n + 43. Is w prime?
True
Let q be 1/2 - (-5)/2. Let g = q + 4. Suppose -g*u = -2*k - 2*u + 48, 2*u = -k + 6. Is k composite?
True
Let t(d) = -d**2 + 12*d - 5. Let q be t(5). Is 3172/10 + (-6)/q prime?
True
Is (-1)/(-7) - (-374998)/91 a composite number?
True
Suppose 0 = 3*i - 2*z + 118, -2*i - z - 139 = 2*i. Let s = i - -287. Is s composite?
False
Suppose 0 = t - 6*t - 3*n + 20, 4*t = -2*n + 16. Suppose -5*u + 356 + 1579 = 0. Suppose -o - 3*o + u = -c, t*o - 391 = -3*c. Is o composite?
False
Suppose l + 2*q + 0*q = 72, 5*q = 2*l - 189. Is l a prime number?
False
Let n(a) = 55*a**2 + 2*a - 1. Is n(2) prime?
True
Let t = -5 + 8. Suppose -h = -2*n + 7, -4*h = -t*n - 5*h + 3. Suppose 4*f = 4*o + 45 + 79, -n*f - o + 47 = 0. Is f composite?
True
Is (5910/(-25))/(2/(-5)) a composite number?
True
Let q be -1 - (4 + 1)*1. Let m(x) = x**2 + 5*x - 1. Let a be m(q). Suppose -2*h + 4*c + 22 = 0, 0*c = -a*h + 5*c + 55. Is h a prime number?
True
Suppose 2*m - 333 = -m. Suppose -3*x = -0*x - m. Is x a prime number?
True
Suppose 34 + 71 = 5*f. Let v = 39 - f. Suppose -2*m + 50 = -v. Is m a composite number?
True
Suppose -5*v = 5 + 130. Let c = v - -413. Suppose -m = 4*n - c, 2*n + m + 487 = 7*n. Is n a composite number?
False
Is 318 + -1*(-2 - -3) a prime number?
True
Let z(c) = -2*c**2 - 2*c + 2. Let y be z(3). Let o be y/(-6) - 4/6. Suppose 0 = -o*f + 2*f - 4*b + 15, -3*f + 13 = -4*b. Is f prime?
True
Let y(g) be the second derivative of -17*g**3/6 - 9*g**2/2 + 6*g. Is y(-10) a composite number?
True
Let w = 194 - 117. Is w a prime number?
False
Let v = 7 + -2. Suppose v*x - 1359 - 466 = 0. Is x prime?
False
Let d(k) = 20*k + 47. Is d(11) a composite number?
True
Let w(v) = v**2 + 5. Let a be w(0). Suppose 5*u - a*c - 635 = -0*c, -u + 127 = c. Is u a composite number?
False
Let v(h) = 4*h**2 + 5*h + 1. Let a be v(-7). Let d = a + -97. Is d prime?
False
Suppose 4*q - 2*n = 54 - 6, -q = -2*n - 6. Suppose 2 = -4*z + q. Suppose -2*f - z*f = -55. Is f prime?
True
Is 5*(14 + (-1 - 0)) prime?
False
Suppose -l = -0*l - 5*n - 163, -4*l = -5*n - 577. Let t = l + -49. Is t a prime number?
True
Let x be (-2 - 0)*(-105)/(-6). Is 0 + -3 - x - -2 composite?
True
Let w be 5*7 - (-8 + 5). Suppose 3*r + 95 = 5*i, -4*i = -2*i - 3*r - w. Is i composite?
False
Suppose 3*o + 2*w + 0*w = -10, -o - 2*w = 6. Let r be (-2 - -2) + o - 1. Is ((-2)/r)/(4/78) a composite number?
False
Suppose -3*n - 78 = -6*n. Suppose -3*r - 8 = -n. Is r prime?
False
Let h(r) = 7*r**2 - 14*r + 11. Let m(k) = -15*k**2 + 29*k - 23. Let z(u) = 7*h(u) + 3*m(u). Is z(7) composite?
False
Let j = 17 + -12. Suppose 50 = j*y - 55. Is y a composite number?
True
Suppose -2*s + 4316 = 2*x, -x - 4291 = -3*x + 3*s. Is x a prime number?
True
Let b(f) = -250*f + 1. Is b(-1) composite?
False
Let a(u) = 50*u**2 - u. Is a(-1) a composite number?
True
Suppose -336 = -4*g - 2*y + 1416, -y - 438 = -g. Suppose -5*f + g + 7 = 0. Is f composite?
False
Let s = -16 + 502. Suppose 0 = 4*v - v - s. Let h = -83 + v. Is h prime?
True
Let g be 0 - 1 - -1832 - -2. Let f = -941 + g. Suppose f = 2*k + 2*k. Is k composite?
False
Suppose -n + 105 = 2*n. Is (0 + 1)/(1/n) composite?
True
Suppose -7*i - 3*x = -3*i - 502, 3*i + 5*x - 371 = 0. Is i a composite number?
False
Let b(w) = w - 9. Let x be b(11). Suppose f + 68 = x*g, -2*f + 3 + 31 = g. Is g a prime number?
False
Let u = -4 + -2. Is 3/(9/u) - -55 a composite number?
False
Let q(c) = c**3 - 23*c**2 - 13*c + 24. Is q(25) prime?
False
Let j(s) = 5*s**3 - 4*s**2 + 4*s - 1. Is j(6) composite?
True
Let l(q) = -q**3 + 3*q**2 + 2. Let z be l(3). Suppose -z*o + 7 = 1. Suppose -6 = -o*c + 15. Is c composite?
False
Suppose -5*k = 3*r - 612, 0*k = -2*k - 6. Is r prime?
False
Let v = -6 - -11. Suppose -433 - v = -3*o. Let w = 231 - o. Is w a prime number?
False
Let y(t) be the third derivative of t**7/280 - t**5/60 + t**4/12 - 2*t**2. Let u(k) be the second derivative of y(k). Is u(2) prime?
False
Let o(c) = -11*c - 6. Let d(k) = 23*k + 13. Let w(m) = 3*d(m) + 7*o(m). Let a be w(-2). Suppose -v - 2*n = -a, -v = 4*v + 2*n - 57. Is v prime?
True
Let q(j) = j**2 - 7 + 0 - 7*j + 9*j**2 - j**2. Is q(-5) prime?
False
Let q(x) be the second derivative of 19*x**3/6 + x**2/2 + x. Is q(6) composite?
True
Suppose -4*n - g = -32, 0*g + 5*g = -4*n + 32. Suppose 4*i + 12 = 0, -3*o = -3*i + n*i - 366. Is o composite?
False
Suppose 0 = 5*p - 4*q - 2339, p + 2*q = -79 + 544. Is p a composite number?
False
Is 2 + (-2)/2 + 45 a prime number?
False
Let u(v) = -2*v**3 - 4*v**2 - 2*v + 5. Let i = 14 + -6. Suppose -a = a + i. Is u(a) a prime number?
False
Let h be 0 + 0 + (117 - 1). Let c = h - -25. Is c a prime number?
False
Let y(p) = p + 6. Let g be y(-4). Suppose -g*q - 2*q = 