6/(-8) prime?
False
Is -66*16/72*(-2463)/4 a composite number?
True
Let n = 27866 + -14740. Is n composite?
True
Let c(d) = 4*d - 8 + 1 + 10*d**2 + 1 - d. Let y be c(5). Let i = 36 + y. Is i a composite number?
True
Let h be (4 - (1 + 2))*13. Let m(c) = -c**3 + 14*c**2 + 17*c + 9. Let k be m(h). Let n = k + -216. Is n prime?
False
Suppose 46*r = 48*r - 5438. Is r composite?
False
Suppose r = 3, 4*f - 5*r + 19 = 2*f. Is f/((-1)/1)*18986/44 composite?
False
Is (-3)/(105/(-39850)) + (-8)/14 a composite number?
True
Let d = -38 - -52. Suppose 2*t + 2*p - d = 5*p, t = 2*p + 6. Is t a composite number?
True
Let p(u) = -u**2 + 58*u + 1. Is p(42) a composite number?
False
Let j be -846 - ((-2)/(-2) + -2). Let g = -126 - j. Is g a composite number?
False
Let z(m) be the third derivative of -m**6/120 - 7*m**5/60 - 5*m**4/24 - m**3 - m**2. Let p be z(-9). Is (-1)/(-1*3/p) prime?
True
Let h = 4544 - 3001. Is h a prime number?
True
Suppose v = -5*t + 491, -1982 = -4*v - t + 58. Suppose -4*z + 4*o + 1019 = -o, -3*o - v = -2*z. Is z composite?
False
Suppose -3*p = -4*p + 3. Suppose -447 - 2274 = -p*d. Is d prime?
True
Let j = -5134 + 8661. Is j prime?
True
Suppose -2*o + g = 6*g + 18, 5*g + 24 = 4*o. Let z(u) = 4*u**3 + 2*u**2 - 1. Let c be z(o). Suppose -5*q + m = -182 - c, 5*m - 138 = -4*q. Is q prime?
True
Suppose 584*x = 588*x - 14572. Is x a prime number?
True
Let i(x) = -3*x**2 - 12*x + 1. Let q be i(-5). Let n be (-63)/q*(-4)/(-3). Suppose -2141 = -8*d + 3*d - 2*p, -n = -2*p. Is d a composite number?
True
Let a(c) = 3575*c**2 + 37*c + 17. Is a(-3) a prime number?
False
Let b be (4/3)/((-2)/(-477)). Suppose -20*f - 3621 = 859. Let k = b + f. Is k composite?
True
Let g(l) = 1 + 0*l**2 + 2 + 5*l + 10*l**2 + l. Is g(-5) a prime number?
True
Let d(j) = j - 4. Let f be d(6). Suppose 2*y - f = p, 6*p - 3 = 3*p + 3*y. Is (1/(-3))/(p/(-924)) prime?
False
Let t be (-3 + 0)/(18/(-12828)). Let l = t - -1227. Is l composite?
True
Suppose -15*o + 107249 = 8*o. Is o a prime number?
True
Suppose -2*x + 119 = -17. Let k be (x/6)/(5/15). Suppose -3*m + 59 = -k. Is m a composite number?
False
Suppose 3*h - h - 4 = 2*i, 3*i = 2*h - 2. Is i a composite number?
False
Let u = -13 - -17. Suppose m - 3*x = -u*x, 0 = -2*x. Suppose -2*y = -m*y - 46. Is y a composite number?
False
Suppose -14915 = -5*k + 1880. Is k prime?
True
Let g = 1 + -5. Is (-4)/((-220)/19075) + g/(-22) composite?
False
Let f = -57 - -59. Suppose -6*s - f*s = -6352. Is s prime?
False
Suppose -5*g - 4*m = -8289, 2*m + 6626 = -0*g + 4*g. Is g a composite number?
False
Let k = 22560 + -13480. Suppose k = -3*l + 11*l. Is l a composite number?
True
Is (10/(-2) + -2)*-277 a composite number?
True
Let l(f) = f**2 - 8*f + 14. Let b be l(6). Suppose 504 = b*u - 778. Is u prime?
True
Let v(y) = 6*y + 19 - y**2 + 2*y - 23. Let s be v(7). Suppose -2*q + 3*d = -s, 5*d = -2*q - q + 14. Is q a prime number?
True
Let g be (-112)/18 - -6 - 10516/(-18). Let p = -253 + g. Is p a prime number?
True
Suppose 654 + 1211 = -5*l. Let u(h) = -h**3 - 11*h**2 - h - 3. Let o be u(-11). Is (l/(-2))/(4/o) a prime number?
True
Let n be (10/1)/((-26)/(-1599)). Let l = n - -192. Suppose -2*a + 5*y + 797 = 0, 6*a = 4*a + 3*y + l. Is a prime?
False
Let y(n) = 196*n + 18. Let m(u) = 65*u + 6. Let q(b) = -7*m(b) + 2*y(b). Let x be q(-4). Let a = x + -133. Is a a prime number?
True
Suppose 8 = -n + 3, 23 = y - 4*n. Suppose 0 = 7*d - y*d - 6124. Is d composite?
False
Let i(w) = -5*w + 18. Let a be i(4). Let y(l) = 4219*l**2 - l - 1. Is y(a) a prime number?
False
Suppose 8 = -0*c - 4*c, 2*c - 10614 = -2*h. Is h a prime number?
True
Suppose 6 = 5*v + 1. Suppose p = 2 - v. Let m = 15 - p. Is m a composite number?
True
Let z(c) = -7 + 53*c + 100*c + 7*c. Is z(4) composite?
True
Let u(t) = -6*t - t**2 + 12 - 5*t + 11*t + t. Let v be u(0). Suppose -o + 34 = -v. Is o a prime number?
False
Let v = -40 - -56. Let h = -29 + v. Let n = h + 20. Is n a composite number?
False
Let i be (-2059)/2 + (-27)/(-18). Let z = -639 - i. Is z a composite number?
False
Let b = -135 + 16. Is ((-1894)/4)/((b/70)/17) a prime number?
False
Let q(l) be the second derivative of -7/2*l**2 + 0 - 59/3*l**3 + 6*l. Is q(-9) a prime number?
False
Let x(w) = w**3 + 2*w**2 - 1. Let g be x(-1). Suppose g = -4*y + 9407 - 3595. Suppose 3*k + 4*r - y = 0, 2163 + 262 = 5*k + 5*r. Is k prime?
True
Let y(n) = 3*n**2 + 1. Let i be y(-1). Let f be 7*6/(-42)*-8. Suppose -i*w - 860 = -f*w. Is w composite?
True
Suppose -o - 3*o + 44 = 0. Let b(m) = 18*m - o + 5 - 1. Is b(3) composite?
False
Is 42/(-189) + 778097/9 composite?
True
Let x = 405 - 262. Is x a composite number?
True
Let u(v) = -150*v**3 + 3*v**2 + 7. Is u(-4) a prime number?
False
Let p = -8 - -16. Let w be p/(-6)*(-9)/6. Is 237/w*2/3 a prime number?
True
Suppose 0 = -5*m + m - 8, 3*a + 4*m = 772. Suppose -5*k + 2*g = -5135, -k + 5*g = -a - 767. Is k a prime number?
False
Let g(m) = 251*m + 6. Is g(16) a composite number?
True
Let o = -414 + 223. Let f = -136 - o. Suppose 0 = 4*j - 3*j - f. Is j a composite number?
True
Suppose 0 = f, -f + 3666 = -3*s - 6*f. Let w = -597 - s. Suppose w = 5*h - 490. Is h prime?
True
Let s = -183 - -400. Let q = s + -380. Is (-1 - q) + 7/(-7) composite?
True
Let z be (2110/(-3))/((-26)/117). Suppose -3*m - 2376 = -3*h, -h + m + z = 3*h. Is h prime?
False
Suppose 0 = 4*s - 16 - 8. Suppose -8*m + 1778 = -s*m. Is m a composite number?
True
Suppose -t + 6*t + 3*g = -908, -4*g = t + 168. Let o = 663 + t. Is o a prime number?
True
Suppose -2*v = -r + 3, 4 = 5*r - v - 11. Suppose u - r*w = -0*w + 85, -3*w = -3*u + 255. Is u composite?
True
Let g(j) = -j + 4. Let q be g(0). Let a = q - 10. Is (537/6)/((-3)/a) composite?
False
Is 163788/9*-1*27/(-36) a composite number?
False
Suppose -3*u - 202 = 2*c + 403, 2*u + c + 402 = 0. Is 4*((5 - 2) + u/(-4)) composite?
False
Let j(i) = -i**3 + 3*i**2 - 2. Let s be j(2). Let o be 14/4 - 1/s. Suppose -4*t = t + 5, 2*h - o = -t. Is h a prime number?
True
Let b be (-6)/(-2) - (-1 + 3 - 2). Is (-8793)/(-12) + 3/36*b a composite number?
False
Suppose -4*h = -5*h + 2045. Is h a composite number?
True
Let z(x) = 12*x**2 - 4*x + 7. Let s be z(-8). Suppose -4*p + p + s = 0. Is p a prime number?
True
Let r be 4/(-14) - 777/(-147). Suppose -3*a = 4*n - 25453, -r*a + n - 3*n = -42445. Is a a composite number?
True
Suppose -7*c - 368 = -2286. Is c composite?
True
Let c be -40 + (-2 - -6)/(-2). Suppose 0*i = 2*i + 150. Let x = c - i. Is x a prime number?
False
Let z(f) = -2142*f + 11. Is z(-1) composite?
False
Let a(k) = k**2 + 5*k + 1. Let t be a(-4). Let l(j) = -16*j + j - 11*j + 0*j - 1. Is l(t) prime?
False
Let w(y) = 5*y**2 + 3*y + 5. Let o = 19 + -9. Let q be -13 + o - 5*1. Is w(q) composite?
True
Suppose -4*p - 64 = 5*h - 2*h, 5*p = 2*h + 35. Is 449/2*(30 + h) prime?
False
Is (953/(-2))/(11/(-22)) a prime number?
True
Let d = 9 + -7. Let s be 0 + -3*d/(-3). Suppose -s*j - 2*j = -316. Is j a composite number?
False
Let x be 12/8*-1 + 52/8. Let u(h) = 15*h + 52. Is u(x) a prime number?
True
Suppose 2*b + b + 3*m + 1215 = 0, 2001 = -5*b + m. Let c = b - -894. Is c a composite number?
True
Suppose z = 3*p + 40, 2*z - 3 = -p + 63. Is z composite?
True
Suppose 10*d - 182653 - 16957 = 0. Is d prime?
True
Suppose 183*v = 179*v + 28. Let l(b) = 313*b + 10. Is l(v) composite?
True
Let a(v) = v + 3. Let b be a(-5). Suppose -14*h = -17*h + 2601. Is b + h + 0/1 composite?
True
Let n = -31992 + 87481. Is n a prime number?
False
Let h(k) = -k**2 - k - 18. Let u be h(0). Let t = -16 - u. Is 2/(t + 84/(-43)) a prime number?
True
Let j(s) = s**2 + 17*s + 11. Let o be j(-18). Let h = o + -72. Let k = h + 90. Is k a composite number?
False
Let b = 188 - -4889. Is b a prime number?
True
Let n be (-4)/(-14) + 886534/154. Suppose -5*t = -3*t + 2, -5*i + 2*t = -n. Is i a prime number?
True
Suppose 0*o = o. Suppose v = -o*v + 2. Is 2*(-157)/v*-1 prime?
True
Suppose b + 3148 = 5*b. Is b a composite number?
False
Suppose -3 = 3*c - 12. Suppose -p + 2807 = 4*p + 2*v, 4*v = c*p - 1705. Is p composite?
False
Suppose 2*m - t - 12710 = 0, -t = 7 - 3. Is m a prime number?
True
Let i(w) be the second derivative of -w**3/3 - 7*w**2/2 + 2*w. Let j be i(-5). Suppose 0 = -z + j*z - 38. Is z a composite number?
