(x) = 2*x**2 + 4*x + 1. Is i(m) prime?
True
Suppose -2*x = -5*v + 20, 3*v + 14 = -3*x - x. Suppose -5*q + 151 = -5*s + v*s, 0 = -5*s + 2*q - 220. Let y = 25 - s. Is y prime?
True
Suppose n - 25 = -1. Suppose g - n = 31. Is g prime?
False
Suppose -7*h + 2988 + 3025 = 0. Is h a prime number?
True
Let r(q) = 466*q**2 - 7*q + 8. Is r(3) a composite number?
True
Let z(v) = 1 + 1 - 141*v**3 + 7*v**2 + v + 4*v - 3*v. Let y(o) = 71*o**3 - 4*o**2 - o - 1. Let i(g) = 7*y(g) + 4*z(g). Is i(-1) a prime number?
True
Suppose -2*a - 4*c = -136, 3*a + 2*c + c = 195. Suppose -i - 4*i + 80 = 0. Let s = a - i. Is s a prime number?
False
Suppose -5*w - 2*v = -3505, 5*w - 4*v - 2059 = 1446. Is w a composite number?
False
Let x(t) = -t**3 + t**2 - 4*t + 4. Let g be x(3). Let v = 29 - g. Is v a composite number?
True
Suppose -595 = -5*i + 5*h, 2*i + 0*h - 268 = -4*h. Let t = i + -27. Suppose -29 - 5 = -c + 3*k, -3*c = -4*k - t. Is c prime?
True
Let c(l) = -l**3 + 9*l**2 - 9*l - 8. Suppose 6 = 3*g + 21, 4*n - 4*g = 48. Let d be c(n). Suppose 2*t = 91 + d. Is t prime?
True
Suppose 119 = 13*d - 12*d. Is d composite?
True
Let w be 21/(-6) - (-9)/6. Let t be 34/6 - w/(-3). Suppose 422 = 2*o + h, t*o - 5*h - 1079 = -24. Is o composite?
False
Let f = 0 + -4. Let u be (2/1)/(f/(-30)). Suppose -u = -m - 0*m. Is m a composite number?
True
Is 3 + 35 + (-4 - -3) a composite number?
False
Let b be (-3 + -1 + 3)*93. Let y = b - -146. Is y a prime number?
True
Suppose 4*p - 1776 = 8*p. Let n = p - -623. Is n a composite number?
False
Suppose -2*l - 8 = -6*l. Suppose -c = -l - 1. Suppose -b + 29 = h, -c*b - 2 = 4. Is h a prime number?
True
Suppose -w + 0 + 2 = 0. Suppose w*t = -t - 96. Let j = t - -53. Is j a prime number?
False
Let s(z) = -6*z**2 + 2. Let t(b) = b**2 - 1. Let r(v) = -s(v) - 3*t(v). Let f be r(3). Let k = -17 + f. Is k a composite number?
False
Suppose -5*i + 6 = -4*h + 47, 5*h + i = 44. Let m(r) = r**3 - 10*r**2 + 8*r + 11. Let k be m(h). Suppose -k*q = -4*q + 22. Is q prime?
True
Suppose -19 = -4*g - 3. Suppose g*d - 3*f - 15 = -0*f, -5*d = -5*f - 20. Suppose 0 = x + a - 61, -4*x = -d*a - 68 - 148. Is x a prime number?
False
Let t be (1 - -1)/(-1) + 4. Suppose t*w - 5*w = -633. Is w composite?
False
Suppose -4*r + 8*r = 4532. Suppose 0 = -4*s + 3*d + r, 598 - 39 = 2*s - 3*d. Is s composite?
True
Suppose 0 = -j - 2*k + 13, 5*j - 4*j - 3*k + 7 = 0. Suppose j = n - d, -n = 3*n - 3*d - 17. Suppose 0 = 5*y + v - 157, n*v - 3 - 1 = 0. Is y prime?
True
Let a(o) = -52*o**3 - o**2. Let b be a(-1). Let i(v) = 4*v**3 - 2*v. Let j be i(-2). Let s = j + b. Is s a prime number?
True
Let q(o) = o**3 + 5*o**2 - 7*o - 4. Let u(c) = -c**3 - 6. Let l be u(0). Let s be q(l). Suppose x - 42 = -s*x. Is x composite?
True
Suppose 3*a - 2 = -8. Let y = a - -1. Is (y - 1)*-67 - 3 prime?
True
Suppose -3*i + 1615 = 4*r - 2*r, 0 = -5*i - 4*r + 2695. Is i a composite number?
True
Let j(q) = 31*q - 1. Is j(12) prime?
False
Suppose 14 - 2 = 3*j. Let z = j + 2. Suppose -z*m = -2*m - 644. Is m a composite number?
True
Let n(d) = 4*d + 5. Suppose 2*g = 6*g - 28. Let w be 6/21 + 54/g. Is n(w) a prime number?
True
Let d(c) = -c - 4. Let w be d(-5). Suppose -w = 4*g - 9. Suppose -2*x - 78 = -6*x - 5*n, -g*x - 5*n + 34 = 0. Is x composite?
True
Let a = -14 + 20. Let o be (3/a)/(1/(-12)). Let h = 13 + o. Is h a prime number?
True
Let i(a) = a**2 - a - 4. Let u be i(3). Suppose u*q - 12 = -32. Let s(l) = 3*l**2 + 9*l + 1. Is s(q) a composite number?
False
Let t = -10 + -1. Let n be 103/4 + 1/4. Let f = n + t. Is f composite?
True
Let b(q) = -q**3 + 11*q**2 - 10*q + 4. Let m be b(10). Suppose -4*u + m*r + 8 = 0, 3*u + 11 - 3 = -4*r. Is 80 + (u + -2)/2 a composite number?
False
Let o(g) = -g**3 + g**2 + g + 4. Let w be o(0). Suppose w*f = -k + 3*k + 1168, -3*f + k + 877 = 0. Is f composite?
False
Let i(l) = 6*l**2 + 3*l - 2. Is i(-9) composite?
False
Let w = -2 + 8. Let p = -2 + w. Suppose -p*c = 3*s + 3, 3*c - 1 = 5*s + 33. Is c a prime number?
True
Let v(w) = -w**2 - 4*w. Let l be v(-3). Suppose 0 = -l*c - m + 574, -c - 3*c - 4*m = -768. Is c composite?
False
Let x(i) = -6*i**3 - 12*i**2 + i + 9. Is x(-8) composite?
True
Let i(l) = -35*l**3 - 2*l**2 + 10*l**3 - l**2 + 1. Let v(h) = -24*h**3 - 2*h**2 + 1. Let b(p) = -2*i(p) + 3*v(p). Is b(-1) a prime number?
True
Suppose 16*p - 8*p = 1688. Is p composite?
False
Let y(m) = 22*m**2 + 3*m - 9. Is y(-4) a prime number?
True
Is 1560/11 + 5 + 265/(-55) a composite number?
True
Suppose 3*n + b - 2920 = 0, -4864 = 2*n - 7*n + b. Is n composite?
True
Suppose -3*b = 3*o - 42, -o - b + 14 = -6*b. Is o a prime number?
False
Let g = 36 + -21. Let x = 22 - g. Is x a prime number?
True
Let m(q) = 213*q. Let n be m(5). Is n/5*2/6 a composite number?
False
Let t(l) = l**3 - l**2 - l + 21. Suppose -8*b + 3*b + 3*u = -8, -4*b - 4*u = -32. Let s = 4 - b. Is t(s) a composite number?
True
Suppose -h = -o + 699, -2*o - h + 1398 = -0*h. Is o prime?
False
Let m = 738 - 151. Is m a composite number?
False
Suppose 0 = 5*k - z - 5305, 2*z - 2122 = -2*k + 5*z. Is k prime?
True
Let z = -617 - -1036. Is z a prime number?
True
Let q(g) = 16*g - 4. Let a be q(-4). Let s be a/(-6) - (-4)/(-12). Suppose -5*x + 41 = s. Is x a composite number?
True
Let u(n) be the first derivative of n**4/4 + 5*n**3/3 - n**2 - 7*n + 2. Is u(-5) a composite number?
False
Is (398 - (0 - 3))*1 a composite number?
False
Is 27*(-4)/(-6) - -3 a composite number?
True
Let n = 1 + 1. Suppose 2*a = 0, 6*c - n*c - 340 = 5*a. Is c prime?
False
Let z = -143 + 382. Suppose 3*w + 62 = z. Is w a composite number?
False
Let z(w) = 83*w**2 + w - 1. Is z(1) a prime number?
True
Let r(f) = 223*f + 8. Let z be r(5). Suppose 0 = -5*k - 153 + z. Is k a prime number?
False
Let b = -43 - -68. Suppose -3*k + b = 4*y, 37 = -y + 6*y - 2*k. Let v = 0 + y. Is v a composite number?
False
Suppose -5*r = 5*j + 18 + 57, 0 = -4*r + 3*j - 74. Suppose 5*k - 134 = 2*f + 42, 0 = k - 4*f - 28. Let y = k + r. Is y a composite number?
False
Suppose -o + 5*o = 0. Let t be (102/9)/((-4)/(-6)). Suppose d - 20 = -2*y, o*d - d - y + t = 0. Is d composite?
True
Is (-1 + 2 - 2) + 1658 a prime number?
True
Suppose 4*r + 127 = 5*v, 2*r - 2*v = v - 61. Let o be (-1)/(-3) - r/(-6). Is 18/2*(-14)/o composite?
True
Suppose -6*f - 4*g + 116 = -2*f, -119 = -3*f + 5*g. Is 753/f + 2/11 a prime number?
True
Let m(s) = -s + 4. Let c be m(3). Is (1/c - -46)/1 composite?
False
Let u(d) be the third derivative of -d**7/630 + d**6/144 - d**5/15 - d**2. Let m(n) be the third derivative of u(n). Is m(-6) prime?
True
Let k be -22*(28/8)/7. Let t(w) = -w + 22. Let c be t(0). Let f = k + c. Is f a prime number?
True
Suppose 1838 = 4*i - 854. Is i a prime number?
True
Let p = -435 - -782. Is p composite?
False
Let z(u) be the first derivative of u**3/3 + 3*u**2/2 - 5*u + 1. Let s be z(-5). Suppose -y - 2*y = 5*r - 55, -s*y = -2*r + 53. Is r composite?
True
Let n(s) = -78*s**3 + s**2 - 2*s - 2. Is n(-1) composite?
False
Suppose -l = b - 1, 5*b = -2*l + 4*l + 19. Let w be ((-1)/b)/(2/(-6)). Is (w/(2/(-12)))/(-1) a composite number?
True
Suppose 3*t + 4*b = 87, 6*t = t + 3*b + 116. Suppose 5*r + t = 0, 4*n + 5*r - 307 = -0*n. Is n composite?
False
Suppose -2*t + 19 = g, 2*g - 15 = -3*g. Suppose -4*q + 16 = -2*a, -3*q - 5*a = 24 - 10. Is t/(-16) - (-255)/q a composite number?
False
Let v(s) = 8*s**2 + s**2 - 4 + s**2 + 0*s**2 + 3*s. Is v(-3) prime?
False
Is 37956/28 - -5 - 3/(-7) prime?
True
Suppose 6 = -6*w + 4*w, -2*y + 7 = 3*w. Suppose -y + 0 = -2*o. Suppose -2*d + 3*g + 269 = 0, 433 + 55 = o*d + 4*g. Is d composite?
False
Let r(i) = -i**2 + 8*i + 13. Let b be r(9). Suppose -b*o = o - 265. Let l = o - 16. Is l a composite number?
False
Suppose 0*s = -y - 3*s + 641, 3*s = -4*y + 2582. Is y composite?
False
Suppose 2*y + 2*y = -3*g - 55, -4*g - y = 69. Let i = g + 27. Suppose -4*d - i = -5*d. Is d prime?
False
Suppose -l - y + 69 = -44, 0 = -5*y. Is l composite?
False
Let f = 7767 + -5278. Is f a composite number?
True
Let f(t) = -27*t - 2. Is f(-4) a prime number?
False
Let n = 604 + -425. Is n a composite number?
False
Let d = -7 - -12. Suppose -o + 0*o = 4, 0 = -d*f - 2*o + 87. Is f a prime number?
True
Let y(t) = t**3 + 6*t**2 - 2*t + 8. Let n(a) = -a**3 - a**2 - 1. Le