9 - l. Is b a prime number?
False
Let v = -4 - -6. Suppose 5 + 1 = v*z. Is z prime?
True
Suppose n - 2*k = 3979, -2*n - 3*k = -n - 4004. Is n a composite number?
False
Let m = 76 - 23. Let p = -47 - -85. Let n = m - p. Is n a composite number?
True
Suppose 62 = -z + 805. Is z composite?
False
Suppose -3 + 0 = 3*h. Let i(m) = 11*m**3 + 3*m - 1. Let t(d) = 10*d**3 + 4*d - 1. Let n(x) = -4*i(x) + 3*t(x). Is n(h) a prime number?
False
Is (-2)/7 - 3961/(-119) - 2 a composite number?
False
Suppose 0 = -4*a - 3*v + 52 + 217, a - 56 = 3*v. Let m = -1 + 1. Suppose m = 4*t - 11 - a. Is t a composite number?
False
Let i = 351 - 172. Is i a prime number?
True
Suppose -2*u - 1 = -2*d - 131, 5*u - 4*d = 329. Is ((-2)/2)/((-3)/u) a prime number?
True
Suppose -29*v - 8169 = -32*v. Is v prime?
False
Let i(q) = 72*q + 5. Is i(13) a prime number?
True
Suppose -5*l + 0*l = -1185. Is l composite?
True
Suppose -5765 = 15*f - 20*f. Suppose 5*n - f + 148 = 0. Is n prime?
False
Let f be 5/(-2)*16/(-20). Suppose -3*k + 0*n - n + 6 = 0, 0 = -f*k + n + 9. Is k a composite number?
False
Let c(u) = 2*u**3 - 4*u**2 + 3*u. Let m be c(2). Is m/(-15) - 4854/(-10) a composite number?
True
Suppose -5*p = -4 - 6, 5*p = -4*c + 878. Is c a prime number?
False
Let m be (-1)/5 - (-768)/15. Let u = 182 - m. Is u composite?
False
Let h be (-4 - -3)/(-1) - 5. Is 2/h - (-19)/2 composite?
True
Let y(b) = 172*b - 3. Let a be (-2)/1 + (-32)/(-8). Is y(a) a composite number?
True
Let o(y) = -77*y + 14. Is o(-7) prime?
False
Suppose 0 = 3*k + 4*c - 325 - 176, 3*k - 474 = 5*c. Is k a composite number?
False
Let r be (-213)/(-5) - 8/(-20). Let x = -1 + r. Let u = x - 9. Is u a composite number?
True
Suppose 6*f - 5*f = 689. Is f prime?
False
Let o = 4 + -2. Is (o/6)/(2/78) composite?
False
Is ((-2)/(-4))/(3 - (-11026)/(-3676)) a composite number?
False
Let o = 22 + -78. Let s = 109 + o. Is s a composite number?
False
Let f be ((-6)/(-4) + -2)*0. Suppose 2*i + 3*i - 5*a - 335 = f, 2*a - 4 = 0. Is i a prime number?
False
Suppose 18 - 261 = -3*c. Suppose -5*z - t + c = -1025, 664 = 3*z + t. Is z composite?
True
Let d(z) = 16*z**2 - 18*z - 11. Is d(8) a prime number?
False
Let t = -5 + 6. Let a = t + 4. Suppose 0*o + a*l + 94 = o, 5*o = -2*l + 443. Is o a composite number?
False
Suppose -2*a = 3*a - 70. Is a a composite number?
True
Suppose 4*r - 5*j + 152 = 0, -4*r - 2*j - 3*j = 112. Let h = 52 + r. Is h composite?
False
Let s(v) = 3*v**2 - 8*v + 1. Is s(10) a prime number?
False
Let r = 1318 + -905. Is r a prime number?
False
Suppose -3*o = -2*o - 157. Is o composite?
False
Suppose 3*g - 8 = -g. Suppose 24 = -4*c + 588. Suppose -g*a + 321 = -n, a + n - c = 21. Is a a prime number?
False
Suppose -c - 9 = -3*f, -3*f - 3*c + c = 0. Let a(x) = 2*x**f + 1 - 2*x + 2*x**2 + x. Is a(-4) prime?
False
Suppose 4*c = -2*i + 3*i + 101, -2*c = -4*i - 68. Let g = c + 9. Is g composite?
True
Let s(f) = 31*f + 3. Let z be s(11). Suppose 7*y = 3*y + z. Is y a prime number?
False
Let f = 545 - -86. Is f a composite number?
False
Let c be (-8 - 10)/((-2)/1). Suppose -2*m = q - 36, 5*m = -0*m - 3*q + 92. Let w = m - c. Is w prime?
True
Let b(i) = -i**3 - 4*i + 3*i - 6*i - 8*i**2. Let d be b(-7). Suppose -2*h = -d*k + 3*k - 58, 4*h - k - 144 = 0. Is h a prime number?
False
Let q = 7 + -2. Suppose 0 = j - 5*n + 20 - 183, q*j - 815 = -5*n. Is j a prime number?
True
Suppose 2*r + 25 = -3*j, 3*j - 1 + 6 = 2*r. Let p = 29 - j. Is p a composite number?
True
Is 0 + 0 + 3 + 464 a prime number?
True
Let h = -4 + 6. Suppose -h*m - m = -6. Is 19/m - (-3)/6 a composite number?
True
Let y(x) = 12*x - 2. Let v(j) = 11*j - 1. Let t(z) = 4*v(z) - 3*y(z). Let k be t(3). Suppose 8 - k = -3*m. Is m a composite number?
True
Suppose -8*k - 9*k = -55505. Is k a prime number?
False
Let k(t) = -2*t - 13. Let y be k(-9). Suppose 0 = y*b - 5*m - 45, -48 = -5*b - m - 3. Is (-3)/(b/3)*-21 composite?
True
Let q(p) = p**2 + 2*p. Let j(z) = z**3 - 8*z**2 - z + 3. Let d be j(8). Is q(d) prime?
False
Let o = 91 - -118. Is o prime?
False
Suppose -5*z - 2*n - 3 = 0, z - n + 4 = 2*n. Let y be (-5)/(z/(122/2)). Suppose 4*p + 12 = 0, -2*b + 4*p - 35 + y = 0. Is b prime?
False
Let s(o) = o**3 + 13*o**2 + 8*o + 17. Is s(-9) a composite number?
False
Let i = -6 - -5. Let q = 3 - i. Suppose y + 5*u = 2*y - 74, q*u - 78 = -2*y. Is y composite?
True
Suppose -i - 2*r = -254, -4*r = -r. Is i composite?
True
Suppose 4*s = -4*j - 0*j + 40, 0 = j + 3*s - 14. Suppose 6*z + 658 = j*z. Is z a composite number?
True
Let v(f) = -f**3 + 6*f**2 + 7*f + 4. Let x be v(7). Suppose -2*u = -4*d + x + 12, -12 = 4*d. Let o = -7 - u. Is o composite?
False
Let d be 2/(-10) + 63/15. Let w(y) = y - 1. Let a be w(d). Is 18*((-8)/a + 3) a prime number?
False
Let l be 20/((-3)/(-6*1)). Suppose -2*b + 7*b + l = 0. Let n(y) = y**3 + 7*y**2 - 11*y - 1. Is n(b) a composite number?
False
Let x be 4/((-16)/(-692)) - 2. Suppose 5*j + 86 = -5*i + 256, 0 = -5*j - 4*i + x. Is j a prime number?
False
Is 395*((-1)/5*-12 - 2) a prime number?
False
Let c(x) = -29*x + 2. Let v(u) = -1. Let p(k) = -c(k) - 3*v(k). Is p(8) a prime number?
True
Let o(p) = -4*p + 1. Let m be o(-10). Let g = 24 - 14. Let j = m - g. Is j a prime number?
True
Suppose c + 3*c - 16 = 0. Suppose 2*q - c = -0. Is ((-5)/(-10))/(q/24) a composite number?
True
Let n(q) = 9*q + 2. Let r(b) = -b. Let y(i) = -n(i) - 6*r(i). Let m be y(2). Let f(u) = u**3 + 10*u**2 - 4*u + 1. Is f(m) a prime number?
False
Let i(s) = 270*s**2 - s + 1. Let a be i(1). Suppose 0 = -3*r - 3*t + a, -5*t + 115 + 157 = 3*r. Is r prime?
True
Suppose 2*r + 145 = 3*c, -5*c - 241 = -10*c + 4*r. Is (1 - (0 - -3)) + c a composite number?
False
Suppose 5*u - 4*g - 7 = 0, -3 - 1 = -5*u + 3*g. Let p be 0/((6/u)/3). Is 0 + 1 + 2 + p composite?
False
Let q = 542 - -299. Is q a prime number?
False
Let d = 379 + -86. Is d prime?
True
Let j be ((-10)/4)/(1/32). Let y = j - -129. Is y prime?
False
Suppose 5*v = 324 - 84. Let y = 70 - v. Is y a composite number?
True
Let q = 666 - -707. Is q prime?
True
Let z = -100 + 141. Suppose -4*i = -2*s - 3*s + 38, -5*s + 3*i = -z. Is s prime?
False
Is -127*3*1/(-3) prime?
True
Let b(m) = 8*m**3 + 2*m**2 - 6*m - 5. Let j(d) = d**3. Let q(i) = -b(i) + 6*j(i). Is q(-4) a composite number?
True
Suppose -4848 = -0*p - 4*p + 2*z, 3*p - 3649 = -5*z. Is p a composite number?
False
Let z(c) = -c**3 - 11*c**2 + 11*c - 10. Let g be z(-12). Suppose g*b + 2*l - 3*l = 173, -5*b - 3*l = -460. Is b a composite number?
False
Let m(q) = q**3 + 446. Is m(0) a prime number?
False
Suppose 2*g - 14 = -2*m, 3*g - 32 = -2*g - 2*m. Suppose 60 = g*s - s. Is (-1)/(-4) + 165/s a prime number?
False
Let m(u) = 10*u - 13. Let p(a) = 11*a - 13. Let s(b) = 5*m(b) - 4*p(b). Is s(10) prime?
True
Let k(s) = s - 3. Let t be k(6). Is 19*((-9)/t - -14) a composite number?
True
Let n(i) be the first derivative of i**2/2 + 1. Let s be n(3). Suppose 2*q = 2*w + s*q - 236, 0 = -5*w - 5*q + 585. Is w prime?
False
Let h = 15 + 0. Let u be 0/1*(-5)/h. Is (-2 - u)*(-161)/14 prime?
True
Let q = 5 + -9. Is ((-6)/9)/(q/786) composite?
False
Let r(s) = 3*s**2 - 1. Let c be r(-1). Is 339/4 + c/8 prime?
False
Suppose -p = 5*z + 3, -2*p + 3*z + 9 = p. Let o be 3/p + 14/4. Suppose 73 + 22 = o*v. Is v a composite number?
False
Is ((-6)/(-8))/(9/9468) a prime number?
False
Suppose -2*k + 0*k = 6. Is (-79)/k*6/2 a prime number?
True
Let n(k) = -k**2 - k. Let v be n(0). Suppose v = -y - 2*x + 8, -3*x + 5*x = 3*y + 8. Suppose y = -5*a + 10. Is a composite?
False
Let t(h) = -h**2 + 6. Let y be t(0). Let i be (315/(-20))/(y/(-16)). Suppose 5*k + i = 3*u - 0*u, -5*u + 5*k + 80 = 0. Is u prime?
True
Suppose 393 = -0*y + 3*y. Is y composite?
False
Let u(l) = 27*l**2 + 4*l - 3. Let m be u(-4). Suppose 4*d - m = -p, p + 2*p = 5*d + 1171. Is p a prime number?
True
Let m(g) = -g**2 + 8*g - 3. Let f be m(7). Suppose 4*k - 5*y - 181 = 0, 21 = -2*k - f*y + 131. Is k a composite number?
True
Let z(l) = 858*l - 7. Is z(1) a prime number?
False
Let m = -745 + 1134. Is m prime?
True
Let x(p) = -p + 3. Let z be x(4). Let f be 3/((0 + -1)*z). Suppose f*c = 2*c + 87. Is c prime?
False
Is 3/(-6) + 3042/12 prime?
False
Let v(z) be the second derivative of -1/4*z**4 - 1/2*z**2 - 1/6*z**3 - 2*z + 1/20*z**5 + 0. 