+ 400. Is b a prime number?
True
Suppose -7601 = -3*v + 3*m - m, -m = 3*v - 7589. Is v a composite number?
False
Let k = -17 - -20. Suppose -2*s + k*a = -2638, -4*s - 4*a + 3957 = -s. Is s a composite number?
False
Let m(z) = 33*z**2 - 7. Let b be m(5). Let j = -373 + b. Suppose -4*p = -p + 5*x - 267, -5*p + 2*x = -j. Is p a composite number?
False
Let p(k) = 1. Let n(b) = -2*b - 4. Let h(r) = n(r) + 2*p(r). Let q be h(-8). Let g = q + 25. Is g composite?
True
Suppose 0*p - 31 = 2*p + d, -54 = 3*p - d. Let k = p - -50. Is k a prime number?
False
Is -4 - (-78399 - 8)/7 a prime number?
True
Let k(i) = 15 + 7*i + 22*i - 14 + 18. Let g be k(15). Suppose -x = -325 - g. Is x composite?
True
Suppose 0 = -5*s - 2*i + 98997, s + 2*i - 1748 = 18045. Is s prime?
True
Let w be (-38)/(-3) - (-7)/21. Suppose 5*b = w*b - 456. Is b prime?
False
Is 770/(-154) - (1 + (-30274)/2) composite?
False
Suppose 6 = 16*w - 13*w. Suppose w*b = -8 + 2, -b - 21 = -2*t. Is t a composite number?
True
Suppose -d + c + 1783 = 0, -3*d - 2424 + 7769 = -c. Is d a prime number?
False
Let q(d) = d**3 - 5*d**2 - 6*d - 3. Suppose 2*f = -3*f + 165. Suppose -p + 2*p + z = 2, -f = -4*p + z. Is q(p) prime?
True
Suppose -3*t + 613 = o, 2*t - 3*o - 417 = -2*o. Suppose -t = -4*c + 2*q, -4*q - 132 + 32 = -2*c. Let k = 13 + c. Is k a composite number?
True
Suppose -11*c = -12*c + 1696. Suppose 0 = 6*j - c - 2402. Is j a composite number?
False
Suppose 11*n - 4*n = 5509. Is n a composite number?
False
Suppose 0 = 3*p - 22 + 10. Suppose -4*z = -l + 15, -p*l + 5*z - 3*z = -116. Is l a prime number?
True
Suppose 2*k + 3*s - 360 = 54, 5*s - 824 = -4*k. Let a = -114 + k. Is a composite?
True
Let p = -964 - -3066. Suppose 2*w - 639 = 3*g, 0 = 5*w + 5*g - p + 492. Suppose 31 = -5*a + w. Is a composite?
True
Suppose 13 = 4*t - 63. Suppose 5*b - 1 = t. Suppose b*y = -0*p + p + 1878, 4*y = 5*p + 1886. Is y composite?
True
Let y = -27 - -28. Is 905 + (1 - y/(-1)) prime?
True
Suppose 2*y - 1 = 2*u + 7, 4 = 2*u. Suppose y*a - 2*a - 2836 = 0. Is a a composite number?
False
Suppose -v + 2*l + 8827 = 0, -3*l - 20944 = -3*v + 5534. Suppose -3*d - 6 = -0*d, 0 = 3*p - 4*d - v. Is p a prime number?
True
Suppose -4*t - 63 - 237 = 0. Let o = 104 + -52. Let i = o - t. Is i a prime number?
True
Suppose 167*z - 151*z - 23440 = 0. Is z prime?
False
Let z(c) = -c**3 + c**2 + c + 2. Let v be z(0). Suppose -l - v*y + 416 = -716, 5*l - 5687 = -y. Is l a prime number?
False
Let d = -8 - 2. Let f be 10/(-4)*12/d. Suppose -q = -f*q + 754. Is q composite?
True
Let y(j) = -38*j**3 + 3*j**2 + 4*j + 8. Suppose 48 = -s - 15*s. Is y(s) a prime number?
True
Suppose 11*g = 13*g + 1020. Is (-1 - -2)*g/(-6) composite?
True
Let h = 12392 + -5587. Is h a composite number?
True
Let f(h) = h**3 + 8*h**2 - 5*h + 10. Let p be f(-7). Suppose p = 2*s + m, 165 = 5*s + 3*m - 68. Let k = s + -23. Is k prime?
False
Is (-28777)/(-14)*-1*-2*1 a composite number?
False
Suppose 0 = -4*f + 3*f - 2, 6161 = 5*a - 3*f. Let k = 4582 - a. Is k composite?
True
Is 1479 - -7 - 4 - (3 + -2) composite?
False
Let q = -19 + 19. Let b = 4 - q. Is (-6)/b + (-1131)/(-6) a composite number?
True
Let j = 3305 - -908. Is j composite?
True
Suppose -16689 - 11760 = -9*g. Is g prime?
False
Suppose -13*l = -8*l - 10. Suppose -l*n = 3*n - 1315. Is n prime?
True
Suppose 5*y = 2*n - 5*n + 17, -9 = -n - 5*y. Is -2 - ((-30639)/27 - n/18) a prime number?
False
Let y(z) = -z - 2. Let t be y(-4). Suppose 500 + 936 = t*k. Is k a prime number?
False
Let t = -61 - -66. Suppose -3*m = -6, -d - t*m - 4114 = -5*d. Is d a composite number?
False
Suppose 5*a = -u + 52591, 6957 = 2*a - 5*u - 14101. Let f = a + -6562. Is f a prime number?
False
Suppose -20*j + 500936 = -26844. Is j a prime number?
False
Let r be 0/2 + (1 - -2). Suppose -514 = -j - 147. Suppose -r*n - 970 = -5*f, 2*f + 3*n = -0*f + j. Is f a prime number?
True
Let c = -133 + 596. Suppose -1122 = -5*s + c. Is s prime?
True
Let j be (-2469)/15 - (-6)/(-15). Let l = j + 91. Is (l/6)/((-2)/18) composite?
True
Suppose 5*b - 112 + 17 = 0. Let z = b + -17. Suppose -z*u + 109 = -293. Is u composite?
True
Let n(b) = 5*b**2 + 5*b - 11. Let s be n(10). Suppose o - 551 = -3*i + 2*o, 4*o = 3*i - s. Suppose -u = 4*u - i. Is u a prime number?
True
Let c = 89 + -13. Is (105830/c)/(1 - (-1)/(-2)) a composite number?
True
Suppose -57*m = -52*m - 70. Let o be 7/3 - (-1)/(-3). Suppose -o*s = -s - m. Is s prime?
False
Let s(j) = 72*j**2 + 11*j + 16. Is s(-15) a prime number?
False
Suppose 5 = -2*u + 7*u. Is u*(0 + 7604/(-8))*-2 a composite number?
False
Suppose -3*o - 9 - 2 = 5*v, -3*o - 4*v - 7 = 0. Suppose l = -3*l - 4*b, -o*b = 4*l - 3. Suppose 4*w - 107 = -l*n - w, 175 = 5*n + 5*w. Is n composite?
True
Is 12 - 13 - (-876)/3 a prime number?
False
Suppose -2*d + 34 = -3*i - 0*i, -4*i = -5*d + 36. Let q = 19 + i. Suppose 5*w - 439 = -3*j, 0 = q*w - 3*j - 316 - 135. Is w prime?
True
Suppose k = 3*k + 10. Let t be 885/(1 - 0/k). Suppose 2*g - 5*g + t = 0. Is g a prime number?
False
Let j = 686 + 1517. Is j a composite number?
False
Let o = -829 - -1496. Is o prime?
False
Is (-48)/(-36) + (2 - 1301/(-3)) a prime number?
False
Suppose 56139 = z + 5*w, 2*z - 7*w = -12*w + 112288. Is z composite?
False
Let i(j) = 8*j**2 + 2*j - j**3 - 52 + 8*j**3 + 48. Let n(c) = -8*c**3 - 9*c**2 - 2*c + 4. Let g(w) = 6*i(w) + 5*n(w). Is g(5) a prime number?
True
Let c(k) = 6623*k - 62. Is c(3) prime?
False
Let g(f) be the first derivative of f**5/60 - f**4/3 + f**3/6 + 5*f**2/2 - 7. Let x(r) be the second derivative of g(r). Is x(11) a composite number?
True
Suppose -4*w + 3*w + 8 = 0. Suppose -3*z = -5*z + w. Suppose -305 = -5*l - z*v, 2*l - 3*v - 112 = 33. Is l a composite number?
True
Let l = -18 - -19. Suppose -2*g - l = -9. Suppose -o = -2*r + 1487, -g*r + 4*o + 2728 = -248. Is r a composite number?
False
Let b(t) = -t + 3. Let r be b(0). Suppose r*u + 4 = 3*h - 8*h, -2*h = -u + 6. Suppose 4*n + 4*c - 1308 = 0, u*c - 977 = -n - 2*n. Is n a composite number?
True
Suppose -5*p - 181 = -4*p + 2*b, -2*p - 356 = -2*b. Is p/(4 + 52/(-12)) prime?
False
Let y(q) = q**2 - 3*q - 1. Let l be y(4). Suppose 4*v - 4*r = 208, -2*v - 4*r = -v - 62. Suppose 0 = a - l*c + 2*c - v, 3*a = -3*c + 132. Is a a prime number?
False
Suppose -4 = 3*t + 2*n, 5*t + 2 = -2*n - 2. Suppose t = 4*s - 13*s + 10251. Is s a prime number?
False
Suppose 4*d = -2*i + 1584, 3*d + 4*i - 1194 = i. Suppose -d = -n + 5*r, -10 = -4*r + 2*r. Is n a composite number?
False
Suppose 4*m + 0*g - 2*g = -34, -4*m - 37 = -g. Is ((-5)/m)/(1/178) composite?
False
Let d(y) be the second derivative of -3*y + 7/4*y**4 + 1/6*y**3 + y**2 + 0. Is d(-1) a composite number?
True
Let c = 3290 - -5492. Is c prime?
False
Suppose 0 = -4*c + 4*f, 2*c + 0 = -3*f + 20. Suppose -c*i + 3*z + 21 = 2*z, -5*i + 3*z = -28. Suppose 0 = -i*h + 3*h - 3*b + 94, -b = 4. Is h a prime number?
True
Suppose -5*b + 202 + 218 = 0. Suppose 2*g = 4*i - 2*g + b, i = 4*g - 36. Is (3 - -1)/(i/(-136)) prime?
False
Let r(d) = 120*d**2 + 28*d + 53. Is r(-7) composite?
False
Let f = 2152 - -1099. Is f a composite number?
False
Suppose -20*l + 8435 = -15*l. Let r = l + -970. Is r prime?
False
Suppose 3*m + 5*z = 45, 0 = -2*m + z + 13 + 4. Suppose -9*l = -8*l - 185. Suppose -5*q - l = -m*q. Is q a composite number?
False
Let i(f) = -f**3 - 9*f**2 + f - 1. Let y be i(-9). Let s(v) = -72*v - 11. Is s(y) composite?
False
Suppose -4*a + 3*c = -1907 - 2143, -a + c + 1012 = 0. Suppose 5*z + 2*x = 1272, -z - 2*x - a = -5*z. Is z composite?
True
Let b(n) = -n - 4. Let c be b(-9). Is 1743/(-6)*(c - 7) prime?
False
Let g = -2 + 25. Let o = 23 - g. Let f(p) = p**3 - p + 127. Is f(o) composite?
False
Let x(d) be the first derivative of 167*d**3/3 - d**2/2 - 4*d + 23. Is x(2) a composite number?
True
Let r(h) = h**3 + 17*h**2 - 9*h + 28. Let k be r(-20). Let s = 1581 + k. Is s a composite number?
True
Let k(n) = -348*n**2 + 9*n. Let w be k(7). Is w/(-14)*(-4)/(-6) a prime number?
True
Let c be -670*(-9)/(-24)*-4. Suppose 7*t = 2*t + v + 5043, -2*v - c = -t. Is t prime?
True
Let k(n) = -48*n + 10. Let u(a) = a - 1. Let p(b) = -2*k(b) - 6*u(b). Is p(6) a composite number?
True
Let l be ((-6)/8)/((-4)/160). Let k = l - -23. Is k a prime number?
True
Let k(o) be the sec