 Is m(y) a composite number?
True
Let r be 4/(-6) - 446/6. Let c be (-424)/(-24)*12/(-2). Let a = r - c. Is a composite?
False
Let d(s) = s**3 + 3*s**2 + 3*s + 1. Let i be d(-2). Let g be (i/3)/(1/(-3)). Is 0 - (0 + g + -12) prime?
True
Let p(u) = -7*u**3 - 3*u**2 - 13*u - 3. Is p(-8) composite?
True
Let c(j) = j**2 - 1. Suppose l + 0*l + h - 6 = 0, -4*l + 2*h + 6 = 0. Let q(w) = w**3 + 3*w**2 - 46. Let o(i) = l*c(i) - q(i). Is o(0) a prime number?
True
Suppose 7*m - 474 = 569. Is m a composite number?
False
Suppose -2*o = 4*b - 6*b + 720, 0 = -3*b + 5*o + 1088. Is ((-7)/(-14))/(2/b) a composite number?
False
Let k = 29 - 47. Let u = k + 71. Is u a prime number?
True
Let r be ((-185)/(-3))/(2/6). Suppose 3*n + r = 2*i, 5*i - i - 395 = n. Suppose i = 2*k + 2*k. Is k a prime number?
False
Let x = -16 + 16. Suppose x*y + 3*y - 222 = 0. Is y prime?
False
Suppose 5*a - 9 = 1. Suppose a*w = -2*z + 88, 3*z - w - 167 = 3*w. Is z composite?
True
Let h(x) be the second derivative of x**5/20 + x**4/2 - x**3/3 - 9*x**2/2 - 4*x. Let m be h(-6). Let g = 92 - m. Is g a prime number?
True
Let q(j) = 4*j**2 - j + 1. Let i be q(1). Suppose n + 4*o = -0 - 12, -2*n + i*o = 0. Is 154/8 - (-1)/n a prime number?
True
Let z = -9 + 23. Suppose -2*i - 3*v = -v - 96, -248 = -5*i + 3*v. Let w = i - z. Is w prime?
False
Let g(i) = 3*i - 3. Let w be g(2). Suppose m = -v - 48, -4*v + 9*v + w*m + 242 = 0. Let k = 92 + v. Is k a prime number?
True
Let y be 34/10 + (-2)/5. Let p(t) = -7 - y + 4*t + 1 - 4. Is p(11) prime?
True
Let h = -508 - -808. Let s = h + -173. Is s a composite number?
False
Let o(r) = -r**2 + 3*r + 6. Let j be o(5). Let y = j + 6. Suppose -y*w + 16 = -52. Is w composite?
True
Let j be (-3)/(-6) - 693/(-6). Let l = 205 - j. Suppose l = 2*q - 5. Is q composite?
False
Let c(h) = -h**3 - 4*h**2 - 3*h - 2. Let k be c(-4). Suppose 40 = p + k. Suppose 2*q - p = -q. Is q a composite number?
True
Is -3*(-2)/(-6) + 212 composite?
False
Let q = -79 - -144. Let x = q - 12. Is x composite?
False
Suppose 5*s = 7*s - 290. Is s a composite number?
True
Let c = -59 - -1344. Is c a prime number?
False
Is (-9)/(45/(-20)) - -885 prime?
False
Let d(p) = p**3 + 6*p**2 + 3*p - 5. Let h(k) = -k**2 - 8*k + 4. Let a be h(-8). Suppose 0*q + a*q = -16. Is d(q) a composite number?
True
Suppose -7 - 9 = -4*t. Suppose 0 = v + 2*v + 5*q - 25, 0 = -v + 2*q - 10. Suppose -t*b - 579 = -5*w, -w - 3*b = -v*w - 112. Is w a composite number?
True
Let z be (1 - 32)*(-15 - 2). Suppose -b + z = -54. Is b a prime number?
False
Suppose -6*o - 60 = -3*o. Suppose 129 = -5*k - 41. Let y = o - k. Is y composite?
True
Let j(u) = -2*u - 4. Let k be j(-3). Suppose t - 2*z = 10, -6 = k*z + 2. Is t/((-39)/(-37) - 1) a prime number?
True
Suppose -4*h - 1 = -17. Suppose 0 = -h*d + 1188 - 296. Is d composite?
False
Is (-1)/((-18)/5270) + 62/279 a composite number?
False
Is (-298)/5*10/(-4) composite?
False
Suppose -3*r = 4*j - 447, 0*j + j + 149 = r. Is r prime?
True
Suppose 0*f - 10542 = -6*f. Is f a prime number?
False
Let c = -10 - -15. Suppose 2*a = 3*a - 4*p + c, 10 = 2*p. Is a prime?
False
Let v = 975 - 313. Is v a prime number?
False
Let i(c) = -32*c**3 + 3*c**2 - 8*c + 5. Let l(r) = 63*r**3 - 7*r**2 + 17*r - 11. Let a(b) = 13*i(b) + 6*l(b). Is a(-2) a composite number?
True
Let w be (-1652)/21 + 4/6. Let q = 223 + w. Is q a composite number?
True
Suppose 397 = 4*s - 47. Is s composite?
True
Let x(v) = -2*v + 9. Let h be x(4). Is ((-889)/28)/(h/(-4)) a prime number?
True
Suppose 6*z = -z + 4837. Is z composite?
False
Let c = 4 - 10. Is 1/((c/(-614))/3) prime?
True
Suppose 0 = -4*k + 791 - 199. Let a = 1 + k. Is a composite?
False
Let r(g) = 22*g + 1. Let f(b) = 44*b + 3. Let i(k) = -2*f(k) + 5*r(k). Let y = 1 - -2. Is i(y) prime?
False
Suppose 4*f = -5*d - 178 + 451, 4*f = -3*d + 271. Is f composite?
False
Let s(p) = -p - 10. Let x be s(-7). Is 0/(x + 2) + 97 a prime number?
True
Let n(s) = 49*s**3 - s**2 + s - 1. Is n(2) composite?
False
Let k(x) = x**3 - 6*x**2 - 6*x + 5. Is k(8) a prime number?
False
Suppose 0 = -4*h - 12, h + 25 = 3*w - 38. Suppose 3*o = -o + w. Let q(i) = i**2 - 3*i + 3. Is q(o) a prime number?
True
Let b(r) = -r + 3. Let w be b(3). Let y = w - -2. Suppose y*s - 6*s + 136 = 0. Is s composite?
True
Let i(r) = r**3 + 7*r**2 + 3*r + 6. Let g be i(-6). Is (-3)/(g/10)*-164 a composite number?
True
Let y(k) = -193*k + 47. Is y(-8) composite?
True
Let y be (-10)/(-6) - (-6)/18. Is ((-1)/y)/(6/(-3036)) a composite number?
True
Is 2/2*(191 - 4) composite?
True
Suppose 0 = -2*q + 4*x + 344, q - x = -4*q + 815. Let k = q + -83. Is k composite?
False
Suppose 5*n - 4*u - 1348 - 1950 = 0, n - u - 659 = 0. Is n composite?
True
Is (-224)/(-36) + (-2)/9 prime?
False
Let s(t) be the third derivative of t**5/30 - t**4/4 - t**3/2 - 2*t**2. Is s(7) a composite number?
False
Suppose -9*s - 1459 + 17668 = 0. Is s a composite number?
False
Suppose -5*q - 9 = 21. Let w = q + 6. Is 1 + (19 - w) + 3 a composite number?
False
Let x be 2/11 + (-35)/11. Let b(u) = -12*u - 5. Is b(x) composite?
False
Suppose -5*l + 23 = -3*u, -u = -l + 7 - 2. Suppose l*k - 18 = -2*r, -4*r + 5*k = -0*r - 101. Is r prime?
True
Suppose 17*d = 20*d - 15. Suppose -d*u + 3*c = c - 625, 20 = 4*c. Is u a composite number?
False
Let q be (-24)/(-10) + (-4)/10. Suppose o - 587 = 3*r - 168, 2*r + 274 = q*o. Is ((-2)/(-3))/((-2)/r) a composite number?
False
Let n(w) = -9*w + 4. Suppose 10 = 4*r + 2*l, -2*r = -l - 1 - 6. Suppose -r = 3*q - 2*q. Is n(q) prime?
True
Suppose 4*c - 2*c - 30 = 0. Suppose -3*k + c = 2*k. Suppose -x - 39 = -u - 0*x, 3*u + k*x = 105. Is u prime?
True
Let q(u) be the second derivative of -u**5/20 + 3*u**4/4 - 2*u**3/3 + 5*u**2/2 - u. Is q(8) composite?
False
Let w(i) = -82*i - 1. Is w(-2) composite?
False
Let i = 2002 - 1371. Is i a prime number?
True
Let l(f) = 27*f - 2. Is l(5) a composite number?
True
Let f = -4 + 3. Is f - (2 - 1) - -59 a composite number?
True
Let t be (-8)/(-4)*9/6. Suppose -356 = -s - 3*s + t*y, -4*s + 2*y + 356 = 0. Is s composite?
False
Let q(m) = 11*m + 21. Let d(o) = 6*o + 11. Let l(w) = -5*d(w) + 3*q(w). Suppose 0 = j - 3*j + 12. Is l(j) a composite number?
True
Let r be 4/5*5/2. Suppose -r*s + 5*m = 3*s - 10, 3*s - 2 = 5*m. Suppose -s*j = -11 - 5. Is j prime?
False
Suppose -3*v + 5*v = 80. Suppose k + 3*m - 45 = v, 170 = 2*k - 3*m. Is k a composite number?
True
Suppose g = -2*g + 9. Suppose -g*r - 6 = -r. Is r/(-2)*(-148)/(-6) a composite number?
False
Let n(c) = 5*c**2 + 4*c + 4. Is n(-3) prime?
True
Suppose 0 = 5*j + 6 - 26, 4*j = 5*l + 6. Let n(u) = -u**2 + 3*u + 1. Let y be n(l). Suppose q - 4*d - 111 = 0, -3*d + d = -y*q + 283. Is q a composite number?
True
Let c be (-2865)/(-3) + 1 + -1. Suppose 8*o = 3*o + c. Is o composite?
False
Let s(u) = -2*u**2 + u. Let w be s(1). Let b(z) = 162*z**2 + z. Is b(w) prime?
False
Suppose g + 5 = 2*g. Suppose 0 = -g*y + 993 + 602. Is y a prime number?
False
Suppose 4*r = 55 + 1589. Suppose 2*i + 128 - 514 = -4*p, r = 2*i - p. Is i a prime number?
False
Suppose 0 = -3*j + 2*m + 20, 2*j + m = 2*m + 12. Let y = j + -6. Is (50/2)/(-1 - y) composite?
True
Let b = -48 + 137. Is b prime?
True
Suppose -2*x - 3*x - 4*k - 9 = 0, 2*x + 3*k = -5. Let u be 0 + (x - (-24)/(-3)). Is 6/u - 160/(-6) a composite number?
True
Let l(w) = 4*w**3 - 4*w**2 - w - 485. Let i(t) = -11*t**3 + 11*t**2 + 3*t + 1455. Let h(g) = 3*i(g) + 8*l(g). Is h(0) a prime number?
False
Let d be (4 + -6)/((-2)/3). Let x = 2 + d. Suppose 0 = -x*r + 60 + 55. Is r a composite number?
False
Let t(h) = 4*h**2 + 5*h + 9. Let z = 15 - 21. Is t(z) prime?
False
Suppose j = -2 + 4. Is 2/j*(-206)/(-2) a composite number?
False
Let g(m) = 57*m - 15. Let i(b) = 58*b - 15. Let j(c) = 4*g(c) - 5*i(c). Is j(-10) a prime number?
False
Let i(w) = 3*w**2 - w - 1. Let m be i(2). Suppose 3 - m = -2*f. Suppose -84 = 5*j + f*v - 716, -4*v = 4. Is j a prime number?
True
Suppose f + 2109 = 4*f. Is f a prime number?
False
Let m = 893 + -328. Is m a composite number?
True
Let m = 39 - -2. Let o = m - 10. Let d = o - -34. Is d composite?
True
Let r(y) be the first derivative of 8*y**3/3 - 2*y**2 - 5*y - 6. Is r(-6) composite?
False
Is 5 + (4 - 5) + 343 a prime number?
True
Let p = 4 - 4. Suppose p = 5*i - 832 + 1