e number?
True
Let p(g) = -g**2 + 8*g - 5. Let h be p(7). Suppose -h*x = 3*x - 20. Suppose -x*v = -9*v + 325. Is v composite?
True
Suppose -3*l + 25 = -2*v, -2*l - 5*v = l + 10. Suppose 4*u - 5*p = 750, -2*u + l*p - 165 + 545 = 0. Is u composite?
True
Let j(a) = -220*a**2 - 2*a + 1. Let k(t) = -660*t**2 - 6*t + 3. Let p(x) = 11*j(x) - 4*k(x). Is p(1) a composite number?
True
Let l be 4/(-14) + 8/28. Suppose 2*c = -l*c + 5*y + 28, 28 = 4*c + 4*y. Is -57*(2 + (-21)/c) a composite number?
False
Suppose 7*t = 9*t - 154. Is t prime?
False
Let x = 4 - 2. Let f(v) = 27*v - 6. Let d be f(6). Suppose x*s - d = -54. Is s composite?
True
Suppose -4 = o - 3*v, -13 = 2*o - 4*v - 1. Let k = o - -7. Is 45/6*(-4)/k a composite number?
True
Suppose 2*p + w = 58, -2*p + 100 = -5*w + 18. Is p composite?
False
Suppose -5*m = -m - 152. Let n = -7 + m. Is n a composite number?
False
Let b(w) = 13*w**2 + 7*w + 4. Let p be b(-4). Let f = 81 + p. Is f a composite number?
True
Let f be (3 - 3)*(-2)/8. Suppose -4*p - b + 253 = f, -3*b - 2 = -17. Is p prime?
False
Let z(n) = -14*n - 6. Suppose 0 = 2*i - 3*i - 8. Let y be z(i). Suppose -w + 3*w - y = 0. Is w a composite number?
False
Let y(m) = 9*m - m + 3 + m**3 + 12*m**2 - 3*m**2. Let l be y(-8). Suppose -l*z + 13 = -5. Is z a prime number?
False
Suppose -2*h - 1162 = -3*h - 5*u, -5*u - 25 = 0. Is h a prime number?
True
Let m(q) = q**3 - q - 5. Let d be m(0). Is 6/2 - (-135 - d) a prime number?
False
Suppose 0 = -m - r + 8, 0*r + 3 = r. Let u = m + 41. Is u prime?
False
Is (15/6)/(3/12) prime?
False
Let u = -34 + 105. Is u a prime number?
True
Let o(w) = 79*w**2 + 3*w + 2. Let z be o(-3). Let u = z + -457. Is u composite?
True
Suppose 844 = y - 447. Is y composite?
False
Let v(c) = -34*c - 19. Is v(-9) a prime number?
False
Suppose 0 = h - 6*h - 15, 2*s = h - 9. Is (-9359)/(-21) - (-4)/s a composite number?
True
Suppose 6 = 4*y - y. Suppose x = -4*z + 43, y*x + 0*x = -4*z + 46. Is z composite?
True
Let t be 10/(-4)*(-12)/10. Suppose -4 = -4*g + s + t, 3*g - 10 = -4*s. Is (2 - 1)/(g/38) prime?
True
Suppose x = s + 12, 5*x + 0*x - 57 = 4*s. Is (-2 + 21/x)*78 a prime number?
False
Suppose 2*o + 4*d + 4 = 0, 0*d + 3*d + 3 = -3*o. Is o/2 - (-158)/2 prime?
True
Let w = 3 + -6. Is 37/3*(54 + w) a prime number?
False
Suppose 25 = 2*z - 31. Is 4176/z - 3/21 a composite number?
False
Let b = 191 + -78. Is b composite?
False
Suppose 5*v - 6*d - 2345 = -d, -3*v = -d - 1401. Is v a composite number?
True
Let v = -5 - -5. Suppose v = -2*m + 43 + 1. Is m a prime number?
False
Let q(j) be the third derivative of j**5/60 - 5*j**4/24 + j**3 - j**2. Let a be q(5). Let t = a - -13. Is t prime?
True
Let z(q) = q**2 + 5*q - 6. Let i be z(-6). Let m(t) = t**2 + 21. Let d(l) = l**2 + 22. Let a(u) = -6*d(u) + 7*m(u). Is a(i) prime?
False
Suppose 0 = -2*p - 4, 2*p = -5*q - 0*p + 1701. Suppose -2*l = 3*r - q, r + 16 = -4*l + 123. Is r a composite number?
True
Let v(z) = z**3 + 5*z**2 - 6*z + 5. Let j be v(-6). Suppose 0 = -j*i + 1514 - 399. Is i prime?
True
Let v = 2 - 3. Let s = v - 0. Let k(z) = -36*z - 1. Is k(s) composite?
True
Let r be (-8)/(-6)*(-9)/(-6). Suppose s = -5*t - 65, -s + t + 57 = -r*s. Let m = 108 + s. Is m prime?
True
Let h = 20 - 17. Suppose 4*p - 669 = -3*w, -669 = -0*w - h*w + 4*p. Is w a composite number?
False
Let c(s) = -6*s**3 - 5*s**2 - 2*s + 1. Let f be c(-3). Let k = f - -33. Is k a prime number?
True
Let t(p) = 3*p - 2. Let u be t(2). Suppose -2 = -3*c + u. Suppose c*r - 11 - 9 = 0. Is r a composite number?
True
Suppose -2*t = t - 417. Let p = 228 - t. Is p prime?
True
Suppose 5*b = -0*d + 3*d + 22, 4*b + 2*d = 0. Suppose -8 = -2*a - b*a. Is 92/2 + -1 + a composite?
False
Suppose 1466 = 4*u - 858. Is u prime?
False
Let h(n) = 3*n - 2. Let d be h(0). Let y(j) = -j - j**3 + 2*j - 1 + 4*j**2 + j. Is y(d) prime?
True
Suppose -4*f - 2464 = 4*i, -3*i - 2*i + f = 3068. Is (1/(-1))/(2/i) a composite number?
False
Let f = -2 + 0. Let t be (3 - 2)/((-1)/f). Suppose -t*b + 139 - 33 = 0. Is b a composite number?
False
Let a = -31 + 60. Let x = a + -10. Is x a prime number?
True
Let i(h) = 2*h**3 - 9*h**2 + 3*h + 8. Is i(6) a composite number?
True
Let t(p) = -2*p + 16. Let q be t(7). Suppose -q*s + 5*s - 477 = 0. Is s composite?
True
Suppose 4*q + 31 - 87 = 0. Is q a prime number?
False
Suppose 0*i - 12*i + 3540 = 0. Is i prime?
False
Suppose 4*v = y - 44, -3*y = 2*y - 2*v - 220. Suppose 0*r - y = -2*r. Is r prime?
False
Let n(i) = -2*i**3 - 9*i**2 - 8*i + 5. Is n(-8) composite?
True
Let o = -2 - -4. Suppose 0 = 2*f - o, -7*y + 2*y + 1271 = f. Is y composite?
True
Let i(c) be the third derivative of -53*c**4/24 - 3*c**3/2 - 2*c**2. Is i(-4) a prime number?
False
Suppose v - 4*j = 12, 3*v - 3*j = j + 20. Suppose -p + 5*x = -121, 0 = v*p + p + 4*x - 663. Is p composite?
False
Is (-4428)/(-15) - 1/5 a prime number?
False
Let x be (-6)/10 - 463/(-5). Suppose 26 = 2*g - x. Is g a composite number?
False
Let p(k) = 109*k - 5. Let x(i) = -22*i + 1. Let b(m) = 2*p(m) + 11*x(m). Is b(-1) a composite number?
True
Let t = 83 - 14. Is t prime?
False
Let y be (173 - -2 - -1) + -3. Suppose -r = -4*r + 6, y = 5*w - r. Is w prime?
False
Suppose -2*y - 3*y + 2*g = -15485, 0 = 2*g + 10. Is y composite?
True
Let u be (-18)/(-5) + (-4)/(-10). Suppose u*t = -3*a + 649, -5*a = -5*t - 1149 + 114. Is a composite?
False
Let a be ((-9)/12)/(2/(-1264)). Suppose -2 = c, a = -2*d - 2*d - 5*c. Let v = d - -167. Is v composite?
True
Suppose 2*n = -3*n + 185. Is n composite?
False
Let y(x) = -16*x**2 + x + 4. Let t(u) = 33*u**2 - 3*u - 8. Let v(k) = -4*t(k) - 9*y(k). Suppose -6*o = -10*o + 12. Is v(o) prime?
True
Let b(k) = -2*k**3 - 15*k**2 - 5*k + 1. Let n(t) = -3*t**3 - 22*t**2 - 8*t + 1. Let a(z) = -7*b(z) + 5*n(z). Let w be 4/(-2) - 3/1. Is a(w) composite?
False
Let b(l) = -l**2 - 9*l + 6. Let m be b(-9). Let f = 5 - m. Is 3*((-57)/(-9) - f) a prime number?
False
Suppose -5*o = -o + 1156. Let j = o + 438. Is j a prime number?
True
Let n(s) = -118*s + 9. Is n(-8) a prime number?
True
Let d(y) be the third derivative of -y**6/120 - y**5/10 - y**4/24 - y**3/2 + 5*y**2. Is d(-8) a composite number?
True
Suppose 3*i - 806 = -c, -2*i + 0*i + 4*c = -514. Is i prime?
False
Let k(f) = -73*f**2 + f. Let y be k(1). Let v = y + 145. Suppose 4*h - 4*p - 579 = v, 3*p + 6 = 0. Is h prime?
False
Let y(d) = d**3 + d**2 + d - 96. Let o be y(0). Let m = -59 - o. Is m a composite number?
False
Let t = 372 + -249. Is t a prime number?
False
Let g(o) = -o - 7. Let t be g(-5). Is ((-47)/t)/((-4)/(-40)) a prime number?
False
Let b = 204 + -130. Is b a composite number?
True
Let r be 45/6*14/3. Suppose w + 0*w = r. Suppose 5*b - 30 = w. Is b composite?
False
Suppose -7*d + 50 = -2*d. Is d a prime number?
False
Suppose 7*y = 2*y + u + 39, 5*y = -2*u + 27. Let k = 9 - y. Suppose k*x + g + 2 - 109 = 0, 5*x - 260 = 5*g. Is x a composite number?
False
Let s = 7 - -8. Suppose 0 = z + 3, -k + 0*k - s = 5*z. Suppose k = 2*t + 24 - 134. Is t prime?
False
Let i be 8/(-20) + (-12)/(-5). Suppose -4*z - 16 + 123 = 5*t, -29 = -z - i*t. Is z prime?
True
Suppose 3*k = 136 + 875. Is k a prime number?
True
Let v be 37/7 - 6/21. Suppose -v*p = -4*z - 37 - 306, -61 = -p - 3*z. Is p a composite number?
False
Let y(k) = 2*k + 2. Let b be y(-4). Let n(s) = s**3 + 6*s**2 + 2. Let t be n(b). Is (-1)/2 - (-77)/t a prime number?
False
Suppose 0 = 4*f - 4 - 4. Suppose -f*g - g = -273. Is g prime?
False
Let m be -3 - (-3 + -19)/(-2). Let y be (3 + -2)*1 + 16. Let z = y - m. Is z a prime number?
True
Let f = -7 + 39. Let a be 5/(5/(-2)) + -15. Let q = a + f. Is q composite?
True
Let k be 6/(-15) + (-116)/10. Let n = -8 - k. Suppose n*c + 37 = g + 7, -g = -c - 33. Is g composite?
True
Let t = -9 + 13. Suppose -r = t*r + 50. Let u = r + 24. Is u a prime number?
False
Let t = -1 + 2. Suppose -8 = -m - t. Is (-2 + m)*7/5 prime?
True
Let d(l) = 4*l**2 + 2*l + 1. Let c be d(-1). Suppose 3*v - 6 = 2*a + v, c*v = -5*a + 9. Suppose 2*t - 2*m - 46 = 0, 3*t - 5*m + 4*m - 75 = a. Is t prime?
False
Let o = 807 + -520. Is o prime?
False
Let z(c) = 440*c**2 + c - 2. Is z(1) composite?
False
Let n = 264 - -41. Is n a composite number?
True
Let c = 3 + 2. Suppose -2*w - c*j + 11 = 0, -3*w + 11 = 4*j - 9. Is 192/w - (1 + 