 3*t - 5*i. Suppose 0 = 5*a - r - 599, t*a - 5*r + 456 = 4*a. Is a composite?
True
Suppose 5*p + 7 = -3*k, -k + 5 = -2*k - 3*p. Is k*-2*(-340)/8 composite?
True
Let w = 13 + 1. Is ((-14)/4)/((-1)/w) composite?
True
Let m(f) = 2*f - 1. Let y be m(-4). Let d(v) = -5*v**2 + 23*v - 4. Let r(c) = 2*c**2 - 11*c + 2. Let b(g) = -3*d(g) - 7*r(g). Is b(y) a prime number?
True
Suppose 18 = 5*x + z, -6*x + 3*z + 18 = -3*x. Is (-2)/8 + 653/x composite?
False
Suppose -2*c + 4*c + 8 = 0, 3*o = c + 103. Let k = o - -116. Is k a prime number?
True
Let g(x) = -3*x**2 - 13*x - 19. Let w(y) = -7*y**2 - 27*y - 39. Let j(f) = -5*g(f) + 2*w(f). Is j(-14) a composite number?
False
Is 1868*6/8*1 - 2 a prime number?
True
Let w(d) = 10*d**2 - 10*d - 51. Is w(-7) a composite number?
False
Let r = -5 + 2. Let a(x) = x**2 + 3*x + 3. Let n be a(r). Suppose -n*c = -m - 113, 179 = 5*c - 3*m - m. Is c composite?
True
Let l(o) = -o**2 + o + 118. Let f be l(0). Suppose -f = -v - 5*h + 310, -4*h - 12 = 0. Is v a prime number?
True
Suppose 4*h - 10 = 2*h. Suppose -4*v = -3*q + 277, v + 412 + 78 = h*q. Let r = -46 + q. Is r a prime number?
True
Let j be 8/(2 + -3) + 2. Let t(m) = 2*m**2 - 8*m + 1. Is t(j) a composite number?
True
Let i = -1871 - -2824. Is i composite?
False
Let x = 3 - -2. Suppose -3*b + 145 = -4*j - 128, x*b + 5*j = 455. Is b prime?
False
Let f = 73 - 13. Suppose 0 = -j + 6*j + f. Let v = j + 27. Is v composite?
True
Let q(v) = -v**2 + 7. Let a be q(-3). Is a/8 - (-90)/40 composite?
False
Let d(c) = -c**3 + 21*c**2 - c + 28. Is d(17) a prime number?
False
Let w = 35 - 52. Let z = w - 65. Let o = z - -129. Is o a prime number?
True
Suppose 2*u + 6543 = 3*m, 6*m = 2*m - 4*u + 8704. Is m composite?
False
Let k(b) = -150*b**3 + 2*b + 1. Suppose -4*o + 0 = 5*d - 1, -3*d + 4 = -o. Is k(o) composite?
False
Suppose -2*n - 5*y + 3*y + 168 = 0, 4*y = -5*n + 415. Is (3 + -2)*(n - 0) prime?
True
Let z(d) = 55*d - 13. Is z(6) composite?
False
Let p(v) = v**3 + 6*v**2 + 4*v - 3. Let t be p(-5). Is (-1)/t*-114 + -2 composite?
True
Let p = -4 - -6. Let g be ((-2)/(-6))/(6/1206). Suppose -g = -p*j + 43. Is j a composite number?
True
Let r(t) be the third derivative of -t**4/8 + 11*t**3/6 - 3*t**2. Is r(-8) composite?
True
Let s(j) = j**2 + 9*j - 2. Let f be s(-9). Is -5*(-1 - 7) + f a composite number?
True
Suppose -4*d + 8 = -0*d. Suppose 152 = 6*p - d*p. Is p prime?
False
Suppose 0 = 3*o + o + 200. Let t = 2 - 4. Is (t/(-4))/((-1)/o) a composite number?
True
Suppose 2*t = -t + 3*k + 9, 4*t - 30 = -2*k. Suppose t*u - 4*u = 190. Is u prime?
False
Let s(m) = 20*m**2 - 1 - 9*m**2 + 0. Let u = -13 - -12. Is s(u) a composite number?
True
Let a = 59 - 12. Is a prime?
True
Suppose 0*n - 298 = -2*p - 4*n, -5*p + 5*n = -700. Suppose 2*v + 5 = p. Is v prime?
False
Let d = 372 + -65. Is d prime?
True
Let s = 11 - 10. Is (s - 0/(-4))*13 prime?
True
Let n be 9 - (-5 + 6/3). Let p = n - 8. Suppose 0 = 6*v - p*v - 102. Is v a composite number?
True
Suppose 0 = -g - 3*p + 217, -336 = -3*g + 4*p + 341. Is g prime?
True
Let m(j) = 694*j + 11. Is m(4) prime?
False
Let y(z) = z**3 + 2*z**2 + 2*z - 2. Let q be y(2). Is (28/6)/(q/189) composite?
True
Suppose 5*n - 146 - 489 = 0. Is n a prime number?
True
Is (-709)/(-3)*(-11 + 14) a prime number?
True
Let b = 16 - 8. Is (-16394)/(-56) - (-2)/b composite?
False
Suppose -3*j - 44 + 1265 = 0. Is j prime?
False
Let u(w) = -23*w. Let v be u(-2). Suppose -4*q + 362 - v = 0. Is q prime?
True
Suppose 2*h + 3*o - 547 = 0, -o + 12 = 3*o. Is h composite?
False
Let s(j) = 108*j - 2. Is s(1) prime?
False
Suppose 0 = l - 5, -4*v = -3*v - 2*l + 10. Suppose v = 3*m - 697 + 124. Is m a composite number?
False
Let x = -20 + 23. Suppose -5435 = -2*i - x*i. Is i a prime number?
True
Let f be -7 - ((2 - 1) + -1). Let c(i) be the third derivative of -i**4/24 + i**3/3 + 3*i**2. Is c(f) prime?
False
Let u = -3 + 5. Let s(f) = -f**3 + 3*f + u + 3*f**2 + 3*f**2 + f**2. Is s(7) prime?
True
Suppose -3*l + p - 2 = 0, -3*p + 5 = 5*l - 1. Suppose -3*i = 2*m + i - 106, -3*m - i + 164 = l. Is m prime?
False
Suppose -4*n - 4*f + 7*f + 19 = 0, -n = 2*f - 2. Let i(l) be the second derivative of 41*l**3/6 - l**2/2 + 36*l. Is i(n) a composite number?
False
Suppose 818 = -5*x + 7*x. Is x a prime number?
True
Suppose 4*b + j - 388 = 0, -2*b + j = -0*j - 194. Suppose 3*f = 4*f - b. Is f a composite number?
False
Let p(l) = 8*l**2 + 2*l - 9. Is p(4) prime?
True
Let g(b) = -b**3 + 19*b**2 + 11*b - 6. Is g(13) prime?
True
Let o(v) = -4*v**3 - 6*v**2 + 7*v + 2. Is o(-5) a composite number?
False
Let s be (-39)/(-12) - (-2)/(-8). Suppose s*k + 3 = 12. Suppose k*c = -4*x + 7 + 31, 3*x - 16 = -c. Is c prime?
False
Let z = -24 + 157. Is z composite?
True
Suppose 6*p = 3*p. Suppose -2*n = -p*n - 10. Suppose -92 = -n*v + 143. Is v composite?
False
Suppose 0 = 3*d - 208 - 83. Is d prime?
True
Let v(r) = -r**3 + 6*r**2 + 9*r - 7. Let c(x) = x**3 - 3*x**2 + x + 3. Suppose 3*u + 15 = 8*u. Let o be c(u). Is v(o) a composite number?
False
Let m(y) = 9*y**2 + 4*y - 1. Let f(j) = 13*j**2 + 6*j - 1. Let x(i) = 5*f(i) - 7*m(i). Let g be x(-7). Let a = 153 - g. Is a prime?
True
Suppose 0*u - 1940 = -4*u. Is u prime?
False
Suppose 3*b - 58 = 5. Is ((-36)/b)/(2/(-7)) composite?
True
Is -5 - 4612/(-10) - (-8)/10 composite?
False
Let a be -1*(-2 + (-1)/1). Suppose a*m - 14 = -2*c + 4*m, 0 = -c + m + 9. Suppose 3*t - c*j = 67, -2*t - 3*j + 18 = 5. Is t a prime number?
False
Suppose 2*f + 140 = -0*f. Let c be f/(-22) - 14/77. Let n(q) = 2*q**3 - q**2 - 4*q + 4. Is n(c) composite?
False
Suppose -5*c = -2*t + 7*t - 10, 0 = 5*c. Suppose 18 - 4 = t*f. Is f a composite number?
False
Let o(c) = 3*c + 9. Let x be o(-6). Is (22/(-3))/(2/x) prime?
False
Let y(n) = -n - 3. Let z be y(-5). Suppose 4 = 2*q + z*q. Let x = 20 - q. Is x composite?
False
Suppose -p - 4*l + 755 = 0, -2*l + 0 - 8 = 0. Is p composite?
True
Let o(w) = 12*w**2 - 4*w + 2. Let d be o(2). Is d/(-18)*-1*33 a prime number?
False
Let m be 2/4*-1*4. Is 1*(m + 0 - -60) composite?
True
Let b = 9 + -7. Let a(x) = 44*x - 3. Is a(b) composite?
True
Let c = 215 - -266. Let m = 864 - c. Let k = -268 + m. Is k composite?
True
Suppose 7*o - 6*o = -3*r + 72, -r = -2. Is o + 2*2/4 a prime number?
True
Let x = 5 - 3. Suppose -5*f + 3*f + x*c = -4, 0 = 2*f - c - 1. Is f/(-2)*188/2 prime?
True
Let h(o) = 30*o**3 + o**2 + 3*o - 3. Let x = 24 + -22. Is h(x) composite?
True
Let d = 2 + 4. Suppose -4*a = -5*a + 8. Let l = d + a. Is l composite?
True
Let u(t) = 11*t**2 - 7*t + 9. Let i be u(7). Let s = i - 68. Is s a prime number?
True
Let i = -13 - -19. Suppose w = -4, -4*x + w = i*w - 24. Is x a composite number?
False
Suppose 2*h + 3*h = 5*l - 455, -5*l + 465 = -3*h. Let u = l - 53. Is u prime?
True
Let b(x) = -x**2 + 7*x - 1. Let u(s) = s**2 - 7*s. Let q(h) = -5*b(h) - 6*u(h). Is q(6) prime?
True
Let c be (-14)/(-6) - 14/(-21). Suppose 5*u - c*a - 57 = 0, -2*u = 5*a - 1 + 3. Is u a prime number?
False
Suppose 0 = c - 2*w - 64, 0 = 5*c - w + 3*w - 344. Let g = -35 + c. Is g composite?
True
Let r(i) be the third derivative of 7*i**5/20 + i**4/6 + i**3/2 - i**2. Is r(-2) composite?
False
Is (-1*(-669)/(-9))/((-2)/6) a prime number?
True
Let t(w) = 2*w**3 - 6*w**2 + 2*w - 5. Is t(6) prime?
True
Let l = 2 + -8. Let g be (-194)/l*9/3. Let w = g + -42. Is w a composite number?
True
Let t(b) = -13*b - 2. Suppose -2 = -3*y - 11. Is t(y) composite?
False
Let w be 5/(-10) - (-514)/4. Let m = 293 - w. Suppose -4*k - k = -m. Is k a prime number?
False
Let g be 18/(-6)*4/(-3). Let h be (2 - g)*10/(-4). Suppose -4*o + h*d + 94 = -15, 121 = 4*o - d. Is o a prime number?
True
Suppose 3*a = -u - 4*u + 484, 4*u + 330 = 2*a. Is a a composite number?
False
Is ((-26)/4)/((-2)/4) composite?
False
Suppose -5*w + 43 - 7 = 4*y, y = 5*w - 16. Is y - 2 - 0 - -17 composite?
False
Suppose 2*o - 3*k = 760, 5*o - 2*k - 339 = 1550. Is o prime?
False
Let v = -1 - -3. Let c be (16/(-12))/(v/6). Is 2412/44 - c/22 a composite number?
True
Let k(q) be the second derivative of -q - 5/2*q**2 + 0 + 2*q**3. Is k(5) prime?
False
Let w = 2 + -1. Is -1*(-2 - (12 + w)) composite?
True
Let z be 146/8 - (-8)/(-32). Is 3174/9 + 6/z composite?
False
Suppose 3*u + 90 = -3*d, -d = 4*d + 4*u + 153. Let h = -11 - d. Is h com