+ k - 3*k = 9, 3*k + 6 = 0. Let y(d) = 13*d**2 + 9*d + 11. Is y(o) a composite number?
True
Suppose -3*c + 0*c - 18 = -4*y, 0 = 2*y + 3*c. Let j be (-2 - 4)/(12/(-8)). Suppose l - 56 = -h, -221 = -j*l - 8*h + y*h. Is l composite?
False
Suppose 52 = 3*r + 4. Suppose 2*x - 4*x + r = 0. Suppose 3*m - x = 157. Is m prime?
False
Suppose 0 = -5*u - 25 - 0, -u - 1021 = 2*k. Let g = -349 - k. Is g prime?
False
Suppose -1 = 5*m - 16. Let i be 3 + (m/(-1))/(-3). Suppose 0 = i*p - 2*g - 124, -p - 2*g = 3*p - 140. Is p prime?
False
Suppose 0 = -t - 6 + 3, 5*t + 12 = -3*o. Is 653 - -4 - (o + -3) composite?
False
Let g(s) = -s**2 + 5*s - 4. Let n be g(4). Suppose n*i + 84 = 3*i. Suppose i = 3*k + k. Is k prime?
True
Suppose 0 = -0*u - 2*u + 8. Let z be (-2204)/(-28) + u/14. Suppose -4*w + z = 5*j - 91, -3*w = 5*j - 170. Is j prime?
False
Suppose -4*p = 2*v - 2*p + 4, 20 = 4*v - 3*p. Is v*((-1692)/8)/(-3) a composite number?
True
Suppose 0*a = 2*a. Let k be 1/(a + 1) + 2. Suppose 39 = k*p - 192. Is p a composite number?
True
Let c(o) = -o**2 + 7*o - 10. Let n be c(7). Let p = n + 16. Suppose -t = 3*s - 5, 4*t - p*t = -4*s + 20. Is s a composite number?
False
Suppose 37 = 7*m - 12. Is m a composite number?
False
Let p be (-1)/((-3 - -2)/(-132)). Suppose 2*l = -5*y - 0*y + 6, 0 = 2*y + 3*l + 2. Is (-1)/y*-2 - p prime?
False
Suppose 0 = -7*p + 2*p + 70. Is p a composite number?
True
Let i(p) = 486*p**3 - 2*p**2 + 1. Is i(1) a prime number?
False
Suppose 5*o + 20 = a, -5*o - 15 = -0*o. Suppose 969 - 166 = a*x - 2*u, 3*x - 4*u = 479. Is x prime?
False
Suppose -t + 8 = -5*b + b, 2*t + 4*b + 8 = 0. Suppose n + t*n + 18 = -3*f, 0 = -5*n - 2*f - 25. Let j(y) = -y**2 - 7*y - 2. Is j(n) composite?
True
Suppose 0 = -0*o + o - 2705. Is o a composite number?
True
Let u = 186 - -9. Suppose 5*k - u = -0*k. Is k composite?
True
Let b = 106 + -13. Let i be 2/(-6) + b/9. Suppose 2*p - n - 11 = 9, n + i = p. Is p a composite number?
True
Let u be 4/2 + (0 - -10). Let s = u - 9. Suppose 63 = -s*x + 168. Is x prime?
False
Is 162/1 - (-12 + 8) composite?
True
Suppose -4*x + 114 = -22. Is x prime?
False
Suppose 2*x - 2*z - 196 = 0, -3*x + 2*z - 3*z = -274. Let j be 6/3 + 40/(-1). Let s = x + j. Is s prime?
False
Suppose -2*g + 2186 = -2*v, -4*g + 6*v + 4369 = v. Suppose g = 4*m - 1876. Is m a composite number?
False
Suppose -3*f = -4*d + 4, -2*d + 28 = 4*f + d. Suppose -6*o + 4*o + 268 = 0. Suppose o = f*w - 2*q, -167 = -2*w - 3*w + 2*q. Is w composite?
True
Suppose -5*c = 11 + 129. Let u = -19 - c. Is u a prime number?
False
Let a be (-4 + 13)*4/(-3). Let v = a - -49. Is v a composite number?
False
Let b = 0 - 1. Let u = -3 - b. Is 59/3 + u/3 a prime number?
True
Suppose -4*b + 4 = -0. Suppose -b + 4 = k. Suppose -z + 0*z + 599 = 5*s, -z + 361 = k*s. Is s composite?
True
Let c be (118/4)/(7/14). Suppose -4*x + 206 = w, -2*w = -x - 6*w + c. Is x a prime number?
False
Suppose 7 = -t - 24. Let d = -197 - -120. Let u = t - d. Is u prime?
False
Suppose 2*k - 4*r - 18 = 0, -k + 7 + 4 = -3*r. Is 163/5 - (-2)/k prime?
False
Let h(u) = -22*u**2 + 6. Let g(f) = 7*f**2 - 2. Let a(x) = -17*g(x) - 6*h(x). Is a(3) a prime number?
False
Let w be (-2 - -3)/(1/218). Let u = w - -16. Is u/4 - (-6)/(-12) composite?
True
Is 32168/64 - (-9)/24 composite?
False
Suppose 2*a = 3*a - 6. Suppose -3*m + 3*z = -5*m + a, 5*z = -m + 3. Suppose -312 + 45 = -m*s. Is s a composite number?
False
Is 1*-3*(-257)/3 a composite number?
False
Is 2/(-12) - 30525/(-90) composite?
True
Let y be 20/(-6)*6/(-5). Suppose 0 = -y*h + 311 - 91. Is h a prime number?
False
Let g = 298 + 189. Is g prime?
True
Let a(p) be the first derivative of p**5/30 - 5*p**4/24 - 2*p**3/3 - p**2/2 + 2. Let q(s) be the second derivative of a(s). Is q(6) a prime number?
False
Suppose -3*b + 7*b + 2*f + 6 = 0, 3*b - 5*f - 15 = 0. Suppose b = 2*k - 0*k - 12. Is k a composite number?
True
Let x = -2 - -99. Is x a prime number?
True
Let o be 2*3/2 - 6. Let d be (o + 1)*(-137)/(-2). Let l = -58 - d. Is l a prime number?
True
Let g = -175 - -324. Is g a prime number?
True
Suppose n = 41 + 1. Suppose -m + n = -4*k + m, 0 = k + 4*m + 15. Is 2/k + 2006/22 a composite number?
True
Is ((-6)/(-4))/((-12)/(-3272)) composite?
False
Suppose -470 = -5*t + 3*t. Is t prime?
False
Let w(x) = -8*x + 9. Let u = 14 + -21. Is w(u) a prime number?
False
Suppose -5*w + 2830 = -5*c, 0*w - w + 2*c + 569 = 0. Is w a prime number?
True
Suppose 3*x - 2 = x. Let y(w) = 3*w**2 + w. Is y(x) a prime number?
False
Suppose 2*u - 4*z = 3 + 13, 0 = -4*u - 2*z + 2. Suppose u*i = -i + 357. Is i a composite number?
True
Suppose -2*f - 10 = -4*q, 5*f = -2*q + 3 - 4. Suppose -z + q - 1 = -d, 0 = 3*z + 15. Is (-548)/d - (-5)/(-15) a prime number?
False
Suppose -2*d + 33 = 93. Let z be -3 + (-1)/(2/d). Is (0 - (-51)/12)*z prime?
False
Suppose 0 = y + v + 24, v - 12 = y + 6. Is (889/y)/(1/(-3)) a composite number?
False
Suppose t = -2*t. Suppose 3*i + 3*r + r - 451 = t, 3*i = -r + 466. Is i composite?
False
Suppose 0 = -j, 4*j + 0 - 12 = 2*b. Let t be (b/15 - 0)*10. Let u(y) = -y**3 - 2*y**2 + 5. Is u(t) a composite number?
False
Let f = -4 + 10. Let i(y) = y**3 - 2*y**2 - 9*y + 7. Is i(f) a prime number?
True
Let j = 34 - 21. Is j a prime number?
True
Let t(c) = 4*c - 1. Let f be t(1). Let w = -3 + f. Let b(d) = -d**3 + d**2 + 23. Is b(w) composite?
False
Suppose r = 4*r. Suppose r = -4*y + 4*g + 124, 2*g + 12 = 3*y - 76. Is y composite?
True
Suppose 2*p = 5*p - 2295. Suppose -5*c = -p - 10. Is c prime?
False
Let o(z) = z**2 + 9*z - 9. Let u(a) = -8*a. Let p be u(-1). Is o(p) composite?
False
Suppose 0 = -4*m + l - 21, 0 = 4*m + m + 5*l - 5. Let a = m + 6. Suppose 5*p = a*p + 42. Is p composite?
True
Let u(p) be the second derivative of -p**3/6 - 2*p**2 + 3*p. Let z be u(-6). Suppose z*s - 110 = 296. Is s a composite number?
True
Suppose 4*z - 2*r = -6*r + 1060, 3*z = -4*r + 791. Is z a composite number?
False
Suppose -904 - 1746 = -5*p. Suppose p = 4*l - 5*k - 479, -250 = -l - k. Is l a prime number?
True
Let i = -1 - -3. Suppose -i = 3*g + 4. Is 156 - (-3)/(6/g) a composite number?
True
Is -4*((-21)/6)/7 + 209 a composite number?
False
Suppose -4*h + 5*h - 118 = 0. Is h a prime number?
False
Suppose 2 = x + 1. Let g = x - -3. Suppose g*k = k + 201. Is k a composite number?
False
Is -1*(0 - (-555)/(-5)) a composite number?
True
Is (-1559)/(-7) + (-4)/(-14) composite?
False
Suppose 0 = -s + 2*s + 3. Let k be (-96)/s*(-6)/(-4). Let i = -11 + k. Is i a prime number?
True
Suppose -3*f - 52 = -7*f. Suppose -4*g = 15 + f. Let s = g - -14. Is s prime?
True
Let j = 3814 - -1095. Is j a composite number?
False
Let x(d) = 6*d**2 - 6*d + 5. Suppose 2*l = -3*u + 20, 2 - 10 = -4*u + 2*l. Let b be x(u). Suppose b = y - 0*y. Is y a prime number?
False
Let n(x) = 2*x**2 + x. Let o be n(-2). Let q = -5 + o. Let c = 68 - q. Is c a prime number?
True
Let i(t) = 8*t - 5. Let w = 10 + -5. Is i(w) prime?
False
Suppose 0 = -2*q + 247 + 415. Is q composite?
False
Let t(w) = 2*w**2 + 12*w - 15. Suppose -2*h + h - 5*p = 11, 11 = -h - p. Is t(h) prime?
False
Let i(x) = -3*x + 7. Let r be i(7). Let t be (-1368)/(-14) + (-4)/r. Let p = t - -161. Is p a prime number?
False
Let i(k) = k**2 - 4*k + 3. Let o be i(3). Let z = 1 + 0. Is (o - z) + 15 + 1 prime?
False
Let i be 6/(-10) + (-598)/(-5). Let b = 202 - i. Is b a prime number?
True
Let a(i) = 5*i**2 - 7*i + 2. Let c be a(-6). Let t = c - 98. Let s = -41 + t. Is s a prime number?
False
Let s = 48 + -89. Let u be 2/3 - s/(-3). Is (1 - -1)*u/(-2) composite?
False
Suppose 8 = 5*j + 3. Is 776/12 + j/3 prime?
False
Let t(b) be the second derivative of -b**3/6 + 6*b**2 - 5*b. Is t(9) a composite number?
False
Let d(c) = c**2 + 2. Let q be d(0). Suppose -u - 4*r - 245 = -q*u, 0 = 3*u + r - 774. Is u prime?
True
Let a(l) = -l**3 + 7*l**2 + 8*l + 4. Let k be a(8). Suppose -k*z = 4*c - 62 - 34, 3*z - 5*c = 80. Is z composite?
True
Let g = -13 + 5. Is (204/g)/((-1)/2) prime?
False
Suppose s = 2*r - 5, -2*s - 2 + 8 = 4*r. Let b(j) = -49*j**3. Let z be b(s). Suppose -3*o = -q - z - 19, -o - 3*q = -6. Is o a prime number?
False
Let j(n) = n**3 - 10*n**2 + n - 8. Let m be j(10). Suppose 6 = 2*k, 118 = 3*b - 4*k + 13. Suppose o - 2*y = 2*o - b, y = -m*o + 93. Is o prime?
False
