?
False
Is 1/6 - (7791/(-18) - 6) composite?
False
Let a(q) = 44*q**2 + q - 2. Let z be a(2). Suppose h - 532 = -z. Suppose -2*t = 2*t - h. Is t composite?
False
Let h(t) = -2*t**3 - 3*t**2 - t - 11. Is h(-6) a prime number?
False
Let c(o) = 2*o**3 - 4*o**2 + 4*o - 2. Suppose 5*j + 0 = 10. Let q be c(j). Suppose q*p - 185 = p. Is p composite?
False
Let d = -226 + 607. Is d composite?
True
Let h(w) = w**3 - w + 4. Let g be h(0). Let n(u) = -2 - 3*u + u**2 + 3 + g*u**3 + u - 3*u**3. Is n(3) prime?
True
Let r(n) = n**2 + n - 7. Let q be r(-8). Suppose 2*z = z - q. Let k = 104 + z. Is k a composite number?
True
Suppose -3*h + 74 = -3*o + 584, 502 = -3*h + o. Let a be ((-415)/(-15))/((-3)/(-27)). Let b = h + a. Is b a composite number?
False
Suppose 3*v = c - 152, -5*c - 2*v + 35 = -657. Suppose 0 = 2*f - 6*f + c. Is f composite?
True
Suppose 2*c + 4*k - 506 = -0*c, 0 = -4*c - 2*k + 1030. Is c composite?
True
Suppose -4*g - 1 + 9 = -4*o, 2*g = -o + 4. Suppose -g*j + 2*r = -52, j + 4*r - 41 = 10. Is j a prime number?
True
Let x be 6/15 - 24/(-15). Let p(n) = -n**3 - n**2 - n + 3. Let z be p(0). Suppose 0 = -z*u - x*u + 325. Is u a prime number?
False
Let s = -11 - -2. Let f(j) be the first derivative of j**4/4 + 11*j**3/3 + 7*j**2/2 - 12*j + 1. Is f(s) prime?
False
Let r be (-2)/(-3) + (-4)/6. Suppose m = 3*d - r*d - 288, -500 = -5*d - 5*m. Is d a prime number?
True
Let z(i) = 5 - i**3 + 4*i**2 + 5*i - 1 - 3. Let b be z(5). Suppose -2*c + b = -21. Is c a prime number?
True
Let n(s) = 7*s - 3. Let w(h) = h**2 + 13*h - 5. Let y(u) = -11*n(u) + 6*w(u). Let x be y(-5). Suppose -5*b + x + 187 = 0. Is b prime?
True
Let m(g) = 151*g**2 + 2*g - 4. Is m(3) a composite number?
False
Let q(p) = -p**3 - 1 - 8*p**3 - 2*p + 3*p**3 + 0. Is q(-3) prime?
True
Suppose -1902 = -4*r + 2*r. Suppose -3*z + 410 + 151 = 3*m, r = 5*z + m. Is z a composite number?
False
Is 298/((1 - 6/2) + 4) prime?
True
Let a(x) = 4*x**3 - 3*x**2 + x - 2. Let f be a(5). Suppose -3*t - 71 + f = 0. Is t composite?
True
Let w = 0 + 5. Suppose -w*y = -2*v + 30, 0 = -4*v + y - 0*y + 78. Suppose 8*l = 3*l + v. Is l a prime number?
False
Let t(f) = 45*f - 37. Is t(16) composite?
False
Let d be (14/10)/(6/30). Suppose -2*l = -d*l + 455. Is l prime?
False
Let t be (-2)/(-5) - 253/(-5). Suppose -4*w = -2*r - 233 + 35, 2*r = w - t. Is w prime?
False
Let n = 333 - 236. Is n composite?
False
Suppose -d + 5*d + 64 = 0. Let w = d - -22. Is w composite?
True
Let i(t) = -29*t - 6. Let g(w) = -57*w - 11. Let q(m) = 3*g(m) - 5*i(m). Let a be 1/2*-2*2. Is q(a) a prime number?
False
Let p(v) = -v**2 - 9*v - 7. Let x be p(-7). Let l be (-2)/(-4)*(x - -165). Let m = l + -51. Is m a prime number?
False
Let r(j) = -8*j - 8. Let h be r(-8). Suppose 2*y - h = 54. Is y a composite number?
True
Let s(k) = -k**2 + 12*k. Suppose 2*x - 5*n - 1 = -4*n, n = 3. Suppose x*j + 4 = -5*d + 28, 2*j - 3*d - 8 = 0. Is s(j) composite?
True
Let w(o) = 4*o**2 + 10*o - 1. Is w(-9) composite?
False
Suppose o + 2 - 5 = 0. Is 37/(-1)*(-3)/o composite?
False
Suppose q - 79 = 4*c, -5*q + 95 = -5*c - 225. Is q prime?
True
Suppose -f - 2 + 3 = 0. Let l(g) = 0 + 6*g + 63*g + f. Is l(2) composite?
False
Let s(g) = 19*g**3 + 4*g**2 - 10*g + 3. Is s(4) a prime number?
False
Suppose -d + 2*d - 5 = 0. Is -2 + 46 + d + -2 prime?
True
Suppose 2*z - 2*r - 432 = 0, 2*z + 3*r - 47 = 360. Is (z - -1) + -1 + 0 a prime number?
True
Suppose -a - 2*g + 144 = -3*g, a - 148 = -3*g. Let i = a + -102. Is i composite?
False
Let t(g) = 3*g - 5. Let s be t(6). Suppose f + 2*r = 17, -f + s = -0*f + 4*r. Is f a prime number?
False
Suppose -7*h + 2*h - v + 29 = 0, -2*v - 2 = 0. Is (-4 - 22)*h/(-4) a composite number?
True
Let j = -222 + 911. Is j a prime number?
False
Suppose -3*g + 414 = 3*y + 72, -5*g - 4*y = -575. Is g prime?
False
Let v(i) = -4 - 3*i**3 - 6*i - 1 + 2*i**3 + 5*i**2 + 4*i**2. Is v(6) composite?
False
Let q be 6/27 - (-116)/(-36). Is (-26)/(4*q/30) composite?
True
Suppose 0 = 2*o + 2*o - 508. Is o a prime number?
True
Suppose -2*g + 11 = c - 1, 4*g - 18 = c. Suppose c*b + 464 = 6*b. Suppose 33 = -w + b. Is w prime?
True
Suppose 27 = 5*w + 2. Suppose -p + 5*j = p - 25, 3*p = w*j + 25. Let i(b) = -b**2 - b + 35. Is i(p) a composite number?
True
Let m(v) = -3*v - 3. Let o be m(-6). Suppose -3*n + o + 6 = 0. Is n prime?
True
Suppose 2*z + 4*d = 6, -5*z - d + 4*d = -15. Suppose 0*g - z*g + 213 = 0. Is g a prime number?
True
Let v(t) = 6*t**3 - 2*t**2 - 17*t - 13. Is v(6) a prime number?
True
Let c(k) = k**2 + k + 113. Is c(0) prime?
True
Is (1 - 2385 - 5)*-1 composite?
False
Suppose -4*k = 2*m - 62 - 40, m = 4*k + 51. Is m a composite number?
True
Is (140/(-6))/((-8)/12) prime?
False
Let w(a) be the first derivative of a**5/60 + 49*a**3/6 + a**2/2 + 2. Let g(o) be the second derivative of w(o). Is g(0) a composite number?
True
Let s be (-7)/(-3) - (-10)/15. Suppose -r - 20 = 4*r. Let x = s - r. Is x a prime number?
True
Let o = 986 + 228. Is o a prime number?
False
Let c(i) = i**2 + 2*i - 2. Let u be c(2). Let n = -2 + u. Is (-10)/(0 - n/6) a composite number?
True
Suppose -5*y = -0*y + 5*w - 1375, y + 4*w = 287. Suppose 0 = 5*v - y + 36. Let q = v - 12. Is q composite?
True
Suppose -2*y + 62 = -0*y. Is y a composite number?
False
Let u = -10 + 7. Is (-1111)/u - (-8)/12 composite?
True
Is (-1 - -2)/(5 - 16842/3369) prime?
True
Suppose -110 = -0*l - 2*l. Suppose -f + l = -0*f. Is f composite?
True
Suppose 2*t - 7*t + 2*r + 10275 = 0, 4*t - 2*r - 8222 = 0. Is t composite?
False
Let m(x) = 80*x**3 + x**2 - 5*x + 7. Is m(2) prime?
True
Let p(z) = -19*z + 2. Let g be p(-2). Suppose g = v + v. Suppose 37 = 3*y - v. Is y a prime number?
True
Suppose 0 = 5*d - 2*x - 23, 4*d + 6 = 3*x + 23. Let r = 14 - d. Suppose 3*v = 2*v + r. Is v prime?
False
Let y(b) = b**2 + 4*b - 1. Let c be y(8). Suppose 0*w - 5*w = -c. Is w a composite number?
False
Suppose 0 = -4*a - 0*a + 308. Is a prime?
False
Let c = -324 + 211. Let i = c - -245. Let p = i - 55. Is p a composite number?
True
Let x = 2806 + -1388. Is x composite?
True
Let u = 212 - 9. Is u prime?
False
Suppose 0 = -n - 0*n - 2. Let p = 4 + n. Suppose 0 = j + 5*b - 32, 3*b = p*j + 7*b - 82. Is j a composite number?
False
Let g(c) = -77*c**3 - c**2 + c**2 - 2*c - c - 2 - c**2. Is g(-1) a prime number?
False
Is 4*59/8*2 prime?
True
Let c be (3/6)/((-3)/(-36)). Let k be 4*(345/c + -2). Suppose 5*a - 203 - k = 0. Is a a prime number?
False
Suppose -4*l - 419 = -3*q + 146, -170 = -q + 5*l. Let x = -80 + q. Is x a prime number?
False
Suppose 0 = -8*q + 11*q - 7113. Is q a composite number?
False
Let h be 635 - ((-3)/(-1) - 4). Suppose x + h = 5*x. Is x a prime number?
False
Suppose f = -0*f + 3. Suppose 0*i + 66 = f*i. Is i composite?
True
Let c = 0 - -1. Suppose 3*k = 3, -5*h + 0*k = k - c. Suppose h*f + 50 = 2*f. Is f a prime number?
False
Suppose -5*v - 30 = m, -4*m + 13 = -5*v + 208. Let x = 79 + m. Is x a prime number?
False
Let u = 2 - -3. Suppose -2*z - 2*y = -192, 4*z = 8*z - u*y - 339. Is z prime?
False
Suppose -4 = -5*j + 6. Suppose -j*s - 361 = -17. Is s/(-5) + (-6)/15 a composite number?
True
Suppose 3*l = -l + 2*c + 2366, 0 = -5*l - 4*c + 2938. Suppose 6*h - l = h. Is h composite?
True
Suppose 3832 = 16*q - 8*q. Is q prime?
True
Is ((-3 - 4) + 4)*(-282)/9 a composite number?
True
Let t = -28 + 59. Is t composite?
False
Let j = -207 - -916. Is j a prime number?
True
Suppose 8*l - 3*l - 15 = 0. Suppose -f - 4 + l = 0. Is 0 - -12 - -1 - f composite?
True
Suppose w = u - 0*u - 9, 17 = 3*u - w. Suppose -3*q + 163 + 562 = u*x, -2*q + 480 = 2*x. Is q prime?
False
Let k(n) be the first derivative of 25*n**3/3 - n**2 + n - 4. Is k(2) composite?
False
Let s(n) = n**3 + 11*n**2 + 6. Let x be s(-8). Is x/(-12)*4/(-6) a prime number?
True
Let b(l) = -l**3 - 11*l**2 - 9*l + 13. Let h be b(-10). Suppose h*g + g = 596. Is g a composite number?
False
Suppose 4*n - 53 - 887 = 0. Is n prime?
False
Suppose -15 = -3*v - 6, m + 2*v = 1977. Let r be (1 + -2)/(3/m). Is (-2)/7 - r/21 a prime number?
True
Let v(c) = 2*c. Let b be v(4). Let n be b + 2*(-1 - 0). Suppose -h = -n*h + 175. Is h prime?
False
Suppose -d - 5 = 2*w + 1, d - 2*w - 6 = 0. Suppose d = b + 3*b - 268. Is b a prime number?
True
Suppose 0 = -o + 3, 0 = 4*h - h + o -