. Let d(m) = -m**3 - 7*m**2 - 2*m. Is d(f) a prime number?
False
Suppose 5*d = -1 - 14. Let m(h) = h**3 + 2*h**2 - 4*h - 2. Let f be m(d). Is (1/f - 2)*-19 a composite number?
False
Suppose -5*n = -3*n - 2*d, 3*d = -2*n + 15. Let s(p) = -p**3 - 5*p**2 + 5*p - 8. Let v be s(-6). Is 1/(v/(-29 + n)) prime?
True
Suppose -164 = -3*o + 76. Suppose o = s + 3*a, 5*s + 2*a = 39 + 348. Is s a composite number?
True
Let c(h) = -6263*h - 6. Is c(-1) a prime number?
True
Let c(o) = -o**3 + 6*o**2 + 5*o + 7. Suppose 2*x = -2*t + 6*t + 16, 5*x - 32 = 2*t. Is c(x) composite?
False
Suppose -5*c + 1076 = -c. Is c a composite number?
False
Suppose 5*r - 98 = 3*r. Suppose -l + 2*l = r. Is l a composite number?
True
Suppose -v + 375 = 3*d, -d = 2*d + 6. Is v prime?
False
Let t be 1 + (-3)/((-3)/2). Let i(g) = -g**2 + 3*g - 4. Let b be i(t). Is (-1)/b + (-902)/(-8) composite?
False
Let d be (-2)/(-7) - 57/(-21). Suppose a + d*a - 40 = 0. Let b = a + -3. Is b prime?
True
Let t(w) = -w**2 - w + 85. Let z be (0/2)/((-5)/5). Is t(z) a composite number?
True
Let s(p) = p**3 + 2*p**2 + 2*p + 119. Is s(0) a composite number?
True
Is (-25084)/(-5) + 2*(-6)/(-60) a prime number?
False
Suppose 0 = j + j - 14. Let b = j + 6. Is b composite?
False
Suppose -4*z + 220 = -896. Let p be (-4)/(z/(-141) + 2). Let t = p + 347. Is t a composite number?
True
Suppose -2*j + 5 = 3*x, 5*x + j + 0*j - 13 = 0. Let k = 25 + -21. Suppose x*f - 8*f + 5*s + 15 = 0, -k*f = 3*s - 33. Is f composite?
True
Let a = -44 + 23. Let z be (0 + a)/(3/204). Is (-1)/(-5) + z/(-10) a prime number?
False
Let b(f) = -f + 1. Let r be b(0). Let l(z) = 5 + 2*z + r + z. Is l(5) a prime number?
False
Suppose 5*w + 5*p = 969 + 1206, 2*p + 1716 = 4*w. Is w composite?
False
Let y = -347 - -640. Is y a prime number?
True
Let y(j) = j**3 + 2*j**2 + 2*j + 3. Let x be y(-2). Let h be x + (1 - 0)*5. Suppose h*m = 7 + 21. Is m composite?
False
Suppose 5*f - 13 = -4*h, h - 3*h - 3*f + 7 = 0. Suppose 0 = -h*n - n + 177. Let a = n + 104. Is a prime?
True
Suppose 6*q = 2*q - 456. Let k = 211 + q. Is k a prime number?
True
Let c(q) = 11*q**2 - 21*q + 17. Is c(-8) a composite number?
True
Let l be 27/(-4) - 3/12. Let u(x) = -x**2 - 10*x - 9. Let z be u(l). Suppose -4*t + 2*t + z = 0. Is t prime?
False
Let k(s) = -s**3 + 2*s + 253. Is k(0) prime?
False
Let s = -7 + 5. Is -1 - (s/(-2) - 35) composite?
True
Let n = 31 + -21. Suppose 68 = u + n. Is u + (1 - -1) - 2 a prime number?
False
Let o(w) = w**2 + w + 12. Let d be o(0). Let y be (-2 + d)*6/(-4). Is (1 + 21)/((-10)/y) composite?
True
Suppose 0 = h + 4*s - 326, -4*s + 2*s = 3*h - 978. Let r = h - 75. Is r composite?
False
Let x(s) = s**2 - 12*s + 6. Suppose -4*t = -t + 2*d - 45, -2*d - 33 = -3*t. Is x(t) a prime number?
True
Suppose 3*i = 3*a - 75, 2 + 38 = -i - 4*a. Is (-1718)/(-14) + (-8)/i composite?
True
Let j be (8/10)/(1/(-5)). Let x = 6 + j. Suppose x = 2*w - 12. Is w a prime number?
True
Let c = 195 - -254. Is c a prime number?
True
Let x = 3 - -2. Suppose x*a - 634 = 111. Is a a composite number?
False
Let q(p) = p**3 - 8*p**2 - 9*p + 2. Let t be q(9). Suppose i + 2*x + 0 = 11, 0 = -4*i - t*x + 74. Let s = i + -14. Is s a prime number?
True
Let t(i) be the third derivative of -i**4/24 - 5*i**3/3 - 2*i**2. Let c be t(-9). Is c*-9*9 + -2 a prime number?
True
Is 20/(-5) + 792 + -1 a prime number?
True
Suppose 0 = 5*s - 0*s - 450. Suppose 4*r + s + 37 = 3*m, -r - 191 = -4*m. Is m a prime number?
False
Let w(d) be the second derivative of 1/2*d**2 + 29/3*d**3 - 2*d + 0. Is w(1) a prime number?
True
Suppose -4 = -o - 3*o, 3*o = -3*y + 5586. Is y prime?
True
Let x = -19 - -52. Is x a prime number?
False
Suppose 0 = g - 0*g + 169. Let f = g - -248. Is f composite?
False
Is 966 - ((-6)/(-8) + (-70)/40) prime?
True
Let m = -1 + -1. Is (-5)/10 - 79/m prime?
False
Suppose 0*w = 4*w - 32. Let o be (-2)/5 + w/(-5). Let l = o + 27. Is l a composite number?
True
Suppose 6*n + 0*n - 2814 = 0. Is n composite?
True
Let c = 3 + -1. Let y be 11*(c + 0)/2. Is 2/y - 603/(-11) a prime number?
False
Let x = 136 + -77. Is x prime?
True
Suppose 0*j + 2*j - 4 = 0. Let w be (-2)/((1 + j)/18). Is (-2 - -7)*w/(-20) a composite number?
False
Let j(l) = l - 22. Let k be j(11). Let f(v) = -5*v**3 - 6*v**2 + 2*v + 18. Let m(q) = -q**3 + q**2 + q + 1. Let a(b) = f(b) - 4*m(b). Is a(k) composite?
False
Suppose -545 = -4*k + 59. Suppose -2 = -3*t + 4, -3*o + k = 2*t. Is o prime?
False
Suppose 3752 = 3*c + 5*c. Is c prime?
False
Let q(l) = 7*l**2 - 8*l - 14. Let s(u) = -2*u + 5. Let o be s(-3). Is q(o) prime?
False
Let f be (4/(-6))/((-1)/(-450)). Let x = f + 438. Is (x/(-9))/(1/(-3)) a composite number?
True
Suppose t - 33 = 3*w, 2*t = -2*w + t - 27. Let r be -2*(-3)/w*-6. Suppose -5*f - r*z + 173 = 0, -169 = -5*f - 2*z - 2*z. Is f prime?
True
Let r(k) = -2*k - 11. Let j(h) = h + 1. Let f(s) = 4*j(s) + r(s). Is f(9) composite?
False
Let i(u) = 74*u**3 - 3*u**2 - 7*u + 9. Is i(3) a prime number?
False
Suppose 3*o + 6*n - n - 39 = 0, o + 3*n - 13 = 0. Suppose -z + 0*z = -l + o, -2*z = l - 28. Suppose 4*r - 204 = -4*c, c - l = 5*r + 45. Is c composite?
False
Let v(l) = 40*l**2 + l - 10. Is v(-3) a composite number?
False
Suppose -i + 5*p = -54, i + p - 104 = -4*p. Suppose -5*l + 96 + i = 0. Is l prime?
False
Suppose -f - 332 = -5*f. Is f a prime number?
True
Suppose 3*j + 20 = 4*j. Let z be 1288/j + (-4)/10. Let a = -39 + z. Is a a composite number?
True
Let s(m) = -m**2 - 2*m**3 - 13*m + 11*m - 3 - 5*m**3. Is s(-2) a prime number?
True
Let q(a) be the third derivative of -a**5/60 + a**4/4 + 7*a**3/6 - a**2. Suppose 0 = r - 5*r + 4*k + 40, -3*r = -5*k - 38. Is q(r) a prime number?
True
Suppose -4*m + 4808 = -2220. Is m a composite number?
True
Let r = 785 - 406. Is r a composite number?
False
Let y = -139 - -354. Is 2 - 2*y/(-2) a composite number?
True
Let r(t) = -6*t**3 - 3*t**2 - 11*t + 5. Is r(-6) a composite number?
False
Let l(n) = n**3 - 5*n**2 + 4*n + 4. Let o be l(4). Suppose -o*t = 2*g - 22, 2*t + 2*t - g - 19 = 0. Is (t/3 - 2)*-582 composite?
True
Let m(d) be the first derivative of d**3/3 + d**2/2 - 2*d + 3. Is m(3) composite?
True
Suppose -2*z + 47 = n - 4*z, -5*n + 5*z + 260 = 0. Is n a prime number?
False
Suppose 51 = 3*n + 3*k, -5*k + 16 = 6. Is n composite?
True
Let r = 104 + 5. Is r a composite number?
False
Let j(u) be the third derivative of -43*u**4/24 + 5*u**3/6 + 10*u**2. Let k be 9/((-3)/2 + 0). Is j(k) a prime number?
True
Suppose 4*l - 12 = 0, 5*l = v - 6*v + 40. Suppose -v*q = -393 + 118. Is q a composite number?
True
Let b(r) = 43*r**2 - 9*r + 15. Is b(4) prime?
False
Suppose -3 = -4*k + 5. Suppose k*s = -5*m + 4, -6*s + 3*s - m + 19 = 0. Suppose s*x - 52 = 3*x. Is x a composite number?
False
Let n = 85 + -46. Is n a composite number?
True
Let m(c) = -5*c + 4. Is m(-2) a composite number?
True
Let k(t) = 12*t - 3. Let f be k(2). Suppose 5*z + 3 + 7 = -2*b, 5*b + z - f = 0. Suppose -3*o = b*q - 141 + 31, 5*q = -2*o + 75. Is o a prime number?
False
Suppose -o - 745 = -6*o. Is o a prime number?
True
Let m be (-4)/(-3)*(-21)/(-14). Suppose 0 = 3*h + m*p - 347, -3*h = -2*h - 2*p - 105. Is h prime?
True
Suppose -3*g - 9 = 0, y - 4*g = 5*y. Let n(q) = y - 67*q - 4 + 1. Is n(-1) a composite number?
False
Suppose -5*o - 291 = -6*o. Is o a prime number?
False
Let v = -181 + 260. Suppose 4*q = n - 9 - v, -4*n = -4*q - 304. Let z = n + -47. Is z composite?
True
Suppose -5*r + 7*r = 2542. Is r composite?
True
Suppose -5*d + 25 = -0*d. Suppose 239 = 4*h - d*a, 3*a - 81 = -h - 0*h. Suppose 0 = -2*f + 104 + h. Is f composite?
True
Let z = -2 - -2. Let x be -6 + 5 + 3 + z. Suppose -x*f = -4*n + 202, 73 = n + 4*f - 0*f. Is n a composite number?
False
Let i = 92 + -25. Let q = 16 + i. Is q a prime number?
True
Let o = -501 - -958. Is o composite?
False
Let s be -2 - -5 - (5 - -1). Is (3 - -22) + s + -3 composite?
False
Let y(k) = 44*k**2 - 17*k + 2. Let d(f) = 29*f**2 - 11*f + 1. Let v(j) = 8*d(j) - 5*y(j). Let t be v(-2). Let q = -31 + t. Is q composite?
True
Let q = -403 + 681. Suppose 6*u + q = 3*o + u, 0 = -2*o - 4*u + 178. Is o prime?
False
Let l = 2 + 3. Suppose l*p - 1407 = 878. Is p a prime number?
True
Let y be 0 - (4/(-2) - -2). Let b = 40 - 38. Suppose -3*v + 5*n - 1 + 11 = 0, 2*v - b*