e?
True
Suppose -8 = 3*c - 7*c. Suppose -5*x = -3*b + 206, b = -b - c*x + 164. Is b composite?
True
Suppose 0 = -66*t + 63*t + 5667. Is t a prime number?
True
Suppose 2*u = -2*v + 204, 3*u - 4*u = 4*v - 117. Suppose 3*c + u = 4*c. Is c a prime number?
True
Suppose 5*u = -2*s + 3*u + 6, 0 = -u + 3. Suppose s = -k - 2*q + 63, k - 54 = -5*q + 3. Is k prime?
True
Let z be 1 + -9 - (2 + 0). Let g = 16 + z. Is (-2)/(8/g)*-14 composite?
True
Is -13*4/(-12)*3 a composite number?
False
Suppose 0 = -5*j + 168 - 23. Let b = -18 + j. Is b prime?
True
Suppose -l = y - 151, -l - 65 = 2*y - 365. Is y a composite number?
False
Suppose -5*g + 646 = -89. Suppose -z = -0*z - g. Suppose 0 = 5*f - 298 - z. Is f a prime number?
True
Suppose 3*s - v - 5 = 18, -s - 5*v = 3. Suppose s*b - 4*b = 357. Is b a composite number?
True
Suppose 43*m = 42*m + 821. Is m prime?
True
Let u(x) = -x**3 - x**2 + 1. Let t be u(1). Let g be t*(-4)/(4/(-227)). Let i = 484 + g. Is i a prime number?
True
Let f(l) = 38*l**2 - 5*l + 8. Is f(7) a prime number?
False
Suppose -d + u + 1 = -1, -d + 4*u = -8. Suppose -2*o = -d*o - 14. Is o composite?
False
Suppose 4*w = -3*i + 5*w + 9, -i - w + 7 = 0. Let k = i + 5. Is k a prime number?
False
Let t(s) = -13*s**2 + s - 1. Let r be t(2). Suppose -7 = -0*m + 4*m + 3*b, 0 = -3*m + 2*b - 18. Let q = m - r. Is q prime?
True
Let i be -1 + 2 - (-2 - 0). Suppose -5*l - z = -887, l + 171 = 2*l - i*z. Is l composite?
True
Suppose 5*o = t + 5814, -7*o = -4*o - 3*t - 3486. Is o a composite number?
False
Suppose m - 6 - 1 = 0. Suppose -a + m = -64. Is a a prime number?
True
Suppose -39 = -2*t + 33. Suppose -5*a + p + 30 = 6*p, -5*a - 3*p + t = 0. Is (114/(-9))/((-6)/a) composite?
False
Let s(r) = 5*r - 1. Let q be s(-1). Let k be 273/q*(-1 - 1). Suppose 2*z - k = -t + 4*t, 0 = z - 4*t - 33. Is z prime?
True
Suppose 0 = -3*m - g + 130 + 1122, -2*g + 409 = m. Is m prime?
True
Is -2 + 15*49*(-4)/(-4) a composite number?
False
Let y(h) = h**2 + 20*h - 15. Let j be y(-12). Let f = 46 - j. Is f prime?
True
Let a(d) = d**2 - d**3 - 3*d**2 + 6*d - d**2 - 4. Let w be a(-5). Suppose -10 - w = -n. Is n prime?
False
Let z be (-14)/(-4) + 2/4. Let t = 8 - z. Let k(l) = 20*l - 1. Is k(t) composite?
False
Let b = 3 - -6. Let s be (9 + 1)*b/(-2). Is (-9)/s + 2648/10 a composite number?
True
Let u(r) = r**3 - 6*r**2 + 6*r - 2. Let s be u(5). Is 1/(-3) + 22/s composite?
False
Let k(m) be the second derivative of 23*m**4/12 - 2*m**3/3 + 3*m**2/2 + 2*m. Let p be k(2). Suppose 71 + p = 2*o. Is o a prime number?
True
Let o be 1/3 + 8/(-6). Is 3*-1*(o - 52) composite?
True
Suppose 3*t - 361 = 65. Suppose -t = -9*k + 7*k. Is k a prime number?
True
Suppose -4*l - 5*h = -10 - 158, -3*l + 127 = 4*h. Is l composite?
False
Suppose -1 = 5*w - 4*w. Let c be (-11145)/(-12) + 4/16. Is c/6 + w/(-6) prime?
False
Suppose 3*x - 138 = -15. Suppose -573 = -4*l - x. Is l a prime number?
False
Let x(z) = 5*z**2 - 6*z + 5. Is x(6) a prime number?
True
Is (-5868)/9*3/(-6) a prime number?
False
Let n be 1/(6/15)*2. Suppose 2*s = n*s - 339. Is s composite?
False
Let q = -356 - -1059. Is q a composite number?
True
Suppose 3*m - 3 = -3*l, 5*m + 40 = -l + 5*l. Let b(p) be the first derivative of -5*p**2 - 5*p - 1. Is b(m) composite?
True
Suppose -2*p - 3*p = 0. Suppose p = -m + 2*m + 2. Is 107/5 + m/5 prime?
False
Let j = -4 - -3. Let r = 1 + j. Is 1*(77 + r/3) a prime number?
False
Let y(j) = j**2 - 13*j + 20. Is y(19) a prime number?
False
Let w = -1923 - -3737. Is w prime?
False
Suppose 0 = 5*q + 20 - 115. Is q prime?
True
Suppose 2732 = k + 3*k. Is k a prime number?
True
Suppose -5*z = p - 22, -4*z - 4*p + 5 = p. Suppose 8 = -4*l, z*t + 5*l = 3*t - 66. Let n = t + 65. Is n composite?
False
Let v = -64 - -384. Suppose 3*r - v = -r. Let s = r + -1. Is s composite?
False
Let w(g) be the third derivative of 0*g**3 - 1/24*g**4 + 0 + 0*g + 2*g**2 - 1/120*g**6 - 3/20*g**5. Is w(-9) a composite number?
True
Is 12/16 - (-1412)/16 a prime number?
True
Suppose -17*g = -13*g - 2532. Is g composite?
True
Suppose -3*p + 9 = -6. Let q be 13/4 + (-2)/8*-3. Suppose -3*h = -q*h - p, -2*h + 60 = 2*c. Is c a composite number?
True
Let t(x) = x + 1. Let o(q) = 0*q + 3*q + 90 + q**3 - 3*q. Let r(k) = o(k) - t(k). Is r(0) composite?
False
Suppose -3*c + 275 + 286 = 0. Is c prime?
False
Is ((-21290)/(-15))/(0 - 6/(-9)) composite?
False
Let r(d) = 5*d. Let v(t) = 11*t. Let m(a) = 9*r(a) - 4*v(a). Let k be m(5). Suppose 3*s = k*i + 29, 2*s - 27 = i - 3. Is s composite?
False
Let k = -4 - -244. Let t(o) = -16*o - 11. Let y be t(-8). Suppose -3*d + y = p - d, 2*p - 2*d - k = 0. Is p composite?
True
Suppose -5*q = 2*x - 13, -3*x - 2*q - 4 - 4 = 0. Let d = x + 10. Let s(y) = 2*y**2 - 4*y + 5. Is s(d) prime?
False
Suppose l - 3 = 2. Suppose 3*r + 38 = 4*k - 275, -2*k - 513 = l*r. Let z = r + 182. Is z composite?
False
Let q = -8 - -2. Is 783/6 - 3/q prime?
True
Suppose 4*m - 1344 = -2*x, -3*x + 2*x + 1007 = 3*m. Is m composite?
True
Suppose 10 = 3*t + 2*t. Is -44*t/(-1*4) prime?
False
Let r(i) = 21*i + 8. Let o(j) be the second derivative of -j**3/6 - j**2/2 + j. Let m(u) = -5*o(u) - r(u). Is m(-5) prime?
False
Let r(w) = 5*w - 4*w**3 - 1 + 3 + 2*w**2 - 6*w. Is r(-3) a composite number?
False
Let r(s) = -8*s - 3. Suppose -2*z = 10, 2*z = -6*d + 2*d + 6. Let i(v) = 23*v + 9. Let k(n) = d*i(n) + 11*r(n). Is k(5) prime?
True
Let y be 18/(-8)*(-8)/(-3). Let t(z) = 81*z + 6. Let h be t(y). Is h/(-9) - (-2)/(-6) prime?
True
Suppose -1314 = -5*i + 1141. Is i a composite number?
False
Suppose -2101 = -5*n + 564. Is n a composite number?
True
Suppose 3*k = -4*v + 46, k - 4*v + 2*v = 12. Let g = k + 56. Suppose z + g = 3*z. Is z a composite number?
True
Suppose h - 4 = 0, 2*g - h = -2*g + 4. Let o be 11 + -2 + g/2. Is 194/10 - 4/o prime?
True
Let y = -4 + 8. Suppose 0*g = -y*i - 3*g + 751, -5*i = -4*g - 931. Is i composite?
True
Suppose -1262 = 3*r + 3475. Let k = -1060 - r. Is k a prime number?
False
Suppose -5*p + 3*j + j + 235 = 0, 5*p - 235 = -j. Is p a prime number?
True
Suppose 16 = 4*b - 0*b. Suppose b*f - 3*k - 854 - 71 = 0, -1160 = -5*f + 3*k. Is f prime?
False
Let b be -3*2/(-4 + 2). Is (-1)/3 + 670/b a prime number?
True
Let y be (-14)/6*-1*6. Is 136/y + (-4)/(-14) prime?
False
Suppose -2*l = -0*l + m - 1636, 4108 = 5*l - 2*m. Suppose -3*g = -2*k + 400, -4*k - g + l = 3*g. Is k a composite number?
True
Suppose -5*m + 16 = -4. Is ((-6)/m)/(15/(-650)) prime?
False
Let q = -38 + 83. Let v = q - 32. Is v prime?
True
Let g = -4 + 7. Suppose -4*y + t + 1103 = -2*t, -2*y - g*t = -565. Suppose -4*b + y = 10. Is b composite?
False
Let p(q) = 7*q**2 + 20*q - 6. Is p(17) prime?
True
Suppose 6*h - 4*h - 10 = 0. Suppose -c = -5*c + 16. Suppose 2*g + 2*f = 51 + 17, -137 = -c*g - h*f. Is g prime?
False
Let u(h) = -4*h**2 - 4. Let m be u(3). Let r = 3 - m. Is r a prime number?
True
Let o = 32 + -29. Suppose 0 = -u - 3*a + 61, -96 = 3*u - 4*a - 253. Suppose 5*z - 159 = -d, u = 2*z - o*d + 5. Is z composite?
False
Let q = 2647 - -1590. Is q prime?
False
Let l be (52/(-7))/(6/(-21)). Suppose 71 = 5*s - 4*d, -5*d = -s + l + 5. Is s composite?
False
Is 35895/75 - (-2)/5 a composite number?
False
Suppose 5*t - 6 - 4 = 0. Suppose 3*y + t*y - 1295 = 0. Is y a composite number?
True
Let s be ((-24)/(-9))/(6/9). Let o(u) = -u**3 - u**2 + u. Let j be o(0). Suppose 3*w - s*d = 5, -4*w + j*w + 32 = d. Is w composite?
False
Suppose 4 + 3 = m. Let f(v) = -v**3 + 2*v**2 + 8*v - 7. Let y be f(m). Let b = -117 - y. Is b a composite number?
False
Is 6 - 1 - 2*(-3)/6 a prime number?
False
Let u = 1 - -4. Suppose 0 = -u*y + 3 + 172. Is y prime?
False
Suppose 368 = -5*k + 2523. Is k composite?
False
Let s(j) be the third derivative of j**4/6 + j**3/2 - 8*j**2. Is s(5) a prime number?
True
Let n = 238 + 81. Is n a composite number?
True
Is (0 - 2) + 907 - (-4 + 2) prime?
True
Let m be ((-12)/(-8))/((-6)/8). Let z be (11/m)/((-1)/(-2)). Let k = z - -30. Is k prime?
True
Let t(z) = z - 1. Let w be t(3). Suppose 0*s - 2*s = -w*i + 22, 2*i = 10. Let v(o) = -o + 1. Is v(s) composite?
False
Let x = 95 + -44. Is x a prime number?
False
Let r be (3 + -2 - 1)/2. Suppose m - 2*m + 19 = r. Is m a prime number?
True
Let z(i) = i**3 - 2*i**2 - 4*i - 2. Suppose 10*j = 5*j + 20.