s v prime?
True
Suppose -2*b + 0*b = -4*m + 6, -4*m = -4*b. Suppose 0*s = 4*v + s - 503, m*s = -15. Is v prime?
True
Suppose -3*f + 2*w = 19, -w - 1 = 3. Is (-2)/f + 5705/45 a composite number?
False
Let n = -51 - -77. Suppose -2*d - n = -2*u + 18, -3*u - 5*d = -98. Suppose -2*o = -12 - u. Is o composite?
False
Let p = -1 - -4. Suppose 0 = -0*f + p*f + 6. Is (-42)/f - (-1 + 0) a composite number?
True
Suppose -3*h + 4*c = -571, 3*h - 4*c = 2*h + 201. Suppose 2*p + 5*l - 206 - h = 0, 2*p - 403 = -l. Is p a composite number?
True
Is -967*(4*(-2)/4)/2 a prime number?
True
Suppose -5*b + 8*b - 4404 = 0. Suppose -3*o - o = -b. Is o a prime number?
True
Suppose 0 = -2*j + 5*j - 9. Suppose -4*c - j*m + 221 = -3*c, -5*c = m - 1105. Is c composite?
True
Suppose -i - 285 = -x, 2*i + i + 1435 = 5*x. Suppose 0 = 2*y - 5*r + 216, r = -2*y - y - x. Let j = -61 - y. Is j a composite number?
False
Suppose -2*c + s = 4*s - 1194, -1198 = -2*c - 2*s. Suppose -c = -k - 2*k. Is k a prime number?
False
Let u = 47 + 22. Suppose -a = -4*a - u. Is a/(-3) + 4/(-6) composite?
False
Let h(o) = -o**3 + 4*o**2 + o + 3. Let u be h(3). Let j = 11 - u. Let y(l) = -36*l - 5. Is y(j) prime?
True
Suppose 5*y - 2389 - 1596 = 0. Is y a prime number?
True
Let f(z) = -55*z - 7. Is f(-4) prime?
False
Let g = 203 - 69. Is g a prime number?
False
Let v(d) = -3*d**2 + 4*d - 1. Let w be v(5). Let b = 89 + w. Is b prime?
False
Suppose -12*r = -4*r - 12968. Is r a prime number?
True
Let m(k) = -k - 1. Let v be m(-6). Suppose -63 = -v*a + 52. Is a a composite number?
False
Suppose 3*b + 4*u - 11 = 0, 0 = -5*u + 2*u - 3. Suppose 2*c - 4 = -0*c. Suppose c*a = b*a - 66. Is a prime?
False
Suppose -45 - 7 = -4*p. Let v = p - 6. Is v prime?
True
Let b be (4 + -2 + -3)*-4. Suppose 153 = b*q - 75. Is q a prime number?
False
Let z(g) = g - 2. Let f be z(2). Suppose -348 = -4*m - f*m. Is m a composite number?
True
Let k be (-66)/((4/(-6))/1). Let b = -62 + k. Is b composite?
False
Suppose 2*z = 5*z - 15. Let l = 8 - z. Let x(h) = 6*h + 1. Is x(l) prime?
True
Suppose 0 = 3*b + 26 - 359. Let q = b + -62. Is q a composite number?
True
Is -22*((-26)/4 + 4) composite?
True
Suppose 6*y = 2*y - 8. Let b be y*(2 + 0) + -2. Is (-159 + 0)*2/b a prime number?
True
Let l(j) be the first derivative of 2*j**2 + j + 2. Let y be l(6). Suppose -5*r = -y, 5*k - 922 = 4*r - 127. Is k a composite number?
False
Let q(p) = -5 - p**2 + 3 - 1 + 6*p. Let j be q(4). Suppose 32 = 3*w - 2*k - 13, -j*w - 5*k = -50. Is w a prime number?
True
Let v = -16 - 104. Let m = 225 - v. Suppose -2*c = -7*c + m. Is c a prime number?
False
Let b(i) be the second derivative of 2*i - 1/2*i**4 - 9/2*i**2 + 1/20*i**5 + 0 + 5/6*i**3. Is b(6) prime?
False
Let r = 622 + -362. Let y = r - 145. Is y a prime number?
False
Suppose -3*p = -5*w - 5*p + 733, 5*p + 415 = 3*w. Let k = w - 76. Is k prime?
False
Let w(f) = 119*f**2 + f - 1. Is w(4) a prime number?
True
Suppose 2*j = 5*s + j - 11211, -3*s = 3*j - 6741. Is s a prime number?
True
Suppose 5 = 4*l - 19. Suppose 3*m - l = m. Is 194/m + 2/6 composite?
True
Let g(w) = -36*w**2 - w + 1. Let k(b) = 39*b**2 - 1. Let f(v) = 77*v**2 - 2. Let a(r) = -3*f(r) + 5*k(r). Let t(y) = -3*a(y) + 2*g(y). Is t(-1) composite?
False
Suppose 0*t + t = -5*f + 355, 0 = -4*f. Is t composite?
True
Is ((-21)/4)/((-108)/34416) composite?
True
Suppose 0 = 4*q - 6 - 14. Suppose -92 - 138 = -q*z. Is z prime?
False
Let p = 149 - 62. Is p a prime number?
False
Suppose 5*z = -5*s - 1075, 2*s + 3*z = 6*z - 410. Let o = -62 - s. Is o composite?
False
Suppose -4*h = -3*g - g - 8, 6 = 3*g. Suppose 4*s + 3*d - 466 = 5*d, -h*d = s - 103. Is s prime?
False
Is (7944/(-16))/((-6)/4) composite?
False
Let f(c) = -2*c**3 - 2*c**2 + 2*c. Suppose -6 = -2*x + 4*x. Let j be f(x). Let t = 37 + j. Is t composite?
False
Let j(k) = -5*k**3 - k**2 + 2*k + 3. Let i(f) = -f**2 + f. Let q be i(-1). Is j(q) a prime number?
False
Let i(g) = -3*g - 1. Let z be i(-2). Suppose 0 = z*y - 0*y. Suppose -5*r + f + 199 = 0, y*r - f + 35 = r. Is r a composite number?
True
Let n = -28 - -20. Let c = n + 12. Let w = c - -33. Is w a prime number?
True
Suppose 0 = w + 2*w - 2067. Is w composite?
True
Let x = 66 + 30. Suppose -15 = 5*a, 0 = 3*u + 3*a + x - 9. Let f = -15 - u. Is f composite?
False
Let f be -1*(3 + -2 + -2). Let a be 2/(-8) + f/4. Suppose a = -5*v + 5*k + 170, 7*k - 3*k - 102 = -3*v. Is v composite?
True
Suppose 0 = -3*a + 2*i - 2 - 2, -4*i - 14 = 5*a. Let q be (-3)/(a + 1) + 83. Suppose 2*v - 157 = 5*z, v + z + q = 2*v. Is v a prime number?
False
Let q(p) = -35*p**3 - p**2 + p + 1. Let g = 4 - 3. Suppose 0 = -2*u + u - g. Is q(u) prime?
False
Let y(p) be the second derivative of -p**4/12 + 4*p**3/3 - p**2 - p. Let d = -27 + 32. Is y(d) a prime number?
True
Let t be (-537)/(-12) + (-2)/(-8). Let m = -26 + t. Let v = -6 + m. Is v a composite number?
False
Is (0 + -2)/((-2)/65) a prime number?
False
Suppose -4*h + 3*h = -2. Suppose 0 = 4*d + d - 15. Suppose 0 = 5*n + h*g - 73, -d*g - 2 + 14 = 0. Is n a prime number?
True
Let l = -682 - -2973. Is l a composite number?
True
Suppose 0 = 19*x - 16*x - 951. Is x prime?
True
Suppose 301 + 377 = 6*b. Is b a prime number?
True
Let y(u) = 2*u**2 + 8*u + 3. Let o be 2 - (0 + -3 + 11). Let r be y(o). Let i = 50 + r. Is i prime?
False
Let r be -1*(-2 - -3)*-1. Is 257 - 1/r - -1 prime?
True
Suppose 12 = 3*m, -j + 3*m = -4*j + 120. Let g = 22 + -43. Let w = j + g. Is w prime?
False
Suppose -2*t - 3*t + 787 = -b, 0 = -2*b - 4. Is t a composite number?
False
Is (-152)/(-12)*(-6)/(-4) a prime number?
True
Let o = 0 - -3. Suppose 4*n + 0*h + o*h = 1215, 5*h = -5*n + 1520. Is n a composite number?
True
Suppose -3*s = h - 1898, -h + 1488 + 414 = -s. Is h a prime number?
True
Let q(d) = -44*d**2 + 18*d + 19. Let u be q(-13). Is (-2)/(-3) - u/21 composite?
True
Let v(b) be the third derivative of b**8/10080 + b**7/504 + b**6/80 - b**5/60 - 2*b**2. Let a(h) be the third derivative of v(h). Is a(-6) composite?
True
Suppose 3*n - 1066 = k, 5*k = 7*n - 2*n - 1770. Let y = -207 + n. Is y a prime number?
True
Let y be (-1 + 0 - -1)/1. Suppose 3*s - 5 + 2 = y. Is s/2 - 675/(-6) a composite number?
False
Let s be 1/4 - (-45)/12. Let v be -6*(-1 - (-2)/3). Suppose v*g - g = s*l - 49, -g + 3 = 0. Is l composite?
False
Let u = -168 + 247. Let c = u - 44. Is c a prime number?
False
Let t be (516/(-9))/(6/(-9)). Suppose z + 332 = 5*z + 2*d, -z = 2*d - t. Is z composite?
True
Let q be 12/(-4) + 0 + 1. Let w be 2/q*(-89)/1. Let v = -58 + w. Is v a prime number?
True
Suppose 0 = 8*u - 6*u - 638. Is u a composite number?
True
Let h = 138 + -86. Let y = -15 + h. Is y a composite number?
False
Let l(i) = i**2 + i - 613. Let o be l(0). Let d = -362 - o. Is d a composite number?
False
Is (-1673)/14*(-2)/1 a prime number?
True
Let k(r) = r**2 - 8*r - 7. Let f be 7/2*12/21. Let y be (f + -1)*-3 - -14. Is k(y) composite?
True
Suppose 2*a - 6 - 10 = 0. Let q(p) = p**3 - 8*p**2 + 12*p - 7. Is q(a) a prime number?
True
Suppose 3*v = -3*d, 5*v = -0*v + 2*d + 21. Suppose 0 = -v*m + 7*m + 3*r - 596, 0 = 2*r. Is m composite?
False
Let b = 0 + 12. Let a(h) = h**3 - 13*h**2 + 19*h - 17. Is a(b) composite?
False
Let q be 3/(1 - 41/44). Let j = q - 7. Is j composite?
False
Suppose -2*s + 4 = -2*o, 0 = -o + 6*s - 2*s - 8. Is 2/(o - 1) + 9 a prime number?
True
Suppose 3*z - 61 - 20 = 0. Let c = -1 + 5. Suppose -c*p + 295 = z. Is p a composite number?
False
Let j(x) = 35*x + 11. Is j(18) a composite number?
False
Let r be ((-6)/(-12))/((-2)/(-184)). Let j = -27 + r. Is j prime?
True
Let g = -13 - -31. Let j = g - 16. Is j a composite number?
False
Let w = 9 + -6. Let t be 1*-101 - (1 - w). Let c = 188 + t. Is c a composite number?
False
Suppose -1561 = -2*b + 749. Let q = b + -476. Is q prime?
False
Let b(q) = -10*q**2 + 4*q + 7. Let y(s) = 29*s**2 - 11*s - 21. Let p(n) = 17*b(n) + 6*y(n). Is p(-5) composite?
False
Suppose 0 = -2*n + 4*n - 10. Suppose -3*d - s + 99 = -2*d, -2*d + 198 = n*s. Let i = d - 68. Is i a composite number?
False
Let d(j) be the second derivative of 5/6*j**3 + 3/2*j**2 - 1/20*j**5 + 0 + 1/3*j**4 + 4*j. Is d(4) a composite number?
False
Let o = 8 - 5. Suppose -o*m + 148 = m. Is m a composite number?
False
Is ((-1074)/(-15) + 0)/((-4)/(-1