710)/(-6) a prime number?
False
Let l = -26 - -22. Let v(f) = 2*f**3 + 6*f**2 + 12*f + 6. Let m(a) = a**3 + 3*a**2 + 6*a + 3. Let s(q) = -5*m(q) + 2*v(q). Is s(l) a prime number?
True
Let k(b) = 28*b**2 - 10*b + 7. Is k(6) a prime number?
False
Let j(l) = -112*l + 5. Let n be j(-7). Is (n/(-6))/(1/(-2)) a prime number?
True
Suppose 0*h + 879 = 3*h. Is h composite?
False
Let m(c) = c**2 - 11*c - 1. Let k be m(7). Let r = 92 + k. Let n = r - 30. Is n a prime number?
False
Let o(z) = z**2 + z - 5. Suppose -4*u - 5*h = -9, 0 = 2*u - 2*h - 18 - 0. Suppose 8*k = u*k - 10. Is o(k) a composite number?
True
Let n(l) = -133*l - 46. Is n(-9) prime?
True
Let d(v) = v**3 + 3*v**2 - 6*v - 2. Let a be d(-4). Suppose 0*k - k = -p - a, -2*k + 4*p = -18. Suppose k = -h + 13. Is h composite?
True
Suppose -5*x + r + 319 = 0, 3*x = -r - r + 181. Suppose -3*z = -5*a + 1324, -460 = -2*a - z + x. Is a a prime number?
True
Suppose 5*g - 110 = 4*v - 23, 0 = g - 5*v - 30. Suppose z + g = -0*z. Let j = z + 34. Is j composite?
False
Is (-1)/2 + (-14)/28 - -264 a prime number?
True
Let d be (-30)/(0 - 9/6). Suppose 5*v = v + d. Suppose 2*k = v*l + 624, -2*l + 18 = k - 285. Is k composite?
False
Let y = 2391 - 926. Is y prime?
False
Let l = -747 + 1316. Let k = 1018 - l. Is k a composite number?
False
Let t(n) be the second derivative of n**5/20 + n**4 + n**3/3 + 3*n**2 - 6*n. Is t(-7) composite?
True
Is (5/(-10))/((-2)/268) a prime number?
True
Suppose 42 = 4*o - 2*o. Is o composite?
True
Let w(n) = n**2 + 3*n - 4. Let m be w(-6). Suppose 5*t - 31 - 109 = 0. Let l = t - m. Is l a prime number?
False
Let c = -10 + 0. Let i = 69 + c. Is i a composite number?
False
Suppose o - 62 = 8. Suppose -12*p + 14*p = 4. Suppose -p*c - o + 336 = 0. Is c a prime number?
False
Let d(c) = -26*c - 4. Suppose v - 3*s + 1 = 0, -4*v - s = v + 37. Let a be d(v). Suppose 5*y - z = 711 + 175, z = y - a. Is y prime?
False
Let s(y) = 371*y**3 + y**2 - 1. Is s(1) a prime number?
False
Let p be 4/10 + (-3)/(-5). Let m = -1 + -1. Is -1 + p/(m/(-80)) a composite number?
True
Let k = -401 + 934. Is k prime?
False
Suppose -3*h + 1901 = -0*q + 2*q, 4*q - 3169 = -5*h. Is h prime?
False
Let o(t) = 7*t**2 - 9*t + 7. Is o(-12) prime?
True
Suppose p + 2*p - 12 = 0. Suppose 5*r - r = p*v - 36, 4*v + 5*r = 0. Suppose -v*h - 8 = -78. Is h a prime number?
False
Let f(p) = -p**2 + 3*p + 3. Suppose -3*n = -3*a + 6*a - 24, -15 = -3*a. Let o be f(n). Suppose -4*m + 4*d = -124, -5*m - 8*d = -o*d - 185. Is m composite?
True
Let j(q) = q**3 - q**2 - 3*q - 2. Suppose -5*s - 5 = -30. Is j(s) a prime number?
True
Suppose 318 = 4*c - 14. Is c a prime number?
True
Let w = 12 - 10. Suppose 0 = w*a - 3*a + 201. Is a composite?
True
Suppose p - 3*j = 196, -p - 4*j = j - 236. Is p a composite number?
False
Let z = -3 + 6. Is (z/(-9))/((-1)/93) a composite number?
False
Let a(i) = -4*i**3 + i**2 + 4*i + 1. Is a(-3) a composite number?
True
Let n(t) = 9489*t**3 - 2*t**2 + 5*t - 3. Is n(1) a composite number?
True
Let j(r) = 4*r**2 - 2*r - 8. Let m(d) = d**2. Let z(h) = j(h) - 2*m(h). Let q be z(-6). Suppose 4*l - 200 = -q. Is l prime?
True
Let l = 6337 - 4463. Suppose -9 = 5*d - l. Is d a composite number?
False
Let j = -206 + 337. Is j prime?
True
Suppose 2*z = -3*z + 5*b + 1255, -2*b - 749 = -3*z. Is z a prime number?
False
Is (-200)/(-9) + 16/(-72) prime?
False
Let d(t) = -2*t - 2. Let s be d(-4). Suppose 2*r = -i + s*i + 211, -4*r - i + 367 = 0. Is r prime?
False
Let c = 13 + -10. Is c a prime number?
True
Let n(y) = y**2 - 10*y - 11. Let o be n(11). Suppose o = 2*t - 0*t - 138. Is t composite?
True
Let w be -7 - 4/(4/(-3)). Let s = -4 - w. Suppose -3*c = -s*c - 111. Is c composite?
False
Suppose -w = -5*x + 4*w + 800, -3*x + 470 = -w. Is x composite?
True
Let x(k) = -k**3 - 16*k**2 + 22*k - 5. Is x(-18) composite?
True
Suppose 3*r = -2*b + 6*r - 22, b + 16 = 4*r. Let h be b/(-12) - (-1)/3. Is 1*(h - -2*26) composite?
False
Is (118/4)/(3/30) composite?
True
Suppose -b - 2*b = 0. Suppose 5*u + 3*q = 21, -3*u + 5*q + 3 - 4 = b. Is u composite?
False
Let z(v) = -121*v - 20. Is z(-9) composite?
False
Let t(n) = 13*n**2 + 3*n - 15. Is t(6) prime?
False
Let z(b) = 4*b**2 + 6*b - 9. Is z(4) a composite number?
False
Suppose 0 = 4*m + 190 + 106. Let n be (-2)/4 - m/4. Let w = 51 - n. Is w a prime number?
False
Let g = -6 - -9. Is (-2)/g - 325/(-15) a prime number?
False
Suppose 2*r = -2*q + 606, 3*q - 5*q + 2*r = -590. Is q composite?
True
Suppose 3*f - 305 = 700. Is f prime?
False
Suppose -3*m - 5*a = -401, -3*a = 3*m - 4*a - 377. Is m a composite number?
False
Suppose -b + 1509 + 140 = 0. Is b a composite number?
True
Let x(z) = -61*z + 9. Let d be x(-7). Suppose -b - n = -3 + 4, -4*b - 2*n = -6. Suppose b*r = d - 168. Is r prime?
True
Suppose -23 = 6*n + 25. Suppose 0 = 5*g - 3*m + 14, -4*m + 2 = -4*g - 14. Is g*4/(n/6) prime?
True
Is (-1673)/(-21) + 2/(-3) a prime number?
True
Let u(h) = 11*h - 2. Suppose -4*r - r + 40 = 0. Let o be u(r). Let l = -51 + o. Is l composite?
True
Let v = 324 - 113. Is v prime?
True
Suppose 2*u - 308 = 210. Is u a prime number?
False
Let l(d) be the first derivative of -d**3 + d**2/2 + 1. Let q be l(1). Is q - (-8)/3*3 a prime number?
False
Suppose 2*o + 3*k = 260, -2*k - 195 = 5*o - 834. Suppose -5*c + 163 = -2*y, 5*y + o = 3*c + c. Is c composite?
True
Let i = -1062 - -6049. Is i prime?
True
Suppose -2*c - x + 526 = -5*x, -5*c = -2*x - 1347. Is c a prime number?
True
Let n be (-3)/(3 + -1 - 3). Suppose 5*k + n = 23. Is ((-2)/6)/(k/(-636)) prime?
True
Let o = -3 - -7. Let g = -7 + o. Is ((-6)/g - 0) + 45 prime?
True
Suppose 10*p - 5*p = 3*i - 257, 0 = i + 3*p - 67. Let z = i + -18. Suppose 0 = 4*n - z - 71. Is n a prime number?
False
Let q be (-33)/(-2) - 2/4. Suppose 4*j - 2*i = 3*i + q, 12 = 3*j + 5*i. Is j prime?
False
Suppose -s + 9 = 3*o, 6 = 2*o + 2*s - 0*s. Is 235*-1*(-4 + o) composite?
True
Suppose 5*f + 5*g = 2*g + 8288, -3*f - 3*g = -4974. Is f composite?
False
Suppose 8*u = 4*u + 3572. Is u a composite number?
True
Let g be (-1365)/12 - (-1)/(-4). Let w = 373 + g. Is w a prime number?
False
Let q(r) = -10*r**3 - 5*r**2 + r - 6. Is q(-5) a composite number?
True
Let f(m) = -3*m - 7. Let g be f(-5). Let q = 3 - 25. Is (q/g)/(1/(-4)) prime?
True
Let s(z) = -2*z**3 + 7*z**2 - 2*z**3 - 2 + 3*z**3. Let u be s(7). Is 549/15 + u/(-5) composite?
False
Let o(d) = -d**2 - 5*d + 3. Suppose 26 = 5*n + 81. Let w = n - -7. Is o(w) a prime number?
True
Is ((12/3)/(-12))/(1/(-309)) composite?
False
Let x = -212 - -361. Is x composite?
False
Suppose -2*k + 4*w = 20, -6 = k - w - 0. Let m be 3 - (k - 0) - -3. Let q(p) = -p**3 + 11*p**2 - 10*p + 1. Is q(m) a composite number?
False
Let g = 128 - 75. Is g a composite number?
False
Let n(b) = b**3 - 16*b**2 + 17*b - 11. Is n(15) prime?
True
Let d(w) = 2*w**3 - 4*w**2 - 6*w + 6. Is d(4) a prime number?
False
Let t(m) = 31*m - 4. Let k(a) = 8*a - 23*a - 1 + 3. Let w(g) = -5*k(g) - 2*t(g). Is w(3) prime?
True
Suppose w - 250 = -3*i, 0*i - 254 = -3*i - 5*w. Is i prime?
True
Suppose 1831 = 5*d - 74. Is d prime?
False
Suppose 3*l = 4*a + 4*l - 421, 0 = -2*a - 5*l + 233. Let b = 201 - a. Is b composite?
False
Suppose -4*m - 4 = 0, 5*f - 6*m - 14 = -2*m. Let u be (0 - f)/4*-4. Suppose 0 = -g - 4 - 1, -2*g = -u*j + 52. Is j a composite number?
True
Let f be 8/(-10)*(-110)/4. Suppose 2*g = 2*k - f, -g = 5*k + 2*g - 71. Is k prime?
True
Is 21417/22 - (-1 - 1/(-2)) a prime number?
False
Suppose 5*w - k = 17 - 4, 5*k = -5*w + 25. Suppose 7*r = w*r + 812. Is r prime?
False
Let c(y) = -y**3 + 6*y**2 - y + 3. Let n be c(6). Let s be (-4)/((-6)/(n/(-1))). Suppose 5*i - 15 = 0, -s*w + i + 22 = -i. Is w composite?
True
Let u be (-18)/(0 - 3)*1. Is 3/u*1*466 a composite number?
False
Let k(o) = -4*o - 5. Let q(l) = -l**2 - 6*l - 2. Let v be q(-7). Is k(v) prime?
True
Suppose -559 = -5*g - 4*k, 10*g - 5*g - 583 = 2*k. Is g a prime number?
False
Let z = -10 + 13. Suppose -67 - 35 = -z*s. Is s composite?
True
Let n(i) = -6*i**3 + i**2 - 3*i + 2. Let v be n(1). Let s(l) be the second derivative of l**4/6 - l**3/2 + 5*l**2/2 + l. Is s(v) prime?
False
Suppose 5*x - 2*l - 81 = 30, -x + 31 = 4*l. Is x a composite number?
False
Suppose x - 247 = -4*x + u, 2*x - 106 = 4*u. Is x prime?
Fa