 - 4*t + 18, 0 = 3*b - 3*t - 144. Is b a prime number?
False
Let i(j) = j**2 - j. Suppose -4*f = 3*d + 13, d = 2*f + 1 - 2. Let r be i(f). Is (1 + -2 + r)*4 composite?
True
Let c be -88 + (-2)/(-2) + -1. Let g = 31 - c. Is g a composite number?
True
Suppose 4*g - 9*g + 4015 = 0. Is g a prime number?
False
Suppose 0 = 2*l - 4*l. Is (l - (2 + -2)) + 93 a prime number?
False
Let c = 27 + -15. Suppose c = -4*q, 2*q - 17 = -t + 2. Is t prime?
False
Let v = 71 - 50. Let i = 6 - -1. Is (-154)/(-3) - i/v a composite number?
True
Let y(w) = -w**2 + 7*w - 6. Let s be y(5). Let d(a) = 2 - 1 + 5*a + 1. Is d(s) composite?
True
Is (633/4)/3*(-2052)/(-27) a composite number?
True
Suppose 601 - 2345 = -4*y. Suppose 0 = -4*i - 20, -3*x - 2*i + 163 + y = 0. Is x prime?
False
Suppose f - 3*o - 11 = 0, 5*f + 15 = o - 0. Is ((-12)/6)/(f/782) composite?
True
Suppose -2 = -4*r - 3*j - 9, 0 = -4*r + 5*j + 1. Let d(a) be the first derivative of -37*a**4/4 + a**2/2 + a - 13. Is d(r) prime?
True
Suppose -4*u - 12908 = -4*r - 0*u, 5*u + 20 = 0. Is r a prime number?
False
Let s(j) = -j**2 - j + 2. Let r be s(-2). Suppose -3*y + 4*c = -544, -5*y = 3*c - r*c - 955. Let i = y + -43. Is i prime?
False
Suppose 0 = 2*x - 2*s - 2950, 3*x + 2*s = -2*s + 4439. Is x a composite number?
True
Suppose 0*u + 4*u = 0. Suppose m - 85 = 22. Suppose u*p = -4*p + 5*a + m, -38 = -p - a. Is p a composite number?
True
Suppose 3*b - 907 = -4*i + 494, -945 = -2*b + i. Is b a prime number?
False
Let m = 638 - -1995. Is m a composite number?
False
Let q(v) = 2*v. Let x(l) = -1. Let n(d) = q(d) + 3*x(d). Let z be n(2). Is 4/(-2) + (22 - z) a prime number?
True
Suppose -30*r + 12 = -27*r. Suppose 2*c + 1113 = 5*h, 2*c - 318 = r*h - 1208. Is h a prime number?
True
Let b = 580 - 347. Is b a prime number?
True
Suppose -4*p = -4*r - 36, -2*p - 2*r = 2*r - 36. Is (p/(-3) + 3)*-119 a prime number?
False
Let y = 7 + -5. Suppose -y*f + 60 = 2*f. Let j = f + 20. Is j a composite number?
True
Suppose -3*k - 249 - 383 = 5*v, 2*k - 2 = 0. Is v*4/(-4)*1 composite?
False
Let y = 268 + 553. Is y a composite number?
False
Let b(z) = 24*z. Let n(h) = 25*h + 1. Let l(q) = 4*b(q) - 5*n(q). Let t(g) = -1. Let v(f) = l(f) - 2*t(f). Is v(-2) prime?
False
Let c(s) = s**2 + 6*s + 5. Let a be c(-6). Suppose -3*p - 3*h + 15 = 0, 4*p + 21 = a*h - 4. Suppose 2*b - 154 = -p*b. Is b a prime number?
False
Suppose 9*x - 1383 - 894 = 0. Is x a prime number?
False
Let t(i) = -9*i**3 + 3*i**2 + 2*i - 1. Is t(-3) composite?
False
Let d = 2 + 3. Suppose 0*s = d*s. Suppose -m + 6*m - 95 = s. Is m composite?
False
Suppose -16*g + 18*g = 1102. Is g prime?
False
Suppose 0 = -4*x - x. Suppose 337 = w - x*w. Is w prime?
True
Let c(h) = -h**2 + 2*h. Let a be c(2). Suppose a = 5*i - 25, -10 = 5*o - 0*o - 3*i. Is (0 - -6) + 1/o a composite number?
False
Let y = 14 + -11. Let s(u) = 0 + u + u**2 + 5*u**3 + y - 81*u**3 - 2. Is s(-1) a composite number?
True
Suppose -d + 3*x - 3 = -0, -3 = 3*d - 3*x. Suppose d = -v + 3, 4*w + 0*v = 2*v + 806. Is w composite?
True
Suppose 4 + 2 = 3*t. Suppose 0 = v - 0*v - t. Is (3 - 11/v)*-22 a prime number?
False
Let k be ((-2)/(-3))/((-1)/(-3)). Suppose o - 2*o + 5*m = -79, 4*o - 339 = -3*m. Suppose -o = -k*s - 2*s. Is s prime?
False
Suppose 0*v - 2*v + 62 = 0. Is v composite?
False
Suppose 8*d + 180 = 3*d. Let a(g) = 13*g**3 - 2*g**2 + g - 1. Let o be a(-2). Let m = d - o. Is m a composite number?
False
Suppose 4 - 1 = a. Suppose -a*k + 566 = -k. Let n = 410 - k. Is n a composite number?
False
Let q(v) = -5*v**2 - 53*v + 16. Let x(m) = -m**2 - 13*m + 4. Let g(p) = 2*q(p) - 9*x(p). Suppose 1 = o - 8. Is g(o) prime?
False
Let f(d) = 285*d + 22. Is f(3) a composite number?
False
Let w(y) = 2*y**2 - 14*y + 17. Is w(10) composite?
True
Let v = 3209 + -1848. Is v a prime number?
True
Let x = 1 + 3. Let r(j) = 41*j + 2. Let d be r(x). Is 3*(d/(-6))/(-1) a composite number?
False
Suppose 5*p = p + 256. Let k = 51 - -47. Let b = k - p. Is b a composite number?
True
Suppose -4*j + 63 = -5*j. Let o = j + 88. Is o a composite number?
True
Suppose -4*f + 6 = 3*u, f = -2*f. Is 92/6 + u/(-6) a composite number?
True
Suppose 4*u - 2*x - 15150 = 0, -3*x - 11375 = -3*u + x. Is u prime?
False
Let n(w) = 4*w**3 - w**2 - 6*w + 2. Suppose -5*q - 4*u + 45 = 0, q + 0 = 4*u - 15. Let x be n(q). Suppose -3*c - x = -6*c. Is c prime?
True
Let x = -23 - -26. Suppose m - x*m = -1054. Is m prime?
False
Let b = 216 - -34. Suppose 0 = 5*l - 4*a - b, a + 2*a = 0. Suppose 7*o - l = 2*o - q, 20 = 2*o + q. Is o prime?
False
Let w be 9*((-6)/9 - -1). Suppose -6 = -s - w. Suppose -4*y = -s*y - 3. Is y a prime number?
True
Suppose 3*v + 7 = 2*v. Let u = v + 4. Let d = u + 10. Is d prime?
True
Let w(l) = -3 - 3*l - 1 - 4*l**2 - 3*l**3 + 4*l + 3*l**2. Is w(-3) prime?
False
Let k(d) = 4*d - 1. Let w be k(1). Suppose -w*t = -8*t + 815. Is t a composite number?
False
Let o = -506 + 805. Is o + (12/2)/3 composite?
True
Let c be (-2)/6*4*-3. Suppose -3*z = a - 1, -21 = -5*z + 5*a + 14. Is (-2)/c*z*-19 composite?
False
Let i = 1 + 2. Suppose -26 = -4*w + i*w. Is w a composite number?
True
Suppose -4*z + 0*z + 5*l - 388 = 0, -4*l = -5*z - 476. Let v = -212 - -401. Let n = z + v. Is n a composite number?
False
Let h(z) = -48*z + 1. Is h(-2) composite?
False
Let o = -15 + 15. Suppose -5*t + 4*l + 128 + 1169 = o, -5*t - 4*l + 1273 = 0. Is t a composite number?
False
Let y(k) = k**3 - 12*k**2 + 5*k + 5. Let c(d) = -2*d**3 + 13*d**2 - 6*d - 5. Let t(b) = 2*c(b) + 3*y(b). Is t(-11) prime?
False
Suppose 3*m - 5095 = 4514. Is m a composite number?
False
Suppose -2*t + 4*f = -f - 1155, t - 3*f = 580. Is t a composite number?
True
Let k be 0 + (2 - 5)*-1. Suppose k*q - 256 = 5*d, -4*d - d = -4*q + 343. Is q composite?
True
Let n be (-6)/(-4)*6/9. Suppose 0*l + 3*l + 3 = 0. Is -2 - (-33 + l + n) composite?
False
Suppose 7*m - 2*m + 50 = -5*o, 5*m + 4*o = -49. Is ((-3)/(m/(-717)))/(-1) a prime number?
True
Let c = 469 + 36. Is c prime?
False
Suppose -3*i - g + 3011 = 3*g, 0 = 5*i - g - 5049. Is i a composite number?
False
Let a(l) = -l**3 + 3*l**2 + 4*l + 4. Let o be a(4). Suppose 4*w = -5*b + 562, -o*w = 6*b - 2*b - 564. Is w composite?
True
Let c be (-8)/(4/(-1))*-28. Is (c/(-12))/((-4)/(-534)) a prime number?
False
Let j(p) = -7*p**3 - p**2 + 4*p + 5. Let l be j(-4). Let h = l + -276. Is h prime?
False
Let n(w) = -w**3 + 14*w**2 - 11*w - 9. Let u = -40 - -63. Let y = u + -12. Is n(y) prime?
True
Let h be (4/6 - 0)*-54. Let o(x) = 51*x - 1. Let z be o(1). Let j = h + z. Is j composite?
True
Suppose 3*z + 91 = u + 7*z, 4*u + 5*z = 419. Let b = u - 58. Is b prime?
True
Suppose -9*n + 4*n - 650 = 0. Let d = -8 - n. Is d a prime number?
False
Suppose 4 = -3*j - 5*i + 24, j - 5*i + 20 = 0. Suppose j = -w + 37 - 6. Is w composite?
False
Suppose -3*p + 85 = -g, -2*p + 42 = 4*g - g. Let v be p + 1/(3/9). Suppose 2*i - 98 = -v. Is i a composite number?
True
Suppose 4*d - 4*z = 3652, -4*d + 3676 = -0*d + 2*z. Is d prime?
False
Let t(x) = 2 - 5*x**2 - x**3 - x + 2 + 2. Suppose 2*c - 21 = k - 2*c, -5*c + 15 = k. Is t(k) prime?
True
Suppose 1272 = 3*u + 330. Suppose u = f + f. Is f a prime number?
True
Suppose -7*y + 3*y = -124. Suppose a - 4*r - y = 0, 178 = -a + 5*a + 2*r. Is a a prime number?
True
Is ((-5)/30*3)/((-2)/3508) prime?
True
Suppose -7*y + 2636 = -1011. Is y composite?
False
Suppose 6*s = 4*s + 3*a + 2075, 0 = -s + 5*a + 1034. Is s prime?
True
Is (2385/(-18))/(2/(-4)) a composite number?
True
Let u(y) be the third derivative of y**5/6 - 5*y**4/24 - y**3/2 + y**2. Let h be u(-3). Suppose -i - h = -3*i. Is i prime?
False
Let h(y) = 4*y**2 - y. Let k be h(-1). Suppose k*m - 427 = 678. Is m a prime number?
False
Let y = 23 + -21. Is (309 - -5)*y/4 composite?
False
Let n = 444 - 281. Is n prime?
True
Let y = -5 - -5. Is 7/(-14)*(-194 - y) prime?
True
Let d(w) = 187*w. Let j be (-1 - 0)*-3*3. Let x = j + -8. Is d(x) composite?
True
Suppose -197 = 2*i - 619. Is i a prime number?
True
Let s(u) = u**3 - u. Let t be s(-1). Suppose -3*x + 0*x + 9 = t, 4*x - 136 = -2*l. Let j = l + -41. Is j a composite number?
True
Let c(z) = -2362*z - 3. Is c(-1) prime?
False
Let y = -10 + 33. Let o = 104 + y. Is o prime?
True
Let k be 0 - -2 - (-5 + -2). Suppose -3*q = 2*p + k, -2*p + 4 -