96*p - 386. Let s(w) = -w - 3. Let g(v) = l(v) + 3*s(v). Is g(16) composite?
True
Let k(c) = c**2 - 14*c + 12. Let p be k(12). Let a(x) = -4*x + 9. Let i be a(p). Suppose -268 = -r - 5*g, r + 4*g - 322 + i = 0. Is r prime?
False
Let m = -173 - -173. Suppose m = 10*w - 18*w + 45336. Is w a composite number?
True
Suppose 58*g = 15*g - 7485160 + 17959573. Is g a composite number?
True
Is 33/(3960/12048330) + (-1)/(-4) composite?
False
Let k = -848 + -218. Let h = 1799 + k. Is h a prime number?
True
Let r(d) be the first derivative of 9*d**3 + 6*d**2 - 5*d - 43. Is r(-4) a composite number?
False
Suppose 1549028 = 5*j + z, -25 = 5*z - 40. Is j prime?
False
Let m = -108292 - -388151. Is m composite?
True
Suppose -221*v + 16*v = -7041038 - 22029397. Is v composite?
True
Let a(l) = 2*l**2 - 11*l - 2. Let o be a(6). Suppose 0 = 7*p - o*p + 3. Is 3*p - (-3)/(6/3272) composite?
True
Let k = 8037 - 2436. Is k composite?
True
Let w = 10827 - -25364. Is w a prime number?
True
Let m(s) = -s**2 - 11*s. Let k be m(-11). Let g be (-10)/(-30)*27/3. Suppose -3*x - 2*o - 1093 = -3488, -g*o + 6 = k. Is x prime?
True
Is (-1 - 4908)*(1 + -2)/(-4 + 5) prime?
True
Let l(h) = -h - h**3 - 11*h - 4 - 5*h**2 + 4*h**3 + 0*h**3. Let u be l(9). Let d = u - 271. Is d composite?
False
Suppose 0 = 2*a - 6, -5*t - 2*a + 995002 = -671839. Is t a composite number?
False
Let q be 4/8 + 0 + (-9)/(-6). Suppose -v = q*v - 12. Suppose -3*r = -g - 11717, 0 = 4*r + v*g - 0*g - 15644. Is r a composite number?
False
Let z(g) = -11*g**3 - 18*g**2 - 25*g - 7. Let b be z(-12). Suppose -5*c + b = -8*v + 10*v, -3*c + 2*v = -10035. Is c composite?
False
Suppose 4*g - 2*g + 2*m - 712 = 0, -3*g + 4*m + 1047 = 0. Let x = -32 + 236. Let a = g - x. Is a composite?
False
Suppose -t + l + 142689 = 0, 4*l + 248708 - 962117 = -5*t. Is t prime?
False
Let p be -3*(-41)/123*(2 + 0 + 2). Let s = 4 + 0. Suppose p*z - 3669 = -4*i + 5*z, -3671 = -s*i + 3*z. Is i prime?
False
Suppose -58*o - 170532 = -4561770. Is o prime?
False
Let r(l) = l**2 + 2*l - 22. Let z be r(4). Suppose -5*s = z - 12. Is (742 - (5 - s))*1 a prime number?
True
Let q(h) = 32851*h - 12. Is q(1) composite?
False
Let d(f) = 50434*f**2 - 14*f + 5. Is d(4) a composite number?
False
Let n(c) = -c**3 + 7*c**2 - 7*c + 8. Let o be n(6). Let w(i) = -15*i**o - 14*i**3 - 23 - 10*i**3 + 43*i**3 - 17*i**3 + 8*i. Is w(12) prime?
False
Let o(j) = -111242*j - 1029. Is o(-4) prime?
True
Is (4 + (-3 - -2))*7/63*1251903 a prime number?
False
Suppose -2*c = -5*y - 8779, 2*c + 5*y = 9191 - 442. Suppose -c + 987 = -7*q. Is q composite?
True
Let y(v) = 48106*v - 3727. Is y(6) a composite number?
True
Let z = -435879 + 1006422. Is z a prime number?
False
Suppose 5*q = -4*g + 62 + 55, -4*q + 3*g = -106. Suppose q*l = 21*l + 42356. Is l composite?
False
Is 8/10 + ((-5249052)/(-20))/(-3 + 6) a composite number?
True
Let b(v) = -v**2 + 5*v - 2. Let z be b(3). Suppose z*f = 10*f - 9396. Let p = f + 1451. Is p prime?
False
Let d(y) = -4*y**3 + 11*y**2 - 16*y + 1. Let k be d(-7). Suppose -k - 1108 = -12*c. Suppose b = c + 778. Is b prime?
True
Suppose 1420 + 1170 = 7*x. Let o = 1339 - x. Suppose -59*u + 62*u - o = 0. Is u prime?
False
Suppose 155*c + 56*c = -36474969 + 91636066. Is c composite?
False
Suppose 5*u - u - 7031 = 1701. Is u prime?
False
Is 98779 + 17 + (-5 - 8) a composite number?
True
Let i(p) = -40 + 142*p + 19*p + 172*p + 36. Let g = -1 - -3. Is i(g) composite?
True
Let p(t) = -6*t**2 + 17593*t - 91 - 12*t**2 - 17548*t - t**3. Is p(-33) prime?
True
Let d be 2/((1 - -1)*25/25). Is (d + 2162)*(-2)/(-6) composite?
True
Let n = -2 + -7. Let y(r) = -5*r**2 + 12 + 7*r - 4596*r**3 - 12*r + 4595*r**3. Is y(n) a composite number?
True
Let a = 391 + -382. Is (-140)/630 - ((-61022)/a + -2) a composite number?
True
Let h = 29 - 160. Let b = h + 75. Is ((-3)/(18/764))/(b/84) prime?
True
Let c(m) = -5181*m - 1295. Is c(-34) a prime number?
True
Let m(d) = 7*d**3 + 28*d**2 + 5*d + 44. Let t(b) = 5*b**3 + 26*b**2 + 5*b + 43. Let u(r) = 2*m(r) - 3*t(r). Is u(-27) a prime number?
True
Let d be (-6 - -3)*14/(-21). Suppose -q = -6*v + 3*v + 1762, d*v - 1176 = 2*q. Is v composite?
False
Suppose 0 = -x + 12 - 6. Let r(u) = 7 - 7*u + 2*u**2 + x + 7*u**2. Is r(9) a composite number?
True
Let b = 764 - 762. Is (b + -2559)*3/(-1) a composite number?
True
Let b(l) = 5*l + 16. Let z be b(-3). Suppose 5*h + 4 = -2*r, -h - r + z = -0. Let k(u) = 1124*u**2 - 2*u - 1. Is k(h) a prime number?
False
Let z be (0 - 11181/(-2))*4/6. Suppose -5*g + 26639 + z = -4*a, 3*g - 18225 = -3*a. Is g a composite number?
True
Let g = 121 + 662. Suppose -q + 2*q = -3*s + 799, 3*s - g = 3*q. Is s a prime number?
False
Let d(m) = 3*m + 21. Let q be d(-7). Let g be ((-1)/3)/(1/(-9) + q). Suppose -2*u + 3*u = g*n - 3466, 4*n - u - 4623 = 0. Is n a composite number?
True
Let a(j) be the second derivative of 1817*j**4/12 - j**3/2 - j**2/2 - 7*j. Let d = -185 + 184. Is a(d) prime?
False
Let s(h) = h**2 - h - 28. Let f be s(-5). Suppose -3*g + 2*g + 4*r + 2747 = 0, -f*g + 5549 = 3*r. Is g prime?
True
Let x = 33121 + -7328. Is x a prime number?
True
Let d(f) be the first derivative of -11/3*f**3 - 3/2*f**2 - 29*f + 41 + 1/4*f**4. Is d(17) prime?
False
Let m(j) = -j**2 - 5*j - 4. Let k be m(-4). Suppose k = 6*p - 4 - 8. Is 1 + -2 - -207*p a composite number?
True
Let v be (-3 + 1)*7/2. Let l(d) = -d**2 - 9*d - 12. Let i be l(v). Suppose i*j - 3062 = 2784. Is j composite?
True
Suppose 0*h + 58 = l + 3*h, -4*l + 181 = -5*h. Let u = l - 48. Suppose -a = -3*z - z + 595, a = u. Is z prime?
True
Let z(p) = p**3 + 10*p**2 - 12*p - 6. Let a be z(-11). Suppose 3*l - 5771 = 5*v, -5*l - v + 3843 = -3*l. Suppose -a*u - 667 + l = 0. Is u composite?
False
Let s(l) = 15671*l - 607. Is s(6) a prime number?
True
Let n = -259 - -249. Is (-88517)/(-65) - (-8)/n a composite number?
False
Suppose -8*w - 3*t = -9*w - 18, -5*t + 65 = -4*w. Is ((-1)/(-3)*-1)/(w/159345) composite?
False
Let d(q) = -267*q**2 + 5*q - 7. Let u(n) = -1335*n**2 + 26*n - 35. Let p(o) = -11*d(o) + 2*u(o). Is p(2) a composite number?
False
Suppose -18*v + 9*v + 13875864 = 15*v. Is v a composite number?
True
Suppose k = 1, -6 = -2*z - 3*z + 4*k. Suppose -29*v + 28*v - z*r = -2699, -5*v - 5*r + 13515 = 0. Is v prime?
True
Suppose -5*k + 30 = 0, 0 = -3*u + 8*u - 2*k - 8955013. Is u prime?
False
Let q be 3*(-2)/6 + -5947. Let b = q + 11087. Suppose 12*j = 3*j + b. Is j composite?
False
Suppose 10*x - 3*r - 118048 - 148319 = 7*x, 0 = 5*r. Is x a prime number?
True
Is (-4 - (-382631 + -1 + -3)) + -10 composite?
False
Let n(a) = -242*a + 9. Suppose 12*v = 9*v - 15. Is n(v) a prime number?
False
Let c be ((-2)/5)/(12/(-123780)). Suppose 117*u = 119*u - c. Is u prime?
True
Is 10/24*(-27)/(-15)*7468 a prime number?
False
Let h be 2/9 - 742/(-63). Suppose 0*p = 4*p - h. Is 1312 + p + 0 + 0 a prime number?
False
Let z = -222 - -225. Suppose -12 = -z*w, -2*o + 3*w - 225 = -595. Is o composite?
False
Suppose 8 = 4*d - 24. Suppose 5*n - d*n = -9. Suppose 4*q - 1836 - 3904 = n*w, 3*q - 4322 = -2*w. Is q a prime number?
False
Let g(r) = -979*r + 1252. Is g(-19) prime?
True
Let v(w) = 1113 - 2*w + 146 + w**3 - 2*w**3. Is v(0) a prime number?
True
Let z be 12 - (-1 - (3 + -4) - -3). Suppose 0 = z*n - 479 - 9259. Is n prime?
False
Suppose -5*d + 2*n - 20 = -2*n, 0 = n - 5. Suppose 4*b - 30 = -a - 9, d = 3*b - 6. Let o(w) = 2*w**2 - 2*w + 19. Is o(a) a prime number?
True
Let z be 1*2 - (-4 - 0). Let m be -1*((-10)/z)/(4/12). Suppose 3*h - 1562 - 1417 = -4*t, m*h + 5*t = 4960. Is h composite?
True
Suppose 5*m + 401287 = 3*x, 2*x - 80558 = 5*m + 186960. Is x a prime number?
True
Let g(v) = -4*v**2 - 23 - 27*v + 19*v**2 - 2*v**2. Is g(-11) a composite number?
False
Suppose -y + 61717 = -4*w, 2*y - 5*w - 157054 = -33602. Is y composite?
True
Let v be 34/8 + 1/(-4). Let f(s) = -54*s + 7 + 143*s + 291*s. Is f(v) composite?
True
Suppose -89733 = -4*t - 5*p, -12*p = -5*t - 17*p + 112170. Suppose t = 6*i - 21657. Is i a composite number?
False
Let c = 139883 - 82416. Is c a composite number?
False
Is (1440/1800)/(2/57445) a prime number?
False
Suppose 0 = -4*m + 45 - 81. Let j(b) = -32*b**3 + b**2 + 22*b + 20. Is j(m) a prime number?
False
Let j(r) = -3*r - 14. Let b be j(-5). Let l(n) = 