3*z = -u - 76, 0 = -z - 0*z - 4*u + 47. Let p = z - 7. Suppose p + 10 = 3*m. Is m composite?
True
Suppose 5*u + 0*u = 745. Suppose 0*d - 46 = -d. Suppose 5*x = u + d. Is x prime?
False
Let l(y) = -10*y - 1. Let k be l(-1). Let j be k/(-6)*(-6)/9. Is j*3 - 4*-7 a prime number?
True
Let x = 135 - 23. Suppose 5*v - 377 = -x. Is v prime?
True
Suppose -3*x - x - 6 = -2*t, 5*x + 5*t = -15. Let k = 16 + -10. Is 110/3 - x/k a prime number?
True
Suppose -4*o + b - 94 = 0, 1 = 3*b - 5. Let q = 150 + o. Is q a composite number?
False
Suppose -3*w + 288 = -0*w - m, -288 = -3*w + 2*m. Let a be 12/18*(0 + w). Suppose -2 = -2*y + a. Is y prime?
False
Let h(n) = 3*n**2 + 21*n - 25. Is h(-17) a prime number?
False
Let h = 5 + -2. Suppose 0*z - 2 = 2*y + 2*z, 0 = -h*y + z + 17. Suppose 0 = -i - 3*r + y*r + 35, 89 = 3*i + 5*r. Is i composite?
True
Let p = 211 - 53. Suppose p = 3*s - 115. Is s composite?
True
Let h(c) = -c + 4. Let m be h(0). Let a(x) = -5*x - 1 - 1 - x**2 + 11*x. Is a(m) composite?
True
Let m(g) be the second derivative of 19*g**3/6 + 6*g**2 + 4*g. Let b(t) = -20*t - 12. Let o(w) = -2*b(w) - 3*m(w). Is o(-10) prime?
False
Let v(c) = c**3 + 5*c**2 + 3*c + 5. Let w be -6 - (3 + -2)*-2. Let m be v(w). Suppose -m = -2*u - 2*g + 59, 3*u + 5*g = 96. Is u composite?
False
Let u(i) = i**3 - 5*i**2 + 6*i - 6. Let t be u(4). Let p(m) = 58*m**2 + 3. Is p(t) composite?
True
Suppose 3*p + 6*q - 2*q - 1497 = 0, -4*p + 3*q = -1996. Is p composite?
False
Let n(p) = 12*p**3. Let h be n(-1). Is ((-8)/h)/((-4)/(-414)) composite?
True
Let x(g) = -12*g - 1. Let r be x(-1). Suppose -h = -0*h - r. Is h a prime number?
True
Let h = 411 - 284. Is h prime?
True
Suppose c - 679 = -4*b - 1856, 5*b - 4*c + 1487 = 0. Let u = b - -166. Let h = -74 - u. Is h prime?
False
Suppose -d - n = -4*d + 1646, 3*d - 1666 = 5*n. Is d a composite number?
False
Suppose -4*y = -w + 26 - 10, -5*y - 83 = -3*w. Let s = w - 22. Is s prime?
False
Let p(w) = w**3 - 5*w**2 + 21*w - 12. Is p(23) a composite number?
True
Suppose -8*z + 0*z = -120. Is z composite?
True
Suppose -2*l + 6 = 0, 2385 = 3*f + 3*l + 123. Is f composite?
False
Suppose -2*z - 16 + 140 = 0. Suppose -3*g - 177 = t, -g + 2*t - 4 = z. Let n = g - -106. Is n a prime number?
False
Suppose 3*l - 1564 = -l. Is l a composite number?
True
Let t = 520 + -323. Let i = t - 79. Let d = i + -65. Is d a composite number?
False
Is ((-8)/(-10))/(22/1265) prime?
False
Let b(y) = 21*y**3 + 4*y**2 - 4*y + 3. Is b(2) composite?
False
Let z = -2 + 7. Suppose 35 = 5*j - 4*k, 0 = 5*j - 5*k - z - 35. Suppose -4*u - 5*l + 253 = 0, -5*l - 146 = -0*u - j*u. Is u prime?
False
Let f be (0 + -1)/((-1)/(-5)). Let w(y) = 3*y + 6. Let x be w(f). Let l = x - -19. Is l a composite number?
True
Let m(o) = 7*o + 1. Suppose -4*p = -2 + 6. Let s be m(p). Is (62 + 0)*(-3)/s a composite number?
False
Let q(u) = -243*u - 5. Let o = -11 - -9. Is q(o) composite?
True
Let g(x) = 4*x**2 - 4*x - 27. Is g(-16) a composite number?
False
Let i(l) = 0*l + 1 + 13*l**2 + 0*l + 3*l**2. Is i(-2) a composite number?
True
Suppose -15 = -5*c, 4*i + 4*c = 2*i + 102. Let v = 244 - i. Is v composite?
False
Suppose 4*n + 13 = 3*a, 2*a - 4*n = -n + 10. Let k = a + 2. Is 46/k + 1/1 a composite number?
False
Suppose 4*w = -3*p + 407, 2*p - 4*w + w - 294 = 0. Is p composite?
True
Is ((-3777)/12)/((-3)/4)*3 prime?
True
Let m = 6 - 1. Suppose -169 = -m*q - 0*j - 2*j, j = -q + 35. Suppose -3*x = -0*x - q. Is x a composite number?
False
Let m(y) = 35*y. Let p(w) = -w**3 + 8*w**2 + w - 7. Let o be p(8). Is m(o) a composite number?
True
Let d = -4 - -17. Suppose -4*p = 4*r - 16, 0 = 4*r + 3*p + 1 - d. Suppose 0 = -r*b + 5*b - 335. Is b a prime number?
True
Let u(f) = 2*f**2 + 5*f - 8. Suppose -2*h - 2*h = 4*x + 20, 26 = -4*x + 2*h. Is u(x) a prime number?
False
Let g = -181 - -488. Is g composite?
False
Let n be ((-74)/(-5))/(8/40). Suppose -2*d + 427 + n = -x, 757 = 3*d + 4*x. Is d prime?
True
Suppose v - 967 = -2*q, 0*q = q - 4. Is v a composite number?
True
Let p = -67 + 188. Is p composite?
True
Suppose 0 = 4*z - 4*i - 2288, 0*z - z + 3*i = -562. Let d = -284 + z. Is d a composite number?
False
Let y(k) = -11*k - 1. Let s = -6 - -6. Suppose s = -5*c + c - 8, 0 = -5*n + 4*c - 2. Is y(n) a prime number?
False
Let i(c) = -15*c + 7. Let x(j) = -2*j. Let s be x(4). Is i(s) a prime number?
True
Suppose 7 = -3*j + 6529. Is j a composite number?
True
Let b(x) = 7*x**3 + 2*x**2 - 3*x - 6. Let o(z) = 8*z**3 + 3*z**2 - 4*z - 7. Let m(q) = 6*b(q) - 5*o(q). Suppose -3*j = -2 - 4. Is m(j) a composite number?
False
Let l = -12 - -17. Suppose l*m + w - 598 = m, -2*m = 2*w - 302. Is m a composite number?
False
Suppose -48 = 2*h - 172. Suppose -4*u - h = -z - 273, 3*z = 5*u - 262. Is u composite?
False
Suppose 332 = v + v. Is v prime?
False
Suppose 0 = -m + 6*m - 6995. Suppose -l + m = -0*l. Suppose -5*w + l + 946 = 0. Is w a prime number?
False
Let p = 14 + -10. Let g = -49 - -110. Suppose p*c = 193 - g. Is c a prime number?
False
Let p be (-1123)/(-5) - 4/(-10). Let m = -133 + p. Is (2/(-4))/((-2)/m) a composite number?
False
Let x(u) = 4*u + 1. Let k be x(5). Let m = -8 + k. Is m prime?
True
Let c = 0 - -3. Let g = 18 - c. Is g prime?
False
Suppose -3*c + 0*d + 12 = 3*d, 3*d = 4*c + 19. Is (c - 1)*-185 - -1 a prime number?
False
Suppose -2*n + 1 = -d - 2, d = -2*n + 13. Suppose n*r - 51 = 265. Is r prime?
True
Let v(x) = x + 8. Let i be v(-8). Suppose 3*w + w - 364 = i. Is w a prime number?
False
Suppose -5 = -p - 2. Suppose -o = 5*f - 30, 2*f + 44 = 4*o + p*f. Is o composite?
True
Let n be 4/(-14) + (-2)/(-7). Suppose n = -j + 42 - 7. Is j a prime number?
False
Let t be 4/(-14) + (-16)/(-7). Is (-11625)/(-105) + t/7 prime?
False
Suppose 0*i = -4*i + 212. Suppose 0 = -4*r + i + 31. Is r composite?
True
Let h(c) be the second derivative of 7*c**4/6 - c**3/6 + 3*c**2/2 + 2*c. Is h(4) a composite number?
False
Let y(n) = 4*n**2 + 4*n + 5. Suppose 2*x = -3*k + k + 14, 5*k = -3*x + 37. Is y(k) a prime number?
True
Suppose 4*o - 19 = 41. Let u = o + 64. Suppose 2*h = -2*h + 3*f + 197, u = 2*h + 5*f. Is h a composite number?
False
Suppose s - 4*s = 0. Suppose 5*x - b = 2*x + 485, s = 2*b + 4. Is x a prime number?
False
Is -463*(-3)/4 - (-6)/(-24) composite?
False
Let w = -2 - -4. Let v(u) = 13*u**2 - 2*u + 1. Is v(w) a composite number?
True
Let y(n) = n**2 + 3*n + 1. Let i = 3 - 5. Let z be y(i). Let d(s) = -54*s - 1. Is d(z) a composite number?
False
Let o be (-1 - (-6)/15)*-10. Let x be 3/((-9)/o) - -4. Suppose -4*h = 3*d - d - 818, -3*d + 415 = x*h. Is h a composite number?
True
Suppose -2*m - 5*r + 429 = 0, -51 + 270 = m - 2*r. Is m a composite number?
True
Suppose 26*f - 25*f - 2149 = 0. Is f prime?
False
Let t(a) = a**3 - 8*a**2 - a + 8. Let b be t(8). Let o be (0 + -1)*(b - 393). Suppose 3*u - o = -3*s, u + 4*s + 673 = 6*u. Is u a prime number?
False
Let k(x) = -1344*x + 11. Is k(-3) composite?
True
Let o = -879 - -521. Let u = 196 + o. Let p = -95 - u. Is p a prime number?
True
Let f = 39 - -76. Is f composite?
True
Suppose 5*t = 2*t + 66. Let u = -15 + t. Suppose u*x - 8*x = -14. Is x prime?
False
Suppose 4*w = 5*w + 19. Is (0 - w)*5/5 composite?
False
Let u = -53 - 8. Suppose -6*i + i = 140. Let p = i - u. Is p a prime number?
False
Let k = 222 + -109. Is k a composite number?
False
Let l(y) = -y**3 - 14*y**2 + 20*y - 1. Is l(-16) a prime number?
True
Let h = 2 - 0. Let d be (5 + -1)/(4/6). Suppose 2*s + d*n - 282 = h*n, -155 = -s + 5*n. Is s a prime number?
False
Suppose 0 = 3*o - 5 - 784. Is o a composite number?
False
Let q be (2/(-3))/((-1)/3). Is (3 + -5)*(-77)/q composite?
True
Let k(i) = 9*i + 1. Suppose -c - 1 + 3 = 0. Is k(c) a composite number?
False
Let i be (-5)/(-20)*-19*4. Suppose 0 = -2*x - 1 - 11. Let z = x - i. Is z prime?
True
Suppose 0 = w + w - 8. Suppose w + 2 = q + 4*k, 0 = 2*q - 2*k - 22. Is q prime?
False
Suppose -5*y + 8*y + d = 1, 9 = 2*y - d. Let f(a) = 9*a + 1. Is f(y) prime?
True
Let r be 2 + (1 - 3) + 3. Suppose -r*o - 597 = -6*o. Is o prime?
True
Suppose 0 = -3*u + a + 2*a + 3873, 0 = -2*u + 5*a + 2570. Suppose 0*s = 5*s - u. Is s prime?
False
Suppose 2665 = 2*v + 3*v + 4*t, 2128 = 4*v + 4*t. Is v a composite number?
True
Let y(n) = n**3 - 10*n**2 - 2*n - 4. Let p be y(