
True
Let c(f) = f**2 - f + 1. Suppose 2*t + 3*h + 0*h = 43, -5*t + 2*h = -60. Suppose -11 = 5*q + t. Is c(q) composite?
False
Let h(b) = 128*b + 1. Let g be h(2). Suppose -275 = -z - 3*z - 5*j, -4*z + g = -j. Is z prime?
False
Suppose 0 = i + 3*u - 124, 0 = -i + 2*u - 47 + 156. Is i a composite number?
True
Let o(h) = h**2 + 8*h + 7. Let z be o(-5). Let m(f) = -20*f + 3. Is m(z) a composite number?
False
Let v(p) = 292*p - 5. Is v(1) a prime number?
False
Let f(d) = -5*d - 6. Suppose -3*m - 2 = -k, 2*m - 6 = -k - 2*k. Suppose -k*b = -5*r - b - 24, -4*r = -4*b + 16. Is f(r) composite?
False
Let f be 9 + (1 + -3 - 0). Let i = 44 - 30. Is 2/f + 2278/i a composite number?
False
Suppose -4*m + 4*g = -120, 0 = -4*m + m + 2*g + 94. Suppose 0 = -2*b + v - 3*v + m, 4*b = -3*v + 70. Is b a prime number?
True
Let k be (-11132)/(-10) + (-3)/15. Let l = -599 + k. Is 6/21 + l/14 prime?
True
Is (629 + -3 - -1) + 4 a prime number?
True
Suppose -5*t + 0*t + 70 = 0. Let d = t - 10. Suppose -2*b - 195 = -5*j, j + b = d*j - 116. Is j prime?
True
Let a = 1038 - 6210. Is (2/(-6))/(4/a) prime?
True
Let m = 4599 + -7858. Let t = -2118 - m. Is t composite?
True
Let u = 144 - 29. Is u composite?
True
Suppose -12*m + 316 = -8*m. Is m composite?
False
Suppose 0 = 6*c - 519 - 423. Is c a prime number?
True
Let t be (1 - -1)/((-10)/3505). Let i = t + 988. Is i prime?
False
Suppose -38 = -4*s + 174. Is s a composite number?
False
Let z = 9 - 6. Suppose r - z*v + 4 = 0, -3*r + 2*v = -0*r - 9. Suppose d = -r*l + 486, 5*l - 8*d + 3*d = 480. Is l prime?
True
Suppose -2*m - 2*v + 116 = 0, 0 = -3*m - 5*v + v + 177. Is m prime?
False
Let h(q) be the second derivative of 3*q**5/20 - 5*q**4/12 - q**3 + 13*q**2/2 + 7*q. Is h(6) a composite number?
True
Suppose -m + 31 + 88 = 0. Is m prime?
False
Suppose 0 = 6*y - 5*y - 91. Is y a prime number?
False
Let l be (-5)/(-1)*(-6)/15. Is (-3 + 3/3)*l a composite number?
True
Is (-1*1/1)/((-2)/106) a prime number?
True
Let z = 0 - 1. Let d be (3/2)/(1/(-12)). Is z - (d - 1)*2 prime?
True
Let t(i) = -i**3 - 4*i**2 - 2*i + 3. Let u be t(-3). Suppose u = 3*j - 12, -2*r + 67 = r + j. Is r composite?
True
Let k = -1 - 2. Let i(x) = 2*x. Let d be i(k). Let s = -2 - d. Is s a composite number?
True
Suppose -175 - 1718 = -3*w. Is w a composite number?
False
Let i = 471 + -278. Let k = -138 + i. Is k a composite number?
True
Is (39/(-2))/(-3)*2 a prime number?
True
Suppose 4*c + 3*g - 20 = 0, c - 7 - 7 = -3*g. Suppose 83 = c*k - 147. Is k a composite number?
True
Let w(i) be the second derivative of i**4/4 + i**3/6 - i**2 - 5*i. Suppose -4*s + 0*s = 12. Is w(s) a composite number?
True
Suppose -4*y + 10 = 3*o - 0*o, -y + 6 = -o. Suppose 0*p - 24 = -4*p + u, y*u = -2*p + 30. Is p composite?
False
Let f(i) = -i**3 - 4*i**2 - 4*i - 3. Let b be f(-3). Let m = 3 - b. Suppose -2*x - m*x + 265 = 0. Is x composite?
False
Suppose 5*n - 76 = 4*r, 0 = -2*n - 3*r + 4 + 8. Suppose n = 2*u + 2. Suppose -7 = -u*l + 23. Is l a composite number?
True
Let y(p) = 2*p**2 - p + 1. Is y(-6) prime?
True
Let u = -14 - -85. Let q = u + -32. Is q prime?
False
Let x(s) = 4*s**2 - 4*s + 1. Let r be x(3). Suppose 3*n = -4*b + 5, -b + 0 - r = -3*n. Is n composite?
False
Suppose -4*b = -9*b. Let q be b/(-1) + -29 + -1. Is (344/10)/((-12)/q) prime?
False
Is 134*((-20)/(-8) + -2) a composite number?
False
Is 1546*15/24 - 15/(-20) a composite number?
False
Let v be (-404)/2 + (-18)/(-6). Let m = v - -345. Is m a prime number?
False
Let u(i) = i**3 + 15*i**2 - 6*i + 3. Is u(-13) a prime number?
True
Suppose -5594 = -9*c + 4765. Is c a prime number?
True
Let l = 1093 - 714. Is l composite?
False
Let h(r) be the third derivative of -r**5/60 - 25*r**3/3 - 3*r**2. Let j be h(0). Let n = j - -133. Is n composite?
False
Is -62*14/(-4) + 2 a composite number?
True
Let p(m) = -m + 27. Let c be p(17). Suppose 11*n = c*n + 967. Is n a prime number?
True
Let p(q) = -12*q**2 + q - 6. Let w(h) = -11*h**2 + h - 7. Let c(b) = -6*p(b) + 5*w(b). Is c(-8) a composite number?
False
Let z(y) = 6 + 2 + 2*y + 5 - 6. Is z(12) a composite number?
False
Is 14/18 + 6/27 + 1834 a prime number?
False
Suppose 3*h + l = 1154, -4*h - 4*l + 2508 = 972. Suppose 5*g - h = 310. Is g prime?
True
Suppose 2*b + 0*w = -5*w + 31, -3*b + 56 = -2*w. Let p = -3 + 42. Let t = p - b. Is t a prime number?
False
Is ((-1176)/(-4) - 1) + -2 a composite number?
True
Let a(y) = -210*y**2 - 3. Let i(f) = f**2 + f - 1. Let n(v) = -a(v) + 2*i(v). Is n(-1) composite?
False
Let p = -217 - -960. Is p composite?
False
Suppose 0 = -2*b - 10*b + 3828. Is b composite?
True
Let t(u) = 8*u**2 - 12*u - 5. Is t(-9) prime?
True
Suppose 4*p - 3*a = -2*a + 3817, a = 3*p - 2864. Is p composite?
False
Let q(t) = 299*t**2. Is q(-1) composite?
True
Let u(f) = -f. Let n(p) = -54*p. Let r(g) = 2*n(g) - 6*u(g). Let x be r(-1). Suppose -x = -3*v - 3. Is v composite?
True
Suppose -4*z = 3*y - 2, 9*y - 5*z = 4*y + 15. Let k be y*(-1)/(-2) + 0. Is 11 + 0 + 1 - k a composite number?
False
Suppose 0*f + 5*f = 1855. Is f prime?
False
Let j(p) = -p**2 - 7*p - 4. Let f be j(-6). Suppose -4*i - 85 = -3*l, -4*l + f*i - 3*i = -126. Is l a composite number?
False
Let y be -2*9/6 - -9. Suppose y*z = 2*z + 124. Is z composite?
False
Let k be (-14)/(-4) - (-12)/(-8). Let n be -1 + 7 + (1 - k). Suppose n*l - 3*l = 254. Is l composite?
False
Let x(c) = -c**3 + 9*c**2 + 2*c + 3. Is x(7) prime?
False
Let f(k) = 29*k - 5. Let p = -3 - -5. Is f(p) composite?
False
Let w(x) = -3*x + 4. Let t be w(4). Suppose -4*h = -3*h - 1. Is (-4)/t*h*4 prime?
True
Let n = -3184 + 5577. Is n prime?
True
Let d = 1 + -4. Let v = 6 + d. Suppose -v*p + 15 = -2*p. Is p a composite number?
True
Let p(z) = -24*z - 4. Let i be p(-12). Suppose 3*d - 7*d = -i. Is d prime?
True
Let n(c) = 3*c**3 + 30*c**2 - 19*c - 42. Let s(d) = -d**3 - 10*d**2 + 6*d + 14. Let q(x) = 3*n(x) + 8*s(x). Let i be q(-11). Let b = -17 - i. Is b composite?
False
Suppose -2*q = -873 - 421. Is q a composite number?
False
Suppose 2*x + 3*o = 1270, -x - 2*o + 1905 = 2*x. Is x a composite number?
True
Let n = 1490 - 811. Is n composite?
True
Let t = 3 + -5. Let a be (-2)/(t/(-3)) + 38. Let b = -16 + a. Is b a prime number?
True
Suppose -4*k + 2176 = -52. Is k a prime number?
True
Suppose t = -0*t + 307. Is t composite?
False
Suppose 5*o = 15, -25 = -i + o + 30. Suppose d - i = 9. Is d composite?
False
Suppose -3*v = 4*h - 9, 4*h = 2*v + 2*v + 44. Let k = h + 41. Is k composite?
False
Let w = 3 + 2. Suppose 2*m = a + 1, 5*a - 2 = w*m + 3. Suppose a*q - 17 = -3*k + 7, 0 = q - k - 18. Is q composite?
False
Suppose -2*k = m + 11, -3*k - 2*k = m + 20. Is (k - 3)*(-4 - -3) composite?
True
Let b = -15 - -21. Suppose -18 = -5*u + u + x, -4*u - 5*x = -b. Suppose 5*s + u*l = 163, 4 = -2*s - 5*l + 59. Is s composite?
True
Suppose 3*m = 3*d - d - 41, -2*m - 4*d = 38. Let n = m + 28. Is n prime?
True
Let w(b) be the third derivative of 23*b**5/60 - b**4/12 - b**3/6 - b**2. Suppose -2*l = k, l = 5*k + 1 - 23. Is w(l) composite?
True
Let m = -709 + 1362. Is m a composite number?
False
Suppose 0 = 4*b - b - 1131. Is 2 + b - 0/(-2) prime?
True
Let j(l) = 109*l**2 - 3 + 3 + 1. Is j(-2) a prime number?
False
Suppose -5*l - 2156 = -4*x - 10807, -4*l = 3*x - 6896. Is l a composite number?
True
Is 2/(-10) - -3446*(-4)/(-20) a prime number?
False
Let i(w) be the second derivative of 1/2*w**2 - 2*w**3 + 0 + 3*w. Is i(-3) a composite number?
False
Let s = 47 + 84. Is s composite?
False
Let n(f) = 53*f**2 + 2. Is n(-3) a prime number?
True
Let s(h) = -9*h**3 + 7*h**2 + 6*h + 5. Is s(-4) a composite number?
True
Let x(j) = -j - 1. Suppose 3*p - 17 = -5*v, 6 + 1 = p + 3*v. Suppose -p*k + 0*k - 20 = 0. Is x(k) composite?
True
Suppose 3*c + 0*r - 182 = -5*r, -4*r + 286 = 5*c. Let v = -22 + c. Suppose 0 = -5*h - 5*p + 35, -v = -4*h - h - 4*p. Is h a composite number?
True
Let a be 16/(-1 + 2/6). Let d be (-5)/(15/a)*-1. Is (-1142)/(-6) - d/12 a prime number?
True
Is (2/(-4))/(35964/(-7192) - -5) composite?
True
Suppose 2*j + 1 = 3. Let h(d) be the first derivative of 15*d**4/4 + d**2/2 - d + 1. Is h(j) prime?
False
Suppose 1 = v + g, 0 = 3*v + 2*g - 3 + 1. Suppose 0 = p - 6*p + 5*b - 15, 2*p - 4*b = 2. Is (p - -139) + -1 + v prime?
True
Suppose -5*n + 551 + 39