 + 107 = 0, 3*z - 4*j - 6 + 55 = 0. Let i = z - -38. Suppose -d + 2*d - 16 = 3*r, 5*r = -i. Is d a prime number?
True
Let a be (1 - 2)/((-1)/(-3)). Let j(q) be the first derivative of -q**4/2 - 4*q**3/3 - 3*q**2/2 - 4*q + 2. Is j(a) composite?
False
Suppose 0 = -3*b + 213 + 846. Suppose -133 + b = 4*n. Is n a prime number?
False
Let k(z) = -22*z + 9. Let l(b) = -7*b**3. Let a be l(1). Is k(a) prime?
True
Suppose 2*v + 15 = 7*v. Suppose -v*n = -2*n - 6. Is n a prime number?
False
Is 2*(51/2 - -1) prime?
True
Suppose 92 = m - 111. Is m a composite number?
True
Suppose -g = -2*g + 220. Suppose 18*p - g = 14*p. Is p a prime number?
False
Let f(s) = 290*s + 17. Is f(6) composite?
True
Suppose 0 = -4*s - 13 + 5. Let p be (-2 - -1)*11 - s. Is (-2333)/p - (-8)/(-36) prime?
False
Let p = 63 + -135. Let v = 22 - 41. Let t = v - p. Is t prime?
True
Let i(q) = 41*q**2 - q + 13. Is i(-5) a composite number?
True
Let h(t) = 114*t**2 + 2*t - 3. Is h(-2) a prime number?
True
Let a(x) = -51*x + 2. Is a(-3) a composite number?
True
Suppose 5*o - 5 = 4*y - 5*y, 4*o - 36 = -4*y. Let w be 3/(-9) + y/(-6). Is w/2*(-19 + -4) a composite number?
False
Let g be 159/(-2)*(-8)/(-6). Let m = 195 + g. Is m a composite number?
False
Suppose -2 = -2*k, -4*y + 4*k - 10 = -7*y. Suppose -y*v = -6*v + 748. Is v composite?
True
Let y(b) = b**3 + 8*b**2 - 6*b - 2. Is y(-8) a prime number?
False
Is (-2)/(-5) - 10731/(-35) prime?
True
Suppose -41 + 14 = 3*f. Let h be 6/f*3 - -2. Is 211/((h - -1) + 0) composite?
False
Is (3/(-2))/(6/(-296)) prime?
False
Suppose -5*s - 9 = -79. Is s prime?
False
Let l = -5 + 7. Suppose 2*i + 4*k = 242, -l*i + 2*k + 224 = -0*i. Is i composite?
True
Suppose 1505 = 21*k - 112. Is k a composite number?
True
Suppose 203 = 2*k - 275. Is k composite?
False
Suppose d - 3*d = 528. Suppose -6*y = -0*y + 6. Is (y/3)/(8/d) composite?
False
Let z(k) = -k**2 - 11*k - 13. Let d be z(-9). Suppose -5*r + 2*r - 6 = 0, -h - d*r = -231. Let p = h - 162. Is p prime?
True
Suppose 0 = m - 3*m + 210. Suppose 0 = 5*l + m + 95. Let d = 89 + l. Is d composite?
True
Let j(z) = 4*z + 0 - 3 - 6*z**2 + 35*z**2. Is j(2) composite?
True
Is (-1567)/(-3)*(18 - 15) composite?
False
Let k be 0*(-1 - (-6)/4). Suppose k = -s - 4 + 5. Let n(v) = 52*v**3 + 2*v**2 - v. Is n(s) composite?
False
Let k(o) = -o**3 + o + 11. Let l = 0 - 0. Is k(l) prime?
True
Let n(g) = -g**3 - g**2 - 2*g + 1. Let o(d) = -d**3 + 6*d**2 - 2. Let h be o(6). Let r be n(h). Suppose r = w - 1. Is w a composite number?
True
Suppose 0 = -5*f + 3 + 7. Suppose -4*a = 3*w - 81, -2*a + 12 = f*a. Is w prime?
True
Let r(q) = -2 + 23*q + 4 - 48*q - 40*q. Is r(-1) composite?
False
Let g(z) = -z**2 + 2*z + 8. Let k(i) = -2*i**2 + 3*i + 17. Let w(x) = 9*g(x) - 4*k(x). Let n be w(7). Is (n/(-4))/(3/24) prime?
False
Suppose 3*s - 217 = -4*j, 0 + 16 = 4*j. Is s prime?
True
Suppose -4*v + 4*o + 823 = 187, 0 = -3*o + 9. Is v + 3/((-9)/3) prime?
False
Suppose -2*q - 2*q + 316 = 0. Is q a prime number?
True
Suppose -18*v - 497 = -3719. Is v composite?
False
Suppose 0 = v - 3 - 2. Suppose -x - 50 = -z, -x + 149 = v*z - 107. Is z a composite number?
True
Is (-1 + (-1899)/(-6))*2 a prime number?
True
Let f(t) = -19*t + 1. Let p be f(-1). Suppose 5*g - 305 = -p. Let m = g - 38. Is m a composite number?
False
Let u = -9 + 13. Suppose -263 = -3*y - m, u*y - 2*y + 3*m = 187. Suppose 3*s + 5*x - 93 = -26, -4*s = 5*x - y. Is s composite?
False
Let p(n) = -471*n + 8. Is p(-1) a prime number?
True
Suppose 2 = -2*v + 3*v. Let p(b) = 42*b + 1. Is p(v) composite?
True
Suppose 5*w = 3*j - 0*w - 172, j - 5*w = 74. Is j composite?
True
Suppose 5*x - 4*w + 33 = -0, -x - 21 = 4*w. Let v(m) = m + 7. Let d be v(x). Is (d/(-4))/(1/78) a composite number?
True
Suppose 2*j - 3*y - 320 = 0, -2*j = -j - 4*y - 155. Is j a prime number?
True
Suppose 0*w = -3*w - 3*l - 393, 4*w = -5*l - 526. Suppose 6*c = -3*s + 3*c - 18, 22 = -4*s - 3*c. Is (w/(-12))/((-1)/s) a prime number?
True
Suppose -3*x + 12 - 3 = 0. Suppose -2*s + 4*n = -4, 4*s - 4 - 15 = -3*n. Suppose -2*g - x*g = 4*u - 84, s*g = 0. Is u composite?
True
Let q = -31 - -288. Is q a composite number?
False
Let k(o) = -11*o - 3. Suppose -3*t = -16 - 17. Let s(q) = 32*q + 9. Let i(z) = t*k(z) + 4*s(z). Is i(4) composite?
False
Let g(c) = -35*c + 15. Let n(v) = -53*v + 23. Let t(m) = 8*g(m) - 5*n(m). Let f be t(-5). Let q = -13 + f. Is q a prime number?
True
Let n(g) = g**3 - 4*g**2 - 9*g - 1. Suppose -4*m + i = 8, 3*m = -m - i. Let p be (-4)/(-2)*m + 9. Is n(p) composite?
False
Let x(b) be the third derivative of 149*b**4/24 - b**2. Suppose 5*l - 1 = 4*l. Is x(l) a composite number?
False
Let n(t) = -5*t + 10. Let g(i) = i**2 + 2*i - 4. Let l be g(-5). Let r = 2 - l. Is n(r) prime?
False
Let o(r) = r**3 + 9*r**2 + 8*r + 6. Let s be o(-8). Is 34064/48 + (-4)/s prime?
True
Suppose 6*g - 2*g = -24. Is (31/4)/(g/(-24)) composite?
False
Suppose 0 = 2*z + z + 9, 506 = -4*y + 2*z. Is 1/(-3 + 2) - y a prime number?
True
Let f(b) = -b**3 - 8*b**2 - 13*b - 13. Is f(-10) composite?
False
Suppose -4*p + 200 = -2*p. Suppose j = -3*j + p. Is j composite?
True
Let v(p) = 99*p - 8. Let n be v(6). Suppose 5*y - n = 3*y. Is y a prime number?
True
Suppose 4*k = 5*a - 159, -152 = -4*a + 2*k - 5*k. Is a prime?
False
Suppose 5*p = y - 152, -4*y = -7*y - 2*p + 371. Is y prime?
True
Suppose -3*b = -5*b + 254. Is b prime?
True
Let g = -25 - -260. Suppose -25 = 5*j - 10*j. Is j/20 + g/4 composite?
False
Suppose -5*o = 25, 4*q - 3*o = 3*q + 10. Let r(b) = -b**3 - 9*b**2 - b - 10. Let a be r(-9). Is -1 - a - (-6 + q) a prime number?
True
Let l = 616 - -1965. Is l prime?
False
Let y be 3 + (-3)/(6/(-4)). Suppose 3*q + 158 = 533. Suppose q + 50 = y*g. Is g a composite number?
True
Suppose -2*f - 3*m - 4 = 19, 3*f - 2*m + 2 = 0. Let a = f - -8. Suppose -a*d = d - 245. Is d composite?
True
Let d = -372 - -559. Is d a composite number?
True
Suppose -f = -3*g - 154, 6*f - f - 690 = -g. Suppose f + 516 = 5*y. Is y a prime number?
True
Let f(k) be the first derivative of -2/3*k**3 - 1/4*k**4 + 0*k - 2 - 1/2*k**2. Is f(-2) composite?
False
Let n = 45 + 66. Suppose 8 = q - n. Is q prime?
False
Suppose 6*k - k = -50. Let h be ((-16)/k)/(1/5). Is (-20)/h*(0 + -38) composite?
True
Suppose -2372 = -3*z + 2*q + 467, 0 = 5*z - 2*q - 4725. Is z a composite number?
True
Is 3 + -1 + (-7163)/(-19) prime?
True
Suppose 0 = 3*x - 2*b - 1825, -1853 = 3*x - 6*x - 5*b. Is x composite?
True
Let a(j) = -j**3 - 6*j**2 + 6*j - 4. Let h be a(-7). Suppose h*o - 329 = 58. Is o a prime number?
False
Let n = 9 - 6. Let u be 3 - -1 - (1 + -2). Suppose -n*h - 5*o = -79, -u*h + o + 181 = -3*o. Is h composite?
True
Let v(w) = 20*w**2 + 1. Let i(z) = -z**3 + 3*z**2 + 6*z - 3. Let q be i(4). Suppose 4*k + 16 = 0, 11 = -q*s - 5*k - 4. Is v(s) prime?
False
Let t(b) = b**3 - 7*b**2 + 6*b - 1. Let s be (2/(-5))/(6/(-90)). Let v be t(s). Is v/3*1*-159 prime?
True
Let h be (-2 - -1) + (0 - -1). Suppose -4*m + m + 42 = h. Is m prime?
False
Let w = -741 + 270. Let d = w - -916. Is d a prime number?
False
Let d be -14 - (-2 - (-5 - -1)). Let k = d + 73. Is k a composite number?
True
Let t = -108 + 195. Is t composite?
True
Let g = -68 - -99. Suppose 5*m + g = 296. Is m composite?
False
Suppose r = 6*r - 10. Suppose 2*x = 0, -x + r*x = -4*s. Suppose -5*p - 32 + 147 = s. Is p a composite number?
False
Suppose 4*c = -5*j + 16, 0*j + j = -5*c - 1. Let m = c + 3. Suppose -m*l + 3 = -131. Is l composite?
False
Suppose 3*a + 4*v = 715, 5*v = 2 + 3. Let i be 1/(a/117 + -2). Suppose -59 = -2*k + i. Is k a composite number?
True
Let f = 1 - 6. Let y = 4 - f. Is 155/3 + (-6)/y a prime number?
False
Is (1 - -21)*(-39)/(-6) a prime number?
False
Let l = -237 + 535. Is l a composite number?
True
Let a(r) = -r**3 - r**2 - 3*r - 49. Let d(l) = -l**3 - l**2 - l - 1. Let w(b) = -a(b) + 2*d(b). Let o(i) = i**2. Let g be o(0). Is w(g) composite?
False
Let p(t) = 3*t**3 + 34*t**2 + 6*t + 6. Let z(j) = -j**3 - 11*j**2 - 2*j - 2. Let w(x) = -2*p(x) - 7*z(x). Is w(-4) prime?
False
Is 3*((-16446)/9)/(-2) a composite number?
False
Let x = 210 + -41. Suppose 3*o - 30 = -n + 31, 3*o = 4*n - x. Is (n/6)/(1/3) prime?
True
Let r = -17 - -16. Is (-243 - r)/(10 - 12) prime?
False
Let m(g) = 7*g + 0*g**3 - 4*g**3 - 