+ 5*d + 213 = 0. Is u a prime number?
True
Let s = 519819 + -334318. Is s prime?
False
Let k(m) = m**2 - 15*m - 211. Let h be k(24). Suppose -3*s = -2*d + 30260, -h*s + 17856 = -4*d + 78378. Is d a composite number?
True
Suppose -k + 10 = -r, 3*r + 4*k + 50 = -1. Is -8 - r - (3 - 5259) composite?
False
Suppose -2*i + 296 = -4*x, -4*x - x - 3*i - 348 = 0. Let o = x - -72. Suppose o = l - 3*c - 1078, -5*c = -3*l - 2*l + 5360. Is l a prime number?
True
Let u(f) = 5 + 4*f - 20 - 7 - 12. Let i be u(8). Is 6/i*(4 + (-3 - 80)) composite?
True
Let g(i) = -3601*i + 1198. Is g(-97) prime?
False
Is (-4 - -2) + 203779 + 12 a composite number?
False
Suppose -74*b + 81*b - 116410 = 0. Is 1*((5 - 4) + b)*5 prime?
False
Let l = -112208 + 219775. Is l composite?
True
Suppose -h + 26298 = 8*h - 43407. Is h composite?
True
Suppose -3*r + 27052 = -s, 45*s - 36051 = -4*r + 50*s. Is r prime?
False
Let b(j) = 53*j**2 - 17*j + 1913. Is b(88) composite?
True
Let b be -2 + 6 + -4 - (-12970 + -1). Suppose 0 = 16*s + b - 77595. Is s composite?
True
Suppose -2*h - 2*d + 24453 + 1233781 = 0, 2516460 = 4*h + 2*d. Is h prime?
True
Suppose 2*z - 10 = -2*o - 2*o, 4*o - 5*z - 17 = 0. Let v(n) = 6*n - 33*n**o - 1 + 5 - n - 3*n**2 + n**2. Is v(-3) a prime number?
False
Let l(g) be the third derivative of g**8/6720 + g**7/280 + g**6/720 - g**5/10 - g**4/3 - 25*g**2. Let m(d) be the second derivative of l(d). Is m(-7) prime?
True
Let x(p) = 6*p**2 - 74*p + 9. Let a be x(12). Let g(z) = -2*z**3 - 15*z**2 + 30*z - 110. Is g(a) a composite number?
True
Suppose -2822061 + 104738 = -19*a. Is a prime?
False
Is (-44)/((-4312)/40631430) + 8/14 a composite number?
False
Suppose -4*j + 2068 + 9916 = 0. Is (j - 2)/3 + 5 composite?
True
Suppose 0 = -5*u + 10 - 0, -40 = -5*f - 5*u. Let b(l) = -l**2 + 6*l + 1. Let t be b(f). Is 765 - (-2 - t)*6/18 a prime number?
False
Let l = -3246 + 5917. Let z = l + -666. Is z prime?
False
Let x = 39 - 6. Suppose x*j + 10737 = 42*j. Is j a composite number?
False
Let z = -191 + 200. Suppose 4155 + 50916 = z*q. Is q a composite number?
True
Is ((-2)/(-14))/(52/16863028) a prime number?
True
Let m(o) = -163872*o - 2235. Is m(-6) composite?
True
Let q be (-1294266)/(-63) - (-8)/84. Let p = 7647 + q. Is p a prime number?
False
Let t = 14401 + 3611. Suppose 9*z + 3*z = t. Is z composite?
True
Let z(j) = 14182*j**2 - 74*j + 101. Is z(-5) prime?
False
Is 81549 + (19 - (37 - 16)) a composite number?
False
Suppose -9*f + 6*f + 39 = 0. Suppose 0 = -3*o + 22 - f. Is o/((-18)/(-4773)) - 27/(-18) a composite number?
False
Suppose -4*n + 667905 - 11874 = 5*o, -5*o = -n - 656036. Is o prime?
False
Suppose 2*k - w - 32093 = 0, -33371 = -4*k - 3*w + 30780. Is k a prime number?
False
Let q(k) = -3*k - 3. Let l(z) = 11*z + 12. Let f be l(-1). Let c be q(f). Let r(w) = 70*w**2 - 6*w - 23. Is r(c) a composite number?
True
Suppose -3 - 2 = 5*y - 5*g, 4*y - 3*g + 4 = 0. Suppose -x = w - 0*w, 0 = x - 5. Is 519 + 10/w*y prime?
True
Let r(d) be the third derivative of -1/12*d**4 + 1/10*d**6 - 1/60*d**5 + 2*d**3 + 0 + 9*d**2 + 0*d. Is r(5) a composite number?
True
Let a(x) = -2*x + 38. Let b be a(11). Suppose -5*m = 2*l + 2, -3*l = m + l + 4. Suppose -b*n + 21*n - 10785 = m. Is n a prime number?
False
Suppose 4*v = -3*u - 8 + 15, -2*u = -2*v + 14. Let x(h) = h**2 - 4*h + 3. Let r be x(4). Suppose v*j + r*o - 3901 = 0, 3*j - j + 2*o = 1948. Is j prime?
False
Let g(p) = 80*p - 53. Suppose -44*h = -51*h + 112. Is g(h) prime?
False
Let q be 168/72 - (-1)/(-3). Suppose -6*s = q*s - 10104. Is s composite?
True
Let b(h) = 1388*h**2 + 13*h - 177. Is b(8) prime?
False
Let u(y) = -y**3 - 6*y**2 + 4*y + 8. Let x be u(-6). Let a = -13 - x. Suppose -a*k + 228 = -159. Is k composite?
True
Let u(c) = 153635*c**2 - 141*c + 9. Is u(2) a composite number?
False
Let v = -73 - -73. Suppose 2*d - 481 - 913 = v. Is d prime?
False
Let h = -3218 - -1630. Suppose 2*v = 3*n - 1042, v + 667 = -5*n + 120. Let a = v - h. Is a a composite number?
False
Suppose -4*d = -7*d - 4434. Suppose -5*s + 11 = -2*h, -8*h - 5*s = -3*h + 10. Is 1 + h - (-5 + d) a composite number?
False
Let k be 5/(-70)*-4 + (-1088)/(-14). Let v = -74 + k. Is (-93)/(-6)*(6 - v) + 3 a composite number?
True
Let z be (4/3 + -2)*42/(-4). Suppose 0 = -3*j + 15, j = -2*p - 44 + z. Let v(f) = -112*f + 22. Is v(p) prime?
False
Suppose 1931 = -3*w - 2*g, -2*w + 5*g + 0*g = 1319. Let b = w + -427. Is 7/(21/b)*4/(-8) prime?
True
Suppose -5445949 = 35*j - 40*j + 3*h, -5*j = 5*h - 5445965. Is j a prime number?
True
Suppose -6 - 1 = 7*n. Is 200270/(-42)*(n + -2) prime?
False
Let i = 85 + -83. Suppose -i*f = s - 1180, 0*s + s = -3*f + 1183. Is s a composite number?
True
Suppose 123*f + 49*f + 79292 = 0. Let q = -133 - -259. Let v = q - f. Is v prime?
True
Suppose y = j + 51 - 22, -4*j = 3*y - 108. Suppose 30*l - y*l + 382 = 0. Is l prime?
True
Let u(h) = h**2 - 8*h + 12. Let g be u(3). Let a(l) = 4*l + 3. Let k be a(g). Is (69/k)/(3/(-261)) a prime number?
False
Let c = 122 + -61. Let a = 3 - c. Is (4 - a/(-3))/(2/(-3)) prime?
True
Let n(b) = 3*b**3 - 33*b**2 - 8*b + 1. Suppose 13 = -u - 0*u + h, -5*u - 4*h - 29 = 0. Let i = 21 + u. Is n(i) a prime number?
True
Let r(k) = -k**3 - 14*k**2 + 14*k - 11. Let w be r(-15). Let d be w + (-3)/3 - 3168. Is (-4)/6 - (-2 + d/9) a composite number?
False
Let z(v) = -7*v**3 + 4*v**2 + 7*v + 7. Suppose -7 - 29 = -3*r. Suppose 22*p = 25*p + r. Is z(p) a composite number?
False
Let d(g) = 9772*g**2 - 40*g - 211. Is d(-4) composite?
True
Suppose 2*g = 2*y - 8, y - 5*g = -y + 20. Suppose y = -2*z - 5*v + 1029, 137 = -z + v + 655. Is z composite?
True
Let f(n) = -3335*n + 58. Let t(u) = u + 3. Let c(j) = f(j) + t(j). Is c(-4) a composite number?
False
Is 17232306/294 + (-3)/((-63)/(-6)) prime?
True
Let g be (-228)/36*(70 + -1). Let u = -186 - g. Is u a composite number?
False
Suppose -109732 = 4*h - 8*h. Suppose 0 = 4*j + 4*o - 21944, -5*j = o + 3*o - h. Is j a prime number?
False
Suppose -19*o + 1921059 = -11663428. Is o composite?
True
Let y(i) = 347*i**3 + 2*i**2 - 2*i - 9. Let f be y(3). Let t = f + -5587. Is t a prime number?
False
Let j(u) = 23*u**2 - 35*u - 74. Let w(m) = -8*m**2 + 0*m - m + 8*m + 5*m + 25. Let p(o) = 6*j(o) + 17*w(o). Is p(-6) a prime number?
True
Let w be -2 + 7 + -3 + 8. Suppose -x - 30501 = -w*x. Is x prime?
True
Let s(f) = -2*f**3 + 2*f - 9 + 7*f**3 - 5*f**2 + 3*f**2. Suppose -6*b + 2*b - 5*i = -6, 3*i = -5*b + 14. Is s(b) a composite number?
True
Suppose 5*c + 5 = 0, c = 8*x - 4*x - 93669. Is x prime?
True
Suppose -5*k = -s - 21, -5*k + 3*s + 28 = 15. Suppose 33540 = k*v + 10*v. Let c = v - 1439. Is c a composite number?
False
Suppose 2*a - 3078 = -4*i, 4*i + 886 = -a + 2423. Is a composite?
True
Let r = 572451 + -114289. Is r a prime number?
False
Let y(s) = -33675*s + 2303. Is y(-14) composite?
True
Suppose -5*f - 3*q + 11 = -0*f, 5*q - 12 = -2*f. Let u be (3 - 6) + f + 2. Suppose p - 2178 - 584 = -4*o, u = o - 3*p - 697. Is o prime?
True
Let s be 14 - 13 - 17*-1. Let g(z) = -z**3 + 18*z**2 + 23*z + 17. Is g(s) a prime number?
True
Let m = 153389 + -88956. Is m prime?
True
Let t(g) = -360990*g - 1327. Is t(-2) composite?
False
Let a(n) = -6158*n + 15. Is a(-3) composite?
True
Suppose 2*b - 4*j - 2006202 = 0, 5015496 = 5*b + 861*j - 862*j. Is b a prime number?
False
Let h(a) = -a**2 + 7*a - 20. Let p be h(7). Let s(l) = -l - 15. Let d be s(p). Suppose -d*x + 1651 + 3784 = 0. Is x prime?
True
Let a = -4354 - -12329. Let v = a - -820. Is v a prime number?
False
Suppose -4*o = -5*p - 559192, -286166 + 6560 = -2*o + 5*p. Is o prime?
False
Let g = 141 + 340. Let j be 5 + -3 + 6*g. Suppose 11*v - j - 8409 = 0. Is v a prime number?
False
Suppose -2*c = 2*x - 39556, 4*x - 5*c - 16960 = 62089. Is x composite?
True
Suppose -242 - 1088 = -7*o. Suppose o + 164 = v + 5*a, 4*v - 1501 = -3*a. Is v prime?
True
Let i(g) = 726*g - 5611. Is i(9) a prime number?
False
Let w = -175265 + 266494. Is w composite?
False
Suppose 5*j + 5 + 15 = 0. Let q(t) = 109*t**2 - 3*t - 23. Is q(j) a composite number?
False
Let x be -6 + 11/(-4)*-4. Suppose -2*y - 4986 = -x*q + 13419, -4*y + 11069 = 3*q. Is q a composite number?
True
Let m = -8 + 13. Suppose -65*q + 74*q = 18. Suppose -y + 1447 = q*y + m*z, 2*y + 2*z = 962. Is y 