i be m(2). Let f = i - -2422. Is f a prime number?
False
Let m be 3*(-4)/(-18) + 20801/33. Suppose 0*l + m = l. Is l a composite number?
False
Let h(d) = d**3 - 6*d**2 - 5*d - 10. Let n be h(7). Is 32175/81 + n/(-18) a prime number?
True
Let s(v) = -v**2 + v + 1. Let u(f) = -2*f**2 + 16*f - 1. Let l(b) = -5*s(b) + u(b). Let x be l(5). Suppose 0 = -4*y + 480 - x. Is y composite?
False
Suppose -m + 28934 = -2*r - 5593, -5*m - 5*r = -172575. Is m prime?
True
Suppose -3*w - 17*w + 20060 = 0. Is w composite?
True
Let b(t) be the second derivative of t**4/12 + t**3/2 + 5*t**2 - 6*t. Let p be b(7). Suppose 0 = o - 4*a - a - p, 5*o - 5*a = 300. Is o a composite number?
True
Suppose 11 = 7*w - 10. Suppose -2*k - w*q = -1748, -5*k + 4*q = 2*q - 4389. Is k prime?
True
Suppose 74*f = 71*f + 180801. Is f a composite number?
True
Let z(w) = 36*w**2 + w + 6. Let u be z(3). Suppose -u = 6*l - 9*l. Is l a composite number?
True
Let f = 830 - 301. Suppose -f - 720 = -t. Is t a composite number?
False
Suppose 0*v - 4*v = 4*n - 45080, 3*n + 33804 = 3*v. Is v a prime number?
False
Is ((-77)/(-7) + -6)*13791/5 a prime number?
False
Let b(q) = 149*q + 1. Let d(l) = -l. Let s(v) = 3*v. Let t(c) = 8*d(c) + 3*s(c). Let j(f) = -b(f) - 5*t(f). Is j(-2) composite?
False
Let p(d) = -10*d + 1. Let k be p(1). Let n be -1*(-366)/k*21. Let v = n + 1507. Is v a prime number?
True
Suppose 4892 = 3*j - 2*d, 1 - 16 = -3*d. Let c = j + -579. Is c composite?
True
Suppose 27*a - 21329 = 82162. Is a composite?
False
Let i = 31 - 27. Suppose i*d = -50 + 4902. Is d composite?
False
Let t(h) = 10*h**2 + 11*h - 13. Is t(-16) a prime number?
True
Let q(j) = -j**3 + 5*j**2 + 5*j - 7. Is q(3) composite?
True
Let c be 2 - 1*8/(-4). Suppose 3*h - 2*u - 2 = 2, 4*u + 4 = c*h. Is ((-633)/6)/(h/(-4)) prime?
True
Suppose 15 = r + 9. Let b(u) be the first derivative of 75*u**2/2 - 7*u - 1. Is b(r) composite?
False
Suppose 0 = -h - 2*h + 2217. Suppose h = 2*j - 621. Let u = j - 47. Is u a prime number?
False
Suppose 4*m - 5*r - 159 = -0*m, 3*r = -4*m + 135. Suppose n + 4*q + m = 149, 2*q + 4 = 0. Is n a prime number?
False
Let s = 5622 + 977. Is s composite?
False
Suppose 5*k = k + 36. Suppose 5*x = k*x. Suppose x = 9*g - 8*g - 14. Is g a prime number?
False
Let x = 139 + -138. Is 557/(2 + -1 + x - 1) prime?
True
Let i(s) = -984*s - 6. Let m be i(-2). Let h = -73 + m. Is h prime?
True
Let c(m) = m**2 - 13*m - 9. Let g be c(14). Suppose x - 2*y - 929 = 0, -3*y = -g*y - 8. Is x composite?
True
Let y(u) = 200*u**2 + u + 2. Let n be y(-1). Suppose 33*d + n = 36*d. Is d a composite number?
False
Let a be (-979)/(-44) + 1/(-4). Is 1162/a + (-40)/22 + 2 a composite number?
False
Let u = 6979 - 3124. Suppose 20*p = 17*p + u. Is p prime?
False
Suppose 0 = -235*x + 234*x + 4843. Is x prime?
False
Suppose 3*m = 2*m + 9. Suppose -6*n = -m*n + 3831. Is n a composite number?
False
Let u(c) = c**3 - 14*c**2 + c - 10. Let p be u(14). Suppose -2*a + k = -891, -p*k + 2195 = 5*a - 0*k. Suppose -4*b = 111 - a. Is b prime?
True
Let q(a) = 40172*a - 57. Is q(2) prime?
True
Let z(u) = -5*u**2 - 11*u - 7. Let g(j) = -20*j**2 - 45*j - 28. Let h(o) = 2*g(o) - 9*z(o). Is h(-5) a composite number?
True
Let a = 126 + 865. Is a prime?
True
Let r(k) = 183*k**2 - 4*k + 14. Is r(3) prime?
False
Let c(o) = o + 9. Let s be c(-7). Suppose 3*w + n = s*n + 8, -w - 6 = 4*n. Suppose -2*p - 2*t = -112, -w*p - 3*t = -p - 50. Is p a composite number?
False
Let v(y) = -4*y**3 + y**2 + 5*y - 1. Suppose 11 = 6*k + 41. Is v(k) a composite number?
False
Let j = 2734 + -715. Is j a prime number?
False
Let h be ((-11)/((-88)/16))/(12/18). Let x = 7 + 0. Suppose x*b - h*b - 332 = 0. Is b composite?
False
Let i = 4821 - -14498. Is i a prime number?
True
Suppose 5*b - 5 = -0*b + 5*j, 0 = 3*b - 5*j + 1. Suppose -5*u + 5082 + 5568 = b*g, -15 = -5*u. Is g prime?
False
Let c(z) = -11*z - 3. Let h(l) = 11*l + 4. Let a(r) = 4*c(r) + 6*h(r). Is a(7) a composite number?
True
Let d(p) = -1907*p**3 - 15*p**2 - 19*p - 4. Let x(q) = 953*q**3 + 8*q**2 + 10*q + 2. Let a(k) = 6*d(k) + 11*x(k). Is a(-1) prime?
False
Let o = 52930 - 6603. Is o a composite number?
False
Suppose -12699*f = -12697*f - 194962. Is f composite?
True
Is (134526/(-9))/((-146)/219) a composite number?
True
Let m be 4/((4/2)/74). Let t = -88 + m. Is (-1182)/(-10) + 48/t prime?
False
Let y(v) = -v**2 + 7*v + 6. Let j(t) = -3*t - 1. Let o be j(-5). Suppose o + 14 = 4*b. Is y(b) composite?
True
Let p = -741 + 4730. Is p a prime number?
True
Let y(v) = -2151*v + 3. Let s be y(5). Is (-1)/(-5) + s/(-15) composite?
True
Let s(g) = -g**3 - g**2 + 3*g. Let z be s(-3). Is 69/(-9)*z/(-3) prime?
True
Let n(m) = 8*m**2 + 29*m + 13. Is n(-6) a composite number?
False
Let y = 31 - 22. Suppose -9 - y = -3*l. Suppose -l*o = -9*o + 213. Is o a composite number?
False
Is (-9 + 1 + -1649)/(1/(-11)) composite?
True
Let m(t) = -114*t + 34*t + 38*t - 91*t + 8. Is m(-5) composite?
False
Let x be (4/12)/((-3)/(-45)). Suppose x*p - 1771 = 94. Is p a composite number?
False
Suppose -4 = 3*s - 7. Is s - 25385/(-15) - 2/6 a composite number?
False
Let i(z) = -5*z + 17. Let j be i(4). Is j*(-7814)/6*1 a prime number?
True
Suppose 0 = -5*k - 3*w + 39323, -4*w - 24159 - 7325 = -4*k. Is k a prime number?
True
Let s(z) = -102*z**3 + z**2 + 8*z + 9. Is s(-4) a prime number?
True
Let x be 1 + 12 - (1 - -1). Let r(n) = 32*n - 18. Let j(w) = -2*w + 1. Let y(u) = -3*j(u) + r(u). Is y(x) composite?
False
Let r be (-2)/(-4 + 7 - 4). Suppose -5*p + 247 = r*b, -4*b = -2*p - b + 95. Is p prime?
False
Let t be (7/14)/(1/10). Suppose -74 = -3*w + 25. Suppose y - 2*u = w, -5*y + 3*u = t*u - 225. Is y a composite number?
False
Let d be (-2)/2*3 - -96. Suppose -3*m + 4*m - 2*i - d = 0, -3*m - 2*i + 239 = 0. Is m prime?
True
Let f(d) = 15*d**2 + 2*d + 1. Let h = -10 - -14. Suppose -h*k - 1 = -9. Is f(k) a composite number?
True
Suppose -3*s + 5*t = -27991 - 23962, -t + 17323 = s. Is s a composite number?
False
Suppose -78*j + 69*j + 104985 = 0. Is j a prime number?
False
Let m = -22905 + 43372. Is m a composite number?
True
Let w(f) = 8*f**2 + 9. Let c be w(10). Let a(g) = 44*g - 22. Let u be a(-9). Let y = u + c. Is y a composite number?
True
Let f = -25 - -39. Let b = f - 10. Suppose 373 = b*l - 291. Is l prime?
False
Let a be 8/2*(2 - (-1)/4). Is 1*((-2)/a + (-107625)/(-135)) composite?
False
Let h be ((-1)/3)/((-46)/(-24) - 2). Suppose 0 = q + h*p - 801, 5*p = -0*p - 25. Is q a prime number?
True
Suppose -4*z - 2*y - y = -1028, 5*y - 528 = -2*z. Let m = z - 60. Is m prime?
False
Let u = 2194 - 1076. Suppose -r + 81 - 76 = 0. Suppose 3*z - 409 = -5*a + 697, -z - u = -r*a. Is a a composite number?
False
Let l(c) = -15076*c + 551. Is l(-5) prime?
True
Let s be (-16)/(-20) - (-42)/10. Suppose 0 = -3*p + 7*p - 4*w - 5080, -5*w = -s. Is p a prime number?
False
Suppose 0 = 4*r + 7*r - 6347. Suppose k - r = -14. Is k prime?
True
Let i be 1*-3*2*29128/12. Is (-1)/(58260/i - -4) a composite number?
True
Suppose 3*j - 20*g = -22*g + 80715, 3*j = 4*g + 80715. Is j a prime number?
False
Suppose 114*b = 72*b + 2142. Is b a prime number?
False
Suppose k = -3*h + 17014, 51575 = 4*k + 4*h - 16473. Is k a composite number?
False
Suppose 274*h + 9429 = 277*h. Let i = 6165 - h. Is i a composite number?
True
Let n(q) = 5*q**2 - 3*q + 5. Let k be (4 - -3)*(-3 - -1). Let o(g) = g**2 + 13*g - 9. Let h be o(k). Is n(h) a prime number?
False
Let r be (-42)/98 + 17/7. Suppose -2*v + 37 = 3*f + 3*v, -r*v - 8 = 0. Is f composite?
False
Let i = -2164 - -4343. Is i prime?
True
Let m(n) = 110*n**3 - 4*n**2 + 2*n - 3. Let h = -44 + 46. Is m(h) prime?
False
Suppose 0*g - 4*g - 12 = 0. Is (446/(-8))/(g/12) prime?
True
Suppose -88797 = -121*v + 118*v. Is v a prime number?
True
Is ((-12700)/30 - 4)*9/(-6) composite?
False
Suppose 0 = 3*s - 12, -7*v = -8*v - 5*s + 5197. Is v a composite number?
True
Let u(t) be the first derivative of 65*t**2/2 + 4*t - 22. Is u(3) prime?
True
Let t = 14145 - -6638. Is t composite?
True
Let p(r) = -r**3 + r**2 + r - 1. Let q be p(2). Let a = q + 5. Suppose 0 = -o + 5*o + 4*g - 1956, 5*o - a*g = 2417. Is o composite?
True
Let x = 6870 + -3599. Is x a composite number?
False
Suppose 2*b = -5*f + 2, 4*f + 4*b = -f - 6. Suppose -4*m - f*m + 16