 0*z = -3*z + 12. Suppose 287 + 69 = z*h. Is h prime?
True
Suppose 0 = i + 3*i - 4*s - 40, -2*i - 4*s + 20 = 0. Is i a composite number?
True
Let t be -2 + 18*(-6)/(-9). Suppose 7*c - t*c + 465 = 0. Is c prime?
False
Let n(w) = 12*w**2 - 25*w + 5. Is n(10) a prime number?
False
Let v(r) = -r + 35. Suppose 0 = -2*w + 3*w. Let o be v(w). Let d = 72 - o. Is d a prime number?
True
Let o be 121/4 + (-2)/8. Let w be 1 + (-40*1)/2. Let i = o + w. Is i a composite number?
False
Let t = -33 - -112. Is t a composite number?
False
Let j be 8/2*18/8. Let w be 2/9 - (-16)/j. Suppose 5*y = w*y + 507. Is y prime?
False
Let o(s) = -s**3 + 8*s**2 - 4*s - 7. Let f be o(7). Let l(q) = -q**2 - 3*q + 2. Let y be l(-3). Suppose -y*n - f = -3*n. Is n a prime number?
False
Let u(l) = l - 7. Let z be u(5). Let j(g) = -7*g**3 - 2*g**2 - 4*g - 3. Is j(z) prime?
True
Let g(w) = -2*w**3 - 2*w**2 + 4*w - 5. Is g(-6) a prime number?
True
Let r = 8 - -57. Is r composite?
True
Suppose -3*r + 2787 = 2*r + 2*k, 0 = -2*r + k + 1113. Is r a prime number?
True
Suppose -4*r = -0*r - 816. Suppose -3*t = t - r. Is t composite?
True
Suppose 3*a + 7 = -5. Is 280/45 + a/18 composite?
True
Let l(c) = 5*c**2 - c - 2. Suppose -5*p + 14 = 2*s - 0*s, 3 = -s. Is l(p) a prime number?
False
Let r be ((-6)/10)/((-4)/20). Suppose -r*m - 2*m = -175. Is m prime?
False
Let v(s) = -6*s**3 + 6*s**2 + 3*s - 2. Let o(k) = -5*k**3 + 5*k**2 + 3*k - 1. Let w(b) = 3*o(b) - 2*v(b). Is w(-2) a prime number?
True
Let f(y) = -14*y + 11. Let a(j) = j + 1. Let d(s) = 4*a(s) - f(s). Is d(5) prime?
True
Suppose 3*u = 2*u + 6. Let h = u + -4. Suppose -5*a + 8 = 4*j, h*j = -0*j + 5*a + 34. Is j a prime number?
True
Suppose -q - 2*q = 78. Let s = q + 417. Is s prime?
False
Let g be (-309 - 0)*(-4)/12. Suppose -g + 27 = -4*i. Is i composite?
False
Suppose -2*g - 3*g = u - 4382, -u - 2634 = -3*g. Is g a composite number?
False
Let s = 71 - 36. Is s prime?
False
Suppose -2*x = 3*l - 10, -l + 4 = 3*l - 2*x. Suppose 4*i + 250 = l*o, -3*o + i = 2*i - 382. Is o prime?
True
Let v(m) be the first derivative of 253*m**3/3 + m**2 - 2*m + 3. Is v(1) a prime number?
False
Suppose 2*h = -7*a + 12*a + 5471, -4*h + 10975 = a. Is h a prime number?
False
Let n be 2/3*21/2. Suppose 2 + n = 3*i. Let w(m) = 13*m - 4. Is w(i) a prime number?
False
Suppose -2*f = -0*f - 74. Is f composite?
False
Let x(v) = -v**2 + 8*v - 5. Is x(5) composite?
True
Let u(i) = i**3 - 5*i**2 - 4*i - 3. Let b be u(6). Suppose -f = -5*r + 18, 2 = 5*f - 0*r - 2*r. Let q = b + f. Is q composite?
False
Let i(j) = -20*j**3 - 2*j - 1. Let c = -7 - -6. Is i(c) prime?
False
Suppose f - 5*f = -156. Suppose -2*u - 8 = 0, 4*u - 17 - 7 = 2*m. Let t = m + f. Is t composite?
False
Suppose -84 = -0*m - 4*m. Suppose k - 4*k = -m. Suppose 0 = 2*g - k*g + 185. Is g composite?
False
Let d = -57 - -39. Is (-640)/(-6) - (-12)/d a prime number?
False
Let u be (-1782)/(-4) + (-3)/(-2). Suppose 2*s = -s + u. Is s a prime number?
True
Let c(o) = 9*o + 9. Let j be c(8). Is j + 3 - (-3)/3 prime?
False
Let r(g) = -48*g - 32*g - 1 + 28*g - 46*g. Is r(-1) a composite number?
False
Let d(c) = -52*c - 90. Is d(-13) prime?
False
Let l(i) = 190*i + 9. Is l(4) a composite number?
False
Let y = -13 + 30. Let n be (y - 2)*1/3. Suppose 60 = 3*r + n*q - 0*q, -31 = -r + 2*q. Is r a prime number?
False
Is 2/8 + (-2678)/(-8) a composite number?
True
Let r be (-21)/(-4) + (-1)/4. Let j(w) be the first derivative of w**3/3 - w**2/2 + w - 3. Is j(r) composite?
True
Suppose 0 = -4*g - 2*w + 204, 3*w - 4*w = -g + 51. Is g a composite number?
True
Let y(i) be the third derivative of -17*i**4/24 - i**3/3 + i**2. Let b be y(4). Let k = b + 149. Is k a prime number?
True
Suppose 5*i - 110 + 5595 = 5*l, 4*l + 2*i = 4388. Is l a composite number?
False
Suppose 0*r = 4*r - 36. Is (-3)/(-2)*462/r a prime number?
False
Is (16930/15)/((-6)/(-9)) prime?
True
Let x(g) = 73*g**2 + 3*g + 1. Let m be x(-3). Let n = m - 414. Suppose -5*k = 4*f - n, 5*f - 300 = -4*k - k. Is f composite?
True
Suppose 2*y = -x - 17, 4*y + 64 = -5*x - 3. Let p = x - -8. Is (p/(-4))/(1/44) composite?
True
Is ((-22120)/(-15) - 6/9) + -3 a composite number?
False
Let i = -15 - -22. Suppose -4*g = 4*u - i*u - 3, -u - 3*g = -12. Suppose b = u*b - 14. Is b a composite number?
False
Suppose 0 = 4*t + 3*i - 2067, 2*i = -t + i + 516. Is t composite?
True
Let o(q) = -q**2 - 8*q + 10. Let i be o(-10). Let t = i - -4. Let b = 19 + t. Is b prime?
True
Suppose -3*h = -h - 6. Let u = h + 4. Is u a composite number?
False
Suppose 3*s + 100 = -209. Let f = s - -172. Is f a prime number?
False
Let r = 2174 + -1263. Is r a composite number?
False
Suppose 71 + 957 = 4*k. Is k a prime number?
True
Suppose 100 = -0*x + 5*x. Is 8/x + 1584/15 a composite number?
True
Let h(p) = 2*p**2 + p + 4. Is h(6) prime?
False
Suppose -5*w + 0 + 25 = 0. Suppose -1091 = -4*o + 3*q, w*o = 6*q - q + 1360. Suppose 0*u - o = -5*u. Is u a prime number?
False
Let t = -91 - -252. Is t a composite number?
True
Suppose -2*f = -3*z + 477, 0*z - f = 3*z - 477. Suppose -3*w = -z + 6. Is w composite?
True
Suppose -5*c + 3*m = -2*c - 5709, 2*m = -5*c + 9501. Is c a composite number?
False
Suppose -3*c + 334 = -2225. Is c composite?
False
Suppose 2*x = 5*i - 12, 16 = 6*x - x - i. Suppose x*p = 1 + 51. Let k = p - -6. Is k composite?
False
Let z(g) = -g**3 - 3*g**2 + 3*g + 4. Let b be z(-3). Let m = 28 + -16. Let o = b + m. Is o composite?
False
Is (-1)/(-3) + 39936/18 composite?
True
Suppose -8 = 3*t - 7*t. Let c be 2 - -1 - t/(-1). Suppose -5*k - 22 - 93 = -c*g, -5*g + 4*k = -113. Is g composite?
True
Suppose -238 = -55*c + 53*c. Is c a composite number?
True
Let f = -34 - -22. Let o be ((-13)/3 - -1)*f. Suppose 0 = 3*l - o + 1. Is l composite?
False
Let b(n) be the first derivative of -n**4/4 + 11*n**3/3 + 5*n**2/2 - 4*n + 7. Is b(10) a prime number?
False
Suppose -6*u + 2*u = 124. Let c be (-4*(-62)/4)/(-1). Let n = u - c. Is n prime?
True
Let c(h) = h**3 + h**2 + 3. Let o be c(3). Suppose u - o = 126. Suppose -4*l + l + 5*b = -80, u = 4*l + 5*b. Is l prime?
False
Let z be (0 + -1)*3 - -262. Let s = 380 - 210. Let q = z - s. Is q composite?
False
Suppose -r + 12 = 3*j, j = -4*j + 10. Suppose z + 2 - r = 0. Is ((-106)/z)/((-2)/4) a composite number?
False
Let k = -8 + 28. Let f = k + -60. Let i = 75 + f. Is i prime?
False
Let l = 1001 + -700. Is l composite?
True
Is (1911 + 10/(-2))*(-1)/(-2) a prime number?
True
Is 1480 - ((-1)/((-2)/(-6)) + 6) a composite number?
True
Let l be 8/32 - 7/(-4). Let o = 35 - l. Is o composite?
True
Suppose 4*f + 4*c - 11808 = -0*c, 4*f = -2*c + 11818. Is f prime?
True
Let h = 26 - 16. Let p = 3 + h. Let r = p + -7. Is r prime?
False
Let g be -2 + 4 + 0 - -698. Let a = g + -285. Is a prime?
False
Let c = 133 - 64. Is c composite?
True
Let b(p) = -7*p + 9. Let o(a) = -21*a**2 - 3*a**3 + 6 + 27*a**2 + 5*a + 2*a**3. Let n be o(7). Is b(n) a composite number?
True
Let c(t) = -t**2 + 4*t - 3. Let z be c(3). Suppose z = -4*r + 3*f + 442, -515 = -4*r - 3*f - 85. Is r a composite number?
False
Suppose -116 = -x + 87. Is x a prime number?
False
Let y be (-2)/6 + 14/6. Suppose -y*g = -5*d - 7*g + 50, 10 = 2*g. Suppose d*z = 5*h - 165, -2*z + 0 = 4. Is h prime?
True
Suppose 0 = -2*c + 3*c + 5, 97 = 2*k - 3*c. Suppose -4*z + 19 = -k. Is z a prime number?
False
Let l = 14 + -13. Let n be (-7)/(2*(-1)/(-2)). Is n/((-7)/54) - l prime?
True
Let z be 27/(-36) - (-462)/8. Suppose 3*o + 19 = c, 3*c = 2*o - 0*o + z. Is c composite?
False
Suppose -4*w - 98 = -334. Is w a prime number?
True
Suppose -t - 3*t + 652 = 0. Let h = t - 74. Is h composite?
False
Let a = 0 - -14. Let v be (-34)/(-10) + 4/(-10). Suppose -a = -v*m + m. Is m a composite number?
False
Is (2 - 32)/(-3 + 1) a composite number?
True
Is -38*((-26)/4 - -3) prime?
False
Let u be 5/4 - (-4)/(-16). Is 0 + -1 + 162/u prime?
False
Suppose 2*v = 6*v. Suppose 2 = -n, -5*c + n + 2*n + 241 = v. Is c a prime number?
True
Let g be (-125)/(-2) - 6/4. Let n = 139 - g. Suppose -27 = -5*c + n. Is c composite?
True
Let i be 0*((-2)/(-1) + -3). Suppose i = v + 3 - 53. Suppose 0 = -6*w + w + v. Is w a prime number?
False
Suppose -3*a + 8*a = 370. Let c = -16 + a. Is c composite?
True
Suppose -7879 = -3*n - 2986. Is n composite?
Tru