 3*h + n. Is h composite?
False
Suppose i + 29 - 163 = 0. Is i composite?
True
Suppose 32 = -3*d - 3*r + 113, -4*d + 98 = -r. Suppose 4*c + 1 = d. Suppose 2*z + 268 = c*z. Is z a composite number?
False
Suppose -8*d = -6*d - 1288. Suppose -3*v - d = -7*v. Is v a prime number?
False
Let j(f) = 41*f**2 - 10. Is j(-3) a prime number?
True
Let q(a) = -a + 12. Suppose 0 = 4*t + 10 + 2. Let p(h) = -2*h. Let i be p(t). Is q(i) a composite number?
True
Suppose 101 = 5*t + 3*a, 2*t + 11 = 3*t - 4*a. Is t prime?
True
Let u(n) = n + 32. Let c be u(0). Suppose -5*f = 10, 0 = -k - 2*f + c + 3. Let p = k + -18. Is p prime?
False
Let r = 6 + -14. Is (7*-2)/(r/148) composite?
True
Let p(r) = -r**3 + 7*r**2 - 6*r - 17. Is p(-8) prime?
True
Let p = 5 + -5. Suppose p*l - 15 = -l. Is l prime?
False
Let k be (-2)/6*-9*1. Suppose -4*o - b = -19 + 3, 4*o - b = 16. Suppose -k*p + o = 2*r - 8, 2*r = -5*p + 24. Is p a prime number?
False
Let n(w) = 8*w**2 + 6*w + 7. Is n(6) a composite number?
False
Suppose -2*o - 48 = 110. Let q = -33 - o. Is -1 - (-4)/(8/q) a composite number?
True
Suppose -3*i + 4003 = g - 0*i, 4*g - i = 16038. Is g prime?
False
Suppose -u + 13 = 4. Suppose -2*r + i + 20 = 0, -u = -r + i + 1. Is r a prime number?
False
Suppose -5*g + 6739 = 1154. Is g a prime number?
True
Let v(h) = 3*h**2 - 2*h + 4. Suppose -3*p + 7*r - 2*r - 13 = 0, 4*p + r = 21. Let m be v(p). Suppose -d + 87 = -m. Is d a composite number?
False
Let y = -3 + 5. Suppose -y*a - 4*t = -4, -3*a - 3*t + 9 = -0*t. Suppose 0 = -a*g + g + 42. Is g a composite number?
True
Let i(n) = n**2 - 2. Let j(q) = q**2 - q - 2. Let r(s) = 5*i(s) - 4*j(s). Is r(9) a composite number?
True
Let o = 5 + -3. Suppose 118 + 140 = 3*t - u, -2*u + 164 = o*t. Is t composite?
True
Let c = -6 + 8. Suppose -c*p = 2*p. Suppose 2*r + 2*r - 196 = p. Is r a prime number?
False
Suppose -i + 22 = 4*k - 3*i, -k + 33 = 5*i. Let v = k + -10. Is (-1 - 1) + 58 - v a composite number?
True
Suppose 2*g = -1 + 15. Let q = 5 + -3. Suppose g*m - q*m = 445. Is m a prime number?
True
Suppose 3*n - 7 = 2*m + 13, 5*m = -4*n - 4. Is 8/m - (-1 + -162) a composite number?
True
Let m(r) = r**3 + 5*r**2 - 4*r - 5. Let t be m(-4). Let y be (-1)/(24/t + -1). Is (0 - y - -2)/(-1) composite?
False
Let m(j) = -j**3 - j**2 + 4*j + 7. Let d be 161/(-35) + (-4)/10. Let h be m(d). Let g = -20 + h. Is g composite?
False
Let z be ((-300)/18)/(2/51). Let m(a) = -44*a - 4. Let x be m(6). Let u = x - z. Is u a composite number?
False
Let c(x) = 154*x**2 + 3*x + 3. Is c(-2) composite?
False
Let p(b) = 3*b**2 - 30*b + 53. Is p(30) a composite number?
True
Let p(d) be the third derivative of 0*d + 1/30*d**5 + 0 + 2*d**2 + 1/60*d**6 - 1/8*d**4 + 1/6*d**3. Is p(2) a composite number?
False
Let r = 28 - -459. Is r prime?
True
Let u be ((-4)/3)/((-6)/(-9)). Suppose -2*o = h + 2*h - 466, -4*o + 458 = 3*h. Is 1/u*h/(-1) prime?
True
Let v be 2*5 + -2 + 3. Let z(y) = 5*y**2 + y - 7. Let k(d) = 11*d**2 + d - 13. Let f(i) = 6*k(i) - 13*z(i). Is f(v) a composite number?
True
Let h be 6*3/(27/141). Suppose -5*p - h = -1439. Is p prime?
True
Let d be ((-9)/6)/((-2)/72). Let i = -21 + d. Is i prime?
False
Let d(a) = 31*a - 12. Suppose -3*k + 3 = 3*c, -c = -2*c - 4*k - 11. Is d(c) a prime number?
False
Suppose 9 - 25 = -s - 5*u, -u + 26 = 4*s. Let l(g) = 2*g - 9. Let v be l(s). Let r(k) = 2*k**2 - 5*k + 3. Is r(v) a composite number?
True
Let q(v) = -92*v**3 + v**2 + 3*v + 3. Is q(-2) a prime number?
False
Let s be (-2 + 4)/((-4)/(-74)). Suppose -4*t = -3*t - s. Is 2/(-2)*(2 - t) a composite number?
True
Suppose 46*t - 42*t = 568. Is t composite?
True
Let c(v) = v - 5. Let f(j) = -j + 6. Let b(u) = 5*c(u) + 4*f(u). Let i be b(3). Suppose -x + 4 = -w - i, -5*x = -w - 46. Is x a composite number?
True
Let m(q) = q**2 + 4*q + 1. Let b be m(4). Is b*3*(-21)/(-27) prime?
False
Let t be ((-3)/(-1) - 3) + -1. Let w(c) = 31*c**2 + c + 1. Is w(t) a composite number?
False
Let b = 3 - 2. Let n be b*(38 - 1 - -1). Let w = n - 12. Is w a composite number?
True
Let f(z) = -z + 58. Let u be f(0). Let h(l) = 28*l**2 - 1. Let p be h(1). Let c = u + p. Is c prime?
False
Suppose 3*m - p - 9587 = -2076, 4*p = 5*m - 12523. Is m prime?
True
Let y(a) = 2 + 1 + 34*a - 3*a. Let s be y(-3). Let c = s - -139. Is c composite?
True
Let r(b) = 8*b - 11. Let t be r(7). Suppose -t = -a + 29. Is a prime?
False
Suppose s - 2*f - 3841 = 0, f - 38 = -4*s + 15308. Is s a prime number?
False
Suppose -4*y = -2*y - 4. Suppose 4*i - 656 = -5*f + f, 0 = y*i + 4. Is f a composite number?
True
Let n(c) = -14*c - 17. Let o(b) = -5*b - 6. Let q(m) = -4*n(m) + 11*o(m). Let w be q(-1). Is (-6)/(-3)*17*w prime?
False
Let h = -3717 - -7132. Is h a composite number?
True
Suppose 4*c = 4, 2*c = 4*s - 37 + 3. Suppose 2*w - 2*o = 240, w - 4*o + 5*o = 120. Is 4/6 + w/s a prime number?
False
Let w(n) = 4*n**2 - 7*n + 23. Is w(-10) prime?
False
Let r = 474 - 113. Let c = -158 + r. Is c a prime number?
False
Let h(v) = 388*v - 9. Is h(5) a composite number?
False
Let n be 14*3/(-6)*2. Is 774/14 + 4/n a prime number?
False
Suppose -2*b - b + 17066 = 5*q, b + 13663 = 4*q. Is q prime?
False
Suppose 3*j = -3*z + 12, -z = 4*j - 0*z - 19. Suppose 15 = -j*d, 0 = 3*g + 3*d - 10 - 8. Let v = g + -2. Is v a composite number?
False
Suppose -7*l + 3*l - 12 = 0. Is (4/(-8))/(l/3246) prime?
True
Let l(h) = h**3 + 7*h**2 - 10*h + 3. Is l(-8) composite?
False
Suppose -p = 5*s + 604, 2*s = s - 5*p - 140. Let z = 226 + s. Is z prime?
False
Suppose 3242 = 2*p - 2*q, -q + 2 = -0*q. Is p prime?
False
Let o be (-2)/6 + (-57)/(-9). Suppose 2*x = o*x - 12. Suppose 0 = -x*i + 58 + 41. Is i a composite number?
True
Suppose 20 = 4*l, 5*d + 0*l = -l + 695. Suppose 5*t + d - 873 = 0. Suppose -108 - t = -5*m. Is m composite?
True
Let x(r) = r**2 + 8*r + 5. Let g be (-1)/(-2)*(-56)/4. Let d be x(g). Is 30 + 5 - 6/d composite?
True
Suppose 9*x = 5*x - 472. Let c = -35 - x. Is c composite?
False
Suppose 3*b = -y + 161, b - 78 = -3*y + 405. Is y a prime number?
False
Suppose 5*x - 32 = 4*k, 0*k + 4*k + 3*x = 0. Suppose -3*z - 25 = 2*z. Let w = k - z. Is w composite?
False
Let h(y) = 1 + 0 + 2 + 36*y + 4. Is h(7) a composite number?
True
Suppose -2*s + 576 = s + c, 0 = -3*s - 4*c + 585. Is s a prime number?
True
Let b(q) = 8*q - 3. Suppose 4*d - 48 = -5*o, -5*d - 4*o = -24 - 27. Is b(d) a prime number?
True
Suppose 5*n = 2*l - 689, 1730 = 5*l - 5*n - 0*n. Is l a prime number?
True
Let b(a) = a + 36. Is b(-13) prime?
True
Suppose 2 = -d + 108. Is d composite?
True
Let p = -748 - -447. Let a = -158 - p. Is a prime?
False
Let n(i) = 3*i**2 - 4*i - 11. Is n(8) composite?
False
Let j(l) = 2*l**2 - 6*l**3 - l - 5*l**3 - 4*l**2. Is j(-1) a prime number?
False
Let j(f) = -f + 3*f**2 - 1 - 5*f + 2*f. Let l be 6*2*(-5)/(-10). Is j(l) a composite number?
False
Let h(o) = -o**3 + 7*o**2 - 3*o - 3. Let j(w) be the second derivative of -w**4/12 - 3*w**3/2 - 4*w**2 + w. Let f be j(-7). Is h(f) a composite number?
True
Let a(o) = 2*o**3 - o + 2. Let z be a(2). Suppose -2*p = -2*u + z, -31 = -7*u + 4*u - 4*p. Is u a composite number?
True
Let k = -754 + 1292. Is k a composite number?
True
Suppose 4*g = 4*w - 3*w + 141, 0 = 3*g + 5*w - 123. Let r = -15 + g. Let h = 0 + r. Is h a composite number?
True
Let h(t) = 116*t**3 - 3*t**2 + t + 1. Is h(2) prime?
True
Let u(m) = -44*m**3 + m**2 + 5*m + 1. Is u(-4) a composite number?
True
Let d(w) = w**2 - 2. Suppose -2*t - 4*s = 13 - 3, 0 = 4*t + 4*s + 28. Let m be (-8 + 7)/(1/t). Is d(m) composite?
False
Let z(q) = 15*q**2 + 4*q + 4. Is z(-3) a prime number?
True
Let r(k) = 65*k**2 - 1. Let m be r(-2). Is m - (2 - 2)/2 a prime number?
False
Suppose 5*g - 75 = 5*c, 0 = 5*g - c + 2*c - 45. Suppose -22 = -4*y + g. Let a(m) = 6*m**2 - 11*m + 11. Is a(y) a prime number?
True
Suppose -r = -2*r - 5*k + 621, 2*k = 2*r - 1230. Suppose 4*t - 5*v = r, 5*v = 4*v - 4. Is t a prime number?
True
Suppose 2*r - 4*h - 68 = -2*h, h + 92 = 3*r. Let s = 19 - 11. Is 4/s + r/2 a composite number?
True
Let x be 6/8 - (-95)/(-20). Let l = -3 + 7. Is (-1)/x + 91/l composite?
False
Suppose 5*j = j - 3*p + 26, 0 = 5*j - 2*p - 21. Suppose j*w - b - 397 = 0, 2*w = -0*b - 4*b + 150. Is w a composite number?
False
Let m = -127 + 1442. Is m composite?
True
Let