s s a composite number?
False
Let o be (-25)/(-15) + -6 + (-4)/6. Let g be (o - 1 - -4) + 732 + 1. Suppose -a + g = 4*h, 734 = -0*a + a + 3*h. Is a a composite number?
False
Suppose -306 + 8530 = 4*d. Suppose -t = -2*t + x - d, -t = 4*x + 2076. Let c = t - -3403. Is c a prime number?
False
Suppose 13*u - 40 = 5*u. Suppose -7*p + 396 = -6*p - 2*x, -5*x - u = 0. Is p composite?
True
Let v(w) = -7*w + 40. Let m be v(9). Let p be 10/(-35) + m/(-7). Suppose 2*a + p*c - 2574 = -a, 3*c = -3. Is a composite?
False
Let c(i) = 1120*i**2 + 145*i - 10. Is c(-11) a prime number?
False
Let j(z) = -2*z + 24. Suppose -3*u + 4*x + 20 = 0, 8 = 2*u - 2*x - 6. Let i be j(u). Suppose i*r = 6*r + 1042. Is r a composite number?
False
Let x = 74 - 62. Let d be -2 + x - (-1 - (-1 - 1)). Suppose -d*q + 10065 = -49326. Is q a prime number?
True
Let c(p) = -58*p - 17. Let r(s) = 57*s + 10. Let a(y) = 114*y + 21. Let g(u) = -6*a(u) + 11*r(u). Let m(j) = -3*c(j) + 2*g(j). Is m(12) a composite number?
False
Suppose 5*i = 4*l - 11, -4*l + 2*i = -0*i - 14. Suppose 16 = l*k + 4*b, -3*b - 1 = k - 11. Is -1*-1*(-1 + 2768)/k a composite number?
False
Let k(q) be the first derivative of -285*q**2 - 377*q + 12. Is k(-6) a composite number?
True
Let y(m) = m - 1. Let l(c) = 156*c + 21. Let q(k) = l(k) - y(k). Is q(3) prime?
True
Suppose -36*o + 216938 = -5*o. Suppose -5*g + 17453 = 3*z, 3*z = -0*g + 2*g - o. Is g a composite number?
True
Let r = -111310 + 393827. Is r a composite number?
True
Let r = 31008 - -30979. Is r a prime number?
True
Suppose -3*h - 77415 = -2*w, 2*w + 4*h - 77400 = 2*h. Is 2/3*(w/2 - 3) composite?
False
Let s be (1/(-3))/(1/(-9)). Suppose 4*u - 2*x = 20, 4*u - s*x = 11 + 11. Suppose -2*n - 1233 = -5*n - u*w, 2*n - 2*w - 836 = 0. Is n a prime number?
False
Let d = 101 + -1118. Let v = 1702 + d. Is v a prime number?
False
Let w(k) = k**2 - 2*k. Let i be w(-4). Let t = -26 + i. Is (((-16)/10 - t)*3385)/2 composite?
False
Let s be (-123 + -2 + 2)*(-56)/24. Let a = 4292 + s. Suppose -1710 = -3*n - 2*v + a, 5*n + 2*v - 10487 = 0. Is n a prime number?
True
Suppose -3*g + v = -10, 0 = 2*g - v + 2*v - 5. Suppose 2*j - 62 = 4*x, g*x + 4*j + 45 = 5*j. Let a(p) = 2*p**2 - 4*p - 35. Is a(x) composite?
True
Let s(k) = 2*k**2 + 66*k + 72. Let h be s(-32). Let b(c) = 30*c + 25. Is b(h) a composite number?
True
Let j(p) = -1719*p - 41. Suppose 11*z - 12*z = -5*w - 9, -5*z - 9 = 2*w. Is j(w) prime?
False
Let z = -11 + 39. Suppose -w - 4 = 0, 4*y + w - 5*w - z = 0. Is 1150 + (-3)/(-9)*y composite?
False
Suppose 9 + 4 = x. Suppose 0 = -7*q + 8 + x. Suppose -3*u - 2*u + 20 = 0, 5*k = q*u + 10463. Is k prime?
False
Suppose 2*s - 5*b - 840565 - 371659 = 0, 0 = 4*s - 5*b - 2424418. Is s a prime number?
False
Is (-2*1)/(136/(-340)) - -113804 a composite number?
False
Suppose 0 = 3*m - 6, 5*u + 2*m = 47 + 32. Suppose -5*y = 5*p + u, p = 5*y + 5*p + 14. Is y/(-4*(-1)/(-2738)) a prime number?
False
Suppose 8*q = -75 - 13. Let p(c) = 70*c**2 + 23*c + 46. Is p(q) a composite number?
False
Is ((-5)/2)/(3789107/3789142 + -1) a composite number?
False
Suppose -3*j = -3*o + 2*j, -4*j = 0. Let b(u) = -u**2 - 21*u + 6271. Is b(o) a composite number?
False
Let o(y) be the second derivative of 139*y**4/12 + y**3/2 - y**2/2 + 57*y. Let n be 0 + (-1 - -2) - 0. Is o(n) composite?
True
Let h(t) = 9*t**3 + 123*t**2 + 5*t - 17. Is h(24) composite?
True
Let h(m) = 3*m**3 - 15*m**2 + 48*m - 131. Is h(17) a prime number?
False
Let l(n) = 3*n**3 - 18*n**2 + 74*n - 76. Let r(i) = i**3 - 6*i**2 + 25*i - 25. Let c(v) = -4*l(v) + 11*r(v). Is c(-11) a prime number?
False
Let k = 5 - 3. Let h(v) = -6*v - 1 + 113*v**3 + 436*v**2 - 241*v**2 - 193*v**2. Is h(k) prime?
False
Let b = -197 - -202. Suppose -3*d = 2*d - b*p - 40725, -2*d - 3*p = -16270. Is d a prime number?
False
Let f(r) = -552*r. Let x be f(-8). Suppose -3*t - 2*o + x = -7*o, -5*t + 7370 = -5*o. Is t a composite number?
True
Suppose -3*u + 3*c + 1 = 4, -c + 11 = 4*u. Suppose -u*j - 8 = 0, -90 - 138 = -2*f - 2*j. Is f a composite number?
True
Let s = 17268 - 32977. Let q = -10254 - s. Is q a composite number?
True
Let l(b) = -1 + 0 + 0 + 121*b**2 - 45*b**2 + 16*b. Is l(-4) prime?
True
Let l = -6878 + 38725. Is l a composite number?
False
Let w be (-10)/(-6)*(-6)/(-10). Let c(z) = 1882*z**3 + 3*z - 2. Is c(w) a composite number?
True
Let h(w) = 103*w**2 - 67*w + 1. Let u be h(-6). Let c = u - 2646. Is c composite?
True
Let v be 8*((-33)/12 + 2). Let p(f) = 13 - 76*f + 5*f**2 + 281*f - 72*f - 72*f - 66*f. Is p(v) composite?
False
Suppose 0 = -5*h + 3*a + 46967, -2*a + 21378 - 2604 = 2*h. Is h prime?
True
Suppose 16*o = 19*o - 335091. Is o a prime number?
True
Suppose 106*x = 104*x - 2. Is (x - -3)/(6 - 88800/14802) a composite number?
False
Is ((-933477)/(-2))/((-9)/(-3)) + 3/(-6) prime?
True
Let y = 2259 + -1395. Let n = -533 + y. Is n prime?
True
Let t = 1046214 + -439825. Is t prime?
False
Let o = 592568 + -133663. Is o a composite number?
True
Let b(p) = 10927*p**2 - 113*p - 443. Is b(-4) a composite number?
True
Let o be (-8 + 4 - 402)*(-3)/(-6). Let k = 20 - o. Is k a composite number?
False
Suppose 5*s + 3344 = 16*s. Let o = s - -15. Is o a composite number?
True
Suppose -86*a = -81*a - 2887825. Is a a prime number?
False
Suppose 0 = -0*y - y - 2*d + 393, 2*y - 806 = d. Let z = y + 1424. Let p = z - 1028. Is p a composite number?
False
Suppose -17 = -5*t - 2*v - 0*v, -10 = -5*t + 5*v. Suppose -4*y - 1481 = -3*k, t*k - 1466 = -0*k + y. Suppose 3*c - k = 116. Is c a composite number?
True
Let i be ((-5596)/6)/(8/(-12)). Suppose 11062 = 5*a - 2*h, 5*a - 5*h + 1985 = 13035. Let s = a - i. Is s prime?
False
Let h(p) be the second derivative of -1105*p**3/2 + 4*p**2 + 105*p. Is h(-1) a prime number?
True
Suppose 0 = 2*r - 9 - 1. Suppose 0 = -0*x - 2*x + 8, -12 = -r*p - 3*x. Suppose p*q = q - 526. Is q a prime number?
False
Suppose 2*o - l = 26, -2*o - 2*l = -0*o - 20. Let p(m) = 13*m**2 + 21*m - 170. Is p(o) a prime number?
False
Let l(u) = -2*u + 20. Let w be l(8). Suppose -m - f = m - 9, f + 9 = w*m. Suppose g - 983 = -3*q, -m*q = 2*q + 2*g - 1637. Is q composite?
True
Suppose 0 = 4*s + 578 - 8198. Suppose -8*c + 3*c + s = 0. Is c a composite number?
True
Suppose 18*w + 3*w = -164017 + 814450. Is w prime?
False
Let g = 333081 + -224950. Is g composite?
False
Let r(d) = 416144*d**3 + d**2 + 2*d. Is r(1) prime?
True
Is 126/(-189)*((-2519613)/6)/(0 + 3) a prime number?
True
Let q = 65 - 62. Suppose 7*z - 6*z - q*t - 30 = 0, -t = -2*z + 60. Suppose -z*r = -26*r - 2116. Is r composite?
True
Let w(q) = -q**2 - 14*q - 9. Let s be w(-12). Suppose -23*b = -20*b - s. Suppose -12*c + b*c + 1477 = 0. Is c prime?
True
Let w(h) be the second derivative of -216*h**5/5 + h**4/12 + h**3/3 + h**2 + 2*h + 19. Is w(-1) prime?
False
Let s(z) = 19*z**2 - 9*z - 21. Suppose -3*a + 8*a + 3*y - 55 = 0, -4*a + 52 = 4*y. Is s(a) prime?
True
Is (-2)/9 - 12/(972/(-2939751)) a composite number?
False
Let f be (-178 - -179)/((-2)/(-40)). Let c(w) = w**3 - 8*w**2 + w + 2. Let q be c(4). Is ((-2)/(-8)*q)/((-2)/f) prime?
False
Let s be (-66)/(-24) + (-1)/(-4). Suppose -4*c - 1 = 5*f, 5*f - 38 = s*c - 11. Is ((-14)/(-4) - f)*446 prime?
True
Let r be (-2)/3 + (2 - 10/(-6)). Suppose r*x = 8 + 7. Is x/15*1*1497 composite?
False
Let j(z) = 5*z**2 + 2*z - 2. Let a be j(1). Suppose -i = -a*r + 17528, 3*r + i - 11467 = -955. Is r composite?
True
Let q(n) = 47*n**3 - 3*n**2 - 8*n + 40. Let b be q(5). Suppose -2*k + 4*x = -7102, 4*x - 19968 = -4*k - b. Is k prime?
False
Let p = -567 + 608. Suppose -2460 = -p*l + 9553. Is l prime?
True
Suppose -19*f = -1178998 + 88607. Is f composite?
False
Suppose -k - 2406 = -3*l + 3*k, -3*k = 9. Suppose 5*p = l + 1597. Let y = p + -225. Is y prime?
False
Let n(v) = 9 + 2*v + 0 + v**2 - 6. Let r be n(-1). Suppose 3*j + 288 = 5*o + 2*j, 0 = 2*o + r*j - 120. Is o a composite number?
True
Let m(c) = -2*c**2 + 59*c - 28. Let i be m(29). Let s(f) = 301*f**3 + f**2 - 3*f + 31*f**3 - 1 + 2. Is s(i) a prime number?
True
Let q(h) = -h**3 - 7*h**2 + 26*h - 12. Let c be q(-10). Suppose 320536 - 91748 = c*u. Is u a composite number?
False
Suppose 98*q + 1140 = 93*q. Let y = q + 339. Is y a prime number?
False
Let t = 216 - -384. Let y = t - -1933. Is y composite?
Tru