
True
Suppose 0 = 3*t + 5*t - 20184. Is t/6*2 - -1 composite?
True
Suppose 24*k - 14497 = 5927. Is k prime?
False
Let s(k) = -3*k**3 - 3*k**2 + 9*k + 5. Suppose 0 = -4*u + 3*l - 1, 3*u + 4*l = -2 - 30. Is s(u) composite?
False
Let t = -239 + 163. Let h(z) = -114*z**3 + 2*z**2 - 1. Let i be h(1). Let d = t - i. Is d a composite number?
False
Let h = -41 + 48. Let i(u) = 275*u + 54. Is i(h) a prime number?
True
Suppose 296397 = 150*j - 141*j. Is j a prime number?
True
Suppose -u + 2*r = 4*u + 6153, 4*u + 4920 = r. Let d = u - -2847. Suppose -4*y + 4377 - 1169 = -b, -2*y - 3*b = -d. Is y a composite number?
True
Is (70/(-80))/(-7) + (-141070)/(-16) a composite number?
True
Let p be (18/(-4) - 1)*4. Let j be 24/14 - p/77. Suppose 3*y = -j*y + 3395. Is y composite?
True
Let u(b) be the second derivative of 25*b**4/6 - b**3/6 - 8*b**2 - b. Is u(5) composite?
False
Let m = 116 - 30. Let f = -14 - m. Let o = 291 + f. Is o a composite number?
False
Let a be 6/3 + 39/3. Let j(b) = -b - 15. Let i be j(-19). Suppose -o + a = -i*z, o = 3*o - 2*z - 54. Is o a prime number?
True
Let q = 25979 - 7362. Is q a prime number?
True
Let i(g) = -464*g - 279*g + 2 + 44*g. Is i(-1) prime?
True
Let x be (2 + (-6)/4)*6. Suppose -3*m = -5*d + 2765, -3*d + 6*m = x*m - 1659. Is d a prime number?
False
Let v(q) = q**3 + 3*q**2 - 7*q + 1. Let b be v(-4). Let y = 4836 + b. Is y a prime number?
False
Suppose -1631 + 419 = -3*f + 3*d, -15 = -5*d. Is f composite?
True
Let o = -4 + 13. Let t be 15*1 - 39/13. Suppose -t*j + 1167 = -o*j. Is j composite?
False
Let l(y) = -7*y**3 + 2. Let a(g) = -g - 4. Let u be a(-8). Suppose -5*b + 0*i = i + 17, -i - 14 = u*b. Is l(b) a composite number?
False
Let t = 31 - 27. Suppose 3*z = t*z - 5. Suppose -k = -5*w + 795, -z*w - 4*k + 795 = -2*k. Is w composite?
True
Let d = -4573 + 2441. Let g = d + 3283. Is g a composite number?
False
Suppose 3*s + 2*j - 2 - 7 = 0, 0 = 3*s - 4*j + 9. Let n(w) = -4 + s - 14*w - 18*w. Is n(-5) a prime number?
True
Is 1/(1386080/(-154010) + 9) a composite number?
False
Let l(z) = z**2 - 3*z. Let n(g) = 1. Let i(x) = l(x) - 2*n(x). Let o be i(4). Is o/((2/149)/1) composite?
False
Let z = 450 + 173. Suppose 0 = 3*j - 298 - z. Is j prime?
True
Is ((-75)/10 - -9)*1346/3 prime?
True
Let i(f) = -6*f**2 + 1 + 5*f**2 - f + 5*f**2 + 79*f**3 - 8*f**3. Is i(2) a composite number?
True
Let j = 1336 - 45. Is j prime?
True
Suppose 2*b - 25 = -5*h, -5*b - 15 = -0*h - 3*h. Let z(y) = -y. Let x be z(-4). Suppose -35 = -w + h*f, x*f = 3*f - 2. Is w a composite number?
True
Let n = -4 + 6. Let k(p) = 3*p - 2. Let y be k(n). Suppose 23 = -y*v + 127. Is v composite?
True
Let y(p) = 32*p + 3. Let s(d) = 2*d - 4. Let c(j) = -j. Let x(h) = 5*c(h) + s(h). Let m be x(-4). Is y(m) composite?
True
Let b(l) = 9*l + 3. Let q(d) = -5*d - 1. Let s(i) = 6*b(i) + 11*q(i). Let r be s(5). Suppose r*y - 22 = -0*y. Is y prime?
True
Suppose 0 = -2*b + 3*t - 6*t + 995, b + 4*t - 490 = 0. Is (9 - 15)*b/(-12) composite?
False
Let x = -7056 - -16869. Is x composite?
True
Let l be 2*(-1 - -2)/2. Let d be 14 + -13 + 2641/l. Suppose -d = -2*r + 3644. Is r composite?
True
Suppose -6*m = -m - 65. Suppose -4*k + 5 = m. Let i = 21 + k. Is i composite?
False
Let i(k) = k**3 + 9*k**2 + k + 9. Suppose -y - 9 + 0 = 0. Let u be i(y). Suppose -h + 30 = -2*v, 0 = -u*v - 5*v - 20. Is h a prime number?
False
Let s be -2*(32345/10 - 3). Is -3 + 15/9 - s/3 a composite number?
False
Is 2*205 + 5 + 12/(-6) composite?
True
Let m = -150 - -102. Is (m/9 - -6)/((-4)/(-4722)) a prime number?
True
Suppose -73*k - 10 = -78*k. Suppose -1008 = -2*t + 2*o + 2596, -k*o + 3600 = 2*t. Is t prime?
True
Let p(d) = -9*d**3 + 7*d**2 + 7*d. Let j be p(-5). Suppose 8*q = 3*q + j. Is q a prime number?
False
Is 1365 - (-28)/(5 + -12) a composite number?
False
Let a(c) be the third derivative of c**6/120 - 11*c**5/60 + 7*c**4/24 + c**3/3 + 9*c**2. Is a(11) prime?
True
Let z(q) = 89*q**2 + 20*q - 115. Is z(11) a prime number?
False
Let u(s) = -26*s - 51. Let f(w) = -51*w - 103. Let r(b) = -6*f(b) + 13*u(b). Is r(-19) prime?
True
Let m(z) = 1378*z + 283. Is m(11) composite?
True
Let l be ((-80)/(-6))/((-10)/210). Let y = l + 64. Let g = y + 407. Is g a prime number?
True
Let m(y) = 3*y**2 + y + 9. Suppose -x + 5 - 1 = l, -x = 4*l - 16. Suppose -4*f - l = -0, 0 = -3*d + 2*f - 13. Is m(d) a composite number?
False
Suppose h + 3*f = 2*h - 683, 2*f + 10 = 0. Let l = h + -96. Suppose 2*a = -2*a + l. Is a composite?
True
Let g = -41 - 19. Is g/36 + (-362)/(-3) composite?
True
Let g = -18845 + 29676. Is g a composite number?
False
Let s(d) = 5158*d - 15. Is s(1) a prime number?
False
Let c be 5*10/(-25)*(-6)/(-4). Is (5/15*c)/((-1)/745) composite?
True
Suppose -1617*v - 6 = -1615*v. Suppose -3*m + 0*m + 193 = 2*a, -2*a = -4*m - 186. Is a + (v + 11)/4 a composite number?
False
Let b = 34 + -23. Let o = 24 - b. Let c = o + 24. Is c a prime number?
True
Suppose 138*g - 146*g + 110888 = 0. Is g composite?
True
Suppose m = -1 - 1, 0 = -q + 5*m - 126. Let w = -77 - q. Is w a composite number?
False
Let m(g) = 5*g + 9 + 104*g**2 - 6*g + 1 + 0. Is m(5) a prime number?
False
Let r be (-1)/((70/(-940))/7). Let j(f) = -f**2 - f - 6. Let x be j(-6). Let y = x + r. Is y prime?
False
Suppose 0*h + 2356 = h + 3*q, 2360 = h + 4*q. Suppose 0 = 3*w + w + 4. Is (w/((-4)/h))/2 a composite number?
False
Let x(w) = w**2 + 6*w - 94. Is x(27) a composite number?
False
Suppose -4*c + 27 = -c. Suppose u + 11 + c = 0. Is 2/10 - 12256/u a prime number?
True
Let h(s) = -s**3 - 11*s**2 + 11*s - 14. Let z be h(-12). Is (z - (0 + -3))*317 prime?
True
Suppose 0 = 12*b - 95 + 23. Suppose -742 - 1520 = -b*r. Is r composite?
True
Let d = 8108 + -1698. Suppose -3*h - 5*p + 9629 = 0, -6*p + d = 2*h - 5*p. Is h a composite number?
False
Is (49221/45)/((-9)/(-15)) prime?
True
Let c be (4/(-8))/(2/4). Let p be 0/(c/4*-4). Suppose -4*v - v + 635 = p. Is v a prime number?
True
Suppose 6 = -2*u + t - 3, -t = 4*u + 15. Let d be 7456/12 + u/(-6). Suppose -d + 2219 = x. Is x a prime number?
True
Let p be -9*(5/(-3) + 1). Let j be (2 + 1 - 4) + p. Suppose 749 = 4*a - j*t, 0 = -a - 2*a - 3*t + 582. Is a prime?
True
Suppose 36 = 2*a + a. Let j be 2091/a - (-1)/(-4). Suppose -s - 40 = -j. Is s a composite number?
True
Let p(t) = 5*t**3 - 18*t**2 - 18*t - 8. Let u(l) = l**3 - l**2 - l + 1. Let v(z) = p(z) - 4*u(z). Let y be v(18). Suppose 4*j = -84 + y. Is j prime?
False
Let o(m) = 1617*m + 416. Is o(3) prime?
False
Let m be 1434 + (2 - 1)*1. Suppose -5*s = -4*c + m + 674, -2*c + 4*s + 1062 = 0. Is c a composite number?
False
Suppose 11958 - 3917 = 11*y. Is y a composite number?
True
Suppose -4*h + 2 = 2*k, 7 = h + 2*h - 4*k. Suppose -w - h - 3 = 0. Is (-3)/w + 9163/44 a composite number?
True
Suppose 4*x = 27 - 15. Let c(v) = 358*v - 7. Let y be c(x). Suppose -345 - y = -4*o. Is o a composite number?
False
Suppose 3*c - 192 = -3*c. Let t = 255 - c. Is t prime?
True
Let t = -1730 + 2789. Suppose -a + 2*x + 420 = 0, 2*a = -5*x + t - 192. Suppose -4*z + a = 2*m, -126 = m - 2*z - 359. Is m a composite number?
False
Let d(j) = -7*j**3 - 15*j**2 - 25*j - 43. Is d(-12) prime?
True
Let u = 7967 + -3772. Is u composite?
True
Is 54/(-81)*(-34635)/2 composite?
True
Suppose -9*i - 510062 = -23*i. Is i composite?
False
Let x(q) = 2*q**3 - q**2 - 5*q + 6. Let v be x(5). Let r(l) = -l**2 + 53 - 20 + v - l. Is r(0) prime?
True
Let y be 2/8 - 15086/(-8). Suppose -2*k + 727 = -l - 206, -y = -4*k - 2*l. Is k composite?
True
Let x(c) = 33*c**2 - 15*c**2 - 1 - 5*c + 312*c**2. Is x(-1) a composite number?
True
Suppose -5*u + y + 23757 = 0, 4*y - 19002 = -4*u + 3*y. Is u a composite number?
False
Suppose -i - 80 = 93. Let n = i + 260. Is n prime?
False
Let r(a) be the first derivative of 14*a**3/3 - a**2/2 - 3*a - 9. Is r(-2) a composite number?
True
Let z = -31 + -164. Let h be (z/6)/(3/(-18)). Suppose -4*m = 2*q + h - 495, 2*q = m - 85. Is m composite?
True
Let x(o) = 1406*o**2 - 2*o - 1. Let r(f) = 3*f**3 + 8*f + 9. Let q be r(-1). Is x(q) a composite number?
True
Suppose b + 3*b - 5*u = 0, -2*b - 2*u = 0. Let m be b - -3 - (6 + -6). Is (1/3)/(m/639) composite?
False
Let k = -11 + 15. Let w(s) = s**3 + 4*s - 89. Let c(f) = -f**3 - 3*f + 89. Let x(d) = k*w(d) + 5*c(d). Is