 Is r prime?
False
Let x(c) = -2*c**2 - 2 + 4 + 3*c**3 - 1. Let j be x(1). Suppose 0*i - 12 = -j*i. Is i composite?
True
Suppose -d - 2*d = -6. Let c be (3/(-1))/((-3)/4). Suppose d*b - c*m - 11 = b, 29 = b + 5*m. Is b a prime number?
True
Let i = 76 + 19. Let g = 190 - i. Suppose 4*a - g = -7. Is a prime?
False
Let n(a) = 4*a + 2. Let i be n(-2). Let g = 8 + i. Suppose -g*x - 156 = -4*k, 0*k = 2*k + 2*x - 66. Is k composite?
False
Let l be 1582/6 + 2/6. Let i = l - 689. Let j = -258 - i. Is j a composite number?
False
Let f = -239 + 394. Let w = f + -64. Is w a prime number?
False
Suppose -5*n + 2428 + 747 = 0. Is n prime?
False
Let z be -15*(-2)/(-20)*-4. Let w(l) = l**3 - l**2 + 2*l - 1. Is w(z) a composite number?
False
Let b(y) = y**3 + y**2 - 3*y - 3. Let s be b(-2). Is 1/(264/(-267) - s) a prime number?
True
Let i = -948 + 1693. Is i a composite number?
True
Suppose 950 + 305 = 5*n. Is n a prime number?
True
Let y = 464 + -188. Suppose y + 80 = 4*o. Is o a prime number?
True
Let q(j) = -8*j**3 - 2*j**2 + 7*j + 2. Is q(-5) composite?
True
Is (-2)/6 + (2 - 1052/(-6)) composite?
True
Let m(k) = -32*k**2 - 4*k + 3. Let l(w) = -10 + 95*w**2 - 5*w + 6*w + 12*w. Let r(o) = -2*l(o) - 7*m(o). Is r(1) a composite number?
True
Suppose -8 = 3*z - 20. Let m(s) = s**3 - 8*s**2 + 2*s + 1. Let l be m(z). Is (-4)/22 + (-3420)/l a composite number?
True
Let q(p) = 196*p - 66. Is q(23) composite?
True
Let f = -338 + 566. Suppose 4*i - 538 = 3*z, -5*z + f = 5*i - 427. Is i a prime number?
False
Suppose 8*i = 3*i - 20. Let y(a) = 3*a**2 + 5*a + 5. Is y(i) prime?
False
Suppose 0 = -2*v - 0*v - d + 2873, -5*v = 4*d - 7178. Is v prime?
False
Let p(a) be the third derivative of -a**6/120 + a**5/10 - a**4/12 + 2*a**3/3 + a**2. Let b(m) = m**3 + 8*m**2 + 7*m + 5. Let j be b(-7). Is p(j) composite?
False
Is 317*(-3 - -4*1) composite?
False
Suppose -5*s = 0, s + 6 = 3*n - 0*s. Suppose 2*l = -5*x + 59, -n*l = -5*l - x + 108. Is l composite?
False
Suppose -2*w - c = 732, 3*w + w = 4*c - 1440. Let r = -195 - w. Suppose 3*q + o - r = -o, 4*q = 5*o + 187. Is q composite?
False
Let x = 12679 + -8634. Is x a prime number?
False
Suppose b + 0 = 4. Suppose -4*i - i - b*h + 1273 = 0, 5*i = 3*h + 1294. Is i a prime number?
True
Suppose -9 = 3*f, 2*f = t - 0*f - 821. Suppose 0*z - t = -5*z. Is z composite?
False
Let b be 0 - (0 - (-6)/(-3)). Suppose 0 = -2*f - m - 7, -3*f - b*m - 5 = -8*f. Is f/6 + (-2850)/(-36) a composite number?
False
Let h(i) = i - 2. Let l be -12*(15/(-9) - -1). Let y be h(l). Let p = 19 - y. Is p a prime number?
True
Let d(q) = -5*q + 1 - 6*q**3 + 4*q**3 + 3*q**3 - 4*q**2. Suppose 5*v - 50 = -20. Is d(v) a composite number?
False
Suppose 0 = -5*z + 2*v + 1425, 2*z - 2*v - 569 = -v. Is z composite?
True
Let o(d) = -d + 1. Let f be o(1). Let a = f - -337. Is a a composite number?
False
Suppose 4*g + w = -g + 2702, -4*w = 12. Is g a prime number?
True
Let n(b) = -b**3 - 5*b**2 + 7*b + 9. Let c be n(-6). Let y be (2/(-3))/(4/492). Is c/(-2 + 5) - y composite?
False
Let r(v) be the third derivative of 0 + 1/24*v**4 + 0*v + v**2 + 0*v**3 + 1/60*v**5. Is r(-3) a prime number?
False
Suppose -4*q + 89 = -3*q. Let j = q + -62. Is (j - 1)/(7 + -5) composite?
False
Let s(i) = 68*i**3 - i. Suppose 2*r - 11 = -1. Let t = 6 - r. Is s(t) a prime number?
True
Suppose -5*d = -7*d + 526. Is d prime?
True
Let m = 3 - 6. Is m/2 - (-293)/2 composite?
True
Suppose 0 = 4*d, -2*y - 5*d = -2*d. Suppose -p + 101 = 3*v + 3*p, y = -v + p + 36. Is v prime?
False
Suppose 2*b = 3*b. Suppose 5*d + b*d = 20. Suppose 0 = -d*s + 4*o + 84, 30 = 5*s + 5*o - 95. Is s a composite number?
False
Let j(a) = -a**2 + 1. Let m be j(1). Suppose m*w + 3 = w. Suppose t - 8 = -w*r + 22, 4*r - 59 = 5*t. Is r composite?
False
Let w(g) be the second derivative of g**5/10 - 2*g**4/3 - 11*g**3/6 + 5*g**2/2 + g. Let b be w(7). Is b*(-3 - 7/(-2)) a composite number?
True
Let g(s) = -s + 8. Let z(d) = -d + 1. Let i be z(7). Is g(i) a composite number?
True
Let t be (1 + 0 - 1)/2. Let s = t - 0. Suppose s = 2*q - 3*o - 119, 3*o - 7*o = q - 43. Is q composite?
True
Is (-202 + 7 + 8)*(-1 + 0) composite?
True
Let f(x) = 2*x**3 + 6*x**2 - 2*x - 4. Let p be f(-3). Suppose 118 = 2*j + 4*u - 840, 0 = 5*j + p*u - 2371. Is j a prime number?
False
Let q(k) = -8*k**3 + 6*k**2 + 2*k + 3*k**3 + 2*k**3 - 2 + 2*k**3. Let x = -1 - -7. Is q(x) a prime number?
False
Is (-1185)/(-7) - 14/49 composite?
True
Let q be (-122)/14 - 2/7. Let z be (-210)/q + 2/3. Is (-774)/(-8) + 6/z a prime number?
True
Let a(s) = -4*s**3 + 2*s**2 - 1. Let c be a(-1). Suppose 0 = -c*q + 3*q + 46. Is q a composite number?
False
Let j(m) = 60*m**3 + 3*m**2 + 3*m + 1. Is j(3) a composite number?
False
Suppose m + 71 = 3398. Is m composite?
True
Suppose 3*a - 5*f + 10 = a, f = -3*a + 2. Let r(w) = w + 1. Let t(j) = -j - 37. Let v(g) = -2*r(g) - t(g). Is v(a) prime?
False
Let n = -2942 - -4597. Is n a composite number?
True
Suppose -1620 = -5*x + 5*l, 4*l - 937 = -2*x - x. Is x composite?
True
Let g(c) = -2*c**3 - 3*c**2 - 5*c - 7. Let j be g(-5). Let q = -98 + j. Is q a composite number?
True
Let m(i) = -i**3 + 3*i**2 + 6*i - 6. Let q be m(4). Suppose 0 = q*j - 18 + 8. Suppose 19 = 4*r + j*x, 3*x - 6*x = 3. Is r a composite number?
True
Suppose 2*r + 1 = 11. Suppose 49 = z + 2*l + 2*l, 4*z + r*l - 207 = 0. Is z a prime number?
True
Is -6 - (-4 + 1) - -296 a composite number?
False
Let n = -290 - -469. Is n a prime number?
True
Is 5/4*-6*(-6516)/54 prime?
False
Suppose 0 = r + 3*n - 1711, -3*r + 4852 + 281 = 5*n. Is r composite?
True
Let x be (-2)/4*-2 + -28. Let p = x + 38. Is p a composite number?
False
Let d(r) = 3*r. Let s be d(3). Suppose -44 = 5*o - s*o. Is o prime?
True
Suppose 4*q - 1167 = q + 3*d, -q + 3*d = -391. Suppose -q = -g - 3*g. Is g a prime number?
True
Let y = 1 + -3. Let z = 2 + y. Let f(p) = p**3 - p**2 + 3. Is f(z) composite?
False
Suppose 0 = 3*r + 9 + 9. Let g(a) = 2 + 4*a + 7*a**2 + 0*a - 2*a + a**3. Is g(r) a prime number?
False
Let d(q) = 9*q**3 - 4*q**2 + q - 1. Let n be 2/(-9) + (-319)/(-99). Is d(n) prime?
False
Let t(i) = -47*i + 1. Let m = 0 - 2. Is t(m) a prime number?
False
Let u(c) be the first derivative of c**4/4 - 4*c**3/3 + c**2/2 - 4*c - 1. Let h be u(4). Suppose 2*z - 24 - 50 = h. Is z prime?
True
Suppose -3*b - 6628 = -7*b. Is b prime?
True
Let d(w) be the third derivative of -w**5/60 + w**4/6 - w**3/2 - 3*w**2. Let u be d(3). Suppose u*t + f = 5*t - 128, 0 = f - 2. Is t a prime number?
False
Suppose 4*o = -2*p - 12, o + 17 = 5*p - 8. Suppose -p*q = j - 23, 120 = 2*j + j - 5*q. Is j composite?
True
Is (2 + (-22)/(-8))/(2/104) composite?
True
Suppose -6*h + 5*h = -3*w + 96, -5*w + 3*h = -156. Suppose 0 = -4*c - w + 165. Is c composite?
True
Let k = -122 + 233. Is k a prime number?
False
Let m(c) = c**3 - 6*c**2 - 6*c + 4. Let n be m(7). Let k(l) = -l**3 + 14*l**2 + 12*l - 14. Is k(n) prime?
False
Suppose -4*w - 81 + 649 = -4*h, -694 = -5*w + h. Let m = 316 - 83. Let g = m - w. Is g a composite number?
True
Suppose -4*b + 0*b = 32. Is b/(-6)*42/4 prime?
False
Suppose 3*t = 4*q - t - 2896, 0 = 4*q - 3*t - 2901. Let o = q - 395. Is o a composite number?
True
Let i be (-786)/(-10) + (-2)/(-5). Suppose 5*o + i = 264. Is o prime?
True
Let f be 26/4*(11 - 1). Suppose 4*s = -4*t + 204, -3*s + f = -2*t + 157. Is t composite?
True
Let r = 207 + -50. Is r composite?
False
Let s = 1871 - -276. Is s a composite number?
True
Let p(t) = -t**3 + 13*t**2 - 2*t. Let f be p(9). Suppose -2*y = -4*k - f, -k = y - 2*y + 156. Is y composite?
True
Let t = 187 - 29. Is t a prime number?
False
Let g be (0/3)/(-2)*-1. Suppose 5*w - u - 24 = g, 0 = 3*w + w - 2*u - 24. Suppose w*c - 3*j - 42 = 0, -3*c - 2*c + 39 = 3*j. Is c prime?
False
Let h be (16/(-3))/(3/(-81)). Suppose a = -3*a + h. Is -1 + a/3 - 0 a composite number?
False
Let b(i) be the first derivative of -17*i**4/6 + i**3/6 - i**2/2 - 3. Let h(u) be the second derivative of b(u). Is h(-1) prime?
False
Let l = 116 - -105. Is l prime?
False
Let f be (3 - 5) + 1/1. Let p be f + -1 + (0 - 1). Is (-5 - p)/((-4)/46) a composite number?
False
Let s(v) be the third derivative of -7*v**6/24 + v**5/60 + v**4/12 + v**3/6 + 5*v**2. Let w = -4 - -3. Is s(w) composite?
True
Let d = 4 - 0. Suppos