
Let c(l) = -22544*l - 20. Let b be c(2). Is 1/7 - b/147 prime?
True
Let b(p) = -5*p**2 + 83*p + 22. Is b(12) composite?
True
Let r = 33554 + -15337. Is r prime?
True
Let s = 51 + 464. Suppose -3*v + s = 2*p, -2*p + 720 = 5*v + 199. Is p prime?
False
Let u be (-1)/((-5)/(-175)) - -3. Let f = u + 34. Suppose -f*v + 1180 = 2*v - 4*n, 0 = 5*v - 3*n - 1471. Is v a prime number?
True
Let r be (17 + -12)/(-1 - -2). Suppose 3878 = -3*q + r*q. Is q prime?
False
Let k(i) be the second derivative of 11*i**4/6 - i**3 - i**2/2 + 2*i. Let b be k(-4). Let q = b + -260. Is q a composite number?
True
Let b be (3/(-2))/((-21)/(-112)). Is (-4083)/(-7) + b/28 a composite number?
True
Suppose 2*b - 9 = -1, -2*b = -5*u + 7. Let g(j) = 39*j + 2. Let l be g(u). Suppose 26 = -s + 3*q + 75, 3*s - l = 2*q. Is s a prime number?
True
Let c(y) = -y + 3. Let t be c(3). Let x = 4 - t. Is -3 + x - 0 - -210 a composite number?
False
Let l be 0/(2/(-1) + 3). Let m = l + 3. Suppose -3*d + m*x = -261, 4*d - 323 = -2*x + x. Is d a prime number?
False
Suppose 0 = -45*d + 130*d - 2235755. Is d composite?
True
Let y be ((-9)/3)/(9/(-21)). Suppose y*n = 1444 + 439. Is n prime?
True
Let p(s) = 1518*s**2 + s - 11. Is p(4) composite?
False
Let v be ((-35)/(-5))/((-1)/(-5)). Suppose -54 = -r + v. Is r composite?
False
Suppose 0 = -f + 7*m - 2*m - 20, 3*m = 12. Suppose f = 4*j - 117 - 115. Is j a composite number?
True
Let y = -238 - -141. Let w = 268 - y. Is w prime?
False
Suppose 10*m + 367 = 97. Let b = 60 + m. Is b a prime number?
False
Let d = -40 - -36. Is (-2 + (-132)/(-9))*(-222)/d composite?
True
Let s be (-7 + (-3)/(-1))*1. Let v = -5 + s. Is (-3)/v + 1686/18 a composite number?
True
Let k = 327 + 1574. Is k a prime number?
True
Suppose 0 = 4*v - z - 8443, 0 = -3*z + z + 2. Is v composite?
False
Suppose 0 = 9*z + 9875 - 52328. Is z composite?
True
Let b be 3 - ((17 - -4) + -1). Let p = b + 22. Suppose p*q = 4*q + 257. Is q a composite number?
False
Suppose -566 = -z - 3*s, -4*z + 1158 = -5*s - 1157. Suppose -431 = 5*r + t + 114, -3*r = -4*t + 304. Let d = r + z. Is d prime?
True
Let b(w) = -53*w**2 + 8*w - 35. Let z(j) = 26*j**2 - 4*j + 17. Let c(m) = 6*b(m) + 13*z(m). Is c(6) a composite number?
True
Suppose -2*k = -7*k + 9185. Is k prime?
False
Let q = -20262 - -30575. Is q a prime number?
True
Is (6/(-1))/(-18)*(3778 - 1) a prime number?
True
Suppose 0 = -4*q + 21 - 7025. Let o = 2558 + q. Is o composite?
True
Let o = 7770 - -6511. Is o a composite number?
False
Let f(x) = 1835*x**3 + 7*x**2 - 5*x + 1. Is f(2) composite?
False
Let i be 8 + (-1)/((1 - -2)/9). Suppose 4*o - 3*z - 1878 = 0, i*z - 856 = -2*o + 96. Is o composite?
True
Is (-1)/(28/7 + (-560820)/140204) composite?
False
Let o(h) be the third derivative of 7*h**5/60 - 7*h**4/12 + 5*h**3/3 + h**2. Let l be o(10). Suppose 151 = -y + l. Is y composite?
False
Suppose 5*w = -3*d + 36179, 2*d + 0*w - 24118 = -2*w. Is d a composite number?
True
Suppose -3*v - 3*v = -12. Suppose -v*f = -4*f + 2586. Is f prime?
False
Suppose 0 = 5*r - 2661 - 494. Is r a composite number?
False
Let d(l) = 58*l + 1. Let i be (4 - 10)*((-21)/(-9) - 3). Is d(i) prime?
True
Suppose -4*c - 2*g + 5066 = 0, -c - c + 2553 = 5*g. Let n = -605 + c. Is n a prime number?
True
Suppose -2*b + 9 = v, -v + 7 = b + 2*v. Suppose b*u = -2*t + 78 + 118, -3*u = 3*t - 297. Suppose t - 11 = k. Is k composite?
False
Suppose 0 = -3*s + g - 30, -5*g - 4 = 3*s + 26. Let d(a) = -4*a - 3. Is d(s) composite?
False
Let n = -87506 - -128473. Is n prime?
False
Let h be 7575 + 1 + (-13 + 1)/4. Suppose 7*g = 2290 + h. Is g prime?
True
Let u(j) = 46*j - 127. Is u(15) a prime number?
True
Suppose -2*y = -4*y - 8. Let l(t) = 6*t**2 + 2*t - 1. Let n(w) = -5*w**2 - 3*w. Let c(a) = -3*l(a) - 4*n(a). Is c(y) a prime number?
True
Suppose 3*g = -3*a - 3 - 0, 5*a + 9 = -g. Suppose 5*n = d + 786, -3*d - 4 + g = 0. Is n composite?
False
Is (1906/(-6) + -3)*6/(-4) a prime number?
False
Suppose -2 - 7 = 2*d + 3*w, -3*d = -2*w + 7. Is ((-572)/d)/1 + 11/33 a composite number?
False
Let f(q) = -2*q + 3. Let t(b) = -3*b + 7. Let o(l) = -9*f(l) + 4*t(l). Is o(3) a prime number?
True
Let h = -1443 - -2274. Suppose 4*u + 4*m - 2352 = 0, -h = -5*u + 4*m + 2118. Is u prime?
False
Let p be 0 + -3 + 3 + 2 + 1. Suppose 1806 = 5*z - 4*o, p*z + 101 = -3*o + 1163. Is z a composite number?
True
Let n(y) = -4*y**3 - y**2 + 8*y - 7. Let l be n(1). Let t(p) be the second derivative of 11*p**4/6 + 7*p**3/6 + 5*p**2/2 + p. Is t(l) prime?
False
Suppose -3*x + w - 18 = -0*x, -x - 2*w - 13 = 0. Let a(r) = r**3 + 7*r**2 + 2. Let s be a(x). Let c = s - -417. Is c composite?
False
Let p be 3*(-2 - (-3 - 0)). Suppose -3 = -p*a, -5*a = 4*y - 0*y - 1273. Let u = y + -154. Is u a prime number?
True
Suppose 11733 + 71603 = 8*w. Is w prime?
False
Let n be (-167)/(-1) + ((-21)/(-1))/7. Suppose -3*k = -n - 187. Is k a composite number?
True
Suppose w = -2*l + 1197, 4*w = 6*l - l + 4723. Is w a prime number?
True
Let h = -5 - -4. Let l = h + -8. Let j(p) = -p**3 - 7*p**2 + 11*p + 4. Is j(l) a composite number?
False
Let t(k) = 78*k + 3. Let w be t(-8). Let q = w - -956. Is q a composite number?
True
Suppose -20 = 5*t - 0. Let m(h) = -33*h - 5. Is m(t) a prime number?
True
Let l(n) = 4*n - 1 - 8*n**3 - 5*n**2 - 7*n**3 + 16*n**3. Is l(6) a composite number?
False
Let j(i) = 2*i**2 + 12*i + 13. Let l(w) = -w**3 - 5*w**2 + 8*w + 3. Let y be (-9*1 + 3)/1. Let p be l(y). Is j(p) prime?
True
Let v(n) = -n**3 + 27*n**2 + 7*n + 49. Is v(-18) a composite number?
False
Let w = 19 - 13. Let b = w + 11. Suppose -b*p + 251 = -16*p. Is p prime?
True
Suppose 2*y = 4, 0*x = 2*x + y + 12. Let g be (159/9)/(x/(-882)). Is 4/(-20) - g/(-5) composite?
True
Let f(b) be the first derivative of 38*b**3/3 + b**2 - b - 35. Is f(2) a prime number?
False
Let z(p) = -p**2 - 8*p + 4. Let b be z(-8). Suppose -b*u + 1058 = -18. Suppose f + 0*f + g = u, 257 = f - 2*g. Is f a composite number?
True
Let q be -8 - -10 - (-1 + -1). Suppose 5*l = -2*o + 1285, 0 = l - 8*o + q*o - 257. Is l a composite number?
False
Suppose 5*k = -5, -3 = -3*j - k - 13. Let q(n) = -15*n + 6. Is q(j) composite?
True
Suppose 6*h = 3*h - 30. Let y = h - -10. Suppose -2*u + 3*c + 184 = 0, y*u + 3*c - 172 = -2*u. Is u a composite number?
False
Let z(n) = -n - 9. Let j be z(-4). Is (j + -2512)*(-1)/3 a composite number?
False
Suppose -2*v + 66 = 3*j, 2*v + 0*v - 58 = -j. Let i = 23 - v. Is (i + 279/3)/1 a prime number?
True
Let f(v) = -2*v + 8. Let l be f(-4). Let a = 12 + l. Suppose -5*s = -202 - a. Is s prime?
False
Let f(s) = 15*s**2 - 17*s + 29. Is f(8) prime?
True
Suppose 7*o = 5*o + 10. Suppose 6*l + o*l - 5951 = 0. Is l a composite number?
False
Let i be 153/15 + (-3)/15. Suppose -i = -m + 1. Let n = m + -5. Is n composite?
True
Suppose -3*m - 63 = 5*v, 5*m = -3*v - 26 - 15. Let o(t) = -t**3 - 6*t**2 - 2. Is o(v) composite?
True
Suppose 0 = 3*f - 6*j + 3*j - 1494, 992 = 2*f - 3*j. Is f a composite number?
True
Let i(k) = -426*k + 818*k - 405*k - 2. Suppose 27 = -2*q - q. Is i(q) a prime number?
False
Suppose -2*h - 4635 + 50813 = 2*o, 0 = 3*h + 4*o - 69263. Is h composite?
True
Let y be (4/12)/(2/(-12)). Is 2006/8 + y/(-8) a prime number?
True
Let p be 4 + 8 + -3 + -9. Suppose 13*o - 1522 - 4549 = p. Is o composite?
False
Let j(d) = -d**3 - 8*d**2 - 2*d - 10. Let y be j(-8). Is 347/(y/(-2) - -4) prime?
True
Suppose 4*b + 20 = -b, -5*b = -c + 1189. Suppose -2*h + 2761 = 3*z, 2499 + c = 4*z - 4*h. Is z composite?
False
Let x be (-7 + -9500)*((-3)/3)/1. Let w = -5154 + x. Is w a prime number?
False
Let q(v) = v**3 + 30*v**2 + v + 22. Let o be q(-30). Let g(x) = -3 - 2 - 59*x - 18*x. Is g(o) prime?
False
Suppose -5*q + 4*t = -2*q - 1247, -5*q + 2085 = -5*t. Let u = 538 + q. Is u prime?
False
Let k = 37 + 65. Let u(x) = k*x**3 - 15*x**3 + 5 + 0*x**2 + 0*x**2 - 3*x + 3*x**2. Is u(2) composite?
True
Let w = 323 - 185. Let b = w - 103. Is b prime?
False
Let c(b) = 243*b - 1. Let p be c(2). Suppose -2*r + p = -r. Suppose 2*x = 3*x - r. Is x a prime number?
False
Let m(v) = -2*v + 3*v**3 + 3 + 11*v**2 + 12*v - 2*v**3. Let x be m(-10). Is 2 - (1 + (x - 84)) a prime number?
False
Let v be 4/10 - (-78)/5. Suppose 0 = v*x - 13*x - 699. Is x prime?
True
Let q(a) = 2*a**2 - 6 + 4*a**2 + 3 + 2