21) - -1228 a composite number?
True
Let x be (-67)/((-1)/(3/3)). Suppose -x = -n + 22. Is n - (-1)/((-1)/(-2)) composite?
True
Let n = -19 + 20. Is n*(-2 - -1) + (4 - -1660) composite?
False
Let z = 6397 - -3346. Is z a prime number?
True
Let k(p) = -2173*p + 658. Is k(-7) a prime number?
False
Suppose -3*l = 6*l. Suppose 8*a + 891 - 5099 = l. Is a prime?
False
Suppose 0 = -1334*z + 1341*z - 216167. Is z a composite number?
False
Suppose 0 = 4*l + 5*k + 36, 0 = -5*l - 5*k - 23 - 17. Is 2 - (l + 3) - -836 composite?
False
Let x = 0 - 12. Let z = -9 - x. Suppose -6*j + 639 = -z*j. Is j composite?
True
Suppose -x + 7 = 4. Suppose -3*w + 2*r + 695 = 0, 5*w - x*w - r - 463 = 0. Suppose -l - 2*l = -w. Is l a composite number?
True
Suppose 0 = -5*n - 5*d + 70, 4*n = 2*d + 58 + 28. Let p = 127 - n. Suppose -g + 19 + p = 0. Is g composite?
False
Suppose 14*d = -30942 + 117868. Is d a prime number?
False
Let t(r) = r**3 + 9*r**2 + 4*r - 1. Let z be t(7). Let s = -362 + z. Is s a prime number?
True
Suppose -2*n - 167900 = -5*t + n, 4*t + 7*n - 134273 = 0. Is t prime?
True
Let m be 15/2*(-42)/35. Is (12/m - -2)*(-3231)/(-6) a composite number?
False
Suppose 2*z - 362 = -2*s, -z - 5*s = -3*z + 369. Let m = z + -97. Is m prime?
False
Let i(d) be the first derivative of d**6/120 + d**5/6 - 11*d**4/24 - 5*d**3/2 - 5*d**2/2 - 4. Let n(t) be the second derivative of i(t). Is n(-10) composite?
True
Suppose -5 = -3*x - 2. Is (x + 7)*164/(-48)*-3 a prime number?
False
Let u = 55625 + -30462. Is u a prime number?
True
Suppose 0 = 3*g - 4*u - 1222, 3*g = g + 3*u + 813. Suppose -1672 = -2*d - g. Is d composite?
True
Let r = -7903 + 11084. Is r a prime number?
True
Suppose 2*j + 4986 = 5*g, -4*g - 5*j = -3251 - 718. Let y = -43 + g. Is y composite?
False
Let a(f) = -79*f - 3 + 108*f**3 + 36*f**3 + 83*f. Is a(1) prime?
False
Let k(d) = 309*d - 29. Let m be k(6). Suppose 0 = -2*v + 8, -m = -7*a + 4*a + 2*v. Is a composite?
True
Suppose 4 = a - 4*a - k, -4*k = 16. Suppose a = i + 2*i - 1257. Is i composite?
False
Let h(z) = -z - 2*z**2 - 8 - 7*z**2 + z**2 - 3*z**3 + 2*z**3. Let n be h(-8). Suppose 6*k - 4*k - 8 = n. Is k a composite number?
True
Let x = -8 + 11. Suppose 3*a - 116 = 5*i - 502, a - x = 0. Suppose -2*o + 55 = -i. Is o composite?
False
Let x be (-1 - -1) + 1 + 0. Let t(n) = 1638*n**2 - n. Is t(x) a composite number?
False
Let b be (-2)/(-2) + -7 + 9. Suppose 0 = 4*n + 2*w - 3562, 2*n - b*w - 570 = 1199. Is n a composite number?
True
Let a = -17 + 19. Suppose 0 = 5*j + k - 465, a*k + 137 = 2*j - 61. Let r = j + 169. Is r prime?
True
Let w = 790 - -5453. Is w a composite number?
True
Is (11716 - -166) + -1 + -3 a composite number?
True
Suppose 435353 + 181743 = 8*z. Is z a prime number?
True
Let m(c) = 33*c**2 - 164*c + 7. Is m(-6) prime?
True
Suppose -13388 = -2*y + 20634. Is y prime?
True
Let o(c) = 10 - 2*c + 9 - 7. Let p be o(5). Let a = 11 - p. Is a a composite number?
True
Is (0 + -1)/(37/(-155807)) composite?
False
Let g be (-8)/60 - (-77)/15. Suppose 4*x - 192 = -5*a, -2*a + 95 = g*x - 162. Is x prime?
True
Suppose -4*m = -0*m - 776. Suppose 2 = 2*f, -o + 3*f = -805 + m. Let t = o + -403. Is t composite?
False
Let g = 20 - 30. Let j(l) = 2 - 15*l**2 + 16*l**2 - 2*l + 6*l. Is j(g) composite?
True
Suppose -58*s = -55*s - 48. Suppose -h - 3*h = -s. Is 6/h*1012/6 a prime number?
False
Suppose 0 = -155*p + 130*p + 1180175. Is p composite?
False
Let m be (-82 + 4)*(-21)/9. Let l = m + -99. Suppose 0 = g + 5*y - 2*y - l, -2*y - 449 = -5*g. Is g prime?
True
Suppose -5*k - 26 = -4*d, 5 = -3*d + 2. Let s(u) be the third derivative of u**5/6 + u**4/6 - 5*u**3/6 + u**2. Is s(k) prime?
True
Let c(f) = f**3 - 7*f**2 + 12*f + 2. Let w be c(4). Is (-2609)/w*(-4 + -2 + 4) a composite number?
False
Let a(x) = 335*x + 38. Let t be a(9). Suppose -t = -7*j + 5354. Is j prime?
True
Let u(x) be the first derivative of -3*x**4/4 - 4*x**3/3 - 7*x**2/2 - 13*x - 6. Is u(-7) a prime number?
False
Let n = -11 - -8. Is -3 - 26*39/n a composite number?
True
Is (-2)/(-15) + (-14 - 59941/(-105)) prime?
True
Suppose -3*d = -0*d - 453. Let b = 12 - 7. Suppose b*g + a - 594 = g, -g = -a - d. Is g composite?
False
Let x(f) = 2*f**2 - 12*f + 23. Let t be x(18). Let m = t + -60. Is m prime?
False
Let b(l) = l**2 - 13*l + 20. Let g be b(10). Is (-15)/g - 1862/(-4) composite?
False
Let r(z) = -35*z**2 + 11*z + 10. Let n be r(-4). Let a = -340 - n. Is a a prime number?
False
Let n(i) = i**2 - 2*i. Let o be n(-1). Let q(t) = -23*t + 104*t**2 + 29*t + 45*t**2 + 6 - o. Is q(-2) composite?
False
Let i(z) = 2419*z - 228. Is i(13) prime?
True
Suppose 5*i + 15*x - 11653 = 19*x, 0 = -2*i + 3*x + 4657. Is i prime?
True
Let s(l) = 0*l + 20*l**2 - 102 - 3*l + 114. Is s(5) a composite number?
True
Let f(z) = 23*z**2 - 34*z + 66. Is f(4) a composite number?
True
Let t(k) be the second derivative of k**4/4 + 5*k**3/6 - 3*k**2/2 + 19*k. Is t(4) prime?
False
Let f be 6 + -4 - (1 + -2). Suppose f*u = -2*u - 2530. Let d = -345 - u. Is d a prime number?
False
Let o(s) = -s + 17. Let l be o(14). Suppose -1360 = -5*c + l*c - i, 681 = c + i. Is c prime?
False
Let f(y) = -y - 5. Let z be f(-7). Suppose z*g + 3*g = 50. Is (g/(-5))/(1/(-17)) a composite number?
True
Suppose 4*x = 7 + 5. Suppose -g + 4*g = x. Suppose r = 2 - g, s = -2*r + 259. Is s composite?
False
Let l(u) = -5*u**3 - 4*u - 2*u**3 - 3*u**2 + 6*u**3. Let k be l(-2). Suppose -k*f + 2680 = -36. Is f composite?
True
Let i(j) = 152*j**2 - 3*j + 26. Is i(-5) a prime number?
False
Suppose -2*q - 2 = 4, 2531 = 2*p + 5*q. Let s = -575 + p. Is s a prime number?
False
Suppose 0 = 5*h - 5*m + 4*m - 3547, 6 = 2*m. Suppose -2*n = -0*n - h. Is n a composite number?
True
Let o(f) = 3389*f + 624. Is o(5) composite?
False
Suppose 44265 = -12*o + 17*o + 4*k, 0 = 3*o + k - 26566. Is o a composite number?
True
Suppose 7*o = 50*o - 63769. Is o a prime number?
True
Let s(z) = -157*z - 2. Let j be s(-1). Let w be (-76)/(-18) + 10/(-45). Suppose -w*p = -q + 620 - j, -q - p = -490. Is q a prime number?
False
Let i(w) = 5828*w**2 + 8*w + 1. Is i(3) a prime number?
False
Let m(d) = -3*d**2 + 2*d - 21. Let u(n) = 14*n**2 - 9*n + 105. Let s(t) = -11*m(t) - 2*u(t). Is s(-8) composite?
False
Is 688540/52 + 10/(-65) a composite number?
False
Let b = 2445 + 514. Is b prime?
False
Suppose 9*z - 17515 + 235 = 0. Suppose -4*j + z = -2*w, 6*j - 1906 = 2*j - 5*w. Is j prime?
True
Is 5 - ((-29184)/(-3))/(-4) a composite number?
False
Let j be (3/3)/((-3)/(-6)). Suppose 0 = j*l + 4*s + 40, 5 = l - s + 16. Is ((-310)/4)/(7/l) a prime number?
False
Let g be 4/(-18) - 87/(-27). Suppose 0 = g*n - 1 - 8. Suppose -n*y = 3*y - 186. Is y a prime number?
True
Suppose -62855 = -9*p + 7192. Is p composite?
True
Let n be ((-16)/(-48))/((-2)/(-24)). Let v(j) = j**3 - j**2 - 10*j + 2. Let h be v(n). Let k = h + 64. Is k a prime number?
False
Let h(i) = 6*i**2 - 2*i + 7. Let c(b) = -b + 12. Suppose 3*u = -u + 24. Let a be c(u). Is h(a) composite?
False
Let f(o) = 3*o**2 - 5*o + 9. Suppose 11*i - 24 = 7*i. Is f(i) a prime number?
False
Let b(g) = -g**3 - 9*g**2 + 15*g + 8. Suppose 0 = -4*a - 15 - 29. Let v be b(a). Let s = v + 98. Is s prime?
False
Suppose 0 = -0*y - y - 15. Is (-1 - 1) + (-65)/y*9 a prime number?
True
Suppose 2*k - 5 = k, -3*c = -3*k - 768. Suppose -4*n + 2*j = -208, -6*j + 3*j - c = -5*n. Is n a composite number?
True
Suppose -2*q - 25 = -2*o + 497, 5*o + 5*q = 1255. Suppose -o = -f - w, -8 = -5*w + 2. Is f a composite number?
True
Suppose 3*t + 2049 = 123. Let p = t - -1321. Is p prime?
False
Suppose 114*k = 122*k - 94904. Is k a prime number?
True
Let p = 21 + -14. Is 5736/20*(-1 + p/2) a prime number?
False
Is 3/((-132)/(-8)) + 71254/22 composite?
True
Let x be (-1 - -2) + (9 - 1). Suppose 4*s - 9 = -3*h, 3*h - 15 = -2*h - 5*s. Is 3 - (x/h + -3) a prime number?
True
Let a be (0 + 10/3)*-6. Let o = a + 25. Suppose -5*w + 716 + 129 = -o*s, -2*w = 2*s - 326. Is w a composite number?
True
Let y = -17 - -16. Let j(l) = -10*l. Let u be j(y). Let q(d) = -d**3 + 11*d**2 + 11*d + 1. Is q(u) a composite number?
False
Suppose -11*t + 7*t = 0. Suppose t*m + 4*m - 5*r = 363, -3*m + 2*r = -281. Is m a prime number?
True
Suppose 2*v + i + 1173 = 6828, 3*v + 2*i = 8483. Is v a prime number?
Fals