 - 3*w + 256, -n + 2*w - 62 = 0. Let u be (-2)/(-7) - n/14. Suppose -u*m + 206 = -389. Is m composite?
True
Let r(o) be the second derivative of -o**5/40 + 163*o**4/24 - 7*o**3/6 + 10*o. Let y(f) be the second derivative of r(f). Is y(0) a composite number?
False
Let s(n) = n + 1. Let c be s(-5). Let m be 993/c*(-80)/15. Let x = 307 + m. Is x prime?
False
Let w(g) = 9*g**2 - 4*g + 27. Suppose b = -5*k + 6, 6*k = 5*k. Is w(b) composite?
True
Let x(s) = 14*s + 6. Let o be x(3). Suppose m + 12 = h, 6*h + 4*m - o = 2*h. Suppose d = -5*y + 16, -5*y + h = -7*d + 4*d. Is y composite?
False
Let b = -244 - -555. Suppose -b = -f - 12. Is f prime?
False
Let p(y) = 3. Let a(n) = n - 2. Let h(d) = -3*a(d) - 2*p(d). Let u be h(-2). Is 554/18 + u/27 prime?
True
Let n(k) = 10*k**2 - 5*k - 17. Let g be n(6). Suppose 9*b + g - 1942 = 0. Is b a composite number?
False
Let r(l) be the first derivative of 35*l**3/3 - 3*l**2/2 + 5*l + 10. Is r(-3) a composite number?
True
Let u = -4 - -8. Suppose -25 = 3*b - u*q, 0*b + 5*q - 32 = 4*b. Is b/(-2) + 2318/4 a composite number?
True
Let s(y) = 2*y - 217*y + 13 - 11 + 26*y. Is s(-1) composite?
False
Suppose 4*w + 10 = 9*w. Suppose 2*s - 6908 = -w*s. Is s a prime number?
False
Suppose 0*z + 2*z + 90 = 4*v, 0 = -z - 5. Is v/(-210) - (-32806)/42 prime?
False
Suppose 0 = -11*p + 4*p + 26495. Is p composite?
True
Is 3/2 + (-240645)/(-10) + 5 a prime number?
True
Suppose 2*q = 3527 + 2535. Is q composite?
True
Let m(k) = -k**2 + 2*k + 2. Let w be m(0). Suppose 0 = -u - 4 + 5, 0 = -4*i - w*u + 2150. Is i a prime number?
False
Is 12/(-42) + 0 + (-78604)/(-28) composite?
True
Suppose 5*u + 14583 = 8*u. Is u composite?
False
Let i(j) = 5*j**2 + 17*j + 79. Is i(-42) composite?
True
Suppose 567*q + 12423 = 570*q. Is q prime?
False
Let p(a) = 90*a + 7. Let t = 70 - 69. Is p(t) a prime number?
True
Let w(x) = -12078*x + 251. Is w(-4) composite?
False
Let v = 11076 - 685. Is v a composite number?
False
Let m(j) = -18*j**2 + 2*j - 12. Let i be m(5). Suppose -14 = -5*z + 6. Is i/z*-1*1 composite?
False
Suppose o + w + 3*w - 20 = 0, 2*o - 2*w = 0. Suppose f - 2*f - o*q = -9, -3 = f - 2*q. Suppose 0 = -2*v + f - 7, -5*z + 23 = 4*v. Is z a composite number?
False
Suppose -10 = -2*n + 8. Suppose 11*g - 222 = n*g. Is g prime?
False
Suppose -4*b - b = -0*b. Suppose b = -57*f + 52*f + 410. Is f composite?
True
Let a = -47 - -24. Let f = -4 - a. Is f prime?
True
Let y be (-3 - -91) + -1*3. Suppose -5*c - 2*o - y = 24, -130 = 5*c - 5*o. Let i = c - -34. Is i composite?
False
Let b(a) = -20*a**2 + a - 4. Let o be b(2). Let m be (144/5)/(3/15). Let r = o + m. Is r a composite number?
True
Let i(u) = -90*u + 18. Let z be i(-2). Let m = 407 - z. Is m composite?
True
Let p(j) = 99*j**2 - 13*j - 62. Is p(-4) prime?
False
Let w = -3 + 3. Let r be 36/6 - (w + 3). Suppose 3*x + h + r*h - 29 = 0, 3*h = x - 14. Is x composite?
False
Let g(p) = -5*p**2 - 9*p + 2. Let n(z) = 14*z**2 + 26*z - 5. Let o = -14 + 22. Let y(k) = o*g(k) + 3*n(k). Is y(-6) a prime number?
True
Suppose -103 = -5*f + 3*i + 238, 0 = 3*f - 5*i - 211. Suppose -y + f = -12. Is y composite?
False
Suppose -3*z + 10627 = -2*s, -3*s + 14192 = -z + 5*z. Is z a prime number?
False
Let j(w) be the second derivative of w**5/20 - 4*w**4/3 + 11*w**3/3 - w**2 - 16*w. Is j(15) composite?
False
Let d = 21 + -12. Suppose 0 = -11*o + 14*o - d. Suppose 534 = o*q - 345. Is q a prime number?
True
Let z(j) = -20030*j**3 + j**2 - 11*j - 13. Is z(-1) a composite number?
False
Let g(x) = 23*x - 44. Let a(m) = -6*m + 11. Let q(d) = -9*a(d) - 2*g(d). Is q(8) prime?
True
Let c(a) = 13*a**2 - 5*a + 10. Let b be c(-6). Let n = b - 330. Is n composite?
True
Let x(r) = r**3 - r**2 + r + 4. Let b be x(0). Let u(v) = 9*v**2 - 2*v + 3. Is u(b) a composite number?
False
Let u = -69 - -305. Suppose -3*z - 4*q - 99 - 326 = 0, 2*q = -z - 143. Let j = u + z. Is j composite?
False
Suppose 0 = 3*v + 2*g - 2096 - 3131, 3*g - 3488 = -2*v. Suppose c - v = -4*i, 4*c = c + 2*i + 5153. Is c a composite number?
False
Let x(y) = 33*y**2 - 4*y - 1. Suppose -4*r + 5*j + 18 = -8*r, 4 = -2*j. Let s(u) = -u**3 - 4*u**2 - 4*u - 2. Let q be s(r). Is x(q) a prime number?
True
Let p(h) = -2*h + 16. Let z be p(14). Is (-4065)/(-18) + (-2)/z a composite number?
True
Let r = -422 - -1329. Is r composite?
False
Let t = 3532 + -2250. Suppose 0 = 5*h - 3*h - t. Is h composite?
False
Let i = -280 - -1195. Suppose d = 3*c + c + i, 0 = d - 2*c - 911. Is d a prime number?
True
Let k(d) = d + 2. Let u be k(-2). Suppose u*p + 2*s - 135 = -5*p, -5*p - 5*s = -120. Let l = -14 + p. Is l prime?
False
Suppose -3 = 3*h - 3*v, 4*h + v = 3*v - 10. Let d be h/(-8) - (-45)/2. Suppose -748 = -3*p + d. Is p composite?
False
Let n(h) = -h**2 - h + 531. Let z be n(0). Suppose 5*o = z + 424. Suppose -2*y - 5*w + o = -148, -2*y + 289 = -5*w. Is y a composite number?
False
Suppose -68656 = -4*c - 3*g, -5*c + 4*g + 85855 = -g. Is c composite?
False
Suppose -k = 2*x + 12, 4 + 12 = -2*k + 4*x. Is (77/(-35) - -2) + (-772)/k a composite number?
True
Let y be 0*(-3)/(-6) + 325*3. Let t = -578 + y. Is t composite?
False
Let w = 5 + -2. Let c = 1 - 1. Suppose c*o + w*l = 3*o - 750, -756 = -3*o + l. Is o a prime number?
False
Suppose -2*f + 35033 = f + 2*i, -f + 11674 = -3*i. Is f a composite number?
False
Let n(h) = -6*h - 5*h + 3*h**3 - 6*h**2 + 7*h - 1. Is n(6) a composite number?
True
Let a = 553 + 3436. Is a a prime number?
True
Is 1*16/(-120) + 168587/15 a prime number?
True
Let q(i) = 10*i**3 - 5*i**2 - 6*i. Let y(d) = -d. Let p(f) = q(f) - 2*y(f). Let c be p(-3). Let j = c - -622. Is j a prime number?
False
Let f(t) = -t + 3. Let z(r) be the first derivative of r**4/4 + 3*r**3 + 5*r**2 + 10*r - 4. Let b be z(-8). Is f(b) a prime number?
False
Let n = -1246 - -23513. Is n a composite number?
True
Suppose -2 + 4 = h, -u + 2*h - 2550 = 0. Let o = -1401 - u. Is o prime?
False
Let k(f) = -4*f**3. Let i be k(1). Let c(t) be the third derivative of -t**5/60 - 3*t**4/8 + t**3/3 - 13*t**2. Is c(i) a composite number?
True
Suppose -f = 2*z - 5813, -21297 - 1955 = -4*f + z. Is f a composite number?
False
Is ((-19)/(-1))/((-6)/(-7494)) a prime number?
False
Let b(x) = 2*x - 24. Let w be b(15). Let t(i) = 12*i + 46. Is t(w) prime?
False
Suppose -3*g = -5*d - 96234, 27868 - 124120 = -3*g - d. Is g a composite number?
False
Suppose -4437 = -5*g - 0*v + 4*v, 4*v - 897 = -g. Is g prime?
False
Suppose 5*n = 8 - 3, -3*w + n + 14 = 0. Let y = w + -9. Is (-25)/(-2*(-2)/y) composite?
True
Let c = -165 - 390. Let j = -392 - c. Suppose 5*s = 1092 + j. Is s composite?
False
Let w(r) = -3. Let d(z) = -81*z + 26. Let p(s) = d(s) + 4*w(s). Suppose 3 - 13 = 2*v. Is p(v) a prime number?
True
Let h(r) = 8359*r - 6. Let i be h(1). Let u = i - -3778. Is u a composite number?
True
Suppose -39*b + 665030 = -2668105. Is b a prime number?
False
Suppose -1763 = -h + 4*o, 4*o - 7032 = -4*h - 0*o. Is h composite?
False
Suppose 3*l = -3*y - l + 25, 5*y = -4*l + 31. Suppose -8*z + y*z + 5413 = 3*c, -c = 4*z - 1809. Is c prime?
True
Suppose 36 = 3*b + 42. Let s(x) be the third derivative of -83*x**6/120 - x**4/6 - x**3/2 + x**2. Is s(b) prime?
False
Suppose -2*n = 5*h - 45, 4*n - 27 = -3*h - n. Let b(r) = 4*r**2 - 9*r - 4. Is b(h) a composite number?
False
Let k = -25 - -11. Let h be (-4)/k - 99/(-21). Suppose h*d - 50 + 0 = 0. Is d prime?
False
Suppose 5*h = 35 - 5. Let i(a) = 48 - a - 101 + 15*a**2 + 46. Is i(h) prime?
False
Suppose 5*o = -10 + 30. Suppose 0 = 3*l - o*j - 81, 3*l = j + 26 + 46. Is l composite?
False
Suppose 56 = 2*y + 8. Suppose 0 = c + 3*c + y. Let i(m) = -m**2 - 7*m + 4. Is i(c) a prime number?
False
Let x(y) = y**2 + 9*y + 10. Let j be x(-8). Let i(q) = 3*q - 3 - 5*q + 6*q + 6*q**j. Is i(-5) prime?
True
Is (3243 + 8)*-3*-1 prime?
False
Let m = -2500 - -5586. Is m prime?
False
Suppose -4*o - 15 - 9 = -4*b, -b + 9 = 2*o. Let q = b + -2. Suppose 6 = q*c + 1, -4*c = -2*z + 294. Is z a prime number?
True
Is ((-16)/(-40))/((-10)/(-24775)) composite?
False
Let j(l) = 123*l**2 + 5*l - 1. Let v(q) = q**2 + q - 1. Let f(u) = j(u) - 4*v(u). Is f(2) a composite number?
True
Suppose -5*f - 5*b = -18994 - 67971, 0 = 4*f + b - 69572. Let c = -12184 + f. Is c prime?
True
Let r(i) = -4*i**2 + 4*i - 10. Let