posite?
True
Let z = 6511 - 3732. Is z a composite number?
True
Let d = -6 + 11. Suppose g - 103 = 5*v, d*g = -4*v - 172 + 571. Is g composite?
False
Let c = 490 + 73. Suppose -q = 6*u - u - c, 5*u - 573 = 4*q. Suppose -4*f + 7*f + 4*l = u, 45 = f + 5*l. Is f a prime number?
False
Suppose -3*k = -4*k + 53. Is k prime?
True
Let l(b) = 262*b**2 + 1. Is l(-1) a prime number?
True
Suppose 2*l - 688 = -0*l. Suppose 291 = 5*d - l. Is d a prime number?
True
Let c(t) = t**3 - 7*t**2 + 6. Let u(a) = -2*a**3 + 15*a**2 - 13. Let m(d) = 13*c(d) + 6*u(d). Let b be m(1). Suppose b = -0*s + 2*s - 94. Is s prime?
True
Let d be (-12)/(-5) + (-6)/15. Suppose d*h = 3*m + h + 45, 4*m - 5*h + 49 = 0. Is (1 - m) + -2 + -2 a composite number?
False
Let m(w) = -w**2 - 11*w + 2. Let q be m(-5). Let c = 59 + q. Is c a prime number?
False
Let d(y) = 17*y + 7. Let k(v) = v**2 - v + 7. Let p be k(0). Let m be d(p). Suppose 31 = -5*t + m. Is t a prime number?
True
Let c = 963 + 10. Is c prime?
False
Let t(v) = 8*v**2 - 5*v**3 + 3*v**3 - 7*v + v**3 - 5. Is t(6) a composite number?
True
Let d(z) = -5*z**2 + 3 + 2*z + z**3 - z - 3*z + z. Is d(6) a composite number?
True
Let p = 3161 + -630. Is p composite?
False
Suppose 4301 = 22*k - 5*k. Is k a composite number?
True
Let k = 10 - 8. Suppose -k*r = 3*c, -5*c = r - 0*c + 7. Is r composite?
False
Suppose 409 = 2*x + 3*v + 35, 0 = -x - v + 187. Is x composite?
True
Suppose -4*y = -5*f + 304, 3*y + 0*y = 4*f - 243. Let q(o) = -o**3 + 8*o**2 + 2*o - 7. Let d be q(8). Suppose 0 = -3*m + 3*j + f, -4*j + 16 = m - d. Is m prime?
False
Suppose -4*z - 173 = -5*a, 0*z - 4*z + 12 = 0. Is a composite?
False
Let c be ((-9)/(-15))/(1/5). Suppose 2*x + 10 = 5*g + 7*x, 3*x + 3 = 0. Suppose c*l - 6*l = 2*y - 55, -g*y = 3. Is l composite?
False
Let s(q) = 5*q**3 + q - 1. Let t be s(1). Suppose 3*w + 5*m = 4*w - 82, 4*w + t*m - 328 = 0. Is w a composite number?
True
Let l(f) = -11*f**2 - f + 4. Let t be l(5). Let s = -65 - t. Is s prime?
True
Let o(v) = 13*v + 14. Let a be o(7). Suppose -4*w = i - 375, a = w - i - i. Is w composite?
True
Suppose -4*z + 1125 + 1055 = 0. Is z prime?
False
Is 3/(-2)*(-1276)/33 prime?
False
Let f(h) = -15*h + 2. Let m(s) = s - 5. Let k be m(0). Is f(k) a composite number?
True
Suppose 0 = -5*h + 2 + 8. Is 3/(6/122) - h prime?
True
Suppose -8475 = -5*w + 2*p, 4*p + 6792 = 3*w + w. Is w a prime number?
True
Let y(s) = -s**2 - s - 5. Let h be y(-5). Suppose -5*f + 3*v = -163, 2*f + 66 = 4*f - v. Let j = f + h. Is j a prime number?
False
Suppose -15 = -r + 32. Is r prime?
True
Let p(m) = m**3 + 16*m**2 + 13*m + 3. Is p(-15) composite?
True
Suppose -6*t = -3*t. Suppose -2*d - d + 21 = t. Is d a prime number?
True
Suppose x - 339 = 593. Suppose 5*m = m + x. Is m a composite number?
False
Let j(p) = -9*p - 4. Let l(g) = g + 1. Let x(v) = -j(v) - 5*l(v). Is x(2) composite?
False
Let u(x) = x. Let n be u(10). Let o(v) = 4*v**2 - 2*v**2 - 12*v + 0*v**2 - 3. Is o(n) a prime number?
False
Let o(m) = 10*m + 51. Let a(t) = -2*t - 10. Let w(h) = 11*a(h) + 2*o(h). Let j be w(-7). Is j/(-4)*(-62)/3 prime?
True
Let k = 1386 + -903. Suppose -k = -3*v - 0*v. Is v a prime number?
False
Let t = 381 + -263. Is t a composite number?
True
Let o be 2*-13*-2*27/36. Suppose -r - 1 = -q, -q + 0*r + 13 = 5*r. Suppose q*j - 246 = o. Is j composite?
True
Let q = 50 - 12. Is q prime?
False
Suppose 4*s - 5*s - 2*z + 4 = 0, -23 = -3*s + 5*z. Is 67/2 - 3/s prime?
False
Let n(s) be the first derivative of -s**4/4 + 11*s**3/3 - 5*s**2/2 - 6*s + 1. Is n(7) a prime number?
False
Is -8 + 5 + (-1 - -1973) a composite number?
True
Suppose 6*i + 17 = c + i, 13 = -c - 5*i. Suppose -2*t = 4*z + c - 6, -3*t - 6 = 0. Is -1*z/((-2)/23) prime?
True
Let w = -3379 - -6816. Is w a prime number?
False
Suppose s - 4 = 2*x - 5*x, 3*x = -2*s + 2. Suppose 3*q - 20 = 1. Let z = x + q. Is z prime?
False
Is (-156)/(-6) + 2 + -2 a prime number?
False
Let w = 6 + -4. Suppose -10 = -2*d + w*b, -20 = -3*d + 2*b - 0. Is d prime?
False
Let c = -509 + 1188. Is c composite?
True
Is -21 + 292 + (-1 - -1) a composite number?
False
Let u(a) = -a + 40. Is u(9) prime?
True
Let a(j) be the first derivative of -3*j**4 - j**3 - 2*j**2 - 3*j - 1. Is a(-2) prime?
True
Let y(v) = v**3 - 6*v**2 + 5*v + 3. Let i be y(5). Suppose 5*l + 40 = -4*o + 539, l = -i*o + 388. Is o prime?
True
Let m be (-2 + (-9)/(-6))*24. Let p(v) = -3*v + 11. Is p(m) a prime number?
True
Let c = 97 + -2. Is c a prime number?
False
Suppose 2*a + 247 = 4*k + 973, 4*a = -4*k + 1500. Is a a composite number?
True
Suppose 0 = -2*k - 2*v + 162, k = v - 0*v + 89. Suppose 19 = 4*m - k. Is m prime?
False
Suppose 0*z - 5*d - 39 = -2*z, 4*d = -4*z + 92. Is z prime?
False
Suppose -545 = -s - 2*h - 0*h, 5*h = -5. Is s a prime number?
True
Let l(g) = 60*g**2 - g + 1. Let p be l(1). Let k = p - 29. Is k composite?
False
Suppose 4*b + j = -2*j + 1691, -b + 429 = 2*j. Is b a composite number?
False
Suppose -2*g + 8 = 0, 3*g = -3*a + 6*g - 12. Let i(b) = b + 14. Is i(a) composite?
True
Suppose 5*x - 3*o - 1055 = 0, x + 4*o - 844 = -3*x. Is x composite?
False
Let l = -32 + 121. Suppose 2*g + 0*g = -8. Is g + l - 0/(-2) composite?
True
Let h be 7/((-14)/(-6)) + 2. Suppose 3*i - 73 = h. Is i prime?
False
Suppose 3*z = 4*c + z - 590, 5*c - 775 = -5*z. Let v = -37 + c. Is v composite?
False
Let p = -12 + 2. Let i(a) = 6*a**2 - 19*a + 26. Let o(d) = d**2 - 4*d + 5. Let b(m) = 2*i(m) - 11*o(m). Is b(p) a composite number?
False
Let d(q) = q**3 - 4*q**2 + 2*q - 8. Let c be d(6). Suppose -4*k + 2*k + c = 0. Let w = 53 - k. Is w a prime number?
False
Suppose 0 = -2*s + 4*s. Suppose s = -0*o - 2*o + 712. Suppose -o = -2*r - 2*r. Is r a composite number?
False
Let j be (-8)/12 + 2/3. Suppose j*v - 63 = -3*v. Is v a composite number?
True
Let r = 1493 - 652. Is r composite?
True
Let g(n) = n**2 + 5. Let f be g(-9). Is f + 2*-2 + 3 prime?
False
Let g be 3 - (3 + (-3 - -404)). Let a = 622 + g. Is a composite?
True
Suppose 5*v - 4 = 6. Suppose 28 = w + v. Is w composite?
True
Let x(y) = -50*y - 7. Is x(-6) prime?
True
Let t(q) = 51*q**3 + 3*q**2 + 4*q - 9. Is t(2) composite?
False
Let g = -5 + 5. Suppose 2*v + 3*v - 1065 = g. Is v prime?
False
Let d(y) be the third derivative of 3*y**4/8 + 2*y**3/3 - y**2. Suppose -j - 25 = -6*j. Is d(j) composite?
True
Let z = -12 - -49. Is z composite?
False
Is ((-4)/((-4)/1007))/1 a prime number?
False
Suppose -p + 7*l - 4*l = -16, 3*l = -p - 14. Is (37/2)/(p/2) a prime number?
True
Let y(h) = -17*h - 30. Is y(-25) composite?
True
Let w be (-8)/(-6)*(-6)/(-4). Let i = w + 0. Let n(r) = 5*r**3 - 2*r**2 + 4*r - 2. Is n(i) a prime number?
False
Is 4/6 - 5/6*-1378 a composite number?
True
Let h(g) be the first derivative of 7*g**4/12 + g**3/6 - g**2/2 - 4*g + 2. Let b(o) be the first derivative of h(o). Is b(1) prime?
True
Suppose -b - 797 = -2*b. Is b a composite number?
False
Let c be (-2)/12 + 319/6. Suppose 0 = -2*p + c + 213. Is p a prime number?
False
Let g be (-2)/4 - 534/4. Let n be (g/3)/((-8)/12). Suppose -5*v - n = -882. Is v prime?
True
Let k(z) = z + 2. Let p be k(-6). Let s(t) be the third derivative of -5*t**4/24 - t**3/6 + 5*t**2. Is s(p) prime?
True
Suppose -3*w + 28 = w. Is w a prime number?
True
Let o be 7/(-21)*(0 + 0). Let v(n) = -n**2 + n + 119. Is v(o) a prime number?
False
Suppose 155 = -0*i + 5*i. Suppose i = -4*k - j, -4*j - 20 = 4*k + 8. Is k + 7 - 144/(-2) a composite number?
False
Let y = -118 + 171. Is y a prime number?
True
Let t = 11314 + -6407. Is t a composite number?
True
Let i be (-38 - -3)*-4 + 0. Is (-7 + i)*(-1)/(-1) a prime number?
False
Suppose -3*g - 19 = -4. Is 37/(-3 - (1 + g)) composite?
False
Let u(v) = -v**2 + 11*v + 12. Let k(s) = s**2 - 2*s + 4. Let t be k(4). Let f be u(t). Suppose f*p = -4*p + 340. Is p prime?
False
Suppose 0*y = -2*q + 2*y + 160, -2*q - 3*y + 145 = 0. Is q prime?
False
Let n be (-6)/27 + (-56)/(-9). Suppose -5*a = 3*h + h - 647, n = 2*h. Is a composite?
False
Let q = -289 + 1430. Is q a composite number?
True
Is ((-89)/4)/(1/(-20)) a composite number?
True
Let c(y) = -250*y**3 - y**2 + y + 1. Is c(-1) a composite number?
True
Suppose 0 = 2*u - 2*v - 354, 5*v = -2*u + 159 + 167. Let s = u - 84. Is s a prime number?
True
Suppose -24 = -u + 15. Suppose 