11. Is c(8) prime?
True
Suppose 4*q - 4 = 16. Suppose u + 40 = 4*s + q*u, 3*u - 2 = -s. Is s a prime number?
False
Let w(j) = -34*j**3 + j**2 + j. Let r be w(-1). Suppose -r = -a + 15. Is a a composite number?
True
Let a(t) = -t**2 - 2*t - 110. Let r be a(0). Is (-2510)/r + 4/22 a prime number?
True
Suppose z + z = -2*q + 14, -5*z + 23 = 2*q. Suppose 2*j - q*j + 26 = -3*c, 0 = 5*j + 3*c - 107. Is j a composite number?
False
Let v(i) = i**2 + 3*i - 1. Let s be (-2)/3*(-63)/6. Is v(s) a composite number?
True
Suppose -3*r - o = -13 - 6, -5*r + 3*o = -27. Suppose 2*y - w = 180, 0 = -3*y + r*w - 2*w + 275. Is y a prime number?
True
Suppose 5*z = 2*z + 1641. Is z prime?
True
Suppose 0*f = -4*f. Let u = f - -2. Is 161 + (2 - (4 - u)) a composite number?
True
Let v = 2186 - 3204. Let z = v + 1427. Is z a prime number?
True
Let o = 457 - -350. Is o prime?
False
Let i(f) = 4*f**2 + 2*f - 3. Is i(-4) prime?
True
Suppose 0 = -2*h - 6 - 0. Is -43*(0 + h - 2) a composite number?
True
Suppose -2*j = -d - 67, d - 129 = -4*j + 2*d. Suppose 3*v - 5*f = j, 3*f + f + 16 = -2*v. Suppose -3*b + 139 = 4*g, 2*g + v*g = -5*b + 245. Is b a prime number?
True
Suppose 0 = 5*s - 34 - 61. Is s prime?
True
Let a(d) = 4 + d**2 + d - 2*d**2 - 2*d. Let r be a(0). Suppose 2*n = 4*h - 140, 0*n = r*h - 5*n - 152. Is h prime?
False
Let d(l) = -l**3 + l**2 + 3*l + 1. Let f(q) be the first derivative of -q**3/3 - q**2/2 - q - 2. Let c(y) = d(y) + 6*f(y). Is c(-6) a prime number?
False
Let c = 28 - -42. Let z = -111 + c. Let u = -26 - z. Is u prime?
False
Let p(h) = -61*h + 1. Let w(t) = 60*t - 1. Let j(x) = -2*p(x) - 3*w(x). Is j(-1) a composite number?
False
Suppose 2*g + 3*g - 85 = 0. Suppose 0 = j - 64 + g. Is j a prime number?
True
Suppose -3*r - 18 = -9. Is 18 + 1 + r + -1 a prime number?
False
Is 161/3 + (-4)/(-3) + -2 a composite number?
False
Let u(k) be the first derivative of k**5/10 - 5*k**4/12 - k**3/3 - 3*k**2/2 + 2*k - 2. Let d(s) be the first derivative of u(s). Is d(4) prime?
True
Suppose -c + 0 = -10. Suppose -2*j - c = 0, 4*f - 2*j = 2*j + 144. Is f prime?
True
Let a = 18 + 193. Is a prime?
True
Let h(q) = -2 + q**2 + 7 + 0 + 2 + 3*q. Is h(8) prime?
False
Suppose 2*p + 29 = 4*p + 5*m, 4*m = -5*p + 98. Suppose -4*z + 86 = 5*n, n + 2*z - p = -0*z. Is n a prime number?
False
Let z = 532 - 370. Suppose 3*l + z - 795 = 0. Suppose -q + 0*q - 52 = -k, -4*k + q = -l. Is k a prime number?
True
Let p = -664 + 1053. Suppose 1893 = 2*q - p. Is q a composite number?
True
Suppose 3*x + 1801 = 2*j, -2*x + 2162 + 1464 = 4*j. Is j prime?
False
Is ((-110)/15)/((-4)/102) composite?
True
Suppose -2*w + 1 = -3*s, -w + 2*s - 6 = -3*w. Is (1/1)/(w/506) prime?
False
Let x be ((-8)/(-6))/(4/6). Suppose -2*j = 4*n - 334, 3*j - x + 17 = 0. Is n composite?
True
Let d be (1 + 1)/(4/6). Suppose 2*o + d = 13. Suppose -4*y + 376 = 4*n, -2*y - 2*y + 465 = o*n. Is n prime?
True
Let i = 9 - 7. Suppose 3*m - 1005 = -4*t, -i*t = -5*t + 9. Is m composite?
False
Suppose -r + 2389 = 2*c - 1199, 3*c - 5360 = 4*r. Let u = c + -1233. Is u composite?
True
Let o = -200 - -297. Is o prime?
True
Let u(m) be the third derivative of -m**8/20160 + m**7/840 + m**6/120 - m**5/20 + 2*m**2. Let o(n) be the third derivative of u(n). Is o(5) prime?
True
Let w be (-16 + 1)/(-1) - -1. Is w + 0 + (-2 - 0) a prime number?
False
Suppose 0*x + 212 = 4*x. Suppose -3*t + 52 = -x. Is t a composite number?
True
Let n(c) = -828*c - 17. Is n(-7) composite?
False
Suppose 2*w + 3*w = 5*g - 9150, 25 = 5*w. Is g a prime number?
False
Let k(h) = -205*h + 25. Is k(-6) prime?
False
Let i(k) = -3*k - 1. Let a be i(-3). Is (-1480)/(-14) - a/(-28) a prime number?
False
Let v(f) = -1. Let o(h) = 52*h + 3. Let x(n) = o(n) + 2*v(n). Is x(1) composite?
False
Let k = 62 + -121. Let v = k - -97. Is v a composite number?
True
Suppose 2*f = b - 7, 0 = f - b - 4 + 7. Is -122*((f - -7) + -4) composite?
True
Let b be -17 + 1*8/4. Is (-227)/(-2) + b/(-10) composite?
True
Suppose -c - 8 + 295 = 0. Is c a composite number?
True
Suppose -8 + 28 = -2*x. Suppose -3*j = -6*j + 63. Let f = x + j. Is f a composite number?
False
Let g(d) = d**3 + 11*d**2 + 6*d - 1. Is g(-8) composite?
True
Let x(a) = -a**3 + 10*a**2 - 8*a + 4. Suppose 3*c + 9 = 24. Is x(c) composite?
False
Is (884/(-8))/(2/(-4)) a prime number?
False
Suppose -5*t = -3*c - c - 25191, 4*c - 20160 = -4*t. Is t composite?
False
Let a(q) = -q**3 - 2*q**2 - q - 3. Let j be a(-4). Let x be -1 + (-6)/(-10) + 187/55. Suppose -33 - j = -x*n. Is n a prime number?
False
Suppose -264 = -2*x + 6*z - z, -4*x = -3*z - 514. Is x prime?
True
Let b(m) = -13*m**3 + 3*m**2 + 3*m + 1. Is b(-2) composite?
True
Suppose 0 = -3*v + 6544 + 923. Is v prime?
False
Suppose 2*y - 5 = 3. Suppose m + 1006 = y*d, -2*d - d = -3*m - 759. Is d a composite number?
False
Suppose 0*i + i = w + 397, -3*i - 5*w + 1191 = 0. Is i a prime number?
True
Let b(y) = -2*y - 1. Let h be b(-2). Suppose -h*f = -f - 66. Is f a prime number?
False
Suppose -1315 = 4*j - 9*j. Is j composite?
False
Let z(o) = 11*o**2 + 15*o + 5. Let v(b) = 5*b**2 + 8*b + 2. Let h(n) = -9*v(n) + 4*z(n). Let l(w) = w**2 + 9*w + 13. Let y be l(-5). Is h(y) a composite number?
False
Let n = -5 + 2. Let a = -13 - -7. Let i = n - a. Is i a prime number?
True
Suppose -8 = 2*x + 2*n - 6*n, 4 = 2*n. Suppose w = -x*w + 3. Is 110/w - (-1)/3 composite?
False
Let f be (-6)/21 - 36/21. Let g(i) = 8*i**2 + 2*i + 3. Is g(f) a composite number?
False
Suppose 4 = r, -3*r + 5763 = 5*i - r. Is i prime?
True
Suppose 2*z = -3*f + 13, 0 = -z - 2*f + 7. Suppose 25 = -z*l, -29 - 57 = -4*c + 2*l. Is c prime?
True
Suppose 2*z + 4*q = 58, 2*q = -z - 3*z + 86. Is z a prime number?
True
Let m(z) = -555*z**2 - 925*z - 925. Let g(y) = y**2 + y + 1. Let i(t) = -925*g(t) - m(t). Let a be i(-1). Is (2/4)/((-5)/a) prime?
True
Suppose 0 = -y - 2*i + 3*i + 102, -363 = -4*y - 5*i. Is y prime?
True
Let j(t) = 40*t**3 + t**2 - 2*t + 3. Is j(2) a prime number?
False
Let p(b) = -b + 8. Let t be (-44)/(-6) + (-6)/(-9). Let g be p(t). Suppose g = -y + 14 + 21. Is y a prime number?
False
Let y(o) = -o**2 - 8*o - 5. Let a be y(-7). Suppose -a*z + 0*z = 6. Is z/(30/44)*-5 prime?
False
Suppose 2 = -5*q - a - 8, -4*a - 22 = 2*q. Let u be 0/2*(-1)/q. Suppose 4*z + 5*f - 81 = -16, u = -2*z + f + 29. Is z composite?
True
Suppose 3*w + 2*w = 10. Suppose -3*o + 3 = -w*o. Suppose 0 = -o*k - 5*j + j + 21, 0 = 4*k - 2*j - 50. Is k composite?
False
Suppose -3*t = -d - 2014, -6*t - 4*d + 3351 = -t. Is t a composite number?
True
Suppose z - 20 = 13. Suppose 0 = x - z - 22. Is x a composite number?
True
Suppose -w - 6 = -20. Suppose -15*x = -w*x - 335. Is x a composite number?
True
Suppose -4*f = 2*g + 10, -3*g = g + 5*f + 8. Is g a prime number?
True
Let d be (6/9)/(2/36). Let i = d + -8. Suppose -i*t + 472 = -x, -10 = -2*x - 2. Is t prime?
False
Let u = 746 - -449. Is u a prime number?
False
Suppose 4*d + 1333 = 3*l, 2*l - 832 = 3*d + 56. Is ((-1)/3)/((-1)/l) composite?
False
Suppose 7*w + 2585 = 12*w. Is w prime?
False
Let m be (-1 - 58)/(7/(-7)). Suppose v - m = n + 2*n, -v = 2*n - 39. Is v a prime number?
True
Let g(o) = 2*o**3 + o**2 - 4*o - 10. Is g(7) prime?
False
Let z = -21 + 40. Suppose -4*y + 5*y - z = 0. Is y composite?
False
Suppose -n + 3*n - 118 = 0. Let w = 106 - n. Is w a composite number?
False
Let b = 450 + -199. Is b composite?
False
Let a = 18 - 8. Suppose 2*f + 13 = 3*v, -5*f + 3*v = -0*v + a. Is f + 149 - (-3 + 4) a composite number?
False
Let q = 199 - -52. Is q composite?
False
Let v be 1 + -3 + 66/(-3). Let m be (1 + -3)*-1 - 36. Let l = v - m. Is l prime?
False
Let z(p) = p**2 + p - 5. Is z(11) prime?
True
Suppose 5*j = -l - 5 - 3, -l + 28 = -4*j. Is (6/(-4))/(l/(-88)) a prime number?
True
Suppose 3*a = -2*h + 8248, 0 = -2*h + 4*a + 8712 - 450. Is h a composite number?
False
Let w = 24 + -17. Suppose -1180 = -w*p + 3*p. Is p prime?
False
Suppose -85 - 45 = -5*f - 2*b, 2*b - 74 = -3*f. Suppose 3*q = 119 + f. Suppose -3*g + q + 20 = 0. Is g a composite number?
False
Suppose -9 = -5*w + 6. Suppose w*m + 68 = t, 2*t = -t + m + 188. Is t a composite number?
True
Suppose 2*c - 5*m - 168 = 0, -2*c - c - 5*m + 227 = 0. Suppose 0 = -2*u + 2*y + 274, 403 = 5*u + y - 288. Let d = u - c. Is d a prime number?