 m composite?
True
Suppose 0 = -4*t - 5*g + 1264252 - 52477, 908839 = 3*t - 4*g. Is t a prime number?
False
Let s(p) = 4*p**2 + 23*p + 19. Let o be s(8). Is (-5)/((-45)/117838) + (-51)/o prime?
True
Is 379 + -395 + 1 + 103466 a prime number?
True
Let k(z) = z**2 - 37*z - 49. Let q = -1 + -29. Is k(q) prime?
False
Let q(p) = 1141*p - 78. Let a be -4*(1/3)/((-12)/63). Is q(a) a composite number?
True
Suppose -9782*w - 163937 = -9783*w. Is w prime?
False
Suppose -d = 4936 + 1613. Let u = d + 22538. Is u prime?
False
Let h(r) = 767*r**2 + 13*r - 99. Is h(-10) a composite number?
False
Let b(g) = g**2 - 3*g + 13. Suppose 6*j - 56 = -4*l + j, l + j = 14. Let z be (-1 - l)/(57/38). Is b(z) a composite number?
True
Let p(x) = 178*x**2 + 9*x - 1. Let i(w) = -178*w**2 - 8*w. Let u(h) = 5*i(h) + 4*p(h). Let f be u(-4). Let d = -2015 - f. Is d composite?
False
Is (705276199/(-8562))/(2/(-12)*1) a prime number?
True
Suppose -4*v + 2*h - 29888 + 816836 = 0, -5*h = -3*v + 590204. Suppose 112*j - 110*j = v. Is j prime?
True
Let x be ((-7)/14)/(1/(-10)). Suppose -4*a - x*v + 1346 = 0, 1107 = 4*a + 2*v - 233. Suppose 2*h + c - 211 = 4*c, c = 3*h - a. Is h composite?
False
Let z(b) = 396*b**2 + 48*b + 913. Is z(-15) prime?
True
Let j(m) = 167*m**2 + 70*m + 1970. Is j(-23) a composite number?
True
Suppose 4*j = 2*z - 47458, z - 23704 = -3*j - 0*j. Is z prime?
True
Suppose -6*i = -5*b - 3*i + 660593, -3*b - 5*i + 396383 = 0. Is b a prime number?
False
Let b(v) be the second derivative of 9*v**4/8 - 47*v**3/6 - 7*v**2/2 - 18*v. Let j(l) be the first derivative of b(l). Is j(14) composite?
False
Is (-1)/(-2)*11/((-154)/(-11023180)) a composite number?
True
Suppose 17*s - 2*i - 316 = 13*s, 0 = -s - i + 76. Is 0 - -5 - (s + -696) composite?
True
Suppose 0 = 2*p + 3*l - 422027, 0 = 5*p + 403*l - 407*l - 1055033. Is p prime?
False
Suppose r = -3*q + 372773, q - 83361 - 40890 = -2*r. Is q composite?
True
Suppose -p + 3404 = 837. Suppose 0 = -6*o + p - 839. Let f = o + 47. Is f prime?
False
Suppose -3*o - 1 = -10. Let r(m) = 10*m**3 + 58*m**3 - 2*m + 1 + 124*m**o. Is r(1) a composite number?
False
Let n(y) be the third derivative of y**5/60 + y**4/4 - 25*y**3/6 + 11*y**2. Let r be n(-9). Suppose 0 = r*m, 3*f + 651 = 6*f + m. Is f composite?
True
Let b = 250698 + -150115. Is b composite?
True
Let f(h) = h**3 + 10*h**2 - 12*h - 8. Let o(u) = 4*u + 1. Let d be o(-3). Let n be f(d). Suppose -l - 362 = -n*l. Is l prime?
True
Let u(d) = -30872*d**3 - 23*d - 51. Is u(-2) a prime number?
True
Suppose 1080247 + 5313060 = 14*u - 8977279. Is u a prime number?
False
Suppose -43*t = -50*t + 14854. Suppose -t = -8*d + 1438. Is d a composite number?
True
Suppose 95967 = 13*r - 3150224. Is r composite?
True
Let c(f) = f**3 - 11*f**2 + 9*f + 13. Let g be c(10). Let d be (2/g)/((-1628)/(-813) - 2). Suppose -d = -5*m + 164. Is m composite?
True
Let p be ((-9)/3)/(2/(-5422)). Let a = -3244 + p. Is a prime?
True
Let u(l) = -l**3 - 90*l**2 + 80*l - 1172. Is u(-107) composite?
False
Let h = 1206 - -27467. Is h prime?
False
Suppose 5*k - 1230110 = 196605. Is k composite?
False
Let b = 3 - 3. Suppose b = -4*j + 3*k + 1168, -3*k + 222 + 344 = 2*j. Suppose -m - 98 = -j. Is m a composite number?
False
Let o = -8 - -494. Let y = 3085 + o. Is y a composite number?
False
Let a(l) = -7*l + 60*l + 6*l - 3. Let k be (24/20)/((-9)/10)*-6. Is a(k) a composite number?
True
Suppose -2*t + 10010 = 4*d, -17*d + 20013 = 4*t - 16*d. Suppose -n = -2*r + t, -4*r - n + 10018 = n. Is r a prime number?
True
Is 46 + -42 - 1*(1 + (-988032)/3) a prime number?
True
Suppose 0 = 140*w - 138*w. Suppose -3*n + 2*j + 1859 = w, -n + 2*j + 388 + 225 = 0. Is n composite?
True
Let u = 6066611 + -2541348. Is u composite?
True
Let j(r) = 912*r - 182. Let a be j(5). Let x = -1857 + a. Is x a prime number?
True
Suppose 0 = -4*q + 3*h - 6, 2*q + 4 = q + 2*h. Suppose 2*o = 3*f + 7882, -5*f + 3941 = o - q*o. Is o prime?
False
Suppose -2*p + 2*q = -161800, -3*q = -4*p + 143421 + 180176. Is p composite?
False
Let k be 4/(-24) + 127/6. Suppose -q - k = -2*q. Suppose q*y + 435 = 24*y. Is y a composite number?
True
Let m(s) = -s**3 + 8*s**2 + 8*s - 71. Let h be m(8). Let z(i) = 273*i**2 - 32*i - 12. Is z(h) a composite number?
True
Let v(k) = 8*k - 76. Let t be v(9). Is ((-498)/(-8))/((-3)/t) prime?
True
Suppose -n + 2*n - 4*b + 8 = 0, -5*b + 7 = -2*n. Is -8923*(-3 - (4 + -2 - n)) prime?
True
Let d(m) = 14*m**2 + 8*m + 27. Let t(b) = b**2 - 13*b - 104. Let s be t(19). Is d(s) a prime number?
False
Let b be 8/16*(1 + -5). Let w(d) = -1. Let z(l) = -28*l - 9. Let m(o) = -6*w(o) + z(o). Is m(b) prime?
True
Let m(i) be the first derivative of -5*i**2/2 - 12*i - 5. Let k be m(-3). Suppose -2*o - 2*g + 962 = 0, k*g - 135 + 632 = o. Is o prime?
False
Let d = -4 + 8. Suppose 3*i - j = 2, 0 = -i - 4*i - 2*j - d. Suppose i = o - 5*o + 7868. Is o a composite number?
True
Let z(v) = 6431*v**2 + 199*v + 5. Is z(-2) a prime number?
False
Let r(u) = -3*u**3 + u**2 - 10*u + 13. Suppose 161 = 9*z - 55. Suppose 0 = -16*c + 13*c - z. Is r(c) composite?
False
Suppose 180 = -2*c + 164. Is 6/c - 177775/(-100) composite?
False
Let s be 2/(189144/(-37830) - -5). Suppose -3*u - s = -13*u. Is u a composite number?
True
Suppose 18*g + 5620 = 22*g. Let w(q) = -15*q**2 - 10*q - 8. Let p be w(-8). Let r = g + p. Is r a prime number?
False
Let n(a) = -54*a**3 - a**2 - 55*a - 97. Is n(-6) a prime number?
False
Let h(f) = 2*f**2 + 48*f + 50. Let t be h(-23). Suppose -t*k - 535 = 3*y - 6194, -5*y + 5669 = 4*k. Is k a composite number?
True
Let s(v) = 8568*v**2 + 51*v - 7. Is s(-2) a prime number?
False
Suppose 19*y - 4*y - 765 = 0. Suppose 53*t = y*t + 24142. Is t a composite number?
False
Suppose 0 = -0*p + 5*p - 20. Suppose -i = -g - 193 + 721, 0 = -p*g + i + 2100. Suppose -2*v = g - 2770. Is v a prime number?
True
Is (-3 - -4)/(4/(-2424946))*-2 prime?
True
Let q be 1*0/(25/(-5)). Suppose q = -s - 660 - 3146. Is ((-2)/(-6))/(s/(-1902) - 2) composite?
False
Suppose -136*r + 1719351 = -394214 - 105819. Is r a prime number?
True
Let k(b) = -b**3 + 7*b**2 - 13*b. Let v be k(4). Is (-2)/(v*(-6)/(-13764)) a prime number?
False
Let t(j) = -3*j**2 + 7*j + 4. Let q be t(2). Suppose -2*s - 8295 = -5*s. Suppose -q*n + s = -n. Is n a composite number?
True
Suppose 0 = -u - 3*w + 6534 + 6857, -3*u + 40161 = 5*w. Let d = u - 6387. Suppose 6*a - a - d = 0. Is a a composite number?
False
Let r = -5204 + 4397. Let q(u) = -214*u**3 + 2*u**2 + 4*u + 2. Let m be q(-2). Let h = r + m. Is h composite?
False
Suppose 462*z + 2263567 = 509*z. Is z a prime number?
False
Suppose 3*h + 25*b = 30*b + 2857937, 3810602 = 4*h + 3*b. Is h a prime number?
True
Suppose 5*k - 25940 = -5*t, 6*t - 8*t = -k + 5173. Is k a prime number?
False
Let z be 0/(2*(-3 + 2)). Let d be (139/(-8) - (-9)/24) + -1. Is (-1)/(-2) + z - 1035/d prime?
False
Let b(j) = -521 - 3*j**2 + 1032 - 514 - 28*j**3 - 3*j. Is b(-4) a composite number?
False
Let a(c) = -55*c**3 + 2*c**2 - 6*c - 9. Let p be a(-4). Suppose -3051 = -2*f + p. Is f prime?
False
Suppose 5*l - 19 + 8 = -s, 4*s - 5*l = -6. Let o be -1 + 2/(-2) + 3. Is 31*(3 - 1 - s/o) a composite number?
False
Let i be 6/8 - 8/(-32). Is 6 + -3 + i - (3 + -1978) prime?
True
Let j = 6030 + -4015. Suppose -n - 32300 = -5*n. Suppose -n = -4*h - k, h - j = -0*h - 4*k. Is h prime?
False
Suppose -28*j + 7302607 = -j + 32*j. Is j prime?
False
Let j be (1122/(-9))/((-5)/30). Suppose 0 = 10*b - 6*b + j. Let h = 306 - b. Is h composite?
True
Let i(h) = 56*h + 27. Let g(a) = a**2 - 8. Let m be g(4). Let r be i(m). Suppose r = p - 18. Is p composite?
True
Let v = 1632861 - 1159940. Is v a prime number?
True
Let b = 71334 + -33535. Is b a prime number?
True
Let y(f) = -2*f**3 - 2*f**2 + f + 4. Let k be y(-2). Let p be (-3768)/k + (-1 - (-4)/5). Let w = p - -931. Is w prime?
False
Let c be (134/(-8))/(9/(-4) - -2). Let s(i) = 10 - c*i - 13 + 10. Is s(-6) prime?
True
Let f(o) = 12776*o + 1427. Is f(4) composite?
True
Suppose 3188061 - 474414 = 93*q. Is q prime?
True
Let l be (12887/28)/(2/40). Suppose -15525 - l = -2*v. Suppose 0 = -5*d - 0*x - 3*x + v, 5*d + x = 12365. Is d a composite number?
False
Let h(m) = 855*m - 17. Let p be h(-2). Let k = 6498 + p. Is k a composite number?
True
Let w(l)