e number?
True
Suppose -y + 3*y = -2*s + 4516, 0 = 4*y - 2*s - 9002. Is y prime?
False
Let v be (-4)/(-6)*(15 + 3). Suppose k - 1 + 4 = 3*b, -4*k + 2*b - v = 0. Is 3 + k + -2 + 48 prime?
False
Suppose 0 = 5*l + 1 + 9. Let n = l + 3. Suppose v - 7 = -n. Is v composite?
True
Let a(q) = -3*q - 3. Suppose -2*f - 3*t + 147 = 2*f, 0 = -2*f + 4*t + 46. Let o be f/(-9) - 3/9. Is a(o) composite?
True
Let g = 568 - 347. Is g composite?
True
Let l = 5 + 61. Let q = l + 167. Is q a prime number?
True
Let u be -1*(-3 - 5)/2. Suppose u*t - 62 = 2*t. Is t composite?
False
Let y(d) be the second derivative of d**4/6 + d**3/3 - 3*d**2/2 - 3*d. Let n(z) = -z**3 + 4*z**2 + 5*z + 4. Let f be n(5). Is y(f) a composite number?
False
Let b = -7 + 10. Suppose 3*q - 719 = -b*f + 514, q - 5*f = 435. Is q a prime number?
False
Let t(b) = -13*b - 11. Let n(z) = -6*z + 2. Let a be n(2). Is t(a) a prime number?
False
Let h(l) = -l**3 - 6*l**2 - 2*l - 9. Let w be h(-7). Suppose -4*u - 2*a + w = 0, 0*u + 4*a = 2*u - 32. Is u a composite number?
True
Let h(v) = 4*v**2 - 3*v**2 + 7*v**2 + 3 - v**2. Is h(4) composite?
True
Let q(c) = 6*c**2 + 12*c + 13. Is q(-7) prime?
True
Let f(m) = -m**2 + 11*m - 11. Let w(n) = -2*n**2 + 17*n - 17. Let h(i) = -8*f(i) + 5*w(i). Let s be h(-3). Is (-62)/(3/(9/s)) prime?
True
Suppose 5*h = -757 + 2222. Suppose 0*g + g - h = 0. Is g a composite number?
False
Let v(h) = 14*h + 10. Let x be v(-7). Suppose 5*p + 5*y + 250 = 0, 4*p - 6*y = -y - 227. Let d = p - x. Is d a prime number?
False
Let f = -601 + 1224. Is f a prime number?
False
Suppose -k + h + 242 = -2*h, 3*k - 2*h = 747. Is k a composite number?
False
Suppose -5*d - 119 = -5*h - 4*d, 0 = -2*h - 4*d + 30. Is h a composite number?
False
Let s be (-2)/(-6) - (-10)/6. Let z be (3 + -69)/s + 0. Is z/(-9)*3*1 a prime number?
True
Suppose 2*m - 20 = 4*l, 2*l + m = -0*l - 10. Let a(n) = -3*n**2 - 3*n**2 + 5 - n**3 + 8*n + 3*n**2. Is a(l) prime?
False
Let u(a) be the first derivative of 2 + 4*a**3 - 2*a**3 + 0*a**3. Is u(1) a composite number?
True
Let s be (-2658)/(-7) - (-4)/14. Suppose 0 = -p + 5*p - s. Is p a prime number?
False
Suppose 3*p - 10 = -4. Suppose -3*b = p*b - 185. Is b prime?
True
Let i(j) = -j**3 + 3*j**2 + j - 2. Let y = -4 - 0. Is i(y) a composite number?
True
Let h(m) = -m**3 + 6*m**2 - 5*m - 2. Let t be 1 + 0 + (-9)/(-3). Is h(t) prime?
False
Suppose 4*r - 4 = 12. Let s(u) = 11*u - 9. Is s(r) composite?
True
Let a be 25*1 - (0 - 2). Let r = -11 + a. Let j = 37 - r. Is j composite?
True
Suppose 7 + 9 = 4*b. Suppose -3*x - 489 = b*d, x = -3*d - 239 + 81. Let f = -56 - x. Is f a prime number?
False
Let q(h) = -h**2 + 5*h - 6. Let f be q(5). Let m(d) = -d + 6. Let t(j) = -2*j + 7. Let s(p) = f*m(p) + 5*t(p). Is s(-2) prime?
True
Let l(z) = -7*z**3 + 2*z**2 + 3*z + 5. Let n be l(4). Suppose -3*y + 417 = -3*q, -157 = -q + 2*q + 5*y. Let o = q - n. Is o a composite number?
False
Let b(d) = 2*d**2 - 12*d - 10. Is b(-8) a composite number?
True
Let h = -149 + 79. Let m = h + 167. Is m prime?
True
Let i(t) = 13*t - 6*t + t**2 - 5*t + 6. Is i(-5) composite?
True
Suppose 5*m - g = -145 - 14, -3*m + 2*g = 101. Is 7/(2 - (-61)/m) a composite number?
True
Suppose 0 = -3*y + 95 + 40. Suppose z - 15 = -h, h - y = -2*h + 4*z. Is 310/h - (-1)/3 a prime number?
False
Suppose -4*x + 5*f + 3394 = 0, 914 = x - f + 65. Is x a prime number?
False
Suppose -3*c + 3897 = -4*s - 2546, -3*c - 4*s + 6475 = 0. Is c prime?
True
Suppose -3*j = 2*j - 2280. Suppose c + 388 + 400 = 5*y, -3*y = 5*c - j. Is y a composite number?
False
Let t = -1742 + 3103. Is t a composite number?
False
Let a(z) = 12 + 45*z - 9 + 16*z. Let w be a(4). Suppose -134 = -3*j + w. Is j a composite number?
False
Let k = 74 + 17. Is k prime?
False
Let q(r) be the third derivative of -r**6/120 - r**5/10 - 5*r**4/24 + r**3/3 + r**2. Let j be q(-5). Suppose -j*n + 84 = -10. Is n prime?
True
Let h(x) = 100*x - 11. Is h(1) prime?
True
Let i be 13 + (1 + -2)*1. Suppose 3*d + 0 = i. Is -2*10/d*-7 a composite number?
True
Let o = 3789 + -2324. Suppose 4*x + x + 615 = 2*n, 5*n - o = -2*x. Is n a composite number?
True
Let x(y) = y**2 + y + 6. Let u(c) = -2*c**2 - 3*c - 11. Let i(f) = -4*u(f) - 7*x(f). Let o be i(-5). Suppose h = o*h - 91. Is h a composite number?
True
Let v be (-16)/24*(-6)/(-4). Let y = 2 - v. Suppose 0 = y*o - 3, -7*o + 1152 = 4*t - 3*o. Is t prime?
False
Suppose -5*n = 2*f - 6, -3*f + 4*n - 15 = -8*f. Suppose -f*i + 0 - 35 = -a, 0 = -i - 4. Is a prime?
True
Let l(z) = z**3 - 2*z**2 + 4*z - 1. Suppose 0 = -4*b - 2*w + 10, -4*b + 7*b - w = 20. Is l(b) a prime number?
False
Suppose 7*o = 17*o - 1790. Is o prime?
True
Let x = -637 + 394. Let b = 827 + x. Suppose 2*c - 439 = -3*o, -3*c + b = 5*o - o. Is o prime?
True
Suppose 0 = -3*c - s + 3336 - 476, 2 = 2*s. Is c a prime number?
True
Suppose 3*h - 4*o = 3, 2*h - o - 12 = -h. Suppose -128 = -2*y - 0*u + 2*u, 4*u = 16. Suppose 1 = -d, -2*v + h*v = 2*d + y. Is v prime?
False
Suppose -3*k + k + 31 = 5*q, 0 = -5*k - 3*q + 30. Suppose 4*f - g + 4*g - 953 = 0, -k*f + 3*g + 699 = 0. Suppose -79 = x - f. Is x composite?
False
Let m = 47 - -108. Is m a prime number?
False
Let a = -3 - 11. Is (a/(-7))/((-2)/(-139)) a prime number?
True
Let a(v) = -v**2 + 4*v + 2. Let g be a(3). Suppose -4*u - 6*x + 2*x + 8 = 0, -u - g*x - 14 = 0. Is 3/u*2 - -13 prime?
False
Let i(y) = y**3 - 4*y**2 - 6*y + 6. Is i(7) prime?
False
Let o(j) be the third derivative of 59*j**5/60 + j**4/12 + j**3/6 - 2*j**2. Let k(t) = t**3 + t**2 + t - 1. Let c be k(0). Is o(c) a composite number?
True
Suppose -382 = 2*f - 3336. Is f prime?
False
Let v(j) = 21*j**2 - j - 1. Let t(p) = p**3 + 15*p**2 + 15*p + 18. Let f be t(-14). Is v(f) a prime number?
True
Let j(w) = w**3 + w**2 + w + 2. Let t be j(0). Suppose -m = t*m - 228. Let u = -41 + m. Is u composite?
True
Let p be -1*(2 - (3 + 1)). Suppose -b - p*w + 0 = -11, 5*w = 4*b - 5. Suppose 0 = -2*l + b*l - 231. Is l a composite number?
True
Suppose -3*k + 112 = -221. Is k a composite number?
True
Is 336 - 31 - (-1 + -1) composite?
False
Is 1592 + -1*2 + (-1)/1 composite?
True
Is 5612/8 + 3/(-6) prime?
True
Let k(m) = 30*m - 17. Is k(20) prime?
False
Let o = -74 + 111. Is o prime?
True
Let w(c) = 2*c**3 + 6*c**2 - 2*c - 8. Is w(5) a composite number?
True
Let q be (-100)/(-7) + 2/(-7). Let o = -1 + q. Is o a composite number?
False
Let b = 34 + -2. Suppose b = 3*y - y. Let j = 3 + y. Is j a composite number?
False
Suppose 3*g = -4*a + 6139, -3*g - 3083 = -3*a + a. Is a a composite number?
True
Suppose -l = 3*a - 17, 6*l - 41 = -4*a + l. Suppose 3*u = -a*h - h + 194, -3*u + 9 = 0. Is h prime?
True
Let d be ((-10)/15)/(2/(-6)). Suppose -5 = -3*a + 4*i + 51, 46 = 3*a - d*i. Is 4*(-3 + 165/a) a prime number?
True
Let h be 3040/(2 + 0) - 1. Suppose h = 3*u + 280. Is u prime?
False
Suppose r - 139 = 178. Is r a composite number?
False
Let l(y) = 4*y**3 + 3*y**2 - 5*y + 8. Let u(h) = -2*h**3 + 3*h**2 - 1. Let p be u(2). Let s(i) = -i**3 + i**2 - 1. Let q(o) = p*s(o) - l(o). Is q(8) composite?
False
Suppose -4*y + 0*y = 2*b - 170, 0 = b - 2*y - 93. Is b a prime number?
True
Let o(f) = -3*f**3 - f**2 - 5*f + 1. Is o(-2) a prime number?
True
Suppose l + 3*d - 26 = -0*l, -2*d + 8 = 0. Is 4/l + 2637/7 a composite number?
True
Let r = -13 + 13. Suppose 8*t - 5*t - 249 = r. Is t prime?
True
Let c(x) be the third derivative of -x**5/60 - 3*x**4/8 + 2*x**3/3 + x**2. Let o be c(-9). Suppose 3*g + 121 = o*g. Is g a prime number?
False
Let k = 127 + 19. Is k composite?
True
Let q(f) = f**3 + 6*f**2 - 4*f - 7. Let c be q(-6). Suppose -3*r - c = 16. Let s = r + 30. Is s a prime number?
True
Let s be 2 - 1/(3/(-150)). Suppose 0 = -2*t + 54 + s. Is t a prime number?
True
Let z(k) = -17*k - 7. Let c be z(5). Let i = 270 + -45. Let h = i + c. Is h a composite number?
True
Let p be 0 - (10 + 1)/((-5)/15). Suppose -t = -4*o + 162, 211 = -0*o + 5*o + 3*t. Suppose -2*m = -p - o. Is m composite?
False
Suppose 0*o - 3*o = 0. Suppose o*x + 3*w = 2*x - 116, 2*x = 5*w + 120. Let s = x + -30. Is s a prime number?
False
Let a be 2/6 - 56/(-21). Suppose a*o - 441 = -2*s, 5*o - 764 = s - 16. Is o composite?
False
Let i = -4 - -22. Let a = 29 - i. Is a prime?
True
Let j(v) = -210*v**3 + 2*v**2 + 2*v + 1. Is j(