uppose 4*u + 3*b = r, -4*b = 2*u - 510 - 1478. Suppose 5*k = k + u. Is k prime?
True
Suppose -b - 18 = 2*b. Let i be (-1)/(-1) - b/6. Is 1*(-2 + 31) + i prime?
True
Suppose -4 - 11 = -5*t. Suppose -3*v - 139 = -c + 16, -c - t*v + 143 = 0. Is c prime?
True
Suppose -3*n + 4*d + 41 + 12 = 0, 2*d - 12 = -2*n. Is n a prime number?
True
Suppose 7*v - 2*v = 0. Suppose -k = 2*k - 4*i - 217, 2*k - 3*i - 146 = v. Is k composite?
False
Suppose -3*c + 8 = -c. Suppose -2*d - 5*n = -302, d + c*n - 628 = -3*d. Is d a prime number?
False
Suppose -6 + 1 = 5*o - 5*h, -o + 11 = -5*h. Is (134/o)/((-2)/20) a prime number?
False
Let u(a) = a**2 - 2. Let y = -7 + 5. Let t be u(y). Suppose t*h = 4*v - 220, 2*h - 313 + 20 = -5*v. Is v a prime number?
False
Suppose 3*d + 4 + 8 = 0, 0 = 4*a - 2*d + 168. Let n = a - 7. Is n/(0 - 1) + 2 a prime number?
True
Suppose -5 = -2*u - a - 1, 1 = -5*u + 3*a. Let k be 4*(4 - (u - -1)). Let s = -4 + k. Is s composite?
True
Let i(k) = -23*k + 7. Is i(-8) a composite number?
False
Suppose 5016 = j - 5987. Is j composite?
False
Let f be (-40)/(-15)*9/6. Suppose g + f*j - 485 = 0, g - 6*g = 3*j - 2357. Is g composite?
True
Let v(a) = 3*a**2 + 10*a + 18. Is v(-5) composite?
False
Suppose -773 = -3*c + 598. Suppose 0 = -2*x + c - 131. Is x a prime number?
True
Let o be (3/6)/((-2)/8). Is 4 + o*909/(-6) a prime number?
True
Suppose -72 - 34 = -2*d. Is d prime?
True
Let m = -143 + 436. Is m a prime number?
True
Let k(q) = -5*q**3 - 9*q**2 - 5*q + 5. Is k(-6) a composite number?
True
Is -10*((-321)/(-6) + 0)/(-1) composite?
True
Let q = -587 - 67. Let o = q + 1157. Is o a composite number?
False
Let w = 2321 - 940. Is w prime?
True
Suppose -11774 = -9*k + 475. Is k composite?
False
Suppose -192 = 5*m - 3*y - 1504, 1319 = 5*m + 4*y. Is m prime?
True
Let f = 2 + 0. Suppose -3*i = -q - 371, -3*i = f*q - 157 - 208. Is i prime?
False
Let x(l) = 10*l + 2. Let b(q) = q**2 - 3*q - 2. Let w be b(4). Is x(w) prime?
False
Let p(h) = 749*h**2 + 3*h + 9. Is p(-2) composite?
False
Let k(f) = f**3 + 6*f**2 - 4*f + 10. Is k(-5) composite?
True
Suppose -2*y + 8119 = y - 4*w, -10818 = -4*y - 2*w. Is y composite?
True
Suppose v + 228 = 4*v. Suppose -m = -5*m + v. Suppose 3*o = -m + 61. Is o a prime number?
False
Let o be 1/(15/6 + -2). Suppose 21 = 2*u - u - 4*v, 0 = o*v. Is u prime?
False
Let u(f) = f - 5. Let b be u(10). Suppose 0*l + 2*y - 12 = -b*l, -l = -2*y - 12. Is l a prime number?
False
Suppose -4*u = -87 - 53. Let c be u + (1 - 3) + 2. Let t = c - 16. Is t composite?
False
Let y(o) = o**2 + 1. Let m(q) = -8*q**2 + 8*q + 1. Let a = -3 + 2. Let z(s) = a*m(s) - 6*y(s). Is z(-6) composite?
False
Let p(q) = -2*q + 5. Let m be p(4). Let o(l) = l**2 + 3*l + 4. Let u be o(m). Suppose 4*r + u*h = 72, 5*r - 3*h - 2 = 112. Is r prime?
False
Suppose 3*n + 4*x = 29, 0 = n + 2*x - 15 + 2. Is (-1366)/(-4) + n/(-6) a composite number?
True
Let c be 10/4 - 1/2. Suppose -3*x = c*x - 185. Is x prime?
True
Suppose 2*t + 3*t - 27535 = 0. Is t composite?
False
Let x(f) = 2*f**2. Let t(s) = -5*s**2. Let i(k) = -3*t(k) - 7*x(k). Suppose 0 = -5*b - 0*b + 10. Is i(b) composite?
True
Is 1 - 0/(-1) - (1 - 1823) prime?
True
Is 0 + (-1 - 3249/(-3) - 0) a prime number?
False
Let x(k) = -k**3 - 7*k**2 - 5*k + 1. Let f be x(-4). Let p be (-3477)/f - 4/(-18). Suppose -z = -2*m + 4*z + 318, m + 5*z = p. Is m composite?
False
Suppose 3109 = 3*a - 1784. Is a prime?
False
Suppose 4*b + 3*s - 550 = 5*s, 4*s = 2*b - 266. Is b composite?
False
Let b be (0 - 2)/((-4)/6). Suppose -5 = 2*q - 31. Suppose b*g + 4 = q. Is g prime?
True
Let r = -4965 - -9166. Is r a prime number?
True
Let v = 8 - 13. Let n = v + 7. Suppose 0 = -n*s + 10, -2*z + 5*s + 17 = -4. Is z prime?
True
Let d = 32 + -11. Is d a prime number?
False
Let c(d) = 9*d**2 + 2*d - 4. Let f be ((-10)/(-6))/(1/(-3)). Is c(f) a prime number?
True
Let q(d) = -2*d - 4. Let l be q(-4). Suppose 20 = l*r - 0. Suppose -4*o = r*n - 471, 2*n - 286 + 50 = -2*o. Is o prime?
False
Suppose 0 = -2*l + 4*i + 172, -102 = -l - 5*i + 3*i. Is l prime?
False
Let b(v) = -v**2 - 2*v - 5. Let o be b(-5). Let p be (-1)/(-4) - 75/o. Suppose 3*n = p*n - 37. Is n a prime number?
True
Let y = -2 + 4. Suppose u - 3*q = 2*u - 96, 0 = -y*u + 5*q + 159. Is u a prime number?
False
Let c be (1/(-3))/(5/30). Let k(p) = -p + 1. Let s(z) = 77*z + 9. Let u(w) = 6*k(w) - s(w). Is u(c) composite?
False
Let x = -3 + 7. Suppose -x*g + 78 = -3*t, -4*g + g + 5*t = -64. Suppose -3*m = -123 + g. Is m a prime number?
False
Let c = -9 + 14. Suppose 589 = c*d - 306. Is d composite?
False
Suppose q - 34 = -4*j, -124 = -4*q + q - j. Let t(k) = 6*k + 5. Let o be t(-4). Let u = q + o. Is u a prime number?
True
Let n be 90/8 + 2/(-8). Is n + 148 - (1 - 0) a prime number?
False
Suppose -2*q + 111 = -47. Is q composite?
False
Let f be 6/4*(-2)/(-1). Is 204/f*(-6)/(-8) a composite number?
True
Is (-2)/4*(-2 - 210) a prime number?
False
Let o(j) = -1 + 4*j - 2 + j - 5. Let k be ((-12)/(-14))/((-1)/(-7)). Is o(k) composite?
True
Let y be 1*6 - (-4)/4. Let w = -7 + y. Suppose -t - 12 + 103 = w. Is t prime?
False
Let y(c) = -c**3 + c**2 + c + 262. Let a be y(0). Suppose -2*q + a = -0*q. Is q prime?
True
Let g(r) = 2*r**2 + 1. Let a be g(-1). Let x be 1/((9/6)/a). Suppose -4*d = 3*w - 151, -x*w - 3*w = -3*d - 271. Is w prime?
True
Let o(d) = -d**3 - 4*d**2 + 2. Let f be o(-4). Let c(l) = 2*l**2 + 7*l**f + l - 4*l**2. Is c(2) a prime number?
False
Suppose 3*h + 5*y = 11 - 29, 2*y = -5*h - 11. Let u(z) = -162*z**3 + z**2. Is u(h) composite?
False
Let n be 3/(-3)*(6 - 0). Let f(w) = -w**3 - 5*w**2 + 3*w + 5. Is f(n) a composite number?
False
Let f = -171 - -250. Let i = 176 - f. Is i prime?
True
Suppose 6*y - 282 = 180. Is y a prime number?
False
Let n(k) = -k**2 + 9*k - 2. Let g be n(8). Suppose 3*h + m = 292, 2*h + 2*m = g*h - 386. Is h composite?
False
Let m = -82 - -116. Is m composite?
True
Let a(n) = 181*n + 15. Let m be a(7). Suppose 0 = -5*o + 3*o + m. Is o prime?
True
Suppose -h = -5*h - 428. Let g = h + 71. Let a = g + 169. Is a a composite number?
True
Let a(b) = 161*b + 4. Is a(5) a composite number?
False
Let h = -11 + 40. Suppose g + 3*g + 33 = a, -5*g = -a + h. Is a a composite number?
True
Let a(h) = 9*h**2 + 4*h. Let o be a(3). Suppose -4*c + 55 = -o. Is c a composite number?
False
Let s(u) = 16*u**2 + 3*u - 4. Let t be (5/(10/12))/2. Is s(t) a prime number?
True
Let i = -12 + 45. Suppose -2*r = -3*n - 32, -r - 4*n = n + 10. Let d = i - r. Is d a composite number?
False
Suppose -4*l - 4 = -x + 6, 5*x = -5*l + 25. Let m be 1/(-1) + 2 + 2. Suppose -x = -4*c + m*c. Is c a composite number?
True
Let o be -1 + 202*(-1)/(-1). Let q = -283 + 159. Let k = o + q. Is k a composite number?
True
Suppose 6 = 2*n - 0. Suppose -5 + 23 = n*k. Is k a prime number?
False
Let b = 384 + -37. Is b a composite number?
False
Let b(x) = x**3 - x**2 - 2*x + 1. Let a be b(3). Is 2/a - (-7614)/26 a prime number?
True
Suppose -2*m + 7 + 1 = 0. Suppose -m*k + q + 630 = 0, -4*k = -2*q - 0*q - 632. Is k prime?
True
Let k = 588 + -319. Let n = -156 + k. Is n prime?
True
Let u be (-1 - 0) + 1 + 0. Suppose 6 = 3*r - u*r. Let n(m) = 2*m**2 + 3*m - 3. Is n(r) a prime number?
True
Let b = -4 - -7. Let x be b - (3 - 0/(-1)). Suppose -c - 12 = 4*n - 91, x = 3*n - 15. Is c a composite number?
False
Let q(w) = -w**3 - 2*w**2 + 3*w - 5. Let u(d) = d**2 + 9*d + 10. Let h be u(-7). Is q(h) a composite number?
True
Let q be (5/2 + -2)*-2. Let i = -6 - q. Let t = 11 + i. Is t a prime number?
False
Let p = 463 + -329. Is p a composite number?
True
Suppose 7*j - 4393 = 10. Is j a prime number?
False
Let t = 5 - 5. Suppose t = -g + 201 - 35. Is g a prime number?
False
Let n = -32 + 32. Let d(q) = q**3 - 2*q**2 + 2*q. Let f be d(3). Let h = n + f. Is h a prime number?
False
Suppose -4*o + 5*l = -543, -5*o - 2*l + 730 = 2*l. Suppose -2*a = 2*k + 38, 2*a - 31 = 2*k - k. Let z = k + o. Is z a composite number?
True
Is 2/(2 - 3)*-307 a prime number?
False
Suppose 3*u + 7 = 16. Suppose 0 = -u*x + 79 + 50. Is x a composite number?
False
Let d(k) = 26*k**2 + 7*k - 1. Is d(4) composite?
False
Suppose -5*i = -2*i. Suppose -3*m - f + 74 = i, -5*f + 3*f = -4*m + 102. Is m prime?
False
Let h(z) be the second derivative of z**5/10 + z**4/