+ n. Is f composite?
True
Suppose -3*p = -2*p - 1, -13 = -4*j - 5*p. Suppose -2*i - j*o = -i - 8, 4*i - 14 = o. Is (-3 + 167)/i - -2 prime?
True
Let p be (-1100)/(-52) + 6/(-39). Let b be ((-746)/4)/((-2)/(-12)). Is 6/(-21) - b/p prime?
True
Suppose 4*l + 0*l - 8 = 0. Is ((31892/8)/(-7))/((-1)/l) composite?
True
Suppose 12*d - 6*d = 25446. Is d composite?
False
Suppose 0 = 2*i + 2*d - 6, -3*i + 2*i + 6 = 2*d. Suppose -3*r = -i - 570. Let n = r + 21. Is n prime?
True
Let f = 3602 - 523. Is f prime?
True
Let g(j) be the second derivative of j**5/20 + 2*j**4 - 7*j**3/3 + 20*j**2 + 27*j. Is g(-21) composite?
False
Let r = 5180 + -822. Is r a prime number?
False
Let u(s) = -4*s - 68. Let i be u(-18). Suppose -i*y - 3*t - 2*t = -7371, 0 = -5*y - 4*t + 9207. Is y a composite number?
True
Let x be -39 + (-1 + -2)/(-1). Let a = 49 - x. Is a a composite number?
True
Let b(u) = -4*u**2 + 64*u - 4. Let w be b(16). Is 88232/16 + w/(-8) composite?
True
Is (0 + 131/2)/((-104)/(-14768)) a prime number?
False
Let a be (-3)/2*(-6)/54*-12. Let l(r) = -8*r + 3. Is l(a) a prime number?
True
Let g(y) = 5*y**3 + 81 + 3*y**3 + y - 78 + 3*y**2. Let k be g(-3). Is (-27)/9 - (k - 1) a composite number?
True
Let w(r) = r**2 + 32*r + 7. Is w(10) a prime number?
False
Suppose 0 = 4*j - 24 + 8. Let b be 5 - (1 + j + -3). Is 1555/20 + b/(-4) a prime number?
False
Suppose 0 = -3*x + s + 119255, 0 = 4*s - 11 + 19. Is x composite?
True
Suppose 3155 = -1494*f + 1499*f. Is f a prime number?
True
Suppose -29869 = -4*b + 7031. Suppose 5*i - i - b = -5*j, 0 = -2*i + 5*j + 4605. Is i a composite number?
True
Let u(k) = 35*k**2 - 2*k + 1. Let s be u(-2). Suppose -4*t = -3*j + 577, -3*j + s + 425 = 3*t. Is j prime?
True
Let b(t) = -t - 4. Let m be b(0). Let r be -4*(-1)/m*-2. Is r/9 + (-2138)/(-18) a composite number?
True
Let r(t) = -113*t + 66. Is r(-5) a composite number?
False
Let a = 27 + -11. Suppose p = -3*p + a. Suppose p*r = 2*r + 838. Is r composite?
False
Suppose -5*h = 5*l + 100, -4*l - 101 = -h - 2*h. Let z = l + 492. Is z a composite number?
True
Suppose 0 = 3*d - 3*p + 1467, 2*d + 980 = p + 2*p. Is (-1)/(2/(d*2)) composite?
False
Let v = -484 + -227. Let j = 1294 + v. Is j composite?
True
Suppose 3*p - 3 = 0, a = -a + 5*p + 4101. Is a a prime number?
True
Suppose 127*m - 117*m - 345350 = 0. Is m prime?
False
Suppose 5*a + 2*p = 2341, -3*p = 6*a - 10*a + 1859. Is a a prime number?
True
Let i(c) = -9*c**3 - 2*c**2 - 3*c + 9. Let o be i(-3). Suppose -8*s = -o - 2325. Is s a composite number?
True
Let o be (-154)/(-35) - 3/(-5). Suppose 0 = 4*v + o*l - 37, -2*v + 5*l = 3 + 16. Suppose -3*w + 780 = u, 197 = v*w - u - 577. Is w a composite number?
True
Let v(h) = h**2 + 5 + 4*h - 5. Is v(7) prime?
False
Suppose 5*g - 927 = -u, -2*g = 3 - 5. Let f = 2499 + u. Is f a composite number?
True
Let v be 6 + (-10)/(3 - 5). Is (10 - v)*(-1814)/(0 - -2) a composite number?
False
Let l be 24 + (1 + -13)/4. Is 6/4*8834/l a composite number?
False
Suppose 0 = 4*w - 320 - 12. Let o = w - 268. Let d = o - -348. Is d a composite number?
False
Suppose 7*g - 8 = 6. Is 37128/98 + g/14 a prime number?
True
Let b = -15 - -12. Let n(y) = -123*y**3 + 3*y**2 + 2*y + 7. Is n(b) prime?
False
Let j = 238 + -611. Let m = 680 + j. Is m composite?
False
Let p = -5 + -1. Let z(c) = -c**3 - 5*c**2 - 7*c + 8. Let d be z(p). Suppose -5*t = -2*b - 1245, -d - 180 = -t - 3*b. Is t a prime number?
True
Suppose 6*k - 9*k + 801 = 0. Suppose p - 4*x = -2*x + k, -5*p = 2*x - 1311. Is p prime?
True
Suppose 12*h - 12 = 10*h. Let z(f) = -f - 13. Let c(p) = 12. Let t(j) = -6*c(j) - 5*z(j). Is t(h) composite?
False
Suppose 2*a = -3*a. Suppose a = 2*c - 530 - 364. Suppose c - 3117 = -6*t. Is t a prime number?
False
Let t = -122040 - -198689. Is t prime?
True
Suppose 55*p + 6 = 58*p. Suppose 0 = -t - 3, 317 = p*k + 2*t - 9971. Is k composite?
False
Let i be ((-7)/(-22 + -6))/((-1)/(-8)). Suppose -i*y = -464 + 60. Is y prime?
False
Suppose -3*j = -39 + 429. Let k be ((67 + 12)*-1)/((-2)/(-2)). Let h = k - j. Is h a prime number?
False
Let c = 1314 + -95. Is c a prime number?
False
Suppose -618 = 3*k - 0*k. Is k/3*(-10 - -7) a composite number?
True
Let b(s) = s**3 + 17*s**2 - 12*s - 1. Let c = -15 + 15. Let x be 1 + -3 - c - 14. Is b(x) composite?
True
Let d(t) = -t**2 + 4*t + 3. Let l be d(4). Suppose 2*c + 6 = 4*f, 23 + 14 = l*f + 5*c. Suppose -5*j - 110 = f*u - 2083, 4*u - 1943 = j. Is u prime?
True
Let s = 21467 + -6544. Is s composite?
False
Let b(n) = n**3 - 15*n**2 + 6*n - 22. Let y be b(15). Suppose 3*m = 2*q - y, q + 5*m - 23 = m. Is q a composite number?
False
Let y(q) = q**3 - 7*q**2 + 3*q - 7. Let n be y(5). Let d be (-67296)/n - 4/14. Suppose f = -0*k + k - 532, -3*k + 5*f = -d. Is k prime?
False
Let p be (-1)/(3/(-9)) + -3554. Let r = 5208 + p. Is r a prime number?
True
Let f(a) = 33 + 166*a + 20 + 124*a + 367*a. Is f(4) a composite number?
True
Let a = -41 - -46. Suppose 0 = -3*h - a*l + 3584, -3577 = -3*h + l + l. Is h prime?
True
Let v(f) = -f**2 + 4*f - 2. Let a be v(1). Is a - -1 - (-34 - -14) prime?
False
Suppose -5*k + 9*k = 16. Suppose 0 = -k*h + 101 + 71. Suppose -425 = -2*g - h. Is g composite?
False
Let c be 18 - (3 + -3)/(-2). Suppose -2*f + c = -4. Suppose 1 = a - 5*m, -a + m = a - f. Is a a prime number?
False
Let z(w) = -w**2 - 19*w + 27. Let y be z(-21). Is (-5856)/(-15) + (-9)/y prime?
False
Suppose 0 = 2*o - 2, -5*s + 0*s + 1862 = -3*o. Let d = s + -214. Is d a prime number?
False
Let x(k) = -k**3 - k**2 + 1. Let o(v) be the second derivative of -3*v**5/20 - v**4/6 + v**3 + 5*v. Let d(i) = o(i) - 2*x(i). Is d(-7) a composite number?
True
Let f(g) = 39*g**2 + 2*g + 4. Let r be f(4). Suppose 0 = -3*x + 3*o - r, 0*o = 5*x + 4*o + 1024. Is 4 - (-4 + 5 + x) a composite number?
False
Suppose -429 - 209 = -2*z. Suppose -151 = -f + 3*w, z = -5*f + 5*w + 1104. Let a = f - 51. Is a a composite number?
False
Let m = -6602 - -20745. Is m a prime number?
True
Let t(y) = -8*y**3 - 4*y**2 - 95*y - 10. Is t(-7) prime?
True
Let u = 78038 + -24559. Is u composite?
False
Suppose 0 = q + 40 - 290. Let w(i) = q*i**2 + 22*i - 2 + 0 - 25*i. Is w(-1) composite?
False
Suppose 0*h + 21 = 3*h + 4*j, -2*j + 6 = 0. Suppose o - a - 58 = 0, -2*o + 115 = -0*o - h*a. Is o a composite number?
False
Suppose -2*k + 132 = -962. Let j = -384 + k. Is j a prime number?
True
Let b = 1 + -19. Let x(y) = 3*y**2 + 28*y - 17. Is x(b) a prime number?
False
Suppose 246844 = 55*j - 3*j. Is j a prime number?
False
Suppose 0 = 2*r, 5*n - 4*n - 525 = 5*r. Let l = -274 + n. Is l a composite number?
False
Let x(f) = -f**3 + 4*f**2 - 2*f + 9. Let c be x(4). Suppose 1 = j - c. Suppose -s + 5*q = -8, j*q - 3 = -5. Is s a composite number?
False
Suppose -3 - 2 = 5*u, -2*u - 1302 = 5*n. Let r = 75 - n. Is r composite?
True
Let j = -243 - -480. Suppose 6943 + j = 4*o. Is o a composite number?
True
Let k = 25928 - 4130. Is k/12*(2 - 4/3) a prime number?
False
Suppose c + 2*c + 4*d = 10911, 4*c + 5*d = 14549. Is c a composite number?
True
Suppose 50*x - 993936 = 2*x. Is x a prime number?
True
Let i = 39 - 38. Is (-1225 - 1)*((-1)/(-2) - i) a prime number?
True
Let m(y) = -349*y**3 - y**2 - 20*y + 3. Is m(-4) a composite number?
True
Suppose 4*r + 5*f - 1286 = -390, 4*r - 896 = 3*f. Let h be (-2 + (-951)/(-9))*-3. Let w = r - h. Is w prime?
False
Let v be 2/(6*3/2097)*3. Let m = v + -392. Is m prime?
True
Suppose 0 = -6*t + 4*t + 4. Let k = 971 + -933. Suppose k = t*u - 1208. Is u a prime number?
False
Suppose 0 = 9*u - 4*u - 85. Suppose -u*f + 21*f = 3452. Is f a composite number?
False
Let r be (-6)/(-4) - 4*5/(-40). Is (-393)/((-11)/10 - r/5) composite?
True
Suppose 0 = 6*z - 20*z. Suppose z = -3*l - d + 16738, 4*l + d + 11167 = 6*l. Is l prime?
True
Let s be 1*(-4)/(12/(-9)). Suppose 0 = s*l + 9, p - 39 - 47 = l. Suppose -25*t = -24*t - p. Is t composite?
False
Suppose n - 252 - 12 = 0. Let h = n - 137. Is h prime?
True
Let o be (1 - 20/2)*-1. Let w = -4 + o. Suppose -2*s = -k - 20 - 46, w*s - 167 = 2*k. Is s prime?
False
Let m(r) = -224*r - 21. Let p be m(-5). Suppose -2*b + 815 = -4*j - p, 2*b - 5*j = 1909. Is b a prime number?
True
Suppose 0 = -4*y - 5*d + 287, -143 = -5*y + 3*y - 3*d. Let j = 69 + y. Is (j + (2 - -1))*1 prime?
False
Suppose -