+ 4*k - 3 = -b, -4*k - 12 = 0. Is d a prime number?
False
Let p = 41 + -19. Is p prime?
False
Is 102/(-68)*1490/(-3) composite?
True
Suppose -18*u + 22*u = -260. Let f = u + 276. Is f prime?
True
Suppose x + 0*x - 820 = -5*n, 5*x = 25. Is n a prime number?
True
Let u be (-175)/(-63) + 2/9. Let q be u/(-2) - (-44)/8. Suppose -42 = 2*f + q*d - 260, -2*f + 4*d + 242 = 0. Is f a composite number?
True
Suppose 4*s + 627 - 2141 = -2*j, 2*j + 1139 = 3*s. Is s composite?
False
Suppose 5*a - 3*g - 4650 = -2*g, 2*a - 5*g - 1883 = 0. Is a a composite number?
False
Suppose 4*i - 127 = 181. Is i a prime number?
False
Suppose 745 = x + 4*x. Is x composite?
False
Let s(a) = -a**3 - a**2 + 3. Let d be s(0). Suppose t + 2*y - 61 = 0, -3*t + d*y = -89 - 112. Is t prime?
False
Let d(l) = -14*l**3 + l + 1. Suppose -u = -2*s - 0 - 2, -2*u = 0. Is d(s) composite?
True
Suppose 3*x = x + 1148. Is (x/(-3))/(4/(-6)) prime?
False
Is ((-3)/((-6)/4))/(2/4271) prime?
True
Let o = 4 + -8. Let n(q) = q**2 + q - 5. Is n(o) prime?
True
Suppose -16 = -6*v + 2*v. Suppose -652 = -0*m - v*m. Is m a composite number?
False
Let n = 3 + -3. Suppose 3*l = 4*t + 260, -4*t + l + 4*l - 252 = n. Let a = t + 117. Is a a prime number?
False
Suppose 6*y - 136 = 2*y. Is y a prime number?
False
Let i be -64 - (-5)/((-15)/9). Let z = 247 - i. Is z prime?
False
Let g(r) = -123*r + 18 - 8 + 106*r. Is g(-9) a composite number?
False
Is (-3 + 9)/(-2) + 98 a prime number?
False
Let i = -13 + 11. Is ((-6)/4 - i)*106 a prime number?
True
Let x(k) = 4*k**2 - k + 1. Let u be x(1). Is (-762)/4*u/(-6) composite?
False
Is (-2012)/(-8) - 1/2 a composite number?
False
Let k = 1510 - 837. Is k a prime number?
True
Suppose 5*j = t - 4*t - 25, 10 = -3*t - 2*j. Suppose 3*d - 20 = -4*y, 5 = -y + 5*d - 13. Suppose t = -3*r - y*x + 401 + 162, 3*x = -15. Is r a prime number?
True
Let q(s) = -s**3 - 8*s**2 - 8*s + 3. Let o = -1 - 7. Is q(o) prime?
True
Suppose 14*u = 13*u + 239. Is u a prime number?
True
Let d = 12 - 19. Let l = -4 - d. Is l composite?
False
Suppose 4*c - 956 = -116. Suppose v - c = -v. Suppose -2*n - 103 = -4*j - 21, 5*j - 2*n - v = 0. Is j prime?
True
Is 242/4*(-1 + 3) composite?
True
Let y = 203 - 118. Is y composite?
True
Suppose 5*l = -0*l + 125. Suppose 0 = r - l + 3. Is r composite?
True
Let n = -2 + 2. Let h be n + 2 + (2 - -204). Suppose -5*z - 23 + h = 0. Is z prime?
True
Suppose g + y = -4*y + 668, 0 = 5*g + 5*y - 3360. Is g composite?
False
Let o(f) = -f**3 + 4*f**2 + 2*f + 7. Is o(-6) composite?
True
Let y = 36 - -22. Suppose -2 = -5*j + y. Suppose -j = p - 45. Is p a composite number?
True
Suppose -3*s + 2*z + 9 = 28, -35 = 3*s + 2*z. Let l(j) = 2*j**2 + 13*j + 4. Is l(s) a composite number?
True
Suppose -80 - 366 = -2*c. Is c composite?
False
Suppose 0 = 3*w - 2 - 7. Suppose w*p + 0 + 3 = 0. Is p/((21/18)/(-7)) prime?
False
Let i(o) = o**2 + 1. Let g be i(-3). Suppose 11 = b - g. Is b a prime number?
False
Is 1341/27 - (-4)/(-6) prime?
False
Let r = -41 + 228. Is r prime?
False
Suppose -2*n + 6*n - 124 = 0. Is n composite?
False
Let l(q) = q**2 - 12*q + 7. Let w be l(12). Suppose 70 = 12*v - w*v. Is v a composite number?
True
Suppose 5*k - k - 2*w = 0, -4*k + 3*w = 4. Suppose 3*g = 4*v - 110, -3*g - 3*v - 8 = 67. Is ((-11)/k)/(3/g) prime?
False
Let w be 6/(-2 - -4) + 9. Suppose w = 6*p - 3*p. Suppose -4*k = k + s - 389, -3*s = -p*k + 296. Is k composite?
True
Let p(c) = 57*c + 2. Let k(f) = -57*f - 2. Let g(h) = -3*k(h) - 2*p(h). Let i be g(5). Let n = i + -168. Is n a prime number?
False
Suppose 23 = r - 43. Suppose -77 = -j + r. Is j a prime number?
False
Let q be (-3)/(-6) + 11118/4. Suppose d = -4*k + 1798 + q, -4*d - 8 = 0. Is k a composite number?
True
Suppose 8*v + r = 3*v - 31, v + 3 = 3*r. Let l = v - -6. Suppose -3*w - 2*s = -63, -3*w - w - 3*s + 83 = l. Is w prime?
True
Suppose 0*u = -u. Suppose -3*d = -5*x + 974, -4*d - 188 = -x - u*d. Suppose 2*q = 6*q - x. Is q prime?
False
Let u be 80/30*102/(-4). Let j = 123 - u. Is j a composite number?
False
Let a(r) = 2*r - 1. Let l be a(3). Suppose 0 = -o - l*n + n + 29, 0 = -3*o + 2*n + 31. Is o a composite number?
False
Let i(l) = -l**3 + 7*l**2 - 8*l + 3. Let b be i(6). Let t = -7 - b. Suppose -g - 39 = -t*g. Is g a prime number?
False
Let o = 0 - -14. Let r = o + -10. Suppose -3*f + 91 = -r*s, 4*s - 33 = -f + 8. Is f prime?
False
Let l = 1 - -4. Let c be (1*-5)/(1 - 0). Is (c - l)/(2/(-5)) composite?
True
Let g(v) = 3*v**2 - 3*v + 1. Let j be 3/(-5) - 38/(-5). Is g(j) a prime number?
True
Suppose -3*o - 75 = -4*o. Suppose -5*z + o = -95. Is z prime?
False
Let y(s) = -40*s - 17. Suppose -b + 66 = -4*a, 0*a + 4*b + 40 = -3*a. Is y(a) a prime number?
False
Let v be 10/(-55) - 4/(-22). Is 4/((-4)/(-181)) + v a prime number?
True
Let k = 7 + -3. Suppose k*h - 430 = 2*z, -5*z + 12 = -z. Is h composite?
False
Suppose -3*m - 223 = 4*w, -2*m + 2*w + 22 = 166. Let q = 223 + m. Suppose q = 4*h - 5*p, -3*p = 4*h - 0*p - 134. Is h prime?
False
Suppose -4*t = 3*f + 16, 3*t - t = 5*f - 8. Suppose f*v + 2098 = 2*v. Is v a prime number?
True
Let h(n) = 102*n**2 + 2*n + 7. Is h(-3) composite?
False
Suppose 0 = -2*q + 12. Suppose -z + q = -1. Is z a composite number?
False
Let k(p) = p**3 + 9*p**2 - 3*p + 5. Let m(a) = -a**3 - 6*a**2 + 2*a + 4. Let g(t) = -t**3 + 8*t**2 + 8*t + 3. Let q be g(9). Let c be m(q). Is k(c) composite?
True
Suppose -8 = -3*f + 7. Suppose -f*r - 2*o + 935 = -7*o, -5*r + 923 = o. Is r a prime number?
False
Let f(y) = -y**3 - 8*y**2 - 3*y - 12. Let g be f(-8). Suppose 4*a + c - g = 0, -a = -4*a - 5*c + 9. Is a composite?
False
Let g = 185 + -28. Is g a prime number?
True
Let t = -14 - 0. Let c be 1083/7 - 4/t. Suppose -75 - c = -2*u. Is u prime?
False
Let y = -8 + 11. Suppose y*s - 275 = -2*s. Is s a prime number?
False
Suppose -l - 3 = -1. Is 1 + (-160)/l - 2 a prime number?
True
Let g(x) = 64*x**3 - 3*x**2 + 3*x + 3. Let z be g(-3). Is z/2*(-4)/6 prime?
True
Let h(n) = n**2 + 2 + 5*n**2 - 3 + 18*n**2 + 2*n. Is h(-2) composite?
True
Suppose -3*c = -3*l + 12, 5*l - 2*l - 12 = -3*c. Suppose -2*i + 4 = -c*i. Suppose 7 = 5*r + z, -4*z - i = 5*r - 0. Is r a composite number?
False
Suppose 0 = 4*b - 2*b + 2. Is (62 - 1) + b + 2 composite?
True
Suppose 2*f - 3*y - 565 = -2*f, -5*f + 704 = -3*y. Is f a prime number?
True
Let m be (-5)/1*(-4)/4. Suppose 165 = 3*i + 2*i - m*v, 21 = i + 5*v. Is i a prime number?
True
Is (2097/(-6)*-2)/3 a prime number?
True
Let l(o) = 12 + 79*o + 1 - 54*o + 71*o. Is l(9) prime?
True
Let p(d) = d. Suppose -5*l + 27 = 4*h, 2*h = l + 4*l - 9. Let g be p(l). Suppose -3*y = -s - s - 67, g*y + 2*s = 59. Is y prime?
False
Let r = -15 - -5. Is 558/15 - (-2)/r prime?
True
Let d(p) = -p**2 - 5*p + 16. Let n be d(-7). Let r(m) = 11*m**3 + 2*m - 3. Is r(n) prime?
True
Let o = 21 - 36. Suppose 0 = 5*c - 4*c + 2. Let d = c - o. Is d a composite number?
False
Let o be (-2)/6 - 34/6. Let l be 7 - (o/2)/3. Suppose -b + 5 + l = 0. Is b composite?
False
Suppose 0*c = -2*c + 502. Is c prime?
True
Let l(y) = 2*y**2 + 2*y - 2. Let j(v) = -v**3 - 6*v**2 + 3. Let o be j(-6). Is l(o) composite?
True
Let l(d) = -d - 3. Let s be l(-5). Suppose 5*p + 4*g = -4, -4*g + 3*g = s*p + 4. Let w(r) = 4*r**2 + 4*r - 5. Is w(p) composite?
False
Suppose -2*h + 3*h = -3*l, -4*h + 4*l + 64 = 0. Let v = h + -8. Suppose 0 = -v*z + 2*z + 154. Is z a prime number?
False
Let b be (-5)/20 - (-13)/4. Suppose 2*c + 3*k = 16, -2*k + 18 = 2*c + b*c. Is (-1 + 38)*c/2 composite?
False
Suppose -2*l = 3*i - 6*i + 4031, 2*l = i - 1341. Is i composite?
True
Let k(a) = -a - 5. Let d be k(-4). Let j be 1/((-1)/(-6)) + d. Let w(n) = n**3 - 3*n**2 + 5. Is w(j) prime?
False
Suppose -3*c - 10 = y, 2*y + 12 = y - 4*c. Let u be 81 - y/(1 - 3). Suppose u + 45 = 4*f. Is f a composite number?
False
Let o be 5*(-2 + 3) + 1. Let y = o + -3. Suppose -v = y*v - 644. Is v prime?
False
Suppose -1236 = -3*h + 210. Is h prime?
False
Suppose 4*j + 5*h = 1781, -5*j + 4*h - 7*h + 2210 = 0. Is j a composite number?
False
Let x(t) = 2*t**3 - t**2 - 4*t + 3. Let l be x(2). Let i(u) = 3*u**2 - 7*u - 15. Is i(l) composite?
False
Let b be (-1)/2*2636/(-2). Suppose -4*c - 5*w + 513 = 0, -b = -4*c + w - 152. Is c prime?
True
Suppose -16*c + 11*c = 0. Suppose s - 6*s + 695 = c. Is 