
True
Let z(g) = g**3 + 6*g**2 + 6*g - 7. Let w be z(-5). Let r = w - -33. Suppose 3 = 4*s - r. Is s a composite number?
True
Let a(m) = 6*m**2 + 14*m - 5. Let u be a(-10). Suppose 4*q = -n + 575, -q + u = 2*q - 4*n. Is q a composite number?
True
Let w(s) = -s**3 + s**2 - 3*s - 1. Let z be w(4). Let g = 96 + z. Is g composite?
True
Let r(c) = c**3 - 14*c**2 - 15*c + 3. Let f be r(15). Suppose f*s = 4*n + 3189 + 336, -3*n + 1162 = s. Is s a prime number?
True
Let u(b) = b**3 + b**2 - 5*b + 2. Suppose w + 2*n - 4*n - 1 = 0, 0 = 5*w + 2*n - 29. Is u(w) a prime number?
True
Is (118/1)/((-17)/(-5) - 3) composite?
True
Let h = -4066 - -6399. Is h composite?
False
Suppose 9*u - 35 = 4*u. Suppose -u*m = -3*m + 2220. Is (m/6)/(-5)*2 a prime number?
True
Let r be (569/(-3) + -2)*-3. Suppose -5*l = -350 - r. Is l prime?
False
Let u(p) = -2*p**3 + 7*p**2 + 4*p - 9. Let l(y) = -y**3 + 5*y**2 + 3*y - 6. Let n(s) = -8*l(s) + 5*u(s). Is n(-4) composite?
False
Suppose 52 = 2*m + l, 0*l + l + 98 = 4*m. Is m a prime number?
False
Let z be (-24)/8 + 1*3. Suppose -4*c - 8 = z, -2*n + 3*c = 3*n - 1121. Is n a composite number?
False
Suppose -5*p + 5*i = -20, 4*p - 2*i = 3*i + 18. Let v = 4 - p. Suppose -v*s = 2*s - 148. Is s prime?
True
Suppose 3*j - 393 = 240. Is j a composite number?
False
Let j(i) = 2*i**2 - 2*i - 2. Let c be j(-7). Let r = 8 - -109. Suppose f - 4*h - c = r, -2*h - 430 = -2*f. Is f composite?
False
Suppose -835 = -5*b + 50. Is b a prime number?
False
Suppose 5*g - 6*r + 2*r = 1593, 955 = 3*g - 2*r. Is g a prime number?
True
Let t(g) = 6*g**3 - 6*g**2 - 3*g - 13. Let k(b) = 3*b**3 - 3*b**2 - 2*b - 7. Let w(j) = -5*k(j) + 3*t(j). Is w(3) a prime number?
True
Let f be 3*(-2)/3*1. Let v = 14 - f. Let t = v - -33. Is t prime?
False
Is (-196)/(-49)*(-1 + (-2326)/(-8)) composite?
True
Let u(v) be the third derivative of -7*v**6/10 - v**4/24 + 3*v**2. Is u(-1) a composite number?
True
Let a(s) = 3*s**2 - 16*s + 2. Let h(f) = 5*f**2 - 31*f + 3. Let r(m) = -7*a(m) + 4*h(m). Is r(-7) prime?
False
Suppose 4*q + 2*u = 20, 2*u - 11 = 2*q - 3*q. Suppose 73 = q*g - 143. Suppose -f + 3*i + 67 = 19, -2*f - 2*i = -g. Is f a prime number?
False
Let w(p) = -p - 1. Let v be w(-4). Suppose r - 240 = -5*x, 67 = -v*x + 4*x + 4*r. Is x composite?
False
Let r(j) = 2 + 1 - 3*j - 2. Let g be r(-4). Is (g - -1)/(-3 - -4) composite?
True
Suppose -5 + 15 = 5*u. Suppose -6*y = -u*y. Suppose y = 2*n - 3*n + 49. Is n a composite number?
True
Suppose 5*a - 77 = -942. Let j = a - -124. Let u = -27 - j. Is u composite?
True
Suppose k - 626 = -0*z - z, 0 = -2*z - 5*k + 1264. Suppose 2*u = 84 + z. Is u a prime number?
True
Suppose 0 = -3*q + 828 - 75. Is q composite?
False
Suppose -3*w = -5*o + 955, 3*o - 528 - 45 = 5*w. Is o composite?
False
Let s = 1119 + -737. Is s a prime number?
False
Suppose 3*x + i = -4*i + 320, 0 = -i - 5. Is x prime?
False
Suppose w - 5*c = -3*c + 5, 0 = 4*w - 2*c - 20. Suppose -2*z + 19 = -w*v, 3*z - 2*v - 61 = -v. Suppose 0*k + z = k. Is k prime?
False
Let q(c) = c**3 + 5*c**2 + 2*c - 9. Is q(11) composite?
False
Let d(o) = 2*o**2 + 13*o + 15. Suppose -4*p = 6*k - 3*k + 10, 3*k = p - 35. Is d(k) a prime number?
False
Let q = 84 - 141. Let n = q + 260. Is n prime?
False
Suppose -2*r + r = 0. Let l(v) = -v + 149. Is l(r) prime?
True
Let o be (-2 - -8) + (-5 - -2). Suppose 385 = o*h + 28. Is h a composite number?
True
Let h(n) = -n + 4. Let b be h(4). Suppose -6*p + 4*j = -2*p - 12, -4*p + j = -9. Suppose -4*m + 220 = -2*f + f, -m + p*f + 55 = b. Is m a prime number?
False
Let a(t) be the third derivative of 0 + 3*t**2 + 0*t**3 - 1/24*t**4 + 2/15*t**5 + 0*t. Is a(3) a prime number?
False
Let i(g) = -20*g**3 + g**2 + g. Let m be i(-1). Let z be 3/(-5) + 2652/m. Suppose -8*x + 4*x = -z. Is x prime?
False
Suppose -5*v + 1776 = 3*r, 709 = 4*r - 5*v - 1624. Is r prime?
True
Suppose 0 = -g + 3194 - 1143. Is g a composite number?
True
Suppose 4*u - 65 = 3*k - 15, -5*k - 94 = 4*u. Let a = -13 - k. Suppose 3*n - 433 = -p, -a*p + 0*p + 306 = 2*n. Is n a composite number?
True
Let d be (-62)/((-18)/(-4) - 4). Is 10/2*d/(-10) composite?
True
Suppose h - 92 = -0*v + 5*v, 3*h - 219 = -4*v. Is h prime?
False
Let n = -10 - -10. Suppose 5*m = -n*m + 215. Is m a composite number?
False
Is (-6 + (1 - -4))/((-2)/982) a prime number?
True
Is (24/(-30))/(2/(-15)) prime?
False
Suppose 2*i - 3*i = 0. Suppose i*l + 4*l = 2540. Is l a composite number?
True
Let w = -5 + 7. Suppose w*b - 6*b = -212. Is b prime?
True
Let x(l) = -161*l - 44. Is x(-6) a prime number?
False
Let g be 21/(-4) - 21/28. Let c = 73 - g. Is c composite?
False
Let q(j) = 28*j**2 - 5*j - 11. Is q(8) composite?
False
Let g(n) = 12*n - 10. Let l be g(7). Suppose -3*m = 2*s - l, 3*s + 19 = m + 108. Is s a composite number?
False
Is 100 - (0 + (-3)/(-1)) prime?
True
Suppose -s + 289 = 2*y, s + 864 = 4*s + 3*y. Is s a prime number?
False
Suppose 5*s - 5588 = s. Is s prime?
False
Suppose 0 = -8*j + 9*j - 2203. Is j prime?
True
Suppose 0 = -5*x + 4 + 31. Suppose 4*q = x + 53. Is q composite?
True
Suppose 7817 = 5*p - 42548. Is p a prime number?
False
Let a be (-6)/3*6/(-4). Suppose a*g = -0*g + 165. Is g composite?
True
Let a(h) = h**2 - 7*h - 8. Let p = -21 - -29. Let o be a(p). Is -2 + o + 1 + 8 a composite number?
False
Let k = -3 + -2. Let i = 8 + k. Suppose i*v + 3*a = -2*v + 760, -3*a - 635 = -4*v. Is v prime?
False
Let h(s) = 195*s - 22. Is h(5) a composite number?
False
Suppose -518 = -n - 5*f, -4*n - f + 502 = -3*n. Suppose 3*o - 1173 = n. Is o composite?
False
Suppose -2*b - 4*g + 12 = -18, 4*b - 50 = -3*g. Is (-214)/(-3) + b/(-33) a composite number?
False
Let y(g) = g**2 + 11*g + 22. Let d be y(-9). Is ((-2031)/6)/((-2)/d) a prime number?
True
Is 127*4/(4 - 0) a composite number?
False
Is (-4 - (-5060)/6)/((-4)/(-6)) a prime number?
True
Suppose -5*u + 208 = -u + 4*w, -2*w - 171 = -3*u. Is u prime?
False
Let f(a) = 4*a**2 - 2*a - 3. Let n(b) = -5*b**2 + b + 2. Let u(s) = 3*f(s) + 2*n(s). Is u(-4) prime?
True
Let u be (-1*8)/(-3 - -4). Is (4/u)/((-3)/1146) a prime number?
True
Let o(g) = 3*g**2 + 0 + 7*g + 5 - 2. Is o(-6) a prime number?
False
Let n(p) = 5*p**2 - 3*p. Let l be 1*13 + -6 + 6. Suppose 2*w - 4*w - 5*d - 11 = 0, -l = -5*w + d. Is n(w) prime?
False
Let v be 4 - (-3 + 3) - 2. Suppose v*i - g - 68 = -0*i, 0 = -4*i - 2*g + 144. Is i composite?
True
Let d be 4/(-8)*(-1 + -3). Suppose -3*r + 55 = -d*r. Is r a composite number?
True
Suppose 0 = -2*k - 5*s + 608, 1252 = k + 3*k + s. Let o = 59 + 43. Suppose 4*c = k - o. Is c prime?
True
Suppose s + 2*s = -225. Let r = s - -152. Is r a composite number?
True
Let c be 1/(-2) - (-28)/8. Suppose 0 = -c*x - 2*l + l + 10, -4*x + 5 = 3*l. Suppose -p - 188 = -x*p. Is p a composite number?
False
Suppose 24 - 135 = -d. Is d composite?
True
Is (6/4)/((-3)/(-397))*26 a prime number?
False
Let i(r) = -58*r**3 + r**2 + r + 1. Suppose 0 = 3*j + x + 2*x - 12, 5*x - 21 = -4*j. Is i(j) composite?
False
Suppose -x = w - 6, 0*w - w + 12 = 3*x. Suppose -5*z - 2*j = -x*j - 116, 5*z - 110 = -5*j. Is z a prime number?
True
Let v(i) = 0*i + 0*i - 76*i**3 + 1. Is v(-1) composite?
True
Let g be (-2)/8 - 31/4. Let o(p) = -2*p + 3. Is o(g) a prime number?
True
Suppose -2*u - 99 = 5*i - 897, 4*i = -16. Is u composite?
False
Let i = 2 - 2. Suppose -4*w + 8*w - 2*v - 6 = i, 2*w = 3*v - 3. Suppose w*m - 67 = -2*y, -6*y - 76 = -4*m - 2*y. Is m prime?
False
Suppose -3*t + 5 = -4. Suppose 135 = 2*w - a, 0 = 3*w + w - 3*a - 273. Suppose t*b = b + w. Is b prime?
False
Let r(u) = 25*u**3 + u**2. Let n be r(1). Suppose -2*y = -n - 4. Is (-6)/y - (-594)/10 prime?
True
Is -21*1*44/(-12) a prime number?
False
Let i = 49 - -196. Suppose -i = -4*w - 97. Is w prime?
True
Suppose 2*t = 3*t - 5. Suppose -h = m - 0*h - 122, t*m - 4*h - 655 = 0. Is m a composite number?
False
Suppose -4*o = -2261 + 481. Is o a prime number?
False
Let x(h) = h + 97*h**3 - 3*h**2 + 3*h**2 - 1. Suppose 7*y - 2 = 5*y. Is x(y) prime?
True
Suppose -2*t = -6*t - 48. Let a = 4 + -20. Is (171/t)/(6/a) prime?
False
Let f be (-666)/(-12)*(-8)/2. Let s = f + -416. Is (-3)/4 - s/8 prime?
True
Let f = -211 + 351. Suppose 8*h - 4*h + 3*v = f, 3*v = -5*h + 175. Is h a prime number?
False
Let g be (-18 + -1*2)*-2. Let z = 87 - g. Is 