e number?
True
Suppose 4*r = -0*r + 1492. Is r composite?
False
Suppose 4*o - 351 = 653. Is o a composite number?
False
Is 2/(-13) - 42492/(-52) prime?
False
Let z(q) = -q**2 - 2*q. Let d be z(-2). Suppose d = 5*w - 0*w + 255. Let b = -32 - w. Is b prime?
True
Let r(u) = -21*u - 2. Let t be r(-4). Suppose 0 = 4*f + 2*y - t, 17 = f + 3*y - 11. Is f prime?
True
Let l(i) = 23 - 18 + 5*i - 2*i. Let q(y) = -y + 1. Let w be q(-6). Is l(w) a composite number?
True
Let c(u) = 19*u**2 + 3*u - 7. Is c(-3) a prime number?
False
Let w = 7 - 2. Suppose 2*l - 4*z = 1782, w*z + 134 = 2*l - 1650. Is l a composite number?
False
Is (-3070)/(-15)*6/4 a prime number?
True
Let i(n) = -12*n + 5. Let l be 6*(-2)/(-12)*3. Suppose -3 = 3*c - l*w, w = -2*c - 3*w - 32. Is i(c) composite?
True
Suppose 6*p - 3*p = -2*h + 1505, -746 = -h + 5*p. Is h a prime number?
True
Let f(m) = m**2 - m + 235. Is f(0) prime?
False
Suppose 0 = 15*o - 10*o - 70. Is o a prime number?
False
Suppose -o + 207 = -4*n, -1 = -4*n + 7. Is o a prime number?
False
Suppose 3*q - 598 = 5*u, -u + 744 = 4*q + 3*u. Is q prime?
True
Suppose -o = o - 2, 2*o - 2787 = -5*f. Is f a composite number?
False
Let m be (0 + 767)/(1/(-3)). Is m/(-12) - 6/8 prime?
True
Let i(k) = -11*k**3 + 5*k**2 + 9*k + 11. Is i(-6) prime?
False
Let u = -18 - -17. Let o(y) = -y**2 - y + 1. Let h be o(-1). Is (-36 + u)/((-1)/h) composite?
False
Suppose 2*c = -a - 2, -8*a + c = -3*a - 1. Suppose 0 = -a*i - 5*i + 15, -178 = -5*u - i. Is u composite?
True
Let k = 132 - 78. Let r(c) = -c**3 + 4*c**2 + 6*c - 4. Let j be r(5). Is j + 1/1*k composite?
True
Let o(m) = 2*m**2 - 4*m + 3. Is o(4) a prime number?
True
Let o be 2/(3*(-3)/(-45)). Let r be (-2 + -1)/(10/o). Is (0 - (-93)/(-9))*r a prime number?
True
Let s = -25 + 92. Is s a composite number?
False
Let i(d) = -195*d**3 - d**2 - 7*d - 3. Is i(-2) composite?
False
Let q(x) = -x + 4. Let y be q(3). Let t be (22 - 2)/(1 + y). Is (-179)/5*t/(-2) a prime number?
True
Let f = 515 - -7544. Is f a prime number?
True
Is (191/(-3))/(2/(-6)) prime?
True
Suppose -3*k = d + 2*d - 438, -3*k - d + 444 = 0. Is k composite?
False
Let x(n) = 17*n**2 + 12*n - 14. Is x(9) a prime number?
True
Let x be 0/(-1) - 1*370. Is x/(-8) + (-5)/20 a composite number?
True
Suppose p - 2*d - 123 = 0, -p + 3*d - 239 = -3*p. Is p prime?
False
Let h(v) = 14 + 2 + v - 5 + v**2 + 10*v. Is h(-13) composite?
False
Suppose -3*j + 4*j = 10. Suppose 0 = j*c - 5*c - 2255. Is c composite?
True
Let r be ((-77)/(-3))/((-5)/(-45)). Let s = r + -82. Is s composite?
False
Let o(w) = -25*w + 32. Is o(-21) prime?
True
Let v be (-4)/(8/(-14)) - 1. Let c be 218*((-9)/v - -1). Is 4/6 + c/(-3) prime?
True
Let u(d) = 83*d**2 - 9. Is u(-4) a composite number?
False
Let n(z) = -26*z + 1. Is n(-2) composite?
False
Suppose 4*q - 9*q = -190. Is q composite?
True
Suppose -4*j + 14016 = -1124. Is j prime?
False
Let h = 8 - 6. Let l(b) = 3*b**3 + h*b - b + 5 + b**2 - 1. Is l(3) prime?
True
Let o be (-1)/(-1*(-1)/(-11)). Let y = o + -10. Let n(g) = 164*g**3 - 2*g**2 + g. Is n(y) a composite number?
False
Let t(q) = q - 1. Let x = 24 - 17. Is t(x) a prime number?
False
Let y(n) = -n**3 + 18*n**2 - 24*n + 5. Is y(16) prime?
False
Let q = -17 - -426. Is q a prime number?
True
Let r be 3*(2/(-6) + 1). Is r + -1 - -2 - -10 a composite number?
False
Let d be -1 - (-1)/((-1)/(-240)). Suppose 3*w = -4*u - 39 + d, -4*u = -20. Let q = -3 + w. Is q a composite number?
True
Let u(y) = -y**3 + 8*y**2 - 6*y - 3. Let z be u(7). Is (z/8)/(1/12) a prime number?
False
Let n(d) = 3*d - 6. Let o(j) = -3*j + 3. Let s be o(2). Let z be 8 - 2 - s/(-3). Is n(z) a prime number?
False
Let g = -20 - -15. Is g/(-10) - 109/(-2) a composite number?
True
Suppose 1 = w - 2. Suppose 0 = i - 2*n - 108, -w*i + 210 = -3*n - 111. Is i prime?
False
Let i be (-2)/(-10) - 34/(-5). Let h(m) = 12 - m + 16 - 2 - i. Is h(0) prime?
True
Suppose 1 = p, 3*p + 1380 = 4*l - p. Suppose -4*u + l = g, 2*u + 88 = 3*u + g. Is u a prime number?
False
Let v be 0 - (2 + -3 + 1). Suppose 4*w + 570 = -v*w + d, -3*d = -2*w - 280. Let x = w - -238. Is x a composite number?
True
Let a(x) = 11*x**2 + x - 2. Is a(1) composite?
True
Let h(b) = -18*b - 4. Let z(w) = -36*w - 7. Let o(k) = -7*h(k) + 3*z(k). Is o(5) prime?
True
Let y(o) = -2*o**2 + 3. Let m be y(-3). Let s = m + 25. Is 34/s + 6/(-15) a composite number?
False
Let a(z) = -10*z**2 - z. Let q be a(1). Let g(v) = v**2 + 9*v + 12. Is g(q) a composite number?
True
Suppose 0*w + 4*w - 124 = 0. Is w prime?
True
Suppose n - 10 = 6*n. Is (-85)/2*n + -3 composite?
True
Suppose 0 = -4*n - 2*l + 1798, 0 = 3*n + l + l - 1346. Suppose -5*z + n + 123 = 0. Is z composite?
True
Let t be 115/9 - (-4)/18. Let k(a) = a + 1 - a + t*a**2 - a. Is k(2) prime?
False
Suppose 6*v - 575 = v. Is v composite?
True
Suppose 0 = a - 6*a + 5. Let c be 4 + 0 - (a + 0). Suppose 5*r - 209 = -c*z, -31 - 106 = -3*r + 4*z. Is r prime?
True
Let k = 3 + -5. Suppose -m = 2 - 0. Is 0 + (31 - m) + k prime?
True
Suppose -3*z + 4694 + 12295 = 0. Is z prime?
False
Let z = 18 + -21. Let n be (2 + (-2 - -1))*4. Is (1/z)/(n/(-708)) composite?
False
Suppose -v + 59 = -50. Is v prime?
True
Suppose 0 = -18*l + 14*l + 15788. Is l a prime number?
True
Suppose 0*k - 1532 = -4*k. Suppose a + 66 - k = 0. Is a prime?
True
Let i(n) = 14*n**2 + n + 1. Let u be i(-1). Suppose u = z - 4. Let y = 3 + z. Is y prime?
False
Let k = -7 - 1. Let a be k/5 + (-4)/10. Let p = 13 + a. Is p composite?
False
Suppose -2*f + s = 3*f - 2435, -f = -s - 487. Is f a prime number?
True
Let l(b) = 41*b + 11. Is l(15) a prime number?
False
Let l = -692 - 500. Let g = -797 - l. Is g a composite number?
True
Let o = -43 + 120. Let j = 288 - o. Is j a prime number?
True
Let x(r) be the third derivative of r**5/60 - r**4/24 - r**3/2 - 2*r**2. Is x(7) a composite number?
True
Let i(u) be the second derivative of -u**5/20 - 3*u**4/4 + u**3/3 + 3*u**2 - u. Let a be i(-9). Is (-49)/(-2) - a/8 composite?
True
Let f = 178 + -65. Suppose -s + f + 156 = 0. Is s a composite number?
False
Let w(y) = 17*y + 8. Is w(9) prime?
False
Let h(i) = -44*i**2 - 8*i + 5. Let k(r) = 87*r**2 + 15*r - 9. Let v(y) = 11*h(y) + 6*k(y). Suppose -z + 20 - 21 = 0. Is v(z) composite?
False
Let h = -1332 + 2249. Is h a composite number?
True
Let a(m) be the first derivative of m**4/4 + 13*m**3/3 + m**2 - 7*m - 4. Is a(-6) a composite number?
False
Suppose 2*z = -x - 5 + 10, 3*x = -z. Suppose -472 - 272 = -2*m - 2*r, -4*m + z*r = -1516. Suppose -2*j + 3*j = -4*v + m, v + 3*j - 83 = 0. Is v prime?
False
Suppose -3*h + 4*o = -12, -2*o = -5*o. Is 2 - h - (-42)/2 prime?
True
Is 130/26*2/(20/1338) prime?
False
Let i(l) = -6*l - 9. Is i(-7) a prime number?
False
Suppose -7 = -s + 108. Is s composite?
True
Suppose 3*f = f + 158. Suppose 0*k = 2*k - 8. Suppose -4*u + f = r, k*u = -u + 3*r + 86. Is u composite?
False
Suppose -4*c = s - 175, -896 = -5*s - 2*c + 3*c. Is s composite?
False
Let n(h) = 7*h - 9. Let l be n(-7). Let d be (-10)/45 + l/(-18). Suppose 0 = d*i + i - 580. Is i prime?
False
Let b = 1 + -2. Let l be (93 - -1)*(b - -2). Suppose -l = 3*k - 265. Is k prime?
False
Suppose 0*y - y + 2 = 0. Let k = 6 + y. Let c = 45 + k. Is c a composite number?
False
Suppose -v = -0*m + 4*m - 174, 2*v - 5*m = 296. Is v a composite number?
True
Let g be 4 - 1/((-1)/(-2)). Suppose 0 = -4*y + 8, -g*y - 80 = -s + 79. Is s prime?
True
Let m(w) = -14*w - 7. Let r be 2/(2/24*2). Suppose h - 4*s = -h - 10, -2*s + r = -2*h. Is m(h) a composite number?
True
Suppose -5*n - b = -3448, 2771 = 4*n + 3*b + 2*b. Is n a composite number?
True
Let f(y) = -2*y + y**3 - 3 + 11*y**2 + 2*y - 2*y. Let a(l) = l**3 - l**2 + l - 11. Let p be a(0). Is f(p) a prime number?
True
Let w be 12/3*2/4. Suppose w*t = 4*t - 38. Is t a prime number?
True
Suppose 5*v - 272 = 328. Let i = 211 - v. Let p = 140 - i. Is p prime?
False
Let r = -832 + 1443. Is r a composite number?
True
Suppose 3*l - 58 = 2*z + 20, -3*l - 5*z + 78 = 0. Suppose 3*s = -6, -3*s - l + 95 = 3*c. Suppose -4*g + c = -r, 2*g = -4*r + 10 + 16. Is g a prime number?
True
Suppose z + 35 = 5*a + 6*z, -5*a - 3*z + 33 = 0. Suppose 18 - a = -4*d, -2*v + 4*d = -514. Is v composite?
False
Suppose 0 = 2*n - n - 2. Suppose -3*b = 3*o - 63, 145 = 3*b + 