*b a composite number?
False
Suppose -3 = -5*a + 2. Is 24 + -3*a/(-3) a composite number?
True
Suppose 0 = 5*y - 26 + 1. Let i = 8 - y. Suppose i*u = 67 + 98. Is u a prime number?
False
Let o(m) = -87*m + 1. Let f be o(-2). Suppose 11 - f = -2*x. Suppose 0 = -5*w + y + 630, w + 3*y = x + 60. Is w a prime number?
True
Let u be (11/5 + -1)*15. Is u/(-27)*(-1278)/4 composite?
True
Let f(h) = 15*h + 4. Let p be f(3). Suppose -2*n + 85 = 3*n - 5*q, -5*n = 4*q - p. Is n a composite number?
False
Suppose -x = -30 - 21. Let z be x/((-1)/2*2). Let v = z - -88. Is v composite?
False
Suppose -1057 - 355 = -4*x. Is x a composite number?
False
Let p(s) = -4 + 2 + s - 1. Is p(9) prime?
False
Let g be 38 - 1 - 1 - 0. Let w be 5/(5/g) + -2. Let b = w + -19. Is b prime?
False
Let k(g) = -41*g - 4. Let v be k(4). Is ((-2)/(-4))/((-6)/v) composite?
True
Let z(n) = -5*n + 3. Let a(i) = -4*i**2 + 2*i + 2. Let k be a(2). Is z(k) composite?
False
Suppose 0 = -11*d + 60500 - 16863. Is d composite?
False
Suppose -26*s + 25*s + 3662 = 0. Is s a composite number?
True
Suppose 0 = -16*f + 11*f + 10405. Is f a composite number?
False
Let c be 3 - 279/(1 + 2). Let m = c - -149. Is m a prime number?
True
Let o(s) = 107*s**2 + 5*s + 1. Is o(2) a composite number?
False
Suppose -4*y = -13*y + 4491. Is y a prime number?
True
Let f(k) = -75*k + 1. Is f(-7) composite?
True
Suppose 0 = -2*u - 5*w + 1, 3*u - 5*w = 8 + 6. Let s be u/(-12) + (-17)/(-4). Suppose s*j = -2*h + 122, 38 = -5*j + 5*h + 228. Is j prime?
False
Suppose -3*x - 13 = -4*p - 246, -p - 62 = -2*x. Suppose 4*l - 372 = -0*l. Let t = p + l. Is t prime?
True
Let r(q) = 29*q + 1. Let d be r(1). Suppose 5*t + d = -3*p + 232, -p + 94 = -5*t. Suppose -3*j + 5*j - p = 0. Is j a composite number?
False
Suppose m + 2*v - 387 = 0, -1995 = -5*m + 2*v - 0*v. Is m a prime number?
True
Let u(h) = -h**3 + 5*h**2 - h + 4. Let i be u(4). Suppose -4*n = -2*n - 28. Suppose -2*w + i = -n. Is w a prime number?
False
Suppose -u - 3 = 2*u. Let a be (-77)/((0 - u)/(-1)). Let p = a - 18. Is p a composite number?
False
Let h(i) = i**3 - 4*i**2 + 4*i - 3. Let q be h(3). Suppose 0*w = w - 3*d, -2*w + 4*d + 4 = q. Is 2/w - 1896/(-9) a prime number?
True
Suppose g - 12 = -2*g, -p - g - 18 = 0. Is (3641/p)/(2/(-4)) a composite number?
False
Suppose -4*v + 6965 = -5*y, 1405 + 2055 = 2*v + 2*y. Is v a composite number?
True
Suppose r = -2*p + 81, 5*r = 5*p + 509 - 59. Is r composite?
True
Suppose 2*h + 141 = h. Is h/(-11) + (-8)/(-44) a prime number?
True
Let u(i) = -i**3 - 5*i**2 + 20*i + 3. Is u(-8) a composite number?
True
Suppose -f - 1 = z, 5*f = 5*z - z - 5. Suppose 5*t - t - 1363 = 5*i, 2*t - i - 677 = z. Is t composite?
False
Let o(d) = d**2 - 6*d. Let t be o(6). Suppose -5*b + 15 = 0, t*p + 167 = 5*p + 4*b. Is p a composite number?
False
Suppose 5*h - 48 = -123. Let w be 4/(-10) - (-142)/5. Let p = h + w. Is p prime?
True
Is (-1642)/10*10/(-2) composite?
False
Suppose -12*g + 17*g = 21055. Is g a composite number?
False
Let x be 606/(-10) - 4/10. Suppose 0 = 5*b - 4*b + 35. Let i = b - x. Is i prime?
False
Suppose 4*w = 2*w + 176. Let v = -24 + w. Let c = v + -45. Is c a composite number?
False
Suppose 933 = -3*n + 4224. Is n a composite number?
False
Let y = 8 + -5. Let o(u) = u - 1 + 0 + y*u. Is o(5) prime?
True
Let l(r) = -r**3 - 6*r**2 - 5*r + 2. Let i be l(-5). Is 6/3 + i + 2 composite?
True
Suppose -3*k + 21 = 3*c, 23 = 2*c + 3*c + k. Suppose c*b - 189 = m, -5*m + 79 + 32 = 2*b. Suppose 15 = -3*h, -5*h - 74 - b = -j. Is j a prime number?
True
Let a = -603 - -975. Suppose -4*n + a = 5*y - 520, -n - 3*y = -223. Is n prime?
True
Is 796 - ((1 - 1) + 3) prime?
False
Is (-3)/(-6) + 74/4 a composite number?
False
Let q(b) = -29*b. Let z = -3 - -6. Let r be q(z). Let m = r + 176. Is m a prime number?
True
Suppose 2*s - 10 = 6. Suppose -3*u = 2*w - 0*w - s, 0 = -u + w - 4. Suppose 4*t - m - 221 = u, -2*m - m - 223 = -4*t. Is t a prime number?
False
Let g(h) = -h**3 - 7*h**2 - 6*h - 6. Let n be g(-6). Let v = n + 9. Suppose -k - 5*q + 67 = 0, k - v*k - 2*q = -150. Is k a prime number?
False
Let w(y) = 146*y**2 - 1. Is w(1) prime?
False
Suppose -149 = -4*v + 1215. Is v a composite number?
True
Is 226 - 7 - (1 - 0) composite?
True
Suppose -o - 26 = -0*o + 4*v, 2*o - 2*v = -12. Let x = o + 18. Suppose -25 = -f - 2*w + x, 132 = 4*f + w. Is f a composite number?
True
Let o(n) = 24*n + 14. Is o(10) a prime number?
False
Let p = -345 + 1048. Is p a composite number?
True
Let l be (-5)/(-10) + (-7)/(-2). Suppose -3*m = -12, -2*z = -l*m + 87 - 325. Is z a prime number?
True
Let p(v) = 4*v**3 + 23*v**3 + 1 - 7*v**3 + v. Is p(2) a composite number?
False
Suppose 5*s + i = 1690, 5*s - 3*i + 7*i - 1675 = 0. Is s a composite number?
True
Suppose -4*s + 2*t = -24, 3*s + s + 5*t - 24 = 0. Let z(y) = -6*y**3 + y - 8*y + s + 7*y**2 + 5*y**3. Is z(5) composite?
True
Let p = 7514 + -3871. Is p a prime number?
True
Let u(s) = s**3 + 3*s**2 - 2*s - 2. Let r be u(-4). Is 4/5*(-1075)/r a prime number?
False
Let b(i) = -i**2 + 2. Let m be b(-3). Let u(a) be the first derivative of -a**4/4 - 5*a**3/3 + 3*a**2 + 9*a + 1. Is u(m) composite?
True
Let x(c) = c**2 + c - 1. Let d be x(2). Is 2/5 - (-103)/d composite?
True
Suppose -4*d + 5*k + 5 = -3, 2 = d + 3*k. Is 2 + d/((-6)/(-429)) prime?
False
Let g = 13 + 3. Let z(o) = -3 + g*o + 1 + 1. Is z(1) a composite number?
True
Suppose 21428 + 1402 = 15*x. Is x a prime number?
False
Suppose 5*l + 798 = 3*u - 20, 4*u - 3*l - 1087 = 0. Is u composite?
False
Let q(f) = f**3 - 4*f**2 - f - 2. Let t be q(5). Suppose -4*s + t = 5*w, -2*w + s = -3*s + 4. Is (w/3)/(4/114) a prime number?
True
Let b be -2 + 0 + (-15)/5. Let d(o) = 7*o - 1 + 2*o**2 - 2*o - 3. Is d(b) a prime number?
False
Let o be 0 + -147 - (9 + -8). Let c = 327 + o. Is c prime?
True
Suppose -2*d - d + 1137 = 0. Is d a composite number?
False
Suppose -4*u + 0*u = 2*b + 36, 45 = -3*u + 3*b. Let d = 32 + u. Let q = 31 - d. Is q composite?
True
Suppose 4*b = 2*b + 586. Is b a composite number?
False
Suppose 0 = 3*o - 0*o + 150. Let u be (2 - (1 - 2))*25. Let t = u + o. Is t composite?
True
Suppose 4*y - 22 = -b, 4*y - 2*b - 28 = -0. Suppose -3*w - p = -14, -2*w + w + y = p. Suppose 0 = -3*d - w*s + 157, -d + 31 = 4*s - 32. Is d a composite number?
False
Suppose -d + 3*h = -13, 4 + 5 = d - 2*h. Let w be (d + (-1 - 0))/(-1). Suppose 0 = 5*g - 6*g - 1, 3*s + 2*g - 25 = w. Is s a prime number?
False
Let r = 177 - -182. Is r a prime number?
True
Let i(r) = -28*r**2 + 6*r. Let o(w) = 57*w**2 - 11*w - 1. Let v(k) = 5*i(k) + 3*o(k). Is v(-2) a prime number?
True
Is (4 + 0 - 3) + 2 + 316 a composite number?
True
Suppose -617 = -4*p + 387. Is p a composite number?
False
Suppose 2933 + 831 = 4*b. Is b a prime number?
True
Suppose -2*y = -4*y - 10. Let r(g) be the second derivative of g**4/12 + 5*g**3/6 + 7*g**2/2 - g. Is r(y) prime?
True
Let w(f) = 8*f**2 - 2*f - 2. Let l be w(-5). Suppose -5*q + l - 43 = -2*t, 170 = 5*q - t. Is q a composite number?
True
Is ((-2)/(-3))/(6/12591) composite?
False
Suppose -4 = -a - 2. Suppose -a = k - 4. Is 13/(-3)*(-13 - k) composite?
True
Let y = 0 + 0. Let s be y/(-1)*5/15. Suppose -38 = -4*o - 5*u + 97, u + 1 = s. Is o composite?
True
Is (3/(-9))/(3/(-171))*173 prime?
False
Suppose -2*q + 5 + 7 = 0. Suppose q*j - 4*f - 376 = 2*j, 3*j = 2*f + 277. Is j composite?
False
Let f = -17 - -25. Let q(v) = -v**2 + 8*v + 3. Is q(f) a composite number?
False
Let o = -6 - -8. Suppose 3*q - 126 = -o*u, -2*u + 126 = -q - 2*q. Suppose -4*l - 19 + u = 0. Is l prime?
True
Let n(y) be the first derivative of -47*y**2/2 + 5*y + 1. Let a be n(-4). Suppose t = -4*w + a, w + 2*t - 3*t = 42. Is w a prime number?
True
Let d = 4 + -7. Let z = 2 - d. Let x(i) = 3*i**2 - 3*i - 5. Is x(z) prime?
False
Let b(t) = -t**3 - 9*t**2 + 5*t + 16. Suppose -w = 2*w + 33. Is b(w) composite?
True
Let h(p) = -21*p - 7. Suppose 2*m - 14 = i - 0*m, 0 = -m + 4. Is h(i) a composite number?
True
Let l = 2499 - 868. Is l composite?
True
Suppose 0 = 2*g + 4*g - 2568. Let q = 961 - g. Is q composite?
True
Let x = 20 + -8. Suppose 0 = -2*b - 3*i + 32, -5*i = -3*b + x + 36. Suppose 0 = -4*o - b, -o - 84 = -4*q + o. Is q prime?
True
Let a(f) = f - 9. Let u be a(9). Suppose 5*z + u*v - 4*v = 15