8 = 0, -260 = -f*b - p. Is b composite?
False
Let b(k) = k**3 + 6*k**2 - 8*k + 9. Let m be b(-7). Suppose 6*l = 2*l + m. Suppose -2*u - l*v = -24, -3*v - 17 = -u - 0*v. Is u composite?
True
Suppose -3*t - 527 - 469 = 0. Is (t/(-6))/(2/3) prime?
True
Let j(h) = 144*h**2 + h + 2. Is j(-1) a composite number?
True
Suppose -v - 165 = -5*w, v + 2*v + 453 = w. Is (-9)/(-18) - v/4 a prime number?
False
Let p be (3 + -1)/(10/15). Suppose 0 = p*u, -2*b + 1580 = 2*b + 4*u. Is b prime?
False
Let m(v) = 27*v**3 + 2*v**2 - 3*v + 2. Let d be m(1). Is d/(-2)*7/(-2) a prime number?
False
Suppose v = 2 - 5. Let a = 2 + v. Is (a + -13)*(4 - 5) composite?
True
Suppose 5*s - 1 + 2 = -z, 4 = -3*s - 4*z. Suppose 0 = -s*k - 3*k + 573. Is k a prime number?
True
Is -17*6*(-1)/2 a composite number?
True
Suppose -5*v + 4 = -1. Let d(b) = -v - b + 0*b**3 + 3*b - 4*b**3 - 2*b**3 - b**2. Is d(-2) a composite number?
True
Let x = -22 - -58. Let j = x + -15. Is j composite?
True
Let y be (1/(-1))/(4/(-52)). Let r = y - 2. Is r prime?
True
Suppose 3 = 4*k + 15. Let q be k/(-3)*(-2)/(-1). Suppose 4 = q*h - h. Is h a composite number?
True
Suppose -4*x = 4*o - 563 - 1269, 2*x = -o + 453. Is o composite?
False
Suppose 4 = t, 2*n - 3*t = -0*t + 2. Let f(z) = 2 + 6*z - 3 - 4. Is f(n) prime?
True
Let t be ((-2)/(-6))/((-1)/(-12)). Suppose -4*n + 2*h = 11 - 33, t*h = 2*n - 14. Suppose -n*z + 57 = -68. Is z composite?
True
Let h = 877 - 519. Suppose 5*b = -d - 0*d + h, d + 210 = 3*b. Suppose p = b + 56. Is p a composite number?
False
Suppose 3*v = -0*v + 1812. Let q = -401 + v. Is q composite?
True
Let u be -1 - -1*4*2. Let n be u/(-21)*(-3)/1. Let x = n + 32. Is x prime?
False
Let c be (3/(-6) + 0)*2. Is (-5)/(-10)*(-1814)/c a composite number?
False
Is (3352/(-20))/((-4)/70) prime?
False
Suppose -44 = -2*u + 2*q, -3*u + 42 = -u - q. Let v = -1 - u. Let p = v - -74. Is p prime?
True
Suppose 138 = -2*o + 5*d + 1, 5*o + 360 = -5*d. Suppose 2*v + 39 = 3. Let h = v - o. Is h prime?
True
Suppose -5*b = 2*p - 0*p + 6, -5*b + 3*p + 9 = 0. Suppose 2*k + 2*k = 12. Suppose 3*i + 5*c = 17, b*i - 5*c = -k*i + 67. Is i a composite number?
True
Is ((-1163)/(-1))/(15 - 14) a prime number?
True
Let g = 309 + -183. Let x = 260 - g. Is x composite?
True
Let o(i) = -i - 4. Let m = 8 - 15. Is o(m) a prime number?
True
Let z(i) = 31*i**2 - 4*i. Is z(3) a composite number?
True
Let y be (-26)/(-6) - ((-11)/3 + 3). Suppose -2*b + 12 = 2*b, -3*b - 391 = -5*u. Suppose -c + 577 = -3*s + u, y*c + 5*s = 2485. Is c composite?
True
Is -1 + 10/4 + 1146/12 a prime number?
True
Let g(q) = q + 1. Let x be g(-5). Let u be -2 + x/(-1) - -169. Suppose -n + u = 2*n. Is n composite?
True
Suppose -2*i + 4*u = -0*u - 494, -3*i + 781 = 2*u. Is i a prime number?
True
Suppose -x + 0*x = 0. Suppose 3*j + x*j - 15 = 0. Suppose 18 = j*o - 17. Is o a prime number?
True
Let j be (82 + 0)*(1 + 0). Let m = j - 47. Is m a prime number?
False
Suppose -5*y = h, 5*h + 3*y + 0*y = -44. Let p be (-12)/h*10*-19. Is (2/(-3))/(8/p) prime?
True
Let j be 14/(-8) - 2/8. Let h(k) = -13*k**2 + 2*k - 2. Let r be h(2). Is 3 - r*j/(-2) composite?
False
Let a(t) = t**3 - 5*t**2 - 8*t + 9. Suppose -3*q + 2*i + 41 = 12, -3*q = 3*i - 9. Is a(q) composite?
True
Suppose -4*m - 11 + 27 = 0. Let v = -1 - -1. Suppose m*w + 48 - 204 = v. Is w a composite number?
True
Let j = -84 - -22. Let c = j + 115. Is c composite?
False
Let p(o) = 15*o + 44. Let n(w) = -15*w - 43. Let b(u) = -5*n(u) - 4*p(u). Let z(q) = -3*q - 8. Let t(m) = 2*b(m) + 11*z(m). Is t(-7) a prime number?
True
Let g = 0 - -3. Suppose -3*l + 2*u = -251, -l = -3*u + 4*u - 82. Suppose l + 46 = g*w. Is w a composite number?
False
Let k(c) = -5*c**2 + 12*c - 12. Let o(u) = 3*u**2 - 8*u + 8. Let n(p) = 5*k(p) + 8*o(p). Let s be (2 - 1)/(1/(-3)). Is n(s) prime?
True
Suppose -3*s = 2*s - 10. Is s/(-6) - (-2758)/21 prime?
True
Suppose 4*u - 840 = -64. Is u composite?
True
Suppose -5*y + 4*y = 0. Suppose -f = -i - 61, y = 5*f - 3*i - 113 - 196. Suppose 0 = 4*k + 7 - f. Is k a prime number?
False
Suppose 3*n = 5*t - 738 - 4060, -1921 = -2*t + 3*n. Is t a prime number?
False
Is 6/(-4) - (-1961)/2 composite?
True
Let s(l) = 5*l - 6. Let w be s(7). Let a(q) = -q - 25*q**3 - 2*q**2 - w*q**3 - q - 1. Is a(-1) a composite number?
False
Let u = -281 - -1444. Is u a composite number?
False
Let v(h) = -h**3 + h**2 + h + 1169. Let a(k) = -k**3 - 3*k**2 - 3*k - 2. Let x be a(-2). Is v(x) prime?
False
Let i(r) = r**3 + 6*r**2 - 2*r - 9. Let j be i(-6). Let o(h) = h + 1. Let z be o(j). Suppose 6*m - z*m = 238. Is m prime?
False
Let w = -350 - -747. Suppose 5*g - w = k, -168 = -3*g + g + 5*k. Is g a composite number?
False
Let z be (-2)/8 - (-2380)/(-16). Let h = -52 - z. Is h composite?
False
Suppose -10 = -d + 2*w, -d + 3*w = -0*d - 13. Suppose d*y - 4 = 3*g, g - 3*y = 4*g - 24. Suppose g*s - 504 = 4*k, -5*s = -3*k + 2*k - 634. Is s composite?
False
Let b(d) = -d + 5. Let q be b(0). Suppose -5*o = -q*u - 9 - 11, 5*o = -3*u + 4. Suppose o*r - 29 = -i + 6, 5*r - 50 = 5*i. Is r prime?
False
Let i = 107 + 62. Is i composite?
True
Let z(v) = 19*v + 13. Is z(10) prime?
False
Suppose 2*s = 5*x - 193, -3*s - 37 = -4*x + 123. Is x a prime number?
True
Suppose 0 = -4*j - 0*j - 5*t + 197, 2*t = 10. Suppose 3*q - j = 113. Suppose -c = 3*c - q. Is c a prime number?
True
Suppose -2464 = 3*v + 2*g - 0*g, -2*g + 2468 = -3*v. Is 4/(-18) - v/54 a prime number?
False
Let j = -20 + 41. Let p = 35 - j. Suppose -p = u - 3*u. Is u composite?
False
Let i be (3/(-6))/(2/(-8)). Suppose 2*r - i*g + 26 - 232 = 0, -5*r - g + 509 = 0. Suppose 3*h + r = 3*z, 3*z + 2*h - 127 = -0*z. Is z composite?
True
Let f(k) = 1180*k**2. Let r be f(1). Suppose 4*h - r = -0*h. Is h composite?
True
Let i(k) = k + 7. Let j be i(-13). Let m be 72/6*4/j. Let b(c) = c**3 + 8*c**2 - c + 3. Is b(m) prime?
True
Suppose -f + 1973 = 5*p, 8 = -2*p - 0. Is f a prime number?
True
Suppose 4*u + 38 = 3*o - u, 0 = o - 5*u - 26. Let v = 8 - o. Is (-39)/(-2)*v/3 prime?
True
Let q(b) be the third derivative of b**5/20 + b**4/3 + 5*b**3/3 + b**2. Let u be q(8). Suppose -4*p = -3*m + u, m + 4*p = -m + 204. Is m prime?
False
Suppose 2*f - 428 = -5*l, -3*f + 2*l + 414 = -f. Is f a composite number?
True
Let a = 38 + 160. Suppose -83 + a = 5*y. Is y a composite number?
False
Let a = 2 - -1. Suppose 2 + 1 = a*r. Is ((-1110)/20)/(r/(-2)) a prime number?
False
Suppose -2*y + 267 = -j, -3*y - 2*j = j - 378. Is y composite?
False
Is -4 - (-1)/(3/1341) a prime number?
True
Let w = 968 + -197. Is w a composite number?
True
Suppose -2*u = u - 9. Suppose 0 = -u*m - 19 + 130. Is m a prime number?
True
Suppose 41 + 34 = 3*w. Suppose 5*l + w = 10, -n + 11 = 5*l. Is n prime?
False
Let g = -6 + 8. Suppose g*y - y = 729. Suppose -3*s - 727 = -4*x, 0 = -2*x - 2*x + 5*s + y. Is x a prime number?
True
Suppose 0 = 3*l - 2*w - 548, -l - 2*w + 166 = -6*w. Let j = l - -149. Is j a prime number?
False
Let o(q) = q**3 - 13*q**2 - 15*q + 6. Let f(v) = 4*v**3 - 53*v**2 - 60*v + 24. Let a(c) = -2*f(c) + 9*o(c). Is a(13) a prime number?
True
Let m(w) = w**2 - 166. Let q be m(0). Let r = q - -285. Is r a prime number?
False
Let b(k) be the first derivative of -4*k**3/3 + k**2/2 + k + 1. Let t(c) be the first derivative of b(c). Is t(-1) a composite number?
True
Let t(h) = h**3 + 7*h**2 + 10*h + 6. Let o be t(-5). Suppose 3*y + 15 = 75. Is (y/(-6))/((-2)/o) a composite number?
True
Is (2 + -644)/(-2 - 0) prime?
False
Let b = 1495 + -752. Is b prime?
True
Suppose 0 = 2*y - 728 - 804. Let q = y - 459. Is q a composite number?
False
Let q = 7 + 8. Let k(l) = 2*l**2 + l - 1. Let r be k(1). Suppose -r*o + 42 = 4*g, o + q = -2*o. Is g a prime number?
True
Is (3/((-9)/1082))/(36/(-162)) a prime number?
False
Suppose -57 = -s - 2*s. Is s a composite number?
False
Suppose -14 = -3*g - 2*f, 5*g - 8 - 13 = -f. Let c(j) = 5 - g + 0 + 20*j + 4. Is c(9) a prime number?
False
Suppose -181 = -3*t + 173. Is t a composite number?
True
Suppose n - 14 = 2*c, -c - 5*n + 5 = 1. Let i(t) = -18*t + 10. Let p(y) = 1. Let w(o) = i(o) - 3*p(o). Is w(c) a prime number?
False
Let w = 193 + 30. Is w composite?
False
Let b(s) = 6*s**3 + 9*s**2 - 6*s + 2. Is b(7) a prime number?
True
Let f = -5 - -10. Suppose 0 = -3*t + f*v + 868, -47 = 5*t 