 -4 = -g + 1. Let i(f) = 11*f + f**2 - 5 + g*f**2 - 3*f. Is i(5) a prime number?
False
Let c(p) = -46*p**2 + 19*p - 34. Let a(s) = -15*s**2 + 6*s - 11. Let z(r) = -7*a(r) + 2*c(r). Is z(4) prime?
False
Let w(x) = 2*x**3 + 3*x**2 - 4*x - 1. Let n be w(-3). Let k = 35 - n. Is k a composite number?
True
Suppose -2*z = 3*b - 9, -15 = -5*z - 10*b + 5*b. Let n = 0 - z. Is (2 - -12) + (n - -1) composite?
True
Let p be (-2 - -1)/(1/(-7)). Let s(q) be the third derivative of -q**5/60 + 5*q**4/12 + 2*q**3/3 + 2*q**2. Is s(p) a composite number?
True
Let b(u) = u**3 - u**2 - 5*u + 6. Let q be b(4). Let z(m) = -5*m + 3. Let d be z(3). Let w = d + q. Is w composite?
True
Suppose 0 = -4*b + 8. Is 39*b/12*2 prime?
True
Let n(p) = 22*p**3 - 2*p**2 - 5. Is n(4) a composite number?
True
Suppose 0 = -0*t + 3*t. Let q be 3*-13 - (t - 0). Let c = 118 + q. Is c a composite number?
False
Suppose -4*i + 12 = -i, h + i = 4. Suppose f - 63 - 100 = h. Is f a prime number?
True
Let o be ((-28)/(-10))/(3/15). Let a be 3/(-9) - o/(-6). Suppose a*y + 0*y = 134. Is y a composite number?
False
Let s(m) = 32*m - 5. Suppose w - 4 = 2. Is s(w) prime?
False
Let m(v) = -25*v - 1. Is m(-3) prime?
False
Suppose -2*m = 2*m + 24. Let k be 8 + m/2*1. Let c = 38 - k. Is c prime?
False
Let o(l) = 18*l**2 + 13*l + 19. Is o(10) prime?
True
Let b(r) = 4*r + 1. Let y be b(1). Suppose y*s = 4*s + 148. Suppose 4*u - s = 5*p, 5*u - 246 = 3*p - 61. Is u a prime number?
True
Suppose 2078 = 3*s + 5*u, 0 = 2*u - 3*u + 1. Is s prime?
True
Let q = -8 - -12. Suppose q*t - 202 - 286 = 0. Is t composite?
True
Is (-868)/(-6) + 2/6 a composite number?
True
Let s be -1 + -1 - (-4 - 3). Suppose -5*t = j - 298, -2*t = s*j + t - 1490. Is j a composite number?
True
Suppose 0 = i - v - 0*v - 312, i - 4*v = 327. Is i prime?
True
Suppose -4*y + 5 = 3*k - 7, -4*k = -3*y - 16. Suppose -j + 0 + 2 = y. Suppose -j*o = -7*o + 70. Is o a prime number?
False
Let o(x) = x**2 - 5*x - 1. Let g be o(5). Let c(i) = -190*i + 1. Is c(g) a prime number?
True
Suppose -5*y = 15 + 5. Is (-8)/(-12)*93 + y composite?
True
Let u be 7/(-2)*(-8)/4. Let o be 257/u + 4/14. Let h = o - 23. Is h a prime number?
False
Let h(w) = 25*w. Let k be h(1). Suppose -501 = -4*u - k. Is u composite?
True
Let k(m) = m**3 - m**2 - m. Let q(y) = -2*y**3 + 8*y**2 - 5*y - 9. Let v(b) = -3*k(b) - q(b). Let w be v(-7). Suppose w = 5*z - 334. Is z prime?
False
Let p = -25 - -19. Is ((-4)/p)/((-2)/(-237)) a prime number?
True
Suppose p + 886 = -p. Is p/(-9) - 10/45 a composite number?
True
Let p(n) = n - 7. Let h be p(6). Let v be 13/4 + h/4. Suppose 4 = -r + v*r. Is r a composite number?
False
Suppose 356 = 9*c - 5*c. Is c a prime number?
True
Let a be 8/(-36) - 29/(-9). Let c(l) = 2*l - 4. Let m be c(a). Suppose -m*x - 388 = -6*x. Is x prime?
True
Let l(q) = 167*q - 5. Is l(6) composite?
False
Suppose 0 = 2*v - 17 + 9. Suppose 1388 = v*j - 0*j. Is j prime?
True
Let g = 27 - 62. Is (-4)/((-5)/(g/(-2))) prime?
False
Let p(k) = -51*k**3 - 1 + 28*k**3 - 53*k**3 + 2*k**2. Suppose 4*f - 2 = 6*f. Is p(f) composite?
True
Let i = -196 - -299. Is i prime?
True
Suppose -3*d - 2*n + 391 = 0, -2*d + 3*n + 658 = 3*d. Is d composite?
False
Let d(w) = 82*w**2 - 6*w - 5. Is d(4) a composite number?
False
Let v(l) = -l + 2. Let r be v(-6). Suppose n = 5*u + r, -8*u = -3*u + 5. Suppose n*f - 3*w - 954 = 0, 0 = -2*f - 3*f + 2*w + 1587. Is f prime?
True
Let b(r) = 14*r + 19. Is b(12) a composite number?
True
Let x be (3*-11)/3 - 1. Let v be ((-6)/(-4))/((-12)/16). Let c = v - x. Is c a prime number?
False
Suppose -2*w + 7 = -3*p, -2*p = -6*p - 4*w + 24. Is (-3*p)/((-3)/9) a prime number?
False
Let u(r) = r**3 + 4*r**2 - 4*r + 3. Let n be u(-5). Let y be (n/2)/(-6 - -5). Is 18/(2 + 1) + y composite?
False
Is ((-13)/(-2))/((-12)/(-2328)) prime?
False
Let d(g) = 86*g**3 - 2*g**2 + 1. Let q be d(-1). Is (q/12)/(2/(-88)) a composite number?
True
Let a(s) = 13*s**2 - 4*s + 3. Is a(2) a prime number?
True
Let u(k) = -k - 2. Let s be u(-4). Suppose -445 = -5*a - s*d, -2*d + 97 = -a + 2*a. Is a a prime number?
False
Let o be 4/6 - (-2)/6. Let m be o/4 + (-78)/(-8). Suppose -100 = -2*d + m. Is d prime?
False
Let y = 619 - 264. Suppose 0 = 2*m + 2*a - 3*a, 0 = 2*m - 3*a. Suppose y = 3*l + 2*h, 237 = -m*l + 2*l + h. Is l a composite number?
True
Let a = -9 + 12. Is ((-3)/(-12))/(a/852) a prime number?
True
Let a(v) = -349*v + 3. Is a(-2) prime?
True
Suppose -6 = 2*a, 0*a + 578 = 5*b - a. Is b composite?
True
Suppose -2*q = 3*c - 11, -2*q = 3*q + 4*c - 24. Suppose k - 3715 = -q*k. Is k composite?
False
Let p = -19 - -10. Let g = -6 - p. Suppose x - 2*q = g, -3*q - 7 - 15 = -4*x. Is x a composite number?
False
Let b(q) = -6*q. Let s(j) = j - 1. Let y(h) = b(h) + 4*s(h). Let x be y(-3). Suppose a = x*a - 9. Is a prime?
False
Suppose 366 = 5*k + 11. Let r = k + 6. Is r prime?
False
Suppose 0 = 3*i, -3*a + 5 + 37 = 4*i. Is 1/(-7) - (-2228)/a a composite number?
True
Suppose -d - 2*d - 2*f - 60 = 0, f + 85 = -4*d. Let v = d - -41. Is v composite?
False
Let i = -51 - -29. Let j = 105 - i. Is j prime?
True
Let c be (1/(-1))/(3/6). Let r(q) = -248*q + 1. Is r(c) a prime number?
False
Suppose 5*p = 715 + 125. Suppose 259 = -h + 2*h. Let z = h - p. Is z prime?
False
Let b = -10 + 108. Suppose 4*x + b = 2*i, 6*i = i + 2*x + 237. Is i prime?
True
Suppose -2*a - 43 = -2*k - 153, -k - 229 = -4*a. Suppose 0 = -x - 0*x + a. Is x a composite number?
True
Let j be (-2)/(-1)*20 + 3. Let f = j - -105. Suppose d + f = 5*d. Is d a prime number?
True
Suppose 2*y = g - 207, 2*y - 54 = -2*g + 372. Is g a composite number?
False
Let o(t) = 6*t**3 - t**2 + 2*t - 2. Is o(3) prime?
True
Let n(z) be the first derivative of 13*z**3/6 - 2*z - 2. Let o(k) be the first derivative of n(k). Is o(3) prime?
False
Let l be -3 + (-6)/(-3) + 6. Let r(z) = 4*z - 5*z - 3 - l*z. Is r(-4) a prime number?
False
Suppose -2*h + 323 = -3. Is h a prime number?
True
Let p(a) = -6*a + 9*a**2 + 10 + 13*a - 4 + 0*a**2. Is p(-4) a composite number?
True
Suppose 14*i - 2133 - 583 = 0. Is i prime?
False
Let j(c) = -c**3 + 15*c**2 - 30. Is j(14) a composite number?
True
Let r = -87 + -16. Let p = -72 - r. Is p a composite number?
False
Let r be 678/30 + (-2)/(-5). Suppose 5*c + 3 = r. Suppose -c*d + 3*w + 121 = 0, -79 - 9 = -3*d + 5*w. Is d prime?
True
Suppose 2*q = -3*q. Let d(s) = s**3 + s**2 + s + 43. Is d(q) a prime number?
True
Is (-116)/(-6)*234/52 a prime number?
False
Let y = 105 - 22. Is y prime?
True
Suppose -21*b + 17*b + 1784 = 0. Let c be (-6441)/21 + 4/(-14). Let p = b + c. Is p a prime number?
True
Let w = -40 + 75. Is w a prime number?
False
Suppose a = -4*a - 4*r + 25, 0 = a + 3*r - 5. Let p = a + -8. Let d(j) = -j**3 - j**2 - 3. Is d(p) prime?
False
Suppose -3*l + 8*l = 805. Is l prime?
False
Suppose -58 = 4*s + 18. Let p be 1/2 + 17/(-2). Let i = p - s. Is i a composite number?
False
Let l(z) be the first derivative of 7*z**3/3 - 2*z**2 + z - 2. Let k be l(3). Suppose -6*b + k = -2*b. Is b composite?
False
Let j = 3341 + -2023. Is j a prime number?
False
Let q = 9 + -4. Suppose 2*v + 3*f = 130, 4*v + q*f - 252 = f. Is v composite?
False
Is (-2)/(-5) - 11358/(-30) composite?
False
Let q = -3 - -2. Let k(l) = 18*l + 1. Let i(a) = 17*a + 2. Let v(y) = 2*i(y) - 3*k(y). Is v(q) a composite number?
True
Suppose 7*h - 4*h + 531 = 0. Is (-1)/(3/h - 0) a prime number?
True
Suppose -n = -6*n. Suppose -2*g - 2*g = n. Suppose g*y = 2*y - 62. Is y composite?
False
Let x = 11 + -17. Suppose 3*y - 56 = -y. Is (63/x)/(-3)*y composite?
True
Let r = 9388 + -5121. Is r prime?
False
Let k(y) = y**3 + 10*y**2 + 2*y + 4. Is k(-9) composite?
False
Let h = 0 - -9. Suppose h*c = 6*c + 333. Is c a prime number?
False
Let j = 5 - 9. Let f be (-2)/j + 1047/6. Is f/5 - (-1 - -1) prime?
False
Suppose -7*s + 66 = -5*s. Is s a prime number?
False
Let q(o) = -3*o**3 + o**2 + 3*o - 3. Let l be q(2). Let d = -11 - l. Is d a composite number?
True
Let h(f) = -36*f**3 + f**2 + 2*f - 1. Let c be h(-2). Let s = 193 - 289. Let u = s + c. Is u composite?
False
Let a be -1*(0 - -2) + 1. Let l be (0 + a)/((-3)/207). Suppose -3*t = i - 7, l = 3*i + t - 4*t. Is i composite?
False
Let j be (-6 - -5) + (-1 - -368). Suppose u = 5*u - p - j, -3*u + 265 = 4*p. Is u prime?
F