(-37) a prime number?
False
Let m = 282997 + -157566. Is m a composite number?
True
Suppose 5*f = -3*x + 15, 4*f = 5*x - 11 - 14. Suppose -6*g + 17058 = -f*g. Is g prime?
True
Suppose -4*p = -4*k + 2000, 3*k + 8*p - 13*p - 1508 = 0. Let n = k - 30. Is n composite?
True
Let b(q) = 6*q - 29. Let j be b(6). Suppose -4*n = 2*i - 72, i - 59 = -3*n - j. Is 15*(n/3 + 1/(-1)) prime?
False
Let h(d) = 16*d**2 + 3*d + 14. Suppose -o - 6 = 5*g + 3*o, -5*o - 22 = -g. Suppose g*v - v = 5*w - 6, -18 = -3*v + 3*w. Is h(v) prime?
False
Let k(n) = -4*n**3 - 12*n**2 + 2*n + 8. Let p be k(-3). Suppose 3*l + 2770 = j, p*j + 18*l - 14*l = 5510. Is j composite?
True
Suppose -3*x + 197775 = -3*t, -2*x + 150496 = 2*t + 18662. Is x a composite number?
False
Let v(n) = 17697*n + 13040. Is v(13) a prime number?
True
Let w(x) = 412*x + 3313. Is w(0) prime?
True
Let y(s) = 13151*s + 237. Is y(2) prime?
True
Let h(m) = m**3 + 11*m**2 + 13*m + 30. Let s be h(-10). Let b = 25 + -21. Suppose -b*z + 7*z - 1137 = s. Is z a prime number?
True
Let f = -62615 - -97074. Is f composite?
True
Suppose 8*u = 33 + 39. Suppose -3*j + 2351 = 4*m, -5*j - 4 = -u*j. Is m a composite number?
False
Let j(d) = 334*d**3 + 4*d**2 - 5*d - 3. Let w(a) = 1003*a**3 + 14*a**2 - 17*a - 10. Let b(s) = 7*j(s) - 2*w(s). Is b(2) a prime number?
False
Let p be (-4)/(-24) + (-16363)/6 - -4. Let i = -1258 - p. Is i a prime number?
False
Let f(n) = -n**3 + 9*n**2 + 12*n - 18. Let p be f(10). Let k be 1 - p/1 - (0 + 1). Is (4 + 629)*3 - k a composite number?
False
Let h(d) = -202*d + 115. Let a be h(28). Let g = a + 12584. Is g composite?
False
Let l(u) = -u**3 - 18*u**2 - 16*u + 17. Let t be l(-17). Let b(i) = -i**3 + i**2 - i**2 + 0*i - i**2 + 641 - i. Is b(t) a composite number?
False
Let h = 508 - 1652. Is 4/22 - 8/(h/536081) prime?
False
Let p(z) = 1582*z - 12667. Is p(65) composite?
False
Let a(m) = 52*m**2 - m + 7. Let p(f) = 156*f**2 - 4*f + 20. Let r(v) = -11*a(v) + 4*p(v). Let s be ((-92)/(-20) - 3)/(4/10). Is r(s) prime?
False
Let v(s) = s**3 + 3*s**2 - 4*s + 3. Let f be v(-4). Let d be (-12*(-5)/(-90))/(2/(-9)). Suppose 8 = f*q - 1, -d*o + 3*q + 330 = 0. Is o composite?
False
Let s(i) = -i**2 - 17*i - 22. Let k be s(-15). Suppose 5*f = -13 + k. Is (-3)/f - 35/(-14)*88 a prime number?
True
Let c be 1 + 15/(-13) + (-10)/390*189. Let u(b) = 621*b**2 + 2*b - 4. Let q be u(3). Is q + c + 0 + 5 prime?
True
Let t(x) = -176452*x - 259. Is t(-3) composite?
False
Suppose -17*o - 958 = -37*o + 22*o. Suppose -3*c + 1116 = -1200. Let a = c + o. Is a prime?
True
Let z(b) = -259*b**3 - 3*b**2 + 4*b - 3. Let k be z(2). Let u(j) = 396*j + 86. Let l be u(-9). Let q = k - l. Is q composite?
False
Let q(l) = 214*l - 178. Let o(w) = -71*w + 60. Let c(b) = -7*o(b) - 2*q(b). Suppose 5*z - 2*d = -4*d + 31, -5*d + 4 = 2*z. Is c(z) a prime number?
True
Suppose -5*r = 5*j - 4*j - 36, -r - 12 = 5*j. Let c(p) be the first derivative of 3*p**4/4 - 4*p**3 + 7*p**2 + 7*p - 55. Is c(r) a prime number?
True
Suppose 0*v + 2380 = 4*v. Let g = 15429 + -14538. Suppose 2*l + 3*w = v, -6*l - 4*w = -3*l - g. Is l prime?
True
Suppose 5*m = -5*m + 7*m. Suppose m = 5*o - 8*o - 4*p + 205, 63 = o + 4*p. Is o a prime number?
True
Let q = -63 + 67. Suppose 0 = -5*l + w - 9, q*l = 2*w - w - 8. Is l - (-4 + -2)/(3/46) a prime number?
False
Suppose -2*n + 191736 = 2*h, 4*n - 5 = -9. Is h a composite number?
False
Suppose 2*l + 6 = -l - 3*a, -a = 1. Let b = -20 + 21. Is (705 - -1 - l)/(0 + b) composite?
True
Let b(u) be the second derivative of -84*u**5/5 - u**4/12 - u**3/6 - u**2/2 + 344*u. Let x(z) = z**2 + 2*z - 4. Let v be x(-3). Is b(v) a prime number?
False
Let k be 135/4 + 35/28. Suppose -21*s - 40012 = -k*s. Is s prime?
False
Let i(c) = 287*c**2 + 110*c - 41. Is i(8) a composite number?
False
Let d(f) = -2*f + 43. Let b be d(18). Suppose -5*m - 1812 = b*m. Let j = m + 906. Is j composite?
True
Let n = -350 - -150. Let i be (-17)/((-4)/(1*n)). Let l = 2949 + i. Is l a composite number?
False
Let x = 13 + -11. Suppose -x*w + 68 = -v - 220, 2*w = 2*v + 288. Is (-4)/(-8)*(w + 1*-2) a prime number?
True
Let a(x) = x**3 + 5*x**2 + 6*x + 5. Let u be 3 - 2/((12/(-9))/(-4)). Let l be a(u). Let f(z) = 81*z - 32. Is f(l) prime?
True
Let d(s) = 940*s - 17. Let j = 42 + -36. Is d(j) a composite number?
False
Suppose j - 106867 = 10*m - 5*m, m = -2*j + 213668. Is j a prime number?
False
Let b be 25238/(-20) - (-4)/((-200)/5). Is (b/(-6))/(25/225) prime?
False
Suppose 19*d - 4321191 - 1030871 = 383335. Is d a composite number?
True
Is 140/(-140)*((-50440 - -1) + -2) a composite number?
False
Let d(u) = -2202*u - 9. Let k be d(-16). Let h = k + -19232. Is h composite?
False
Suppose 4*k + 164*f = 167*f + 413524, 5*k + 2*f - 516951 = 0. Is k composite?
False
Let m = 122 - 119. Let p(g) = 54*g**3 + 4*g**2 - 6*g + 10. Let s(i) = -108*i**3 - 7*i**2 + 11*i - 21. Let r(d) = -5*p(d) - 3*s(d). Is r(m) prime?
True
Let x be (-14)/(14/7*(-2)/2). Let b be (-2)/7 + 72/x. Suppose 13*u - b*u - 57 = 0. Is u a prime number?
True
Suppose 46*h = 102*h + 127*h - 43829781. Is h prime?
False
Let r be (-2)/3 + 4/6. Let l(d) = d**3 - 16*d**2 + 25*d + 42. Let j be l(14). Suppose -a + j*a + 391 = r. Is a prime?
False
Let n(l) = l**3 + 2*l**2 - 2*l. Let f(t) = 10*t**3 - 13*t**2 - 37*t + 33. Let q(i) = f(i) - 6*n(i). Is q(13) prime?
True
Let v = -6175 - -10372. Is v a composite number?
True
Suppose 2*b - 707359 = -c, -5*c - 3*b = -7*c + 1414676. Is c a prime number?
False
Suppose -6*t + 7*t - 87800 = -3*s, -t = s - 87786. Is t a composite number?
True
Suppose -3*i + 5*s + 130 = 0, 2*i + 3*i + 5*s = 190. Let j = 79 - i. Is j prime?
False
Suppose 534*a = 543*a - 727641. Is a a prime number?
True
Let p(w) = -w**3 - 29*w**2 - 59*w - 81. Let n be p(-27). Suppose 3*t + 53 = -v + 13, 0 = -3*v - 5*t - 108. Let y = n + v. Is y composite?
False
Let r be -1 + 76864 + 6/(-3) + 3. Suppose -3486 = 19*p - r. Is p prime?
False
Let s = -92 + 90. Let n(u) = 274*u**2 - u - 1. Is n(s) a composite number?
False
Is 98938 - (240/(-8) - -11) composite?
True
Let f = -60 + 576. Suppose -x + f + 131 = 0. Is x a composite number?
False
Suppose g - 3*f - 250087 = 1163551, -5654517 = -4*g + 5*f. Is g a prime number?
True
Suppose -3*x + 47251 = -5*m + 130585, 0 = 4*m - 8*x - 66628. Is m composite?
True
Let t be (3 + 95/(-15))*27/(-15). Suppose 2*p + t = 0, -2*p + 2 = -k + 13. Suppose -k*a = -1379 - 5526. Is a prime?
True
Is 2/43 - 8044668786/(-8686) prime?
False
Let x(r) = -153*r + 1114471. Is x(0) a composite number?
False
Let o be 1/(14/(-4)) - 2193/(-301). Suppose 0 = 13*h - o*h - 282. Is h a composite number?
False
Let f(t) = -4*t**2 + 3*t + 10. Let j(x) = 8*x**2 - x + 9 - 22*x**2 + 10*x**2 + 3*x. Let p(r) = 3*f(r) - 4*j(r). Is p(-5) composite?
False
Let r(m) = -2*m - m**2 + 66 - m - 68. Let p be r(-2). Suppose -3*u + 1308 + 2214 = p. Is u composite?
True
Let l(v) = -76*v. Let h be l(-2). Suppose 0 = c - 4*f - h, -3*f + 2*f = -4*c + 533. Suppose -2*a + 6*a - c = 0. Is a a prime number?
False
Suppose 2*p - 56509 = 5*c, -9*p + 4*p + 141340 = c. Is p a composite number?
True
Let x(a) = 5*a - 44. Suppose 3*k - k = -4*r + 30, k + 55 = 5*r. Let l be x(r). Is 2/8*l*(-6414)/(-9) a prime number?
True
Let g be (-20)/(-45)*225/10. Suppose -g*i = -32072 - 110698. Is i a composite number?
True
Suppose -x + 60 - 43 = 0. Suppose -199507 - 30384 = -x*o. Is o a composite number?
False
Let x be 536/(-10) - 12/30. Let a be -3*284/x - 2/(-9). Is ((-638)/(-3))/(a/24) a prime number?
False
Suppose -4*x - 9156 = 7400. Let w = x + -2903. Is w/(-12) - (-7)/42 a prime number?
True
Let j be (-4)/3*(-18192)/4. Suppose -4*d + 5*n + j = -d, 4031 = 2*d - n. Suppose 0 = 3*p - d - 576. Is p prime?
True
Let v(w) = 77209*w - 17417. Is v(7) composite?
True
Let v = 111 + -107. Suppose -5*x - c + 11773 = 0, -5*x = v*c + c - 11785. Suppose -5*f + 3*d + x = 0, -f + 950 = f - 4*d. Is f composite?
True
Is 418178*(1 + (-10)/20) composite?
False
Let d(f) = -f**3 + f**2 - f + 35. Let a be d(0). Let v = a - 28. Suppose -v*s + 5*s = -230. Is s composite?
True
Is 171/(-12)*(-18978)/(-36)*-8 a composite number?
True
Suppose -74*r - 1991151 = -14253025. Is r a composite number?
False
Let b = 11 + -6. Let s = -672 - -677. Suppose 4*t - 1263 = -s*i + 8*t, -b*t