 j*w - 119 = -3*q. Is w prime?
False
Suppose 95*j - 85*j - 256490 = 0. Is j composite?
True
Suppose 5*f - 5*o - 5750 = -0*o, 4*o = 5*f - 5746. Suppose j - 409 - f = -4*t, 0 = 2*j + 5*t - 3113. Is j prime?
True
Suppose -8 = -3*w - w. Suppose -3300 = -i - 3*r - 12558, -18530 = w*i - r. Is ((-1)/(-2))/((-8)/i) composite?
True
Suppose 0 = 2*m - 4786 - 7792. Is m a prime number?
False
Suppose 0 = r - 11160 - 13783. Is r composite?
False
Let k = 50299 - 24404. Is k a prime number?
False
Let u(g) = 2642*g + 686. Is u(6) a composite number?
True
Let j(x) = x**2 - 4*x + 2. Let k be j(4). Suppose -3*w = -b + k*b - 1134, 4*b - 4544 = -4*w. Is b prime?
False
Suppose 9*i - 54850 + 8581 = 0. Is i prime?
False
Suppose k = -2 + 5. Suppose 0 = 3*i + 9, 4*i = k*c + i - 5271. Is c a prime number?
False
Let q(g) = g**2 + 1. Let b be q(-1). Suppose 4*u - 3*m = 2*m + 18, 4 = -b*m. Suppose -4*i + 1656 = -u*c, -5*i + 2096 = -3*c + 25. Is i prime?
False
Suppose 5*v = 3*p + 151 + 373, 4*p + v = -668. Let j = 99 + p. Let l = -31 - j. Is l prime?
False
Let m be ((-18)/12)/((-2)/3236). Let b = -1724 + m. Is b prime?
False
Let c(z) = z**3 - 6*z**2 + 4*z + 4. Suppose 25 = -x + 6*x. Let f be c(x). Is -4 - -4 - (-76 + f) a composite number?
True
Let u(z) = 2*z + 181. Suppose -10 = -2*b, 4*g + 5*b - 35 = -g. Suppose -w + 0*w = g*y - 2, -y - 10 = -5*w. Is u(y) composite?
False
Let d(k) = 3*k**2 + 2*k + 2. Let a be d(3). Let q be 3/(-9) - a/(-15). Suppose -2*m = q*m - 892. Is m composite?
False
Suppose -5*p + 19 = 9. Let v = -30 + 77. Suppose p*r + 0*c = 3*c + 94, -r + c + v = 0. Is r prime?
True
Let v(p) = p**2 - 6*p - 42. Is v(-10) a prime number?
False
Let x = -34 + 36. Suppose 189 = -3*z + x*s + 2122, -2589 = -4*z + 5*s. Is z a prime number?
True
Suppose 25*j - 104038 = 3*j. Is j prime?
True
Let j = 22 - 19. Suppose j*b - 549 = 5*k, 2*k + 325 + 609 = 5*b. Suppose -6*v - b = -10*v. Is v composite?
False
Let r(q) = -3*q - 2. Let h be r(-4). Suppose -h*o = -14*o. Suppose -3*u - 2*u + 4*n + 1415 = 0, -2*u - 3*n + 589 = o. Is u composite?
True
Suppose -5*y + 49 - 34 = 0. Suppose 332 - 1049 = -y*t. Is t composite?
False
Suppose 25 = -d + 6*d. Suppose 1797 = q - a, 0 = q - 6*q - d*a + 9025. Is q a composite number?
False
Suppose -4*z = 4*p + 60, 2 + 0 = 2*z. Is 2/4 - 6824/p a prime number?
False
Let g(k) be the second derivative of k**5 - k**4/12 + k**3/6 - 3*k. Let l be g(-2). Is -2 - l/(-4)*-6 a prime number?
False
Suppose -2*a = -41 + 13. Is 12027/21 + 4/a composite?
True
Let f(y) be the third derivative of -y**6/120 - y**5/12 - y**4/12 + y**3/6 + 5*y**2. Is f(-5) a prime number?
True
Let c = -343 + 695. Suppose -o = u - 3*u + c, 3*u - 538 = -o. Is u a composite number?
True
Suppose -f = -19*f + 1746. Is f composite?
False
Let d(h) = 63*h**2 - 28*h - 17. Is d(8) composite?
True
Let j be 2/3*471/(-2). Let q = j - -268. Suppose 0 = m - 2*b - 43, q = 2*m + 4*b - 3*b. Is m prime?
True
Suppose 0 = -5*a - y + 127, 3*a = -0*a - 3*y + 69. Suppose 0 = -5*v - a - 24. Is ((-1012)/55)/(4/v) composite?
True
Let x be 4/(-10) + (-14)/(-105)*3. Suppose x*r = 2*q + 3*r - 646, 328 = q - r. Is q composite?
True
Suppose -880 = -4*a - 120. Let v = a + -63. Is v a prime number?
True
Let x(j) be the second derivative of -7*j**5/10 - j**4/6 - j**3/2 - 2*j**2 - 35*j. Is x(-2) a composite number?
True
Let l(j) = -27*j + 12. Let d be l(-17). Suppose -2*z - d = -5*z. Is z composite?
False
Let v(g) = 51*g**2 + g - 3. Let y be v(-3). Suppose 47*f = 43*f + 12. Suppose -3*o - z = 2*z - y, 3*z + 441 = f*o. Is o a prime number?
True
Suppose 28*w - 22 = 17*w. Suppose 4*y - 2524 + 56 = -4*x, y - 1236 = -w*x. Is x a prime number?
True
Let g(l) = 161*l - 4. Let x be g(6). Let q = -438 + x. Suppose -y - 3*y + q = 0. Is y prime?
True
Let h(w) = w + 3. Let y(p) = -p**2 - 7*p. Let k be y(-7). Let u be h(k). Suppose -2*t + u*t = 131. Is t a prime number?
True
Let i(z) = -19*z**3 - 5*z**2 - 12*z - 15. Is i(-8) a composite number?
True
Let u(b) = 12*b**2 + 23*b + 150. Is u(-47) a composite number?
False
Let g = 25 + 4. Suppose -g*r - 20396 = -33*r. Is r composite?
False
Is (-62)/(-155) + 54759/15 a composite number?
True
Let v(f) = 1392*f + 67. Is v(6) a composite number?
False
Let g = 317 - 179. Let w = g - -581. Is w a prime number?
True
Let j = -9259 + 5836. Let q = j - -8756. Is q a prime number?
True
Let g(o) = -o**2 + 3*o + 937. Is g(0) prime?
True
Let i(v) = v**3 - 9*v**2 + 7*v + 10. Let n be i(8). Suppose 4*c + 5499 = 5*t, 0*t - 2199 = -n*t + c. Is t a composite number?
True
Suppose 0*f = f - 3*l - 9, 0 = -f - 5*l - 15. Suppose -u = -h - 6*u + 526, u - 5 = f. Is h prime?
False
Let d be (2 - 5/4)*(3 - 7). Is (-1)/(2/(-8396)) - d a prime number?
True
Let n(i) = 29*i**2 - 2*i + 4. Suppose -12 + 0 = -3*z. Let q be n(z). Suppose -5*l = -l - q. Is l composite?
True
Is 5473 + (13 + -7)*(-5)/15 a prime number?
True
Let y(j) = -13*j**3 + 18*j**2 - 3*j - 20. Let a(v) = -7*v**3 + 9*v**2 - v - 10. Let d(z) = 11*a(z) - 6*y(z). Let s be d(7). Let w = 92 + s. Is w composite?
False
Is 9/(-27) - (-28146)/9 a prime number?
False
Suppose -5*d + 3*x = -d - 163, 0 = -2*x - 2. Suppose -7*m = -9*m + d. Suppose 0 = 5*i + m, 3*i - 4*i = 2*o - 286. Is o a composite number?
True
Suppose 5*q + 21300 - 84155 = 0. Is q a prime number?
False
Let q = -95 + 95. Suppose 4*g + q*g = -5*w + 5486, -4*g + 5480 = 2*w. Is g a composite number?
True
Let j = 12 + -8. Suppose -p = -j*x + x + 469, 481 = 3*x + 5*p. Is x a composite number?
False
Let w(j) be the second derivative of 4*j**4/3 + 11*j**3/6 + j**2 - 3*j - 10. Is w(8) prime?
False
Let o(i) = -i**2 + 6*i - 9. Let v be o(2). Is v*2 + 311 + -16 a composite number?
False
Is (16/20)/(84/(-540890))*-3 prime?
False
Let x be (1 - -1)/(-2)*-1. Let y be (x/1)/(-1)*-5. Suppose -6 = -y*k + 169. Is k a composite number?
True
Let d = 8396 + 22725. Is d a prime number?
True
Let s(u) = -7*u**3 - 5*u**2 + 2*u + 7. Is s(-7) composite?
True
Let j = 7482 + -2947. Is j a prime number?
False
Let o(g) = -g**3 - 38*g**2 - 45*g + 155. Is o(-38) composite?
True
Suppose 0 = -5*x - 3*d + 32155, 0 = 2*x + 2*x + 4*d - 25732. Suppose 3*p - x = -959. Is p prime?
True
Suppose -6*b = -5126 - 5230. Let n = b + 1339. Is n a composite number?
True
Let g(n) = 5*n**2 + 9*n - 115. Is g(-13) composite?
False
Let u(x) = x - 9. Let n be u(12). Suppose 899 - 167 = n*r. Let q = -123 + r. Is q a composite number?
True
Let y(b) = 6*b**2 - 5*b + 1. Let d = -11 - -13. Suppose -2*t - t + 24 = d*c, 3*t - 4*c = 6. Is y(t) a composite number?
True
Let n be (15 - 17)/(2*(-1)/11). Let f(t) = -t**2 + 26*t - 23. Is f(n) a prime number?
False
Suppose 0 = -3*d + 97 + 32. Let h = 73 + d. Suppose -2*i - h + 538 = 0. Is i prime?
True
Let a be (-1)/(0 - (-1)/(-3)). Suppose -5263 = -5*h - a*v + 1539, -h - 4*v = -1357. Is h composite?
False
Let m be (-3 - -4) + 2 - -58. Let s = m + 22. Is s composite?
False
Let u(d) = 24*d + 1. Let l be 6 + -4 - (-39 + 1). Suppose -38*s - 8 = -l*s. Is u(s) a composite number?
False
Let w(c) = -c**3 + 4*c**2 - c - 4. Let g be w(3). Suppose -g*z = -3*f + 1749, -15 = 5*z - 0*z. Is f a prime number?
False
Let b(t) = -t**2 - 7*t + 5. Let k be b(-7). Suppose 0 = 2*s - 3*g - 9, 5*s = -0*s - k*g + 85. Let a(w) = w**2 - 2*w - 5. Is a(s) composite?
True
Let s(r) = 5*r**2 + 4*r - 4. Let k(z) = 3*z - 15. Let h be k(6). Suppose -12 = -a - h*a. Is s(a) a prime number?
True
Let j(d) = d - 2. Let z be j(6). Let a(k) = 3*k**3 - 6*k**2 + 3*k + 5. Is a(z) a prime number?
True
Suppose 34*b + 19410 = 192640. Is b composite?
True
Let o(k) = k**2 + 9*k + 4. Let x be o(-9). Suppose 23 = 5*l - 2*h + 3*h, -8 = x*h. Suppose 561 = -l*i + 1646. Is i a prime number?
False
Suppose 7*r + 19422 = s + 99667, -5*r + 57323 = -2*s. Is r prime?
False
Let k = -1877 - -2826. Is k prime?
False
Suppose -r = 4*r - 15. Let u be 1/(r + 22/(-8)). Suppose -u*f = -4*z - 1716, f = 6*f + z - 2157. Is f a prime number?
True
Let u = -85 + 92. Suppose -u*d = -203 - 336. Is d a prime number?
False
Let f be 264/10 - 14/35. Is f/4*(-314)/(-1) composite?
True
Let w(m) = m**3 + 4*m**2 + 2*m - 2. Let h be w(-2). Suppose 2231 = 3*a + h*t - 4*t, 0 = -2*a + 4*t + 1482. Suppose -8*c = -3*c - a. Is c composite?
False
Let g = -2 + 1. Let k(i) = -3*i**2 - 1. Let s be k(g). Is (9 + -1)/s +