285 = 0, 6*w - w - 6425 = 2*i. Is w composite?
True
Suppose -3*y + 5*y = -482. Let v = -158 - y. Is v a composite number?
False
Let h be 3/(-6) - 1109/2. Let u = h - -1040. Is u prime?
False
Suppose 0 = -9*y + 4*y + 20. Let b be (2 - 0)*346/y. Suppose -b = -x + 5*c, 3*c = -2*x + 2*c + 324. Is x composite?
False
Suppose -c + 602 = 5*b - 2*b, 0 = 2*c + 4*b - 1194. Is c a composite number?
False
Suppose 7*g - 1796 = 3*g. Is g a prime number?
True
Let x(k) = -k**3 + 10*k**2 - 9*k + 7. Is x(9) a composite number?
False
Let m(u) = 6*u**2 + 3*u + 5. Let y = 2 - 6. Is m(y) a composite number?
False
Suppose h = 1031 - 153. Is h a prime number?
False
Let h(k) = 93*k + 1. Let n be h(8). Suppose 0*s + n = 5*s. Is s a prime number?
True
Is (-3)/5 - (-1280)/50 composite?
True
Let z(k) be the second derivative of -49*k**3 - k**2 - 3*k. Is z(-2) composite?
True
Let k(a) be the third derivative of 1/24*a**4 + 1/10*a**5 + 0*a + 2*a**2 + 0*a**3 + 0. Is k(1) prime?
True
Suppose -n - 444 = -5*h, 2*h - n = 6*h - 357. Is h a prime number?
True
Let r(d) = d**2 - d + 3. Let v = 35 + -19. Suppose -2*h = 2*h + v. Is r(h) composite?
False
Let s(b) = 319*b - 3. Is s(2) prime?
False
Suppose -b = -5*b + 8. Suppose a + 9 = -3*x, 2*a - 1 = b*x - 3. Is (0 - x)/((-2)/(-79)) a composite number?
False
Let s(t) = -11*t + 0 + 2 - 1. Let h be s(-1). Suppose 0 = -5*b - 5*z + 110, -2*b + 23 = -z - h. Is b a prime number?
True
Suppose 1446 = 5*s + 5*a + 96, 554 = 2*s - 5*a. Suppose x - s = -x. Suppose 2*l = -2*l + x. Is l composite?
True
Let m be -1 + 1 - (-15)/5. Let q(x) = 3*x**m - x**2 - 2*x**3 + 2*x**2 - x. Is q(2) a composite number?
True
Let x be -1*(-6)/(1/1). Suppose -k - 13 = -2*i + i, 2*i + x = -2*k. Is (-1)/(-4) - 294/k composite?
False
Suppose 5*a + 0*a - 790 = 0. Is a prime?
False
Suppose 4*o - 3*j + 1385 = 0, 2*o - 3*j = o - 344. Let b = o - -654. Is b prime?
True
Let r(c) = c**3 + 4*c**2 + 2*c - 4. Let j be r(-4). Is (-950)/(-3) + (-4)/j a composite number?
False
Suppose 5*d + 34 = 5*h - 231, 5*d = 4*h - 207. Let m = h - 27. Is m a composite number?
False
Let i(n) be the first derivative of n**5/20 + n**4/3 + n**3/3 + 2*n**2 + 3*n - 2. Let h(z) be the first derivative of i(z). Is h(-3) composite?
False
Let q(l) be the third derivative of -l**5/60 - 11*l**4/24 + l**3/3 + l**2. Is q(-8) a composite number?
True
Is (-5368)/(-24) - (-2)/(-3) a composite number?
False
Is 1 + 324/((-2)/(-1)) prime?
True
Let y(l) = 11*l**2 - 7*l - 5. Is y(7) composite?
True
Let m be -3 - (-3 - -1) - -5. Let k be ((-86)/m - -3)*-6. Suppose -2*y = -3*y + k. Is y a composite number?
True
Suppose 2*r + 2*r - 596 = 0. Is r a composite number?
False
Is (-8)/(-12) - 652/(-3) composite?
True
Let s(q) = 9*q - 4. Let o(n) = 2*n**2 + 4*n - 1. Let h be o(-3). Suppose -h*u + 18 = 3. Is s(u) prime?
True
Suppose 3 = -f + 37. Is f prime?
False
Is ((2206/4)/1)/(5/10) a composite number?
False
Let o(t) = 29*t**2 + 5*t + 7. Is o(-3) a composite number?
True
Let a(h) = 113*h - 10. Is a(3) composite?
True
Let h = 27 + -22. Suppose h*t - 3*i = 59, 4*i + 42 = 3*t - 0*t. Is t composite?
True
Let u = -41 + 19. Suppose 5*y = -4*k + 283, -13 + 3 = -5*k. Let d = y - u. Is d composite?
True
Let d(s) = -11*s + 14. Is d(-9) a prime number?
True
Let n(i) = -22*i**3 + 2*i + 1. Let t be n(-1). Let d = -10 + t. Is d a composite number?
False
Let s(l) = l**2 - 10*l + 11. Is s(-10) a composite number?
False
Suppose -f + 1 = 3. Let t = 12 - f. Is t prime?
False
Suppose 2*t + 3*c = -0*t + 55, -3*t = 3*c - 81. Suppose -277 = -p - t. Is p composite?
False
Let s(t) = 3*t**3 - 8*t**2 + 7*t - 21. Is s(10) prime?
False
Let w = -3 + 7. Suppose 5*s - 3*s - 90 = 4*a, 0 = w*s - 4*a - 160. Is s composite?
True
Let i = 1349 + -676. Is i composite?
False
Let j(a) = a**2 + 4*a - 2. Let y be j(-4). Let c be (-284)/(-6) + y/(-3). Suppose 332 = 4*l - c. Is l composite?
True
Let s(y) = 48*y + 79. Is s(17) prime?
False
Let t be ((-2)/(-3))/(6/27). Let s(y) = -33*y**2 + 2*y + 1. Let i be s(t). Is 1/(-3) + i/(-15) a composite number?
False
Let b = -348 + 588. Let q = b - 119. Is q a composite number?
True
Let v(s) = s**3 - 5*s**2 - 5*s + 6. Let i be v(6). Let y be (-5)/(-3) + (-8)/i. Is ((2 - -8)*1)/y a prime number?
False
Let r(p) = -4*p + 4. Let y be r(4). Let c = y - -8. Is c*(-2 - (-23)/(-4)) composite?
False
Let w(a) = -a**3 + 2*a - 5. Is w(-4) a prime number?
False
Suppose -h = -5*h + 1772. Suppose -10*x + 9*x = -h. Is x composite?
False
Let h(u) = -u + 8. Let x be h(8). Suppose 0 = -x*a + 5*a - 10. Suppose -f = -2*i + 17 + 181, -5*i = -a*f - 493. Is i composite?
False
Let s = -116 - -74. Let d = 9 + s. Let k = -20 - d. Is k composite?
False
Suppose 3*o = -4*b + 1682, -2*b - o + 846 = 3*o. Is b composite?
False
Let y(g) = g**2 - 2*g - 1. Let u be y(3). Let m be u/6*(7 + -1). Suppose -a = 5*t - m*a - 39, 0 = -3*t + a + 25. Is t prime?
True
Let c be (4/(-6))/((-2)/(-6)). Let j(b) = -22*b**3 + 3*b**2 + 2*b - 1. Is j(c) a prime number?
False
Is (-12)/24 + (-711)/(-2) a prime number?
False
Suppose 23 + 2 = 5*b. Let v(t) = -t**3 + 5*t**2 + 6*t + 5. Is v(b) composite?
True
Suppose -a - 3*b + 95 = -0*a, -2*b = -6. Suppose a = 5*q - 69. Is q a prime number?
True
Suppose -2*h - 114 = -5*h. Suppose -h = -s + 8. Is s composite?
True
Let a(z) be the second derivative of 0 - 5/3*z**3 - 1/12*z**4 + 2*z + 1/2*z**2. Is a(-6) a prime number?
False
Let t(i) = -i**3 - i**2 - 2*i + 2. Let p be t(0). Suppose -a = -5*o + 304 - 44, 5*o + p*a - 275 = 0. Is o composite?
False
Suppose 0 = -h + 9 + 12. Let m = 32 + h. Is m composite?
False
Suppose 0*d = -d + 169. Is d prime?
False
Let b(o) = 370*o + 1. Is b(1) prime?
False
Let m(z) = 3*z**2 + z + 1. Let i be m(-1). Suppose 4*f + k + 11 = 0, f + i*f + 1 = -3*k. Let b(g) = g**3 + 5*g**2 + g - 1. Is b(f) prime?
True
Suppose i - 2*i + 486 = y, 2*y - 2*i = 976. Is y a composite number?
False
Let a be 1*-2*188/8. Is (-2)/4*0 - a composite?
False
Suppose -3*d - 640 = -d. Let n = -55 - d. Is n prime?
False
Let d be (-1)/((-2)/(-2))*9. Let k = -9 - d. Suppose k = -0*a - 4*a + 476. Is a a composite number?
True
Let s = -91 + 206. Is s a prime number?
False
Suppose 0 = 9*s - 13*s + 1964. Is s a composite number?
False
Let v = 118 - 49. Is v a composite number?
True
Suppose 73 + 27 = 4*n. Is n composite?
True
Let s be (-4)/((-4 - -1) + 1). Suppose -s*o = 2*b - 512, 0*b - 1026 = -4*b - 2*o. Is b composite?
False
Suppose -4*k = -m - 4, 4*k - 16 = -0*m + 4*m. Suppose -3*f + 0*f = k. Suppose -3*l + 0*l + 105 = f. Is l prime?
False
Let s(m) = -m**2 + 9*m - 8. Let v be s(8). Suppose x - 6*x + 4*p + 2195 = v, -3*x + p = -1324. Is x composite?
False
Let g(q) = -q**2 + 7*q - 7. Let k be g(6). Let i be 1 + 2/k - -3. Suppose 0*c + 4 = -i*c, 5*t - c - 167 = 0. Is t a composite number?
True
Is (-10)/(-25) - (-2979)/15 prime?
True
Let c(z) = -z - 5. Let g be c(5). Let k be ((-56)/(-10))/((-2)/g). Suppose -3*p = p - k. Is p composite?
False
Suppose 2 = -5*m + 22. Suppose -5 = y, 0*s + y + 13 = m*s. Suppose -s*r + 3*c + 1 = 3, 2*c + 4 = 4*r. Is r prime?
True
Let a(p) = p**3 - p**2 - p + 10. Let k = -3 + 3. Let b be a(k). Let f = 13 + b. Is f prime?
True
Suppose 0*j - j + 703 = 0. Is j composite?
True
Is ((-382)/(-8))/((-8)/(-32)) prime?
True
Let w = 0 + 5. Let u(b) = 2*b**3 - 7*b**2 + b - 1. Is u(w) a prime number?
True
Let y be 2/(-6)*(-262 + 1). Suppose 14 + 29 = 2*k + o, 3*o = -4*k + y. Is k a composite number?
True
Let s = 3721 - 2142. Is s a composite number?
False
Let j(g) = -2*g**2 + 6*g + 4. Let s be j(6). Let l = -59 - -122. Let k = s + l. Is k prime?
True
Suppose 8*u + 1671 = 11*u. Is u composite?
False
Let w(h) = -2*h**3 + 6*h**2 + 13*h - 12. Is w(-7) a prime number?
True
Let w(b) = 162*b - 19. Is w(4) a prime number?
False
Let a = -8 - -8. Suppose a = -5*m + 3*d + 123 + 281, 3*d + 325 = 4*m. Is m a prime number?
True
Let l(b) = -7*b + 4. Let w be l(-6). Is (-30)/(-4)*w/3 a prime number?
False
Let g = -228 + 607. Is g a prime number?
True
Suppose -3*x + 339 = -0*x. Suppose 0 = -2*i + x - 19. Is i a composite number?
False
Let v(k) = -911*k. Is v(-1) composite?
False
Let k(x) = -3*x**3 - 7*x**2 - 10*x + 6. Is k(-8) prime?
False
Let u(l) = 3*l**2 + 7*l - 6. Let q = 10 + -6. Let f be u(q). Suppose -v + f = 4*v. Is v prime?
False
Suppose 2*