 prime?
False
Let z(k) = -24*k - 11. Let f(g) = 23*g + 10. Let d be (-1)/(2/36*3). Let u(i) = d*z(i) - 7*f(i). Is u(-9) a composite number?
False
Suppose 3*n - 5*j = -n - 13, 0 = 4*n - j + 25. Let l(p) = p + 9. Let u be l(n). Suppose -u*i + 115 = -i. Is i prime?
False
Let o(z) be the first derivative of z**4/4 + 2*z**3 - z**2/2 + 7*z - 4. Is o(-5) a composite number?
False
Let j(i) be the second derivative of -19*i**3/6 + i**2 + i. Let k(w) = -w**2 - 15*w - 17. Let r be k(-14). Is j(r) prime?
True
Suppose 1636 = n - 1179. Is n prime?
False
Let w(d) = -3*d - 4. Let y be w(-8). Suppose q + 4*q = y. Suppose -22 - 25 = -c + 3*m, q*c - 222 = -5*m. Is c composite?
False
Suppose 2 = -l - 0*l - z, 0 = -2*z - 6. Let j = 3 + l. Suppose 0 = j*q - 2*b - 42, 3*q + 4*b - 85 = -2*q. Is q a composite number?
False
Let x = -152 + 352. Let n = -103 + x. Is n a composite number?
False
Suppose 0 = 6*a - a + 25. Is (-1)/a - (-94)/5 prime?
True
Let y(s) = s**2 + 8*s + 10. Let t be y(-7). Suppose 2*h + t*f = h + 16, -f - 4 = -2*h. Suppose -5*x + 4*c = -219, 0 = -x - 0*x + h*c + 31. Is x a prime number?
True
Is 157/5 - 10/(-125)*-5 prime?
True
Suppose -6 + 2 = -2*g - 2*v, -5*v = -2*g - 24. Is -74*(g + 6/4) a composite number?
False
Let j = -306 + 455. Suppose 0 = 3*d + 3*i - 111, -3*d = 2*d - 4*i - j. Is d prime?
False
Let p be (-16)/20*45/(-2). Is -3*(-2)/p*165 composite?
True
Let b(v) = v**2 + 5*v + 6. Let w be b(-4). Suppose -2*a + 16 = w*a. Suppose -4*c + 2*i = -90, -i = 3*i - a. Is c a prime number?
True
Let q = 41 + 36. Is q prime?
False
Is 166/2 + 28/(-7) prime?
True
Let u(t) = t**3 + 6*t**2 + 5*t - 7. Let z be u(-5). Let c = -7 - z. Let g = c + 53. Is g prime?
True
Let q = 1 - -3. Let v(r) = -2 + 2*r**2 + q + 3. Is v(4) prime?
True
Suppose -3*v + 2*k - 441 = 0, -v - 99 = 3*k + 59. Let o = 30 - v. Is o a prime number?
True
Let d be (-876)/1*14/(-28). Let k = d - 187. Is k composite?
False
Let u = -27 + 80. Is u a prime number?
True
Let x = -42 - -101. Is x composite?
False
Let r(f) = -56*f**2. Let m be r(1). Let u(d) = 18*d**3 - 2*d**2 - d + 1. Let o be u(2). Let b = o + m. Is b a prime number?
True
Suppose 0 = 4*m - 20 - 24. Let l = -22 + m. Let o = l + 46. Is o a prime number?
False
Is -1 + 186 + (1 - 1) a composite number?
True
Let o be (-6)/(-4) - (-5)/10. Suppose -o*m = -0*m - 10. Suppose 0*u + 5*f = -m*u + 495, 0 = 4*f - 8. Is u prime?
True
Let i be 1*-4*49/(-28). Let b = 2 + i. Is b composite?
True
Suppose -174 - 30 = 4*t. Let o = t - -166. Is o a prime number?
False
Let m(o) = o**3 + 24*o**2 + 4*o + 15. Is m(-20) composite?
True
Let h(g) = 1088*g + 13. Is h(15) prime?
True
Let t(w) = 54*w**2 + 2*w - 1. Let r be t(2). Let u = r - 73. Is u a composite number?
True
Let r be ((-15)/12)/((-1)/(-4)). Let i(y) = y**3 + 6*y**2 + 5*y + 5. Let b be i(r). Let z = 64 - b. Is z a composite number?
False
Suppose 0 = -2*g + g + 86. Suppose 274 = 2*r + g. Is r prime?
False
Let a = 7 + -7. Let d(b) = 2*b + 155. Is d(a) prime?
False
Suppose 4*l - 16 = 0, l + 1239 = 5*f - 3*l. Is f composite?
False
Is (-13 - -11)*614/(-4) prime?
True
Suppose 0 = 9*v - 6*v - 477. Is v a composite number?
True
Is ((-493)/68)/(2/(-56)) a composite number?
True
Let b(t) = 2*t**3 - 18*t**2 + 23*t + 5. Let v(l) = l**3 - 9*l**2 + 11*l + 3. Let k(c) = -2*b(c) + 5*v(c). Is k(8) composite?
False
Suppose -z = -87 - 20. Suppose -5*y = -d + 52, -5*d - y + 231 + z = 0. Is d a prime number?
True
Suppose -5*v = -3*a - 27, 0 = 4*v - 4*a + a - 24. Is -555*(1/v)/(-1) prime?
False
Let s = -37 - -64. Suppose 28 = 2*v + 4*j, 3*v + 3*j = -0*j + s. Suppose 4*p - 7*b = -v*b + 12, 2*b - 12 = -4*p. Is p a prime number?
True
Let u(f) = f**3 + f**2 + 3*f - 1. Let b be u(3). Let q = 63 + -32. Let v = b - q. Is v composite?
False
Let c(j) = -219*j - 1. Let t be c(-1). Suppose 7 = -s + t. Is s a composite number?
False
Let t = 2320 + 1771. Is t composite?
False
Suppose 2*s - 11 = 33. Let g = s + -13. Is g a composite number?
True
Suppose 0 + 9 = -3*j. Is 1*(-2 - j - -210) prime?
True
Let a(i) = i**3 - 7*i**2 + 4. Let p be a(7). Let v(h) = h**2 - 4*h + 2. Let s be v(p). Is (-2 - s)*(-159)/12 a composite number?
False
Suppose -z - 2*d = d - 105, 3*z - 5*d - 259 = 0. Is z composite?
True
Let p = 123 - 215. Let b = 183 + p. Is b prime?
False
Let q(r) = 21*r**2 - 3*r + 7. Is q(4) a prime number?
True
Let i(m) = 25*m**2 + 1. Suppose 0 = -2*d + 6*d - 4. Let z be i(d). Suppose -t + 7 = -z. Is t a composite number?
True
Let k be 0 - (-24 + -3) - 4. Is -13*k*(0 - 1) a composite number?
True
Suppose -j + 3 = -5*v, -2*v + 2 = j - 1. Suppose -3*i + i + 42 = v. Is i prime?
False
Is (5 - 4)*1/(-2)*-2018 a composite number?
False
Let n(g) = -2*g**2 + g + 563. Is n(0) prime?
True
Let l be 6/9*1*-18. Is 1/((-4)/l) - -12 a composite number?
True
Let o be 4/(-18) + (-994)/(-18). Suppose -3*b = 2*b - o. Is 2436/33 + 2/b a prime number?
False
Suppose 0*k + 340 = 4*k. Is k a prime number?
False
Suppose 0 = 3*b - 2*g - 3*g - 12811, -5*g = 4*b - 17058. Is b a composite number?
True
Let n(y) = y**3 + 13*y**2 - 5. Is n(-12) a prime number?
True
Let c(o) = -o**3 - 6*o**2 + 3*o. Let w be c(-7). Suppose -60 - w = -4*g. Is g a composite number?
True
Let u(x) = -x**3 + 7*x**2 - x + 5. Let i be u(7). Let d be 1 - (1 - (i + 3)). Is 262 + -4 + -1*d composite?
False
Let j be 0 + 1*-3*-2. Let d = j - 3. Suppose -66 = t - d*t. Is t a prime number?
False
Let t(h) = -6*h**2 - 4 - 3*h - 5*h + h**3 + 13. Let o be t(7). Suppose -o*r = -0*r - 134. Is r prime?
True
Suppose 0 = 5*r + 5*p - 105, -3*r + 4*p + 63 = p. Let d = 32 - r. Is d prime?
True
Let z = 0 - 8. Let a = -1482 - -1056. Is a/z + (-3)/12 prime?
True
Let v(k) = -211*k + 6. Let m be v(-2). Let t = m - 217. Is t a prime number?
True
Let n(c) = -7*c - 6. Let h(l) = -l - 1. Suppose 2*w - w - 2 = 0. Let y(o) = w*h(o) - n(o). Is y(6) prime?
False
Let n(c) = 0 + 3 - 2 - 12*c. Is n(-4) a composite number?
True
Let y = 398 - 175. Is y composite?
False
Let q(d) = -2*d - 8. Let f be q(-5). Let u(g) be the third derivative of 7*g**5/60 - g**4/12 + g**3/6 - g**2. Is u(f) a composite number?
True
Let p be (1/3)/((-1)/(-12)). Suppose p*v - 60 = 16. Is v a composite number?
False
Let l be ((-21)/6 - -3)*0. Suppose 3*o - 67 = -2*i, l*o + 3*o - 2*i = 47. Is o prime?
True
Let v(m) be the third derivative of m**5/2 + m**3/6 - 2*m**2. Is v(-1) a composite number?
False
Suppose 5*z - 2*f - 490 = f, 0 = f + 5. Is z prime?
False
Suppose -11*r + 3056 = -11915. Is r a prime number?
True
Suppose 4*f - 5*d = 8 + 25, 0 = -d + 3. Let c be (-4 - -31) + (-2 - -2). Let b = c - f. Is b a composite number?
True
Let w(b) = -18*b - 19. Is w(-17) composite?
True
Let b(j) = -j**2 + j + 4. Let m be b(3). Let z be 2/6*(-30)/m. Is (-4)/(-10) - (-233)/z a prime number?
True
Let c = 79 + -15. Let s = c - -13. Is s prime?
False
Let a(m) = -9*m**2 - m**2 - 79*m**3 + 10*m**2. Is a(-1) a composite number?
False
Let d be -2*3/(-2) + 132. Let y = 88 + d. Is y a prime number?
True
Let q(b) = 55*b**2 + 10*b - 4. Is q(3) a composite number?
False
Suppose 0*t + 738 = -3*t. Let u = t + 389. Is u a composite number?
True
Let s = 52 + 444. Let o be (-1)/(-2)*(-1 + 1). Suppose -5*z - 5*p + o*p = -575, 5*p = 4*z - s. Is z prime?
False
Let g = -441 - -788. Is g composite?
False
Let r(p) = -3*p**2 + 3*p - 1. Let s(w) = -11*w**2 + 11*w - 4. Let i(u) = -9*r(u) + 2*s(u). Is i(-6) a composite number?
False
Let g(k) = k**3 - 6*k**2 - 7*k - 6. Let w be g(6). Let y = w + 82. Is y a prime number?
False
Suppose 5*b - 2*b = 114. Suppose 5*p + 1 = -9, 2*j = -p - b. Let r = j + 55. Is r prime?
True
Let r(p) = -p**3 + p + 111. Is r(0) a prime number?
False
Let p = 0 - -5. Let b = 2 - p. Is (b/3)/((-3)/63) composite?
True
Suppose 0 = 3*b - 6*b + 33. Suppose -3*w - 19 = 2*p, -2*p - b = -3*w + 2*p. Is 36 - (9/w)/3 a composite number?
False
Let u be 1 - 0 - (-2 + 4). Is u/(-2)*2 - -86 a prime number?
False
Let q be 15/(-4) + 4/(-16). Is (-2)/q*(30 + 0) a composite number?
True
Is 4/14 + (-952)/(-98) a prime number?
False
Let j be 2/(-3) - (-8)/3. Suppose 6 = -3*r, -q + 5*q + 5*r = j. Is (376/12)/(2/q) prime?
True
Suppose -a + 77 = 5*y, y + 2*y - 53 = -4*a. Is y a prime number?
False
Let q be 0 + 4/(8/(-6)). Is -1*(-2 - q)*-223 composite?
False
Suppose -375 - 864 = -7*d. Is