- 3*z = -265. Is z prime?
False
Let g = -4 - -11. Is g a composite number?
False
Is (-2 + 21/15)*-245 + -2 composite?
True
Let o(y) = -2*y - 11. Let q be o(-8). Suppose 284 = v - q*p, -p + 1046 = 4*v - 3*p. Is v a prime number?
False
Let u = -331 - -673. Suppose -2*k + 5 = 3*l - 3, -12 = -2*l - 3*k. Suppose l = 3*s + 15, 4*c + 3*s + 89 - u = 0. Is c prime?
True
Let v(f) = 31*f**2 - 2*f + 6. Is v(-5) a prime number?
False
Suppose 3*l + v + v = 221, -2 = -2*v. Let t = 162 - l. Is t composite?
False
Let p be (-2)/(2 + (-15)/6). Suppose 0 = 5*z + 4*c - 54, -5*z - c + 10 = -p*z. Is z composite?
True
Let s be 6/2 + 42*2. Suppose -s = -5*n - 4*l, -l - 112 = -5*n - 15. Is n prime?
True
Suppose -x - 4 = 2*q, 3*x - 3*q - 6 = 2*x. Suppose 0 = d - 4*p - x*p - 485, 0 = -d - p + 485. Suppose -d = -4*m - m. Is m a composite number?
False
Let v(n) = 4*n - 1. Suppose -4*d - 5*f + 45 = d, 4*d = 5*f. Is v(d) a prime number?
True
Let r = 24 + -17. Let q(c) = -c**3 + 6*c**2 + 8*c + 3. Is q(r) a composite number?
True
Let n be (-32)/3*(-3 - 0). Suppose 0 = x - 0*x - n. Let f = 85 - x. Is f composite?
False
Suppose 0 = 2*m - 3*m - 496. Let u = m + 719. Is u a prime number?
True
Suppose 2*u + 3*j + 54 - 217 = 0, -2*u + 169 = 5*j. Is u a composite number?
True
Is 0 - 3 - 36790/((-15)/3) a composite number?
True
Let w be (-45)/10*8/(-6). Suppose -3*g - 10 = -r - w*g, -4*r - 3*g = -4. Is (1 - -1)*(-53)/r composite?
False
Let u be 3*(-3)/9*-231. Let g = u - 148. Is g a composite number?
False
Let z(s) = s + 1. Let o(b) = -2*b - 2. Let q(i) = -4*o(i) - 6*z(i). Let c be q(10). Let d = -1 + c. Is d a prime number?
False
Let p(y) = 33*y**2 - 2*y - 6. Let n be p(7). Suppose -5*b - 5*l - 317 + n = 0, -756 = -3*b + 3*l. Suppose 3*v = v + b. Is v prime?
True
Let r = -14 + 17. Suppose 37 = 2*z + r*p - 2*p, -2*z + 34 = 4*p. Is z composite?
False
Let n be 769 + 1*(-6)/2. Let d be 1*6*676/8. Let v = n - d. Is v a prime number?
False
Suppose 0 = -2*b - 2*b - 1176. Let v = -119 - b. Suppose -a = 4*a - v. Is a composite?
True
Suppose 0*f + 3*f = 12. Let s be 42/(-8)*(0 + f). Is (-741)/s + (-2)/7 a composite number?
True
Let c = -18 - -166. Suppose -145 - c = -k. Is k prime?
True
Let r(i) = -153*i - 67. Is r(-6) a composite number?
True
Suppose -13 = -5*r - n, 2*r - 4*n + 4 = -2*r. Suppose 0 = -4*l + 3*y - 4*y - 483, -3*l - r*y = 366. Is 4/6 - l/9 prime?
False
Let k(i) = -30*i - 1. Is k(-2) prime?
True
Let a(i) = i**3 + 4*i**2 - 6*i - 4. Let w be a(-5). Suppose w - 2 = c. Is 184/6 - c/3 a composite number?
False
Let f(y) = -306*y + 61. Is f(-7) composite?
False
Suppose -118 = v - 3*v. Is v a composite number?
False
Suppose 22*b = 14*b + 920. Is b a composite number?
True
Suppose k - 131 = 450. Is k a composite number?
True
Let i(f) = f**3 + 7*f**2 + 5*f - 3. Let r be i(-6). Suppose r*v = -3*d + v + 218, 3*d - 3*v - 228 = 0. Is d prime?
False
Let s = -5 - -13. Is (7 - s) + -1 + 9 composite?
False
Suppose 9*c + 864 = 4869. Is c prime?
False
Let s = 467 + -216. Is s a prime number?
True
Let b(q) = -7*q**2 + 29*q + 6. Let o(y) = -3*y**2 + 14*y + 3. Let r(k) = -4*b(k) + 9*o(k). Is r(-10) a composite number?
False
Is 104/7 + 5/35 a composite number?
True
Let j be (6/(-2))/(12/(-44)). Let n = j + -1. Is n prime?
False
Let q(u) = -4*u**3 + 5*u**2 - 7*u - 11. Is q(-5) composite?
True
Let k(f) = 8*f - 3. Let b(p) = p + 14. Let l(g) = g**3 + g**2 - 3*g + 2. Let s be l(-3). Let q be b(s). Is k(q) a prime number?
True
Let b(z) = -z + 4. Let f be b(6). Let x be (1/(-2))/(f/228). Let k = -22 + x. Is k prime?
False
Let c be 0 + (1 - 0) + -1. Suppose c = 5*z - 0*z - 2275. Suppose -z = -5*v - 0*v. Is v a prime number?
False
Suppose -i + 6*i = 50. Let y be 290/(-4) - 5/i. Let t = 144 + y. Is t a prime number?
True
Suppose -3*z = 2*k - 25, k - 4*z - 51 = -4*k. Suppose k = -2*q + q. Is (-215)/(-4)*(-7 - q) composite?
True
Suppose 4*y - 1095 = -y. Is y a composite number?
True
Let g = 6460 - 1931. Is g a composite number?
True
Let n(x) = -150*x - 5. Is n(-2) composite?
True
Let q(k) = 179*k - 18. Is q(5) prime?
True
Suppose -4*p = u - 633, p + 2*u - 152 - 1 = 0. Suppose p + 56 = 5*m. Is m composite?
False
Let v = 14510 - 8397. Is v a prime number?
True
Let m(u) = 118*u**2 - u - 1. Is m(-1) a composite number?
True
Suppose -3*n - 20 = -n. Let d be 2/n - 84/(-20). Suppose -d*w + 5*j + 70 = -2*w, -j = -w + 29. Is w a prime number?
False
Let q(n) = n**3 - 4*n**2 + 2*n - 1. Let b(h) = -h**3 - 7*h**2 + 9*h + 11. Let o be b(-8). Let c be q(o). Is c/10 - (-197)/5 prime?
False
Let z = 2739 - 1378. Is z composite?
False
Let k be (-4)/(-20) - 39/(-5). Suppose 0 = 5*n - k*n + 1335. Is n composite?
True
Let c = 430 - 299. Is c a composite number?
False
Is (-73890)/(-40) + ((-10)/8 - -1) a composite number?
False
Suppose -7999 - 20326 = -25*j. Is j prime?
False
Suppose 59 = p + 6. Is p a composite number?
False
Let p = -68 + 197. Is p a composite number?
True
Suppose -2*p = -0*p + 2*q - 702, 0 = -4*p + q + 1424. Is p a composite number?
True
Is (-17748)/(-60) - 8/10 a prime number?
False
Let u(v) = -8*v - 10. Let x be u(-10). Suppose 0 = -b - 2*n + 14, -5*b + 4*n + x = -n. Is b prime?
False
Let m = 654 + 1325. Is m a prime number?
True
Let o(g) = -g**3 - 7*g**2 - g - 4. Let f be o(-7). Suppose -m + 34 = f*l - l, l - 136 = -4*m. Is m a prime number?
False
Let p(q) = -q**3 + 2*q**2 - 2*q. Let r be p(2). Let z(u) = 9*u**2 + 6*u + 2. Is z(r) composite?
True
Let s = -238 - -991. Is s a prime number?
False
Let u(z) = -z**3 - 3*z**2 + 6*z - 5. Let j(w) = -w**3 + 6*w**2 + 5*w - 2. Let s be j(7). Let i = 10 + s. Is u(i) a composite number?
False
Let x = 1 - 3. Let r(t) = 4*t + 1. Let f(a) = 13*a + 3. Let j(i) = 4*f(i) - 14*r(i). Is j(x) a prime number?
False
Suppose 7*o = 3*o - i + 7, 3*o - 29 = 4*i. Suppose 1 = -a, -o*p + 3*a + 1 = -4*p. Let v = 1 + p. Is v a prime number?
True
Let l = 768 + -449. Is l a prime number?
False
Suppose -4*v = -5*z - 28, z + 7 = 2*v - 1. Suppose -v*w + 3*w - 11 = p, 0 = -4*p + 4. Is 8/w*(160 + -1) prime?
False
Let s be 2/(-13) + (-2090)/(-65). Suppose 2*k - t - 72 = 0, -3*t + s + 85 = 3*k. Is k prime?
True
Suppose 0 = -3*v + 3 + 3. Is (-575 - v)/(7 - 8) prime?
True
Is 142 - (3 - 3/1) composite?
True
Suppose -10 = -2*n, -2*i - i + 5808 = 3*n. Is i a prime number?
True
Let u = -8 - -7. Is (1*u)/(5/(-115)) a prime number?
True
Suppose -8*i + 8620 = -4*i. Is i composite?
True
Let v(q) be the second derivative of q**3/6 - 2*q**2 + 2*q. Let x(c) = c - 4. Let m(f) = 5*v(f) - 4*x(f). Is m(7) composite?
False
Let i = -618 - -1384. Is i a composite number?
True
Let u be 5/25 - (-512)/(-10). Let q = 76 - u. Is q a prime number?
True
Suppose 0 = 4*v - 3*v. Suppose v = 3*h - 5*c - 17, -2*h + 3 = c + 9. Let m(k) = -9*k**3 + 2*k**2 + k. Is m(h) prime?
False
Let y(p) = -p + 16. Let w(q) = 15. Let u(f) = 3*w(f) - 2*y(f). Is u(9) a composite number?
False
Let c be (-19)/(0 + (-3)/(-12)). Is 3/(-1)*c/4 prime?
False
Let r = 6 - 6. Suppose 4*l = -3*g + l + 267, r = -2*g + 2*l + 186. Is g composite?
True
Suppose 8*r - 3*r = 50. Suppose -2*u - 4*l = -0*u - 10, r = -u + 3*l. Is (-1)/(u/78) + 1 composite?
False
Let j(k) = -17 - k**2 + 2*k**2 + 84. Let y be (-2 + 5)/6*0. Is j(y) prime?
True
Suppose -2*v - 20 = -316. Let f = v - 79. Is f a composite number?
True
Let w = -13 - -53. Let b = 40 + 39. Let i = b - w. Is i composite?
True
Suppose -3*d + 3523 = -7550. Is d a composite number?
False
Suppose -n + 77 = -0*n. Is n a composite number?
True
Let l = 4 + 1. Suppose -t - 1 = 5*m - 7, l*t - m - 108 = 0. Is t prime?
False
Suppose -313*k = -308*k - 410. Is k prime?
False
Suppose -203 - 160 = -3*r. Suppose r + 110 = o - 2*y, 0 = -5*y + 5. Is o prime?
True
Let n(c) = 12*c**3 + c**2 - 4*c + 1. Let d be n(3). Let p = 1799 - d. Is p prime?
False
Suppose 4*t = 9*t + 15. Let m be t/15 + 282/10. Let n = -19 + m. Is n composite?
True
Let t = -81 - 67. Let x = -77 - t. Is x prime?
True
Let w(z) = 30*z**3 + 17*z**2 + 3*z + 23. Let v(o) = -10*o**3 - 6*o**2 - o - 8. Let y(i) = -11*v(i) - 4*w(i). Is y(-3) a prime number?
True
Suppose -7*s = -3*s - 8. Suppose 2*v = -s*o - 0*o - 12, v - 2 = -5*o. Let b = v + 39. Is b prime?
True
Suppose 4*j = 512 + 8. Is (-38)/4*j/(-5) a prime number?
False
Suppose 3*u - 13530 - 2253 = 0. Is u a composite n