= 1 + 2. Suppose 5*x = v + 152. Is x composite?
False
Suppose 0 = -0*i - 3*i - 2*d + 785, -2*i = -5*d - 498. Suppose r + 3*r + 3*b + i = 0, 5*b = -r - 52. Is (-3)/6 + r/(-2) composite?
True
Let v(k) = 4*k + 4*k**3 + 4*k**2 - 2*k + 1 - 2*k**2. Let h be v(-1). Let d(q) = q**2 - 2*q - 4. Is d(h) a composite number?
False
Suppose 5*t - 1289 - 1818 = -4*r, t - 2*r - 627 = 0. Is t a composite number?
True
Let n be 1/(-1*(-2)/6). Suppose 0 = -n*h + 210 + 57. Is h a prime number?
True
Let u(m) = -m + 2 + 2*m + 0. Let k be u(7). Let r = 16 - k. Is r a composite number?
False
Let o(a) = a - 9. Let f be o(0). Let p be 2/f - (-404)/36. Let l(j) = -j**2 + 14*j + 4. Is l(p) a prime number?
True
Let l(d) = 19*d**2 + d - 19. Is l(15) a composite number?
False
Let r be (0 - 3/(-3))*0. Suppose r = 2*x - 7*x + 335. Is x composite?
False
Suppose 3*k - k + 3*j - 390 = 0, -4*k - 2*j + 780 = 0. Let q = k + -136. Is q a prime number?
True
Suppose 2*s - 950 = -316. Is s composite?
False
Suppose -1778 = 9*o - 23*o. Is o composite?
False
Let u(v) = -3*v**3 + 8*v**2 - 8*v + 2. Let y(g) = 13*g**3 - 33*g**2 + 33*g - 8. Let c(f) = -9*u(f) - 2*y(f). Is c(7) prime?
True
Suppose 2*j = -3*x - 7, -5*j + 2*x + 8 = -3. Let b(y) = -y**2 - j + 6*y**2 - 10*y + 8. Is b(6) a composite number?
False
Suppose -2*c + 6 = -4*y, 2*y + 2*y - 5*c - 9 = 0. Is y/8*614*-1 prime?
True
Suppose 4*w + 13 + 3 = 0. Is (177/6)/(w/(-8)) a composite number?
False
Suppose -2*r - 2*f = -920 - 764, -3*f - 830 = -r. Is r composite?
False
Let y = -83 - -529. Let p = y + 39. Is p a prime number?
False
Suppose 2*o = 7*o + 20. Is 21 + -1 + (-12)/o prime?
True
Suppose -276 = -p - 5*p. Is p prime?
False
Let i(p) = -p - 1. Let h be i(-3). Let q = 23 - 23. Suppose z - 28 = -f + 1, q = -h*f - z + 62. Is f a composite number?
True
Let w(y) be the first derivative of -y**3/3 - 13*y**2/2 - 5*y + 2. Is w(-5) a composite number?
True
Is (9 - -40) + 6/(-2) a prime number?
False
Let t = -3 - -7. Suppose 3*u + 3*j = 15, t*j - 1 = u - 6. Suppose -3*z - 116 = -3*b - u, 0 = 4*z. Is b a composite number?
False
Let s = 21 + -12. Suppose 5*m + 2596 = s*m. Is m prime?
False
Suppose -4*l = l + 10. Is (-39)/l - 2/4 prime?
True
Let s be (-6)/21 + (-30)/(-7). Suppose 0 = 2*t + 2, -4*l - s*t + 345 = -9*t. Is l a composite number?
True
Suppose 0 = j + 2*j - 378. Suppose -2*z + 100 = -j. Is z composite?
False
Let x be (11/4)/(1/(-4)). Let h = -8 - x. Is (h/6)/((-2)/(-364)) a composite number?
True
Suppose -4*c = -a - 8, 5*c + 2*a = -0*c + 10. Suppose 3*r + 5*i = 9, c*r + 4*i = -2*r + 20. Suppose -t = -5*t + 3*b + 31, -t + b = -r. Is t a prime number?
True
Suppose 0*r + 2*q = 2*r - 2436, -5*q - 4871 = -4*r. Is r composite?
True
Is ((-22212)/(-45))/((-4)/(-10)) a composite number?
True
Suppose q = -2*q - 9. Is (614/4)/(q/(-6)) a composite number?
False
Suppose 5*k + 59 - 14 = 0. Let h = k + 16. Is h composite?
False
Let q(t) = 7*t**2 - 2*t**2 - 18*t - 3 - 3*t**2 + 6. Is q(14) prime?
False
Suppose 12 = 2*k + 4. Let l(f) = 5*f**3 + 7*f**2 - 2*f + 2. Let b(y) = 3*y**3 + 3*y**2 - y + 1. Let n(j) = k*l(j) - 7*b(j). Is n(6) a prime number?
True
Let m be 5 + (-3 - 4/(-1)). Is ((-758)/6)/((-2)/m) prime?
True
Let l(q) = 5*q**3 - 2*q**2 - 12. Is l(5) composite?
False
Let r = -8 + 14. Let f be 1/3 + 154/r. Suppose 3*g - 67 = f. Is g a composite number?
False
Is ((-33)/(-6))/(-11) + 327/2 a prime number?
True
Suppose -4 + 0 = -2*n + 4*i, 0 = 2*n - 3*i - 5. Suppose 3*b + b + n*z - 128 = 0, 0 = -3*z - 15. Is b a prime number?
True
Let c = 2 - 2. Suppose -d - d + 384 = c. Suppose 162 - 499 = -5*s - 4*k, 3*s = k + d. Is s a composite number?
True
Let c(u) = -u**3 + 7*u**2 + 5 - 4*u - 9 - 1. Let h be 1 + 2 + -1 - -4. Is c(h) prime?
True
Is ((-4)/(-4)*-389)/(-1) a prime number?
True
Let g be 12/18*27/2. Let y(n) = -n**3 + 9*n**2 + 4*n + 7. Is y(g) prime?
True
Suppose 5*x = 38 + 447. Is x a composite number?
False
Suppose -4*j - j = -r + 89, -r - 3*j = -81. Suppose 2*q + 2*h = r, h = 3*q - q - 87. Is q a composite number?
False
Let a(o) = -o**2 + 11*o - 1. Let y be a(11). Is (0 + y)/(9/(-477)) a prime number?
True
Let c(r) = -r**2 - 11*r + 6. Let q be c(-11). Let k = q + -3. Suppose 0 = 4*i - k*i - 161. Is i a composite number?
True
Let y(z) = 2*z**3 - 4*z**2 + z + 1. Let f be y(4). Let l = 25 - 47. Let r = l + f. Is r a composite number?
False
Is (-1 - 0)/(2/(-534)) composite?
True
Let h(v) = 2*v**2 - 2*v - 7. Is h(7) prime?
False
Let i be ((-18)/12)/((-3)/26). Let k = i - -2. Is k composite?
True
Suppose 0 = -0*b + 4*b - 216. Suppose -m + 4 = -5*w, -3*w = -2*w + 5*m - 20. Is (1 + b)/(1 + w) a composite number?
True
Let d(k) = -k**2 - 17*k - 2. Let l(g) = g**2 + 16*g + 3. Let u = -5 + -1. Let c(f) = u*d(f) - 7*l(f). Is c(-8) composite?
False
Suppose 3*b + 2*p = -2*p, -5*b - 3*p + 11 = 0. Suppose b*y - 16 = 2*m, 0*y + 2*y = 3*m + 16. Suppose 55 = 3*s + y*s. Is s composite?
False
Let t = 17 - 12. Suppose 5*v = 2*x - 0*x + 1135, -3*v - t*x = -681. Suppose -7 = 4*k - v. Is k prime?
False
Let p be (-634)/(-14) + (-2)/7. Suppose 4 = -5*u + 29. Suppose -u*t = -30 - p. Is t composite?
True
Let l(o) = -o**2 + 1. Let k be l(-3). Is ((-194)/8)/(2/k) a prime number?
True
Let k(y) be the second derivative of -1/2*y**2 + 2*y + 10/3*y**3 + 0. Is k(1) a composite number?
False
Let s(m) = -37*m + 6. Is s(-5) composite?
False
Suppose 3*p = 6, x + 2*p + 0*p = 2. Let t be 0 + (22 - (x - -3)). Suppose -y + 2 = -t. Is y prime?
True
Let k be 0/((1*-4)/4). Suppose k = -6*j + 3*j - 6, -j = 2*v - 276. Is v a prime number?
True
Suppose -z = 3*z - 2*w - 6, 5*z + 4*w = -12. Suppose 2*j - 3*j + 59 = z. Let b = 136 - j. Is b a composite number?
True
Let r = 3667 + -2572. Suppose -4*n - n = -r. Is n composite?
True
Let u(m) = m + 12. Let l be u(-8). Suppose 2*d = -v + 143, l*d - 347 = -3*v - 56. Is d a prime number?
False
Let n = 164 - 237. Let o = n - -156. Is o composite?
False
Let g be ((-2)/5)/(7/35). Let r(t) be the first derivative of -55*t**2/2 + t - 2. Is r(g) a composite number?
True
Let v(l) = 13*l**2 + 9*l + 2. Let s be v(-6). Let i = s - 194. Is ((-2)/(-6))/(2/i) a prime number?
True
Suppose f - 25 = -4*k, -7 - 18 = -2*k - 3*f. Suppose -k*d + 1030 - 60 = 0. Is d prime?
False
Let c = 841 - 534. Is c a prime number?
True
Suppose 6*k - 25 = k. Let g(c) = c**3 - c**2 - 3*c + 3. Let s be g(6). Suppose 110 = k*x - s. Is x prime?
False
Let r(u) = -308*u**3 + u**2 + 2*u. Is r(-1) prime?
True
Let h(m) = 3*m**2 + 19*m + 13. Is h(-17) a composite number?
False
Is (-47)/((-1)/((-2)/(-2))) prime?
True
Suppose -3*f - 2*f = 4*i - 45, 0 = -5*i + 5*f. Suppose -i*q = -20, 3*a + 16 - 130 = -3*q. Is a composite?
True
Suppose 121 = 4*c - t, -c - 4*c = -4*t - 143. Suppose -r + 2*r - c = 0. Is r a prime number?
True
Suppose -2503 = 26*h - 27*h. Is h a composite number?
False
Let g(t) be the first derivative of -11*t**2 + 3*t - 2. Let o(b) = 4*b + 1. Let i be o(-1). Is g(i) composite?
True
Suppose 0*q + 4 = q, -q = -4*v + 36. Is (-548)/(-10) - (-2)/v a composite number?
True
Let q(t) = t**3 + 8*t**2 + 16*t + 15. Let k be q(-10). Let p = -188 - k. Is p a composite number?
False
Let b = -7 - -11. Suppose b*o + 202 = 686. Is o a prime number?
False
Let o = -80 - -291. Is o a composite number?
False
Let l(i) be the first derivative of 4*i**2 - 3*i - 3. Is l(5) a prime number?
True
Suppose 20 = 2*a - 0*a. Let x = a - 18. Let c(l) = l**3 + 9*l**2 + 6*l - 3. Is c(x) composite?
False
Suppose -3*x + 422 + 7 = 0. Let s = x + -211. Let l = 121 + s. Is l a prime number?
True
Let f(l) = -78*l + 9. Let u(w) = -w + 1. Let v(y) = -f(y) + 6*u(y). Let d be v(2). Is 1*(2 + 2 + d) a composite number?
True
Let j = -48 - -67. Is j a prime number?
True
Let d be (0 + -71)/((-3)/(-3)). Let c = d + -34. Is (-3)/(-6) + c/(-2) a prime number?
True
Let r = 329 + -166. Is r prime?
True
Let u = 1 - 10. Let k be (u/6)/(2/64). Let n = k + 83. Is n a composite number?
True
Let r be (21 - 0/(-1))*-2. Suppose 0 = 2*d + 109 + 37. Let j = r - d. Is j a composite number?
False
Let w = 12 - 6. Suppose 5*p - 181 = w*s - 2*s, -s + 29 = p. Is p a prime number?
False
Suppose 2*t - 5*t + 27 = 3*o, 3*t - 27 = -5*o. Let s be 1/(-1) - (-6 - -1). Suppose z - t = s. Is z prime?
True
Let v(o) = -10*o + 5. Let i be 6/9 + (-40)/6. Is v(i) a prime nu