s f(4) a prime number?
True
Let n = -7 - 1. Is 30*3/(-2 - n) a composite number?
True
Suppose 0 = -3*c + 299 - 98. Suppose 0 = -5*n + 4*n + c. Is n composite?
False
Let h(q) = 6*q**2 - 4*q - 1. Let w be -4 + -2 + 4 + 4. Suppose -w*j - t - t = 10, 0 = t + 2. Is h(j) composite?
True
Let a = -782 + 2101. Is a composite?
False
Let c = 35 + -17. Let g = c + -11. Is g composite?
False
Suppose 3*m = m + 818. Is m a composite number?
False
Suppose -4*o = -s + 3*s - 1522, 4*s = o + 3071. Is s composite?
True
Suppose 0 = -n - 8 - 8. Let h = n - -30. Is h composite?
True
Suppose a = -3*b - 0*b + 316, 5*b = 15. Is a composite?
False
Let z(w) = w**2 + 7*w + 5. Let x be z(-7). Let s(f) = 13*f**2 - 17*f - 13. Let l(d) = -3*d**2 + 4*d + 3. Let o(t) = -9*l(t) - 2*s(t). Is o(x) prime?
False
Let l be ((0/1)/(-2))/2. Suppose -2*a + 30 = -l*a. Let c = -9 + a. Is c prime?
False
Suppose 2*y - j = -5*j, 4*j = 2*y - 8. Suppose 3*p - z = 2116, -y*p - z + 217 = -1202. Is p a composite number?
True
Suppose -p = 3*j + 7 + 8, 2*p = j + 12. Let i = -4 - j. Suppose -4*s = 4*w - 80, 3*s + i + 1 = 0. Is w a composite number?
True
Suppose 2*n = 2*m - 4, 3*n + m - 2 - 12 = 0. Suppose -f + 6*f - 3*g = 13, 0 = -n*g - 3. Suppose 4*v = f*v + 46. Is v a composite number?
False
Suppose -4*j + 3668 = 4*r, 1601 = 3*r - 5*j - 1166. Is r composite?
False
Let l(m) = 2*m**2 - 9. Is l(-7) prime?
True
Let h be (-42)/4*4/(-3). Suppose 5*o + 5 = 5*w, 4*w = 5*o - 0*o + 2. Let x = h - w. Is x a composite number?
False
Suppose 0 = 3*q - w - 100 - 115, 0 = -2*q + 3*w + 134. Suppose -h + 44 = -q. Let x = h + -22. Is x composite?
True
Suppose -2*o = 3*n - 10, o + n = -0*o + 4. Suppose u - 5*h + 20 = 202, -o*u + 294 = 4*h. Is u prime?
True
Suppose -2*r + 834 = -512. Is r prime?
True
Is 20/30 - 11485/(-3) a composite number?
True
Let j(r) be the second derivative of -r**4/12 - r**3 + 9*r**2/2 + 3*r. Is j(-7) a composite number?
False
Let i be 8*((-10)/(-4))/1. Suppose 3*m = m + 22. Suppose -b + m + i = 0. Is b a prime number?
True
Let v(s) = 229*s + 3. Let i be v(4). Let p = i - 344. Suppose m - p = -4*m. Is m a prime number?
False
Let o = -16 - -21. Suppose -o*w + 579 = 4*g, g - 693 = -4*g + 4*w. Is g composite?
True
Is (3/(-3) + (-2)/(-3))*-1347 a prime number?
True
Suppose -3*k = -4*v + 1 - 9, 5*v = 2*k - 3. Is -2*1 + (38 - v) prime?
False
Let v = -231 - -527. Suppose 5*t - v = -4*s, -s = s - 3*t - 170. Is s prime?
True
Is (-9)/15 - (-856)/10 prime?
False
Let k be -1 + -1 - 3/(-1). Let o be k/(4/(-3))*-52. Suppose -2*g - 1 = 4*w - o, 4*w + 3*g = 43. Is w a composite number?
False
Is 2420 - -9*(-5)/15 prime?
True
Suppose 2*b = -2*b + 40. Let h = b - -3. Is h prime?
True
Suppose -3*o + 57 = -5*t, 0 = -5*o - 5*t + 3*t + 95. Is o a composite number?
False
Let c(m) = 7*m**2 - 1. Is c(-6) a composite number?
False
Suppose -3*i - 4*o + 302 = -39, 0 = -2*i - o + 229. Is i prime?
False
Is 15*(-3 + 2 - -2) a prime number?
False
Suppose v - 5*y - 1 - 20 = 0, 5*y + 15 = 0. Let i(p) be the third derivative of 5*p**4/12 - 13*p**3/6 - p**2. Is i(v) a composite number?
False
Suppose -2 = -d, d + 2*d + 1406 = 4*y. Is y a composite number?
False
Let w = -1579 - -2471. Let r = w - 599. Is r prime?
True
Suppose 5*d = d + 1772. Let r(s) = -s**2 - 7*s - 5. Let h be r(-5). Suppose 0 = 5*v - u - d, -3 = -2*v + h*u + 165. Is v a composite number?
False
Suppose -3*o + 0*g = g - 118, 5*o - 2*g - 215 = 0. Suppose p - 93 = -3*j - 8, 5*p = 4*j - 107. Let l = o - j. Is l composite?
False
Suppose 675 = 3*u - 1218. Is u prime?
True
Let l(s) = -s + 127. Suppose -30 = -5*r - 2*m, 2*r + 4*m - 12 = 5*m. Let p be 0*((-15)/r - -2). Is l(p) a composite number?
False
Let x(h) = h. Let b be x(6). Suppose 3*m + 6 = 0, -3*m - 479 = -a - b*m. Is a composite?
True
Suppose 2*g = g + h - 1, -5*g + 13 = 4*h. Let d(m) = 7*m**3 - m**2. Let k be d(g). Is (2 - 1) + 6*k prime?
True
Suppose -3 = -2*c + 21. Suppose -5*a + c = -a. Let y(i) = 2*i**3 - 5*i**2 + 2*i. Is y(a) composite?
True
Let z(s) be the third derivative of s**5/60 + s**4/24 - 4*s**3/3 - 3*s**2. Is z(-6) prime?
False
Suppose 0*f - f = -13. Is f composite?
False
Suppose -14*c = -11*c - 6153. Is c composite?
True
Let m(a) = a**3 + 10*a**2 + 8*a + 6. Is m(-7) composite?
False
Is (-2)/(-9) - (-464)/18 a composite number?
True
Let n(q) = 7*q**2 + 16*q - 4. Is n(7) a prime number?
False
Let z be 6/14 + 39/7. Let g(s) = 5 + s + z*s + 10*s - 14. Is g(8) composite?
False
Let z = 802 - -406. Suppose -g + 5*g = z. Is g composite?
True
Suppose 2395 = 7*i - 6*i. Is i a prime number?
False
Suppose 0 = 3*q + y + 2*y - 528, 4*y = 3*q - 514. Suppose 2*k - r + q = 4*k, r + 271 = 3*k. Is k composite?
False
Let j(a) = a**3 - 5*a**2 - 12*a - 9. Let t(h) = -2*h**3 + 10*h**2 + 23*h + 18. Let k(z) = -5*j(z) - 3*t(z). Let b be k(7). Let y = b + 87. Is y composite?
False
Suppose 1410 = 5*c - 3805. Is c prime?
False
Suppose b = -3*u + 636, 0*b - 1049 = -5*u + 2*b. Is u a prime number?
True
Let q(g) = -g**3 + 6*g**2 - 6*g + 5. Let w be q(5). Suppose 5*a + 0*a - 10 = w. Is 2 + 2 + 37 + a prime?
True
Suppose -6*o = -7*o + 8. Is o/(-12)*231/(-2) prime?
False
Let m(h) = -121*h - 1. Is m(-8) a prime number?
True
Suppose 3203 - 467 = 2*c. Suppose 5*a = -2*g - 3412, -4*g = -0*a + 2*a + c. Is a/(-8) - (-5)/(-20) composite?
True
Suppose 2*b - 16 = 366. Is b a prime number?
True
Suppose 0 = -4*w - g + 4, -g - 4*g = -20. Let z = 10 - w. Is z prime?
False
Let i(y) = y**3 + 6*y**2 - 4*y - 4. Let c be i(-5). Suppose -2*x = -v + c, 7*v - 3*v - 152 = 4*x. Is v composite?
True
Let q(v) = v**2 - v. Let c be q(1). Suppose -3*u + c*u = 0. Suppose u = o - w - 34, 0 = 2*o + o + 5*w - 94. Is o composite?
True
Suppose 2*q - 3*q = -487. Is q prime?
True
Suppose -d - 4*d = -4*t + 2674, -2 = -d. Is t a composite number?
True
Let j = -397 + 846. Is j a composite number?
False
Let p = 1837 - 1197. Suppose 5*t = -4*n + 1587, -3*t = 3*n - p - 311. Is t a composite number?
True
Is -5407*(-6)/14 + (-4)/14 a prime number?
False
Suppose 6*q - 553 = 317. Is q a prime number?
False
Suppose a + 4 = 2*a. Suppose x = -5, a*q = -x + 5198 - 1499. Suppose 4*y = -274 + q. Is y a composite number?
False
Is ((4 - 3) + 0 + -2)*-257 a composite number?
False
Let b be (-20)/3*15/(-10). Let t(x) = -7*x - 6 + 0 - b*x. Is t(-5) composite?
False
Let z = -797 - -1674. Is z prime?
True
Suppose -25 = 3*d + 59. Suppose 48 = -3*k + 165. Let i = k + d. Is i a composite number?
False
Suppose 0 = c - 6*c - 2*s + 233, -4*c + 193 = -5*s. Let z = c + -10. Is z a composite number?
False
Let h(m) = -21*m**3 - 5*m**2 - m - 7. Is h(-4) a prime number?
False
Let s = 355 + -210. Suppose -5*m + 570 - s = 0. Is m prime?
False
Suppose 5*a = -2*j + 2233, -2*a = 2*j + 1447 - 3671. Is j prime?
True
Let v be 60/(-27) - 4/(-18). Is 10/(4/(-3) - v) composite?
True
Suppose r = -0*r + 2707. Is r composite?
False
Let g = 1 - 3. Let l(p) = -4*p - 1. Is l(g) composite?
False
Suppose -369 = -5*z + 3*y, 0*y + 83 = z + 4*y. Suppose 4*p - z = p. Is p a composite number?
True
Let q(a) = -a**3 - 5*a**2 - 5*a + 2. Let g be q(-4). Suppose -g*j + 2 = 2*n - 3*j, n + j = 1. Is 36/4 + -2*n composite?
False
Let p(n) = 8*n**2 + 4*n. Let k be p(3). Let u be ((-30)/25)/((-4)/(-10)) + -42. Let z = u + k. Is z a composite number?
True
Let f be (-68)/(-18) + 2/9. Suppose f*x = 3*x + 77. Is x a composite number?
True
Let j be (-279)/(5/((-60)/9)). Let m = 99 + j. Is m a composite number?
True
Suppose 925 = q + 296. Is q composite?
True
Suppose 0*v = -3*v + 4*i + 174, 0 = -3*v + i + 174. Is v a prime number?
False
Let o be 3/6*2 - -3. Let z(y) = 10 + 7*y**2 - 4*y + o - 10. Is z(3) a prime number?
False
Let u(n) = -n**2 + 5*n + 2. Let i be u(5). Let x be 4 - i - 9*1. Is x*(-2)/2*3 a prime number?
False
Let y(u) = -9*u**2 - 5*u - 4. Let i be y(-2). Is (-669)/(-18) - (-5)/i a prime number?
True
Let x be (-6)/(7/(21/(-6))). Let i(d) = -d**3 - 5*d**2 + 1. Let w be i(-5). Is (14/6)/(w/x) composite?
False
Let p(l) = -l**3 - 8*l**2 + 7*l - 13. Let b be p(-9). Suppose g + 568 = b*g. Is g composite?
True
Let l(h) = -4*h**3 - 1. Let o be l(-1). Suppose 0 = -o*n + 4*m + 1000, -2*n - m + 690 = m. Suppose f + n = 5*f. Is f a prime number?
False
Let t be (1/(-2))/((-3)/114). Suppose -c = -0*c - t. Is c composite?
False
Let c(b) =