
Suppose -3*k = -4*g - 595, 1401 = 5*k + 2*g + 366. Is k a prime number?
False
Suppose -2*v = 6, 3*f + 4*v - 748 - 863 = 0. Is f a composite number?
False
Let d = 1 - -1. Suppose 2*m + c - 72 = 0, -d*c = 4 - 0. Is m prime?
True
Suppose -4*p + 4 = -16. Suppose -p + 4 = -j - 3*i, 5*i - 2 = -2*j. Is -1*j - (-11 - 1) composite?
False
Let u be -2 + (3 - (-1 - -4)). Is 11/1*(9 + u) a composite number?
True
Let c(r) = r + 2. Let s be c(0). Suppose -h + 8 = h, 170 = s*v - h. Is v a composite number?
True
Suppose 0 = 5*o + 6 - 16. Suppose -325 = o*c - 7*c. Is c a composite number?
True
Let o = 9 + -4. Is (-95)/(-1) - (-10)/o a composite number?
False
Suppose -3*w = -0*w - 879. Is w a prime number?
True
Suppose -9*b = -5*b - 1804. Is b a composite number?
True
Let s(g) = g**2 + 3*g - 2. Let m be s(-5). Suppose -3*z = 3*r - z - 10, 5*r - m = z. Let p = 0 + r. Is p prime?
True
Let b(q) = -q**3 + 3*q**2 - 3. Let n be b(3). Let r(v) = v**3 + 9*v**2 + 6*v + 5. Let k be r(-8). Is 0 + k + n + 3 composite?
True
Suppose -2*f + 7*f + d - 103 = 0, 5*d - 15 = 0. Suppose 3*o - f = o. Suppose -t + o = 4*t. Is t prime?
True
Let c be 10/(-35) + 130/14. Suppose a + p = -p + c, -5*p - 62 = -4*a. Suppose -j + 12 = -a. Is j a prime number?
False
Suppose 2*u - 285 = u. Suppose 4*z - z - u = 0. Is z prime?
False
Is ((-3 + 2)*1)/(4/(-2108)) composite?
True
Let k = 21 + -78. Is -3 + -1 + 2 - k a prime number?
False
Let j(g) = 21*g**2 + 77 - g**3 - 21*g**2. Let h be (-4)/(-14) - (-4)/(-14). Is j(h) a composite number?
True
Let a(l) = -l + 10. Let h be a(7). Suppose 13 = h*o - 5. Is o a composite number?
True
Let q be (-1)/(1 + 9/(-12)). Let i be q/(-6) - 71/3. Let v = -13 - i. Is v composite?
True
Let c(t) = 2*t**3 - 20*t**2 - 3*t - 8. Let i(r) = -r**3 + 10*r**2 + r + 4. Let z be (3/5)/((-2)/10). Let f(y) = z*c(y) - 5*i(y). Is f(9) a prime number?
False
Suppose 0*c - 12 = -4*c, 0 = -2*m - 5*c + 927. Suppose 4*p - m = 172. Is p a composite number?
False
Let i be 1/((-1)/(1 + -6)). Suppose -i*u - 118 + 303 = 0. Is u a prime number?
True
Let p be (-129)/(-27) + 2/9. Let u(x) = -x**3 - 5*x**2 - x - 5. Let q be u(-5). Suppose -4*z = -l - 149, q = 2*z + z + p*l - 106. Is z prime?
True
Let x(l) = l - 4. Let y be x(4). Suppose m - 66 + 9 = y. Is m composite?
True
Let t(m) = -m**3 + 15*m**2 - 18*m - 7. Is t(13) prime?
True
Let v = 6 - 7. Let n(r) = -7*r**3 + 2*r + 1. Is n(v) prime?
False
Let x = 4 + -2. Suppose 0 = y + x*y - 195. Is y a composite number?
True
Let w = -19 - -81. Is w a composite number?
True
Suppose -5*s = -s + 144. Is 8/s - 200/(-9) a composite number?
True
Let p(s) be the third derivative of 0 + 0*s + 1/2*s**3 + 1/60*s**5 - 1/6*s**4 - s**2 + 1/30*s**6. Is p(2) a composite number?
False
Let d be ((-16)/4)/4*-53. Suppose 0 = -r + 30 + d. Is r a composite number?
False
Let g(c) = -4*c - 3. Let u = -7 + 10. Let v be g(u). Is 1/(-2)*(-3 + v) prime?
False
Is 7/35 + 28/10 composite?
False
Suppose -t + 2*t = -2. Is ((-109)/t)/((-1)/(-2)) prime?
True
Suppose b + 184 = 5*b. Let f = b + -2. Let o = f + -30. Is o a prime number?
False
Suppose -69 - 3 = 4*w. Let g = w - -29. Is g a composite number?
False
Suppose b = -3*b + 8. Suppose 4*g + 13 + 45 = 2*h, -78 = -b*h - g. Is h composite?
False
Let x be (-16)/((0 - -2)/(-12)). Let r = x - 62. Let n = r - 23. Is n composite?
False
Let k(v) = -1 + 10*v**3 + 2 + 1 + 1. Let t be k(3). Let m = t + -50. Is m prime?
True
Let o = 3 - 1. Let v(p) = 2*p**2 - 4*p**2 - 9 + 15*p + p**o - 2*p. Is v(10) composite?
True
Suppose 4*w = -4*b + 768, -b + 0*w + w = -190. Let v = 200 + -196. Suppose -b = -v*u - 43. Is u composite?
False
Let z be (3 + -1)/((-3)/(-15)). Suppose z = 2*y - 372. Is y prime?
True
Suppose b - 270 = -b. Let a = b - 66. Is a a composite number?
True
Suppose -5*j + 4*f - 11 = -56, -10 = 2*f. Let l(w) = 6*w**2 + 3*w + 2. Let b be l(3). Suppose 0*x = -j*x + b. Is x a prime number?
True
Is 130 + (-12)/8*2 composite?
False
Suppose -27 - 38 = -s. Is s a composite number?
True
Let h(q) be the first derivative of -3*q**4/2 - q**3/3 - q**2 + 2*q + 3. Is h(-3) a prime number?
False
Let r(o) = -o + 8. Let w be r(6). Is (-3)/w*670/(-15) prime?
True
Let i = 8 - 4. Suppose -h - 34 = i*t, -2*t + 0*t + 5*h - 28 = 0. Is (t/(-6))/((-3)/(-244)) a composite number?
True
Is 2/7 - 1755/(-7) prime?
True
Let v = 246 - -252. Suppose 0 = -6*l + 3*l + v. Suppose o - 3*o = -l. Is o prime?
True
Suppose 3*o - 6*o - 611 = -4*q, -3*o = q - 134. Is q composite?
False
Let s be 508/(-14) - 2/(-7). Let d = s + 74. Is d a prime number?
False
Is 362 - 1 - (6 - 6) a composite number?
True
Let g(h) = -80*h - 1. Let q = -16 + 15. Is g(q) prime?
True
Is 2/(-4) - 19638/(-36) prime?
False
Let k = -19 + -6. Let p be 5*(-5)/(k/(-2)). Is (-3 - p) + 2*8 composite?
True
Let w(x) = x**3 - 9*x**2 - 17*x + 16. Let a be (-2 - -38)*6/(-8). Let u = 38 + a. Is w(u) prime?
True
Let b(q) = q**2 + 5*q - 6. Let l be b(-6). Suppose -t + 37 = -l*t. Is t composite?
False
Let t(o) = o + 1. Let d be t(-2). Let j(i) = -3*i**3 - 2*i**2 + 1. Let n be j(d). Suppose w = n*w - 43. Is w a prime number?
True
Let g = 5 - 0. Is (-2 - -3) + 785/g prime?
False
Suppose o = 2*q - 4*q + 341, 2*q = 10. Is o a composite number?
False
Suppose -r = 4*r. Suppose 4*p - 4*o - 1556 = -r*p, p - 393 = -o. Is p a prime number?
False
Let v(t) = -t**3 - 6*t**2 - 7*t + 5. Suppose -j = -3*j - 12. Is v(j) composite?
False
Suppose -12929 = -21*b + 14*b. Is b composite?
False
Is 27/(-36) + 1175/4 prime?
True
Let g = 24 - -9. Let r(b) = b - 1. Let d be r(-1). Is d/(-11) - (-192)/g a prime number?
False
Is (4/6)/(6/1683) a composite number?
True
Let l(g) be the second derivative of 41*g**4/6 - g**3/6 + 2*g. Let q be 6/(-21) - (-10)/(-14). Is l(q) prime?
True
Let j(k) be the second derivative of 7*k**5/10 - k**4/6 + k**3 - 5*k**2/2 + 9*k. Is j(3) a prime number?
True
Suppose 0 = 2*k + 3*s + 29, -4*s - 17 = k + 10. Let g(r) = -3*r - 8. Let z be g(k). Suppose -5*l - 6 = i, -i = -4*l - z - 17. Is i prime?
False
Let j = 9 + -7. Suppose 11 = w + j. Suppose -2*v = -w - 59. Is v a composite number?
True
Let h(z) = -24*z - 1. Let x be h(2). Suppose -4*t - m - 815 = 0, 3*m + 821 = -4*t + 8*m. Let f = x - t. Is f prime?
False
Let d = 7 - 7. Suppose d = 2*t - 0*t - 94. Is t composite?
False
Let g(u) = u**2 - 11*u + 3709. Is g(0) prime?
True
Let n(f) = -f**2 - 7*f + 11. Let w be n(-9). Let p be -2 - (-7)/(w/(-10)). Suppose 5*l = p*l - 357. Is l composite?
True
Let o be 2/4*(7 + -5). Let a = -2 - o. Let v = a - -52. Is v composite?
True
Is ((-296)/(-3))/8*3 a prime number?
True
Let t = 10 + -4. Let g = t + 55. Suppose -g = j - 202. Is j prime?
False
Let v(s) be the third derivative of s**6/60 - s**5/20 + 5*s**4/24 + s**3/2 - s**2. Suppose -2*z = -6*z + 20. Is v(z) a prime number?
False
Is (632/16)/((-2)/(-4)) a prime number?
True
Let q(l) = 111*l - 29. Is q(10) a prime number?
False
Suppose p = -0*x + x + 3, 2*x = -2*p + 2. Let q be (x*2)/((-4)/(-398)). Let t = q - -282. Is t a composite number?
False
Suppose -849 = -4*x - k, x + k - 3*k = 201. Is x composite?
False
Let u(o) = o + 5*o**2 - 1 - 4*o + o**3 - 1. Let g be u(-6). Let y = -6 - g. Is y a composite number?
True
Suppose 2*p + p + 129 = 0. Let f = 10 - p. Is f composite?
False
Let l(o) = -3*o + 0*o**2 - 3*o + o + o**2. Is l(7) composite?
True
Suppose q + 5*r = 389, -3*r = 4*q - 741 - 764. Suppose v = -v + q. Is v a prime number?
False
Suppose -4*j = -4, 2*n - 3*j - 9 = -0*j. Let u be (-9)/(-2)*4/n. Is 114/4*2/u composite?
False
Suppose m = 3*m - 266. Is m prime?
False
Let c(d) = 2*d - 12. Let b be c(8). Suppose g - b*g = 0. Suppose g = -4*t + 1 + 11. Is t composite?
False
Suppose 0 = 6*w - w - 15, 5*v - 361 = 3*w. Is v composite?
True
Let f(c) = c**3 - 6*c**2 - 9*c - 19. Is f(11) a composite number?
False
Let g(r) = -4*r - 2. Let l(u) = -u**3 + 5*u**2 - 6*u + 6. Let p be l(4). Let j be g(p). Is (-18)/j + 60/1 composite?
True
Suppose -2*x + 76 + 118 = 0. Is x a composite number?
False
Suppose 3*c - 5138 = -1523. Is c composite?
True
Let r(z) = 8*z**2 + 2*z + 1. Let q(m) = -m**2 + 4*m - 3. Let d be q(5). Let v = d + 5. Is r(v) composite?
False
Let n be (-4 + 3)*3*23. Let f = n - -108. Is f a composite number?
True
Suppose -d + 0 = -4. Suppose 0 = o - d*o + 1005. Is o a composite num