 -4284. Is o prime?
True
Suppose -5*s - 3*z - 33 = -2, 0 = 4*s - z + 18. Let j = s + 8. Suppose o = 2*t - t + 34, 0 = -j*t + 9. Is o a prime number?
True
Suppose 4*p + 33959 + 38615 = 2*u, u + p - 36296 = 0. Is u a composite number?
False
Suppose 4*f = 7*f + 5*p - 47037, -3*p - 78395 = -5*f. Is f composite?
False
Suppose 91*f = 232794 + 33563. Is f a composite number?
False
Is (324025/(-50))/(9/(-2) - -4) prime?
False
Suppose -4*h + 5*b + 13 = 0, 3*h + 4*b = 2 - 0. Suppose -2618 = -2*t + 5*q, t - h*q = q + 1307. Is t a composite number?
False
Let l = -33 - -44. Let z(a) = 45*a + 2. Is z(l) prime?
False
Let s be (-2634)/10 - (-27)/(-45). Let l = s - -409. Is l a prime number?
False
Suppose 40 = -2*w - 36. Is (171/w + (-8)/(-2))*-1574 a composite number?
False
Let d(x) = x**3 - 14*x**2 + 2*x - 17. Let h be d(14). Let i = -13 + h. Is 1/(i/(1 + -363)) a composite number?
False
Let b(d) = -36*d**3 - 3*d. Let h be b(-3). Let m be (-1398)/(2/8*-4). Let w = m - h. Is w prime?
False
Is (-6)/2*125232/(-144) composite?
False
Suppose t + 4*s = 2*s + 18, 4*t - 84 = -2*s. Suppose -5*g + t - 2 = 0. Suppose 0*j - 1068 = -g*j. Is j a composite number?
True
Suppose -l - q - 3 + 2 = 0, 3*l - 2*q = -18. Let o = 15 + l. Is o a composite number?
False
Let p be 3/((-2)/(8/12)). Let a be (-29624)/(-42) + p/3. Suppose -2*v + a = v. Is v composite?
True
Let u be (-7 + (-65)/(-10))/(1/316). Let f = 384 + u. Is f prime?
False
Let c = -17 - -13. Suppose 2*x = -657 - 465. Is (c/12)/(1/x) a composite number?
True
Suppose 16 = 5*b - 2*c, 3*b - 7*b = 5*c - 26. Suppose 3*u - s = -2*u + 3990, b*u - 5*s - 3171 = 0. Is u a composite number?
True
Let o(n) = 50*n**2 + n - 12. Let u be o(4). Let t = 32 + -358. Let v = u + t. Is v prime?
False
Suppose 2*g - 612 = -2*g. Suppose 0*v = 3*v - g. Suppose 4*y - 5*y + v = 0. Is y a composite number?
True
Let u(v) = 13*v - 23. Let c be u(14). Suppose -34*g - c = -37*g. Is g a prime number?
True
Suppose -x + 4*r = -6227, 6237 = x - 21*r + 19*r. Is x composite?
False
Let r = 12560 - -17877. Is r composite?
True
Let l be 0 + 145 - (3 + 0). Suppose l = 2*s - 338. Let c = -77 + s. Is c prime?
True
Suppose -549 - 881 = -q. Let u = q + -595. Is u composite?
True
Let d = -16 + 29. Suppose -17*r + 1968 = -d*r. Suppose 0 = -3*b - b + r. Is b a prime number?
False
Let s(v) = -v**3 - 9*v**2 - 5. Let n be s(-9). Let h be 9/(-3) - (n + -3). Let a(y) = y**3 + y**2 - 5*y - 6. Is a(h) a prime number?
False
Let l(c) = 2*c**3 + 7*c**2 + 25*c + 25. Is l(11) composite?
True
Suppose 2*k + 27532 = 4*l - 8752, -5*k + 27239 = 3*l. Let d be l/3 - 5/15. Suppose d - 1159 = 5*t. Is t a prime number?
True
Let b(g) = -130*g - 97. Is b(-38) a composite number?
True
Let k = 16357 + 7960. Is k prime?
True
Let y be 0 - ((-3320)/5 + 3). Let h = y - 404. Is h a prime number?
True
Let v = -50 + 41. Let h(s) be the second derivative of -s**5/20 - 3*s**4/4 - 5*s**3/3 + s**2/2 - 4*s. Is h(v) prime?
False
Let p(o) = 219*o - 2. Let q be p(3). Suppose 4*l - q = -l. Is l a prime number?
True
Let a(n) = 2*n**3 + 64*n**2 - 4*n + 13. Is a(-27) composite?
False
Let q(s) = -126*s - 199. Is q(-7) a prime number?
True
Suppose 3*m - 908 = 4165. Is m a composite number?
True
Suppose -4*r = 264 - 20. Let z be (2 + r)*4/2. Let b = -67 - z. Is b composite?
True
Let o(u) = u**3 - 12*u**2 - 3*u - 91. Is o(20) a prime number?
True
Let y(t) = -t**3 - 7*t**2 + 10*t + 5. Let k be (1 - 2)/(1/7). Let u be y(k). Let n = 148 + u. Is n prime?
True
Let n(l) = -2675*l - 499. Is n(-6) composite?
False
Let x(b) be the second derivative of 55*b**3/3 + 9*b**2/2 + 3*b. Let a be x(-4). Let f = -282 - a. Is f prime?
True
Let f be -2 - (6 - 2) - (-7 - -4). Is 2*451*(f/2 + 2) composite?
True
Let u = -401 + 1209. Suppose -180 = 4*l - u. Is l composite?
False
Let l(g) = 17*g + g**3 + 11*g - 27*g - 4*g**2. Let s be l(4). Suppose 123 = y + s*v, -2*y = 2*v - 175 - 77. Is y prime?
True
Suppose -16577 = -12*b + b. Let i = b + -1026. Is i composite?
True
Let r = -19 - -15. Is -4 + 255/(r + 5) prime?
True
Suppose -31*f + 97116 = -64363. Is f composite?
False
Let x(b) = 13*b**3 - 3*b**2 - 9*b + 13. Is x(9) a composite number?
True
Let l = 41 + -25. Let m = -16 + l. Suppose m = -0*b - 4*b + 40. Is b composite?
True
Let o = 47 + -44. Suppose -o*k - 5*k + 14104 = 0. Is k prime?
False
Suppose 3*j - 1 = 8, g - 4*j + 392 = 0. Let s = 1017 - g. Is s a prime number?
False
Let a(u) = -38*u - 193. Is a(-33) prime?
True
Let d be (8/12 - 1)/1*-471. Let x = d - 42. Is x a prime number?
False
Is (-2)/((-27)/2826*(-8)/(-6)) composite?
False
Let m = -888 + 2227. Is m prime?
False
Let z = 29625 + -10912. Is z a prime number?
True
Let y(x) = x**2 - 14*x - 9. Let v be y(15). Suppose -g + v*g - f = -3049, -f + 613 = -g. Let u = 1094 + g. Is u prime?
False
Suppose 0 = -w - 5*h + 26033, -20*h = -21*h. Is w a prime number?
False
Suppose l - 2*f = 6333, 18*l + f = 14*l + 25323. Is l composite?
True
Suppose 2*y + 24921 = 11*y. Let a = y + -1606. Is a a composite number?
False
Suppose 0 = 6*k - 3*k - 156. Suppose 47145 = -47*m + k*m. Suppose 0*t + m = 3*t. Is t composite?
True
Let l(o) = -1218*o + 53. Is l(-7) composite?
True
Suppose 5*i + 7 = -13. Let n be (31/2)/(i/24). Let c = 16 - n. Is c a prime number?
True
Let c(u) be the second derivative of 53*u**3/3 - 4*u. Let b be c(4). Suppose 2*y = b - 98. Is y a prime number?
True
Let i = 17432 + -7471. Is i composite?
True
Let m = -3 + 0. Let w be m + 7 - 2*-1. Suppose -w*a + a = -445. Is a composite?
False
Let h(z) = z**3 - 3*z**2 + 11*z - 6. Let t be h(10). Let u be (-138)/(-42) + 4/(-14). Suppose -n - 5*k + 96 = -184, 0 = u*n + 3*k - t. Is n a composite number?
True
Suppose 273*h = 3*r + 278*h - 28958, -2*r + 19312 = 2*h. Is r prime?
True
Let z(p) = -134*p**3 + 2*p**2 - 41*p - 34. Is z(-7) composite?
True
Let j be (32/(-12))/8 + 26/6. Suppose -j*t = l - 375, 5*l + 2*t - 2702 = -809. Is l a prime number?
True
Let f(b) = b**2 - 4*b + 7. Suppose -5*u = 5*x + 45, -2*u - 4 - 9 = -3*x. Is f(u) a prime number?
True
Suppose 2*g + 5*d + 1766 = 0, -g - 894 = -2*d - d. Let j be 119/(-28)*2*22. Let h = j - g. Is h prime?
True
Let t(o) = 3*o**3 - 11*o**2 + 8*o + 11. Let w be -2 + 44/16 - 87/(-12). Is t(w) a composite number?
False
Let z be 842 - (-7 + 4 + -1). Let i = -489 + -94. Let r = i + z. Is r a composite number?
False
Let w = -7135 + 47514. Is w a composite number?
True
Let r(f) = 11*f**2 + 25*f - 27. Is r(14) a composite number?
True
Let m be (2/8)/(((-45)/(-20))/9). Is (m - 0)/(3/633) a prime number?
True
Is (15959/3)/(170/510) prime?
True
Suppose -2*l = l - 4*j + 180, 0 = -2*l - 3*j - 120. Let c be 339*(1 - (-4)/(-6)). Let h = l + c. Is h a prime number?
True
Suppose -1035 = 5*k - 0*k. Let m = -122 - k. Is m a prime number?
False
Let f(y) = y - 346. Let k be f(0). Let a = -189 - k. Is a composite?
False
Let q be 1863/6*(-48)/18. Let l = 583 + q. Let k = 460 + l. Is k composite?
True
Suppose -5*l - 112 + 42 = 0. Let w(m) = m + 33. Is w(l) a composite number?
False
Let z be 5*((-6)/2 - 2). Let d = z + 152. Is d a prime number?
True
Let k = -51420 + 182411. Is k a prime number?
False
Is -1 + (-11)/(22/(-17040)) a composite number?
True
Let a(g) = g**2 + 9*g + 1. Suppose 5*d = -l - 20 - 15, 2*l = -4*d - 22. Let b be a(d). Let c(z) = -3*z + 1. Is c(b) prime?
False
Let o(h) = 0*h - 33 + 84 - 23*h. Is o(-16) a composite number?
False
Suppose 0 = -d - a + 57754, 5*a - 13681 = -d + 44085. Is d a prime number?
True
Let j be (-23)/(-2) + 2/(-4). Let h = j + 6. Suppose h*w - 614 = 15*w. Is w composite?
False
Let i = 4119 + -985. Is i composite?
True
Suppose 5*m - 31501 + 6539 = -4*d, -2*d + 2*m = -12490. Is d a prime number?
False
Let k be (-7 - (-1)/1)/1. Let x be -1 + -2*9/k. Suppose 0 = -4*p - 5*i + 630, -771 = -4*p - p + x*i. Is p prime?
False
Suppose -4*d + 1717 = p - 1220, 718 = d - 3*p. Let c = d + -388. Suppose 2*v + c = 4*i - 3*v, v = -1. Is i composite?
True
Let r be (-15)/(10/2) - 9. Is (-8)/r*20316/8 composite?
False
Let y be 1334 + 15/(-1 - 2). Suppose a = -u + 606, -5*a + 4*u + 1746 = -y. Is a composite?
True
Suppose 178151 - 12510 = 7*v. Is v prime?
True
Let p(g) = 15*g**2 - 51*g + 151. Is p(42) a prime number?
True
Suppose 0 = -2*a + 11936 + 13742. Is a a composite number?
True
Is ((-1)/(-3))/(9*(