. Is i composite?
False
Let x(l) = -9*l**2 - l - 2. Let u(c) = -8*c**2 - c - 2. Let k(j) = -3*u(j) + 2*x(j). Is k(-3) a prime number?
True
Suppose 4*k - 2 = i, 2*i + 6 = 3*i + 4*k. Is 11/i*(3 + 3) composite?
True
Let g(n) be the first derivative of 11*n**5/40 + n**4/24 + n**3/3 + 3. Let p(u) be the third derivative of g(u). Is p(1) composite?
True
Let l = -232 - -101. Let k = 250 + l. Is k composite?
True
Let q = -657 - -1420. Is q prime?
False
Let i = 12 - 9. Is 9/3 + -3 + i composite?
False
Let v(n) = -n**3 + 4*n**2 - 2*n - 4. Let z be v(3). Let d = -10 - z. Let w(k) = k**3 + 10*k**2 + 8*k + 4. Is w(d) a composite number?
False
Let l = 97 + -40. Let n = l + -32. Is n a composite number?
True
Suppose 7*a - 2478 - 18277 = 0. Is a prime?
False
Suppose 0 = a + 2*q - 1125, 4*a + 3*q = 2*q + 4479. Is a a prime number?
False
Let t = 140 - 81. Is t prime?
True
Is 1 + 84 - (-17 + 15) a prime number?
False
Suppose 0 = -4*x - 0*i + 4*i + 772, 5*i - 945 = -5*x. Is x composite?
False
Suppose 4 + 17 = 2*h - 5*p, 26 = -3*h - 4*p. Let d be 6/h - -1 - -7. Suppose 2*r = 4*z + 418, 0 = d*r - 2*z - 357 - 696. Is r composite?
False
Let k be 2 - (2 - -200)/(-2). Suppose -3*u + 80 = -w, -2*u + 5*w + k = 28. Is u a prime number?
False
Let s(w) = w**2 + 3*w - 6. Let j be s(-5). Suppose -j*o + 2*z + 100 = 0, -z + 27 = o - 2*z. Is o a composite number?
False
Suppose -4 = -2*u, 3*s + 0*u + 5*u = 370. Let o = 6 + s. Let m = 253 - o. Is m prime?
True
Let o be (2/(-4) - 0)*0. Let d be (7/(-2))/(6/(-12)). Suppose o*a = -a + d. Is a composite?
False
Suppose q - 156 = -q. Suppose -5*p = -367 - q. Is p a composite number?
False
Suppose 5*s - 11 + 1 = 0. Suppose s*c + 70 = 3*c. Suppose -c = -9*d + 4*d. Is d a prime number?
False
Let i(n) = n**3 - 7*n**2 + 6*n - 1. Let b be i(6). Is (-2)/(b - -3) + 294 a composite number?
False
Suppose -i + b + 90 = 0, i = -i - 2*b + 160. Is i prime?
False
Suppose 0 = 2*t + g + 2, 2*t - 5*g = -3*t - 35. Is 2*t/(12/(-14)) prime?
True
Let o = 2896 - -561. Is o a composite number?
False
Suppose i - 3*i = 0. Suppose i = 4*y + 5*q - 160 - 271, 548 = 5*y - 3*q. Is y prime?
True
Let q(w) = -97*w + 1. Let y(v) = -49*v + 1. Let s(x) = 3*q(x) - 5*y(x). Let o be s(-5). Is o/8*14/3 composite?
True
Suppose -b = 5*p - 41 - 30, b = 1. Let q = p - 4. Is q a composite number?
True
Let t = -16 + 32. Suppose -4*n - 11 = z - 0, 4*z = -2*n - t. Is ((-6)/(-9))/(n/(-30)) composite?
True
Let i be (-35)/(-21)*3*1. Suppose 1 = -i*v + 11. Suppose -v*n - 635 = -7*n. Is n a composite number?
False
Let z be (6/4)/(1/(-2)). Is (-118)/(-2) + 2 + z prime?
False
Let k = -5 + 4. Let x = k + 5. Suppose -4 = x*s, 0*u + 2*u = -3*s + 11. Is u composite?
False
Suppose 2*t + 378 = 18. Let v = t - -273. Is v a prime number?
False
Let i(k) = 2*k**2 - 4*k - 6. Let u be ((-1)/2)/(5/70). Let m be i(u). Suppose m + 166 = 2*p. Is p a prime number?
False
Suppose 7*f - 1218 + 175 = 0. Is f prime?
True
Suppose 0 = -3*a - 4 + 10. Let w be a/(-8) + (-4146)/24. Let m = 300 + w. Is m composite?
False
Let x = 11 + -9. Let d be x/(-7) + 64/28. Is 1 - (-24)/d*11 prime?
False
Suppose 0 = 5*k + 2*h + 633, -2*k = -3*k + 3*h - 113. Let f = 168 - k. Is f a composite number?
False
Suppose -5*r = -23 - 12. Suppose o = 72 + r. Is o composite?
False
Suppose -2*w - 12 = 2*w. Let q be 4/6*(w - -6). Suppose h + 49 = q*h. Is h a prime number?
False
Let x be (-4)/1*(-55)/4. Let u = x - 37. Let p = u + 15. Is p composite?
True
Let l = -665 + 1428. Is l a prime number?
False
Let a(w) = 13 + w**3 - 9*w**2 + w**3 - w**3 + 8*w + 0*w. Is a(9) a prime number?
False
Suppose 0 = 8*t - 11*t + 99. Is t a composite number?
True
Let y = -265 + 1274. Is y prime?
True
Suppose 0 = 5*m - 8*m + 33. Suppose 0 = -2*o - 1 + m, 0 = 3*t + 4*o - 593. Is t a composite number?
False
Let b(s) = s**3 + 4*s**2 - 4*s + 2. Let u be b(-5). Let f = 5 + u. Suppose -f*h = 2*h - 28. Is h a prime number?
True
Is 1560 + -13 - 4*1 a prime number?
True
Let t be (-1*14)/((-2)/(-23)). Let a be (-4)/(-18) + 12790/(-45) + 2. Let v = t - a. Is v a prime number?
False
Let x be 3 - (71/(-1) + 1). Let i = x + 90. Is i a prime number?
True
Suppose -4 + 2 = -2*z. Let o be (-6)/((-10)/4 + z). Suppose 19 = o*r - 41. Is r a composite number?
True
Suppose 20 = -3*a + 5*q, -2*q + 5*q + 75 = -4*a. Let k(v) = 2*v**2 + 4*v + 19. Is k(a) a composite number?
False
Suppose 2*t - 3544 = -1122. Is t prime?
False
Let i = -51 - -184. Is i a composite number?
True
Suppose 5*i - 444 - 671 = 0. Is i composite?
False
Let y = -477 + 668. Is y a prime number?
True
Let w be 184/(-44) - 6/(-33). Is 2 + (w - -3 - -162) prime?
True
Let k(r) be the first derivative of -r**4/4 - 2*r**3 - 3*r**2 - 4*r + 2. Let m be k(-4). Is (m/10)/((-2)/10) composite?
True
Let w(y) = y. Let d(v) = -v**2 - 2*v. Let a(r) = -2*d(r) - 3*w(r). Let c be 2/(-2 - 24/(-14)). Is a(c) a composite number?
True
Is (-10943)/(-11) + 42/231 prime?
False
Is (-16)/4 + 9 + 1072 a prime number?
False
Let o(j) = 13*j**2 + j - 3. Is o(-11) prime?
True
Let i(d) = -d**3 + 8*d**2 + 7*d + 1. Let j be i(8). Suppose -5*k - h - h + 269 = 0, -j = -k - 2*h. Is k composite?
False
Suppose 10197 - 3280 = 3*z - 2*d, -4*z - 5*d = -9238. Is z prime?
False
Let u(n) = -7616*n - 1. Is u(-1) a prime number?
False
Suppose 594 + 16 = -5*j. Let a = 325 + j. Is a a prime number?
False
Suppose 3*l + 0*l = 3*n + 240, -74 = -l - 5*n. Is l composite?
False
Let i = 140 - -16. Suppose 5*k - 59 - i = 0. Is k a prime number?
True
Let u(a) = -14*a + 7. Suppose -5*g = -0*g - 5. Let z be (1 - g)*1 + -6. Is u(z) a prime number?
False
Suppose 3*w - 553 = -t, -3*t + 4*t = -w + 545. Is t composite?
False
Let w(r) = 25*r + 5. Let c be w(4). Let k = -9 - -13. Suppose k*f - c = 51. Is f a composite number?
True
Let c = -5 + 7. Let m be 0/4 - (0 - c). Is (-318)/m*2/(-6) prime?
True
Let x(z) = -16*z**2 + 4*z - 8. Let o be x(-6). Let g be 2/10 - o/10. Suppose g = 2*n - 1. Is n prime?
True
Let a(z) = 11*z**2 - 9*z - 9. Is a(7) prime?
True
Let l(y) = 3*y - y - 3*y**3 - 5*y**2 + 2*y**3 - 5. Let z be l(-5). Let q = 25 + z. Is q composite?
True
Suppose 4*a + 2*o = 2*a - 10, -o - 9 = 2*a. Let z(n) = -n - 1. Let v be z(a). Let q(r) = -r**3 + 3*r**2 + 4*r - 1. Is q(v) composite?
False
Suppose -573 = -3*w - 0*w. Is w composite?
False
Let q = -2 - -3. Let y = q - -4. Suppose 0 = -y*k + 400 + 35. Is k a composite number?
True
Let z(f) = -125*f + 3. Is z(-2) prime?
False
Let u = 7 - 2. Suppose 0 = 3*y - u*x - 103, -x - x + 151 = 5*y. Is y composite?
False
Let z(f) = f**3 - 3*f + 2. Let g be z(2). Suppose -g*n + 191 = 4*u - 153, -n + 82 = 5*u. Is n prime?
False
Suppose -4*d - 11 = 9. Let a(q) = 2*q**2 + 5*q - 6. Is a(d) prime?
True
Suppose 2*m - 16 = -4*k, -10 = 3*k - 8*k. Suppose 16 = -m*r, -5*w + 26 + 63 = 4*r. Is w a composite number?
True
Let q = 2446 + -127. Is q prime?
False
Let c(p) be the second derivative of p**6/24 - p**5/60 - p**4/24 + p**3/6 + p**2/2 - p. Let y(j) be the first derivative of c(j). Is y(2) composite?
True
Let x(r) = r**2 - 2*r. Let c be x(-2). Let p = 15 - c. Is p a prime number?
True
Is (-5)/(-15)*(1600 - 1) prime?
False
Let c = 16 - 36. Let z = 43 + c. Is z prime?
True
Let m be 114 - (-2 - (3 - 3)). Let p = m + -3. Is p a prime number?
True
Let j(i) = -i - 1. Let z be 30/5*(-1)/(-2). Let k be j(z). Let n(c) = -2*c**3 + c + 5. Is n(k) a composite number?
True
Suppose -3*u - u = 2*a + 216, -5*a - u = 495. Let p = 52 + a. Let d = -7 - p. Is d a prime number?
False
Suppose -8 = 3*x - 5*x. Suppose 18 = k - 5*v, x + 6 = k - 3*v. Is (k - -55)*1 - 0 a prime number?
True
Suppose 4*q = 0, -4*k = q + 13 + 31. Suppose -g - g = -36. Let a = k + g. Is a a composite number?
False
Let o = -7 + 5. Let q be 1/(o/(-8)) - 0. Suppose -q*m = -m - 231. Is m a prime number?
False
Let v(z) = 1269*z**2 - 2*z - 1. Let s be v(-1). Suppose -3*f + s = -f. Suppose -8*b = -3*b - f. Is b prime?
True
Suppose 2*r + 162 = -r. Let o = -13 - -90. Let a = o + r. Is a composite?
False
Suppose -2*h - 4*n + 1214 = -0*n, 0 = -3*h - 5*n + 1824. Is h prime?
True
Suppose 4*p = -5*l, p = -4*p + l. Suppose -3*b + 6*b - 2*g - 28 = p, 3*g = -4*b + 43. Is b composite?
True
Let h(q) = -278*q + 4. Let s be h(-2). Suppose -t = c - 186, 0*c = -3*t - 5*c + s. Is t prime?
False
Suppose 4*w - 1236 = -4*t, t 