ber?
False
Let w = -15 - -26. Let u = w - 4. Suppose 0 = 4*s - u + 3, 2*s + 40 = 3*m. Is m composite?
True
Let p be -6 - (-5 - (-3 + 1)). Let z(v) = -50*v - 1. Is z(p) a composite number?
False
Suppose -2*u = -4*u + 2. Let v be ((-1)/(-2))/(u/26). Let c = 35 - v. Is c a prime number?
False
Let q be (5/2)/((-2)/(-4)). Let z(j) = j**3 - 8*j + 4. Is z(q) prime?
True
Let i = 5 + -5. Let c(o) = -o**2 - 3*o + 75. Let n(t) = -4*t**2 - 10*t + 224. Let a(q) = 7*c(q) - 2*n(q). Is a(i) prime?
False
Let f be (-10)/45 - 7/9. Let s(p) = -445*p**3 + p**2 + p + 1. Is s(f) a composite number?
True
Let r(x) = 220*x**3 - x**2 + 4*x - 3. Let l be r(2). Suppose 3*d = -504 + l. Is d prime?
True
Suppose 4*z = 5*z - 3. Suppose -4*a - 36 = -4*i + 100, -a = -3*i + 110. Suppose -i = z*k - 113. Is k composite?
True
Let z be (3/2)/(2/4). Suppose z*l - 322 - 59 = 0. Is l a prime number?
True
Suppose 0 = 4*r + 475 - 1799. Is r prime?
True
Let g be (-100 + 0)/2 - 1. Let p = 391 + g. Suppose -2*v + p = 2*v. Is v prime?
False
Suppose 3*p - 149 = -5. Let j = p + -26. Is (-476)/(-44) + 4/j a composite number?
False
Let w(p) = 4*p + 5. Let z be w(8). Suppose -d = z - 260. Is d a prime number?
True
Let d(r) = -4*r + 5. Let f = 9 + -5. Suppose x + 17 = 4*o, f*x - 4*o - o = -35. Is d(x) a prime number?
False
Suppose -6*d + d = 2170. Let g = d - -639. Is g a prime number?
False
Suppose 0 = -3*f + 9. Suppose 4*y - 95 + f = 0. Is y prime?
True
Suppose 4*b + 112 = -4*q, 0 = 5*q - 4*b + 3*b + 140. Is (-316)/q - 2/7 composite?
False
Suppose 5*r + w + 0 = 16, 0 = -5*w - 20. Let v = 6 - r. Suppose h - 57 = -v*h. Is h prime?
True
Let j = 7 + -3. Let f = j + -4. Suppose -3*v + 3*k + 294 = f, 5*k + 110 = 2*v - v. Is v prime?
False
Let l(r) be the first derivative of -r**4/4 - 5*r**3/3 - 4*r**2 - 5*r + 1. Is l(-7) prime?
True
Suppose 4*h + 85 - 29 = 0. Suppose 0*r = 3*r - 309. Let u = h + r. Is u a composite number?
False
Let f(u) = 4*u**2 - 4*u + 9. Suppose 2*o = -5 + 17. Is f(o) a prime number?
False
Let x(u) = -u - 1. Let c be x(1). Let a be 1 - c - (1 - 0). Is (-165)/(-12) + a/8 prime?
False
Suppose -15 = -4*k - k. Suppose 33 = k*o - 66. Is o a prime number?
False
Suppose 4*r - 1 + 11 = 3*t, 4 = 2*r. Is ((-9)/t)/((-3)/66) prime?
False
Let a(d) = -79*d**3 - d**2 + 1. Is a(-1) composite?
False
Suppose -2*k - 6 = k. Is (762/(-9))/(k/3) a composite number?
False
Let w = -81 - -602. Is w a prime number?
True
Suppose 2*p - 2*y = 1288, 0 = 5*p + 5*y - y - 3265. Is p composite?
True
Is 4 - (-4 - -6)*998/(-4) composite?
False
Let i(t) be the first derivative of t**4/4 + 7*t**3/3 - 3*t**2/2 + 1. Is i(-7) a composite number?
True
Let w(g) = 36*g**2 - g - 3. Is w(-2) composite?
True
Suppose 0*x - 560 = -2*x + 2*l, 0 = -2*x - 5*l + 546. Let d be -3 + 2 + 6*1. Suppose -d*n = -3*h + x, -n = -3*h - 3*n + 271. Is h prime?
False
Suppose 3*d - 623 = -3*m - 2*m, -4*m = -2*d + 430. Let x = d - 140. Suppose -5*i + x = 3*g, -2*i = 3*i - g - 63. Is i prime?
True
Let n(u) = -u**2 + u + 58. Let o be n(0). Suppose -3*p + 322 = o. Let z = p - 5. Is z prime?
True
Suppose 22 = 4*c - 2. Suppose -4*x = -c - 6. Suppose 0 = 2*a + 3*f - 44 - 204, f - 379 = -x*a. Is a composite?
False
Suppose 4*m = q + 21, m + 2*q = -3*m + 6. Suppose m*t - 112 = t - w, 2*t + 4*w - 78 = 0. Is t a composite number?
False
Let z(c) = -c - 9. Let y be z(-7). Let a be -9*(-1 + 2 + -2). Is 31*y/((-6)/a) composite?
True
Let x(s) = s**2 - 66*s**3 - 5*s**2 + s + 5*s**2 - 2*s - 1. Is x(-2) a composite number?
True
Suppose 0 = -5*h + 7*h - 10. Suppose -u - 296 = -h*u. Is u a composite number?
True
Let r = 0 + 2. Suppose 0*d - 108 = -r*d. Suppose i - 5*x = 34 - 10, 3*i = -3*x + d. Is i composite?
False
Let c(q) = q**3 + 8*q**2 - 9*q + 6. Let z be c(-9). Let t be 2/(-4)*0/2. Suppose t = -b - b + z. Is b a composite number?
False
Let p(o) = -o**2 - 21*o - 11. Let u = -45 + 30. Is p(u) composite?
False
Suppose 2*q - 4*k - 244 = -k, -3*q + 349 = 4*k. Is q a composite number?
True
Suppose -2*a = 3*a - 9475. Is a a prime number?
False
Let f = 6 - 7. Let c be 1/(f/(-5 + 1)). Suppose -d - c*h = d - 50, 0 = -5*d + 3*h + 164. Is d prime?
True
Let w(l) = -9*l + 14. Is w(-8) a composite number?
True
Let o(u) = 5*u**2 + 6*u + 6. Let r be (-2 - 1) + -2 + 1. Let v be o(r). Is 1*(v/2)/1 a composite number?
False
Let f = -645 + 2363. Suppose -2*d + 4*m + f = 0, -2*d + d - m + 850 = 0. Is d composite?
False
Suppose 0*c + 6385 = 5*c. Is c a prime number?
True
Let w(h) = 21*h**2 + 5. Is w(3) composite?
True
Let w(u) = -3*u - 11. Let l be w(5). Let a = 155 + l. Is a composite?
True
Suppose -3*n = -4*n + 35. Is n composite?
True
Let i(p) = 5*p - 15. Let t = 13 + -3. Is i(t) composite?
True
Let f(v) = -v**3 - v + 3. Let m be f(0). Suppose 0 = -u + m*u - 1490. Suppose -z - u = -6*z. Is z composite?
False
Let r(a) = 4*a**2 + 8*a + 9. Is r(10) a composite number?
True
Let t = 2 - 0. Suppose t*b - 2 = 8. Suppose b*q - 86 = -3*z, -2*q + z = 2*q - 79. Is q prime?
True
Suppose 74 = 3*y - 5*j, 0 = -0*y - 2*y + 2*j + 44. Let d = y - 10. Is (-2)/d + (-85)/(-4) a composite number?
True
Let d = 84 + -10. Let f = 1 + 2. Suppose -2*z = -10, z = f*u + d - 318. Is u prime?
True
Let g = 428 + 207. Is g a prime number?
False
Let l(k) = 6*k**2 + 5*k + 6. Let c(h) = 9*h - 3*h + 5*h**2 - 2*h + 5. Let n(w) = 5*c(w) - 4*l(w). Is n(6) a composite number?
False
Suppose 3*a = -2*u - 0*u - 36, 2*u + 56 = -5*a. Is (-97)/(-5) - (-4)/a prime?
True
Let b = 82 + 1. Let w = -156 + b. Let s = -50 - w. Is s a composite number?
False
Let l(a) = -13*a - 4. Let w(f) = 12*f + 3. Let q = 2 + -7. Let g(j) = q*w(j) - 4*l(j). Is g(-14) prime?
True
Suppose 3*u = a + 241, -2*a = -u + 134 - 47. Is u prime?
True
Suppose 81 = 3*h - 24. Is h composite?
True
Let n = 1664 - 898. Suppose -6*u + 1364 = -n. Is u composite?
True
Suppose -2 = 4*a - 5*a. Is (-127)/(a/((-8)/4)) prime?
True
Let y be 14/(-3)*(-3 + 0). Suppose -y = -x + 5. Is x a prime number?
True
Let r = -184 + 414. Suppose -3*x = -3*t + 5*t - r, 2*x + t = 153. Let h = 107 - x. Is h prime?
True
Suppose 9*o + 6 = 6*o. Is 0/o - (-185 - 2) composite?
True
Let y(i) = -i**3 + 14*i**2 - 4*i - 14. Is y(12) composite?
True
Let i(n) = -n**2 - 3*n - 1. Let s be i(-1). Let b be (s + -3)*3/(-6). Is b/((-1 - 1)/(-158)) prime?
True
Suppose 3*c + 5*g = -24, 5*c + 20 = -5*g - 10. Let y be -1 + (9/3)/c. Is y + (21 - 0/(-1)) a composite number?
False
Suppose -22*d + 26*d - 3476 = 0. Is d composite?
True
Let c(o) = 8*o**3 + o**2 - 4*o + 4. Is c(5) prime?
True
Let x = 5 + -5. Suppose x*z = 2*z. Let v(i) = i + 95. Is v(z) a composite number?
True
Let i = 0 - 0. Let p(k) be the first derivative of -k**2/2 + 47*k - 3. Is p(i) prime?
True
Let q(k) = 9*k**2 + 4*k. Let n = -7 - -4. Is q(n) prime?
False
Let o = -3829 + 5606. Is o a prime number?
True
Let t(b) = -3*b**3 - b**2 + b**3 - 3*b**3 + 2*b**3. Let u be t(-1). Is 56/u - (-1 + 3) a prime number?
False
Suppose -3*i + 36 = t + 1, -3*i = -3*t - 15. Let j = i + -5. Suppose 0 = -4*b - 4*s + 364, 2*s = -j*b + 6*s + 491. Is b a composite number?
True
Let h = 313 - 216. Is h composite?
False
Let s(r) = 89*r. Is s(5) prime?
False
Let f(w) = 3*w**2 + 13*w - 49. Is f(24) prime?
False
Suppose 2*n - 2*k = 480, n - 210 = -4*k - k. Is n composite?
True
Suppose -5*b = -b - 332. Is b a composite number?
False
Let d be (-3)/(0 - (-2 + 3)). Suppose 4*i - 216 = -2*w - 0*w, d*i = 5*w + 149. Is i composite?
False
Let s(j) = -17*j + 4. Suppose 30 = 4*h - 3*p + p, 5*h - 3*p = 39. Let l be ((-2)/(-2) - h)*1. Is s(l) a prime number?
True
Let t(q) = 848*q**2 - 1. Let h be t(-1). Suppose -n - 6*n + h = 0. Is n a composite number?
True
Let w(x) be the first derivative of 35*x**2 - 9*x - 7. Is w(5) composite?
True
Suppose 5*v + 4*q - 37 = 0, -v + 4*q = 2*q + 1. Suppose -v*p + 978 = 233. Is p composite?
False
Is -4*129/(-24)*2 a prime number?
True
Let a = 3 - 3. Suppose -2*f - f - 288 = a. Let i = 17 - f. Is i a prime number?
True
Let t(v) be the first derivative of v**3/3 - 5*v**2/2 - 13*v + 3. Is t(10) prime?
True
Let s = 19 + -9. Is (-12)/3 - -23*s composite?
True
Let j = 115 + -80. Is j a prime number?
False
Let y be 1 - (-7)/(28/(-24)). Let h(n) = 5*n**2 + 2*n - 2. Is h(y) composite?
False
Let v(z) = 17*z**3 + 4*z**2 + 0*z**3 + 3 - 3*z**2 - 2*z. Is v(2) a prim