i - 3. Is b a composite number?
True
Is 8*308 - (5 + -2) prime?
False
Let d(c) = -27*c + 7. Let n(p) = -p**2 - 5*p + 6. Let m be n(-7). Is d(m) a composite number?
False
Let s(p) = -4*p**2 - 6*p. Let r(a) = 2*a**2 + 2*a + 1. Let v be r(-2). Let o be s(v). Is (o/3)/2*-3 prime?
False
Let a(s) = 2*s**3 - 5*s**2 + 2*s. Let w = 9 + -6. Let l be a(w). Suppose 5*g = l, -3*o - g = -2*g - 162. Is o prime?
False
Let j(t) = -71*t - 3. Is j(-8) composite?
True
Let i = -6 - -6. Suppose -236 = -5*a - j, -2*a - 2*a - 2*j + 184 = i. Let y = a + -27. Is y a prime number?
False
Suppose 0 = -5*v - 3*a + 1495, 2*a + 108 - 1004 = -3*v. Is v a prime number?
False
Let s be (-3)/(-6) - 2291/2. Is s/(-9) + (-6)/27 prime?
True
Let g(j) = -6*j**2 - 2*j + 3. Let h(c) = -c - 1. Let t be h(4). Let b(k) = -7*k**2 - 3*k + 4. Let z(w) = t*g(w) + 4*b(w). Is z(3) prime?
True
Suppose 0 = -5*a + a + 40. Let m(v) = -v**3 - 13*v**2 - 5*v - 13. Let l be m(-13). Suppose -l = -2*b + a. Is b composite?
False
Let h be 2 - (-3)/((-6)/(-4)). Suppose 0 = m - 4*l + 123, -h*l + 0*l - 289 = 3*m. Let f = m - -156. Is f a composite number?
False
Let p(f) be the third derivative of f**6/90 - f**5/30 - f**4/24 - f**3/3 + f**2. Let w(h) be the first derivative of p(h). Is w(-4) a prime number?
True
Let l(d) be the second derivative of 0 + 1/2*d**3 - d**2 - 3*d. Is l(7) a prime number?
True
Suppose 3*s + 54 = -3*g, -2*g - 4 = 5*s + 44. Is (-6)/21 - 2202/g composite?
False
Let i be -3 + 4/4*4. Let a(h) be the third derivative of 77*h**5/60 - h**2. Is a(i) a prime number?
False
Let s(b) = 10*b**3 + 5*b**2 - 3*b - 5. Is s(4) a prime number?
False
Is ((-2)/(-8))/(2 - (-9093)/(-4548)) a composite number?
False
Suppose 473 - 3013 = -4*r. Is r a prime number?
False
Let f = 990 - 613. Is f a composite number?
True
Let s(k) = -k**2 - 16*k + 4*k**2 - k**2 + 9. Is s(13) a composite number?
False
Let d(s) = -s**2 + 7. Let q(l) = l + 10. Let a be q(-5). Suppose 4*h - a*h = 0. Is d(h) composite?
False
Let z(m) = -25*m + 2 - 73*m - 52*m + 28*m. Let l be z(-3). Let b = 627 - l. Is b a composite number?
True
Let c be -4 + 2 - (1 - 8). Suppose p = c*z - 42, 3*z - 5*p = 2*z + 18. Is (-3 + -1)*(-14)/z a composite number?
False
Let l(g) be the second derivative of g**4/12 + g**3/3 - 2*g**2 + 6*g. Is l(5) a composite number?
False
Let p(j) = 31*j**2 + 10*j + 8. Is p(-7) a prime number?
False
Let c(q) = 3*q**2 - 6*q + 10. Is c(-9) composite?
False
Let m(d) = -2*d**3 + 3*d**2 + d - 2. Let x be m(2). Suppose -5*z + 10*z + 30 = 0. Is (z/(-9))/(x/(-210)) a prime number?
False
Let u = -19 - -19. Suppose m - 488 = -3*g, u*g + 2*g + 5*m = 321. Is g a prime number?
True
Let g(v) = v**3 + 7*v**2 + 5*v - 5. Let h be g(-6). Let n(t) = 49*t. Is n(h) a composite number?
True
Suppose 28 = 5*x - 4*l, -2*l + 6*l + 16 = 2*x. Suppose 3*w + 22 = 2*k, 3*w - 3*k = -0*k - 27. Is (-1122)/x*w/6 a prime number?
False
Let k = -15 - -27. Suppose s = 4*s - k. Suppose 0 = -5*t + u + 14, 0 = s*t - 5*u - 6 - 1. Is t a composite number?
False
Let a(y) = y**3 + 9*y**2 + 10*y - 6. Let m be a(-8). Is 2/(-11) - 1830/m a prime number?
True
Suppose 0 = 5*v - 4*w - 378, -5*v + 230 = -2*v - 4*w. Suppose -j - v = -2*g, g - j - 3 = 34. Is g prime?
True
Let w(y) = 9*y**2 - 2. Is w(5) prime?
True
Let h be 2/4*(17 - 1). Suppose 3*q = -q + h. Suppose 191 = -2*p + 5*p + t, -146 = -q*p + 4*t. Is p prime?
False
Let t = -140 + 209. Is t - 0*4/(-16) a composite number?
True
Let g = -28 - -24. Is (-2331)/(-27) - g/6 a composite number?
True
Let d(w) = 253*w**2 + 3*w - 2. Let j be d(1). Suppose -j = -5*a + 3*a. Is a a composite number?
False
Let a(x) = 1014*x + 17. Is a(4) composite?
False
Let w(h) be the third derivative of 3*h**4/8 - 2*h**3/3 + 2*h**2. Is w(3) composite?
False
Let z be (-21)/(-14) + 6/(-4). Let p(j) = -j - j**3 + 0*j + 34 + 115. Is p(z) composite?
False
Let u(x) = 3 + x**3 - 2 - 5*x**2 - 2*x**3 - 2. Is u(-6) prime?
False
Let z be (-2)/(-14) - 40/(-14). Is -3 - (-18)/z - -84 composite?
True
Let k = 8 + 0. Let j = k + -1. Suppose -3*v = -j*v + 76. Is v a composite number?
False
Suppose -5*z + 45 = 3*n, -z - 2*n = -4*z + 8. Suppose -h = -z*h. Suppose o - 5*l = 11, h*o + 22 = 2*o - 2*l. Is o prime?
True
Let a(l) = -3 + l**2 - 2*l + 1 - l - 3. Is a(9) prime?
False
Let k be (0 + -1)*10 - -2. Let n = k - -202. Is n a prime number?
False
Let f(i) = i - 5. Let c be f(8). Let o be (3 + -42)*(-10)/c. Let t = -75 + o. Is t a composite number?
True
Let b(d) = d + 9. Let r be b(-7). Is (-16 + r)*17/(-2) composite?
True
Let f = -62 - -105. Is f a composite number?
False
Suppose 0 = -5*y + 4*g - 38, 5*g + 12 = g. Suppose -h - 802 = 4*u + 3654, 4*u + 5*h + 4440 = 0. Is u/y*(-2 - -4) composite?
False
Suppose -5*q + 742 = 22. Suppose -i - t = 34, -7*t = -4*i - 3*t - q. Let y = -12 - i. Is y a composite number?
False
Suppose 5*o - 6 + 17 = -3*r, -5*o + 5*r = -5. Let c be (o + 2)/((-2)/(-66)). Let b = c - 18. Is b a prime number?
False
Let z(q) = -q**3 + 6*q**2 - 11*q - 4. Let r be z(5). Let y be 38/(-1 - 10/(-6)). Let l = r + y. Is l a prime number?
True
Let f = -745 - -1212. Is f a composite number?
False
Let g be 3*3/(36/20). Suppose 0 = g*j - 6078 + 13. Is j composite?
False
Let w(s) = 4*s + 6. Let u(l) = -l - 2. Let f(j) = -7*u(j) - 2*w(j). Let i be f(0). Suppose -5*r - 4*y + 441 = 0, 90 = i*r - r - y. Is r composite?
False
Let q(k) be the third derivative of 0*k + 0 - k**2 - 1/6*k**3 - 17/4*k**4. Is q(-2) composite?
True
Is (7/(21/(-18)))/(8/(-236)) prime?
False
Let s be ((-3)/(-9))/(2/6). Let t be (-3 - (-1 - s))*0. Is 1 + (t - 2) + 20 a prime number?
True
Let k = 15 + -11. Let x be 6/k + (-126)/(-4). Suppose 2*o + x = 135. Is o a composite number?
True
Suppose 0*g = -5*t + 2*g + 15475, -5*g + 25 = 0. Is t prime?
False
Let d be (10 - 1)*374/33. Suppose 3*a - 407 = -2*m, m + 5*a - 84 = d. Is m a prime number?
True
Let z(v) be the second derivative of v**4/12 + 2*v**3/3 + 15*v**2/2 + 4*v. Is z(-14) a composite number?
True
Let i = 85 + 12. Is i prime?
True
Let u be -6*1*-1 + -2. Suppose 0 = u*l - 9 + 45. Let c = -5 - l. Is c prime?
False
Suppose 5*p + 4 = -4*v, 5*p + 0*v = 2*v + 2. Suppose -2*a - 2*c + 410 = -p*a, -5*c = a - 221. Is a a prime number?
False
Let u = 58 - -29. Is u a composite number?
True
Let l be -430*2/(-2) - 0. Suppose -63 - 191 = 3*y + k, 0 = -5*y - 3*k - l. Let n = 129 + y. Is n a prime number?
False
Suppose 6*g = 7*g - 2999. Is g a composite number?
False
Let n(h) = 85*h + 7. Let g = 18 + -14. Is n(g) a prime number?
True
Suppose -u + 3*u = 5*p - 52, -4*u = 2*p - 16. Let h = p - -6. Suppose j = h + 71. Is j a prime number?
False
Let k(c) = -c**3 + 5*c**2 + 6*c + 7. Let j be k(6). Suppose 2*m + 370 = j*m. Is m composite?
True
Let y(r) = -21*r**3 + r**2 - r - 19. Is y(-4) a composite number?
True
Let k be 104/28 + 6/21. Suppose -310 = -k*z - z. Suppose -t + z = 25. Is t a prime number?
True
Let n = 34 - 26. Let h(p) = 220*p - 3. Is h(n) composite?
True
Is (-2017)/(-3)*1 - 38/(-57) a prime number?
True
Suppose 3*o + 4*w - 1555 = 3*w, 5*o = 5*w + 2585. Let t = o - -111. Is t prime?
False
Let c be 24/(-2)*(-2)/6. Let m(y) = -17*y - 4*y - c - 1. Is m(-4) a prime number?
True
Let p = 12 - 10. Let x = 17 + p. Is x composite?
False
Suppose -5*v = -u - v - 2, u = 2*v. Suppose 4*t + r = -3*r + 68, -u*r - 36 = -3*t. Is t prime?
False
Let a = -741 + 1222. Is a a prime number?
False
Suppose -3*t - 7952 = -7*t. Suppose p + 3*p = t. Is p a composite number?
True
Let b(q) = 17*q + 1. Let g(c) = 3*c - 10. Let a be g(4). Is b(a) composite?
True
Let z be 2331/12 - 2/8. Let i = z - 103. Is i a composite number?
True
Suppose 0 = -3*l - 5*x + 39, 0*l + 14 = l + 2*x. Suppose -4*k - 180 = -l*k. Suppose -5*c + k = 2*s, 5*s - 46 = c - 4*c. Is c a prime number?
True
Suppose 0 = -5*r + 4*g + 46 - 13, -5*r + g + 27 = 0. Suppose -3*y = -r - 7. Suppose o + y*k = 31, -4*o - k - k = -54. Is o composite?
False
Let n(j) = 3*j**2 + 19*j - 5. Is n(10) composite?
True
Suppose 491 = 2*a - a. Suppose 0 = 3*s + 2*d - a, -3*s + 0*s = 4*d - 499. Is s a prime number?
False
Let h = -14 + 28. Suppose 477 + h = 3*w + 4*z, z - 659 = -4*w. Suppose -2*f = f - w. Is f a prime number?
False
Suppose 80 = 5*d - 0*d. Suppose d + 5 = c. Is c a prime number?
False
Suppose g + 31 = 2*g. Is g a prime nu