m = 212 - s. Is m composite?
True
Let d(f) = -8*f**3 - 7*f**2 - 4*f + 15. Is d(-10) a prime number?
False
Suppose -5304 = -8*t + 176. Is t a composite number?
True
Suppose -3*l - 10995 + 35292 = 3*j, l = 3*j - 24281. Is j prime?
False
Let r(l) = 3*l**2 - 6*l - 5 - l + 4*l. Let t(d) = 7*d**2 - 7*d - 9. Let j(f) = 5*r(f) - 2*t(f). Is j(6) composite?
False
Is -3 + (551 - (2 + -7)) composite?
True
Let u = -4 - -6. Let s(r) = 0*r - 4*r - 3*r**2 - r**u + r**3 + 7. Is s(6) a prime number?
False
Suppose 2*c + 2*o + 12 = -o, 0 = -3*c + 5*o - 37. Let s be 12/c*(-42)/4. Suppose 3*j + 4*a + s = 111, -5*j = -3*a - 181. Is j prime?
False
Suppose -3*g + 12 = -l, l = 4*g - l - 18. Suppose 7*z = g*z + 740. Suppose -v + 6*v = z. Is v composite?
False
Suppose -4*u = -3*d + 18, 2*u = 5*d - d - 34. Suppose 33 = o + d. Is o*(-2)/(-6)*3 composite?
False
Let v = 68 + 27. Is v prime?
False
Suppose -11 = 5*t + 14. Let d(l) = 10*l**3 + 3*l**2 - 4*l + 1. Let v(z) = 11*z**3 + 4*z**2 - 5*z + 1. Let o(f) = t*d(f) + 4*v(f). Is o(-1) composite?
True
Suppose 10*y + 574 = 12*y. Let v(o) = o**2 - 7*o + 8. Let z be v(6). Suppose y = z*a - a. Is a prime?
False
Suppose -3*s + 2*s = -2285. Is s composite?
True
Let n(s) = 15*s**2 + s + 7. Is n(4) a prime number?
True
Let t(k) = -20*k**3 - 56*k**2 - 51*k + 4. Let o(n) = 7*n**3 + 19*n**2 + 17*n - 1. Let i(r) = 17*o(r) + 6*t(r). Is i(-12) prime?
True
Let r be (-8)/3*12/8. Let a = r + 4. Suppose a = -0*p - p + 31. Is p a composite number?
False
Let j = -9 + 11. Suppose i + j*i = 75. Is i prime?
False
Suppose -l = 4*l. Suppose l = 4*h - 0*h - 48. Let b = h - 6. Is b a composite number?
True
Let f = -6 + 11. Let c(m) = 0 - f + 0 + m**2 - m. Is c(7) a composite number?
False
Suppose -2*v + 74 = -348. Is v composite?
False
Let g = 0 - 6. Let q be -53*(1*g)/2. Let s = -92 + q. Is s a prime number?
True
Suppose -17 = -2*i + 15. Suppose 5*h + i + 49 = 4*y, 4*h = -2*y. Is (-15)/y*(-74)/3 composite?
False
Suppose 0 = -h + 36 + 1685. Is h a prime number?
True
Suppose -4*x = 4*w - 3108, 4*w = -0*w + 3*x + 3094. Suppose -3*q = c - w, -q = -c - 2*q + 783. Is c a composite number?
False
Let b = 1210 - 479. Is b prime?
False
Let x = 9 - 0. Suppose 2*c - x = -1. Suppose -c*o - 5*g - 445 = -6*o, 2*o - 2*g - 460 = 0. Is o composite?
True
Is 7/(35/300) - 1 prime?
True
Let y(d) = -d**3 - 3*d**2 + 4*d + 4. Let r be y(-4). Suppose c + 490 = 3*c. Suppose r*n + 31 = 3*l - 116, 5*l = -2*n + c. Is l a composite number?
True
Let m(d) be the first derivative of -d**3/3 - 3*d**2/2 + 4*d - 3. Let k be m(-4). Suppose -4*p + 460 = -k*p. Is p a prime number?
False
Let x be (0 + -35)*(-8)/20. Suppose -x = 3*k - k. Is 2/k - 765/(-7) a prime number?
True
Let q(b) = -b**3 - 5*b**2 + 7*b + 9. Let w be q(-6). Is (-229)/(-4) + w/4 a prime number?
False
Let d(t) = 11*t**2 - 34*t - 19. Is d(18) prime?
False
Let j be -2 + 1 + 1 + 2. Let y(x) = 119*x - 3. Let d be y(j). Suppose -6*k + k = -d. Is k prime?
True
Let a(c) = c**3 + 7*c**2 - 7*c + 2. Let u(n) = -n**3 - 7*n**2 + 8*n - 3. Let g(y) = -7*a(y) - 6*u(y). Is g(-9) prime?
True
Suppose 3*n = -2*n. Suppose y - 8 - 7 = n. Suppose 5*p - y = 0, -6*k + k = -2*p - 119. Is k a composite number?
True
Suppose 3*i - a - 834 + 55 = 0, 0 = -5*a - 25. Let h = i + 49. Is h a composite number?
False
Let h = 27 - 18. Suppose 0 = 3*p, 0*p = -4*r + 2*p + 24. Let u = h - r. Is u a prime number?
True
Suppose -3*w = w - 28. Suppose 0 = w*f - 2*f - 335. Is f prime?
True
Suppose 0 = 3*i - i - 4. Let z be (-3 - -4) + i + -3. Is z - -54 - (6 - 3) a prime number?
False
Suppose 4*z = 5*m - 12, -3*z + 15 = 3*m - 3. Suppose 2*u + 254 = m*u. Is u prime?
True
Let k be 0 + 12 + -3 - 3. Is ((-60)/k)/(2/(-37)) composite?
True
Suppose 0*x - 300 = -2*x. Suppose 111 + x = 3*n. Is (-10)/(-3)*n/2 composite?
True
Suppose -3*c + 4 = -4*l, -3*l - 1 = -3*c + 5. Suppose 0 = -3*a + c*a + 34. Let w = a - -67. Is w a prime number?
False
Let w = 21 - 11. Suppose 2*b - 80 = -w. Is b composite?
True
Let g = -2428 - -3785. Is g a prime number?
False
Let n(x) = 45*x**3 - x**2 + 5. Let u(q) = 46*q**3 - q**2 + 4. Let v(j) = 3*j - 4. Let k be v(3). Let p(a) = k*u(a) - 4*n(a). Is p(1) a prime number?
False
Is (310 - 3)/(-8 + 9) composite?
False
Is 251 + 0 + (-2 - -2) a prime number?
True
Let v(u) = 339*u - 2. Is v(1) prime?
True
Let m = 6 - 6. Suppose 4*b - 820 = -m*b. Is b a prime number?
False
Suppose 5*k - 8259 = 5*v - 3*v, 3*k + v = 4951. Is k prime?
False
Suppose -15 = -3*x + 3. Let d = 5 - 1. Suppose -m - 5*y = -x + 4, 0 = -2*m + d*y + 18. Is m prime?
True
Suppose 17*u - 89 = 16*u. Is u a composite number?
False
Let l = -296 + 1914. Is l a composite number?
True
Let k(w) = w**2 - 9*w + 4. Let c be k(9). Let r = 7 - 5. Is 15/r*c/3 a prime number?
False
Suppose 3*x - 6212 = -x - 3*s, 3*x - 4659 = -2*s. Is x prime?
True
Let u(v) = -35*v + 2. Is u(-7) a composite number?
True
Let i(n) = -184*n + 5. Is i(-6) composite?
False
Let f(j) = -4*j**3 + 3*j - 7*j**2 + 5*j**3 + 2*j - 4. Let m be f(7). Suppose 0 = k + m - 78. Is k a prime number?
True
Is (-68 - -10)/(2/(-5)) a composite number?
True
Suppose -12*k + 10*k + 3122 = 0. Is k prime?
False
Let y(g) = g**3 - 7*g**2 + 5*g + 8. Let k be y(6). Suppose a = 5*n - 23, 4*a + 3 = n + 3*a. Suppose -2*w - k = 8, -n*x - 2*w = -65. Is x composite?
True
Suppose -2*x - 5 = -7*x. Let b(w) = 5*w**3 + w**2 - 2*w + 1. Let k be b(x). Suppose 4*a + 3*i - 31 = 3*a, -k*a = -2*i - 189. Is a prime?
True
Is (-7)/(42/(-444)) + 0 a composite number?
True
Let x = 11 - 6. Suppose -b = -x*k - 4 + 13, 4*b + 4*k = 84. Let i = b + -10. Is i prime?
False
Let a(f) = -2*f**2 + 7*f**2 + 6 + f**2 + f**2 + 4*f. Is a(-5) a composite number?
True
Suppose 6*t - t - 15 = 0. Let z be -4*(t/6)/(-1). Suppose -z*v = -723 + 49. Is v prime?
True
Let k(s) = s**3 - 4*s**2 - 9*s + 1. Let n(v) = -6*v - 6. Let o be n(-4). Suppose 3*d - o = -0. Is k(d) composite?
False
Let h = 18 + -201. Is (-2)/4 - h/2 prime?
False
Let y = -24 + 46. Suppose -c = 5*d - 25 - y, -d = -3*c + 173. Is c a composite number?
True
Let o(l) = -l + 5. Let q be o(0). Suppose 3*b - 2*p - 696 = p, -q*b - p = -1190. Is b a composite number?
True
Let c be (-4)/(-8) - (-5)/2. Let n(r) = -3*r**2 + 4*r**3 + 0*r**2 + 2 - 3*r**c + 2*r. Is n(4) composite?
True
Let b = 45 - -162. Suppose 8*o - b = 5*o. Is o a composite number?
True
Let y = -9 - -12. Is y a composite number?
False
Let o = -222 - -943. Is o a prime number?
False
Suppose m + 5*p - 34 = 0, m - 3*p - 14 = 44. Is m composite?
True
Let x(z) = z**2 + 7*z + 3. Let c be x(-5). Let v(y) = -y**3 - 4*y**2 - 3*y + 1. Let f be v(-4). Let m = f + c. Is m composite?
True
Let p(b) = -b**3 - 3*b**2 - 3*b. Let m be p(-2). Let h be (-1 - (-3 + 13)) + m. Let c = h + 35. Is c a prime number?
False
Suppose 2*j = 5*j - 6. Suppose -j + 20 = 3*t - r, 2*t = -4*r + 26. Suppose -t = -5*w + 318. Is w composite?
True
Suppose -4*j - 71 = -5*j. Is j composite?
False
Let i = -14 + 42. Is 711*(-2 + i/12) prime?
False
Suppose 162 = -5*v - 3*y + 1200, -3*y - 12 = 0. Let p be (v - 0) + -1 + -1. Suppose -20 = 5*m, -4*a - 2*m + p = -7*m. Is a a prime number?
True
Let z(t) = 2*t**3 - 6*t**2 + 6*t + 13. Is z(7) a composite number?
True
Suppose -3*w = 16 + 2. Let n be 2/w - (-10)/3. Let g(u) = 2*u**2 - 2*u + 1. Is g(n) prime?
True
Is 2510/14 - (-10)/(-35) prime?
True
Let z = -122 - -43. Let y = -203 - z. Let i = y + 179. Is i composite?
True
Suppose -225 = -5*f - 0*f. Let q be 4/18 + (-1045)/f. Let n = 42 + q. Is n composite?
False
Suppose -2*a + 3*c = 4*c + 15, a - 4*c = 6. Let u(h) = -3*h**3 - 3*h**2 + 9*h + 1. Is u(a) a composite number?
False
Suppose 0 = -5*j - 3*b - 56, b + 18 = -j - 3*b. Let o = j + 1. Let f = 42 + o. Is f prime?
False
Let s(t) = 2*t**3 - 8*t**2 - 7*t + 8. Let d be s(7). Suppose -4*v + f + 202 = 0, -f = -3*v - 2*v + d. Is v a prime number?
False
Is 2/4*(-6 - -800) a prime number?
True
Let j be (-566)/2*(5 - 4). Let r = j + 648. Is r a composite number?
True
Let x(u) = u**2 + u + 5. Let j be x(0). Suppose -j*p + 175 = -0*p. Is p a composite number?
True
Is (2 - (-3 + 7)) + 121 prime?
False
Suppose -2*w = 5*t + 2, w - 2*t + 6*t + 4 = 0. Let h = w + -9. Let k = h + 26. Is k prime?
False
Suppose 3*x = 4*o - 7, -4*x - 5*o = -2*x - 26. Is x/9 + 472/6 a prime number?
True
Let w = -