. Is o a prime number?
False
Let r = -76 - -159. Is r composite?
False
Is 596 + -2 + (-3)/(-1) a prime number?
False
Let f(z) = -7*z - 3. Is f(-7) composite?
True
Suppose -4*m = -6*m - 3*p + 357, -m + 174 = 3*p. Suppose -8 = t + m. Let s = 426 + t. Is s prime?
False
Let j = 15 - -4. Is j a prime number?
True
Let r be ((-554)/(-8))/(4/(-16)). Let j = r + 500. Is j composite?
False
Let c(d) = 2*d**2 + 16*d - 7. Is c(-12) prime?
True
Suppose 0 = -3*m - 72 + 354. Is m composite?
True
Let y = -4 - -4. Suppose y = 3*w - c - 197, -4*c = 2*w - 26 - 96. Is w composite?
True
Suppose 2*l - 220 = -0*l. Let z = 3 + l. Is z a composite number?
False
Let d(p) = -p**2 - 9*p - 8. Let a be d(-8). Let v be 2*2/(2 - a). Suppose 5*b = -y + 106, b = 5*b + v*y - 80. Is b composite?
True
Let w(p) = -p**3 + 3*p**2 + 5*p - 6. Let y be w(4). Let h be ((-3)/(-6))/(y/(-316)). Suppose -5*m + h = -36. Is m a composite number?
False
Suppose 0 = -3*z + 6 + 15. Let p = -11 + z. Is (-4 - -230)*(-2)/p a prime number?
True
Let b = 19789 + -10904. Is b prime?
False
Suppose 5*m = -5*c + 8400, -3*c = -4*m - 2*c + 6715. Is m a prime number?
False
Let s = -168 + 670. Suppose 0 = -2*t - 2*g + s, 0*t + 753 = 3*t - 3*g. Is t a prime number?
True
Let v(g) = -56*g**3 + 3*g**2 + 3*g + 3. Is v(-2) a prime number?
True
Let y be 0 - (-47 - 1)/4. Let b = 52 - 29. Let o = b - y. Is o prime?
True
Let s(i) = 85*i**3 - 3*i + 5. Is s(3) composite?
True
Let u = 262 + -120. Is u prime?
False
Suppose 0 = -4*b + 19 - 3. Let h be b - -7 - (-1 + 3). Let y = h - -14. Is y prime?
True
Let m(w) = -2*w**3 - 4*w**2 + 3*w - 6. Let l be m(-6). Let s = -179 + l. Is s a prime number?
False
Let a be (-3)/(-6) - 6/4. Is 55 - (a - 0) - 1 composite?
True
Suppose 0 = -3*b + b. Suppose -3*a + 974 - 179 = b. Is a a composite number?
True
Suppose -2*k = r - 7179, k - 4*r - 17915 = -4*k. Is k prime?
False
Let b(u) = u**3 + 2*u**2 - 3*u - 5. Suppose -5*y + 104 = 4. Suppose -3*a = -3*f + f - y, -3*a + f = -16. Is b(a) prime?
True
Suppose 3*f = f - 390. Let a = -98 - f. Is a composite?
False
Let t be 5/20 - (-14)/8. Suppose -5*v = -2*h - 297, 4*v - 153 - 81 = -t*h. Is v composite?
False
Let y(i) be the second derivative of -i**6/144 - i**5/20 + i**4/4 - 3*i. Let s(f) be the third derivative of y(f). Is s(-5) a prime number?
True
Suppose 0 = -7*x + 4*x + 465. Let l = x - -6. Is l composite?
True
Suppose 0*i = 9*i - 10359. Is i a composite number?
False
Let i(h) = -h - 5. Let q be i(-4). Let y = q - 23. Let p = y - -59. Is p composite?
True
Let g = -76 + -300. Let f = -127 - g. Suppose 0 = -4*c + c + f. Is c a composite number?
False
Suppose 0*n = 4*n - 1388. Is n composite?
False
Suppose p - 3*p = -6. Suppose -m + 2*u = m - 46, -m - p*u + 7 = 0. Is m a composite number?
False
Suppose -3*w = -6*w - 3*f - 3, 2*f + 11 = w. Suppose 0 = -o + 6 - w. Suppose o*b - 879 = -0*b. Is b prime?
True
Let w be (-3 + 1)*1*-1. Suppose 0 = -2*p + 2*x + 74, 73 = 2*p + w*x - 3*x. Let a = p - 3. Is a composite?
True
Let h(i) = 2*i**2 - 1 + 2 - 2 + 10*i + 0. Is h(-8) prime?
True
Suppose 0*u - 3*u + 10 = 5*a, 4*u - 5 = -5*a. Let r(f) = 18*f - 1. Let m(b) = -35*b + 3. Let p(z) = u*r(z) - 2*m(z). Is p(-6) a prime number?
False
Let g = -2 + 2. Suppose g = 4*v - 67 - 9. Is v composite?
False
Let d = 414 - 49. Suppose -5*a + 5*h + d = 0, 2*h = 2*a + 2*a - 300. Suppose 0 = 2*z - 4*z - 5*j + a, 170 = 5*z + 5*j. Is z a composite number?
False
Let z = 88 - -71. Is z a composite number?
True
Let o(a) = -a**2 - 7*a. Let n be o(-6). Let x = n - -13. Is x prime?
True
Let i(w) = w**3 + 3*w**2 - 3*w - 6. Is i(5) a composite number?
False
Let f = 1445 + -978. Is f prime?
True
Suppose -12*s + 23418 = -6*s. Is s composite?
True
Let a be 52/6 - 8/12. Let h = 45 + a. Is h a composite number?
False
Suppose -3*d + 212 = -7*d. Let y = -16 - d. Is y a prime number?
True
Suppose -2*c - 5*s = -839, 0*c + 2*s + 832 = 2*c. Is c a composite number?
True
Let n = 3 + -3. Suppose -2*j + 2*m - 4 = 6, -j - m + 1 = n. Let h = 28 + j. Is h composite?
True
Suppose -2*q + 3 = -3. Let d be ((-1)/2)/((-4)/40). Suppose q*a - 57 = -3*l, -4*a + d*l = -3*a - 43. Is a a prime number?
True
Suppose 5*i - 1 = 19. Suppose 5*d + 20 = 5*l, 2*l - i*d - 3 = 5. Suppose -7*m + l*m + 45 = 0. Is m composite?
True
Suppose -2*d = n + 17 - 8, 5*d = -5*n - 35. Let q(a) = -4*a**2 + 2*a - 1. Let t be q(1). Is (t - (0 + d))*-127 a prime number?
True
Is (-6)/((-6)/2) + 689*1 composite?
False
Let t(f) = 126*f**2 + 4*f + 5. Is t(3) a prime number?
True
Suppose 3*n + 10 - 40 = 0. Suppose k + n = -q, 3*q - 1 + 11 = k. Let l = 106 - k. Is l a composite number?
True
Is (-2374)/(-6) - 20/(-15) prime?
True
Let w(a) = 4*a + 2. Let r be w(2). Let t = 201 + r. Is t a composite number?
False
Suppose -2*k + 36 = k. Suppose -k = -4*x + 64. Is x composite?
False
Let k(c) = 2*c**2 + c. Suppose 15 = 4*d + 3. Let p be k(d). Suppose 2*n - p = -n. Is n a prime number?
True
Let k(y) = y**3 + 4*y**2 - 3*y - 11. Is k(5) composite?
False
Let x = -23 - -18. Is (-1077)/(-4) + x/20 a prime number?
True
Let a = -1 - -6. Let o be (-1)/a - 528/(-40). Is 1/((-12)/o - -1) prime?
True
Let x be (-2 + (-20)/(-8))*4. Is -1 - -75 - 0/x prime?
False
Let s(g) = -10*g**3 - 5*g**3 - g**3 - 4*g**3 - 1 - 2*g. Is s(-1) a prime number?
False
Suppose 4*m - 2*o - 22 = 0, 2*m + 4*o - 36 = -0*o. Suppose -7*d + m = -3*d. Is 1656/30 + d/(-10) a composite number?
True
Suppose -4*c - 16 = -4*z, 5*z + 3*c + 21 = 65. Let u = z - 4. Is (14/6)/(1/u) a composite number?
False
Suppose -c - 332 = y - 4*y, -4*c - 20 = 0. Is y prime?
True
Let r = -284 + 753. Is r composite?
True
Let l = 152 + -97. Is l a prime number?
False
Suppose 0 = -2*l - 2*c + 172, 112 - 6 = l + 5*c. Let j = l - 56. Is j composite?
True
Suppose -8 = -2*u - 3*v - 2, -3*u + 9 = -v. Suppose -u*d + 60 = 2*d. Let x = 2 + d. Is x composite?
True
Suppose -4*w + 3267 = 415. Let h(o) = -o - 2. Let x be h(-4). Is w/9 - x/9 a composite number?
False
Let t be (2 + 33/6)*6. Is 30835/t - 4/18 a prime number?
False
Is (-382)/((3 - -3)/(-3)) a prime number?
True
Let l = 1125 + -718. Is l prime?
False
Suppose -c = c - 8. Suppose -5*r + c*r = -31. Is r prime?
True
Suppose 0 = -2*j + 3*j - 89. Is j prime?
True
Let w = -8 - -1. Let t(u) = u**3 + 6*u**2 - 7*u + 7. Let m be t(w). Let c(x) = 2*x + 5. Is c(m) a composite number?
False
Suppose 3*c - 5 = 4. Suppose -4*y + 0*y - 32 = -3*o, -7 = 2*o + c*y. Suppose 0 = 4*x - 5*u - 160, -4*u = o*x - 170 + 46. Is x composite?
True
Let l be -2 - (1 + -1) - 1. Let j = l - -24. Suppose d + 3 = 0, 4*o + 5*d - 24 - j = 0. Is o a composite number?
True
Let h = -5 - 1. Is ((-15)/h - 3)*-28 a composite number?
True
Let l be 3*2/6 + -2. Let s be -6 - 0/(2 + l). Let v(y) = y**3 + 7*y**2 - 3*y - 5. Is v(s) a composite number?
True
Let h = -10 + 6. Let g be (-14)/(-8) - 1/h. Suppose -g*s + 385 = 3*s. Is s a composite number?
True
Let q(v) = 2*v**2 + 3*v + 2. Suppose 3*a + 4 = a. Let f be q(a). Suppose f*x - 62 = 2*x. Is x a prime number?
True
Suppose b + 2*b = 864. Suppose -2*v + b + 2 = 0. Is v a composite number?
True
Let g be 3230/14 + 6/21. Suppose u + 2*u - h - 172 = 0, 3*h = 4*u - g. Is u composite?
True
Let p be (-12)/42 - 159/7. Is -5 + 2 + (1 - p) prime?
False
Suppose 0 = -2*m - 3*r + 8*r + 4, -m - 5*r = -17. Suppose z - 72 - m = 0. Is z a prime number?
True
Let p(k) = 17*k**2 - 2*k + 1. Let v(r) = -r**2 - 1. Let u(h) = p(h) - 3*v(h). Let x(z) = -z**2 + 1. Let s(j) = u(j) - x(j). Is s(2) composite?
False
Suppose 3*z - 6 = -3*r, -2*r + 4 = 5*z - 6. Suppose 4*m + 4 = 0, -c + 3*m = -1078 - 68. Is c/7 - z/7 prime?
True
Let p = 4 + 49. Is p a prime number?
True
Suppose j - f = -2, 3*j + 4 + 0 = 2*f. Suppose -2*m + 3*k + 1915 = j, m + 4*k = 2*m - 965. Is m a prime number?
True
Suppose 4*b + 0*b = -y + 136, -3*y + 357 = -5*b. Suppose 2*t + 2*t = y. Is t composite?
False
Suppose 4*z = 8, -2*t - z = -0*z - 196. Is t composite?
False
Suppose 3*y = -2*z - 2*y + 128, 291 = 5*z - 2*y. Is z a prime number?
True
Let f(v) = 2*v + 29. Is f(-7) a prime number?
False
Suppose 8 - 4 = -4*o. Let x be o/((-27)/24 + 1). Let p = 23 - x. Is p a composite number?
True
Let z(s) = 276*s**3 - 23*s**2 + 23. Let d(o) be the first derivative of -25*o**4/4 + 2*o**3/3 - 2*o - 1. Let l(r) = 23*d(r) + 2*z(r). Is l(-1)