 prime number?
False
Let w(u) be the third derivative of 11*u**4/12 + u**3/6 - u**2. Is w(5) composite?
True
Suppose -6*h + 4527 = -2715. Is h prime?
False
Let a = 15 - 8. Is (a/5)/(9/45) a prime number?
True
Let q(y) = -3*y + 0 + 4*y - 1 + y**2 - 3*y**3. Is q(-4) a prime number?
False
Let v(s) = 4 + s + 2*s - 4*s + 0. Is v(-3) a composite number?
False
Let o(h) = 689*h**2 + 2*h + 2. Is o(-1) a composite number?
True
Suppose -2*u + 993 = u. Is u prime?
True
Let r(u) = u**3 - u**2 - u. Let v be r(0). Is (2 + v)/((-2)/(-37)) prime?
True
Let p be 12/18 - (-470)/(-3). Let g = 238 + p. Is g prime?
False
Let l = 0 - -6. Suppose 3*m - l = m, 5*z = -3*m + 59. Is z prime?
False
Let q = 9 + -1. Suppose -q*y = -10*y + 262. Is y composite?
False
Suppose 9*d - 4*d - 3955 = 0. Is d a prime number?
False
Let y(i) = -i**2 - 6*i + 4. Let x be y(-6). Suppose -417 = -c + 2*k, -c - 4*c + 2057 = x*k. Is c a composite number?
True
Let c = 997 + -132. Is c a composite number?
True
Suppose 4 = 4*y, 5*n - 25 = 4*y + 1976. Is n a composite number?
False
Let r = 3444 + -1263. Is r prime?
False
Suppose -2*u + 52 = 4. Let f = -55 + u. Is (f/(-2))/(3/6) composite?
False
Suppose 4*p - 18 - 6 = 0. Is (337*1)/(6/p) a composite number?
False
Suppose -s + 5 + 2 = 0. Let h = 36 + s. Is h prime?
True
Let o = 21 - 12. Is ((-762)/o)/(6/(-9)) a composite number?
False
Suppose 1694 = 4*n + 3*r - 302, 2*n + 5*r - 998 = 0. Is n a composite number?
False
Suppose a = 5*m - 20, 0*a - 4*a = 2*m - 30. Suppose a*y = 4*y + 3. Suppose 0 = y*q - q - 382. Is q a composite number?
False
Let d = 3 - 3. Suppose -5*w + d = -5. Is 14*3*w/6 prime?
True
Suppose 2*s + 0*s = -14. Let u(g) = -2*g - 9. Let p be u(s). Is 2/(p/((-45)/(-2))) prime?
False
Suppose -504 - 236 = -4*x. Suppose b - x = -33. Let l = -37 + b. Is l prime?
False
Let i = -2 - -11. Let a(h) = -h**2 + 18*h + 4. Is a(i) a composite number?
True
Let w = -7 - -92. Is w composite?
True
Let z = 29 + -16. Is z a composite number?
False
Suppose 2*n + 2696 = 4*c, 2*c = -0*c - 5*n + 1336. Is c a composite number?
False
Let k(w) = -w**3 + 2*w**2 + 1. Let s be k(3). Let i be s/(-36) + (-32)/(-18). Suppose -3*m - y = -138, 2*m + i*y = 6*y + 106. Is m a composite number?
False
Suppose 4*v = -3*u + 15, 0*v = 2*v. Suppose y = u*y. Suppose y = 2*m - m - 11. Is m a prime number?
True
Let y = 1250 - 771. Is y a prime number?
True
Suppose -4*k + 3052 = -0*k. Is k a prime number?
False
Suppose -2*g = 9 - 23. Let j = g + -1. Let p = 10 - j. Is p prime?
False
Let y = -5 + 70. Is y a composite number?
True
Let y(l) = -18*l - 2. Let o be y(-3). Suppose o = u - 91. Is u a prime number?
False
Let g(p) = p**3 - 5*p**2 + 3*p + 4. Let r be g(4). Let u = r - -1. Let v = 4 - u. Is v a prime number?
True
Suppose 0 = -3*z - 3*n + 192, 0 = -4*n + n + 6. Suppose z = 3*f - 19. Suppose -j + f = -10. Is j prime?
True
Suppose 0 = 5*k - 4*n - 11, 8 = 3*k - 3*n + 2*n. Suppose 529 = k*m - 3110. Is m prime?
True
Is (-57)/(-2)*(-182)/(-21) - -4 composite?
False
Let j = 18 - 17. Is j + 0 + 2 + 34 a prime number?
True
Suppose -15475 = -3*p - 2*p. Suppose 2*w - 5*k - 417 = 809, -5*k = -5*w + p. Is w prime?
False
Let k(y) = 4*y**2 - y. Let x be k(1). Is 43/x - 2/(-3) prime?
False
Suppose 2*s + 0 = 4. Suppose -g = 3*k - 4*g - 114, s*g = -k + 35. Suppose -2*q + 8 = i + 2*i, 2*i - k = 5*q. Is i prime?
False
Let p(q) = q**2 + 8*q + 2. Let b(t) = -t**3 - 5*t**2 - 2*t. Let h be b(-4). Let n be p(h). Is (4/(-4))/(n/(-22)) a prime number?
True
Let f(t) = -t**3 + 3*t**2 + 5*t - 4. Let m be f(4). Suppose m = -4*c + 6*c. Is (-24 + (1 - c))*-1 composite?
False
Let f(a) = 15*a**3 - 5*a**2 - 3*a - 4. Is f(5) composite?
True
Let f = 7 + 9. Let i = 6 - f. Is (-102)/i + (-4)/20 a composite number?
True
Let l be ((-4)/6)/(4/(-36)). Is (-1)/3 - (-134)/l a prime number?
False
Let g(i) = i + 7. Let p be g(-5). Let v be (-2 + 7)/(p - 1). Suppose 0 = -v*a + 42 + 68. Is a a prime number?
False
Suppose -5*v = 0, -5*v + 677 - 6074 = -3*o. Is o a prime number?
False
Suppose 2*a + 4*c = -0*a + 6, 0 = -5*a + 4*c + 15. Suppose -101 = -a*u + 55. Suppose 2*t - u = -6. Is t a composite number?
False
Suppose g - 2*l - 48 = -l, 4*l - 240 = -5*g. Suppose 3*c + 3*x - 72 = 0, 46 = 4*c + 5*x - g. Let f = c + 31. Is f a composite number?
True
Suppose 3*p - 2*k = 10, -k = -4*k - 6. Is (-85)/(-10)*p*11 a prime number?
False
Let n(x) = 21*x**2 + x + 3. Is n(2) a prime number?
True
Let a = -5 + -8. Suppose -3*m = -4*r + r + 81, -r - 4*m = -2. Let s = a + r. Is s a composite number?
True
Let l be 0*2/4 - 265. Let x = -111 - l. Suppose -h - x = -3*h. Is h a composite number?
True
Suppose m - 2*m + 5 = 0. Suppose -m*u + 63 = -102. Is u prime?
False
Suppose 54 - 349 = -5*h + 5*z, 4*z - 59 = -h. Is h a prime number?
True
Let x(u) = 2*u**2 - u - 7. Let g be x(9). Let w = -104 + g. Suppose -5*p + w = 3*z - 54, 5*z - 182 = -p. Is z prime?
True
Let u = -31 - -52. Suppose -5*k - 2*d = -u, -5*d - 6 = -2*d. Suppose 2*o - 30 = -3*s + k*o, -3*s = o - 50. Is s prime?
False
Let v = -10 - -5. Let f be (-763)/v + (-2)/(-5). Let h = f + -94. Is h a prime number?
True
Suppose 0 = 3*z + z + 840. Let p = z + 425. Is p composite?
True
Is ((-3)/(-6))/((-3)/(-2274)) composite?
False
Let a be (-4)/(-4)*2*2. Suppose -2*j + 0*j = 10, 3*t + a*j = 85. Is t prime?
False
Let d(u) be the first derivative of -7*u**3/6 + 3*u**2/2 - 3*u + 3. Let q(f) be the first derivative of d(f). Is q(-4) a prime number?
True
Suppose 3*v = -3*j - 0*v + 30, -5*v + 26 = 2*j. Is 762/4*j/12 a prime number?
True
Let b be 48/18*3/2. Let u(k) = 1 + 4 - 3 + b*k. Is u(6) prime?
False
Suppose -2*p + 10 = -4*p. Let d(u) be the first derivative of u**4/4 + 2*u**3 - u**2/2 - 4*u - 3. Is d(p) composite?
True
Let a(x) = -2*x**3 + 2*x**2 - 3*x + 2. Let n be a(-6). Suppose 4*o = 8*o - n. Is o prime?
True
Suppose 5*r + 4534 = 3*x - 6481, 2*r = -4*x + 14652. Is x a composite number?
True
Suppose -g - 4 = g - 5*k, -5*g - 2*k + 19 = 0. Suppose 32 = g*u - 163. Is u composite?
True
Suppose 0 = -v - 4*p + 101, 4*v + 8 = 4*p + 392. Suppose 370 - v = 3*b. Is b a composite number?
True
Suppose g + 24 = -2*g. Let f(c) = -6 + c - 3 - 4*c. Is f(g) composite?
True
Is (-2)/(-5) - (-8273)/5 prime?
False
Suppose 0*y - 18 = -o - 3*y, 0 = -3*o - 5*y + 74. Is o a composite number?
True
Let z(g) be the third derivative of 8/15*g**5 + 1/24*g**4 - 4*g**2 + 0*g + 0 + 1/6*g**3. Is z(-2) a composite number?
False
Let m(i) = -3*i**2 + 6*i + 8. Let h be m(7). Is 10/10 + (-1 - h) prime?
True
Let y(m) = -20*m - 5. Let s(i) = i. Let r(l) = -4*s(l) + y(l). Is r(-7) a prime number?
True
Let x(a) = 106*a - 5. Suppose -10 + 2 = -5*y - 3*d, 2*y - 16 = 2*d. Is x(y) prime?
True
Let b = 20 + -8. Is (0 + -3)*(-236)/b prime?
True
Suppose -2*q + 146 = -180. Is q a composite number?
False
Suppose z - 146 = 261. Is z prime?
False
Let y = 255 - 99. Suppose 0*q = 2*q + 3*w - 148, 2*q - w - y = 0. Is q prime?
False
Suppose 4*t = 5*h + 12944 + 1920, 0 = -2*t - 3*h + 7454. Is t composite?
True
Let o(x) = -x**2 - 10*x - 3. Let n be o(-9). Suppose -3*r = 2*a - 175, -4*r = -2*a + 148 + n. Is a prime?
True
Let q(r) = 5*r**2 + 1. Suppose 8 = -4*a, -4*l + 0 - 2 = -3*a. Is q(l) a composite number?
True
Let r(n) = n**2 + n. Let v be r(2). Let t = v + -12. Let b = 12 + t. Is b a composite number?
True
Suppose 0 = 5*d - 2*d - 6, 123 = w - 2*d. Is w a composite number?
False
Suppose -3*g = -4*q + 310, -2*q + 140 + 20 = g. Is q a prime number?
True
Let s(r) = -r**3 - 4*r**2 - 3*r + 5. Let g be s(-4). Suppose -g - 30 = z. Let t = 80 + z. Is t prime?
False
Let q = -1 + 4. Suppose q*f - 3*o - 19 = o, -4*f + 23 = -3*o. Let z = f - -9. Is z a prime number?
False
Let w(v) = v**2 - 3*v + 6. Suppose 0 = j + 3*j - 16. Is w(j) a composite number?
True
Suppose -396 = -2*h + 242. Is h prime?
False
Let y(p) = -86*p - 35. Is y(-4) prime?
False
Suppose 2*m - 2 = 2. Suppose -3*u + 112 = u - 4*p, u = m*p + 33. Let k = 45 - u. Is k prime?
False
Suppose -3*i - 4*a + 5915 = 2*i, 0 = 3*i + 2*a - 3551. Is i prime?
True
Let z(i) = 43*i + 4. Let j be z(5). Let u = 410 - j. Is u a composite number?
False
Let v(b) = 27*b - 3. Let a be v(-6). Let x be (3 + -1)/((-10)/a). Suppose x = z - 4. Is z a composite number?
False
Suppose 291 = -0*t + 3*t. Suppose 3*x + g - 251 = -0*g, 