/60) composite?
True
Suppose 0 = -u + 3*t + 13, 5*t - 129 = -5*u + 4*t. Let n = 0 + 4. Suppose -u = -5*g, a = n*g - g + 664. Is a a composite number?
True
Suppose -9625831 = -147*l + 11612582. Is l composite?
False
Let s be -568*((-45)/(-20) + -3). Let f = s + -981. Is (2 - 21/9)*f composite?
True
Suppose -2*b - 3*b = 4*i - 3747399, -b + 749480 = i. Is b composite?
True
Let p be 3 + -2 + 48/12. Suppose 9*c = -w + 4*c + 10252, 2*w + p*c - 20499 = 0. Is w composite?
False
Let g(s) = 2836*s**3 + 3*s**2 + 31*s - 61. Is g(3) a composite number?
False
Let l(o) = o**3 + 4*o**2 - o - 3. Let x be l(-4). Suppose m - 2*b + b - x = 0, m + 5*b + 17 = 0. Is 4014/21 - m/(-14) composite?
False
Let s be (-1131 - -36) + (1 - 1). Let q = 1582 + s. Is q composite?
False
Let h(d) = 1744*d + 310. Is h(28) a composite number?
True
Suppose 2*z - 10 = 6. Let w(d) = 2*d**3 - 37*d + 37*d + 9 - d**3. Is w(z) a composite number?
False
Let o(n) = 187*n - 608. Is o(27) a prime number?
True
Suppose -1520641 = -5*f + 2*i, -2*f + 12*i + 608269 = 13*i. Is f prime?
False
Let g = 44 + -42. Let c(x) = 3 - g - 4 - 338*x + 2. Is c(-1) a prime number?
True
Let f be ((52402/(-57))/((-2)/15))/1. Let d = 0 + 16. Suppose 0 = -d*b + 11*b + f. Is b prime?
False
Let d = 1100509 + -560942. Is d composite?
True
Let v = 76119 - -18172. Is v a composite number?
False
Suppose 15475633 = 81*x - 2054468. Is x prime?
True
Let p(m) be the first derivative of -13*m**4/12 - m**3/2 - 6*m**2 + 19. Let z(s) be the second derivative of p(s). Is z(-5) composite?
False
Let h(u) = 4*u**2 + 33*u - 3. Let f be h(14). Let v = -404 + f. Is v prime?
True
Suppose 8*w + 55 = -185. Is (-1 - 9218/(-2)) + (w - -29) composite?
True
Let j(k) = 38*k**3 + 3*k**2 - 23*k + 47. Is j(12) composite?
False
Let b = 15 + -5. Let r be 1486/b + 6/15. Is (-18)/(-15)*(r/2 + -2) a composite number?
True
Let d(z) = -6*z**2 - 33*z + 10. Let f(o) = 5*o**2 + 32*o - 11. Let u(y) = 3*d(y) + 2*f(y). Let v(m) be the first derivative of u(m). Is v(-16) composite?
True
Let o(p) be the first derivative of 130*p**3 + 5*p**2 + 7*p - 32. Is o(-4) a composite number?
True
Let j be (((-160)/(-6))/5)/((-20)/(-30)). Let t(y) = -2*y**3 + 7*y**2 + 8*y + 13. Let z(n) = -n**2 + 1. Let f(o) = -t(o) - 6*z(o). Is f(j) a composite number?
False
Let h = -183 + 180. Is h/(-12) - 1137*(-9)/12 a composite number?
False
Let p be ((-128)/28 + 2)/((-6)/(-28)). Let f be (-10)/(-4)*p/(-10). Suppose -89 = -f*w - 2*m, w + 3*m - 9 - 9 = 0. Is w composite?
True
Let z = 50 + -51. Let j be z + (-10)/6*-6. Suppose -8*v - 979 = -j*v. Is v prime?
False
Let m = -30449 - -71566. Is m composite?
False
Let v be 558/(-4)*11400/171. Let g = 13657 + v. Is g composite?
False
Suppose -9*h - 78*h = 1074 + 4494. Let j be (0/(-2))/(-1) + -16. Is (-2229)/(-4) - j/h a prime number?
True
Let h(c) = 1936*c + 7. Let r be h(-4). Let g = r + 15180. Suppose 641 + g = 4*s. Is s composite?
True
Suppose 0 = -14*k + 20*k + 12. Is -3821*((-13)/(-26))/(1/k) prime?
True
Let b(v) = v**3 + 25*v**2 + 29*v - 7. Let s be b(-22). Let k be 8/14 + s*(-40)/(-105). Suppose -7*h = -k + 77. Is h prime?
False
Let r = 254 - 265. Let z(a) = -2*a**3 - 14*a**2 - 21*a - 48. Is z(r) a composite number?
False
Suppose -2*s + 171 = -21*s. Let w(b) = 71*b**2 + 42*b + 8. Is w(s) composite?
False
Suppose 3*o - 9140 = -2*o. Let q = -1169 + o. Let z = q + 38. Is z a prime number?
False
Let r(c) = c**3 - c**2 - 2*c - 2. Let w be r(-1). Let v(m) = -249*m**2 - 8*m - 10. Let i be v(w). Let j = i + 1997. Is j composite?
True
Let n(h) = -113*h - 33. Let z(b) = 170*b + 50. Let f(o) = 8*n(o) + 5*z(o). Let l be f(2). Let x = l - -271. Is x composite?
False
Let n(y) = -22*y**3 - 30*y**2 - 126*y + 1. Let s be n(-5). Let i(f) = -f - 14. Let l be i(-6). Is (-1)/(-4)*s/(-6)*l composite?
False
Let z = -231 - -233. Suppose z*f + x = 1564, 2*f + x = -3*x + 1570. Is f a prime number?
False
Let i(u) = 187*u - 3642. Is i(47) a prime number?
True
Suppose -5*f - 58 = -6*f. Let m(a) = 3 + f*a - 57*a + 28*a. Is m(6) a composite number?
True
Is (-1875715)/(-65) + 315/65 + -5 composite?
True
Suppose 0 = -7*r + 2*r + 2*c + 20, 5*r + 5 = -3*c. Suppose 0 = -r*n - 8*n + 20. Is (-12)/9*-226 + n/(-6) prime?
False
Let i(n) = n**3 + 6*n**2 + 3*n + 12. Let p = 79 - 84. Let h be i(p). Let o(x) = 75*x + 53. Is o(h) a composite number?
True
Let n(r) = -r**2 + 7*r - 8. Let p be n(4). Let j(w) = w**3 - 5*w**2 + 4*w + 5. Let k be j(p). Suppose -5*s + 2030 = k*s. Is s a prime number?
False
Suppose 4*h - 2*v = 3*h + 2573, 0 = 4*v + 8. Let o = -12676 - -12680. Suppose 5*s - 2*s + 2549 = 4*a, o*a + s - h = 0. Is a a composite number?
False
Let i = -110 + 112. Suppose -i*c + 765 = -2*l - 2783, -15 = -5*l. Is c a composite number?
False
Let j be (-64)/36 + 4 + 2/(-9). Suppose 2*v - 2 - 8 = 2*k, -6 = j*k. Suppose v*m + 1379 = q, -3182 = -5*q + 5*m + 3688. Is q a prime number?
False
Let f(w) = 3*w + 1. Let m be f(-2). Let j(v) be the third derivative of -v**6/60 - 7*v**5/60 + v**4/12 + 2*v**3/3 - v**2 + 27. Is j(m) a composite number?
True
Let x(v) = 569746*v**2 - 548*v - 547. Is x(-1) a prime number?
True
Let g(s) = s**3 - 14*s**2 + 18*s - 10. Let k(m) = -2*m**3 + 28*m**2 - 36*m + 19. Let i(f) = 5*g(f) + 2*k(f). Let b be i(13). Let r = 136 - b. Is r composite?
False
Let u(b) be the first derivative of 6 - 85/2*b**2 - 12*b. Is u(-7) composite?
True
Let y = 7025 + -4822. Is y a composite number?
False
Let l = -28 + 37. Let t(o) = o**3 - 9*o**2 - o + 13. Let w be t(l). Suppose 3*n = 9, -4*n + 2*n = w*c - 514. Is c prime?
True
Suppose 0 = -4*w + 34470 + 64166. Is w prime?
True
Is 6289 + 378/27*(-3)/(-7) prime?
False
Let u be (-2)/5*(28 - 23). Let a be (-1416)/413*(-294)/4. Is a + (8/u)/4 prime?
True
Let i = -183 - -117. Is 4/22 + (-2305434)/i prime?
False
Suppose 2*f = 5*j + 5*f - 16517, 0 = f - 4. Let t = -1418 + j. Is t a prime number?
False
Is 15/(45/(-270) - 895/(-5262)) a composite number?
True
Let h(o) = -13752*o - 2509. Is h(-36) a composite number?
False
Suppose -r + 5*g - 1096 = 0, 5*r + 1136 = 4*r - 5*g. Let d = 2045 + r. Is d a prime number?
True
Let s = -210529 + 427584. Is s a prime number?
False
Let i = -790 + 5475. Is i a prime number?
False
Let q(c) = -27552*c + 2699. Is q(-12) composite?
False
Suppose 5*t + 5*u = 120, 4*t - 2*u + 11 = 101. Suppose -t*r - 72696 + 257455 = 0. Is r a composite number?
True
Suppose -402*f + 3782506 = -3366260. Is f a prime number?
True
Let f(g) = -g**3 - 15*g**2 + 11*g + 4. Let i be f(-18). Suppose -5*t + 2*j = -1959, j - i = -2*t - j. Is t a composite number?
True
Is (32 + (-3685100)/90)*9*1/(-2) prime?
True
Is 2300/(-15)*(-17847)/6 - -1 prime?
True
Suppose 72*t - 14*t = -48*t + 14335546. Is t a composite number?
False
Suppose -42835 + 39293 = 6*f - 131156. Is f composite?
False
Let f(g) = -10*g**3 + 10*g + 10*g + 9*g**3 - 13*g**2 + 17. Let b be f(-17). Let p = b + -88. Is p a prime number?
False
Suppose -20*o + 44*o = 595752. Is o composite?
True
Let o = -447 + 518. Let h = o + 494. Is h prime?
False
Let a(y) = 78*y**3 + 5*y - 11. Let i(f) = -39*f**3 - 3*f + 5. Let o(d) = 4*a(d) + 7*i(d). Let g be o(4). Suppose g - 498 = 5*t. Is t prime?
True
Let q(h) = -58*h + 17. Let f be (84/16 - 3)*16/(-6). Is q(f) a prime number?
False
Let l(p) = -p**3 - 17*p**2 - 46*p + 3. Is l(-26) a composite number?
False
Let w = -3798 + 15896. Suppose w = 2*v - 0*s + 3*s, 0 = 2*s. Is v a prime number?
False
Let b(x) = x**3 - 4*x**2 - 11*x + 38. Let h be b(4). Is h/10 - (-33)/30*4316 prime?
False
Let x(i) = 6*i**2 - 11*i - 10. Let j(o) = 8*o**2 - 16*o - 11. Let k(c) = 4*j(c) - 5*x(c). Let t be (-2)/(-1) - -3*3. Is k(t) prime?
True
Let k(p) = 4*p**3 - 3*p**2 - 6*p - 16. Let t be k(-4). Let g = 371 - t. Is g a prime number?
False
Let r = 1057816 + -703965. Is r a composite number?
True
Suppose -4*d - 117021 = -7*d. Let s = -20994 + d. Is s composite?
False
Is ((-3)/15)/((-8)/(-10))*(-961002 + -26) prime?
True
Suppose 0 = 5*u + 5*q - 2*q - 30, -2*q = -5*u + 5. Suppose 2*a + 5*c = 14414, -2*c = u*a - c - 21647. Is a prime?
False
Is ((-9058611)/95)/(3 + 144/(-40)) composite?
False
Is (-6314)/(-1353) - 880309/(-3) a composite number?
False
Suppose 2844 = 2*l - 5*p - 13589, p + 5 = 0. Suppose -5*n + y + 20479 = -2*y, 2*n + 5*y - l = 0. Is n prime?
False
Let n(