6 = 4*k + 600. Is k prime?
True
Let g be (-30116)/(-24) + (-2)/(-12). Suppose -22*s + g = -17*s. Is s a prime number?
True
Let n(k) be the third derivative of k**5/30 - k**4/3 + 3*k**3/2 + 3*k**2. Is n(6) a composite number?
True
Let q be 95/1 - 1*2. Let j be ((-2)/(-5))/((-1)/155). Let z = q + j. Is z prime?
True
Let q be -1 + (1 - 1) - -2. Let c(l) = 62*l. Is c(q) prime?
False
Suppose -2*u - 9705 = -7*u. Suppose -2*g - g = -u. Suppose -5*t = -4*k - g, -3*t - 2*k = -134 - 241. Is t a prime number?
True
Let d = -19 - -34. Let h = d + -58. Let y = 65 + h. Is y composite?
True
Let w(o) be the second derivative of -o**5/20 - 7*o**4/12 - 2*o**3/3 + 13*o**2/2 + 4*o. Is w(-9) a prime number?
True
Let g(t) = -10*t**3 - 3*t + 1. Is g(-2) composite?
True
Suppose -2*w = 0, 0 = -2*m - 3*w + 5*w - 14. Let r(b) = 5*b - 4. Let g(u) = -5*u + 4. Let n(s) = -2*g(s) - 3*r(s). Is n(m) composite?
True
Suppose l = -l. Suppose 0 = y + 4*m - 55, l = 3*y - 2*y - 5*m - 55. Is y prime?
False
Suppose 0 = -0*n + 5*n - 20. Suppose -n*b + 5*k = -32, -k - 18 = -2*b + k. Is b prime?
True
Suppose -t + 5*f - 14 = 0, 2 = -t - 0*f + 2*f. Is 4 + (t/2 - 0) prime?
True
Let z be 28*(-4)/(0 - -2). Let s = z + 145. Is s composite?
False
Let p(d) = -3*d**3 - d**2 + d - 2. Suppose -4*l - 3*r + 6 = -2*l, -2*l + 4*r - 22 = 0. Is p(l) a composite number?
False
Let p(o) = 2*o**2 - 8*o + 3. Let b be p(-6). Suppose 169 = -4*q + m, 0 = -5*q + m - b - 88. Let x = q - -119. Is x prime?
False
Let c be 6/4 - (-30)/4. Suppose 0 = -c*f + 4*f + 1315. Is f composite?
False
Let f(i) = -2*i + 15. Let b(v) = v - 7. Let p(k) = 9*b(k) + 4*f(k). Is p(10) composite?
False
Let w = -2 - 4. Let i be 6/(-2)*4/w. Suppose -5*v = -i*x - 51, -4*v + 46 = -4*x + 5*x. Is v a composite number?
False
Let k(s) = -3*s + 3. Let z be k(3). Let f = 4 + z. Is 15*(-10)/12*f composite?
True
Suppose 5*r - 3*c + 101 = -37, 5*r - 4*c + 134 = 0. Is (530/r)/((-1)/3) composite?
False
Is ((-20)/10)/(2/(-87)) composite?
True
Let b(x) = -26*x + 12. Is b(-7) prime?
False
Let r = -233 - -732. Is r composite?
False
Let l(j) be the first derivative of j**4/4 + 4*j**3/3 - j**2/2 - 3*j + 1. Let t be l(-4). Is t*-65*2/(-5) a prime number?
False
Suppose -2 = 3*h - 8. Suppose 4*d - 1316 = -h*l + d, -3*l + 5*d + 1974 = 0. Suppose -5*k - s = -l, -12 = -s - 3*s. Is k a composite number?
False
Let c(r) = -7*r**3 + 5*r**2 + 12*r + 13. Is c(-6) a composite number?
True
Let h = 535 - 314. Is h a prime number?
False
Let k be ((-4)/(-8))/(2/12). Is 260/6 - k/9 prime?
True
Let l be 0 + 3/6*138. Suppose 3*s = 2*v - l, -101 = -2*v + 2*s - 33. Is v a prime number?
False
Let a = -247 - -626. Is a a composite number?
False
Let t be 1 - -1 - 0/(-3). Suppose t*a - 6 = d - 22, 4*a - 66 = -5*d. Let u = 45 - d. Is u prime?
True
Let g(o) = o**3 - 2*o**2 - 7*o + 11. Is g(8) composite?
True
Let k = 297 + 194. Is k prime?
True
Is ((-1)/3)/(2/(-354)) composite?
False
Let p = -338 - -497. Is p a prime number?
False
Is 5 + 13/(-2) + (-8618)/(-4) composite?
False
Let c = 280 - -261. Is c prime?
True
Let u(f) = f**2 + 11*f - 4. Let b be u(-12). Let r = b - 7. Is -8*r*-1 - 1 a prime number?
True
Suppose 6*s - 28 = 2*s. Let w(v) = -2*v + 9. Let b be w(s). Is b/2*(-26)/1 prime?
False
Let y be (-1)/(-2*4/8). Suppose 360 = 4*w - s, -3 = s + y. Is w a composite number?
False
Suppose -g - 3*s = -7*s - 1171, -4*g = 2*s - 4594. Is g a prime number?
True
Let s = -1411 + 2060. Is s a composite number?
True
Let v(g) = -g**2 + 7*g - 4. Let k be v(5). Is 2/(-4) + 141/k composite?
False
Let t(m) = m**2 + 14*m - 15. Let c be t(-15). Suppose c*v - 1975 = -5*v. Is v prime?
False
Let w be 1/1*(256 - -2). Suppose -k - 5*y = -27, -2*k - 3*y = 3*k - 25. Suppose 2*p - w = -2*m, p - 133 - 129 = -k*m. Is m composite?
True
Let f(l) = 2*l + 877. Is f(0) a composite number?
False
Let v(m) = 78*m**3 + 2*m**2 + m - 1. Is v(2) prime?
False
Let c = 250 + 67. Is c prime?
True
Suppose 4 = -4*m + 24. Suppose 5*k = 4*z - 248, -22 = 3*z - m*k - 203. Is z composite?
False
Suppose 4*t = -4*s - 32, 0*s - s = -t + 14. Let n = 38 - s. Suppose 2*r = -4*q + 5*r + 160, 3*r + n = q. Is q a composite number?
False
Let s = 3 - 0. Suppose s*r + r - 72 = 0. Suppose 0*l = 2*l - r. Is l a prime number?
False
Let r(l) = 38*l + 3. Suppose 2*b - 11 = -1, b = -4*y + 37. Is r(y) a prime number?
True
Let q = 2528 + -1387. Is q composite?
True
Let z = -465 - -863. Suppose -4*x = 2*t - z, 4*t = x - 36 - 41. Let f = x + -18. Is f a composite number?
False
Let k(j) = j**3 - 16*j**2. Let n be k(16). Is (-545 - 12)/(n + -1) a prime number?
True
Suppose 0 = -6*a + 3*a - 3. Let l = a + 3. Suppose 0 = y - l*o - 14, -y = -5*y - o + 38. Is y a composite number?
True
Suppose -3*q + 6395 = 1376. Is q prime?
False
Let b = -10 + 12. Suppose -3*v - 3*w = -17 - 7, w = -5*v + 40. Suppose -i + v = b. Is i composite?
True
Let r = 3750 + -2377. Is r a prime number?
True
Suppose -4*u = -2*x + 144, 4 = -u + 9. Let l = 173 - x. Is l a prime number?
False
Let d be 186/4*(-10)/(-3). Suppose 10*n - 5*n = d. Is n a composite number?
False
Suppose 5*u - u - 13 = c, 4*u + 4*c - 8 = 0. Suppose u*o + 3*b = 387, 4*o + o - 4*b - 672 = 0. Suppose x = 0, 3*m + 5*x - o = -m. Is m prime?
False
Suppose 0 = 2*k + y - 860, -y + 852 = 2*k + 4*y. Is k a prime number?
True
Suppose -v = -2*v + 24. Suppose -v - 15 = -3*y. Is y a prime number?
True
Let z be 0 - (-4)/(4/3). Suppose 3*d = 2*a - a - 14, 0 = -z*a - 5*d - 14. Suppose 40 = -a*l + 206. Is l prime?
True
Suppose 2*g + 4198 = 5*t, 0*t - 2*t = 5*g - 1685. Suppose 2*s + t = 4*h + 4*s, h - s = 213. Is h a composite number?
False
Let x = 2156 - 957. Is x a composite number?
True
Suppose 3*x - 15 = -2*x. Suppose x*z = -8 - 4. Is 4/1 + 0/z a composite number?
True
Let r(o) = -o**3 + 4*o**2 - o - 4. Let s = 6 - 2. Suppose 0 = s*l - 9 - 3. Is r(l) a composite number?
False
Suppose -3*p = -c - 0*p + 8, p = -2*c + 2. Suppose 0*y + 3*y = 0, -2*u - c = 2*y. Is 46 + u/3*-3 composite?
False
Suppose s + 0 = -0. Let r = -38 + 54. Suppose -a = -q + r, s = -3*a - 6. Is q a composite number?
True
Suppose -2255 - 29647 = -6*g. Is g a composite number?
True
Let q(r) = -411*r + 14. Is q(-3) a prime number?
False
Suppose 0 = -4*v + 1186 + 42. Is v a prime number?
True
Let d = 3132 + -1223. Is d a composite number?
True
Let m(r) = 4*r**2 - 4*r - 10. Let c(d) = -5*d**2 + 4*d + 10. Let z(b) = 3*c(b) + 4*m(b). Is z(7) composite?
False
Let v(h) = 2*h**2 + 2*h - 1. Let p be v(1). Is (-45 - p)/(-1) - 2 composite?
True
Let p(q) = 16*q**2 + q + 4. Is p(-7) a composite number?
True
Suppose 5*o - 3*z = 2735, 2735 = 5*o - z + 5*z. Is o a composite number?
False
Suppose c + 3*g - 29 = 0, -3*g = -c + 3*c - 67. Suppose -a = -199 + c. Is a prime?
False
Suppose 5*b - a = 6416, 0*b + 5134 = 4*b - 2*a. Is b composite?
False
Let x = -1223 - -2704. Is x a prime number?
True
Suppose -3*m + 5*d + 3505 = 2*m, 4*d = -4*m + 2804. Is m prime?
True
Suppose -2*d = d - 165. Let v = 0 + 5. Suppose v*h + d = 350. Is h prime?
True
Let f(o) = -o**3 - 12*o**2 - 12*o + 20. Is f(-11) prime?
True
Suppose -4*o + 455 = -w, -w + 4 = 3. Suppose -13 - o = -r. Is r prime?
True
Let u be 2/5*(-60)/(-2). Suppose -230 = -2*m + u. Is m a composite number?
True
Let o be (-4 - -4) + 19*6. Suppose 5*h - 3*i - 279 = 0, o = 3*h + 2*i - 61. Is h composite?
True
Let m(v) = 2*v + 7. Let j be m(7). Suppose -5*n + k = -80 + 13, 0 = n - 4*k - j. Is n prime?
True
Let g be ((-4)/(-4) - -1) + -2. Suppose g*i - 904 = -4*i. Is i a composite number?
True
Suppose 416 = -4*w - 4*d, -3*w + 131 = -3*d + 455. Is 1*w*(-2)/4 prime?
True
Let w(u) = 22*u + 2. Let o be w(6). Let a = -26 - -29. Suppose -a*t = -t - o. Is t a prime number?
True
Let r = -44 + 81. Is r - 2/(-4)*0 a composite number?
False
Suppose 4*m + 2*k = 7*k + 1027, -5*m + 2*k + 1305 = 0. Is m composite?
False
Let d(x) = x**2 - 5. Let y be d(4). Suppose -y*r - 604 = -7*r. Let i = r + 296. Is i a prime number?
False
Is (-7226 + 0)*(-2)/4 a composite number?
False
Let z be (1/3)/(1/9). Is 3 - (3 - (72 - z)) composite?
True
Suppose -2*s = 3*x - 386 - 172, -2*s + 566 = -x. Let h = s - 197. Is h a prime number?
False
Suppose -1 = -3*d + 8. Suppose d*w + 4*s - 34 = 0, -s = -0 - 4. Suppose -t + 5*u + 173 = 3*t, 2*u - w = 0. Is t a composite number?
False