(-4). Suppose 0*y = -4*y + t. Is y composite?
True
Let x = -10 - -211. Suppose s + x = 4*s. Suppose 3*l + s = 4*l. Is l composite?
False
Let n(b) = 3*b**2 - 9*b + 9. Is n(7) a composite number?
True
Suppose -y + 940 = 71. Is y a prime number?
False
Let i(u) = -u**3 + 11*u**2 - 9*u - 4. Let t be i(10). Let h(p) = 4*p**2 + 2*p - 7. Is h(t) a prime number?
True
Suppose i - 1 = 2*f, -2*f = -3*i - 0*f + 15. Is (3 - (4 + -2))*i composite?
False
Suppose 4*o = 3*o. Let i = 15 - 10. Suppose 3*r + o - 1 = w, 55 = i*w - 3*r. Is w composite?
True
Let i be (20/6)/((-8)/(-12)). Suppose -i*b + 0*b + p = -1116, -5*p - 1120 = -5*b. Is b a prime number?
True
Suppose 6505 = 5*s - 7720. Is s a prime number?
False
Let y(m) be the first derivative of 2*m**3/3 + 3*m**2 + 3*m - 9. Is y(-5) a prime number?
True
Is 14*-1*236/(-8) a prime number?
False
Let v(t) be the second derivative of 3*t**3 - 11*t**2/2 - 5*t. Is v(10) prime?
False
Let x(u) = u**2 + 7*u. Let j(o) = -o**2 + 10*o - 3. Let n be j(9). Let l be x(n). Let s = l - -43. Is s a prime number?
False
Let f(c) = c**3 + 6*c**2 - 9*c - 1. Is f(-5) a prime number?
False
Let x(p) be the first derivative of p**3/3 + p**2/2 + 2*p + 4. Let o be x(-2). Is ((-790)/25)/(o/(-10)) composite?
False
Let p = 4 - 2. Let z = 3 - p. Is (z*-2)/((-2)/67) composite?
False
Let b = -47 + 106. Is b a composite number?
False
Let l = 507 + 142. Is l a prime number?
False
Let h = -175 - -262. Is h a composite number?
True
Let s(f) = -f + 4. Let t be s(7). Is -1 + 0 + (-96)/t prime?
True
Let h(v) = -245*v. Let i be h(1). Let q = -160 - i. Is q composite?
True
Let v(p) = -p**3 + 10*p**2 - 9*p + 5. Let i be v(6). Suppose i = u + 4*u. Is u a prime number?
True
Let i(h) = 5*h**3 - 4*h**2 + 3*h + 1. Is i(6) a prime number?
False
Let q be ((-1)/(-2) + 0)*4. Suppose -v = -q*m + 70, 0*m = -5*v - 2*m - 326. Is (-4)/(-10)*(-1 - v) composite?
True
Suppose 0*t = 3*t - 1191. Is t composite?
False
Let g be (-4)/(-1 - -3) - -4. Suppose -4*q - v = -175, v - 52 = -q - g*v. Is q prime?
True
Suppose 2*i - 1 = 1. Let d(x) = x - i + 93*x**3 + x - x. Is d(1) composite?
True
Let r = 16 - 7. Suppose -r*i + 12*i = 381. Is i composite?
False
Let j = 3638 + -7439. Is j/(-27) + (-8)/(-36) a prime number?
False
Let g = -3 + 11. Let j be 2/g + 38/8. Suppose 0*c - j*c = -185. Is c prime?
True
Suppose 0 = -0*v + 3*v. Suppose y + 7 - 46 = v. Is y prime?
False
Let i be (-5109)/21 - 6/(-21). Let p = 10 - i. Is p a composite number?
True
Let u(i) = i**2 - i + 1. Let r(f) = -2*f**3 + 4*f**2 - 10*f + 5. Let v(q) = r(q) - 6*u(q). Let w be v(-3). Let t = 78 - w. Is t prime?
True
Let a be 8/(-2) - 13*-26. Is 20/4*(a - 3) composite?
True
Is (-3)/(-2)*740/15 a composite number?
True
Suppose 2*r - 187 = -5*y, 4*r = 3*y - 2*y + 341. Suppose r = -g + 433. Is g a prime number?
True
Let w(s) = -158*s. Is w(-1) a prime number?
False
Let c(o) = -o**3 + 11*o**2 - 6*o - 9. Is c(7) prime?
False
Suppose 0 = -4*k - 4*p + 456, 2*k - p - 3*p - 222 = 0. Is k prime?
True
Suppose -207 = -0*l - 3*l. Suppose l = -3*h + 210. Is h a composite number?
False
Suppose -4*c + 339 = -c. Let o = -80 + c. Is o a prime number?
False
Let j(n) = 11*n**2 - n**3 - 7 + 0*n**3 - 8*n + 4*n**3. Let a(c) = -5*c**3 - 16*c**2 + 12*c + 10. Let b(k) = -5*a(k) - 8*j(k). Is b(9) prime?
False
Suppose -3*i + 874 = -581. Is i a composite number?
True
Let f be (-9)/(-2)*(-4)/6. Let c(z) = 1 - 7*z + 2 - 2 - 3*z. Is c(f) a composite number?
False
Let n be 0 + -1 - (0 - 2). Suppose -5*g - 95 = -205. Let h = n + g. Is h prime?
True
Let d(u) be the third derivative of 7*u**4/12 - 7*u**3/6 - 2*u**2. Let h be 0 - (0 + (-1 - 5)). Is d(h) prime?
False
Let r be (-2 - -4)*-2*-1. Suppose 3*f - 12 = 0, 0 = 5*p - 3*p - 2*f + r. Suppose p*x = 4*x - 170. Is x a prime number?
False
Let l = 966 + -569. Is l composite?
False
Suppose 3*i = 9, m - 2*m - 3*i + 993 = 0. Suppose 3*s = m + 147. Is s a prime number?
False
Let d(w) = w**3 + 15*w**2 - 10*w + 13. Is d(-12) composite?
True
Let n = -155 + 11. Let x = -62 - n. Is x composite?
True
Suppose 0 = 2*f + 3 - 7. Let d be (-16 - f)/(3/2). Is -4*(45/d + -1) a composite number?
False
Let j(b) be the first derivative of 8*b**3/3 + 5*b**2/2 + 2*b + 4. Is j(-7) composite?
False
Suppose 4*d - 2*v - 4496 = 650, -2564 = -2*d - 2*v. Is d prime?
False
Suppose 4*v - 12 = 0, -4*x - 6 - 6 = -4*v. Suppose x*i = i. Suppose i*j = -2*j + 74. Is j a composite number?
False
Let f(a) = 3*a - 13. Let s be f(6). Suppose -v - 5*y + 97 = 0, -v - 2*v + s*y = -211. Is v a composite number?
True
Is (1/1)/(8/15384) prime?
False
Suppose -4*t + 8 = -0*t. Let z(c) be the first derivative of c**3 + c**2/2 - c + 4. Is z(t) prime?
True
Suppose -5*z + x + 554 = -3*x, 2*z - 216 = -4*x. Suppose 7*v + 187 = 4*v - 4*r, 2 = -2*r. Let h = v + z. Is h prime?
False
Suppose y - 18 = -3*y - k, 4*k + 4 = 3*y. Suppose 9*t = y*t + 2*s + 378, -4*t + s = -300. Is t composite?
True
Let l(j) = 2*j**2 - 7*j + 2. Is l(-13) a prime number?
True
Suppose -12*g = -17*g + 5275. Is g composite?
True
Suppose 5*q + n = -24, -3*n = -0*n + 12. Is (2/2)/(q/(-236)) a prime number?
True
Let t(b) = -409*b + 13. Is t(-4) a composite number?
True
Let t be ((-27)/18)/((-2)/776). Is 2/((-3)/t*-4) a prime number?
True
Let w = 161 + -37. Let n = 243 - w. Is n a prime number?
False
Suppose -k + 30 = -4*k. Let z be ((-152)/k)/(5/25). Suppose -4*g + 64 = -z. Is g prime?
False
Let v(r) = 4*r**2 + 2 - 3 - 3*r**2 - 11*r**3. Suppose -4 - 1 = 5*x. Is v(x) a prime number?
True
Suppose 5*r = -2*a + 1065, 221 = r + 3*a - a. Is r a composite number?
False
Let u = 6 - 3. Suppose u*a + 5*f - 242 = 0, 3*a + 6*f - 3*f = 240. Is (a/(-2))/((-1)/2) composite?
False
Let c = 1677 + -928. Is c a prime number?
False
Is (-4486)/(-10) + -2*1/(-5) a composite number?
False
Let u(v) = -4*v**2 + 6*v - 6. Let g(y) = -y**3 + y**2 + 1. Let x(c) = -3*g(c) - u(c). Is x(4) a prime number?
False
Suppose -4 = g + 3*a, -6*a - 6 = -3*a. Suppose 0 = g*k - 3*k - 4*q + 17, -12 = -4*k - 2*q. Let l(h) = 56*h**3 - 1. Is l(k) a prime number?
False
Is (2 - 141/5)*-5 a prime number?
True
Let b(s) = s**2 - 13*s + 4. Let i be b(13). Let l(g) = g**3 - 3*g**2 + g - 1. Is l(i) a prime number?
True
Suppose -1638 = 4*p - 5914. Is p a prime number?
True
Is (2/6)/((-2)/(-8022)) composite?
True
Let z = 1587 - 396. Is z composite?
True
Let j = 2967 - 1130. Is j a composite number?
True
Let a(x) = -x**3 - 11*x**2 - 11*x - 7. Let q be a(-10). Suppose -2*y = 3*v - 4*v - 25, -q*v + 23 = y. Is y composite?
True
Let m be (-7 + 5)*6/4. Let n be (m - -1) + (0 - -10). Suppose 2*s - n - 66 = 0. Is s a prime number?
True
Let h = 13 + -9. Suppose -h*v + 15 = v - 5*k, -5*v - k + 33 = 0. Is v prime?
False
Let p be (3/2)/(3/(-44)). Let x be p/(-3 + 0 - -2). Let j = 33 + x. Is j prime?
False
Is (-2)/(-4)*6 - -3 composite?
True
Suppose 4*o = 4*d - 144, -3*o = 5*d - 255 + 83. Is d prime?
False
Let j be (78/4)/(15/20). Suppose 5*q = 86 - j. Suppose 4*g - q = -8*b + 4*b, -2*b - 3 = -g. Is g a prime number?
True
Is 59*2/(-8)*-116 prime?
False
Suppose -4*z = 20, z = -a - z + 33. Is a prime?
True
Is (1 - -111) + 48/16 a composite number?
True
Let x be 150/12 + 1/2. Suppose 0 = 2*c - 2*l - 14, -5*c - 5*l - x = 2. Suppose -n = 4*o - 513, 2*n = -6*o + c*o + 518. Is o a composite number?
False
Suppose 2*p + 7525 = -5*m, -3*m - m + 4*p - 6020 = 0. Let k = -456 - m. Is k a prime number?
True
Let d(u) = -u**2 + 10*u + 3. Let m be d(10). Suppose -m*x + 644 = x. Is x prime?
False
Let x = 50 - -57. Let u = -23 + x. Let r = u + -53. Is r a composite number?
False
Suppose -2377 = -7*l - 18. Is l a prime number?
True
Let w(r) = -r**3 - 4*r**2 + 7*r - 6. Let v be w(-6). Is 918/v - (-6)/8 prime?
False
Let n(j) = -3*j**3 + j**2 + 4*j - 9. Is n(-5) a composite number?
True
Let r(q) = 14*q - 1. Is r(16) composite?
False
Let t = -2 + 4. Suppose -2*i + 326 = t*u - 0*i, -5*u + 5*i = -785. Suppose 4*h = 4*c - u, -2*c + 155 = 3*c + 4*h. Is c composite?
True
Let p(v) = 2*v**2 + 28*v + 23. Is p(-21) a prime number?
True
Let z be (-2)/(-10) + 1/(-5). Let o(i) = z*i - 6*i + 10 + 2*i. Is o(-12) a prime number?
False
Let z(d) be the second derivative of d**4/3 + 5*d**3/6 + d**2 + 4*d. Is z(-3) a prime number?
True
Suppose 3*t = 330 + 174. Suppose v - 2*f = -2*v - t, 2*f + 112 =