-2*n = -5*n - 9, -z*g = -5*n - 950. Is g prime?
False
Suppose -k - 48 = -4*b, -7*b + 2*b + 60 = 2*k. Suppose 0 = 4*o - 8*o - 3*j + b, j - 4 = 0. Suppose -f + 8 + 17 = o. Is f prime?
False
Let j(y) = 211*y. Suppose 2*s - 2*b = 2, 2*b + 3 = 3*s + 6*b. Is j(s) a prime number?
True
Suppose -11 = -3*r + 7. Suppose 4*g = r + 134. Is (-6)/33 - g/(-11) composite?
False
Suppose -3*x = 2*x, 2*m - 914 = -5*x. Suppose 3*o - 2*n - m = 0, -4*o - n - 4*n = -571. Is o a composite number?
False
Suppose -4*l = -409 - 2707. Is l composite?
True
Let o be (1/2)/(2/(-12)). Let k be 309/(-12) + o/12. Let n = k + 109. Is n composite?
False
Suppose 426 - 1075 = -c. Is c composite?
True
Let c(l) = 132*l + 1. Let n(a) be the third derivative of -a**6/120 + 2*a**5/15 - a**4/3 + 4*a**3/3 - a**2. Let p be n(7). Is c(p) a prime number?
False
Let b(a) = 5*a - 6. Let o(f) = -5*f + 7. Let d(y) = -3*b(y) - 2*o(y). Is d(-3) composite?
False
Is 464/6*78/4 + 3 prime?
True
Let s = 32 + -14. Suppose -s = -w - 2. Let o = -9 + w. Is o prime?
True
Suppose -5*h - 2*d = 50, 3*h - 28 = 4*h + 4*d. Let q be h/(((-4)/(-15))/2). Let v = q - -129. Is v composite?
True
Let s(p) = -9*p - 2. Let j be (-60)/21 - 2/14. Is s(j) prime?
False
Suppose -4*v + 3536 = 4*q, q - 5*v = 5*q - 3531. Is q a prime number?
False
Let r be (3*-1)/((-6)/(-10)). Let n(y) = -31*y + 2. Is n(r) a prime number?
True
Suppose 2*t - 359 - 129 = 0. Is 9/15 - t/(-10) prime?
False
Suppose 0 = -g - g + 12. Let j(t) = t**3 - 5*t**2 - 7*t + 9. Is j(g) composite?
False
Suppose -3*z - z - 8 = 0. Let o be (z + 36/15)*160. Suppose 5*b = 2*r + 93 + o, -20 = -5*r. Is b prime?
False
Suppose 0 = -0*c + c - 3, -4*c = -4*h - 12. Suppose h*w = -4*w. Suppose 52 = -w*f + 4*f. Is f a composite number?
False
Suppose -4*g = -g - 9. Suppose 2*w = g*l - 3, -l - 3*w = w - 15. Is l composite?
False
Let o(j) = -j**3 + j**2 + 5*j + 1. Is o(-6) a composite number?
False
Suppose 4*d + 19 + 13 = 0. Let p(k) = k**2 + 3*k - 2 - 1 - 3. Is p(d) a composite number?
True
Let k(j) = -j**2 - 6*j - 1. Let h be k(-4). Suppose -h = -p + 14. Is p prime?
False
Suppose -2*m + 4*s + 112 = 0, -3*m + 2*s + 148 + 4 = 0. Suppose -n + 301 - m = 0. Is n a prime number?
False
Let a = -8 - -16. Let g(l) = 26*l - 5. Is g(a) prime?
False
Suppose -8 = -m - 2*t, -2*m + 3*m + 4 = t. Let w(s) be the second derivative of s**3/6 + 13*s**2/2 + s. Is w(m) a composite number?
False
Let h = -583 + 404. Let s = 268 + h. Is s composite?
False
Let h(v) = -70*v**3 - 3*v**2 - 5*v - 1. Is h(-2) a composite number?
False
Is (3 + 10/(-2))*-137 a prime number?
False
Let a(s) = 3*s**3 + 13*s**2 + 5*s. Let f(b) = 2*b**3 + 12*b**2 + 4*b - 1. Let k(y) = -3*a(y) + 4*f(y). Let x be k(9). Suppose -11 = -x*i + 34. Is i composite?
True
Let s(r) = r - 2. Suppose 0 = 7*d - 2*d + 30. Let z be s(d). Is (-12)/z*(-652)/(-6) a prime number?
True
Let a be ((-15)/(-6))/(1/8). Suppose 10 = -2*b, -4*b = q - b - a. Is q a composite number?
True
Let d be (1/2)/(3/648). Suppose 2*j - 82 - d = 0. Is j a composite number?
True
Let h = 2 + 1. Suppose -6*z = -h*z - 669. Is z a prime number?
True
Suppose -844 = -4*q + 480. Is q composite?
False
Suppose p - 126 - 231 = 2*s, 3*s - 3 = 0. Is p a composite number?
False
Suppose -8*t = 2702 - 16054. Is t prime?
True
Let q be (-80)/(-14) - (-4)/14. Suppose 0 = q*o - 2*o - 24. Suppose 2*t + 148 = 2*i, -2*i + 2*t - 314 = -o*i. Is i a prime number?
False
Is 948/(-3)*7/8*-2 prime?
False
Let c(z) = z**2 + 3*z + 4. Let w be c(-5). Suppose g - w = 28. Is ((-11)/(-3))/(2/g) composite?
True
Let d(c) = -c**3 + c**2 - c + 365. Is d(0) a prime number?
False
Let q(p) = p**2 + 7*p - 7. Is q(6) prime?
True
Let w(k) = k**2 + 5*k - 1. Let r be w(-6). Suppose 4*o - 639 = r*i, o + 5*i - 166 = -0*o. Is o a composite number?
True
Let t be ((-3)/9)/(2/(-948)). Suppose -t = -z - z. Is z a prime number?
True
Let k(u) be the second derivative of 17*u**3/6 + 3*u. Let o be k(5). Suppose o = 4*f + 1. Is f a composite number?
True
Suppose 0 = -2*u + 5*u + 6, -5*t + 48 = u. Suppose 2*g - o = t, -3*o = 2*g + 4 - 6. Suppose g*l = 590 + 30. Is l a prime number?
False
Let o(b) = 56*b - 2. Let y be o(2). Suppose -y = -2*x - 3*x. Is 6828/44 + (-4)/x prime?
False
Let k = 69 + 268. Is k prime?
True
Let c(g) = 6*g**2 + 20*g - 9. Is c(-11) prime?
False
Is (-1 - -1183)/(1*2) prime?
False
Let k = 35 + -81. Let z = 43 - k. Is z composite?
False
Suppose -a = -5*q - 0 - 10, 5*q = -5*a - 40. Is 45 - 3/(q*1) prime?
False
Let p(h) = h**3 - 2*h**2 + h + 1. Let t(v) = -v**2 - 8*v - 8. Let x be t(-6). Is p(x) prime?
True
Suppose 75 = -0*f - 5*f. Is (f/9)/((-1)/21) prime?
False
Let w be (0 - (-1 - -2)) + 272. Let d = w - 141. Suppose 3*p = -h + 77 - 9, -5*h + d = 5*p. Is p prime?
False
Let j = -2366 - -4159. Is j composite?
True
Suppose 5*x - 36 = 2*x. Suppose -3*c = -c + x. Let w(k) = -8*k + 1. Is w(c) a composite number?
True
Let s be (-6)/(2*3/(-105)). Suppose 3*x - 4 + 0 = -5*t, 0 = 4*t + 4*x. Suppose -s = -3*u - 3*w, -2*u + 7*u + t*w - 181 = 0. Is u a composite number?
False
Suppose 4*i = 310 + 102. Suppose -u - i - 770 = -3*l, -4*u = 5*l - 1455. Is l composite?
True
Suppose 4*t - 365 = 271. Suppose 3*f - t = 5*q, -5*f - 5*q + 182 = -83. Is f prime?
True
Suppose p - 37 = 2*t, -p - 13 + 47 = t. Is p composite?
True
Let t(b) = -b**2 - 4*b + 2. Let v be t(-4). Let m(w) = -w**2 + 2*w. Let l be m(2). Suppose 2*g + v*g - 8 = l. Is g composite?
False
Is 3 + 11/(33/420) composite?
True
Let c(t) be the second derivative of t**5/60 + 7*t**4/24 + 7*t**3/6 - t**2/2 + 4*t. Let y(s) be the first derivative of c(s). Is y(-10) a prime number?
True
Suppose 2*n - 7 = -3. Is (185/n)/((-1)/(-2)) prime?
False
Let x be (-37)/(-7) + 6/(-21). Suppose x*u - 11 - 14 = 0. Suppose u*m = 9 + 166. Is m prime?
False
Let d(a) = a**3 + a**2 + a + 2. Let m be d(0). Is m/(-5) - (-7671)/15 composite?
True
Let m(z) = -z**3 + 8*z**2 - 8*z + 22. Is m(-9) prime?
True
Suppose -3*w + 4*h + 2061 = 0, -9*w + 4*h + 1370 = -7*w. Is w a prime number?
True
Let u(k) = k**3 + 18*k**2 + 18*k + 25. Is u(-12) a composite number?
False
Let j(p) = -p**3 + 7*p**2 + 3. Suppose -2*x = -16 + 6. Is j(x) prime?
True
Let p(d) = d**3 + 6*d**2 - 5*d + 5. Is p(6) a composite number?
True
Let p(b) = -b**2 - 2*b + 2. Let g(d) = 3*d - 2. Let k(o) = -3*g(o) - 4*p(o). Is k(-3) a composite number?
False
Let h = -13 - -16. Suppose h*m = -0*m + 153. Is m composite?
True
Let q(v) = v**2 + 3*v + 1. Let w(g) = g**2 + 6*g + 3. Let l be w(-5). Let z be (3/12 - l)*-4. Is q(z) composite?
True
Suppose 3*y = y - 12. Let r be (2/y)/((-1)/15). Suppose -l + 2*b = -23, 0 = 3*l - r*b - 104 + 30. Is l composite?
True
Let r(y) = y**3 + 4*y**2 + 2. Let m be r(-5). Let k = m - -11. Let d = 23 + k. Is d composite?
False
Let u(s) = 6*s**2 - 5*s + 8. Is u(17) composite?
False
Let n = 3 - 0. Suppose o - n*o + 41 = z, -o = -2*z + 92. Let b = z + 140. Is b composite?
True
Let z = -1871 - -4513. Is z composite?
True
Let l(j) = 22*j**2 + 1 + 12*j**2 + 0 - 2*j**2. Is l(1) a composite number?
True
Let b(p) be the third derivative of 11*p**4/12 - p**3/6 + 5*p**2. Is b(2) prime?
True
Let d(p) = 7*p**2 + 4*p + 8. Is d(-3) prime?
True
Let u(q) = -10*q**3 - 4*q**2 - 3*q - 1. Is u(-6) prime?
False
Let o = 349 + -232. Let n = o - -10. Is n prime?
True
Let l = -110 - -157. Let y = -8 + l. Is y composite?
True
Let m(q) = -q**3 + 6*q**2 + q - 4. Let z be m(6). Suppose h - 7*a = -3*a + 17, -z*h + 4*a = -30. Is h prime?
True
Suppose -71 = -4*u + 117. Is u a composite number?
False
Let q(k) = k**3 + 6*k**2 + 6*k. Let v be q(-4). Is (46/v)/(2/8) a prime number?
True
Suppose -1 = 2*i - 13. Let w(g) = g**2 - 7*g + 9. Let n be w(i). Suppose r = -3*p + 98, n*r = -0 + 15. Is p a prime number?
True
Suppose 2*b - 3 = -1. Let f be (b - 0)/((-4)/12). Is 35*(4 + f/1) a composite number?
True
Suppose 4*n = 518 - 30. Is n a prime number?
False
Let l = -2276 - -3483. Is l composite?
True
Suppose y + 33 + 17 = 0. Let b be (5/10)/(2/12). Is -1*3/b - y a prime number?
False
Let z(t) = -t - 4. Let y be z(-5). Let r(i) = -11*i - i - y - 7*i. Is r(-2) a prime number?
True
Suppose 3*m + 3*p - 999 = 0, 3*m + 2*p = -0*p + 999. Suppose 4*x - 2*q - 454 = 0, m = 3*x + q - 5*q. Is x prime?
False
Let r(c) = -c**3 - 10*c**2 - 3*c + 1. Is r(-10) composite?
False
