+ 2. Let i be f(4). Let y(h) = -h**3 + 7*h**2 - 5*h - 2. Let j be y(i). Suppose -j*a + 88 = -16. Is a a prime number?
False
Let n(h) = 36*h**2 - 6*h + 5. Is n(4) prime?
True
Is (-1)/((-28491)/7122 - -4) a composite number?
True
Suppose -4*l = -3*a + l - 259, 0 = 5*a + 5*l + 445. Let v = -186 - a. Let f = v + 155. Is f a composite number?
True
Is ((-2)/3)/(18/(-837)) composite?
False
Let v(d) = -10*d - 1. Let c(b) = 20*b + 2. Let k(p) = 6*c(p) + 13*v(p). Let j be k(1). Let i = 2 - j. Is i prime?
True
Let h(c) = c**2 - 6*c - 5. Let v be h(7). Let w be (3/v)/(1/118). Suppose 0 = 4*n - w - 19. Is n a composite number?
True
Suppose 2*c + 2 = 0, 0 = -4*l + 6*l + 5*c - 3117. Is l composite?
True
Suppose 2*g - 25 = -5*c + 3*g, 20 = 4*c - g. Suppose -9 = 4*u + 3*b, 29 = -4*u + 2*b - c. Let l = 25 + u. Is l a composite number?
False
Let p = 700 + -213. Is p a composite number?
False
Suppose 0*x - 5*x = -30. Suppose 0 = -x*m + m. Suppose -v = -m*v - 79. Is v a composite number?
False
Let g be 6*(0 - (-3)/6). Suppose -251 = -2*y + y - 3*o, 4*y - g*o = 1034. Is y a composite number?
False
Suppose -d = 4*d - 2395. Is d composite?
False
Is 15/(-10) + (2247/(-2))/(-7) a composite number?
True
Let c(h) = -229*h + 11. Is c(-2) composite?
True
Let s(w) = -1343*w**2 + 2*w - 1. Let m be s(1). Let y = 2047 + m. Suppose 5*r + 0*r - y = 0. Is r prime?
False
Suppose v + 4*o = o - 165, v - 5*o + 197 = 0. Suppose -3*u = 204 + 564. Let j = v - u. Is j composite?
False
Suppose 412 = 4*l + 3*h, -6*l + 3*l - 5*h = -298. Suppose x + l = 3*j, -4*j + 3*x = j - 170. Is j a prime number?
True
Let q(z) = -z**2 + 9*z - 2. Let m be q(9). Let x(p) = p**2 - 2*p - 3. Let s be x(m). Suppose 178 - 3 = s*k. Is k composite?
True
Is (-6 + 1922)*2/8 a composite number?
False
Let l = 1 - -1. Is 3 - ((1 - l) + -63) a prime number?
True
Let g = 14 - 12. Suppose 0*k + p - 231 = -2*k, 4*k - g*p - 442 = 0. Is k prime?
True
Let o be (6/(-3)*-5)/2. Suppose -2*t = -0*t - 3*h + 8, 5*h - 5 = -o*t. Is -1 - t/(2/46) a composite number?
True
Is ((-39)/(-6))/(4/136) a composite number?
True
Suppose -8 + 4 = -v. Is ((-46)/(-3))/(v/30) a composite number?
True
Suppose g + 5*l + 6 = 0, 7*l - 2*l + 51 = 4*g. Let k(x) be the second derivative of -x**5/20 + 5*x**4/6 - x**3/2 - x**2/2 - x. Is k(g) a composite number?
False
Suppose -7*d = -9209 - 6660. Is d composite?
False
Let d = 6 - 6. Suppose -4*x + 3*o = -1057, 5*o + d = 5. Is x prime?
False
Let o(u) = -u**3 - 5*u**2 + 7*u + 9. Let q = -15 - -8. Is o(q) a prime number?
False
Let h(q) = -q**3 - 11*q**2 + 22*q + 1. Is h(-16) a prime number?
True
Let y = 5 - -8. Let x = 10 + -6. Suppose -28 = 5*s - y, -x*h + 160 = -4*s. Is h a prime number?
True
Let w be ((-1)/1)/(4/4). Let v be (-1 + w + 5)*2. Suppose -5*q = -5*i - 65, i - 3 = -v. Is q a prime number?
False
Let v be 4 + -1 + -11 + 2. Is (-5 - v) + (-112)/(-1) prime?
True
Let o(d) = -98*d + 10. Let n be o(-3). Let t = n - 195. Is t composite?
False
Suppose -862 = -g + 537. Is g a composite number?
False
Let l(s) = -32*s - 3. Let k be l(9). Is -1*(-2)/((-6)/k) a prime number?
True
Suppose 0*o = -o - 2*r - 1, 3*r + 2 = -o. Let i(y) = 11*y**3 - y**2 + 2*y - 1. Is i(o) a composite number?
False
Suppose 10*t - 13*t + 3201 = 0. Is t composite?
True
Suppose 3 = -w + 2*w. Is (131/3)/(1/w) a composite number?
False
Suppose 53 - 249 = q. Let r = q + 364. Suppose -3*p - 3*c + r = -2*c, 3*c = -3*p + 174. Is p prime?
False
Let q = -6 - 4. Let p = -4 - q. Suppose -2*g - 348 = -p*g. Is g composite?
True
Let u(g) = 251*g**2 - 2*g + 2. Is u(1) a prime number?
True
Let y(p) = 2*p**2 - 3*p + 6. Let s be y(5). Suppose 0 = -5*t + 329 + s. Is t a prime number?
False
Let u = -4 + 1. Let c = u + 3. Suppose w - 3 = -c*w. Is w a prime number?
True
Suppose 3*r + 15 = 6*r. Suppose 2*y = -3*b + r*y + 252, -2*b = -5*y - 183. Suppose -4*m - b = -5*m. Is m a prime number?
True
Suppose -3*q + 871 + 788 = 0. Is q composite?
True
Let j be 7794/10 + (-4)/10. Suppose m - 2*n = -0*m + 151, 5*m + 2*n = j. Is m composite?
True
Suppose 4*n = -3*f + 6, 2*n + 0*n - 8 = f. Suppose d - 15 = -n*o, 3 = 2*d - 3*d. Is o a prime number?
False
Suppose -253 = -5*n + 657. Let g = 331 - n. Is g composite?
False
Suppose 59*u + 5055 = 62*u. Is u composite?
True
Suppose 2*a + 3*t = 18, -a + 5*t + 30 = -5. Let k be 36/10 - (-6)/a. Suppose k*u - 141 = u. Is u composite?
False
Let v = 280 + -29. Is v prime?
True
Suppose 2*o - 10 = -3*g + 25, 4*o - 65 = -g. Let z be (-2)/3 - o/(-6). Suppose z*q + 0*q - 42 = 0. Is q a prime number?
False
Let g be -4*(54/4)/(-3). Is (-27)/g*844/(-6) a prime number?
True
Let k = -13 + 14. Is 4/((-8)/(-194))*k composite?
False
Is (422*3/(-9))/((-8)/12) a composite number?
False
Let r(a) = 21*a**2 - 3*a + 2. Let c be r(-5). Let u be (1*c)/((-8)/(-4)). Suppose -41 = -t + 4*z, 6*t - t = -2*z + u. Is t composite?
False
Suppose -4*s - b - 2*b = -1043, -5*b + 1037 = 4*s. Is s composite?
False
Let b be (-46)/(-10) + 2/5. Suppose -i - b*d + 128 = 0, -2*i + 220 = -d - 25. Is i a prime number?
False
Let p(r) = -r**3 - 5*r**2 + 5*r - 6. Let q be p(-6). Suppose q = 4*k + 140. Is 10/k + (-611)/(-7) prime?
False
Let w = 26 - -32. Is w a prime number?
False
Let v = 5315 - 988. Is v prime?
True
Is 2 + 4479/11 - (-6)/(-33) a prime number?
True
Let w(q) = 50*q**2 + 2*q + 1. Suppose l = 4*l. Let j = l + -1. Is w(j) composite?
True
Let x(h) = h**2 + h + 3. Let n(m) = -m - 1. Let l(z) = 2*n(z) + x(z). Is l(10) prime?
False
Suppose -2*z = 5*j - 202, 0*j - 471 = -5*z - 4*j. Let f = -54 + z. Is f prime?
True
Let j(b) = 2*b**2 - 14*b - 5. Let z(l) = -2*l + 3. Suppose 3*d + 3 = -9. Let u be z(d). Is j(u) a prime number?
True
Suppose -3*j - 12 = -f + 5, -4*j = 3*f - 103. Suppose -z + 108 = f. Is z a prime number?
True
Suppose -l = 3*s - 11, -4*s + 5*l - 17 = -0*s. Let d be s/(-4) + (-11)/(-2). Suppose -3*f - d*r + r = -163, -f + 5*r + 67 = 0. Is f a composite number?
True
Let c be ((-3)/1)/((-9)/228). Let z = 411 + c. Is z prime?
True
Let w = 840 - 359. Is w composite?
True
Let l(d) = -82*d**3 - d**2 - 2*d - 1. Let i(v) = -v**2 + 8*v - 1. Let j be i(10). Let q be ((-7)/j)/(1/(-3)). Is l(q) a composite number?
True
Suppose 837 + 674 = -4*k - d, 2*k + 748 = -2*d. Let g = k + 574. Suppose -3*s = 0, 0 = -5*z - 0*s - 3*s + g. Is z a prime number?
False
Suppose -w - 2*x - 199 = 4*w, w - x = -44. Let l = -19 - w. Is l prime?
False
Let c(f) = 2*f**3 - 3*f**2 + f + 4. Let y be c(3). Suppose 0*b - 4*j - y = 3*b, 0 = -b + 2*j + 2. Is (63/b)/(1/(-2)) a prime number?
False
Suppose -4*k - 3025 = -3*l, 0 = 5*l - 2*k + 4*k - 5085. Suppose m = 4*t - l, -m + 3*m = 3*t - 765. Is t a composite number?
True
Suppose 7*b - 286 = 169. Is b composite?
True
Let h = -5 - -9. Suppose 0*o + 268 = h*o. Is o a prime number?
True
Let u = -22 + 15. Let v = 3 - u. Is v a prime number?
False
Let t = -3 - -3. Suppose -66 = -3*x + b + 182, -4*x + 2*b + 330 = t. Is x composite?
False
Let o(a) = 81*a**2 - 4*a + 1. Is o(2) prime?
True
Let n = -9 - -24. Suppose -3 = -2*f - n. Is ((-4)/f)/((-2)/(-33)) composite?
False
Let i(d) = -d**2 - 5*d + 3. Let h be i(-5). Suppose q + 11 = -4*o - 3, 3*o = h*q - 33. Let y(t) = 3*t + 5. Is y(q) a composite number?
False
Let x(j) = 22*j**3 - 5*j + 2. Let v be x(3). Let p = v + -390. Is p composite?
False
Let d be ((-7)/(-21))/((-2)/(-78)). Let m be 150/39 + 2/d. Suppose 240 = 4*x + 2*o, o - 212 = -m*x + 26. Is x a composite number?
False
Suppose 238 = -6*z + 8*z. Is z prime?
False
Suppose 17 = 4*h - 3*m, h - 3*m - 11 + 0 = 0. Let p be (-81)/2*(h - 0). Let i = 120 + p. Is i a prime number?
False
Is (6 - 109)/(2/(-22)) a prime number?
False
Let l = 15 - -41. Suppose 3*a - l = a. Let r = a + 9. Is r prime?
True
Suppose 3*a + 0*a = -1083. Let g = -246 - a. Is g a composite number?
True
Let v(t) be the second derivative of 5*t**4/4 + t**3/6 - 5*t. Is v(-2) a prime number?
False
Suppose 152 = 5*b - 293. Is b prime?
True
Suppose -s - 3*f = 3*s - 214, -3*s + 155 = 5*f. Is s prime?
False
Suppose 2*u = -0*u + p + 581, -u + 3*p + 278 = 0. Is u prime?
True
Suppose 0 = -s - 2 - 1. Let n(f) = -29*f + 4. Is n(s) composite?
True
Suppose -5*a - 138 = -m, a + a = -8. Is m a composite number?
True
Let k = 17 + -9. Let p be k/2 + (0 - 2). Suppose p*g + 4*t = 114, 3*g = t - 3*t + 167. Is g