ppose -4*a + g + 3656 = a, 4*a - 2929 = 5*g. Is a a prime number?
False
Suppose -d + 1 = -1. Suppose 0 = -d*t - 0*t - 4*n + 104, 106 = 2*t + 3*n. Suppose 0*a + t = i - a, i - 5*a = 68. Is i composite?
False
Suppose 94 - 7 = -l. Is (2 - l) + 3 + -1 prime?
False
Let h(p) = -p**2 + p - 1. Let l(d) = d**3 + 4*d**2 + 15*d - 9. Let z(t) = -6*h(t) + l(t). Is z(-8) a prime number?
True
Suppose 5*i + 2*b + 26 = 0, 4*i + 5*b + 35 = -i. Let w be (-1 + 0)*i*1. Suppose w*k = 8*k + 2*h - 22, -36 = -3*k + 5*h. Is k a prime number?
True
Suppose 19 = w + y, -w - y + 43 = w. Suppose -w = -5*h + 1, 3*t = 4*h + 145. Is t a composite number?
True
Is 13*1/(2 + (-26)/14) prime?
False
Let m(d) = d**3 + 6*d**2 - d - 5. Let f be m(-6). Is 20 + 4 - (0 + f) prime?
True
Is 81 - (0 - -1)*-1 a prime number?
False
Let d(i) = i**2 - 7*i + 8. Let q be d(6). Let v be (3 - q) + 1 + 3. Suppose -2*x + v*x = 21. Is x a composite number?
False
Suppose 0 = -4*g - 5 + 17. Suppose -5*k + 37 - 5 = 4*x, g*k = -x + 15. Suppose 0 = -q + 4, -36 = -k*h + q + 3*q. Is h a prime number?
True
Let m be (-2)/(-4) + (-75)/6. Is ((-237)/m)/((-6)/(-24)) prime?
True
Let b(w) = 29*w**2 - 8*w - 5. Is b(-6) a prime number?
True
Let i(s) = s**3 + 3*s**2 - 5*s. Let r be i(-4). Let q = r - 2. Suppose -q*m - 15 + 65 = 0. Is m a prime number?
False
Let l(f) = 24*f**3 - f**2 + 1. Let o be (-6)/8 - (-4)/(-16). Let j be l(o). Let m = 57 + j. Is m a composite number?
True
Let g(q) = -q - 1. Let o be g(2). Suppose 2*j + 18 = -3*v - 2*v, 3*j + 50 = 4*v. Let r = o - j. Is r a prime number?
True
Let g(i) = -30*i + 7. Is g(-4) composite?
False
Let v(a) = -6*a**3 - a**2 + 17. Let o(n) = -5*n**3 - n**2 + 16. Let u(s) = -7*o(s) + 6*v(s). Let r be u(0). Is 2/r - (-232)/10 a composite number?
False
Suppose -5 = -5*d - 25. Let g(c) = -6*c - 5. Is g(d) a composite number?
False
Let g(s) = 43*s**2 + 2*s - 1. Is g(-2) a prime number?
True
Let r(b) = 4*b**3 - 6*b**2 + 7*b + 1. Let i be r(6). Suppose p + 0*q - 2*q = 131, -i = -5*p + q. Is p prime?
True
Let k be 2/(-4) + (-87)/(-6). Let m = k - 7. Suppose -3*g - 12 = -m*g. Is g a composite number?
False
Suppose -2*t + 3693 = -6687. Is t/45*(-15)/(-2) a prime number?
False
Let s(k) = -k**3 - 6*k**2 - 6*k - 3. Let i(p) = -p**3 - 3*p**2 + 6*p + 3. Let q be i(-4). Let c be s(q). Suppose 52 = 2*n + c*n. Is n a composite number?
False
Suppose -4*j + 2*j = -12. Let b be ((-9)/j)/(3/4). Is -2*(7/b + -2) a composite number?
False
Let m(u) = -u**3 - 4*u**2 + 5*u - 4. Let a be m(-5). Let k(y) be the first derivative of -y**4/4 - 2*y**3/3 - 3*y**2/2 - 5*y + 1. Is k(a) a prime number?
False
Suppose 0 = 3*j + 4*a - 2*a - 547, j + 2*a - 177 = 0. Is j a composite number?
True
Let d = 120 + -75. Is (666/d)/(1/5) prime?
False
Let s(t) = t**3 - 5*t**2 + 5*t. Let q be s(4). Suppose q*p = p + 12. Suppose 3*n - 41 = -5*v, -3*n + 0*v + p*v = -86. Is n a prime number?
False
Let u be -9 + 7 + 1*239. Suppose -3*a - u = -6*a. Is a a prime number?
True
Let y(r) = -r**3 + 3*r**2 + 2*r - 2. Let j be 15/5*8/6. Let b be y(j). Is 12/(-30) + (-554)/b prime?
False
Suppose 0 = -3*g + g + 422. Is g a composite number?
False
Let w(n) = n**2 - 9*n + 9. Let m be w(9). Let a be (-9)/(-6)*12/m. Let s(q) = 2*q**3 + q**2 + 3*q - 3. Is s(a) a composite number?
False
Is (-8)/10*15485/(-38) composite?
True
Let c = -236 + 371. Suppose -5*q = -110 - c. Is q prime?
False
Let q be (-2 - -16)/(3/(-123)). Let i = -279 - q. Is i prime?
False
Let z be 5/(-2)*(-12)/10. Let r be ((-135)/(-6))/z*8. Suppose -3*o - o = -r. Is o a composite number?
True
Suppose 0 = 3*t - 0 - 3. Suppose -4*u - 27 = -2*x - t, -2*u - 7 = 5*x. Is (-774)/(-10) + u/15 composite?
True
Suppose -1607 = 3*t - 272. Let y = t + 696. Is y composite?
False
Let y = 4 - 2. Suppose -6 = -2*m - y*m - 3*g, m + 4*g = -5. Suppose 3 = m*f - 0, f - 28 = -3*t. Is t a prime number?
False
Let f = -1 + 4. Let u = 26 - f. Suppose 3*n - 250 = u. Is n prime?
False
Suppose -x - i + 2 = 3*x, 2*x - 4*i = -8. Suppose x = -3*z + 5*g - 10, -2*z = -g + 2. Is -2 + z - (-165 + 2) a composite number?
True
Let p(a) = 3*a**2 + 17*a + 11. Is p(-8) prime?
True
Let p(b) = -2*b**3 + 30*b**3 + 15*b - 14*b + 2*b**3. Is p(1) a prime number?
True
Let m be 3 - (-3)/((-6)/14). Is m/(-18) - 1116/(-81) a composite number?
True
Let u = 556 - 328. Suppose u = 2*r - 98. Is r a prime number?
True
Suppose -m + 2*u = 7*u - 290, 2*u - 293 = -m. Is m prime?
False
Let m = 1 - 7. Let o = -4 - m. Let w = 51 + o. Is w a composite number?
False
Is (-4418)/(3 + -10 + 5) a prime number?
False
Let k(v) = v. Let j be k(7). Let x = 182 + 53. Suppose -j*i = -2*i - x. Is i composite?
False
Let w(g) = g**2 - 9*g - 7. Is w(-9) composite?
True
Is 16/56 - 824/(-7) a composite number?
True
Suppose -317 = -3*z - 116. Is z a composite number?
False
Let h(n) = -n**3 - 3*n**2 + 3*n - 5. Let z be h(-4). Let r be z/(-3) + 267/9. Let b = r + -7. Is b composite?
False
Suppose 3*k - k = 2302. Is k a composite number?
False
Suppose 9*w = -3*g + 4*w + 1291, 2*g = -3*w + 862. Is g a prime number?
False
Let r = 952 - 12. Let v = r + -656. Let l = v - 165. Is l a prime number?
False
Suppose -48 = -5*f + f. Suppose -8*v + f = -5*v. Is v/5*(-25)/(-2) composite?
True
Let b be (65/5)/((-2)/8). Let d = -31 - b. Is d a composite number?
True
Suppose -5*o + 887 = 252. Is o a composite number?
False
Suppose 4*r = 3*k - 278, -2*k + 4*k - 172 = -4*r. Let c = k - -59. Is c composite?
False
Suppose 0 = -4*c + 3*h + 223, -5*c + h + 235 + 41 = 0. Is c a composite number?
True
Let m(i) = 5*i**2 - 1. Let o be m(-1). Suppose 2*b - 251 = -n, -374 = -3*b - o*n + 3*n. Is b a composite number?
True
Let j(f) = -3*f - 2. Let p be j(-2). Suppose 5*s + 12 - 402 = -p*l, 5*l - 3*s = 469. Is l prime?
False
Suppose -3*c = -5*c + 4. Suppose c*k - 105 + 31 = 0. Is 1 + k + 3/(-3) a composite number?
False
Suppose 3*n - 241 + 64 = 0. Is n prime?
True
Suppose 0 = 4*i - 5*s - 41, -s = 2*i - 3*i + 9. Suppose 11 = i*u - 141. Is u composite?
True
Suppose 2*z - a - 734 = 0, -3*z = -2*z + 4*a - 358. Suppose 5*q - 2*k = 2*q + 360, 3*q - 4*k = z. Is q prime?
False
Let n(q) be the first derivative of 2*q**3/3 + 3*q**2 - 8*q + 2. Let l be n(-6). Suppose -2*y + l + 14 = 0. Is y composite?
True
Let j be 0/(-2 - -3) - 11. Is (-1)/(-1)*-2 - j a composite number?
True
Let i(k) be the first derivative of -k**2/2 + 79*k + 2. Is i(0) prime?
True
Suppose -36*r - 10323 = -45*r. Is r a prime number?
False
Let c(l) = -12*l + 1. Let j be c(-2). Let p = 62 - j. Is p composite?
False
Let c = 10 + 3. Is c prime?
True
Suppose -3*a - 5 = 13. Is ((-148)/a)/(12/18) prime?
True
Let r(b) = -5*b**2 - 4*b - 1. Let x(m) = 3 + 1 + 12*m + 14*m**2 + m. Let i(y) = -7*r(y) - 2*x(y). Is i(-2) prime?
True
Suppose 175 = -z + 6*z. Let g be -1 + (0 - (-57)/(-3)). Let b = z + g. Is b a prime number?
False
Let h(u) be the third derivative of u**6/180 - u**5/24 - u**4/12 - u**3/6 - 3*u**2. Let r(i) be the first derivative of h(i). Is r(-3) a composite number?
False
Let q(u) = u - 7. Let s be q(10). Is (-89)/2*(s - 5) a composite number?
False
Suppose -3*z + 6535 = y, -3*z - 2*y = 2*y - 6529. Is z a composite number?
False
Let b be (3/(-9))/(2/(-12)). Let y(a) = 4*a + 1. Let c be y(1). Suppose 2*i = -5*r + 49, b*i - c*r = -2*r + 89. Is i prime?
True
Suppose -4*c - 1 = -j, -2*c - j + 0 = -1. Suppose 5*n - 2*n + 12 = c. Is (35/4)/((-1)/n) a composite number?
True
Let c(a) = -a + 7 - a**2 + 2*a**2 + 16. Is c(0) composite?
False
Suppose -2*d = -2*g - 2, -3*d + 3*g = 2*d - 11. Suppose -136 + 444 = d*q. Is q prime?
False
Let p be 207 + -1 + (-2 - -5). Suppose -27 - p = -4*z. Is z a prime number?
True
Let h = 11 + -7. Let o(r) = -r + 4. Let i be o(3). Is 41/4 - i/h prime?
False
Let p(s) = 2 + 7 - 5 - 6*s - 3 + 13*s**2. Is p(4) a prime number?
False
Suppose 1 = 4*f - 7. Suppose 2*c - f = 86. Suppose -c = -5*h + h. Is h composite?
False
Let f be 5 + 3*(-6)/9. Suppose -2*g - 18 = f*l - 361, 2*l + 161 = g. Is g composite?
False
Is (1 + (-2245)/15)*-3 prime?
False
Let d be 35/((-2 + -1)/(-3)). Let f = -2 + d. Suppose -179 = -5*w + 2*g, f = 2*w + 4*g - 53. Is w a prime number?
True
Let w(b) be the third derivative of b**7/2520 - b**6/240 - b**5/40 + b**4/12 - 2*b**2. Let s(a) be the second derivative of w(a). Is s(6) prime?
False
Let w(