e of w(x). Is m(-4) prime?
True
Suppose -q + 2*n + 3*n = -205, -5*n + 485 = 2*q. Let c = -123 + 84. Let r = q - c. Is r prime?
True
Suppose 15451 = t + 2*c, 30867 = -4*t + 6*t - 3*c. Is t prime?
False
Let q(m) = 47*m**2 + 3*m + 5. Let p = 38 - 40. Is q(p) a composite number?
True
Let r(u) = -u**2 + 0*u - 6*u - 5 + 3 + u. Let b be r(-4). Suppose 1 + 7 = 2*o + b*g, 0 = -5*g - 15. Is o composite?
False
Let s = -7 - -23. Let u be (2/4)/(2/s). Suppose -189 = -5*l - u. Is l a prime number?
True
Let c(s) = -6*s**3 + 9*s**2 - 23*s - 97. Is c(-10) composite?
True
Suppose -12*x = -16*x + 27524. Is x a composite number?
True
Let k = -8278 + 11867. Is k a composite number?
True
Let z be (-29)/2 - (-3)/6. Let b be z*5*(-2)/4. Is 3*(-3)/((-9)/b) prime?
False
Let l(j) be the first derivative of 16*j**2 - j + 10. Suppose 3*g - g - 14 = 0. Is l(g) a prime number?
True
Suppose -i = i - 4. Let j(o) = 67*o**2 - 2*o - 4. Let p be j(i). Let l = 605 + p. Is l a prime number?
False
Suppose 66476 + 138293 = 29*z. Is z a prime number?
False
Is -112*1532/(-10) - (-300)/500 prime?
True
Let o(t) = 8*t**3 + 4*t**2 + 2*t. Let c be o(-1). Suppose 4*w - 331 = -3899. Is ((-3)/c)/((-2)/w) composite?
False
Let b(j) = -5*j**2 - 2. Suppose 0 = -3*i - 2*g - 2, 0 = 5*i - 3*g + 31 + 4. Let n(l) = -9*l**2 + l - 3. Let s(f) = i*n(f) + 7*b(f). Is s(7) composite?
False
Let m(h) = 50*h**2 - 17*h + 19. Is m(6) composite?
True
Let y = -22 - -33. Suppose 0 = y*c - 10*c - 3793. Is c prime?
True
Let a = -15 + 19. Let x be (-79)/a*-6*2. Suppose 2*i = -i + x. Is i a prime number?
True
Suppose 5*q - 5*z = 991 + 639, -976 = -3*q + 4*z. Let h = q - 171. Is h a composite number?
False
Let x = 23 - 18. Suppose 0 = 3*a + x*s - 319, -5*a = -3*s - 29 - 548. Is a a prime number?
True
Let y be 646 + 3/(-6)*-2. Let s = 135 - 73. Suppose -s = -k + y. Is k prime?
True
Let c = -34 - -17. Let p = -19 - c. Is (p + -1172)*(-1)/2 prime?
True
Let i(c) = -21*c**2 + 9*c - 1. Let u be i(-10). Suppose 2*p - 2 = 3*x - 3*p, 3*x = -3*p - 18. Is x/22 + u/(-11) prime?
True
Suppose -2 = -2*d, -2*d + 486 = 3*z - 6350. Let n = z + -1311. Is n a prime number?
True
Let x(l) = l + 484. Let b be (20/5 + -4)/1. Let y be x(b). Suppose -830 = -2*n + 2*q, y = n + 3*q + 85. Is n composite?
True
Let r(o) = o - 4. Let m be r(0). Let h(u) = u**2 + 3*u + 1. Let g be h(m). Suppose g*a = 2*b + 187, 0 = a + 3*b - 6*b - 40. Is a a prime number?
True
Let n = 2534 + -1447. Let w = n - -646. Is w composite?
False
Suppose -665*v + 22998 = -659*v. Is v a composite number?
False
Let c = 3902 - 2536. Is c a composite number?
True
Let p(s) = s**3 + 5*s**2 + 4*s + 3. Let g be p(-4). Is g + (-2 + 84)*1 a composite number?
True
Let t be (-32)/(-4) - (2 + 1). Suppose 4*d = 2*g + 7943 + 3765, -5*d + 14625 = -t*g. Is d composite?
True
Let f = -3121 - -9318. Is f a composite number?
False
Is 2825 + 1/((-4)/24) prime?
True
Suppose -3*b + p = -0*b - 3846, -6412 = -5*b + p. Is b composite?
False
Let b = 61735 + -35832. Is b prime?
True
Suppose -6*a = 10577 + 4669. Let s = 1952 - a. Is s prime?
True
Let c(v) = -v - 1. Let b be c(-4). Suppose 5*u - 4*o = -0*o + 4779, b*u = -4*o + 2893. Is u prime?
False
Let u = 38953 + 2448. Is u a prime number?
False
Is (-17811)/(0 + -3) + (0 - -4) a prime number?
False
Let l be (-49820)/30 - (-4)/(-3). Suppose w = 2*w + 3*t - 2368, 0 = 5*w + 3*t - 11828. Let j = w + l. Is j composite?
True
Let i be 1 + (5 + -2 - -1). Suppose 5861 = i*t + 1516. Is t a composite number?
True
Suppose 2*r = -4*i + r + 7196, -2*r = 0. Suppose -6*a = i - 11201. Is a prime?
True
Suppose 39*k = 46*k - 3129. Suppose 3*r + 1571 = -5*q, 2 = 2*r - 4. Let z = q + k. Is z a composite number?
False
Let h = 67 + 110. Let u = -106 + h. Is u a prime number?
True
Is 7/1 + (9 - (-30730 + 19)) composite?
False
Suppose 2*c + 4*q = -q + 2169, 0 = -2*c + 4*q + 2214. Suppose 0 = -9*j + c - 431. Is j a prime number?
False
Let h = 1023 - 518. Let g be -10*(-25)/4*12. Suppose h = 5*t - g. Is t a prime number?
True
Suppose -2*l + 4*d - 10 = -l, 5*d = -5*l - 50. Let u be l/3*(-5 - -2). Is (10/4)/(u/140) prime?
False
Let g = 50370 - 12193. Is g a prime number?
True
Suppose -4*x + 479 = 5*i - 0*x, 2*i + 4*x = 194. Suppose 9*q - i = 4*q. Is q a composite number?
False
Let m = -4243 + 7362. Is m composite?
False
Let o = 2061 + -806. Is o a composite number?
True
Let m be 1/((-3)/(-33)) + 1. Let y be (m/(-9))/((-8)/6). Is y/(1*(-3)/(-174)) composite?
True
Let g = -71 - -74. Suppose 5*s - 1304 = -g*v + 6*v, -5*v + 534 = 2*s. Is s prime?
False
Suppose 9 = 3*z - 3. Let o be 116 + 2 - 27/(14 - 5). Suppose -r = 0, o = 5*m + z*r - r. Is m a prime number?
True
Suppose -27*o = -24*o - 3. Let d(b) = 673*b**3 - 2*b + 2. Is d(o) composite?
False
Let h(s) = -s**3 + 19*s**2 - 13*s - 82. Is h(13) a composite number?
True
Let r(x) = 279*x - 23. Let p be r(-5). Let m = p - -2541. Is m prime?
True
Is 0 + (-2 - (-9)/3) - -6004 composite?
True
Let u(h) = -h**3 + h**2 - h + 4. Let d be u(0). Suppose 2*c - 3*b = -0*c + 2668, d*c + 3*b = 5354. Is c a composite number?
True
Suppose 5*q - 9 = 6. Suppose 3*b = -2*l + 21, 4*b = q*l + 2*l - 18. Is (-1143)/l*(-6)/9 a prime number?
True
Let t(a) be the third derivative of -a**4/4 + 7*a**3/6 - 12*a**2. Is t(-8) a prime number?
False
Suppose -311*h = -324*h + 504673. Is h composite?
False
Suppose 7 = -4*j + 3. Let t(n) = -220*n + 1. Is t(j) prime?
False
Suppose -544 = -2*v + 2*n + 3210, 5*v = -4*n + 9349. Suppose 0 = 5*b - 1512 - v. Is b composite?
False
Let m = 15 - 11. Suppose -m*q - q = -95. Suppose -4*k + 33 = -q. Is k composite?
False
Let z(g) = -g**2 + 7*g - 6. Let r be z(5). Suppose -2*k + 676 = 3*f, -k - f - f + 339 = 0. Suppose -a + k = r*a. Is a composite?
False
Suppose -y = -3*g + 8, 0 = 3*g - 3*y + 4*y - 16. Suppose -3*a = -j - 5*a, 5*j = -g*a + 24. Suppose j*s - s = 4354. Is s composite?
True
Let c(z) = -z**3 - 15*z**2 + 10*z - 6. Let p be c(8). Let d = p - -2141. Is d prime?
True
Suppose -80624 = -4*t + 4*b, -5*t = -16*b + 18*b - 100759. Is t a prime number?
False
Let b(p) = 0 - 92*p**2 - 7 + 2 + 6*p + 389*p**2. Let o(z) = -z**3 - 3*z**2 + 4*z + 2. Let t be o(-4). Is b(t) composite?
True
Suppose d = -3*a - a - 2, -4*a = -3*d - 6. Is 337 - 2 - (-8)/d prime?
True
Let q(f) = -3*f**3 + 92*f**2 + 73*f + 65. Is q(31) prime?
True
Suppose 2*r + 4 = -2*h, 3*h = -4*r - 1 - 8. Let l(a) = 648*a + 1. Is l(h) composite?
True
Let o be (-20)/12*-21*39. Suppose 3*h - 3*w - o = 405, 5*w = 3*h - 1776. Is h a composite number?
False
Let q(b) = -2*b + 3. Let i be q(2). Let u be (-6 - (-4 - i)) + -3. Is 2/(-3) - 142/u a prime number?
True
Suppose -3*w + b + 308 = 0, 316 = -0*w + 3*w + b. Suppose o + 5*i - 131 = w, -4*o = -3*i - 848. Suppose 0 = 2*j - 3*d - o, -5*j + 512 = 4*d - 3*d. Is j prime?
True
Let h(a) = -a. Let b(j) = -83*j - 2. Let x(l) = b(l) + 6*h(l). Is x(-3) prime?
False
Let n be 3*(-3 + 52/6). Let u(d) = 10*d - 9 + 4 + 15*d + n. Is u(7) prime?
False
Let c(w) = 2*w**3 + w**2 + w + 6. Let h be c(0). Suppose a = h*a - 1615. Is a a composite number?
True
Suppose n = -2*m + 10, m + 0*n + 5*n = -4. Is ((-4581)/m)/3*-2 a composite number?
False
Suppose 0*v + 12 = 3*v. Is (v/(-2))/((-30)/22665) composite?
False
Suppose -3*h + 145586 = 5*v, -v - 5*h = -4*v + 87372. Is v a composite number?
True
Suppose 12*o - 7*o = 3*s - 6509, -5*s + 10867 = o. Is s composite?
True
Suppose y + 2*y - 2*p + 17 = 0, 0 = 2*y + 5*p - 14. Let o(z) be the second derivative of -31*z**3/6 + 2*z**2 + 7*z. Is o(y) a composite number?
False
Suppose 3*z + d = 15, 4*z - 8 = 3*d - 1. Suppose -z*l = 8, 1172 = -0*j + 2*j + 4*l. Let s = j + -405. Is s prime?
False
Let u be 11216/28 + -3 + 3/7. Let g = u - -2495. Is g a composite number?
True
Suppose -c - 2*s + 9447 = 0, -28329 = -8*c + 5*c - 3*s. Is c a prime number?
True
Let h(o) = 3*o**2 - 5*o - 49. Let u = 114 - 104. Is h(u) a composite number?
True
Let x be (-39)/2*(-26)/3. Let n = 280 - x. Is n prime?
False
Suppose -4180 = 3*n - 3*p - 1402, -1852 = 2*n + 3*p. Let k = -553 - n. Is k a prime number?
True
Let g = -107 + 112. Suppose g*y + 5*w = 19730, -y = -3*w - 5718 + 1784. Is y a prime number?
True
Is (3/(24/(-2230)))/((-1)/4) a composite number?
True
Suppose -3*k = 5*c, 5*k + 5*c = -0*c. Let l(u) = u + 11. Let o be l(-7). Suppose -d - 