 - 11*q - 5. Let o(j) = 7*j**3 - 5*j**2 - 7*j - 3. Let a(y) = 8*o(y) - 5*s(y). Is a(6) prime?
True
Let g(b) = 115*b + 49. Is g(22) composite?
False
Let b = -20 + 63. Is b prime?
True
Suppose -5*m - 4*d + 511 = 138, 5*m = -3*d + 376. Is m a composite number?
True
Suppose q = 3*q - 278. Suppose -656 - q = -3*h. Is h prime?
False
Suppose i - 204 - 627 = 0. Is i prime?
False
Suppose -2*n + 0*n + 29 = -m, 3*m = 4*n - 59. Is n*15/(-12)*-2 prime?
False
Let x be -1 + -2 + 0 + -11. Is 7/x*(-227 + 1) a prime number?
True
Let j be 2/(-7) - 410/35. Let n be 435/(27/j - -3). Suppose 0 = -l + 5*k + 344, -5*l + 1077 = -4*k - n. Is l prime?
False
Let h = 6 + 22. Suppose m = 3*m - h. Is m a composite number?
True
Suppose -4*d + 1182 = -5*m, 2*d + 2*d = 2*m + 1176. Is d composite?
False
Suppose -g - 2397 = -4*n, -g = 3*n + 2*n - 2994. Is n prime?
True
Suppose -2*c - 8 = 4. Suppose t = 3*t + 326. Is 3/c*(t - 3) a composite number?
False
Suppose -316 = -3*z + 158. Is z*(4 - 1) + -3 composite?
True
Let h(a) = 126*a + 1. Is h(4) prime?
False
Let t be 4/(-22) + (-41400)/22. Let v = 4270 + t. Is (-6)/15 - v/(-20) composite?
True
Is -3 + -1 + 1 + 294 composite?
True
Suppose 11*l - 16986 - 20293 = 0. Is l prime?
True
Let s = -14 - -267. Is s a prime number?
False
Let v be 6/33 - (-1800)/22. Suppose -77 = -3*h + v. Is h a prime number?
True
Let m(v) be the first derivative of -2 + 0*v + 8/3*v**3 - 1/2*v**2. Is m(-1) prime?
False
Let j(q) = q**3 - 5*q**2 - 2*q - 5. Let r be j(5). Let i be (-255)/10 + (-6)/(-4). Let x = r - i. Is x a composite number?
True
Let l(t) = 82*t**2 - 2*t - 1. Is l(-3) prime?
True
Let l(a) = -a**2 + 15*a + 3. Let d = -11 - -18. Is l(d) a composite number?
False
Let d = 2 - 8. Let c be ((-15)/d + 0)*2. Suppose i + 3*y - 341 = -0*i, 20 = c*y. Is i a composite number?
True
Suppose 11*k - 7*k - 1228 = 0. Is k a composite number?
False
Let i(t) = 19*t**2 - 5*t - 1. Let d(q) be the second derivative of -29*q**4/6 + 7*q**3/3 + 3*q**2/2 - 3*q. Let y(l) = -3*d(l) - 8*i(l). Is y(-1) composite?
False
Let f = 2768 + -1486. Is f prime?
False
Suppose -5256 = -4*o + 4*b, 4*b - 5 = 3*b. Is o prime?
True
Suppose y + 2*h = 325, 6*h - h = 3*y - 997. Is y composite?
True
Suppose 0 = 3*b - 5*m - 1264 - 456, 4*b = 2*m + 2270. Is b a composite number?
True
Let t(i) = 9*i**2. Let j be t(-1). Suppose -h = 5*d - 1658, 316 = d + 4*h - j*h. Is d prime?
True
Suppose 2*u + 0*u - 254 = 0. Is u prime?
True
Let c = 502 - 156. Is c prime?
False
Let s be (-349)/(1/2 + 0). Let m = 1530 + s. Suppose -3*f + m = 4*g, -5*g + 1033 = -0*f + 2*f. Is g composite?
True
Suppose -398 = -6*l + 3604. Is l a composite number?
True
Let m = -7 - -10. Suppose 2*i = -5*l - i + 181, 3*i = -m*l + 105. Suppose 2*q + 0*q - l = 0. Is q a composite number?
False
Let n(t) = -24*t + 3. Let m(r) = -12*r + 1. Let o(z) = -5*m(z) + 2*n(z). Let x = -10 - -14. Is o(x) prime?
False
Let k = 1 + 1. Is ((-17)/(-3))/(k/30) composite?
True
Let k = 120 + 6. Let y = -2 - k. Let x = y - -187. Is x a composite number?
False
Suppose -3*w + 8 = w. Suppose 3*i - w*u - 115 = 0, -3*i - 4*u + 2*u = -119. Is i prime?
False
Let x be -3*(24/9 + -3). Let t = 0 + x. Let y(g) = 293*g. Is y(t) prime?
True
Suppose t + 3 = -1. Let w = 6 - t. Is w prime?
False
Suppose -5*n - 11840 - 18970 = 0. Is 4/(-10) + n/(-30) a composite number?
True
Let y(f) = 3*f**2 + f. Let g be y(-1). Suppose -3*n + 44 = -2*o - 43, 0 = g*n - 2*o - 56. Is n composite?
False
Let r = 992 - 687. Is r prime?
False
Let p = 7 + -7. Suppose x + p = 3. Suppose -k - q + x*q = -13, 5*q = -5*k + 110. Is k composite?
False
Suppose -v = 2*y - 233, 0*y = -2*y - 2. Is v prime?
False
Suppose 2*q = -0*h - 4*h - 8, 2*h + 8 = q. Let t be 211/2 - q/(-4). Suppose -l + t = l. Is l composite?
False
Suppose 3*g = 4*h + 4347 - 1283, -h + 5 = 0. Is g/(-4)*(-3)/3 composite?
False
Suppose -5*c = -x - 176, 5*c - 224 + 24 = -5*x. Let t = c + -13. Is t a composite number?
False
Let c(u) = 12*u + 13. Let q be c(9). Suppose 3*t = -0*m - 2*m - 169, -5*t = -5. Let d = q + m. Is d prime?
False
Let b = 1 - -10. Let s = 23 - b. Suppose 58 + s = 5*v. Is v prime?
False
Let t(h) = 2 + 3 - 4 + 26*h**2 - 7*h**2. Is t(2) composite?
True
Let z(x) = 2*x**3 - x**2 - x - 4. Let w = 8 - 3. Let s = 8 - w. Is z(s) a prime number?
False
Suppose 4*z - 4 = -2*y, -5*z + 5 = -0*y + 2*y. Suppose 5*f - 4*t = 3*f - 16, y = 4*f - t + 11. Is (11/f)/((-4)/56) composite?
True
Let m(i) = -8*i**3 + 2*i**2 + 4*i - 3. Let q be m(3). Let t be (q/12)/((-1)/(-4)). Let p = 48 - t. Is p a composite number?
True
Suppose p - 3444 - 3043 = 0. Is p composite?
True
Let m(s) = s**3 + 16*s**2 - 18*s - 17. Is m(-15) a composite number?
True
Let k(u) = 9*u + 2. Is k(5) composite?
False
Let d(o) = -o**2 - 3*o + 3. Let k be d(2). Let w(h) = h**2 + 6*h + 4. Let x be w(k). Let v(p) = p**2 - 12*p + 14. Is v(x) a composite number?
False
Let g(f) = 188*f**3 - 2*f + 1. Suppose -4*s = -s + 27. Let r = 10 + s. Is g(r) composite?
True
Let p(t) = t + 1. Let r be p(2). Suppose 3 = l, l = -2*g + r*g - 160. Is g prime?
True
Suppose -m = -u + 58 - 320, u = 2*m - 524. Is ((-5)/(-10))/(1/m) composite?
False
Let c(m) = -139*m - 46. Is c(-13) a composite number?
True
Let o be 2 + (1/3)/((-6)/36). Let n(j) = 5*j - 1. Let x be n(1). Suppose c + x*c - 170 = o. Is c composite?
True
Let i be (6 - 1)/(4 + -5). Is 10*((-145)/2)/i a prime number?
False
Let r = -9 + 6. Let a = 0 - r. Is a a composite number?
False
Is (-5 - -402) + 4/(-1) a composite number?
True
Suppose -3*r + 1119 - 408 = 0. Is r prime?
False
Suppose 4*c - k - 22 = 0, 0 = 5*c - 2*c - 2*k - 19. Suppose 0 = 2*g - 3*g + 7. Suppose 5*j = -c*l - 0*j + 20, 0 = 2*l + j - g. Is l prime?
True
Suppose -n + 30 = -8. Is n composite?
True
Let k be (-2)/(4/(-10)) - -2. Suppose k*o = 3*o + 8. Is o a composite number?
False
Suppose -3*b - 1196 = -3*y + 229, -2*b - y = 935. Let r = 55 - b. Suppose 0 = 5*f - r - 110. Is f a prime number?
True
Let d(p) be the first derivative of -19*p**2 + p - 2. Is d(-2) a prime number?
False
Suppose 3*s = -5*a - 164, s = 4*s - a + 194. Let l = -12 - -4. Let k = l - s. Is k a prime number?
False
Let c(d) = -10*d. Let z be c(-1). Let t(w) = -4*w + 5. Let x be t(-4). Let y = x - z. Is y a composite number?
False
Let f = 80 - 36. Suppose 0*k = -2*k + f. Is k a prime number?
False
Is ((-3)/(-2))/((-27)/(-129510)) a composite number?
True
Is 635 - 0/(25/5) a prime number?
False
Suppose 9*y = 5089 + 1004. Is y composite?
False
Suppose 6*p - 4*p = -442. Let q = p + 834. Is q a prime number?
True
Let c = 2 - 2. Let p be c + (-1)/(1/(-2)). Is p/(4*(-2)/(-236)) prime?
True
Let x be 10/(-45) + 295/(-9). Is x/12*(-16)/2 composite?
True
Let b = 4 + 1. Let x(a) = a**3 - 4*a**2 + 2*a + 2. Is x(b) a prime number?
True
Let o(a) = a**3 - 5*a**2 - 7. Let k be o(5). Let c be 1/(((-21)/36)/k). Suppose -p = -h + p + 45, 0 = 3*p + c. Is h a composite number?
False
Is (-6)/(-4)*(-10926)/(-9) prime?
False
Let t = -5 - -5. Suppose t*i = -i + 14. Is i composite?
True
Let b(r) = r**3 + 10*r**2 - r - 7. Let l(x) = -x**2 - 10*x + 1. Let v be l(-11). Let z be b(v). Suppose z*m + 9 = 2*j + 2*j, 3*j - 8 = 2*m. Is j prime?
False
Let r(h) = -h - 11. Let o be r(-6). Let m be o/(1*3/18). Let g = 65 + m. Is g composite?
True
Let s(k) = -5 - 1 + 14*k - k**2 - 2. Is s(9) a composite number?
False
Suppose 2*k = 2*s - 440, -s + 0*s + 232 = -5*k. Is s a composite number?
True
Suppose -8*w + 7*w + 389 = 0. Is w a prime number?
True
Let f(b) = 9*b + 14. Is f(11) a prime number?
True
Let r = -43 + 542. Suppose -2*b + r + 87 = 0. Is b a composite number?
False
Let p(g) = -27*g**2 - 4*g + 9. Let d(l) = -l**2 - l + 1. Let w(n) = 5*d(n) - p(n). Is w(3) composite?
False
Let h(c) = c**3 - 3*c**2 - 8*c - 4. Suppose 0 = v - 6. Let s be h(v). Suppose -3*p + 7*p - s = 0. Is p composite?
True
Let q(d) = 23*d**2 + d - 4. Let b be q(3). Let c = 355 - b. Is c prime?
True
Let a(z) = 3*z**3 - 2*z**2 - 3. Let f be a(-3). Is 2*(-3)/18*f a prime number?
False
Suppose -s - 379 - 577 = 0. Is s/6*21/(-14) a prime number?
True
Let c(v) be the second derivative of v**4/12 + v**3/3 - v**2 + 2*v. Suppose 16 = -2*z - 2*z. Is c(z) a composite number?
True
Let p(k) = -9*k**2 - k**3 + 7*k**2 + 10*k**2 + 5 - 3*k. Is p(5) a prime number?
False
Let m be (-182)/