 composite number?
True
Let h(i) = -13*i - 1. Is h(-6) a prime number?
False
Suppose -4*g = -13 - 7. Suppose 4*j + 4*h - 16 = 0, g*j - h - 30 = -10. Suppose -4*s - 3*r = -210, s + 5*r + j = 65. Is s a composite number?
True
Suppose -2*z + 0*v - 2*v + 954 = 0, v = -3. Is z/25 + (-2)/10 a composite number?
False
Suppose -a + 2*u + u - 2 = 0, -4*u = -3*a - 1. Is 1 - 3 - (a + -41) prime?
False
Suppose 3*x = -2*v + 13, -3*v + 0*v - x + 30 = 0. Is v a prime number?
True
Let w = -468 - -1421. Is w a composite number?
False
Let m be (-36)/(-4) + (2 - 1). Let i be 26/m - 8/(-20). Suppose 5*l = 2*z + i*z + 90, 2*z + 93 = 5*l. Is l composite?
False
Let n = 15 + -13. Suppose 4*w = 3*w + 5*o + 18, -n*o + 160 = 4*w. Is w composite?
True
Suppose 2*b + 13 = w, -5*w = -0*w + 25. Let m be 3*(-1 - 24/b). Let n(i) = -i**3 + 7*i**2 - 6*i - 7. Is n(m) a composite number?
False
Suppose 0 = y - 5*y + 24. Suppose 4*w = y + 22. Is w prime?
True
Let k be 2/(-5) + 18/(-5). Is 2/4 - 26/k a prime number?
True
Let y be -10*((-27)/(-6) - 3). Let m = y - -58. Is m prime?
True
Suppose 3*g = -8 + 2. Let j = g + 1. Is (-10 - (0 + 1))/j prime?
True
Let p = -2 - -6. Suppose -2*y = p*v - 10, y + 5 = 2*y. Let z(b) = -b**2 - b + 9. Is z(v) a composite number?
True
Suppose 6 = -0*c - c. Is (-3482)/c + 22/33 a composite number?
True
Let j be 8/(-6) - 1/(-3). Suppose 0 = 5*f - 5 - 5. Is ((-49)/f)/(j/2) a prime number?
False
Suppose 4*t - 4 = -8. Let m = 12 + t. Is m prime?
True
Let k(x) = -2958*x**3 + 2*x**2 + 3*x + 2. Is k(-1) a prime number?
False
Let f(a) = a + 12. Let w be f(-6). Suppose -2*k = 5*v - 6, -7*v - k + w = -3*v. Is -1 + (2/v - -35) a composite number?
True
Suppose 0 = -f - 0*f + 357. Is (f - (-8)/(-4))/1 a prime number?
False
Suppose 4*n = 6 + 2. Suppose -6*f + 359 = -n*f - a, 350 = 4*f + 2*a. Is f a composite number?
False
Let q(m) = -51*m - 4. Is q(-7) composite?
False
Let o = 203 + -136. Is o prime?
True
Is (3875 - -2)/(1 + 0) a composite number?
False
Let s(b) = -5*b + 2. Let u be (-10)/(-45) + 65/(-9). Is s(u) a prime number?
True
Suppose 2*v = 3*v - 3*z - 9, -12 = 4*z. Let g be (v - 18)*(-14)/2. Is (-4)/(-10) + g/10 composite?
False
Suppose -3*a = 5*q + 1035 - 6728, -5*q = -2*a + 3812. Is a a prime number?
True
Let l(j) = 33*j**2 - 3*j + 5. Let a be l(5). Suppose -a = -5*o - 0*o. Is o a prime number?
True
Suppose 2*t + 683 = 5*c - 1826, -5*t = -c + 488. Is c prime?
True
Let v(k) = 12*k**2 + 2*k - 9. Is v(-8) a composite number?
False
Let n(b) = b**3 - 2*b**2 + 2*b - 2. Let x be n(2). Is x/6 + (-3472)/(-24) composite?
True
Suppose -12 = -3*f + 7*f. Let j = 24 + f. Is j a prime number?
False
Suppose -5*m - 4*f - 6794 = -7*m, 2*m + 5*f = 6758. Is m a composite number?
False
Suppose -4*k + 57 = w - 20, 75 = w + 5*k. Let l = 145 - w. Let a = l + -17. Is a composite?
False
Suppose 2*p - 249 = -p. Is p a composite number?
False
Suppose -4*q + 1710 = q. Suppose -5*y + q = 4*d - 3*y, 4*d - y = 327. Is d prime?
True
Suppose -3*i = 2 - 8. Suppose 0 = -j - 4*n - 0*n + 131, i*j = -4*n + 246. Is j a prime number?
False
Suppose -30165 = -16*q + 24283. Is q a composite number?
True
Let i(r) = 75*r**2 + 5*r + 1. Let b(l) = 149*l**2 + 9*l + 2. Let k(y) = 3*b(y) - 5*i(y). Is k(2) a prime number?
True
Let n(i) = -255*i**3 + 2*i**2 + i - 1. Is n(-2) a prime number?
False
Suppose 0*c + 24 = 4*c + 2*f, c - 8 = -f. Suppose 6*q = k + 2*q - 9, -c*k = -2*q - 22. Let t(j) = 2*j + 5. Is t(k) prime?
False
Let s(l) = l**3 - 6*l**2 - 5*l - 8. Let i be s(7). Suppose i*j = 4*j + 1726. Is j prime?
True
Let q(d) = -12*d + 5. Suppose r = -6 - 0. Let j(l) = 24*l - 11. Let n(m) = r*j(m) - 13*q(m). Is n(4) prime?
False
Is (-1 + (-4)/(-6))*-489 a prime number?
True
Suppose 0*a + 4*a + 12 = 0, 2*a = -3*g + 501. Is 7241/g - (-4)/26 prime?
True
Suppose 3*h - 28 = -h. Is h a prime number?
True
Let p(a) = a**2 + 2*a + 3. Let l be p(-2). Suppose 12 = 5*h - l*h. Suppose 2*k + 16 = h*k, -2*j = -3*k - 62. Is j a composite number?
False
Let k be (-6)/4*10/(-3). Suppose -20 = -k*g - 5*f, -g + 2*f = 1 - 5. Suppose 5*m - 180 = 5*r, 129 = 5*m + g*r - 60. Is m a prime number?
True
Suppose 4*i = -5*r + 1402, 5*i + 5*r - 1759 = 2*r. Is i a prime number?
True
Let c = 5 - 5. Suppose 2*i - 8 + 2 = c. Is (-66)/(-3) - i/1 a prime number?
True
Let w(n) = 2*n**3 + 10*n**2 - 4*n + 19. Is w(8) prime?
False
Let t = -4 + 2. Let z be 1 - ((-8)/t)/(-2). Suppose r - z*r + 110 = 0. Is r prime?
False
Let o = -2827 - -4466. Is o a composite number?
True
Let p be 1/(-2) + (-1284)/8. Let o = -70 - p. Let b = -38 + o. Is b a composite number?
False
Is 253/22 + (-1)/2 prime?
True
Let f = -24 - -38. Suppose 0 = -k + 3*k - f. Is k a composite number?
False
Let s be -1*(1 + -3 + 3). Is ((-4)/(-2) - s)*11 composite?
True
Let j(d) = d + 93. Let z be j(0). Suppose 2*s - 3*a = 59, -z = -3*s - 0*a + 3*a. Is s a composite number?
True
Let h be (-1)/(-2 - (-7)/3). Is (-116)/h - 6/9 composite?
True
Let a(w) = -99*w. Let h be a(-1). Suppose -3*n + h + 102 = 0. Is n composite?
False
Suppose -5*g - 4*u + 17 = 0, -g + 5 + 2 = 2*u. Let x be (-38)/(-4) + g/(-2). Let i = x + 22. Is i a prime number?
True
Suppose -5*x + 11 = -14, -5*x - 4560 = -5*v. Is v a composite number?
True
Suppose i + 0 = 1. Let h be (1 - 1) + 2*i. Suppose 652 = h*k + 2*k. Is k composite?
False
Suppose h - 2 = -4. Let r be (3*10)/(h/(-3)). Let s = r + -22. Is s composite?
False
Let u = -415 - -708. Is u a prime number?
True
Suppose -5*s = 4*q + 13, -s + 25 = 5*q - 3*s. Let z(r) = -4*r**2 + 0*r**2 - 2*r + q*r**3 - 2*r**3. Is z(5) composite?
True
Let i(m) = m**2 - m - 3. Let z be i(3). Suppose 0 = -z*g - 28 + 142. Is g/(3 - 1) + 0 prime?
True
Let k be (-1)/(-2) - (-3)/6. Let n(v) = 33*v**2 + v. Let l be n(k). Let c = 49 - l. Is c a prime number?
False
Let l(d) = 6*d**2 - 3*d - 1. Is l(-3) a composite number?
True
Suppose -5*f + 9023 - 62 = 2*k, -3*f + 5387 = -4*k. Is f a composite number?
True
Let b(k) = k**2 - 4*k - 13. Is b(14) a composite number?
False
Suppose 0 = x + d - 2, -4*x - 4*d + 10 = x. Let p(i) = 46*i + 3 - 4 + 0. Is p(x) a prime number?
False
Let w = 2 - 0. Suppose -r - w*r - 24 = 0. Let n = -5 - r. Is n prime?
True
Suppose 0 = -5*w + 2*w + 348. Is w - (1 + -4)*-1 prime?
True
Let u be ((-3)/(9/(-195)))/1. Let j be (-2)/(58/28 + -2). Let l = u + j. Is l composite?
False
Suppose 4*n + f - 4776 = 0, -f = -3*n + 2204 + 1371. Is n a prime number?
True
Suppose -q + 275 = 4*q. Is q a composite number?
True
Suppose r + 822 = 3*r + 2*g, -20 = -5*g. Is r composite?
True
Let u = -4 - -9. Suppose -u*a + 127 + 63 = 0. Is a prime?
False
Suppose 379 = o + 2*u, 2*o - 5*o = -4*u - 1147. Suppose 0 = -3*z + 7 + 8. Suppose -o = 2*b - z*b. Is b a prime number?
True
Is -8 - -7 - (2 - 6) prime?
True
Let j(y) = y + 8. Let s be j(-6). Suppose 0 = 3*f - 2*f - 3*x - 17, 3*f + 3*x - 51 = 0. Suppose -i = -u + 4 + f, -s*i - 17 = -u. Is u a composite number?
True
Suppose 5*k = -2*y + 30, 12 = k + 2*k. Let w(c) = 0*c**2 + 4 - c**2 - 2*c + 2*c**2. Is w(y) composite?
False
Let o = -71 + 38. Let i = 380 - o. Is i a prime number?
False
Let d be -1 + 1*(-20 - -2). Let p = 114 + d. Is p composite?
True
Suppose o = -c + 182, -2*o - 167 = -3*o - 4*c. Is o a composite number?
True
Let j be (-4)/(1 - 0/(-3)). Is ((-46)/j)/(3/18) a prime number?
False
Let c be 6/21 - 654/(-14). Suppose m - 156 = c. Is m composite?
True
Let m be ((-3)/(-5))/(1/155). Suppose -3*t + 45 = -m. Is t a prime number?
False
Suppose 0 = 4*o + 3*c + 15, 0*c - 10 = 2*c. Suppose m + 67 = 4*y, -m + 3*m = 3*y - 49. Suppose -g - d - y + 52 = o, 2*d = 4. Is g a composite number?
True
Let a(y) = y**3 - 4*y**2 + 3*y - 6. Let k be a(6). Suppose 7*x - k = 3*x. Is x a composite number?
True
Suppose z + 4*z + 70 = 0. Let w = 44 - z. Is w prime?
False
Let o(a) = 17*a**2 - 3*a - 1. Is o(4) a composite number?
True
Let u(x) = x**2 - 5*x. Let w(t) = t**3 - 6*t**2 + 2*t - 8. Let m be w(6). Let s be u(m). Is s/14 - (-405)/21 composite?
False
Let i be (-3)/((-2)/(-8)*-1). Suppose -g + 59 = i. Is g a prime number?
True
Let n(i) = 3*i**3 - 9*i**2 + 3*i - 3. Let l be n(6). Let u = -5 + 7. Suppose u*q = -q + l. Is q a composite number?
False
Let y = -11 - -3. Let j(p) = -p**3 + 16*p - 7. Is j(y) a prime number?
False
Let j(l) = -l**3 + 11*l**2 + 4. Is j(9) a compo