/(-28). Suppose -x - 4*u = -3*u - 39, 4*x + c*u = 154. Is x prime?
True
Let a(m) = -2*m**3 - 13*m**2 - 8*m - 15. Let i be a(-6). Let k(r) = -9*r**3 + 2*r**2 + r + 5. Is k(i) a composite number?
False
Suppose -4*p + 959 + 193 = 0. Suppose 10*t = -6*t - 2224. Let y = t + p. Is y prime?
True
Let i(z) = -z**3 - 9*z**2 - z + 12. Let s(p) = -p - 10. Let b be s(3). Is i(b) a composite number?
False
Suppose 0 = -9*k + 30237 + 1506. Is k prime?
True
Let o(u) = -2*u**2 + 1. Let q be o(1). Let c be 135 + 0/4 - q. Let n = c - 53. Is n composite?
False
Suppose -5*y - 14334 = -3*g, 4*y - 311 - 9267 = -2*g. Is g a prime number?
True
Suppose -3*o + 2*b = -1418, -o - 5*b = -6*o + 2365. Suppose -1532 = -4*z - o. Is z prime?
False
Let k = 6264 + -3787. Is k a composite number?
False
Let g = 256 + -119. Let p = g + -70. Is p composite?
False
Let d(w) = 1905*w + 248. Is d(5) composite?
True
Is (2/6)/((-28)/(-1910076)) composite?
False
Suppose -y - 182419 = -20*y. Is y a composite number?
False
Suppose 0 = 62*i - 60*i - 782. Is i a composite number?
True
Let o = -21 + 25. Let n be (-9)/(1652/416 - o). Let u = 631 - n. Is u a composite number?
True
Suppose p - 3*a + 104 = -p, a = -4. Let j = p + 20. Is 11/(-2 - 78/j) a prime number?
False
Suppose -14424 - 16770 = -18*i. Is i prime?
True
Suppose -3*f + 3043 = 2*c, 20*f - 22*f - 4545 = -3*c. Is c a composite number?
True
Let g(v) = 12*v**2 + 1. Suppose 0 = -f + 12 + 18. Let q be f/(-42) - 2/7. Is g(q) prime?
True
Let z be 2/(-2) - (-1573)/(-13). Let n = z - -241. Is n a prime number?
False
Let i(p) = 71*p**2 + 36*p + 12. Is i(11) a composite number?
False
Is ((-4)/1 - -5)*18859 a composite number?
False
Suppose r - 4*l = 251, 0 = -5*r + 4*l - 358 + 1645. Is r prime?
False
Let b be (546/(-52))/(((-1)/(-2))/(-1)). Suppose -5*h = b - 8656. Is h composite?
True
Suppose 780 = 3*c + 33. Is c a prime number?
False
Let o(a) = -2*a**3 - 3*a**2 + a. Let p be o(-2). Suppose -p*j + 103 = -531. Is j a composite number?
False
Let v(j) = 8*j**2 + 14*j - 1. Let g be v(16). Let h = g + -790. Is h composite?
False
Let s(g) be the third derivative of g**6/60 - g**5/30 + g**4/24 + 13*g**2. Let o be s(1). Is (-1)/(o/(-444)) - 1 prime?
True
Let y(v) = 401*v + 356*v - 46 + 58. Is y(1) a prime number?
True
Suppose 4 = w + 2*u - 4*u, -3*w - 8 = 4*u. Suppose 0 = -5*k - 4*z + 87, 4*k = -w*k + 4*z + 84. Is k composite?
False
Let v be (-920)/(-22) + (-6)/(-33). Suppose 0 = -0*q - 3*q + v. Suppose -l = -q - 25. Is l prime?
False
Let q be 13/5 - 6/(-15). Suppose -i - q*i + 560 = 0. Suppose 0 = -3*k - 5*j + 768, k + 3*j = 400 - i. Is k a prime number?
True
Is (-4)/(((-8)/32)/((-12021)/(-48))) prime?
True
Let d(u) = u**3 + u**2 + 5*u - 29. Is d(7) prime?
False
Let v = -10 - -5. Let b(z) = -12*z - 5*z + 9 - 10 + 5*z. Is b(v) prime?
True
Suppose 0 = 12*r - 7*r - 3715. Is r a composite number?
False
Let u = 19269 + -10686. Is u composite?
True
Let c be (4/2)/(-2) - -4. Let b be 0/(-1 + c) + -14. Is 4/(-14) + (-46)/b a prime number?
True
Let b = -38 - -1209. Is b a composite number?
False
Suppose -14 = -r + 3*b, 0 = -5*r + 2*b + 2 + 16. Suppose r*g + g = -495. Let s = -86 - g. Is s composite?
False
Let b be -339*-1*1*1. Suppose -2*s + 12 - 12 = 0. Suppose s = 4*q - 169 - b. Is q a composite number?
False
Let b(r) = 256*r**3 + r - 1. Let u(o) = -o**3 + 1. Let x(q) = -b(q) - 2*u(q). Let v = 260 - 261. Is x(v) composite?
True
Suppose 2*w + 3*d - 18 = 0, 3*w - w = 4*d - 10. Suppose 5*n - 135 - 610 = -4*r, -w*n = 2*r - 373. Is r prime?
False
Let f(o) = 406*o**2 + 42*o + 119. Is f(-3) composite?
True
Suppose 8*g - 215380 = 77844. Is g composite?
False
Is 4 + -5 + 1 + 6697 a composite number?
True
Let x be (724/8 - 2)*2. Let v be 4/((-48)/(-9))*4. Suppose -v*y = -1566 - x. Is y composite?
True
Let b(t) be the second derivative of t**4/12 + 1097*t**2/2 - 3*t. Let p(d) = -d**3 - 10*d**2. Let s be p(-10). Is b(s) prime?
True
Let u = 19 + -19. Suppose 0 = -5*o + 4*s + 31, -o - 3*o + 5*s + 32 = u. Is (1072/48)/(1/o) prime?
True
Suppose -4*j + 6*z + 4 = 2*z, 4*j + 23 = -5*z. Let x(c) = c**3 + 3*c**2 + c + 4. Let w be x(-3). Is (1 + 234 + j)/w composite?
False
Let p(g) be the first derivative of 1 + 19/3*g**3 - g + 0*g**2. Is p(4) a composite number?
True
Let b = -72 - -76. Suppose b*r + 5*v = 637, -4*r + v + 3*v + 664 = 0. Is r prime?
True
Let t be 8/(1/1) + -1. Let z be 140/(-42)*(-588)/5. Suppose 2*r + y + 957 = t*r, -z = -2*r + 5*y. Is r a composite number?
False
Suppose 0 = 8*d - 4*d. Let q(c) = c**2 + 2. Let v be q(d). Is (-2)/v*(-35 + 4) a prime number?
True
Suppose k - 44155 = -4*c, 18*c - 15*c - 2*k = 33108. Is c composite?
True
Let r(v) = -1071*v - 59. Is r(-8) composite?
True
Suppose q = -133 - 418. Let t = q - -1038. Is t composite?
False
Let v be 86 + (-3)/1 + 1. Let l be 212/(-12)*(-1 + -2 - -6). Let x = v + l. Is x composite?
False
Suppose 15*b - 12 = 11*b. Suppose q = l - 434, b*l - q - 2070 + 758 = 0. Is l composite?
False
Suppose 1418 = -9*b - 202. Is (-4)/(b/296765) + (-2)/(-9) prime?
False
Suppose f - 5*w + 666 = 0, 0*f - 5*f - w - 3460 = 0. Let k = f + 1200. Is k a prime number?
True
Let u = -1855 - -3054. Let n = u - 612. Is n a composite number?
False
Let y(a) = -6*a**3 + 2*a**2 + 18*a - 15. Let j(t) = -3*t**3 + 9*t - 8. Let m(w) = 5*j(w) - 3*y(w). Suppose -4*n + 33 = -v - 0*v, 2*v = n - 17. Is m(n) prime?
True
Let f be ((-48)/(-80))/((-6)/(-20)). Suppose -4*s + f*c = -2*c - 2360, -3*c - 1183 = -2*s. Is s composite?
False
Let k(g) = -3*g**3 + 5*g**2 + 46*g + 9. Let z be k(9). Suppose 0 = 2*p + 3*p + 40. Is (-2)/p + z/(-36) a composite number?
True
Let q(d) = d. Let j be q(3). Suppose w - j*b - 5 = 0, -2*w + 3*w + 2*b = 0. Suppose -2585 = -w*a - 667. Is a composite?
True
Let t(l) = 202*l + 35. Is t(13) a composite number?
True
Let m be ((-992)/(-10))/(8/160). Let g = m + -665. Is g composite?
False
Is ((-168762)/(-9))/(((-16)/12)/(-2)) composite?
True
Let i(w) = 45*w**2 - 29*w - 21. Is i(23) a composite number?
False
Let u(r) = -3*r**3 + 33*r**2 + 47*r - 22. Let s(m) = -m**3 + 11*m**2 + 16*m - 7. Let l(j) = -11*s(j) + 4*u(j). Is l(9) a composite number?
True
Let o(y) = y**3 - 4*y**2 - y - 7. Let k(l) = l. Let v(z) = z + 6. Let h be v(0). Let r be k(h). Is o(r) composite?
False
Let j be 2/((9/2)/9). Suppose 16 = -j*a + 468. Is a prime?
True
Let b = 6179 + -2377. Is b a composite number?
True
Suppose 3*y + 8*y = 8393. Is y composite?
True
Let h = 11954 + -1947. Is h composite?
False
Is (-6 - (-5 + (-70254)/3))*1 composite?
False
Suppose 2*s - 39536 - 6170 = 0. Is s composite?
False
Let n(i) = i**2 + 67*i - 35. Is n(29) prime?
True
Is (-2769075)/(-21) - ((-825)/(-77) + -11) prime?
True
Let t(j) = -j**2 - 12*j + 17. Let p be t(-13). Suppose 3*o - 4*b - 483 = 0, -p*o - 2*b + 139 = -483. Is o composite?
False
Let w = -15 + -95. Let n = 60 - w. Let c = n - -579. Is c prime?
False
Let v(q) = -3 + 16 - 20*q + 54*q. Let u = -415 + 422. Is v(u) composite?
False
Let a(q) = -q**2 - 1. Let f be a(1). Is f/(-12) + (-6625)/(-30) composite?
True
Suppose x = -3*x. Suppose 4*v - 16 = -2*l, 3*v + 6*l - l - 19 = x. Suppose -v*w = -2*o + 7*o - 221, 4*o - 175 = -3*w. Is o composite?
True
Let a = -3035 + 4254. Is a a prime number?
False
Let u(r) = 116*r**3 + 4*r**2 - 6*r - 13. Is u(4) a composite number?
False
Suppose -5*z = -0*z - 65. Let x = z - 11. Suppose 0 = -r - x*y + 259, 5*r - 2*y + 0*y = 1283. Is r a composite number?
False
Let u(t) = -t + 287. Suppose -2*m = -3*m. Suppose m*z = -5*z. Is u(z) prime?
False
Is 384198/26 - ((-180)/156 - -1) prime?
False
Is ((-2182)/16)/(10/(-680))*2 a composite number?
True
Let s = -1683 + 3566. Is s a composite number?
True
Is ((-18018)/(-12) - -8)*2 a prime number?
True
Let c = 17018 - -23975. Is c a composite number?
False
Is ((-14)/6)/((-21)/44163) a prime number?
False
Let q(z) be the first derivative of -27*z**2/2 + 49*z + 7. Is q(-11) a composite number?
True
Let t = -137 - -135. Is 86355/75 + (t/(-5))/(-1) a composite number?
False
Let w(f) = -12*f**3 - 16*f**2 - 72*f - 15. Is w(-11) composite?
False
Let b(k) = -k**2 - 10*k - 9. Let f be b(-9). Suppose 4*t + 2*v - 3396 = f, t + 4*v + 0*v - 835 = 0. Let d = t - 544. Is d a prime number?
True
Let j(m) = -2*m**2 - 14*m - 8. Let q be j(-9). Let p = q - -86. Suppose 0 = y 