site?
True
Let x(v) = v**3 - 9*v**2 + 3*v. Let i be x(9). Let b = i - -112. Is b composite?
False
Let c(x) = 100*x - 3. Is c(1) a composite number?
False
Suppose -2*u + 1130 = -260. Is u a composite number?
True
Let m(i) = -i**3 + 31*i**2 - 21*i + 27. Is m(14) composite?
True
Suppose 4*z + 4 = -4. Is (133/14)/(z/(-12)) a prime number?
False
Let d = 8746 - 4959. Is d a prime number?
False
Suppose 0*q + 4945 = 5*q. Is q a prime number?
False
Suppose 0 = -2*j + 4*j - 266. Is j composite?
True
Let i = 26 + 53. Is i composite?
False
Suppose 0 = -2*q - 2*q + 420. Suppose 537 = 2*h - q. Is h composite?
True
Let q(g) = -g**2 - 8*g + 4. Is q(-7) composite?
False
Let y be (-2)/7 + (-15)/21. Is y*9/(-3) - -124 a prime number?
True
Let d = 4228 + -2127. Is d composite?
True
Suppose -2*o + o = 0. Let u be (6 + o)*1/(-3). Is u*62*(-1)/4 a composite number?
False
Let a(w) = 14*w - 2. Let g(r) = -r**3 + 3*r + 3. Let l be g(-2). Suppose 0*q - 20 = -l*f - 5*q, -12 = -5*f - q. Is a(f) a composite number?
True
Let r = 241 + -131. Let u = 157 - r. Is u composite?
False
Let b(x) = x. Let j be b(2). Suppose -p + 0*p + j = 2*r, 4*p - r - 17 = 0. Suppose 0 = p*s + 5*v - 149, 37 = 2*s - 5*v - 0*v. Is s a prime number?
True
Suppose k - 597 = 2*b + 297, 5*k = 2*b + 902. Let y = b - -657. Is y a composite number?
False
Let h(a) = -3 - 6 + 11 + 139*a. Is h(3) a composite number?
False
Suppose 24 = 3*x - 3*w, 0*x - 18 = -x + 3*w. Let c = -8 + x. Is (3 + c)/((-4)/30) a composite number?
True
Suppose -5*k + 883 = 3*v, -5*v - 9 = 11. Is k a prime number?
True
Let b be 1/(-3) - 10/(-3). Suppose -q + 0*q = -b. Suppose 0 = -q*y + 69 + 162. Is y a composite number?
True
Let k = 89 - 56. Let m = k + -7. Is m prime?
False
Is (4 - 6)*(-573)/6 a prime number?
True
Let l = -25 - -17. Let z be (l/10)/(1/(-5)). Suppose -3*f + 44 = -h, -z*f = -2*h - 0*h - 62. Is f a prime number?
True
Suppose 0 = 5*p - 21 - 4. Let x(b) = b**2 + 7*b - 1. Is x(p) prime?
True
Suppose 4*z + 9 = -11. Suppose 0 = g + 3*b - 18, 4*g - 3*b - 25 = 2. Let i = g - z. Is i a composite number?
True
Let f(o) = -2*o**3 + o**2 - 4*o - 3. Let k(g) = -g**2 + 8*g + 11. Let a be k(10). Let r = 7 + a. Is f(r) composite?
True
Suppose 0 = 2*g - a + 38, -3*a - 1 = 11. Suppose r - 3*t - 2 = 42, 5*r = 4*t + 220. Let x = g + r. Is x composite?
False
Let c(u) = u**2 + 3*u - 7. Let m be c(-5). Suppose 4*t + 4*g = 0, m*g - 4 = g. Is (-4)/6*231/t a prime number?
False
Let m(o) be the third derivative of -o**6/120 - o**5/12 - o**4/8 + 2*o**3/3 - 4*o**2. Let s be m(-4). Suppose -4*k - 8 + 100 = s. Is k prime?
True
Suppose 3*f + 1 = 4*f - 2*u, -4*f - 5*u = -30. Let g(o) = 11*o - 6. Is g(f) composite?
True
Let v be -1 - (0 + (-328)/(-4)). Let b = -46 - v. Is b a prime number?
True
Let b(q) = -q**3 - 6*q**2 + q + 6. Let h be b(-6). Suppose h = -0*l + 2*l - 3*d - 56, 29 = l - d. Is l composite?
False
Is -3 + 0 + 4*23 a prime number?
True
Let m = 19 - 4. Let i = 34 - m. Is i composite?
False
Is (-101933)/(-143) + 2/11 prime?
False
Let h(w) = -17*w + 20. Let g(s) = 6*s - 7. Let q(f) = -7*g(f) - 2*h(f). Is q(-10) prime?
True
Let f(g) = 1 - 11*g - 2*g + 2*g. Let d be f(-3). Suppose -n = -31 - d. Is n a prime number?
False
Suppose -4*l = -6*l - 2*p + 4082, 10233 = 5*l - 2*p. Is l composite?
True
Let d be (-2)/(-4) + (-213)/6. Let n be (d/(-2))/(2/20). Suppose -n = -3*p - 2*p. Is p composite?
True
Let j(l) = l**2 - 7*l - 11. Is j(13) prime?
True
Suppose 0 = 2*b - 3*j - 334 - 1162, 737 = b + 4*j. Is b a prime number?
False
Suppose -11 = -4*a - 3. Suppose 0 = a*r - 4*h - 14 - 376, 0 = r - h - 193. Is r a composite number?
False
Suppose 2*q = 3*q - 79. Is q a composite number?
False
Let y be 120192/88 - 4/(-22). Let n = y - 495. Is n prime?
False
Let t(a) = -3*a**3 - 7*a**2 + 7. Is t(-3) a prime number?
False
Let y = 6 - 25. Let i be 4 + -2 - (y + 0). Suppose -i = -d - b + 105, 2*d - 4*b - 258 = 0. Is d a composite number?
False
Let j(c) = -c - 9. Let f be j(-12). Is (-58 + 0 + f)*-1 composite?
True
Suppose 5 + 43 = -4*l. Is (-2)/4 - 90/l composite?
False
Is (3 + 0 - 8)*-23 a composite number?
True
Is 4/(-10) - (-314341)/115 a composite number?
True
Let s(a) be the third derivative of -a**6/120 + a**5/10 + a**4/4 + a**3/6 - 3*a**2. Is s(6) prime?
True
Is 8/16*(-2 - -256) a composite number?
False
Let q(n) = -111*n + 1. Let d = -10 + 8. Is q(d) composite?
False
Let w be 10/(-3 + 5 + -3). Is (-12)/(-30) - 346/w a composite number?
True
Suppose 2008 = 3*a + 5*a. Is a prime?
True
Let u be 2 + 1 + 6/(-2). Suppose u = -k - w - 2*w + 10, -4*w = 4*k - 40. Is k a prime number?
False
Suppose 5*c - 55 = t, 3*c = 4*t - 6 + 56. Let f be ((-2)/3)/(c/(-75)). Suppose -25 = f*r - 4*q - 308, -5*q + 74 = r. Is r a prime number?
True
Suppose -5*n + 14 = -1. Suppose n*s = -2 - 7, 4*p + 3*s - 371 = 0. Is p prime?
False
Is (3 - 1)/((-34)/(-39661)) prime?
True
Suppose -2*s = -3*s + 69. Suppose 0 = 3*v - 0*v - s. Is v composite?
False
Let g(k) = -k - 6. Let j be g(0). Let m = -5 + 25. Let f = m - j. Is f prime?
False
Let h = 551 - -236. Is h a prime number?
True
Let p = -5 - -9. Suppose 0*r - 2*r = p. Is (-93)/r*(-4)/(-6) a prime number?
True
Let d = 4989 + -2270. Is d composite?
False
Suppose 2*m = 361 - 93. Is (1/(-2))/((-1)/m) a prime number?
True
Let c = -5 - -8. Let t = c - 1. Is t prime?
True
Let a(q) be the third derivative of q**5/120 - q**4/8 + q**3/6 + q**2. Let m(t) be the first derivative of a(t). Is m(10) composite?
False
Let s be (0/2)/((-4)/(-2)). Suppose -r - 79 = -3*y, s = -2*r - 3*r - 20. Let b = -16 + y. Is b composite?
True
Let m(b) = -80*b + 17. Is m(-12) a prime number?
True
Suppose -q - 102 = 57. Is (0 - 1/3)*q prime?
True
Suppose 3*k = -3*i - 1112 + 4394, k + 2*i = 1089. Is k a composite number?
True
Let j = -968 + 1817. Is j a composite number?
True
Let z = 18562 - 13149. Is z a prime number?
True
Let q = 24 - 15. Is 264 - 2*q/(-6) prime?
False
Let h be (-1)/(-3) - (-8)/3. Suppose 0*x + h*x - 2421 = 0. Is x a composite number?
True
Suppose 3*y - 4 = 2*y. Is (-5715)/(-35) + y/(-14) composite?
False
Suppose r - 52 = j, -4*r + 7*j = 2*j - 207. Is r composite?
False
Let g be (-14)/(-8) + (-3)/(-12). Suppose -122 = -4*c + 2*d, 0 = 4*c - 4*d - 105 - 27. Suppose c = 3*t - g. Is t composite?
True
Suppose 5*x - n = -2*n - 51, 4*x = n - 39. Let r = x + 45. Is r composite?
True
Let s be 6/(-21) + (-48)/(-21). Suppose -s*v + 40 = 2*v. Is v a composite number?
True
Let m = -139 - -206. Is m prime?
True
Let d be (81/2)/(1/2). Suppose 4*x - 2*l + 202 = -4*l, -5*x - 5*l = 255. Let f = d + x. Is f a composite number?
False
Let z(i) = 31*i + 1. Let o be z(2). Suppose -y + 190 = o. Is y prime?
True
Suppose -4 = u - 2. Let y = u + 4. Suppose -y*d = 2*h, -4*h + 2 - 5 = 3*d. Is d a composite number?
False
Is ((-801)/6)/3*-2 a prime number?
True
Suppose -1 = w + 5*s, -3*w + 7 = -2*s + 7*s. Let d = w + 6. Is d a composite number?
True
Let i(j) = -j - 5. Let h be i(0). Let y = h + 11. Is y composite?
True
Let i(n) = 33*n**3 - 2*n**2 + 2*n + 1. Let a(u) = 34*u**3 - 3*u**2 + 3*u + 1. Let f(z) = -3*a(z) + 4*i(z). Is f(1) prime?
True
Is (-11)/2*60/(-10) composite?
True
Suppose 5*o + 33 - 418 = 0. Suppose i + 0*i = o. Is (i/(-4))/((-2)/8) a composite number?
True
Suppose -7*j = -3*j - 3068. Is j a composite number?
True
Suppose 4*q - 4*w - 184 = -5*w, -5*q + 251 = -4*w. Is q prime?
True
Suppose -3*f + 451 = -152. Let v = f - -106. Is v composite?
False
Let y(v) = -v**3 - 15*v**2 + v - 1. Is y(-16) a prime number?
True
Let x = 1 + 5. Is x + -6 - (-19 - 0) a composite number?
False
Is 4280/30 + 2/(-3) a composite number?
True
Let h be (-3)/1*676/6. Let m = 639 + h. Is m a composite number?
True
Let f = -388 + 549. Is f a prime number?
False
Suppose 0 = k, -k - 12 = -4*a + k. Let r = a - -21. Let c = r + 7. Is c prime?
True
Let q(k) = 5*k - 6. Let h be q(4). Let n(o) = o**3 - 15*o**2 + 21*o - 19. Is n(h) a composite number?
False
Let u(n) be the second derivative of n**4/2 + 11*n**3/6 - 2*n**2 + 4*n. Is u(9) composite?
True
Let c be (-4 - 0)*(-2)/(-4). Let t(m) = m**2 - 6*m**3 - 4*m**3 + 0*m**3 + 4*m**3 - 2*m - 3. Is t(c) composite?
False
Suppose 0 = 2*r + o + o + 18, 2*o = r. Let v be ((-10)/(-3))/((-4)/r). Suppose v*c = 4*x - x - 190, 3*x = c + 170. Is x prime?
False
Let o(t) 