. Is j composite?
True
Let c = 16 + -10. Let o(i) = -i**2 + 8*i - 4. Let u be o(c). Is (-273)/(-4) - (-6)/u prime?
False
Let i be (-2)/(-8) - 21/(-12). Suppose -i*r - 10 = -4*r. Suppose 3*c - 83 = -2*b, 0*c - 91 = -2*b + r*c. Is b composite?
False
Let q = 4522 + -1648. Suppose 2*w + 4*w - q = 0. Is w composite?
False
Is -3 - 2*1204/(-8) prime?
False
Suppose 0 = -49*w + 51*w - 6554. Is w composite?
True
Let k(d) be the second derivative of d**4/12 - d**3/2 + 11*d**2/2 - d. Let g(w) = 3*w**2 - 8*w + 32. Let x(v) = -2*g(v) + 7*k(v). Is x(9) prime?
False
Suppose 0 = -d - 3*d. Suppose 0*a + 3*a = -3*p - 45, d = -a - 5*p - 3. Is (-8 - a)*94/4 a prime number?
False
Let f(l) be the second derivative of -l**7/2520 + 29*l**6/720 - l**5/12 + 7*l**4/12 + 2*l. Let x(j) be the third derivative of f(j). Is x(12) prime?
False
Suppose 3*d = p + 33, d + 4*p = p + 11. Let m = -6 + d. Suppose -m*t + 435 = -110. Is t prime?
True
Let o(l) = l**3 - 6*l**2 + 3*l - 6. Let j be o(5). Let v = j + 21. Suppose 9*r - 623 = -3*y + 4*r, -1063 = -v*y + 4*r. Is y a prime number?
True
Suppose 121205 + 186705 = 10*z. Is z a prime number?
False
Let r = -1086 + 4075. Let j = 5426 - r. Is j prime?
True
Let j(f) = -5 + 3*f - 30 + 59*f**2 + 21*f - 13*f. Is j(8) a prime number?
False
Is 6 - 1 - -6571 - (6 - 11) prime?
True
Suppose -2*s + 3*s = -5*k + 18, -2*s + 3 = -k. Let b be (-4)/20 - 3813/(-15). Suppose -k*q = -5*q + b. Is q a prime number?
True
Let a = 16788 - 8057. Is a a composite number?
False
Let x = -2322 - -12235. Is x a composite number?
True
Let w = 39610 - 11147. Is w a prime number?
True
Let c(y) = y**3 - 4*y**2 - 3*y - 7. Let h be c(5). Suppose 4*b - 2*w = 508, -h*b + 300 = -2*w - 81. Is b composite?
False
Suppose u - 2*u = -4, n - 4*u + 14 = 0. Suppose 4*j - 3*j + 3*f = 18, 4*f - 14 = n*j. Suppose -j*a + 4*g = -1117, 3*a + 62 = 3*g + 1184. Is a composite?
False
Let c(k) = 3 + 111*k**2 + 2 - 4. Is c(2) a prime number?
False
Let d(g) = 11590*g**2 - 7*g + 4. Is d(1) a prime number?
True
Suppose 273*c = 268*c + 345815. Is c a composite number?
False
Suppose -173 - 3 = -11*d. Suppose 0 = -d*b + 21*b - 1455. Is b composite?
True
Suppose 0 = -3*m - 3*g - 3, -5*g = 3*m - 3*g. Suppose z = 3, 5*k - m*z + z - 12 = 0. Suppose -5*r - 335 = -5*w, k*w + 4*r = 5*w - 138. Is w a composite number?
True
Let i(o) = 32*o**2 - 27*o - 197. Is i(-24) composite?
True
Suppose -4*n + 3*s = -19403, s - 14574 = -3*n - 4*s. Is n a composite number?
True
Suppose s = -3*a + 26, -2*s + 52 = s - 4*a. Is (2 + 1615/s)/((-1)/(-28)) a prime number?
False
Suppose 7*n - 17 = 11. Suppose 5*k = -5, 3*a = -3*k + n*k + 2254. Is a a composite number?
False
Let k(b) = 2*b**2 + 23*b - 9. Let a(f) = -f**2 - f - 1. Let q(z) = -4*a(z) - k(z). Is q(16) a prime number?
False
Let d = -4 - 0. Let t = d + 8. Is (0 + 1)*3 + t composite?
False
Suppose 0 = 2*a + a - 6. Suppose a*p - 116 = -0. Is p composite?
True
Let i(r) = -r**3 + 7*r**2 - 6*r + 2. Let u be i(6). Suppose -4*q + 0*s + 287 = s, q + u*s - 77 = 0. Is q a composite number?
False
Let x(t) = 202*t**2 + 5*t. Let s(y) = 604*y**2 + 14*y. Let a(q) = 6*s(q) - 17*x(q). Suppose 3*v - b + 5 = 0, 4*v - 2*v + 5*b = 8. Is a(v) a prime number?
True
Suppose 0 = 33*j - 0*j - 501369. Is j a composite number?
False
Is (-694562)/(-7) + 14/(-98) a prime number?
True
Let g(h) = h**3 + 3*h**2 + 5*h + 1. Let t be g(-4). Let y(p) = p**3 - 5*p**2 + 10*p - 8. Let a be y(6). Let k = t + a. Is k composite?
False
Let r(p) = -8 + 8*p - 2*p + p**2 + 4 + 2*p**3 + 2*p**3. Is r(3) a composite number?
False
Suppose 0 = -o - 2, -2733 = 7*h - 2*h - o. Let z = h - -1698. Is z a prime number?
True
Let z be 7 - 9/(4 + -1). Suppose 0 = -7*p + z*p + 234. Suppose 2*r + p = 332. Is r a prime number?
True
Let n = -1636 - -2513. Let b = n - -684. Is b a composite number?
True
Is (-3)/(-18) + 420755/114 a composite number?
False
Let f be 4/(-12) + (-8275)/(-3). Suppose -48*g = -46*g - f. Is g a composite number?
True
Let i(y) = 4*y**2 - 3*y + 5. Let q(d) = 2*d**2 - d + 2. Let g(a) = -2*i(a) + 5*q(a). Let u = 7 + -9. Is g(u) a prime number?
False
Let u be 71 - (0/3 + 3). Let l = u - 41. Let b = -17 + l. Is b a prime number?
False
Let s(b) = 2*b + 11. Let h be s(-3). Suppose 5*m - 7549 = -h*j - 1454, 4*m + 5*j = 4878. Is m prime?
True
Is (63123 - 1)*73/146 prime?
False
Suppose -9*r - 13847 = -49370. Is r a prime number?
True
Suppose 18*g = 19*g. Suppose -b = -5*a - 693, g = 4*a + b - 0*b + 549. Is a/4*(-20)/15 a prime number?
False
Let q = 191 - 192. Let w(m) be the first derivative of 22*m**3 + m - 1. Is w(q) composite?
False
Suppose -102889 = 3*c - 277186. Is c prime?
True
Let j = -75 + 514. Let u = -62 + 140. Let t = u + j. Is t prime?
False
Let w(m) = 132*m + 1. Let s(r) = 5*r + 2. Let c be s(2). Let l = 14 - c. Is w(l) composite?
True
Let j(w) = 19*w + 21. Let v(i) = 48*i + 52. Let t(m) = 12*j(m) - 5*v(m). Is t(-1) prime?
False
Is ((-5)/((-40)/(-4)))/((-3)/8826) composite?
False
Let z = -99 + 150. Let v = z - -26. Let l = -24 + v. Is l prime?
True
Let o(x) be the third derivative of -5*x**4/6 - 5*x**3/6 - 6*x**2. Is o(-6) a prime number?
False
Suppose -1945 = d - 2*d. Let l(x) = -3*x**3 + 117*x**2 + x - 37. Let q be l(39). Suppose 3*n + 973 = q*a, -4*n + d = 4*a - 9*n. Is a a prime number?
False
Suppose -4*m - 2*r = -97620, -3*m - r + 6*r + 73241 = 0. Is m composite?
False
Let a(s) = -75*s**2 + 11*s - 17. Let z(q) = -76*q**2 + 10*q - 16. Let h(y) = 5*a(y) - 6*z(y). Is h(6) a composite number?
False
Let l = -3355 + 9793. Let q = l + -1211. Is q a composite number?
False
Let k = 1330 - 365. Is k composite?
True
Suppose 208913 = -24*k + 790649. Is k prime?
True
Let i = -9 + 13. Let b(x) = x**3 - 3*x**2 - 4*x + 5. Let j be b(i). Suppose -j*q + 607 = 2*y, 5*q - 3*q - 2 = 0. Is y a prime number?
False
Suppose 2*r = -h + 11, -3*r - 6*h = -h - 34. Suppose 0 = 3*v - 3*j - 6, v - 4*j + 7 = 2*v. Suppose c = r*s + 121, -2*s = v*c + s - 387. Is c a composite number?
False
Suppose -2*y - y = o + 11, 0 = -5*y - 4*o - 30. Let w = 2 - y. Suppose -4*k + 824 = 5*d, 4*d = w*k - 2*k - 412. Is k prime?
False
Let r(t) = 52*t - 27. Let q be r(6). Is q/15*(-1)/(-2)*22 composite?
True
Let t(a) = 2116*a + 7. Is t(1) composite?
True
Suppose -2*c - 8 = 0, 2*u + 0*c + 2882 = 5*c. Let y = -804 - u. Is y composite?
False
Suppose -5*r + 8537 = 4*z, 4*r - 6832 = -0*r - 2*z. Is r prime?
True
Suppose -83*g = -89*g + 160806. Is g a composite number?
False
Let s(w) = 15*w**2 + 3*w - 1. Suppose -3*j + 42 = 4*j. Is s(j) composite?
False
Let q(n) = -4*n - 2 - 8*n + 2*n + 9*n**2 - 1. Is q(-6) a composite number?
True
Let p = -39587 + 56904. Is p composite?
False
Let o(k) = -19*k - 61. Let u be o(-6). Suppose 168*p - u = 167*p. Is p prime?
True
Let n(g) = -2635*g - 298. Is n(-11) prime?
True
Let j = -79 - -166. Is j a composite number?
True
Let x be (-2 + (3 - 2))*43. Let z = 50 - x. Is z a composite number?
True
Let g(x) = 215*x - 44. Is g(5) a composite number?
False
Let i be 1 + 1 + 1 - -593. Let c = 4 - 1. Suppose -i = -a - c*a. Is a a prime number?
True
Let t = -6816 + 17345. Is t a prime number?
True
Let r(t) = 83*t + 2. Let l be r(2). Suppose 4*j - 16 = 0, h + 20 = 3*j - 29. Let k = l - h. Is k prime?
False
Let m be 16716/24*2*1. Let z = m - 726. Is z composite?
True
Let d(f) = f**2 + 13*f + 8. Let h be d(-12). Let o(q) = 92*q**2 + q - 3. Is o(h) a prime number?
False
Let u = 28317 - -19700. Is u a composite number?
False
Suppose -3*j + z = -205, 4*z = -j + 28 + 62. Let d = j + -42. Suppose -y + 25 + d = 0. Is y a composite number?
False
Let b(m) = -m**3 - 6*m**2 + 8*m. Let p be b(-7). Let r be (p - -4)/((-6)/140). Let y = r - 48. Is y prime?
False
Let k(h) = 11592*h + 6. Let q be k(2). Is (2/2)/(4 + q/(-5798)) prime?
False
Let m(i) = -i**3 + 8*i**2 + 4*i - 19. Let y be m(8). Suppose y*n = 8*n + 2455. Is n prime?
True
Suppose 3*m - 48 - 276 = 0. Suppose -2*h + 96 = 4*c, 2*h + 0*c + c = m. Let r = 159 - h. Is r prime?
True
Suppose -3*c + 5*u - 2*u + 14178 = 0, -2*c + 9455 = -5*u. Suppose 4*h = 2*n + 14644, 2*h - 5*n - 2597 = c. Is h prime?
False
Let u(z) = 29*z**2 - 2*z + 10. Let d(p) = -6*p**2 + 1. Let t be d(-1). Let f = t + 8. Is u(f) prime?
False
Let m = -253 + 258. Suppose 3*q - 6 = 390. Suppose q = -m*b + 4*u + 2121, 0 = -b + 3*u 