rime?
True
Let l = 55 - 55. Suppose l = v + 4*v - 2675. Is v a prime number?
False
Let x = -6 - -4. Let j = x - -7. Suppose 0 = j*q - 4*b - 71, -2*q - 3*b + 42 = -8*b. Is q composite?
False
Suppose 136 = 4*d + 4*c + 28, -d + 24 = -2*c. Suppose d*r - 33*r = -6671. Is r prime?
True
Suppose 115*q - 118*q + 30 = 0. Is (q/(-20))/((-2)/5276) prime?
True
Let j(t) = 3*t**3 - 15*t**2 + 5*t + 4. Is j(11) composite?
False
Let n(i) = i**3 + i**2 + 5*i + 3. Let a be n(-5). Let o = a + 70. Let w = o + 165. Is w prime?
True
Let a(q) = -3*q**3 + 4*q**2 + 8*q - 1. Let z be a(4). Let y = z + 260. Is y prime?
True
Let x(n) = 2018*n**2 + 16*n + 3. Is x(-7) prime?
True
Let g(o) = -222*o - 13. Suppose 2*r - 9 = -3*w - 0, 2 = r + w. Is g(r) a composite number?
False
Suppose -42*o - 43788 = -131946. Is o prime?
True
Let q(m) = 30*m**2 - 13*m + 5. Is q(6) composite?
True
Suppose 121*z + 7835 = 126*z. Is z a prime number?
True
Let s = -34 + 40. Let m(b) = -2*b**3 + 11*b**2 + 2*b + 10. Let a be m(s). Is 4/14 - 934/a composite?
False
Let x be 30*((-57)/(-15) - 3). Let t = 18 - x. Let p(i) = i**3 + 7*i**2 - 4*i - 9. Is p(t) a prime number?
False
Let q(t) = -t**2 + 5*t - 3. Let s be q(2). Suppose 0 = 2*h + 4*r - 6046, s*h - r - 6389 - 2666 = 0. Is h prime?
True
Let q = 12161 + -6490. Is q a composite number?
True
Let h(d) be the second derivative of -314*d**3/3 - d**2/2 - 3*d. Let c be h(-1). Suppose 4*f + s - 506 = -0*s, c = 5*f + 4*s. Is f a composite number?
False
Let z be 0 + -2 - -9 - 2. Suppose -157 = -z*t + 1118. Let o = t - 122. Is o a prime number?
False
Is 10 + (7 + -8)*-4363 a composite number?
False
Let z = -11605 - -23586. Is z prime?
True
Suppose 25 = 5*j + l, 4*j + 1 = 3*l + 2. Suppose -5*m - 622 - 889 = -4*g, -3*m - 1513 = -j*g. Is g a composite number?
False
Suppose -101230 = -12*f + 145886. Is f a prime number?
True
Let x(y) = -21*y + 10. Let b(p) = -10*p + 5. Let f(r) = 5*b(r) - 2*x(r). Is f(-4) composite?
False
Suppose s - 17 = 3*s - 5*v, -3*s - 14 = 4*v. Let o(x) = 3*x**2 + 7*x - 6. Let d be o(s). Suppose -d - 173 = -r. Is r a prime number?
True
Let s(i) = 29*i**2 - 5*i - 5. Suppose 5*l + 72 = -l. Let t be (-5 - -2)*l/(-9). Is s(t) a composite number?
False
Let l = 526 - -610. Let v = l + -649. Is v prime?
True
Suppose -x = 3*t - 5532, -3*x = -4*x + 3. Is t prime?
False
Is (-1060)/6*54/(-36) a prime number?
False
Let x = 22295 - 8496. Is x a composite number?
False
Suppose -3*c - 3*s = 6, 0*s - 4*s - 8 = 0. Suppose 0 = -4*r - 0*y - y - 5, -5*r - 3*y = 8. Is (192 + r)/(1 - c) composite?
False
Suppose 3*j = n + 7*j - 8761, -n + 8751 = 2*j. Suppose n = 6*c - 2065. Is c a prime number?
True
Suppose -2*n + 36*j - 35*j + 214813 = 0, n = 3*j + 107414. Is n a composite number?
True
Let y(i) = 2*i**3 - 33*i**2 + 50*i - 37. Is y(26) prime?
True
Let z(a) = a**2 - 2*a - 4. Let o be z(0). Let m(t) = -52*t - 9. Is m(o) a composite number?
False
Let i(o) = -844*o + 71. Is i(-2) a composite number?
False
Is (-2)/((-18)/140019) + (-66)/99 a composite number?
True
Let u(j) be the second derivative of j**3/2 - 3*j**2 + 4*j. Let n be u(3). Is 2010/18 + (-2)/n a composite number?
True
Let n be (-1 + 1/7)*(-119)/17. Suppose 0 = 3*r - 4*q - 241, 0*r - 5*q = -2*r + 149. Suppose -3*w = -r - n. Is w composite?
False
Suppose 0 = -13*q + 18*q - 10. Let v be (1 + q)*(-10)/(-6). Suppose -2*k = -169 + v. Is k a prime number?
False
Let u = 1616 + -1059. Is u composite?
False
Suppose -12*p = -10559 - 51733. Is p a composite number?
True
Let s = -846 - -1428. Let l = s + -405. Let k = l - 38. Is k a prime number?
True
Let q = 1637 - 910. Let r = -8 + q. Is r a composite number?
False
Let j = 156 - 158. Let l(c) be the first derivative of 46*c**3/3 - 2*c**2 - c + 1. Is l(j) composite?
False
Let l(d) = 2*d**3 - 2*d**2 - 5*d - 23. Suppose -3*g + 7*g - 24 = 0. Is l(g) a prime number?
True
Is (19372/10)/(-2)*-5 prime?
False
Suppose 0 = 110*z - 99*z - 335599. Is z prime?
True
Suppose -5*v - 14 = -12*v. Suppose 4*k + 0*k - j - 456 = 0, -v*j - 8 = 0. Is k composite?
False
Let z(c) = 2*c - 4. Let g be z(-3). Suppose -h - f = 1748 + 2940, 4*f - 16 = 0. Is h/(-20) + (-4)/g composite?
True
Let n = -1095 - -2040. Let r = 1396 - n. Is r prime?
False
Let c(y) = 2*y**2 - 2*y - 2. Let t be c(-2). Suppose -2*u + 2*i + 34 - t = 0, 5*u + 5*i - 100 = 0. Is (u - -749) + (-2 - 0) a prime number?
False
Let f = 220 - -17. Let z = 55 + -53. Suppose u + z*u = f. Is u composite?
False
Suppose 2*h - 2085 = m, 3*h = m + 511 + 2616. Is h a composite number?
True
Suppose 3*m - 25 = 4*a, a + 13 = -m - 3*a. Suppose -8 = -m*t + t. Suppose 0 = -t*u - 0*u + 764. Is u composite?
False
Suppose 4*x = a + 16, -5*a = -0*a + 2*x + 58. Is (-3704)/a + 3/(6 + 3) composite?
True
Let i(s) = 5*s**2 + 5*s - 5. Suppose -4*b - 89 = 15. Let t = 20 + b. Is i(t) composite?
True
Let w(t) = 4046*t**2 - 25*t + 3. Is w(-2) prime?
False
Let w be 4 + -3 - 1 - 4. Let j be (-438)/w - 4/8. Let n = j - 24. Is n a composite number?
True
Suppose 2*b = -2*i + 5*i + 252, 0 = 4*i - b + 331. Let m = i + 176. Is m prime?
False
Is (-77)/(-7)*77 + 6 composite?
False
Suppose 189*v - 192*v + 235101 = 0. Is v composite?
False
Let p(d) = 21*d + 25*d - 1 + 3*d**2 + 20*d - 65*d. Is p(6) composite?
False
Let j(h) = 7*h**3 + 18*h**2 - 13*h - 1. Is j(11) prime?
True
Suppose 2*x + 2*x = -2*r + 22804, -5*r = 0. Is x composite?
False
Suppose 180*l - 616801 = 151*l. Is l a prime number?
True
Suppose -15*h = 6600 - 17745. Is h a prime number?
True
Suppose -3*y + 10 = 1. Suppose 2*d - 1 = y, 5*f - 5*d + 5 = 0. Is f/((36/56)/9) prime?
False
Let r(c) = 3*c**3 - 4*c**2 + c + 1. Is r(7) a composite number?
True
Let u(z) be the third derivative of 3*z**2 + 0 + 0*z - 1/12*z**5 - 1/2*z**3 + 1/120*z**6 - 5/24*z**4. Is u(6) a composite number?
False
Suppose -k + 4 + 4 = 0. Suppose -124 = -k*j + 4*j. Is j a prime number?
True
Is (4 + -9 + -331539)/(-4) prime?
False
Let q(y) = -5*y - 23. Let d be q(-5). Suppose -4*x + 1290 = d*v - 0*v, 0 = 3*v + x - 1910. Is v prime?
False
Suppose 4*h + 11552 - 34508 = -2*d, 3*h - 17231 = -5*d. Is h a composite number?
False
Let q(l) = 49*l**3 - 7*l**2 + 9*l + 6. Is q(5) a composite number?
True
Let f = 70328 + -35571. Is f a composite number?
False
Let m be -4*2/(-8) - 105. Let f = 235 + m. Is f prime?
True
Suppose 27105 + 19642 = y. Is y a composite number?
False
Let h = 9 - 9. Suppose h = -9*t + 6*t + 12. Is 970/t*(-2)/(-1) a composite number?
True
Let y(b) = 30*b**3 - 4*b**2 + 9*b - 4. Is y(3) composite?
False
Let v(g) = g**2 + 5*g - 8. Let x be v(-5). Let w be (-3963)/(-21) - x/28. Suppose 3*l - w - 85 = 4*u, 0 = 5*u + 20. Is l a prime number?
False
Let j(s) = s**2 - 11*s + 3. Let o be j(11). Is -2 + (13 - o) - -2 prime?
False
Let o(c) = c**3 - c**2 + 3*c + 157. Let x be (2/(0 - -2))/1*0. Is o(x) prime?
True
Let f be (42/70)/((-1)/(-5)). Suppose 4 = -4*b - 0, -4*q + 649 = f*b. Is q a prime number?
True
Suppose 0 = 304*m - 288*m - 1047440. Is m a prime number?
False
Is 2168850/180 + (-1)/6 composite?
False
Suppose -10*d + 36188 + 83982 = 0. Is d composite?
True
Suppose -2*i - 5063 = -68325. Is i prime?
False
Let n = -19048 - -36911. Is n prime?
True
Let k be 16/10 - (-8)/20. Suppose k*t - 206 = 456. Is t composite?
False
Suppose 0 = 5*w - 0*m - m - 1028, w + 5*m - 190 = 0. Is w a prime number?
False
Suppose -4*o + 9004 = 5*s, 21*s - 18*s = 3*o - 6753. Is o a composite number?
False
Suppose 10 = 3*z - i, 2*i + 3 = -5. Suppose z*o - 830 = -0*o. Is o a composite number?
True
Let q(x) = -2*x**2 + 7*x. Suppose 6 = 5*z - 3*z. Let g be q(z). Suppose -4*a - 86 = -5*f, 7*f - 2*f = -g*a + 58. Is f composite?
True
Let a = 144 - 130. Is a/35 - 36066/(-10) a composite number?
False
Suppose -36 = -q + 13. Suppose h + 5 = 0, 5*j - q = 5*h - 9. Is j a composite number?
False
Let m(t) = 9*t - 56. Let x be m(-18). Let j be -2 + 3 + -3 + -5. Let q = j - x. Is q prime?
True
Let j(q) = -52*q - 20 - 163*q - 220*q. Is j(-5) a composite number?
True
Let c = 951 + -679. Suppose -2*x + 54 = -c. Is x a prime number?
True
Suppose -2*q - 3*v = -17, 2*q + 7 = -0*q + 5*v. Suppose -q*i - 317 = -1509. Suppose -4*o + i = -2*n, -5 = -2*n + n. Is o prime?
False
Let c = 58 + -54. Is 320 - (-2 - c/12*3) prime?
False
Let c be (-33)/(-18) - (-3)/18. Suppose -o + 0*g = g - 239, 470