ber?
True
Let y(h) = -7*h + 8. Let i(m) = -m**3 + 5*m**2 - m - 6. Let q be i(5). Let f be y(q). Is -4*3/(-12)*f prime?
False
Suppose o - 2 = r + 3, 0 = -5*o - 2*r - 10. Suppose o = -4*i + 83 + 41. Is i prime?
True
Suppose 8 = -2*s - 4*q, 0*q = -2*q - 4. Suppose -2*t = -v - 3*v + 380, -396 = -4*v - 2*t. Suppose 3*g - 2*g - v = s. Is g prime?
True
Is ((-20)/12)/(((-15)/(-3573))/(-5)) composite?
True
Let r = -3 + 6. Suppose 5*l = -5*j + 254 + 536, l + 462 = r*j. Is j prime?
False
Suppose 0 = -0*u - 5*u - 15. Let g be 9/3 - u - 0. Let k(x) = 2*x**2 + 5. Is k(g) prime?
False
Let k(r) = -4*r**2 + 1 + 0*r - 3*r**3 + 4*r - r - 4*r. Is k(-4) a composite number?
True
Let o(t) = 6*t - 7. Let w(f) = -18*f + 21. Let v(d) = -7*o(d) - 2*w(d). Is v(-5) a prime number?
True
Let c(m) = -m. Let d be c(-5). Suppose 2*h + 2*h + 5*p + 169 = 0, h + d*p = -61. Let k = 67 + h. Is k a prime number?
True
Let f be 4 - (2 - (3 + -2)). Let z = f + 4. Let n = 10 - z. Is n composite?
False
Let o be 2/(-6) + 296/24. Suppose -5*k + 2*k = -o. Is k a prime number?
False
Is ((-140)/(-42))/(2/201) a composite number?
True
Let n = -3 - -8. Suppose 5*l = n*g - 395, 0 = l - 3*l - 6. Suppose 0*m + 4*m = g. Is m a prime number?
True
Is (124/(-8)*2)/(-1) composite?
False
Is 0 + 1109/4 - 6/24 a composite number?
False
Let i(z) = -17*z**2 + 3*z + 3. Let u(p) = -p**2. Let n(q) = -i(q) + 6*u(q). Is n(4) a composite number?
True
Suppose -16*y + 265 = -11*y. Is y a composite number?
False
Let h(j) = -2 + 1 - 14*j + 2*j. Is h(-3) prime?
False
Let y(n) = 40*n**2 + n + 6. Let h(q) = -60*q**2 - 2*q - 9. Let f(s) = 5*h(s) + 8*y(s). Is f(2) a prime number?
True
Let i(a) = a + 2. Let b be i(-2). Let z be (2 + -2)/(b + -2). Is (49 + z)/(3 + -2) composite?
True
Let w(b) = -4*b - 14. Let y(i) = -11*i - 41. Let m(u) = 8*w(u) - 3*y(u). Suppose 0 = 6*s - 4*s - 16. Is m(s) a prime number?
True
Suppose g + r = -4*r + 138, -2*g - r = -240. Is g composite?
True
Suppose 5*r = 120 + 5. Is r a prime number?
False
Suppose -70 = c - 3*c. Let z = -8 + 6. Let i = c - z. Is i a prime number?
True
Let u = 1738 - 804. Suppose k + k = u. Is k a prime number?
True
Let u(h) = 4*h - 5. Let m be u(3). Let l = 70 + m. Is l prime?
False
Let b be 8/(-28) + 37/7. Suppose -130 = -b*v - 0*v. Is v prime?
False
Suppose 2*m + m = 0. Let d(y) = -y**2 + y + 127. Is d(m) prime?
True
Let j(h) = 86*h - 9. Let k(x) = -43*x + 5. Let p(c) = -2*j(c) - 5*k(c). Is p(6) prime?
True
Suppose -2*j + a - 15 = 3*j, 3*j - 3*a = -21. Is j*(2 - 151) + -3 composite?
True
Let l = 13 + -6. Let t = -4 + l. Suppose -2*y + t*r = -121, 3*y = -2*y - r + 260. Is y a prime number?
True
Suppose 0 = -g + o + 5, 3*o + 3 = g - 6. Suppose 3*p + 800 = -0*x + 5*x, g*x + 3*p = 456. Is x a composite number?
False
Suppose 0*y + 4*y - 3*b = -3, -5*y - 10 = -5*b. Suppose 0 = -5*w - 3*l + 1508, y*l + 235 + 364 = 2*w. Is w prime?
False
Suppose -4*l + 2*c = c - 60982, 3*l = -c + 45733. Is l a composite number?
True
Let t(k) = 8*k + 1. Let c be t(1). Let d(a) be the second derivative of a**4/12 - a**3/2 - a**2/2 - a. Is d(c) a composite number?
False
Let u(k) = k - 3*k - k + 13*k**2 + 1. Is u(-3) prime?
True
Let o be -15*(4/3)/(-4). Suppose -24 = o*v - 4. Let m(p) = 3*p**2 - 2*p - 3. Is m(v) composite?
False
Let z be 2 + (0 - 2) - -3. Let u(i) = 2*i**3 - 3*i + 2. Is u(z) composite?
False
Suppose -10 = -2*p + 3*p - 5*c, -2*c - 14 = -4*p. Suppose -110 = p*g - 10. Is 4/(-10) - 948/g a prime number?
True
Suppose 3*h - 3*l = 1929, 2*h - 5*l + 0*l = 1292. Is h composite?
False
Let u(d) = -d - 14. Let m be u(-6). Let j(x) = x**3 + 10*x**2 + 9*x - 10. Is j(m) prime?
False
Let o = -7 - -9. Is (-3 + 4/o)*-211 prime?
True
Suppose -i + 5*i - 8 = 0. Let g = i - -4. Suppose 0 = -5*f + b - 5*b + 493, 3*b - g = 0. Is f composite?
False
Let i = -750 - -1657. Is i a prime number?
True
Is 194 - (4 - 4)/1 a prime number?
False
Suppose -2*i + 215 = -79. Suppose 5*y = 123 + i. Let s = y + -19. Is s a prime number?
False
Let v be -2 - ((-2)/2 + 1). Let a be -1 + -2*1/v. Suppose -5*w - 82 = -2*k, k - 6*w + 3*w - 39 = a. Is k composite?
True
Let l be (0 - (-5)/(-2))*-2. Suppose l*b = -t + 610, -3*b + 0*t + 358 = -t. Suppose -2*n = 6, 0 = 2*z + 2*n - n - b. Is z prime?
False
Suppose -3*p = 2 + 13. Let y = p + 6. Is y + (4 - 3) + 17 a composite number?
False
Let j(v) be the second derivative of -v**5/20 + v**4/2 + 5*v**2/2 + 2*v. Let z be j(6). Suppose 3*f = -5*s + 77, -z*s = f - s - 35. Is f a composite number?
False
Is (-1)/(1/(-84)) - 1 a composite number?
False
Suppose 4*r = -16, 5*u - 20 = 5*r + 15. Suppose -5*i + 13 = -g, -2*i - 2*g = -u*i - 1. Suppose j - 2*x + 156 = 5*j, i*j - 3*x - 99 = 0. Is j composite?
False
Suppose 108 = -y + 497. Is y composite?
False
Suppose -3*c = 2*c + 10, 2 = 3*s + 2*c. Let x = 3 - s. Is 10 + -2 + 0 + x composite?
True
Let l(w) = w**2 + 10*w + 15. Let u be l(-10). Is (-5)/u + (-1220)/(-6) composite?
True
Let f = 5 + -3. Is 1/(-2)*(-324 + f) composite?
True
Let a(b) = 2*b**3 - b**2 - 7*b + 11. Let h be a(5). Suppose -f = 0, -2*m + 3*f = -2*f - 1148. Suppose -h = -5*o + m. Is o prime?
False
Let i = 3 + -3. Suppose i = 2*o + 3*o - 3*m - 28, o - 2*m = 7. Suppose -231 = -o*t - 56. Is t composite?
True
Is 583/9 - (-48)/216 prime?
False
Is (-2)/(-10) - 2352/(-15) a composite number?
False
Is -4 + (-2)/((-8)/500) a composite number?
True
Suppose 3 + 0 = o. Suppose 0 = o*i - 8*i. Suppose y - 91 = -i*y. Is y a composite number?
True
Suppose 0 = -5*r + 10. Suppose q + 2*n - 2 = -1, q + n = 1. Is (84 - r) + -4 + q prime?
True
Suppose -2*k - k + 3 = 0. Let z = k + -1. Suppose z = -2*g + g + 19. Is g a prime number?
True
Is 27/(-18)*2962/(-3) composite?
False
Suppose w + 0*w + 3*q = 208, 5*w + 5*q = 990. Let i = w - 5. Suppose -3*m = m - i. Is m a prime number?
True
Suppose -u - 3 = 1. Let z(g) = 16*g**2 + 3*g + 5. Is z(u) a composite number?
True
Let f(p) = 6*p**2 + p - 1. Let d be f(1). Suppose -d + 26 = 4*l. Suppose -10*h + 595 = -l*h. Is h a prime number?
False
Suppose 0 = 4*k + 2*a - 0*a - 4, k + 5*a + 17 = 0. Suppose -4*w + 2*u + k*u + 381 = 0, 3*u = 3*w - 282. Is w a prime number?
True
Let y = -493 + 986. Is y a prime number?
False
Let r(l) = 125*l - 2. Is r(1) prime?
False
Let b = 119 - -72. Is b prime?
True
Let y = 5 - 2. Suppose 5*f = -4*h + 10, 4*h - 2*f - 18 = -y*f. Suppose -171 = -h*z - 4*j, -3*z + 8*z - j = 176. Is z a composite number?
True
Let s be (-2 - -1) + -1 - -79. Let t = -52 + s. Is t composite?
True
Suppose -4*m + 32 = 4*a, 2*m + 18 = 5*a + 6. Is 381/2*m/6 prime?
True
Let w be ((-45)/(-10))/(3/4). Suppose -2*a - 16 = -4*a + 3*b, 0 = -a + b + w. Is a/(((-12)/237)/(-2)) prime?
True
Let j be (-1 - -4)/(1/(-1)). Let c = j - -9. Is c prime?
False
Let y(h) = 5*h**3 + 3*h**2 - 6*h + 3. Is y(4) prime?
True
Suppose -5*z = -d - 1, -4 = z - 4*z + 4*d. Suppose z = 4*y - 3*y - 143. Is y a prime number?
False
Suppose -i = -2*f + 159, -i = -f + 15 + 65. Is f a prime number?
True
Suppose 2*d = -d + 972. Let s = -205 + d. Is s prime?
False
Let q = 172 + -53. Is q a composite number?
True
Let h(x) = 42*x - 7. Is h(7) composite?
True
Let d be 2/(-3) - 1/3. Let k(i) = 7*i**2 - i - 1. Let s be k(d). Is (-51)/(-7) - 2/s a prime number?
True
Suppose 0 = -h + l + 7, -3*h - 2*l + 6 + 5 = 0. Let n = -1 + h. Suppose n*k = 5*k - 46. Is k a prime number?
False
Suppose -5*q + 3 = -22. Suppose 0 = q*h - 76 - 34. Is h a composite number?
True
Suppose 5*r - 20 = -5*s, -5*s + r - 3*r = -8. Suppose -5*c - 64 + 229 = s. Is c prime?
False
Let y(o) = -o**3 - o**2 + 3*o - 2. Let b be y(2). Let v = b + 4. Is ((-38)/v)/((-4)/(-8)) a composite number?
False
Let x(t) = 32*t**2 + t + 2. Is x(3) composite?
False
Let u = 1 - 1. Let t = 2 + u. Is t composite?
False
Let t be (-3 - -6 - -5)*68. Let n = t - 251. Is n a composite number?
False
Suppose -217 = -2*f + 1377. Is f prime?
True
Suppose 12 = 5*d - d. Let b be (10/(-6))/((-1)/d). Suppose -b*j + 3*j + 167 = 3*u, -u + 5*j = -33. Is u a prime number?
True
Suppose 0 = -4*f - 4*m + 944, -3*m + 0*m + 1186 = 5*f. Is f a prime number?
True
Suppose -5*l - 203 + 68 = 5*u, -4*l + 24 = -2*u. Let m = u + 149. Is m a prime number?
True
Let j be (42/49)/((-1)/(-7)). Let o = -8 + j. Is 1 - (-166 + 4/o) a prime number?
False
Suppose 2*f - 3*x = -f + 318, 5*x - 310