
Suppose 994365 = 23*y + 22*y. Is y a composite number?
True
Let b(u) be the first derivative of 305*u**2/2 - 2*u - 50. Is b(3) prime?
False
Suppose -4*o + l = -2079, 2*o - 3*l - 1053 = 2*l. Is o a prime number?
False
Let q(l) = -284*l + 55. Is q(-6) a prime number?
True
Let t be (-9*2)/1*-1. Suppose 5*c = v + v + 1, 0 = -3*v + c + t. Let j(n) = 6*n - 5. Is j(v) a prime number?
True
Let x(w) = -41*w + 20. Let i be -2*(-35)/(-30)*3. Is x(i) composite?
False
Suppose -5*y + 9*r - 4*r + 1575 = 0, -2*r = 3*y - 940. Let m = 2045 + y. Is m composite?
True
Let f = 3025 - -3114. Is f a composite number?
True
Is (-1 - 22776/10)/(4/(-20)) a prime number?
True
Suppose 0 = -h + 220 + 41. Let z = h + -148. Is z a prime number?
True
Suppose -32496 = -3*u - n, -4*u - 5*n + 43333 = -2*n. Is u prime?
True
Let y(s) = -s**3 + 9*s**2 - 5*s - 13. Let p be 37/7 + 24/(-84). Let t(f) = -5*f**2 + 2*f + 6. Let o(u) = p*t(u) + 2*y(u). Is o(-5) prime?
True
Let d(l) = l**2 + l - 7. Let b be ((-4)/(-6))/(4/(-24)). Let k be d(b). Suppose q = -0*j + j + 73, -k*j = 2*q - 118. Is q a prime number?
False
Let a(k) = k**3 - 7*k**2 - 9*k + 10. Let q be a(8). Let f be (-16)/(-6)*(-3)/q. Is (5/2)/(f/(-376)) prime?
False
Suppose 3*v + 18*v = 23898. Let c = 1797 - v. Is c composite?
False
Suppose 4*k - 41*k = -400229. Is k prime?
False
Let q be (-1)/(((-10)/(-75))/(2/(-3))). Is (q + -2 - 74/4)*-46 a prime number?
False
Let z(d) = -27*d - 3. Let j be z(-1). Suppose v - j = -3*v. Let i(a) = 6*a**2 - 3*a - 11. Is i(v) a prime number?
False
Suppose 6*x - 5*t - 45 = x, 5*x = t + 49. Let p(d) = -d - 2. Let h be p(-7). Suppose -x*g = -h*g - 1475. Is g a prime number?
False
Let t be 0/(1 + 6/(-2)) - 1. Is (-11 - -202)*(1 + -2)*t composite?
False
Suppose 2*g - v - 10253 = 10583, 0 = 3*g + v - 31249. Is g prime?
False
Let n be (-2 - 3)*3980/(-25). Suppose -2*a = -968 - n. Suppose 3*w - a = q, -q - 587 = w - 3*w. Is w a composite number?
True
Let s be 4/2 - (-2 - -2). Suppose -14 = -4*r + s*l, l - 3*l = 3*r - 28. Suppose -t = -r*t + 1090. Is t a prime number?
False
Suppose 0 = -9*o + 5*o - 8. Let z be 3/(15/5 + o). Suppose -z*u + 413 = -190. Is u composite?
True
Suppose r - 5*v - 36 = 0, 1 = -3*v - 8. Suppose r*d - 22*d + 514 = 0. Is d composite?
True
Let f = 1217 + -783. Let v = f + -293. Let g = v + -72. Is g a prime number?
False
Let p(a) = 33*a**2 - 2*a + 9. Let i(l) = 33*l**2 - 2*l + 9. Let f(c) = 5*i(c) - 4*p(c). Is f(4) prime?
False
Let h = 1361 - 737. Let a = 289 + h. Is a prime?
False
Let q be ((-24)/(-9) - 2)/((-4)/(-18)). Suppose -q*n + 2090 = 4*y - n, 0 = y + 4*n - 533. Is y prime?
True
Is (-2)/3 - 9282203/(-399) composite?
True
Let m(l) = 274*l + 1 + 236*l + 488*l. Is m(3) prime?
False
Let m = 12891 - 7034. Is m a composite number?
False
Suppose 1527 = 4*y + 5*q, -1521 = -4*y - 5*q + 2*q. Suppose 9*r = 6*r + y. Suppose r + 83 = h. Is h composite?
True
Let p(z) be the first derivative of -z - 13 + 112*z**2 + 2*z + 5. Is p(3) a composite number?
False
Let v(l) = -l**3 + 25*l**2 - 33*l + 17. Is v(22) a composite number?
False
Let x(d) = d**3 - 16*d**2 - 18*d + 23. Let s be x(17). Let h(z) = 8*z**2 + 3*z + 12. Let u(c) = 1. Let p(t) = h(t) + u(t). Is p(s) a prime number?
False
Suppose 2*k = 3*h - 14, -5*k + k - 22 = -3*h. Suppose h*a - 4*a + 138 = 0. Is a prime?
False
Let f(x) = 3*x**3 + 7 - 8*x**2 + 6*x - x**3 + x**3 - 2*x**3. Let k be f(7). Is (-2 + k)*9910/(-20) composite?
False
Let q be -1 + 2 + (2 - 3). Suppose i = -q*i + 7. Suppose -5*g - 638 = -i*g. Is g prime?
False
Let s(m) = 423*m**2 + 14. Is s(-5) composite?
False
Let r(b) be the first derivative of b**3/3 + b**2/2 + 7*b + 6. Let o be r(0). Suppose 1 = -3*q + o. Is q a composite number?
False
Suppose a + 3 = 0, 0 = 4*u + 4*a + 57 - 9. Let t(y) = -107*y + 26. Is t(u) prime?
False
Let l be (8/12)/((-2)/1797). Let u = -206 - l. Let h = u + -244. Is h a composite number?
False
Let f(g) = 4*g**2 - 6*g - 1. Suppose a = -4*m + 22, 0*a = 5*a + 5*m - 140. Suppose -24 = 4*u + 5*w, -4*u - 2*w = u + a. Is f(u) a prime number?
True
Let c(q) = -q + 242. Let m be c(0). Suppose 2*d = -3*d - 425. Let s = m + d. Is s prime?
True
Let m be ((-4)/(-30) - (-16)/(-20))*-6. Suppose -2*g - 2*y = -3*y - 3800, 5*g + m*y = 9513. Is g composite?
False
Suppose -3*p = 5*u + 6, -5*u - p - 5 + 3 = 0. Let j = u + 3. Suppose 3*q + c - 247 = 0, q + 2*c = j*q - 170. Is q a prime number?
True
Is 6/21 + (-95742)/(-14) a composite number?
True
Is (-468)/(-63) + -7 + 272500/7 a prime number?
False
Let z be (1 - 0)/((13/(-4))/13). Let k(l) = -1706*l - 45. Is k(z) composite?
False
Suppose -l - 5 - 4 = 3*t, -3 = 4*l + t. Suppose -9*j + 5*j + 8 = l. Suppose 0 = j*m - m - h - 79, -m = h - 75. Is m a composite number?
True
Suppose -15 - 1 = -8*c. Suppose -4*d = c*s - 2666, 0 = 2*s + 3*s + 5*d - 6675. Is s prime?
False
Let m(n) = 741*n**3 + 0 + 222*n**3 + 1 - n + 0*n. Let d be m(1). Suppose -4837 = -5*o - x - 0*x, -o + 2*x = -d. Is o a composite number?
False
Let g be ((-6)/4)/(0 + 5/(-10)). Is g*(10094/6)/7 + -2 a prime number?
True
Let b be 3/5 - 37796/10. Let a = 6564 + b. Is a prime?
False
Suppose 4*w - 90 = -18. Let b be 48/w*(-63)/(-6). Suppose 0 = -2*m + 198 - b. Is m a composite number?
True
Let h = 5508 - 647. Is h a prime number?
True
Let p(l) = 96*l - 68. Let a be p(19). Suppose d = 5*k - 1768, -3*d + 6*d - a = -5*k. Is k a composite number?
False
Let v(g) = -g**3 + 4*g**2 - g - 1. Let j be v(3). Suppose -o + 180 = a, -2*a + j*o = -6*a + 724. Suppose -108 = -3*c - 3*n, 5*c - a = 4*n + 13. Is c prime?
True
Let o = -412 - -694. Let f = o - -199. Is f composite?
True
Is (168/16 - 6 - 5)*-211474 prime?
False
Is (-266615)/(-30) - 2/12 a prime number?
True
Suppose 2*h - 5747 = -v, 0 = -h - 2*h + 2*v + 8638. Suppose -12*p + 8*p = -h. Is p prime?
True
Is 2/3*-2897*588/(-392) a composite number?
False
Let x(g) = 756*g**3 - 3*g**2 + g + 3. Is x(2) composite?
True
Let p(i) = 44*i - 5. Let d be p(10). Suppose -3*r + 6966 = d. Is r prime?
False
Let f be ((-176)/(-6))/((-6)/162). Let w = f + 1447. Is w a prime number?
False
Is 1/1*(-174)/(-12)*134 prime?
False
Let k = -14 - -33. Suppose 4*b + k = 5*b. Is b prime?
True
Suppose 13*c + 536 + 1141 = 0. Let l = 82 - c. Is l prime?
True
Suppose -27 = 19*y - 122. Suppose -4*t - 483 = 3*f - 15053, -y*f = -10. Is t a composite number?
True
Let u(d) = 586*d + 5. Let f(z) = -585*z - 4. Let r(o) = 5*f(o) + 4*u(o). Let w be r(-1). Suppose 77 = 2*y - w. Is y a prime number?
False
Let m be (5 - 1)/(2/1). Suppose 4*q - 94 = m*q. Is q a prime number?
True
Let p(n) = -39*n - 24. Let c be p(7). Let k = c + 454. Is k prime?
True
Suppose 5*x + 23 + 42 = 0. Let h = 50 - x. Suppose -13*m = -10*m - h. Is m a composite number?
True
Suppose -5*v = -n + 17145, 5*n = -4*v + 7*v + 85813. Is n composite?
True
Let v = -245 - 113. Let q = -11 - v. Is q a composite number?
False
Let w(i) be the third derivative of i**5/60 + i**4/12 - i**3/2 + 8*i**2. Let o be w(6). Suppose -5*g + 140 = o. Is g composite?
False
Let f(j) = -j - 2. Let c be f(-11). Is (-177)/(c/(-3))*(-1 - -14) composite?
True
Let n = -29 + 29. Suppose -9*s + 5*s + 136 = n. Is s composite?
True
Suppose 6 = -b + 5*m, -3*b + 5*m + 49 = -7*b. Let t(c) = -143*c + 16. Let u be t(b). Suppose -447 = -4*y + u. Is y prime?
True
Let o(h) = 13*h**3 + h**2 + 5*h - 4. Is o(3) a composite number?
True
Suppose 0*t + 3*t - i = 2722, -3*i + 4532 = 5*t. Is t a composite number?
False
Let c(s) = -s**2 - 3*s + 14. Let l be c(-6). Let u = l + -8. Let q = 503 + u. Is q prime?
True
Let v = -236 - -140. Let w = 299 + v. Is w a composite number?
True
Let b(c) = -4*c**3 - 13*c**2 - 12*c - 4. Let u be b(-8). Suppose 0*l - 4*l = -u. Let j = l - 136. Is j a prime number?
True
Let q = 5613 + -89. Suppose 3*a - 7*a = -q. Is a composite?
False
Suppose -11*t + 8*t + 27 = 0. Suppose 0 = -3*h - t + 6. Is -3 + (-3 - -62) - h prime?
False
Let m = -16734 + 24571. Is m prime?
False
Let m = -711 - -321. Let u = m - -232. Is (u/(-4))/(7/14) prime?
True
Let n(b) = b**3 - 24*b**2 + 110*b - 124. Is n(39) a composite number?
False
Suppose u + 18931 = b, -u = -3*u + 4. Is b a composite number?
True
Suppose -5*i = -u + 6, -5*u - 22 = 2*i + 29. Let c(w) = -w**3 - 9*w**2 - 12. Let l be c(u). Is (-938)/(-4) - l/(-8) prime?
True
Let h(o) = 