13*d**2/2 + 10*d - 5. Let t be c(11). Let l(w) = w**2 + 11*w + 11. Is l(t) composite?
False
Is (-55)/66 + 112918/12 composite?
True
Let y = 3430 + -359. Is y a prime number?
False
Suppose -3*t - r = -8778, -4*t + 11693 = 53*r - 48*r. Is t a composite number?
False
Let u be 10/(-5)*(3 - -8). Let c = 209 + u. Is c a prime number?
False
Suppose 2*y - 3394 = 4*x, 6773 = -y + 5*y - 3*x. Is y composite?
True
Suppose -14 = -5*k - 4*j, 0 = k - 0*k - 5*j + 3. Let x = -136 + 138. Suppose x*m - 65 - 129 = -k*y, 5*m = y - 97. Is y composite?
False
Let t be -4 + 7 + (-1 - -3). Suppose 0*c - 756 = -c - 5*j, t*c - 3*j = 3752. Is c prime?
True
Let d(a) = 2*a + 24. Let u be d(-15). Let f(l) = -85*l + 11. Is f(u) composite?
False
Let c be 35/20 - 2/(-8). Suppose c*y = 4*y - 3490. Is y a composite number?
True
Suppose -5*r + r = -3*y - 45075, 0 = -4*y - 3*r - 60125. Is y/(-49) + (-4)/(-14) a prime number?
True
Suppose 0 = 13*s + 22 - 243. Let y(p) = 2*p**2 - 7*p + 28. Is y(s) a prime number?
True
Let u(g) = 5*g**2 - 2*g + 1. Let i be u(1). Suppose -13856 = -i*s - 2116. Is s a composite number?
True
Let p(i) = 11*i - 2. Let k be p(1). Suppose 3*b = -3 + k. Suppose -5*z + 2*c - 3*c + 94 = 0, 2 = -b*c. Is z composite?
False
Suppose 2*n = -z - 3*n + 4, -5*z = 2*n - 20. Suppose -z*w + 6065 = w. Is w composite?
False
Suppose 4325 = 3*r + 2*v - 1228, -4*r + v = -7393. Is r prime?
False
Let h(v) = 1056*v - 7. Is h(6) a composite number?
False
Let x be (-112)/(-64) + 1/4. Let i(a) = 98*a + 3. Let z be i(-3). Is z/(-2) + x/4 prime?
False
Let q(j) be the third derivative of -53*j**4/24 + 25*j**3/6 + 33*j**2. Is q(-8) composite?
False
Let f = 2 + 2. Suppose 6*s - s - f*v = 18, 0 = s + 4*v + 6. Suppose 3*u + s*r = 427, 0*r - 145 = -u + 2*r. Is u a prime number?
False
Suppose -4*s = -5*c + 8102, 8*s + 9 = 5*s. Is c a prime number?
False
Let b = 25 - -187. Let g = -53 + b. Is g prime?
False
Suppose -o + 2798 + 154 = 4*q, 5*q - 2*o - 3677 = 0. Suppose -z = -3*z + 5*x + 1474, q = z - 4*x. Is z a composite number?
True
Let h = 1 - -582. Is h composite?
True
Is (-20573)/(-7 + 0)*1 composite?
False
Let g(o) = -o**3 + 6*o**2 + 6*o + 10. Let i be g(7). Suppose 0 = -3*y - i*y. Suppose y = -0*p - 2*p + 958. Is p prime?
True
Let s = 94178 + -66673. Is s a composite number?
True
Let h(u) be the first derivative of 2*u**3/3 + 13*u**2/2 - 15*u + 4. Let c be h(-11). Suppose -c + 477 = 3*a. Is a a prime number?
True
Let h be -572 - ((-4 - (-3)/1) + 3). Let c = -128 - h. Is c composite?
True
Suppose 3*s + 6*k - k - 2807 = 0, s - 929 = -3*k. Suppose 4*r - 4*a = -2000, 2*r - 5*a - 986 = 4*r. Let o = r + s. Is o a composite number?
True
Suppose 0 = -4*d + 6 + 6. Let w(v) = 4*v + 3. Let c(s) = 5*s + 3. Let t(g) = d*c(g) - 4*w(g). Is t(-6) prime?
True
Let l = -10415 - -22473. Is l a prime number?
False
Let i be (-6 - -3)/(6/(-4336)). Suppose 3*x - 2779 = i. Is x a prime number?
False
Let h(f) = -f**2 + 16*f - 15. Let x be h(15). Suppose -5 = -5*z, -5*q + 30 = -x*q + 5*z. Suppose -q*c - 1262 = -7*c. Is c a prime number?
True
Is (14565/10 - -7)*2 prime?
True
Let p be (-53745)/(-9) - (-1)/3. Let q = 11024 - p. Suppose -j + q = 5*g, j + 6066 - 1008 = 5*g. Is g a prime number?
False
Let x(w) = 18*w**3 + 6*w**2 - 9*w + 6. Is x(5) a prime number?
False
Let j(z) = 7*z**2 - 9*z + 89. Is j(45) a composite number?
False
Let s = 7157 - 50165. Is 3 - s/30 - 2/(-5) prime?
False
Let k(g) = -202*g + 27. Let w be k(-16). Let c = w + -1822. Is c a prime number?
False
Let p = 660 - 409. Is p a prime number?
True
Suppose 0*v = -2*v + 6. Suppose 5*b + v = 13. Suppose b*u - 5*u = -45. Is u composite?
True
Let z(y) = 1350*y + 149. Is z(10) composite?
False
Let l(p) = -228*p - 7. Is l(-3) composite?
False
Suppose 44*h + 9 = 41*h, -5*x - 5*h + 248390 = 0. Is x a composite number?
False
Let v = 5 + -15. Is ((-10720)/(-200))/((8/v)/(-2)) a prime number?
False
Let n(y) = 83*y + 116. Is n(15) composite?
False
Let a(i) = -188*i**3 + 3*i**2 + 3*i + 1. Let r be a(-1). Suppose 2424 - r = 5*v. Is v prime?
False
Suppose -185 = -3*l + 421. Suppose -5*s + 2*y = -1168, -s - 3*y + 35 = -l. Suppose s = 7*n - 305. Is n composite?
True
Suppose t - 8 = -3*p, -5*t = 5*p - 7 - 13. Suppose 6*m + t = 4*m. Is (-14 + (-2 - m))/(-1) a prime number?
False
Suppose 5*o = 4*o - 760. Let h = 730 - o. Is ((-6)/(-4))/(5/h) a prime number?
False
Let l = 51579 - 30682. Is l composite?
False
Let c be 1/(-3)*(-21)/7. Let x be 48 - (c + (-5 - -3)). Let d = x - -328. Is d composite?
True
Let v = 29073 + -16414. Is v a composite number?
False
Let i(j) = j**3 + 8*j**2 - 13*j - 19. Is i(8) a composite number?
True
Let y(x) = 5*x**2 + x + 1. Let u be y(-1). Suppose 1653 = 2*t - u*z, -t + 0*z - z + 816 = 0. Suppose 5*c - 646 = t. Is c composite?
False
Let l(z) be the second derivative of -z**4 - 7*z**3/6 + 5*z**2/2 - 6*z. Let i(s) be the first derivative of l(s). Is i(-4) composite?
False
Let w(o) = 8*o**3 + 8*o**2 - 21*o + 15. Let g(v) = -4*v**3 - 4*v**2 + 11*v - 8. Let i(m) = 11*g(m) + 6*w(m). Is i(4) a prime number?
False
Let a = -45 - -151. Let g = a - -57. Is g prime?
True
Suppose -34 - 4 = -k. Suppose k*x + 978 = 44*x. Is x a composite number?
False
Let i = -178 - -492. Let k be ((-573)/(-6) - 2)*(-21 + 19). Let d = i + k. Is d composite?
False
Let x(w) = 12*w - 13 + 1 + 27*w**2 + 2*w**2 - 1. Is x(8) a composite number?
True
Let v(s) = -2*s**2 + 11*s + 1. Let r be v(8). Is (-6)/r + 5794/26 composite?
False
Let h(r) = 200*r**2. Let q be h(-1). Let n(p) = p + 95. Let m be n(-40). Suppose -4*z + q = 3*j, -3*j + m = z - j. Is z a composite number?
False
Let k(z) = 243*z + 14. Let d be k(2). Suppose 0 = -0*r - 2*r - 2*l + d, 2*l = 5*r - 1278. Is r a composite number?
True
Let g be 1*2*(-9)/(-6). Let i(h) be the second derivative of 3*h**4/4 - 2*h**3/3 + h. Is i(g) composite?
True
Let g be (-80)/30*18/8. Let l be (g/(-8))/((-8)/(-32)). Suppose -5*j - 237 = -2*m, -3*m - 5*j = -l*j - 308. Is m prime?
False
Let b = -19 - -26. Suppose -4*o = -b*o + 1056. Suppose 0 = -4*v + o + 820. Is v a composite number?
False
Suppose -2*w + 247 = p, -4*w + 741 = 2*p + p. Let a = 656 - p. Let y = -206 + a. Is y a composite number?
True
Let q = -88 + -58. Suppose -3*i - i - 80 = 0. Is q/(-10) - 8/i composite?
True
Suppose -3*d + 1249 = -z, -5*d + 4*z = 2*z - 2083. Let k = 229 + -145. Suppose -d + k = -p. Is p prime?
True
Let v = -183 + 256. Suppose -c + v = 6. Is c a prime number?
True
Let x(c) = -1032*c + 13. Let r be x(-6). Suppose 0 = -b - 1916 + r. Is b a prime number?
True
Let d(h) = 1639*h**2 - 2*h. Suppose -6*w = -11*w + 5. Is d(w) prime?
True
Suppose -4*u + 3 = f + 11, 5*u - 3*f - 7 = 0. Suppose 0 = -3*h + 6, 3*i + 11 = 4*i + 5*h. Is (i - u)/(4/878) prime?
True
Let a(x) = 28394*x - 7. Is a(1) composite?
False
Suppose -2*n = n - 9. Let g(c) = -c + 7. Let a be g(n). Suppose -a*w + 2571 - 559 = 0. Is w a prime number?
True
Let l(v) be the second derivative of 1/6*v**4 + 1/6*v**3 + 1/2*v**2 + 0 - 27/20*v**5 - 2*v. Is l(-2) a prime number?
True
Suppose 3*t + 17811 = 5*i + 3221, 0 = -2*t + 10. Is i a composite number?
True
Suppose -2*l + 12 = 2*l, -3*g + l = -1512. Is g composite?
True
Let a = 1 - -6. Let b = 9 - a. Suppose -207 - 59 = -b*l. Is l a prime number?
False
Let x(r) = 0*r + 0*r - 3*r + 374*r**2 + 2*r. Is x(1) a composite number?
False
Let b = 6103 - 2384. Is b composite?
False
Let p(g) = 20*g**3 + 9*g**2 + 4*g - 2. Is p(7) a composite number?
True
Let h be -1*(-2 + (0 + 56)/(-2)). Let i = 449 - h. Is i composite?
False
Let j be (-56)/(-21)*30/8. Suppose -1272 = -j*f - 142. Is f composite?
False
Let p be (434/4)/(3/(-36)). Let j = p - -1964. Let g = j - 355. Is g a prime number?
True
Suppose 16 = -2*z - 2. Let s(x) = -x - 197*x**2 - 4 - 204*x**2 + 402*x**2. Is s(z) a prime number?
False
Let x(k) = k**2 + 4*k - 1. Let i be x(-4). Is i/3 + 1912/12 a composite number?
True
Let h = -27 - -29. Suppose -h*s = -8*s + 2454. Is s prime?
True
Suppose g - v = 1251, -2*v + 0*v = g - 1245. Suppose 6*q - 4*q = -5*l + g, 2*q + 759 = 3*l. Is l composite?
False
Let d(n) be the third derivative of -n**5/60 + n**4/2 + 9*n**3/2 - 19*n**2. Is d(10) composite?
False
Suppose -3*p + 4*r + 27107 = 0, 18*p + r = 23*p - 45150. Is p composite?
False
Suppose -72166 = 5*f - 233811. Is f composite