umber?
False
Suppose -2*x + 2*s - 3*s + 3207 = 0, 2*x + 4*s = 3222. Is x a composite number?
False
Let n be ((-96)/40)/(4/50). Let s = 68 + n. Is s a prime number?
False
Suppose 2*c + 16 = -3*m + 7*c, 0 = 2*m + 4*c - 26. Suppose 2*v + 3*v - 650 = m*r, -3*v + 5*r = -406. Is v composite?
False
Suppose -2*l + l = 0. Suppose -3*v + l*v = -921. Is v prime?
True
Suppose -25 = 5*l, 3*k - 3*l - 86 = 2*k. Suppose -f + 27 = b - k, 5*f = 15. Is b a composite number?
True
Let m = 96 + -5. Suppose -2*n - 5*a - m = n, -3*n - 3*a - 81 = 0. Is 2/4*(0 - n) composite?
False
Suppose 4 = -6*z + 2*z. Let h be (z/2)/((-4)/(-32)). Is h/24 - 638/(-12) a prime number?
True
Suppose 0 = 5*m - 9717 + 822. Is m a composite number?
True
Let p(q) = 9*q**2 + q. Let t be p(-1). Suppose 160 + 140 = -d. Is 2/t - d/16 a prime number?
True
Let k be 2 + 26*-1*31. Is k/8*2/(-3) a prime number?
True
Suppose 1612 = -y + 5*y. Is y prime?
False
Let j be (-2 - -1)*2/(-1). Let b be (-14)/4*(-2 - j). Is (b/6)/(4/12) a prime number?
True
Let j be 3/2*372/9. Is j*((-9)/(-6) + -1) composite?
False
Suppose 269 = -2*r + 1059. Is r a composite number?
True
Suppose -12 = u - 4*u, -3*u + 6 = -3*a. Let k(q) = 13*q**2 - q + 1. Is k(a) a composite number?
True
Let j(m) = -m**2 - m. Let h(f) = -4*f**2 + 11*f - 7. Let i(z) = -h(z) - 3*j(z). Is i(6) composite?
False
Is (-1 + (-2)/4)*1346/(-3) prime?
True
Suppose 4*u - 16 = 5*h, -2*h = 3*u + 4 + 7. Let v be (-2 - u)*2 - -23. Let t = v + 16. Is t a prime number?
True
Suppose -c = c + 4. Let r = c - -39. Is r a composite number?
False
Let h = -26 - -9. Let n = h + 26. Is n composite?
True
Let j be (6/10)/((-7)/(-35)). Suppose 4 = r - j*r. Is (-43)/r - (-1)/2 a composite number?
True
Suppose -5*r + 25 = -0*r + 5*u, 2*r - 2*u = 30. Let c be (-5)/2*(-12)/r. Is 4*(-3)/(-18)*c a prime number?
True
Suppose -1136 = -6*q - 2*q. Is q a composite number?
True
Let l(j) = 75*j + 2. Let k be l(-4). Let p be (1 - 3/6)*k. Is (-4)/6 + p/(-3) composite?
True
Let a be (-624)/9*(-12)/8. Let d = a + -67. Is d a prime number?
True
Suppose -4*q + 3 - 7 = 0. Let n = -3 - q. Let w(x) = -6*x**3 - x + 1. Is w(n) a composite number?
True
Let u = -935 + 1354. Is u a prime number?
True
Let y = 128 + -39. Is y composite?
False
Suppose 0 = x - 5*x + 2*q + 502, 0 = 4*x + 2*q - 514. Is x composite?
False
Let a(w) = 4*w**2 - 11*w + 40. Is a(31) composite?
True
Let t = 0 + 4. Suppose t*s - 572 = -4*u, -3*u + 109 = -5*s + 824. Is s composite?
True
Suppose 244 + 181 = z. Suppose m + 4*m + 2*d - z = 0, 0 = -3*m + 5*d + 255. Is m prime?
False
Suppose 0 = -3*r - 5*o + 4*o + 14, -3*o = -2*r + 2. Let z = r + -1. Suppose -94 = -z*l + l. Is l composite?
False
Suppose 19*y = 22*y - 21. Is y a prime number?
True
Let a = 59 + -41. Suppose 0*d - 5*d + a = -c, -c = 5*d - 22. Suppose d*u + 76 = 2*r + 2*r, -23 = -r - u. Is r composite?
True
Suppose 0 = 2*t + 8 - 84. Let g = t - 8. Let x = g - 17. Is x composite?
False
Suppose m = 3*f - 7 - 5, 0 = 2*f - 2*m - 4. Let d(h) = h**3 - 3*h**2 + h - 6. Is d(f) prime?
False
Let f(d) = -d**2 + 2*d - 4. Let j be f(4). Let z = -150 + 96. Is ((-92)/(-6))/(j/z) a composite number?
True
Let d(v) = -v**3 + 7*v**2 + 4*v + 1. Let x = 7 + 11. Suppose -4*i + 6 + x = 4*t, -10 = -5*i + 5*t. Is d(i) a composite number?
True
Let l = 2817 - 1858. Is l composite?
True
Let x = -2 + -8. Let j(p) = -33*p + 5. Is j(x) prime?
False
Suppose -10 = -6*g + g. Suppose 0 = 2*c + g*c + 104. Is c/(-4) + 1/(-2) composite?
True
Let a(v) = -4*v**3 - 9*v**2 + 9*v - 7. Is a(-9) a prime number?
True
Let o be -7 - 2*2/4. Let w be 4/o + (-7)/(-2). Let v(r) = 3*r + 2. Is v(w) a prime number?
True
Is 2*(-5596)/40*-5 a composite number?
False
Let i(c) = -c**2 - 13*c - 1. Let o be i(-13). Is (o - 660/(-8))*2 prime?
True
Suppose -4*u + 5*a + 5 = 0, -4*u - 2*a + 9 = -17. Suppose 2*t + u*w + 203 = 0, t = 4*w - w - 85. Is t/(-5) - (-1)/5 a prime number?
True
Suppose -36 = 4*g - 0*n - 5*n, 5*g + 5*n = -45. Let y(t) = -15*t + 7. Is y(g) composite?
True
Let m(q) = -15*q + 4. Suppose 0 = 4*z - 19 + 7. Suppose r + z + 0 = 0. Is m(r) composite?
True
Suppose 5*l - 3*z = 9191, -4*z = l - 5*l + 7356. Is l prime?
False
Let o be -15*1/((-4)/8). Suppose 4*h + 102 - o = 4*q, 0 = -3*q + h + 44. Is q prime?
True
Let q(a) = -75*a - 6. Let s(z) = 50*z + 4. Let p(b) = 5*q(b) + 8*s(b). Is p(5) a composite number?
False
Suppose 3*q = 2*q + 1361. Is q a prime number?
True
Let i(s) = -32*s - 5. Is i(-8) composite?
False
Suppose 5*t + n - 270 = 0, 2*n - 4*n = 4*t - 222. Suppose -j = m - t, -4*j = -5*m + 2*m - 212. Is j composite?
False
Let q be (-3)/9 + 302/6. Let n = -11 + q. Is n a composite number?
True
Suppose 0 = 2*w + 4373 - 12775. Is w composite?
False
Let g be 16*(-9)/(-36) + 0 + -3. Let b(c) = 0*c**2 + 10*c**2 + 0*c - c. Is b(g) a prime number?
False
Suppose -j + 2 = -0*j. Suppose -3*u + 4*w - 5 = 0, 45 = 5*u + j*w + 10. Let o(p) = 4*p - 7. Is o(u) a composite number?
False
Suppose 0*m + 3*m - 393 = 0. Is m a prime number?
True
Let c = 552 - -1207. Is c a composite number?
False
Let y be 1/4 + (-2009)/4. Is (5/(-10))/(1/y) a prime number?
True
Let l(c) be the second derivative of 7*c**4/12 + c**3/3 + 5*c**2/2 - 4*c. Is l(-4) prime?
True
Suppose 0 = -2*b + 6*b - 540. Suppose 3*g = 39 + b. Is g a prime number?
False
Let j(n) = n**2 + 7*n + 6. Let a be j(-6). Let v(p) be the first derivative of p**3/3 + p**2/2 + 13*p - 2. Is v(a) a composite number?
False
Let q(f) = 23*f + 7. Let p be q(7). Let y = p + -86. Is y a prime number?
False
Let r = 235 - 115. Suppose 3*x - 3*v - r = 0, 4*x - 143 + 7 = -4*v. Is x a composite number?
False
Suppose 6 = -4*f + 2. Let i be 0 - (f + -1) - 0. Suppose -i*w + 70 = l, -3*w - 3*l + 99 = -0*w. Is w prime?
True
Let q = 1501 + -734. Is q composite?
True
Suppose 4*d + d = 75. Is d composite?
True
Suppose -12572 = -5*q + q. Is q a composite number?
True
Let x(l) be the first derivative of 0*l + 6*l**3 + 1/2*l**2 + 1. Is x(1) a prime number?
True
Let w be (7/(-7))/(2/(-6)). Suppose 4*p + 114 = 3*f + 7*p, -2*f = -w*p - 51. Is f prime?
False
Suppose -h - 1228 = -5*h. Is h a composite number?
False
Let q(j) = 9*j**2 + 1. Let a be q(-1). Suppose -4*p = -5*i - 4 - a, 0 = 4*p + 4*i + 4. Let u(g) = 26*g - 1. Is u(p) a composite number?
True
Suppose -14 = -2*j + 5*y, -2*j - 4*y = 5 - 1. Suppose -k + 165 = j*k. Is k composite?
True
Let g(u) be the second derivative of -7*u**5/30 - u**4/24 + u**3/6 + u. Let h(r) be the second derivative of g(r). Is h(-2) a prime number?
False
Let a(z) = z**3 - 15*z**2 - 2. Let w be a(15). Let l(m) = 15*m**2 + 3*m + 1. Is l(w) prime?
False
Let r(d) = -d**2 - 9*d - 4. Let u be 140/(-18) + 2/(-9). Let f be r(u). Suppose m - 27 = 4*t, 7*m = f*m + 5*t + 53. Is m composite?
False
Suppose -3*f = -4*i - 192 - 517, 5*f - 1179 = 4*i. Is f composite?
True
Let j(s) = -2*s**2 + 3*s**2 + 3*s**2 - 11 - 3*s**2 - 3*s. Is j(10) a composite number?
False
Let t(y) = 112*y**2 - 1. Is t(-1) a composite number?
True
Is (-1 + -3638)*-5*4/60 composite?
False
Is (-8 - -8 - (-62)/2)/1 composite?
False
Let n = -11 + 1. Let h = -4 - n. Is h prime?
False
Let n(x) = 155*x - 54. Is n(16) prime?
False
Is -2 + 1454*(-4 - 22/(-4)) prime?
True
Let x(z) = z**2 + 2*z - 5. Let d be x(-4). Suppose -4*v - d*h = -107, -2*v = -0*v + 2*h - 54. Is v a prime number?
False
Suppose 4*t + 803 = 5*r, -5*r + 2*r + 3*t = -480. Is r a prime number?
True
Let z(k) be the second derivative of -3*k**5/20 - k**4/12 - 3*k**2/2 - k. Is z(-3) a composite number?
True
Suppose v - 116 - 515 = 0. Is v a composite number?
False
Suppose n + 40 = 3*x - 26, -5*x + 2*n = -109. Is x composite?
False
Suppose 4*b = 17 - 41. Let l(q) = 2*q**2 - 5. Is l(b) a composite number?
False
Is 3*123 + 6/9*3 a prime number?
False
Suppose -3*j = -0*j + 3*d, j - 5*d - 30 = 0. Is 38/(j/(50/4)) a prime number?
False
Suppose 2*z = 3*p + 499, -137 = 5*z - 5*p - 1392. Is z composite?
True
Suppose 2*h - 4*t + 26 = 0, -3*h - 3*t + 11 = t. Let f(x) = -4*x - 1. Let n be f(h). Let b = n - 7. Is b prime?
False
Let w(r) = 19*r. Let m = 3 + 1. Suppose -m*a - k = -5, 4*a - 2 + 0 = 2*k. Is w(a) a prime number?
True
Let j(u) = -u**3 + 5*u**2. Let x(o) = o - 1. Let c be x(6). Let g be j(c). Suppose -h = -g - 14. Is h composite?
True
Suppose s = 3*s + 1078. Let f = -344 - 