o = -n. Is o a prime number?
False
Suppose 0 = 3*r - 4*r + 34. Let u be ((-12)/2)/((-2)/3). Let o = r - u. Is o composite?
True
Let u(p) = -4*p**3 - 1. Let a be u(-1). Is (2781 - 4)*(a - 2) a prime number?
True
Suppose 0*v - 3*v = 21. Let c(u) be the third derivative of u**5/20 + u**4/3 + u**3 + 4*u**2. Is c(v) composite?
False
Suppose -2*y + 2912 = v + 3*y, 5*y - 15 = 0. Is v a prime number?
True
Suppose -10 = -3*b - x, 12 = 4*b - 7*x + 9*x. Let m(n) = 8*n**2 - 8*n + 4. Let f(l) = -7*l**2 + 9*l - 3. Let r(o) = 3*f(o) + 4*m(o). Is r(b) composite?
False
Suppose 0 = -j + m + 31, 3*m - 8 - 39 = -2*j. Let a be ((-8)/j)/(1/(-7)). Suppose 121 = l - 2*g, 3*g = a*g + 3. Is l prime?
True
Is ((-159195)/20)/((-21)/56) a prime number?
False
Let o = 37 + -52. Let c = 0 - 54. Let u = o - c. Is u composite?
True
Let p(k) = 0 - 1 + 1 - 379*k. Is p(-1) a prime number?
True
Let t be 220*(1 - 3/(-15)). Let g = t - 114. Suppose 3*n - 9 = g. Is n a composite number?
False
Suppose 5*j - 206 = 10059. Is j a prime number?
True
Suppose -8*r = -2*r - 97446. Is r a prime number?
False
Let v(y) = 10*y**3 - 6*y**2 - 5*y - 3. Is v(4) a composite number?
False
Let y be (5 - 3)/(6/15). Let x(b) = 18*b - 1. Let l be x(y). Suppose 0 = g - q - 33, 4*g - l = g - 2*q. Is g a composite number?
False
Let h(n) = n - 3. Let f be h(3). Suppose -5 = w, 4*d = 6*d + 4*w + 14. Suppose f = 2*s - l - 833, -4*l + 7*l = -d*s + 1272. Is s a prime number?
True
Suppose 3*t = 3*w + 3, w = 6*t - t - 1. Suppose t = 2*m - 865 + 69. Suppose -3*u = -u - m. Is u a composite number?
False
Suppose 3*k - 6*k + 3*d = -3333, 5*d - 1117 = -k. Suppose k + 478 = 3*p. Suppose -23*u - p = -28*u. Is u prime?
False
Let a = 14997 - -5248. Is a a prime number?
False
Suppose -1261 - 510 = -3*a - 2*m, 2*m = -2*a + 1182. Is a a composite number?
True
Suppose 5*s = 5*w + 8*s - 35578, 3 = 3*s. Is w a prime number?
False
Let h(m) = 7*m**2 + 44*m + 238. Is h(47) prime?
False
Suppose 141734 + 19540 = 6*g. Is g composite?
False
Suppose t = -r + 5 - 0, 3*t - 3*r = 9. Let n = -4 - t. Is (-290)/n - 15/(-20) a prime number?
True
Let v(x) = 373*x + 4. Is v(33) composite?
True
Suppose -4*q + 15 = -0*n + n, n - q = 0. Suppose 0 = d + p - n*p - 207, 5*d - 5*p - 1015 = 0. Is d prime?
True
Let p(w) = w + 2. Let g be p(2). Suppose u - i = g*u - 112, -5*i - 69 = -2*u. Is u prime?
True
Suppose 0 = -2*p - f + 9, 4*f = -6*p + 5*p + 15. Suppose -p*v + v - 6 = 0, 0 = 3*j + 2*v - 477. Is j a prime number?
False
Suppose 2*u = -2*g + 11044, 5*g - 133*u - 27589 = -131*u. Is g a prime number?
True
Suppose w + 2462 = 5*t, t + 275 - 762 = 2*w. Is t a composite number?
True
Suppose -4*v = -812 - 224. Let z = -52 - v. Let w = z + 598. Is w a prime number?
False
Suppose -3*d + 4143 = -4086. Is d prime?
False
Let i = 2260 + -1609. Let v = i - -22. Is v prime?
True
Suppose a = -1572 + 6289. Is a a composite number?
True
Suppose -5 = 2*j + 1. Let r be 21/3 - (-1 - j). Suppose -r*z + 2*x = -381, 5*z - x - 34 = 349. Is z composite?
True
Let g be (0 - -895) + 17 + -19. Let a = g + -586. Is a a prime number?
True
Suppose -77*i + 74*i = -3*g - 1785, 2*i = -g + 1178. Is i a composite number?
True
Let q = 92698 + -53759. Is q a prime number?
False
Let w(d) = 5*d**2 + 18*d - 42. Is w(17) prime?
True
Let i = -7865 + 11944. Is i composite?
False
Is (-32350)/(-7) + (190/(-35) - -5) a composite number?
False
Let a be (64/(-44))/8 + 268/22. Let p(s) = 14*s**2 - 4*s - 1. Is p(a) a composite number?
True
Suppose 2199 = 2*x + 625. Is (x/(-6))/((-18)/108) a prime number?
True
Let u = 17797 + -9132. Is u prime?
False
Let u be 0*(0 + (-2)/(-4)). Suppose -1463 = -7*x - u*x. Is x composite?
True
Let a(b) = b**3 - 8*b**2 + 7*b + 3. Let i be a(7). Let g(v) = -v**3 + 5*v**2 - 3*v - 3. Let j be g(i). Suppose j*n - 555 = 3*n. Is n composite?
True
Let d = -4 - -7. Suppose 2*k - d = 7. Suppose -118 - 597 = -k*u. Is u prime?
False
Let w be ((-4)/5)/(8/(-20)). Suppose -w*p = -p - 1, 410 = 5*g - 5*p. Is g a composite number?
False
Suppose 2 + 14 = 4*p. Let v(i) = i**3 + 2*i**2 - 2*i + 1. Is v(p) prime?
True
Let f = 59 + -47. Suppose -7*p = -11*p + f. Is p prime?
True
Let l = -3131 + 18362. Is l prime?
False
Is 1*57325 + (3 - 4) + 5 a prime number?
True
Suppose 300 = 5*b + 2*d - 149, -5*d = b - 76. Is b a composite number?
True
Let c(w) = 2*w**3 - 2*w**2 - 6*w - 12. Let a be c(-5). Let y = 575 + a. Is y a prime number?
True
Suppose -42 = -5*c + 4*d, -2*c = -3*c - 2*d. Suppose -5*a + c = -2*a. Suppose -355 = -a*s + 147. Is s a composite number?
False
Suppose 0 = a - 8*a + 21259. Is a composite?
False
Let m = -350 - -162. Let l = -97 - m. Is l composite?
True
Is 2 + -7 + (-25)/(-5) + 4083 composite?
True
Let b be ((-836)/12 - 3)*3/(-2). Suppose 376 = y - b. Is y prime?
False
Suppose -5*m = -8*m + 18. Let h(u) = 10*u**2 - 5*u + 7. Is h(m) prime?
True
Let a(p) = -36*p - 6. Let l be a(4). Let c(q) = -2*q**2 + 17*q - 12. Let t be c(11). Let f = t - l. Is f a composite number?
False
Let g(m) = -9*m**3 - 4*m**2 + 13*m + 19. Let z be g(-8). Is (2 + -1)/(17/z) a composite number?
False
Let p(k) = -42*k - 127. Is p(-17) a prime number?
True
Suppose -7*o + 6124 = -5*o. Suppose 41*r - o = 39*r. Is r prime?
True
Let r(f) = f**3 + 11*f**2 + 6*f - 10. Let q be r(-10). Let d = q - 26. Suppose -d*a = -380 + 64. Is a a composite number?
False
Let r(i) = -i**2 + 5*i - 1. Let l be r(4). Let d(v) = 199*v - 10. Is d(l) a prime number?
True
Let n = -58 - -61. Suppose n*p + 493 = d, -2*d + 984 = p - 6*p. Is d a prime number?
True
Let h be (-96)/(-15) + (-4)/10. Suppose h*s = 8*s - 2210. Suppose -2*w = 3*w - s. Is w composite?
True
Let u = 19050 - 10309. Is u a prime number?
True
Is (9597/35)/(3/15) a composite number?
True
Is ((-9)/9 - 2) + 492*13 composite?
True
Let f = 67227 - 40900. Is f a composite number?
True
Suppose 5*q - 2898 = -253. Let y = -222 + q. Is y prime?
True
Suppose -2*i + 13826 = 3*c + 4773, -3*i = 4*c - 12071. Is c a prime number?
False
Suppose 0 = 52*c - 48*c - 12. Suppose -c*f + 358 = -275. Is f prime?
True
Suppose 3*x + 24*d = 26*d + 7711, -4*x + 5*d = -10293. Is x composite?
True
Let a = -14 + 17. Suppose a*u = -0*u. Suppose u*d + d - 755 = 0. Is d a prime number?
False
Let d(i) = 9*i**3 - i**2 - 21*i**3 + 5*i**3 + 8*i**3. Let t be d(-1). Is ((1 - 0) + -23)/t prime?
True
Let l be ((-16)/(-1))/((-1)/(-12)). Suppose 5*r = 3*r + 6. Suppose r*c - l = 39. Is c a composite number?
True
Let j(z) = -338*z**3 + 16*z**2 + 12*z + 39. Is j(-5) a prime number?
False
Let i(j) be the first derivative of j**4/4 + j**3/3 + 112*j + 4. Let o be i(0). Let g = -33 + o. Is g composite?
False
Let t(d) = 10*d**3 - 15*d**2 + 9*d + 85. Is t(9) composite?
True
Let j be (840/(-36))/((-2)/165). Let d = j - 124. Is d a composite number?
False
Let l(w) = -14*w**2 + 24*w - 25. Let r(y) = -5*y**2 + 8*y - 8. Let k(s) = -3*l(s) + 8*r(s). Is k(12) composite?
True
Let r be (-4)/(-26) + (-192)/(-104). Let u be 1 - 1 - 1 - r. Is u/(1*12/(-40)) composite?
True
Let z = 10 - -11175. Is z a prime number?
False
Let q(y) = -1551*y + 43. Is q(-4) a composite number?
False
Let c(p) = 68*p**3 + p**2 + 2*p - 3. Is c(4) prime?
True
Let x = 54062 + -22071. Is x a prime number?
True
Suppose 0 = 4*l + 5*n - 102097, l - 5*n = -2*l + 76564. Is l prime?
True
Let f = 43396 - -6457. Is f composite?
False
Suppose -34*m + 12 = -31*m. Suppose -135 = -9*v + m*v. Is 1 - -111 - v/(-9) composite?
True
Suppose 0 = -3*s - 131248 + 38221. Is ((-1)/(2 - 1))/(11/s) a prime number?
True
Suppose -2*d + n = 2*d - 8, -3*d + 3*n + 6 = 0. Suppose -p + d*p = 4*a - 14, 0 = 4*p - 2*a. Suppose -4*i + 124 = -p*i. Is i prime?
False
Let x = -31 + 60. Suppose -5*q + 14 = 5*y - 31, -q = 5*y - x. Let l(k) = 4*k**3 - 4*k**2 - 2*k + 1. Is l(q) composite?
True
Is -4 + 5038 + (-35)/(-7) composite?
False
Let m = 3 + -9. Let b be -4 + m/(-2) - -2. Is -5*(b - 658/5) composite?
False
Let x(k) = 42*k + 41. Let q(r) = 7*r + 4. Let m be q(2). Is x(m) composite?
False
Let c(z) = 3*z**3 + 2*z**2 - 6. Let d be c(3). Let g = 680 - d. Is g a composite number?
False
Suppose 0 = -2*i + 16 + 4. Is -1 - (-5)/2 - (-3275)/i composite?
True
Let f = 37 + -41. Is (-1)/(f/1060 + 0) a composite number?
True
Let r = 10 + 9. Suppose -4*s + 1 + r = 0. Suppose -s*q + 162 - 7 = 0. Is q prime?
True