ppose 0 = -2*x + n - 103. Is x a composite number?
True
Suppose -4*o + 17792 + 33372 = 0. Is o prime?
True
Let d = 1353 + -720. Is d a prime number?
False
Suppose 982510 = -16*r + 2604254. Is r prime?
True
Let y = -1304 + 5951. Is y a prime number?
False
Let q = 21 - 17. Suppose 4*j - k = -q, 8*j - 3*j + 3*k = 12. Suppose j = 3*h + 2*i - 115 - 272, -5*i - 493 = -4*h. Is h a composite number?
False
Suppose -1146 = 3*r - 9*r. Is r a prime number?
True
Let x = 1497 + -443. Let a = 2525 - x. Is a prime?
True
Let b(s) = 1909*s - 123. Is b(40) composite?
True
Let v be (-5 - 20877/2)*-2. Suppose -8*t = -v + 4463. Is t a composite number?
False
Let z = -315 - -430. Is z composite?
True
Suppose 2*k + 11 + 47 = 0. Let q = k + 67. Is q a prime number?
False
Suppose -4*o + d - 45 = 0, 25 = -d + 6*d. Let p be 6/2 + o/2. Is (-1)/(-1)*17 - p a prime number?
True
Let n = -101 + -277. Let t(q) = -q**3 + 16*q**2 + 2*q - 16. Let y be t(13). Let o = y - n. Is o prime?
False
Suppose -n + 3771 = 4*a, n - 4*a - 944 = 2867. Is n a composite number?
True
Let s(b) be the second derivative of 0 + 115/12*b**4 - 1/2*b**2 + 5*b + 1/6*b**3. Is s(1) composite?
True
Let q(s) = -s**3 + 46*s**2 - 7*s + 41. Is q(20) prime?
True
Suppose -2*f + 0*f + 5230 = 0. Suppose 3*r + 3*j = j + 7777, -5*j = -r + f. Is -2*(-4 - r/10) prime?
False
Let y(q) = q - 4. Let g be y(6). Let x be (-4)/((-21)/12 + g). Let b = x - -75. Is b a composite number?
False
Let b = -224966 + 319479. Is b prime?
True
Let t(y) = 18*y**2 + 14*y + 5. Let v(p) = 9*p**2 + 7*p + 3. Let m(o) = -2*t(o) + 5*v(o). Is m(-7) a prime number?
True
Let q = -14 - -31. Let k(y) = 4*y**2 - y - 16. Is k(q) prime?
True
Suppose 0*n - 4*n + 308 = 0. Is n a prime number?
False
Let x = 614 + 1965. Is x prime?
True
Suppose 4*y - 5 - 35 = 0. Let t be (-6)/(-10) + 4/y. Is (2/4)/(t/322) a prime number?
False
Suppose 10*d - 7*d = 24. Suppose -d*s + 7 + 9 = 0. Suppose 5*r + 4*a = 278, s*r + a = 4*a + 125. Is r a composite number?
True
Let m = 2 - 2. Let f be 0 - (m + -4 - -1). Is 236 + (3 - f) + -1 composite?
True
Suppose 4*f - 5*k = 23784, 4*k = 4*f + 7*k - 23816. Is f composite?
True
Let y be (-2)/(-6) + (-380)/(-57). Let m(p) = 3*p**3 + 5*p**2 - 4*p + 9. Is m(y) composite?
True
Suppose 4*p - 1418 - 6943 = -5*j, 5*p = 4*j - 6697. Is j a composite number?
True
Suppose -l + 2441 = 4*k - 893, 6616 = 2*l - 5*k. Is 2/(-3)*l/(-28) a composite number?
False
Let r = 1991 - -7038. Is r prime?
True
Let q(v) be the second derivative of 3*v**5/20 - 5*v**4/12 + v**2/2 + 8*v. Is q(5) composite?
False
Let b(f) = -f - 11. Let w be b(-14). Is (114 - 3) + w + 1 prime?
False
Is (-3)/(3 - 0) + (0 - -13152) a prime number?
True
Let m be 2 + -2 + (-156)/(-3). Suppose -m + 1361 = 7*f. Suppose a - b = 72, -98 = -4*a + b + f. Is a a composite number?
False
Let m(b) = -11*b**2 + 12*b + 11. Let k(u) = -10*u**2 + 10*u + 11. Let l(v) = -7*k(v) + 6*m(v). Suppose 2*d - 1 = -19. Is l(d) a composite number?
True
Suppose q - 2*q = -736. Let s = -103 + q. Suppose -4*j + j = -s. Is j a composite number?
False
Let p = -217 + 439. Suppose -4*a = 2*a - p. Is a composite?
False
Suppose 2*k - 4*i = -42, 118 = -4*k + 3*i + 14. Is 4*(k/(-2))/(10/205) a composite number?
True
Suppose 0 = -11*j - 12754 + 3338. Let x = 199 - j. Is x a composite number?
True
Let g = -5531 + 3362. Let n = -412 - g. Is n a composite number?
True
Let b = -18 + 18. Let j = 1 + b. Let c = j + 10. Is c prime?
True
Let b be (-2)/(-8) + 114/(-8). Let j = b + 10. Is -596*(21/j - -4) a prime number?
False
Let x = 18 - 15. Suppose -2 = -x*z - 17. Let c(h) = 12*h**2 - 2*h - 3. Is c(z) a prime number?
True
Let w = 8 + -12. Let z be 27/(-12) - 1/w. Is (-2)/1 - z - -335 composite?
True
Let y(i) be the second derivative of i**4/12 + 5*i**3/2 + 9*i**2 + i. Let o be y(-14). Let z(k) = 5*k**3 - 2*k**2 + 2*k - 3. Is z(o) a composite number?
False
Let o = 186765 + -112896. Is o prime?
False
Let j(z) = z**3 + z**2 - 3*z - 2. Let b be j(-2). Suppose b = -3*t - t. Suppose 4*f = -c - 1072 + 4633, t = 5*f - 4*c - 4425. Is f composite?
True
Suppose 10*x - g - 21001 = 6*x, -4*x + 2*g + 20998 = 0. Is x prime?
False
Let c(v) = -2*v + 25. Let i be c(13). Let y be (-5)/1*(-30)/(-75). Is (i/y)/(1/382) composite?
False
Suppose 4*l - 32 = -5*x + 6, 4*x - 3*l = 18. Let y(r) = -4*r**2 + x*r**2 - 14*r**3 - 4 - 1 + 4. Is y(-2) a composite number?
True
Suppose -163801 = -31*h + 20*h. Is h composite?
False
Suppose 10*k - 3*k = 14. Suppose 6*u = k*u + 12. Suppose u*c - 39 = 114. Is c prime?
False
Let h(f) = 69*f**2 - 264*f - 25. Is h(30) a prime number?
False
Let l(u) be the third derivative of -u**5/60 + u**4/6 + u**3/6 - 7*u**2. Let a be l(3). Is 296 - a/(-8)*-2 composite?
True
Let i(b) = 19*b**2 - 25*b - 1. Is i(4) prime?
False
Suppose 31 = 2*l + 5*v, -v + 12 + 2 = 3*l. Is ((-557)/4)/(l/(-12)) a prime number?
True
Let z = -2710 - -6496. Suppose 15*m = 21*m - z. Is m a prime number?
True
Let w be -5*2*(-12)/(-8). Let o = 320 - w. Is o a composite number?
True
Suppose 0 = 5*m + 5*m - 40. Suppose -u + 754 = u + m*v, -1131 = -3*u + v. Is u prime?
False
Suppose -269*d = -270*d + 6289. Is d a composite number?
True
Suppose -5*i = 3*d - 19 - 6, -11 = -3*i - d. Suppose 0 = -3*j - i*a + 6*a + 219, -78 = -j + 3*a. Is j prime?
False
Let m = -110 + 110. Let z(i) = -2174*i. Let y be z(-2). Suppose 5*o - 1284 = -f + 3062, 5*o + 3*f - y = m. Is o a prime number?
False
Let y be (-16)/(-24) - (-1)/(3/7). Is (-1 - 1) + y*(-145)/(-3) prime?
False
Let n = -11168 - -22170. Is n prime?
False
Suppose -4*w = 5*p - 323, -4*w = -4*p + 5*p - 343. Suppose -4*f = -65 - w. Is 1/(3/(-3)) + f composite?
False
Suppose r + 5*x = 6, 4*r + 8 = -2*x - 2*x. Let h(z) = -426*z - 31. Is h(r) a composite number?
True
Suppose 12 = 4*y, 3*g = -0*g - 3*y + 1020. Suppose g = -5*n + 902. Is n a prime number?
True
Let g(o) be the first derivative of -o**3/3 + 7*o**2/2 + 8*o - 1. Let u be g(8). Suppose u = 2*r - 969 - 389. Is r composite?
True
Is (3/(-12))/((-1)/31583)*4 a prime number?
True
Let r(w) = 18*w**2 - 11*w - 2. Let h(q) = 19*q**2 - 12*q - 3. Let i(m) = -4*h(m) + 5*r(m). Is i(-4) composite?
True
Let w(h) = -h**3 - 10*h**2 + 5*h - 12. Let d be w(-11). Let y = d - -1587. Is y a prime number?
False
Let w = -51 - -43. Let x(b) = b**3 + 10*b**2 - 2*b + 5. Is x(w) a prime number?
True
Suppose -1699 = -5*n - 4. Suppose 3*q - 554 = -2*q - 3*i, -3*q + n = 4*i. Is q composite?
False
Let c = -196 - -201. Let z(i) = -i + 44. Let v be z(0). Suppose m - c = v. Is m prime?
False
Suppose 18*r + 2195 = 23*r. Is r composite?
False
Let p(v) = v**3 + 14*v**2 + 13*v - 1. Let y be p(-13). Is (5 + y)*(-4 - (-3692)/16) a composite number?
False
Let s(m) = m - 4 - 5 - 10 + 0. Let h be s(10). Is 130 - (-5)/(15/h) composite?
False
Let c(y) = y**3 + 5*y**2 - 6*y - 6. Let t be c(5). Let h = t - -427. Is h composite?
False
Let t(z) = -3*z**2 + 5*z - 4. Let k be t(3). Let o = 6 - k. Is o a prime number?
False
Let c(f) = 514*f + 1. Let t be c(1). Suppose z + t = 5*d, -z + 371 = 4*d - 50. Suppose -2*h = -d - 30. Is h prime?
True
Suppose -4*g + 21076 = 5*k - 26675, k - 3*g = 9554. Is k composite?
False
Is (-9191)/(-26) - ((-3)/6)/(-1) a composite number?
False
Let b(l) = -l - 7. Let a be b(-9). Let f(m) = 32*m**3 + 2*m**2 + 1. Is f(a) composite?
True
Let s = -2294 + 9208. Is s prime?
False
Let j be (-18)/12 + 3 + 2/(-4). Let f(n) = 291*n + 2. Is f(j) composite?
False
Let q(l) = -2*l**3 + 0*l**3 + 10*l - 16*l - 9 + l**2 - 7*l**2. Is q(-5) a prime number?
False
Let i = 895 + -524. Suppose -g + i = -107. Is g a prime number?
False
Let c be (-20)/70 - (-211992)/14. Let p be c/6 + 3/9. Suppose -11*y = -7*y - p. Is y composite?
False
Let c(m) be the first derivative of m**3/2 - 15*m**2/2 + 4*m + 10. Let o(u) be the first derivative of c(u). Is o(8) prime?
False
Let t(f) be the second derivative of -f**3/3 + 5*f**2 + 3*f. Let p be t(4). Suppose 25 = p*k - 13. Is k prime?
True
Suppose 4*g + 2*a = 2564, -3*a - 1282 = -2*g - 7*a. Is g a prime number?
True
Suppose 3*q = 2*y + 16, 0 = -4*y - 8 - 0. Suppose 0 = -9*o + q*o + 5. Let g = 3 - o. Is g composite?
False
Suppose -2*t + t = -3239. Suppose -5*m = -4*a + 11141, -m = -3*a + t + 5125. Is a prime?
True
Let j(q) be the first derivative of -q**4/24 + 109*q**3/6 + q**2/