 m a composite number?
False
Let q = -6 - 3. Let n(c) = 4*c**3 + 7*c**2 - 8*c + 13. Let l(w) = -11*w**3 - 22*w**2 + 23*w - 39. Let y(i) = -3*l(i) - 8*n(i). Is y(q) a composite number?
False
Let i(j) = -j + 1. Let d(h) = -45*h + 3. Let m(a) = d(a) - 4*i(a). Is m(-4) a composite number?
False
Suppose -5*t + 429 = -836. Is t prime?
False
Let z(t) = t**2 - 6*t + 4. Let s be z(6). Let a = s + -8. Is (2 + a)/(2/(-83)) a prime number?
True
Let h(s) = s**3 + 4*s**2 + 5*s + 1. Let m be h(6). Let a = -188 + m. Is a prime?
False
Let f = -633 - -1012. Is f prime?
True
Let f(m) = m - 1. Let g be f(3). Suppose -4*o - 3*y = y - 348, 3*y - 178 = -g*o. Is o a composite number?
False
Is -2 + 974*(-4)/(-8) composite?
True
Suppose 0 = -4*j - 2*f, 4*f = -3*j + 5*j. Suppose -12 = -x - 4*p + 7, j = -x + 3*p + 19. Is x composite?
False
Suppose 2*f + 3*h - 16 = 0, -2*f = 2*f + h - 12. Let r be -17 + 2*-1 + f. Let y = r - -38. Is y a prime number?
False
Let x(f) be the third derivative of 9*f**5/20 + f**4/8 + f**3/3 - 3*f**2. Is x(3) prime?
False
Let x = -18 - -27. Let w(y) = -y**3 + 11*y**2 - 14*y + 13. Is w(x) a prime number?
False
Let m(a) = 17*a - 20. Is m(5) a composite number?
True
Let t(f) = -3*f - 3. Let d be t(-3). Let a(x) = -x**3 + 7*x**2 - 3*x - 8. Is a(d) a prime number?
False
Suppose -4*a = n - 121, 3*a = 3*n + 24 + 78. Let r = -17 + a. Is r a prime number?
False
Let z(u) = u + 9. Let y(v) = v**3 - 6*v**2 + 5*v - 6. Let f be y(5). Let x be z(f). Suppose 4*m + h = 208, -3*m + x*h + 171 = -0*h. Is m composite?
False
Suppose 0*s + 20 = -4*s. Let i(u) = 3*u**2 + 4. Let f be i(3). Is (1 + f/s)*-5 a composite number?
True
Is ((-7908)/24)/(1/(-2)) a composite number?
False
Suppose -5*a + 83 = -2*o, a - 3*a = -4*o - 142. Let q = 0 + o. Let m = -11 - q. Is m composite?
False
Let r = 1 - -1. Let j = 55 - r. Is j a prime number?
True
Let h(v) = v**2 + 2*v - 14. Is h(9) a prime number?
False
Suppose -3*h - h = 0. Suppose -p + 7 + h = 0. Is p prime?
True
Let k(p) = -p**2 - 2*p + 2. Let d be ((-2)/3)/((-7)/(-42)). Let c be k(d). Is 42/4 - c/12 a composite number?
False
Let h be (-2 - (3 + -6))*-2. Let d = 186 + -315. Is d/(-6) - 1/h a composite number?
True
Let k = -8 + 10. Let u be -1*1 - (-2 + -1). Suppose -194 = -3*b + f, u*f = -k*f + 4. Is b prime?
False
Suppose 0*i + 2*i = 70. Is i a prime number?
False
Suppose p + 1104 = 3*p. Suppose -4*i + 92 = -p. Is i prime?
False
Suppose m - 6*m - 20 = 0. Is 864/88 + m/(-22) prime?
False
Let n(c) be the second derivative of -c**5/20 - c**4/12 - c**3/6 + 85*c**2/2 + 2*c. Is n(0) a prime number?
False
Let o be (-6)/(1/4*3). Let y be 2*(-50)/o*6. Is y/1*3/9 a prime number?
False
Let k = -3 + 6. Suppose k*l + 2 - 32 = 0. Is l composite?
True
Suppose 2*k - 32 + 10 = 0. Is k + -10 - 622/(-1) a prime number?
False
Suppose 5*y + 452 = 2057. Is y composite?
True
Is (8 - 7)*(737 - -2) a prime number?
True
Suppose -7694 + 1680 = -2*d. Is d composite?
True
Let j(l) = 33*l + 4. Is j(6) a composite number?
True
Suppose -12 = -2*v + 4*v. Suppose 4*b - 2*b - 2*h = -4, 4*b - h - 7 = 0. Let m = b - v. Is m composite?
True
Suppose 323 + 211 = 2*m. Is m composite?
True
Suppose x - 5*x + 16 = 0. Let o = 33 + x. Is o a composite number?
False
Let q(o) = 28*o**2 + 4*o - 13. Is q(3) composite?
False
Suppose -4*d = 3*x - 5*x, -4*x = 4*d - 12. Let s(m) = 131*m**3 + m - 1. Is s(d) composite?
False
Let h = -4 + 3. Let k = 1 + h. Suppose k = -3*t - u + 103, -3*u = -4*t + 48 + 98. Is t composite?
True
Let f = 11 - 7. Suppose -7*u + f*u + 147 = 0. Is u prime?
False
Let x be (36 - -3)*(-1 - 0). Let r = 28 - x. Let t = r - 48. Is t a composite number?
False
Suppose 2*f - 200 = -3*f. Suppose -3*j + 3*v = 1 + 2, -4*j + 6 = -2*v. Suppose 0 = -j*x + f. Is x a prime number?
False
Let d(o) = -o**3 - 9*o**2 + 4*o - 7. Let g(w) = w**3 - w + 1. Let c(v) = d(v) + 2*g(v). Is c(10) composite?
True
Let v(i) = 11*i**2 + 6*i - 11. Let c be v(-6). Let x = 608 - c. Is x a prime number?
False
Let s(v) = -v - 9. Let u be s(-9). Suppose u*k = k. Suppose k = -2*i + 3*i - 67. Is i composite?
False
Suppose 47*w = 46*w + 335. Is w a prime number?
False
Suppose 0 = -x - 2*c - c + 15, -4*c + 22 = 2*x. Suppose 0 = -7*s + x*s - 4. Is (1 - s)*27 + -1 a composite number?
False
Let p(m) = -m**2 - 10*m - 4. Let z be p(-8). Let v = -2 + z. Is v composite?
True
Let o = -145 + 558. Is o composite?
True
Let f = 91 - -126. Is f a composite number?
True
Is 1/(4/12) - -12 composite?
True
Let q be (-3 - 3)/(-2) - -2. Suppose q = 2*p + 1. Suppose l + p*c = -2*l + 161, -6 = 3*c. Is l prime?
False
Let h = 6 - -91. Is h prime?
True
Let a = 164 + -91. Suppose -15 = -4*g + a. Is g a prime number?
False
Is (-1 - -1) + -3 - -12 a composite number?
True
Suppose -4*s = -2*s - 4. Suppose -197 + 19 = -s*u. Is u composite?
False
Let t(g) = -g - 3. Let h be t(-8). Suppose -5*f = -h*l - 155, 3*l = -l. Is f composite?
False
Let m(a) = -2*a**3 + a**2 - 3*a + 5. Let x(z) = z**3 - z**2 + 3*z - 4. Let f(g) = 3*m(g) + 4*x(g). Is f(-3) a prime number?
False
Suppose -317 = -4*l + 303. Suppose -180 - l = -5*z. Is z a prime number?
True
Let z = -871 + 2564. Is z composite?
False
Suppose -1877 = -a - 94. Is a a prime number?
True
Suppose -2*u + 17 = -699. Is u prime?
False
Let j = 2 + 1. Suppose m - 5*u = -18, j*m - 2*u = -u + 2. Is 2*61 - m/2 prime?
False
Let g(v) = 2*v**2 - v - 2. Let u be g(-6). Suppose 5*c = 25 - 10. Let p = u + c. Is p a prime number?
True
Suppose 4*y + 4 = 6*y. Let o(u) = 7*u**3 - 2*u**2 + 4*u - 3. Is o(y) composite?
False
Let k = -8 - -4. Is 2 - k - 2 - -27 a composite number?
False
Suppose 5*m - 4*j - 3922 = 0, 0 = -0*m + m - 4*j - 778. Is 6/15 + m/10 a composite number?
False
Let h(q) = q**3 + 7*q**2 - 24*q - 13. Is h(11) composite?
False
Let q(c) be the second derivative of -c**3/3 - 4*c**2 + c. Let y(g) = -5*g**2 - g. Let d be y(1). Is q(d) a composite number?
True
Suppose 2*z + 4*h = 22, -2*h + 5*h - 15 = -z. Suppose 2*l - 172 = -2*q + 196, 3*q - z = 0. Is l a prime number?
False
Is 2/(-4) + 3090/12 prime?
True
Let x = -1909 - -4109. Suppose -1781 = -4*s + 3*v, 5*v - x = -2*s - 3*s. Is s composite?
False
Suppose -3*j = -2*k - 8, 5*j - 16 = 2*j - 2*k. Suppose -4*z = 4*x - 3 - 21, 4*z - j*x - 8 = 0. Is (-1)/((8/(-70))/z) prime?
False
Let d = -7 + 5. Is 61/(4*d/(-24)) prime?
False
Suppose -q + 84 = s - 0*q, -2*q = -4*s + 366. Is s a prime number?
True
Let g(x) = 5*x**2 + x + 1. Let d(t) = -t**2 - 7*t - 7. Let h be d(-6). Let q be g(h). Is (-1)/(-5) + 9/q prime?
True
Let l(z) = -z**2 + z + 277. Let x be l(0). Let g = x + 12. Is g a composite number?
True
Suppose 0 = 4*s - 4*l - 8492, -14*s - 4*l = -17*s + 6370. Is s prime?
False
Let y(a) = -34*a - 49. Is y(-12) prime?
True
Let z be 3*(-6)/(-9) - -23. Suppose 5*j - 4*b = 232, -2*b = 3*j - 0*b - 126. Let k = j - z. Is k a prime number?
True
Suppose -186 - 18 = -6*d. Is d a composite number?
True
Suppose 2*p = -p + 3372. Suppose -860 = g - 4*g - 5*j, 4*g + j = p. Suppose -2*y + 4*y = 5*w + 148, 4*y = 2*w + g. Is y a prime number?
False
Suppose 0 = 2*f - 509 - 643. Suppose -f = -4*x - 5*s, -4*x - 4*s + 592 = -3*s. Is x composite?
False
Let x(g) = 52*g**2 - g. Let u be x(1). Suppose -2*z + z = -u. Is z composite?
True
Suppose 0 = -4*m + m + 546. Suppose n - 3*n = -m. Is n a composite number?
True
Let h be (-34)/(-8) + (-3)/12. Suppose 2*g - h = -0. Suppose g*r - 30 = -2*j, 0 = -4*r - 8*j + 3*j + 60. Is r a prime number?
False
Is 2288/6 + (-46)/(-69) a composite number?
True
Let n = 179 - 99. Suppose 0 = -x - 4, -x = -g + 5*g - n. Is g composite?
True
Suppose -2*j - 5*m = -494, 1 = 2*m - 7. Is j a prime number?
False
Suppose -3*t - 1 = 5, 2*x + 4*t = -22. Let n be (3 + -4)/(1/2). Is (0 + 22)/(n/x) a composite number?
True
Let m = 1246 - -73. Is m a composite number?
False
Suppose -4*v = v. Let s(a) = -a + 21. Is s(v) a prime number?
False
Suppose -104 = -8*c + 4*c. Is c/4 - 4/8 a composite number?
True
Let j be -6 - -4 - (-12)/2. Is 8409/13 - j/(-26) composite?
False
Let k = 4249 - 2546. Is k composite?
True
Suppose -3*a + a = -18. Suppose 0 = -p + m + a, -2*p = -0*p - 3*m - 22. Suppose -43 = -p*i + 52. Is i prime?
True
Let p(t) = 37*t**3 + 57*t**3 + 0*t**2 - t**2 - 14*t**3. Is p(1) prime?
True
Suppose -5*u - 5*z = -3*u - 5558, -4*u = -4*z - 11116. 