m(a) = -a**2 - 67*a - 519. Let v be m(-9). Suppose 0 = -n + x + 239, -o = -v*n + 2*n + 4*x. Is n composite?
True
Let q(b) = -465*b**3 - 17*b**2 - 10*b - 77. Is q(-11) composite?
True
Suppose 9*f - 14*f - 5*p = -10, 3*f - 4*p = -15. Let c(v) be the second derivative of 1261*v**4/6 + v**3/2 + v**2 + v. Is c(f) prime?
True
Suppose 19*h + 84 = 26*h. Suppose -86 = 5*f - 3*y, -6*f + 5*f - 2*y - h = 0. Is (1361/3)/(-1 - f/12) a prime number?
True
Let w = -501 + 521. Let r(g) = g**3 - 14*g**2 + 7*g - 9. Is r(w) a prime number?
True
Let n = -204 - -394. Let r(v) = v**3 - 2*v**2 - 30*v - 11. Let t be r(-6). Let a = t + n. Is a composite?
False
Let f(v) = -1286*v + 4. Let g be f(-2). Let b = -850 + g. Is b a composite number?
True
Suppose 10 = l - 2*d, 4*l + 3*d - d = 10. Suppose v - 3*v = 4*z - 50, l*v = 20. Suppose 957 = z*s + s. Is s a prime number?
False
Suppose 0 = -2*f + 8, 3*f - 56 = -3*h + f. Suppose -b + h = a + 2*b, 0 = b + 3. Suppose -5*m - 109 = -k + a, 0 = 4*k - m - 479. Is k prime?
False
Let m(s) = s + 10. Let q(b) = b**2 + 18*b + 36. Let f be q(-15). Let p be m(f). Let h = p + 36. Is h composite?
False
Let o = -75 + 75. Suppose -5*f = 4*v - 38089, f + 2*v - 6760 - 853 = o. Is f prime?
True
Suppose 100*r - 33*r - 15870807 = 5871430. Is r a prime number?
False
Suppose -4*b + 0*b + 220 = 0. Let r = 71 - b. Suppose -r*w = -13*w - 258. Is w prime?
False
Suppose -3*p = -5*p - 2*j + 4, 10 = 2*p + 4*j. Let t(n) be the first derivative of -1563*n**2/2 - 2*n - 360. Is t(p) prime?
False
Is -5*(1*(-128988)/15 - -3) composite?
True
Suppose 9561 = 5*g - 3*m - 96379, 0 = 2*m - 10. Suppose r - 204 = u + 6848, 4*u - g = -3*r. Is r a composite number?
False
Let q(u) = -u**3 + 13*u**2 + 12*u - 8. Suppose j + 5*k - 19 = 0, 2*k - 32 = -2*j - 2*k. Let y be q(j). Is -83*y/(-8)*(-4)/6 a composite number?
True
Suppose 0 = -8*a + 11*a - 834804. Is (35/(-20) + 2)/(3/a) composite?
False
Let w(h) = -h**3 + 33*h**2 - 32*h + 1. Let x be w(32). Is (318849/345)/(x/5) a composite number?
False
Let u = 9 + -1. Suppose l = u*l - 56. Suppose -9*x + 853 = -l*x. Is x prime?
True
Let g(y) = -6*y**2 + 24*y + 5. Let c be g(4). Suppose 1106 = 2*h - 4*f, -6*h - c*f = -5*h - 525. Is h a composite number?
True
Let o be (-24303)/(0 + (-27)/(-12) + -3). Suppose -5*g = 4*j - 20397, -5*j = -g + 6915 - o. Is j a prime number?
False
Let l be (52/78)/((-1)/(-52137)). Let x = -8915 + l. Is x a prime number?
False
Let i(p) = -39599*p - 11 + 42 + 11*p**2 + 39617*p. Suppose -63 = 5*v + m + 2*m, 13 = -v - m. Is i(v) a composite number?
False
Suppose 10*z + 124 = 14*z. Suppose -4*a + z = 23. Suppose 1088 = a*h + 262. Is h prime?
False
Let b(u) = u**2 + 15*u - 31. Let k be b(2). Suppose 2407 = k*n - 3752. Is n composite?
False
Let p(v) = 35887*v**3 + v**2 + 5*v - 4. Let m(i) = -35888*i**3 - 2*i**2 - 6*i + 5. Let b(z) = -5*m(z) - 6*p(z). Is b(-1) a composite number?
True
Let v = 202818 + -103349. Is v prime?
True
Let g(c) = 67*c - 26. Let x be g(-4). Let q be (-7)/(x/12) + 61/7. Suppose q*v + 19 - 118 = 0. Is v a composite number?
False
Let u(a) be the first derivative of a**4/2 - 10*a**3/3 + 3*a**2/2 + 5*a - 13. Let w be u(4). Is 2/10 + (-21552)/w a composite number?
True
Let x = 28 - 4. Let d = 28 - x. Suppose 4*r + 5*b = 752 + 900, -3*r = -d*b - 1239. Is r a prime number?
False
Suppose 0 = -26*z + 2677312 + 850914. Is z prime?
True
Suppose 25*a = -69*a + 29005486. Is a composite?
False
Let a(d) = 74222*d**2 + 3*d + 10. Is a(-3) a composite number?
False
Let f(v) = -1527*v + 83. Let a be 5 + (1 - 2 - 0) - 16. Is f(a) a composite number?
True
Suppose 10*g + 197 = 667. Suppose g*x - 15658 = 45*x. Is x a prime number?
True
Suppose -18*d - 12 = -21*d. Suppose -2*j + 5*n = -963, 0 = 5*j + d*n - 0*n - 2391. Is j a composite number?
False
Let r = -156 - -159. Suppose -r*u - 13*n + 36798 = -16*n, -2*n = 8. Is u composite?
True
Is (-16)/(1152/(-4281640)) - (-4)/(-18) a prime number?
True
Suppose 7950 + 62181 = 3*j. Let q = j - 12694. Is 18/(-99) - q/(-11) composite?
False
Suppose -4*t + h - 216 = 0, -4*t - 177 = -t + 3*h. Let z = t - -56. Let q(i) = 110*i**2 + 1. Is q(z) a prime number?
False
Suppose -274 = -a + 3*a. Let g = -58 - a. Suppose i = 2*i - g. Is i a composite number?
False
Let r(l) = -4166*l + 13495. Is r(-38) a composite number?
False
Let z(r) = 1328*r - 1551. Is z(4) composite?
False
Suppose -248*x = -250*x + 330074. Is x prime?
True
Suppose 0 = 5*f - 4*g - 40, 8*f + 2*g - 58 = 4*f. Suppose f*a = 18984 + 15372. Is a composite?
True
Suppose -21*x + 2035760 = -473509. Is x a prime number?
True
Is 2222028/56 - (-32)/80*(-20)/112 composite?
False
Let t(a) = -165*a - 2. Let z be ((2/4)/1)/(25/250). Suppose -4*q + z = -4*h - 7, -4*h - q - 2 = 0. Is t(h) composite?
False
Let o(u) = -6457*u - 500. Is o(-9) composite?
True
Suppose -4*c - 7 = -31. Suppose c*q = -35*q + 307541. Is q composite?
True
Let g(i) = 715*i**3 - 2*i**2 - 18. Let x be g(3). Let n = x + 286. Is n composite?
True
Let q(l) = -12 - 12*l + 7*l - l**2 + 13*l. Let r be q(6). Suppose -4*w = -f - 17670, -w - 3*w + 4*f + 17676 = r. Is w prime?
False
Suppose -712*o + 12987014 = 708*o - 1386*o. Is o a composite number?
True
Suppose -12884*k + 12879*k + 6037685 = 0. Is k composite?
False
Is 8/14 - 2087802/(-1722) composite?
False
Let y = 1442050 - 767781. Is y composite?
False
Suppose -129 = -2*w + 5*b, 4*w + 2*b - 6*b = 228. Let f = w + -48. Suppose -f*h + 343 = -13. Is h a composite number?
False
Let p = -161 + 173. Is 2445/p*1*4 a composite number?
True
Let t = -331948 - -608717. Is t a composite number?
True
Let l = 42 + -42. Suppose -359 = -j - l. Suppose f - 1350 = -j. Is f a prime number?
True
Let y be 7/((-28)/(-8)) - 2. Suppose 0 = -s - 3 - y, 0 = 4*o + 2*s - 2. Suppose -o*f = -5*f + 633. Is f a prime number?
True
Let p(t) = -423*t**3 + 8*t**2 + 26*t + 171. Is p(-8) a prime number?
False
Is (-46399*4)/(-4) - 0/4 composite?
False
Suppose o - 3*k + 14 = 3*o, 0 = 4*o + 4*k - 28. Suppose o*p = 3*p + 16. Suppose -2*u - p*d + 536 = -138, -656 = -2*u + 2*d. Is u composite?
False
Let g(w) = 114*w**2 + 50*w + 543. Is g(-17) prime?
False
Suppose -306*n + 67722957 + 4899254 = -115*n. Is n composite?
True
Let v be (4/34 + (-13)/(-34))*0. Suppose -4*j = -5*t + 26889, 9*t - 5*t + 2*j - 21532 = v. Is t a composite number?
False
Suppose -3*l + 2*c + 174311 = 0, 2*l - 241*c = -244*c + 116177. Is l a composite number?
False
Let a(y) = -942*y + 133. Is a(-15) a prime number?
False
Let u(c) = -343*c - 3. Let r(v) = -5*v - 19 + v**3 + 3*v + 0*v - 2*v**2 + 14. Let i be r(3). Is u(i) a prime number?
True
Let r(g) = -5*g + 229. Let f be r(44). Suppose f*y - 6082 = 9587. Is y a composite number?
False
Let u = 136435 - 89852. Is u composite?
True
Let s = 37012 - 17481. Is s a prime number?
True
Let z be 4/(-16) + 14250/8. Suppose 39*i = -3*a + 35*i - 538, -a - 181 = i. Let l = z - a. Is l a composite number?
True
Let b = -17 - -19. Suppose -b*z + 13 = 3*t, -t + 2 = -2*z + t. Is 49987/42 - -5 - z/12 prime?
False
Is 15/(-75) + (812180/25 - 4) prime?
False
Suppose -5*n = -3*z - 21, -3*n + 5*n = 3*z + 12. Suppose n*i - 6*i = -15. Is (-2)/((2/(-893))/(6 - i)) composite?
True
Suppose 8 = -4*w, -21*w - 2884 = 3*m - 19*w. Is (m - -5)*(-5)/(-15)*-3 composite?
True
Let d(x) = -49*x + 304. Let j be d(-57). Let c = 2 - -1. Suppose -n + u + 3077 = -u, -j = -n - c*u. Is n composite?
True
Let u be 3/3 + (-3 - (-2 + -3)). Suppose u*z = -0*z + 2049. Is z a composite number?
False
Let l = 701 - 688. Suppose l*z - 37873 - 36396 = 0. Is z prime?
False
Let u(s) = -s**2 + 1. Let l(x) = -10*x**2 + 7*x + 24. Let d(w) = -l(w) - 6*u(w). Let p be d(-9). Suppose -p = 7*a - 4696. Is a a composite number?
True
Suppose -2*f = 5*s - 76, -4*f - 31 - 27 = -5*s. Let g(q) = 5 + 9*q**2 + s - 9*q + 14*q + 5 + q**3. Is g(-7) prime?
False
Let r(w) = -10*w + 13. Let d be r(10). Let u = d - -106. Suppose -5975 = -24*o + u*o. Is o a composite number?
True
Let p be (-3 + 2)/(-1*3/(-18)). Let b(l) = -2*l**3 - 7*l**2 - 12*l - 1. Is b(p) a composite number?
False
Is (-468930267)/(-2384) - (-1)/16 a prime number?
True
Suppose 133115 = 4*w - 78353. Is w composite?
True
Suppose -j = h - 25, 5*j = 2*h - 27 - 2. Suppose h*f - 17*f = 6265. Is f prime?
False
Let f(i) = i**2 - 36*i + 271. Let k be f(24). Is 