a + m*r, 2*a = 3*r + 2. Suppose -74 = -a*h + 18. Is h a prime number?
True
Let z be -2349 - 2*(-4)/8. Is 30/40*z/(-3) a composite number?
False
Let c = 1411 + -912. Is c composite?
False
Let h = -109 - -111. Suppose g - 399 = -j + 1167, 4693 = 3*j - h*g. Is j prime?
False
Let p(o) = 398*o**2 - o - 41. Is p(6) composite?
False
Let y(p) = 29*p**2 - 3*p - 5. Let g be (-9)/15 - (-13)/5. Suppose n = -g*n + 4*l, 0 = 5*n - 2*l + 14. Is y(n) a prime number?
False
Is (-6)/9 - 138355/(-15) a prime number?
False
Suppose -g + 3 = 0, 2*s + 2*g = 5*s - 3. Let y = s + -22. Let h = y - -32. Is h a composite number?
False
Let x(d) = -5*d**3 - 6*d + 6*d**3 + 2*d**2 + d - 5. Let v be x(-4). Let u = 56 + v. Is u prime?
False
Let z(m) = 4767*m - 325. Is z(4) a composite number?
False
Suppose -978 = -6*s + 432. Let g = s - 152. Is g a composite number?
False
Let w be 8/((-8)/(-20)*5). Suppose 0*x = 4*x + 5*l + 2200, -w*x = -4*l + 2236. Is (-14)/49 - x/7 composite?
False
Suppose -127342 = -13*o + 170371. Is o composite?
False
Suppose 157*l = 164*l - 10941. Is l prime?
False
Let m(i) = 7*i + 16. Suppose 9 = -3*j, -k - 2*k + 2*j = -27. Is m(k) a prime number?
False
Let s(p) = 3*p**2 + 12*p - 68. Let l(d) = d**2 + 4*d - 23. Let n(k) = -17*l(k) + 6*s(k). Is n(-8) prime?
False
Let l(n) = n - 8. Let c be l(10). Suppose c*r = r + 15. Is ((-18)/r)/(2/(-155)) prime?
False
Let l = 23365 + -12786. Is l composite?
True
Is (2658892/(-230))/((-6)/15) a prime number?
True
Let x = 70937 - 43220. Is x composite?
True
Suppose n - 1 = 2. Let s be -3 - (n - 2/1). Let r(t) = 6*t**2 + 2*t + 3. Is r(s) prime?
False
Suppose o = 2*o + 5*w - 5895, 0 = -5*o + 3*w + 29531. Is o composite?
True
Is 8/(-56) - (503163/(-21) + 3) a prime number?
True
Suppose r + p = 3131 - 874, -4*r + p + 9033 = 0. Is r a prime number?
False
Let w = -67 + 66. Is ((-354)/4 - 2)/(w/38) a composite number?
True
Let a(w) = -4*w**2 + 7*w + 3. Let f be a(-6). Let o = 260 + f. Is o prime?
False
Is 50/125*(-21345)/(-6) prime?
True
Is (-3045090)/(-270) + (2 - 3)/9 prime?
False
Let a be (-76)/57*117/(-2). Suppose 0*w = 2*w - a. Let j = 286 - w. Is j a prime number?
False
Suppose 0 = -4*o - o + 10. Suppose -z = o*z - 54. Suppose -z = -2*i + 8. Is i prime?
True
Let f(c) = -9*c - 7. Let z be f(-4). Let y = 29 - z. Suppose y*x + 465 = 3*x. Is x a prime number?
False
Let o(p) be the first derivative of 292*p**3/3 + 7*p**2/2 + 4*p + 28. Is o(-3) a prime number?
False
Let p be (-4 + 0)/(-1 + 0). Suppose p*b = -b + 3055. Is b a prime number?
False
Let a(z) = 8*z + 778. Is a(0) a prime number?
False
Let o(b) = -15*b**3 - 12*b**2 - 12*b - 38. Is o(-9) a prime number?
False
Suppose t - 5 = -4*h, -2*h - 4*t + 9*t = 25. Suppose -4*r + 3*r = h. Suppose -3*z + 3*u = -0*z + 6, -5*z - 3*u + 30 = r. Is z composite?
False
Let k be 4 + 1 + (-2 - 2). Suppose 0 = s - 3 + k. Suppose -6 + 677 = 3*z - s*f, 4*f = -4. Is z a prime number?
True
Suppose 0 = -2*l - 2 + 6. Suppose -f + 437 = 2*q + l*f, -4*q - 4*f = -876. Suppose -2*g - q = -6*g. Is g a composite number?
True
Let b(x) = -6*x - 4. Let a(g) = -g**3 + 4*g**2 - 2*g + 1. Let w be a(2). Suppose -2 = c + w. Is b(c) a prime number?
False
Suppose -d - d - 10 = 2*z, 5*d + 10 = -2*z. Suppose p - 234 - 37 = d. Is p a prime number?
True
Let o = 615 - 984. Let s = -143 - o. Is s a composite number?
True
Let a(s) = 214*s - 15. Suppose 3*b - 8*b = -20. Is a(b) composite?
True
Suppose 3*d + 4*n = 17241, 0*d - 3*n + 11494 = 2*d. Is d a prime number?
False
Suppose -g - 9 = -4, -15 = -4*p - g. Suppose -z = -p*i + 79, 0 = -i + 5*z + 35. Let q = 29 - i. Is q a prime number?
False
Suppose 16*c - 11*c = 3*d + 13745, -5498 = -2*c + 5*d. Is c prime?
True
Suppose 2*k = -0 + 6. Suppose -k*c - 16 = c. Is (-1)/c - 1605/(-12) a composite number?
True
Let b = -423 + 232. Suppose -24*c + 62 = 62. Let g = c - b. Is g prime?
True
Suppose -530*p = -529*p - 1823. Is p composite?
False
Suppose 42 = 2*v + 8. Let h(m) = 14*m + 20*m**2 - 12*m - 5*m**2 - m**3 - v. Is h(15) a prime number?
True
Suppose 2*b + 3*d - 13 = 0, -3*b + 3*d = -0*b + 18. Is b/(-2)*(-164)/(-1) a prime number?
False
Let b(q) = -q**3 - 3*q**2 + q + 3. Let y be b(-3). Suppose y = 4*l - 1315 - 873. Suppose 4*p + 5*u = l, -u = -2*p - 4*u + 275. Is p composite?
True
Suppose 2*h + 9497 = v, 4*v - 12*h - 37970 = -10*h. Is v a prime number?
True
Let d(a) = -7*a**2. Let l be d(1). Let p(i) be the second derivative of -5*i**3/6 - 2*i**2 - 13*i. Is p(l) prime?
True
Let h = -6503 + 19398. Is h prime?
False
Let o = 8291 + -1995. Suppose o = 8*a - 4*a. Is a composite?
True
Let g(t) = t - 1. Let q be g(3). Suppose 0*s = q*c + s + 5, 2*c - 2*s + 20 = 0. Let f(i) = 3*i**2 - 2*i + 6. Is f(c) composite?
True
Let t(h) = -238*h**3 - 6*h**2 - h - 4. Let d(i) = -i**2 - 1. Let g(j) = -4*d(j) + t(j). Is g(-1) prime?
False
Let c(k) = 1471*k**2 + 4*k - 21. Is c(4) composite?
False
Let j = 3 - 5. Let q(z) be the second derivative of -103*z**3/6 - z**2/2 - 23*z + 2. Is q(j) composite?
True
Suppose 0 = -5*p + 3*r - 41049, 2*p - 3*r - 24639 = 5*p. Is 0 + 0 + p/(-21) composite?
True
Suppose -2*i - 4*l = -13478, -5*i + 26068 = 4*l - 7627. Is i a prime number?
False
Suppose 0 = -3*u - o + 1893, -2*u - 1893 = -5*u - 5*o. Suppose -423 - u = -2*q. Is q composite?
True
Let x(p) = p**3 - 11*p**2 + 9*p + 14. Suppose 3*j = -2*k + 2*j + 21, -3*j - 17 = -2*k. Let u be x(k). Suppose -u*r = -9*r + 1335. Is r prime?
False
Let x(v) = v**3 + 5*v**2 + 5*v. Suppose 5*k + 20 = 4*c, 0*k - 4*k + 4*c - 16 = 0. Let z be x(k). Is (78 - z) + -1 + 1 prime?
False
Let g be (-3 - 17)*(-8)/5. Let w be g/12*69/2. Let z = -13 + w. Is z a composite number?
False
Let c(y) = 11*y**2 + 5*y - 3. Let l be c(3). Suppose -n + 0*n - 4*f = -l, 4*n + 3*f - 405 = 0. Let a = 20 + n. Is a prime?
False
Let w = -2297 + 7411. Is w a prime number?
False
Let g = 38 + -23. Let s = 25 - g. Is (-747)/(-2) - 5/s prime?
True
Suppose 2*k - 473 = -5*r - 2764, -4593 = 4*k - r. Is (k/3 - 1)/(8/(-24)) a composite number?
False
Let t = -5 + 2. Is ((-4)/(-10))/(t/(-165)) a prime number?
False
Suppose -l + 5 = h, -5*h = -5*l + 2 + 3. Let g(q) = -2*q + 7*q**h - 14 - 8*q**2 + 2*q**2. Is g(13) composite?
True
Let s = 3080 + -1965. Is s composite?
True
Suppose -2*u = 3*z - 397 - 776, 2*z - 2*u = 792. Suppose -5*y = 4*n - z, -2*n - y + 82 = -113. Is n prime?
True
Let v(s) be the third derivative of s**6/30 - 13*s**5/60 - 3*s**4/8 - 7*s**3/6 + 19*s**2. Is v(6) a prime number?
False
Suppose -3*z = 5*s - 461003, -881978 = -4*z - s - 267330. Is z composite?
True
Suppose 0 = -5*s - 2*r - 107, 0 = -2*s + 5*r - 4*r - 41. Let u(b) = -b**2 - 2*b + 1. Let i be u(1). Is i/7 - 2295/s prime?
True
Let h(y) = -28*y - y**3 - 3*y**2 + 7 - 17*y**2 + 3 - 17. Is h(-20) a composite number?
True
Is (21/28)/((-8)/(-201952)) prime?
False
Suppose -11*l + 8*l = -2*r + 13754, -4*r + 3*l + 27520 = 0. Is r composite?
False
Let m(s) = 2*s**2 - s + 6. Suppose 0 = 4*u + 2*u. Let b be 3 - (-4 - 0 - u). Is m(b) composite?
False
Suppose 18*y = 21*y - 47451. Is y a composite number?
False
Suppose -18 = 7*d - 9489. Suppose -o - d = -4*o. Is o a composite number?
True
Let v = 43 - -14. Let w = -34 + v. Is w composite?
False
Suppose 1 = -5*w + 11. Let l be w/(6/(-3))*-1. Is 222/l*(-5)/(-15) prime?
False
Let d be 9*(0 + (-4)/12). Let v be (0 - d) + 9/(-3). Suppose x - 2*o - 87 = 0, -2*o + 0*o = v. Is x a composite number?
True
Let z(p) = 4*p**2 - 6*p - 1. Let q(j) = 16*j**2 - 23*j - 5. Let f(h) = -2*q(h) + 9*z(h). Is f(-7) prime?
False
Let c(z) be the second derivative of -115*z**3/2 + z**2/2 + 6*z. Is c(-1) a prime number?
False
Let d(m) = -7*m + 7. Let v be d(-11). Let w = -120 - -85. Let x = v + w. Is x composite?
True
Is (-7)/(-2)*15278/7 a composite number?
False
Let g(h) = 168*h**2 - 8*h - 21. Is g(-2) composite?
True
Let b = -3 - -6. Suppose -5 = 5*a, 6*t - b*a = 5*t + 6. Is (-1)/((t/(-42))/1) a composite number?
True
Let h(w) = 93*w**2 - 2*w + 18. Is h(5) composite?
False
Suppose 3*s + 16 = -4*q - 0*s, 5*q + 20 = 3*s. Is (-5)/(-10)*q + (536 - -3) composite?
True
Suppose 0 = o - 217 - 3362. Is o a composite number?
True
Suppose 0*m = -5*m + 25. Suppose 4*s - m*o - 37 = 0, 0 = 2*s - o - o - 16. Suppose -300 - 489 = -s*a. Is a a composite number?
False
Let l = -26 + 31. Let s(g) = 0 - 6*