se
Let f = 0 - -3. Let c be ((-354)/8)/f*4. Let t = 85 + c. Is t a composite number?
True
Suppose -26 = -3*k + k. Is k a prime number?
True
Let u(z) = z**2 - 6. Let h be u(-3). Suppose -h*g + 97 = -2*g. Is g prime?
True
Let b be (-3144)/(-10) - 4/10. Suppose 5*o + k = -0*k + 312, 5*o - b = -2*k. Let x = 99 + o. Is x prime?
False
Let b = 3 + 25. Let l be 38/14 + 8/b. Suppose -l*v = -3*t - 2*v + 107, v - 189 = -5*t. Is t a composite number?
False
Suppose 4*h - 359 = h - x, 2*x = -4*h + 476. Is h composite?
True
Let l(c) = 7*c**2. Is l(-1) a prime number?
True
Let l(c) = -93*c**3 - 3*c**2 + 1. Let j be l(-2). Suppose 3*x = j - 160. Is x prime?
True
Let p be 6 + (-12)/4 - -4. Suppose p*d - 2*d = 4*j + 46, -33 = -3*d - 3*j. Is d composite?
True
Let y be (7/2)/(7/28). Suppose 0*l - y = -2*l. Is l composite?
False
Is -1 - -369 - 45/(-15) composite?
True
Let l be (-2*15 - 2) + 4. Suppose -q + 3*q - 77 = -i, 2*q = 2*i + 92. Let s = q + l. Is s a prime number?
True
Suppose 45 = 4*j + j. Suppose j = 2*u - 2*l + 3, 3*l - 6 = 0. Suppose 0 = -u*h - 10, -4*o + 133 = 4*h - 7. Is o prime?
True
Suppose 27 = -2*j - k + 221, k = 0. Is j prime?
True
Suppose 4230 = 2*u + 768. Is u composite?
True
Let a = -3 + 4. Let k(c) = 84*c**3 - 2*c**2 + c. Is k(a) composite?
False
Let f = 2 + 2. Let t be (1 - -1)*(-1)/3*-6. Suppose 0 = f*b + 2*d - 82, d = b - t*b + 60. Is b composite?
False
Suppose 21 = 4*q - 199. Is q a composite number?
True
Let x = -22 + 6. Let m = -9 - x. Is m a composite number?
False
Suppose -2*s + 7*s - 900 = 0. Suppose 2*t - 122 - 122 = 0. Let f = s - t. Is f a composite number?
True
Let u = 1 - -2. Let d = u - -1. Suppose -d*c - q + 102 = 0, -3*c + c + q = -48. Is c a prime number?
False
Let c(i) = i + 5. Let u be c(-6). Let f be u/(-4) + 44/16. Let g = 38 - f. Is g a prime number?
False
Is -212*(-1 + (-4)/(-8))*1 a composite number?
True
Let d = -61 + 234. Let t be 2/(-5) - (-478)/(-5). Let j = t + d. Is j prime?
False
Suppose 17 = -2*a + 3*g + 63, -5*a - g + 98 = 0. Suppose -a = -3*o + 2*o. Is 1 - o*(-1 - 0) prime?
False
Is 194 - (-4 + 1 - -6) a composite number?
False
Is (1277/(-2))/(-1 + 1/2) a prime number?
True
Let z(n) = -243*n - 53. Is z(-4) a prime number?
True
Suppose -2*z - z + 15 = 0. Suppose -5*t = z*v - 300, 5*v - t - 302 = -8. Is v prime?
True
Suppose 2*b + 4*k = -0 + 4, -k = 5*b - 19. Suppose 4*l - b*x - 456 = -0*l, 4*l - 2*x = 446. Is l prime?
True
Let o(d) = 4*d**2 - 22*d + 17. Is o(14) a prime number?
False
Let u(a) = -a - 7. Let l be u(-11). Let v(r) = 22*r + 3. Is v(l) a composite number?
True
Let j = 67 - -27. Let p = -57 + j. Is p a composite number?
False
Let a(f) = 14*f**2 - 4*f + 1. Let v(d) = 13*d**2 - 5*d + 1. Let l(o) = 3*o**3 + o**2 + 2*o + 1. Let p be l(-1). Let h(k) = p*v(k) + 4*a(k). Is h(-5) prime?
True
Let j(z) = -z**3 - 3*z**2 - z - 1. Is j(-4) composite?
False
Let m(g) = -6*g**3 - 9*g - 7. Is m(-4) composite?
True
Let k be 632 + -1 + (-15)/(-5). Suppose c - 156 = -s, 0 = -4*s - c - c + k. Is s prime?
False
Suppose 5*z - 8230 = 2*i, -4*i - i + 25 = 0. Suppose -2*x - 42 = -z. Suppose -3*v + 3*p + x = 2*v, -16 = -4*p. Is v composite?
False
Suppose 0 = 5*k - 2*k - 921. Is k composite?
False
Let l(n) = n - 4. Let z be l(6). Suppose 2*u = -z*u. Suppose 3*s = -u*s + 93. Is s a prime number?
True
Suppose 3*r = -2*q + 403, q = -r - 3*r + 199. Is q a prime number?
False
Suppose -6*k + 149 = -5*k. Is k a composite number?
False
Let w = -1015 - -1486. Is w a prime number?
False
Suppose -79 = -a + 48. Is a composite?
False
Is (61 + 4)*13/5 composite?
True
Let f be (-22687)/(-28) + 3/4. Let h = f + -554. Is h a prime number?
True
Suppose -2*t = -3*t + 89. Is t composite?
False
Let g be 2/(-10) - 56/20. Is (g/(-1))/(12 + -11) a composite number?
False
Suppose -3*a + 118 = -92. Let t = a - 33. Is t composite?
False
Let g(x) = 25*x**2 - x - 1. Is g(2) prime?
True
Let u(d) = 3*d**3 - 1. Let b be u(-1). Is 93 + 2 - (-8)/b a composite number?
True
Let r(c) = -5*c + 3*c**2 + 1 - 6*c**2 + 0*c**2 + 2*c**2. Let p be r(-6). Let t = p + 88. Is t prime?
True
Suppose -2*a + 14233 = 4079. Is a a composite number?
False
Suppose u + 1 - 3 = 0. Suppose 0 = -5*f + 2*w + 857 + 70, u*f + 4*w = 390. Is f a composite number?
True
Suppose 3*w + 4 + 5 = 0. Is (-104)/(-2) - 3/w composite?
False
Let g(p) = -3*p - 1. Let s be g(-1). Let y be -2 - -2 - (-100)/s. Suppose -x + y = x. Is x composite?
True
Is 6/(-4) - 1085*(-3)/6 a composite number?
False
Let z = 1 - 2. Let y = z - -1. Suppose y = -4*u + 75 - 15. Is u a composite number?
True
Let w(m) = -2*m**2 + 11*m - 8. Let k(d) = -d**2 + 10*d - 7. Let u(j) = -3*k(j) + 2*w(j). Let a = -1 + -3. Is u(a) a composite number?
True
Suppose -l = -2*w + 4*w - 9, -w = -4*l + 9. Suppose -x = -l*x + u + 11, -4*u = -5*x + 35. Is x a prime number?
True
Suppose -2*c - 1012 = -3390. Is c a prime number?
False
Let q = -141 - -65. Let v = q + 235. Is v a prime number?
False
Let o = 1 + -3. Let c(f) be the first derivative of -f**4/2 + f**3/3 + 2*f**2 + 3*f + 2. Is c(o) a composite number?
True
Suppose -4*c - c = -n - 17450, -4*c + 13989 = 5*n. Is c a prime number?
True
Suppose 2*m = 1 + 5. Suppose m*f = -12, -5*f = -3*u - 2*f + 1473. Is u prime?
True
Let b(i) = i**3 - 2*i**2 - 7*i + 7. Let w(n) = 6*n**2 - n. Let y be w(-1). Is b(y) a prime number?
False
Let n(x) = -x**3 - 5*x**2 - 31. Is n(-12) prime?
True
Suppose 3*b + 2*b - 1370 = 0. Is b prime?
False
Is ((-8)/(-6) + -1)/((-4)/(-3804)) a composite number?
False
Let n = -7 - -13. Let z = 397 - n. Is z a composite number?
True
Suppose -593 = -9*q + 244. Is q prime?
False
Let g(o) = 162*o**3 - 13*o**2 + 10*o - 7. Let w(y) = -108*y**3 + 9*y**2 - 7*y + 5. Let r(v) = 5*g(v) + 7*w(v). Is r(1) a prime number?
True
Suppose -6*d + 4*k = -3*d - 1355, 5*d - 2220 = -k. Is d a prime number?
False
Let h = 3 + -5. Suppose -5*q - 2*n = -11, -2*n - 2 + 4 = -4*q. Is 26/4 - q/h composite?
False
Let g(o) = 53*o + 3. Let d(w) be the third derivative of 53*w**4/24 + 2*w**3/3 - w**2. Let p(n) = 5*d(n) - 6*g(n). Is p(-3) a composite number?
True
Is (-6)/14 + ((-164272)/(-14))/4 a composite number?
True
Suppose 3*s - 3*m = 2*s + 14, -2*s + 8 = -m. Is 2/(8/900) - s prime?
True
Let v(i) = -11*i - 1. Let t be v(-2). Let a be (-6)/t - (-32)/14. Is 1/(a + (-266)/134) a prime number?
True
Let n = 109 - 56. Is n a composite number?
False
Suppose -3*z = -3*k + 2*z + 3676, -5*k - 5*z = -6180. Is k/21 - 2/(-6) prime?
True
Let d be 723/9 + (-3)/9. Let u = d + -43. Is u a prime number?
True
Let q(n) = 97*n + 46. Is q(3) prime?
True
Suppose 4*u = 3*x + 8, -x + 3*u = x + 6. Suppose x = 3*o - o + 148. Is (0 - (-3)/(-6))*o prime?
True
Suppose -p - 1045 = -0*g - 2*g, 0 = p - 3. Suppose 2*n = -2*n + g. Let x = n - 62. Is x a composite number?
True
Let b(v) = v**2 - v + 13. Let u = 119 + -54. Suppose -20 + u = 5*j. Is b(j) composite?
True
Let g(j) = -j**2 - 5*j - 3. Let p be g(-2). Let c = p + -5. Is 1*22*(-1)/c prime?
True
Let z = 86 - 43. Suppose 0 = k + 2*h - z, 3*k - 5*h - 252 = -90. Is k a prime number?
False
Let y = -2 - -10. Is (-5240)/(-64) - (-1)/y prime?
False
Suppose -7*w + 2210 = -1199. Is w prime?
True
Let y(m) = m**3 - 3*m**2 - 3*m - 1. Is y(6) a prime number?
True
Let g be 140/77 + 4/22. Is g/(-3) + 203/3 prime?
True
Let b(y) = 190*y**2 - 11*y + 5. Is b(2) composite?
False
Is 8/(-12)*6 - -69 a prime number?
False
Let u be 9 - 2/(-2) - -2. Suppose u = 5*f - 2*f. Suppose 2*i - 30 = -0*s + 3*s, -3*s = -f*i + 48. Is i prime?
False
Suppose 146 + 787 = -3*q. Let k = 152 + q. Is (k/(-9))/((-1)/(-3)) composite?
False
Let o(i) = 2*i - 7. Let x be o(5). Suppose 7*a = x*a + 5*w + 21, a + 2*w - 2 = 0. Suppose a*k + 4*f = -0*f + 132, 4*f + 183 = 5*k. Is k prime?
False
Let b(x) = 699*x + 1. Is b(2) a composite number?
False
Suppose 4*z = 2*z + 1454. Suppose -z = -4*s + 77. Is s composite?
True
Suppose j + 69 = 2*j. Suppose -3*h + 2*h = -j. Is h prime?
False
Suppose -3*q - 14 = -10*q. Suppose -2*h - q*h + 16 = 0. Is h a composite number?
True
Suppose -x - 2*x + 9 = 0. Let i = 5 - x. Suppose 2*y + i*y - 112 = -3*n, -5*y + 4*n + 171 = 0. Is y prime?
True
Let s(w) = w**2 + 2*w - 2. Let g be s(-3). Suppose 2 = x + g. Is 1/(x*(-2)/(-170)) a composite number?
True
Is (-3531)/(-3) + (0 - -4) a prime number?
True
Let x 