2 + 1. Let b be n(1). Suppose -7 - b = x. Let t = x - -32. Is t a composite number?
False
Let u = -48 + 89. Let y be u + (-1 - -1) + -2. Suppose 0*c + c - y = -3*l, c = l - 17. Is l composite?
True
Let u(s) be the second derivative of -37*s**3/6 - 5*s**2/2 + s. Is u(-4) prime?
False
Let t(f) = 2*f + 2. Let y be t(-5). Let h(i) = i + 8. Let n be h(y). Suppose 0 = -2*j - n*j + 62. Is j prime?
True
Suppose 0 = 10*x - 6*x - 9332. Is x composite?
False
Let u(x) = 4*x**2 - 10*x - 11. Is u(10) a prime number?
False
Suppose 3*j - 5*j = -340. Suppose -2*x + 7*x - j = 0. Is x a composite number?
True
Suppose -2*i = -223 - 451. Is i a composite number?
False
Is -7253*(-1 - (-2 + 2)) a prime number?
True
Suppose 0 = 3*s + 5*i + 7, s = -i - 6 + 3. Let r be (-2)/s + (-3)/(-6). Suppose 1 + r = -x, 33 = v - x. Is v prime?
True
Suppose 0*d + 2126 = 2*d - g, g - 1057 = -d. Is d a prime number?
True
Let g(k) = -31*k - 7. Is g(-6) composite?
False
Let j = 290 - -187. Suppose -4*t = -5*z + j, -3*t + 84 = -0*z + z. Suppose -m + 25 = -2*o + z, 0 = m - 2. Is o a prime number?
False
Suppose -5*b + 4 = -16. Suppose -3*h = -q - 0*h + 28, 0 = -q + b*h + 23. Is q a prime number?
True
Let j be (1 - 15/3) + -1. Let n be (0 + j - -2) + -1. Let z(d) = d**3 + 6*d**2 + 5*d + 2. Is z(n) prime?
False
Let a(w) = -57*w + 16. Is a(-10) a composite number?
True
Let n = 4 - 10. Let q be (-8)/6*n/4. Suppose -q*u + 51 = -43. Is u a composite number?
False
Suppose -3*t + 1685 = 5*i + 39, 2*i - 647 = -5*t. Is i a prime number?
True
Let l be (-3353)/(-91) + (-2)/(-13). Suppose -2*h = -2*f + 28 - 90, -h + l = f. Is h a composite number?
True
Suppose 4*w - 56 = 880. Let n = -85 + w. Is n prime?
True
Let m = 13 - 9. Is ((-8)/12)/(m/(-1338)) a prime number?
True
Let j = 4 - 0. Suppose l - t = 7 + 5, t - j = -l. Suppose -3*s = -l*s + 370. Is s a prime number?
False
Let z = -131 + 64. Let o = z - -216. Is o composite?
False
Let s(k) = -k**3 + 4*k**2 - 4*k + 4. Let d be s(3). Suppose -3*q - 2*g = -14, q = -2*g + 1 + d. Let r(i) = 10*i + 5. Is r(q) prime?
False
Let b(t) = 79*t + 21. Is b(2) a composite number?
False
Suppose -5*j = 20, -2*f - j - j + 4 = 0. Let y = -4 + f. Let q(p) = 3*p**3 + p**2 + p + 1. Is q(y) prime?
True
Let o = 989 - 684. Is o a prime number?
False
Let c(s) = 2235*s**3 + s - 1. Let x be c(1). Suppose -6*b = -891 - x. Is b a composite number?
False
Let m = -913 - -1400. Is m composite?
False
Is 3/4 - (1 - (-1278)/(-24)) a composite number?
False
Let z(m) = -29*m**3 - 2*m**2 + 2*m - 4. Let y be z(-3). Suppose 0 = 4*f - 5*p - y, 2*f + 8*p = 3*p + 355. Is f a prime number?
False
Let c(n) = 54*n - 5. Is c(3) a prime number?
True
Let f be (0/1)/(-5 + 8). Suppose -2*n + 0*a + 3*a = -149, f = 5*n - 2*a - 345. Is n composite?
False
Suppose 0*v + 364 = 4*v. Is v a composite number?
True
Is -4 - (3 + -3) - -78 a prime number?
False
Let z = 543 - 170. Is z a prime number?
True
Let h be 226/6*3 + 0. Suppose h = j - 28. Is j prime?
False
Let y = 28 + -20. Let g(v) = v**2 + 3*v + 9. Is g(y) prime?
True
Let d = 1175 - 366. Is d prime?
True
Let k be 0 + -4 + 16/2. Let o(y) = -2*y**2 - 9*y - 5. Let b(a) = -a**2 - a - 1. Let g(c) = -4*b(c) + o(c). Is g(k) a composite number?
False
Suppose -4*j + 41 = -151. Let g = -29 + j. Is g composite?
False
Suppose -2*t = -4*f - 28, -3*t = f - 3*f - 22. Is (2 + f)/3 + 70 a prime number?
False
Is (2 - 828/(-8))/(1/2) prime?
True
Let a = 213 - 146. Is a prime?
True
Let k = 9 + -7. Suppose -k*i + 7*i = 1555. Suppose -4*s + i - 123 = 0. Is s composite?
False
Let m(h) = 187*h**2 + 3*h + 1. Is m(-2) composite?
False
Let u = 5 + -4. Let d(k) = k**2 - 1. Let q(j) = -70*j**3 - j - 2. Let g(r) = u*q(r) - 2*d(r). Is g(-1) prime?
False
Let b = 0 - -2. Suppose b*c - 178 = 336. Is c a prime number?
True
Let g(h) = -3*h - 2. Let v(k) = 5*k + 5. Let d(b) = -9*g(b) - 4*v(b). Is d(7) a prime number?
True
Let a = 14 + -21. Let j = 10 + a. Suppose 0 = -j*q - 2*c + 43, -3*c + 5 + 7 = q. Is q prime?
False
Let c = 52 + -14. Is c a composite number?
True
Suppose -10 = -2*w - 0. Suppose -2*h + 84 = -h - 2*s, w*s = 0. Suppose 5*a - 84 = -3*b + 23, 0 = -4*a - 2*b + h. Is a a prime number?
True
Suppose 0 = 2*j - 59 + 1. Suppose -2*f = 3 - j. Is f composite?
False
Let g(f) = f**3 + 6*f**2 + 5*f + 1. Let m be g(-5). Let y = m + -1. Suppose y = -3*i - 5*q + 42, 47 = 5*i - 3*i - 3*q. Is i a prime number?
True
Suppose 1 = 3*k - 20. Suppose -5*n + 3 + k = 0. Suppose 5 = n*j - 9. Is j a composite number?
False
Let z(v) = -37*v**2 + 2*v - 3. Let d(y) = 12*y**2 - y + 1. Let w(n) = -8*d(n) - 3*z(n). Suppose -3 = 2*t + 1. Is w(t) a composite number?
True
Suppose -1342 = -6*m + 5936. Is m prime?
True
Let u(y) be the second derivative of -y**4/12 + y**3/3 + 419*y**2/2 - 8*y. Is u(0) prime?
True
Suppose 4*a + 2*q + 8 = 0, 6*a = a + q + 4. Suppose a = 2*p - 0*p + 2316. Is (-6)/(-21) - p/14 a prime number?
True
Suppose 0 = o - 4*o. Let w(p) = -p - p**2 + 76 + 0*p - 43. Is w(o) composite?
True
Let j(i) = -5*i - 10. Let a(s) = -4*s - 9. Let m(w) = -4*a(w) + 3*j(w). Let q be m(-6). Suppose q = -2*l + 6. Is l a composite number?
False
Let h = 8 + 16. Suppose 4*v = -5*n - 90, -2*v = n + 3*n + 66. Let b = n + h. Is b prime?
False
Let l(b) = -161*b + 7. Is l(-2) prime?
False
Let w(l) = 7*l - 19. Is w(14) prime?
True
Let l(t) = -t**3 + 14*t**2 + 18*t - 6. Is l(15) a composite number?
True
Let v = 12 - 6. Let t be (-6)/4 - (-393)/v. Suppose 0 = 2*u - t - 22. Is u a composite number?
False
Is -2*(-1)/8 + (-9810)/(-24) a composite number?
False
Suppose 0*n + 3*n = 873. Is n a composite number?
True
Is -3*(-1)/(9/633) prime?
True
Let y(h) = -20*h + 7. Let d(c) = -21*c + 8. Let i(v) = 4*d(v) - 5*y(v). Is i(5) a prime number?
False
Let z(y) = -y**2 - 3*y + 353. Is z(0) a prime number?
True
Let b(a) = a**3 + 6*a**2 - 5*a - 9. Let j(h) = -h**2 - 4*h - 1. Let v be j(-5). Is b(v) a prime number?
False
Let k(d) = d - 5*d**2 - 2 - 2 + d**3 + 3*d. Let j be k(4). Is (2/3)/(j/(-54)) composite?
True
Let w = 8 + -12. Let u(h) = -5*h - 3. Let m(b) = 9*b + 7. Let v(p) = 4*m(p) + 9*u(p). Is v(w) composite?
False
Let n = 130 - -188. Suppose -2*m - 4*d + n = 0, 0 = -6*m + 5*m + 2*d + 139. Is m prime?
True
Suppose 5*t - 7660 + 2249 = -x, 3*t + 2*x - 3241 = 0. Suppose h = -4*o - o + t, 5*o = 3*h + 1091. Is o prime?
False
Let c be ((-8)/2)/((-2)/3). Let a = c - -100. Let p = 197 - a. Is p composite?
True
Suppose c + 0*c - 5 = 0. Suppose -5 - 10 = -c*f. Is 1/3*f*53 prime?
True
Let i = 25 + -22. Let x = 12 + -7. Suppose x*d = 2*m + i*d - 18, 0 = -3*m - d + 7. Is m a composite number?
True
Let b = 440 - -5. Is b a composite number?
True
Is (-1 + (-830)/8)*-4 composite?
False
Suppose -s = -p + 764, 0 = p + 5*s + 154 - 936. Suppose 4*d - l = p, -3*l = -5*d - 8*l + 940. Is d prime?
True
Is 2/(-18) + 10580/45 composite?
True
Let i(n) = 212*n**3 + 4*n + 1. Is i(3) composite?
False
Suppose 3*t - m - 1639 = -17, m = -2*t + 1083. Is t prime?
True
Suppose 3*b = -3*o + 2688, b = 4*b + o - 2692. Suppose 2 = 2*i - 0*i, 3*i = -5*u + b. Is u prime?
True
Suppose -6*w + 2*w + 5*j = -19478, -w + 4871 = -2*j. Is w a prime number?
False
Let z = -11 - -2. Let i = 10 + z. Is (-95 + 10)*i/(-1) composite?
True
Let p(z) = -4*z**3 + z**2 + 2*z + 3. Let k be p(-3). Let f = -75 + k. Is f prime?
False
Let d be 96/(-42) - 2/(-7). Let c = 40 + d. Is c prime?
False
Suppose -6*t + 2*t = -20. Suppose -3*v + 124 + 93 = 5*u, -t*u - 153 = -2*v. Is v a composite number?
True
Let f(l) = -l**2 - 10*l + 9. Let g(n) = n**2 + 10*n - 9. Let h(a) = 5*f(a) + 6*g(a). Let u be h(-11). Suppose 24 = u*t + 2*t. Is t a prime number?
False
Suppose x = 97 + 522. Is x composite?
False
Let j = 649 + -270. Is j prime?
True
Let k(b) = 2*b**3 + b**2. Let z be (48/(-30))/(2/(-5)). Suppose 4*v = g + g + z, 4*g + 3 = 3*v. Is k(v) a prime number?
True
Let p(x) = 26*x**2 + 7*x + 1. Is p(-10) composite?
False
Let n(u) = 82*u**2 - 18*u**2 + 2*u + 64*u**2 + 1. Is n(-2) composite?
False
Let l = 3 + -3. Is l + -1 + 18 - 3 composite?
True
Let x = 1189 + -782. Is x a prime number?
False
Let g = -38 + -43. Let d = g + 48. Let v = 4 - d. Is v prime?
True
Suppose -3*i = -8*i + 3155. Is i a prime number?
True
Suppose -3*h = 4*k - 3231, 2*k + 1893 + 1338 = 3*h. Is h composite?
True
Let x(n) = 4*n**2 + 4*