2*m + 387 = 0. Is k a composite number?
False
Suppose 12 - 4 = 4*x, 1701 = 5*g - 2*x. Is g prime?
False
Suppose -2*z - 3*k = k - 9954, k - 9969 = -2*z. Is z a prime number?
True
Suppose 7*b = 3*b + 32. Is (4/(-6))/(b/(-1116)) prime?
False
Let v(d) = -d**3 - 2*d - 7. Let n(w) = -w**2 + 9*w + 4. Let j(m) = -m**3 - m + 10. Let z be j(0). Let o be n(z). Is v(o) composite?
True
Let i = 99 - -28. Is i a prime number?
True
Let b = 18 - 17. Is 70 + 3/b + -2 a prime number?
True
Suppose -2*h + 0*u + 2*u = -2, 5*h - 1 = 3*u. Is (-1221)/(-22) - h/(-2) composite?
True
Let q be 1/((2/(-3))/(-2)). Let p be (-206)/(-3) - q/(-9). Suppose 5*x = -2*l + p + 41, 3*l = 0. Is x prime?
False
Suppose 5*i - 2 = q - 22, -12 = 4*i. Suppose -q*y + 12620 = -0*y. Is y/10 + 3/5 a composite number?
True
Let x be 15 + (5 + -3 - 2). Let j be x/12 + 1/(-4). Is 145 + (j - 2)*2 a prime number?
False
Let t = -7 + 7. Is (6 - t)/((-10)/(-65)) a prime number?
False
Let s(j) = -3*j - 11. Let a be s(-9). Is 2*2*140/a a prime number?
False
Let u(y) = 65*y**2 - y - 1. Let q(f) be the third derivative of f**5/60 + f**4/12 - 2*f**3/3 - 2*f**2. Let k be q(-3). Is u(k) a prime number?
False
Let j(z) = -z**2 + 5*z - 4. Let r be j(5). Is 32/8*(-481)/r prime?
False
Let q(w) = -27*w - 46. Is q(-19) a composite number?
False
Is (127407/12)/7 - (-1)/4 a composite number?
True
Let l = -334 + 629. Is l composite?
True
Suppose 2*q - 3769 = 589. Is q composite?
False
Suppose 0 = 3*d - 5*j - 76 - 212, 4*j - 79 = -d. Is d composite?
True
Suppose -6*w + 8*w = 1702. Is w a composite number?
True
Suppose 5*c + 452 + 1428 = 3*w, -w = 3*c - 650. Is w prime?
False
Suppose 0 = 5*j + 5*r - 670, 0*j = -j - 5*r + 146. Is j composite?
False
Is ((-2)/(-3))/(12/2682) a composite number?
False
Suppose 0*i - 146 = i + 2*u, -i + 3*u = 166. Is i*1*(-3)/6 composite?
True
Let m(t) = t. Let d(x) = 4*x - 4. Let v(i) = d(i) - 5*m(i). Let y be v(-8). Suppose y*h = 230 - 74. Is h prime?
False
Let f(o) = o**3 - 10*o**2 + 7*o - 3. Let n(u) = -u**2 + 19*u - 24. Let w be n(17). Is f(w) a prime number?
True
Let p be (0 - -9)*2 - 0. Suppose -3*r + p = -r. Suppose j = -i + 12 - 3, i - 5*j = r. Is i composite?
True
Suppose -z - 3*k + 14 = 0, -4*z - 2*k = -12 - 14. Let l(f) = f**3 - 6*f**2 + 6*f - 1. Let y be l(z). Suppose y*b = 346 - 86. Is b a composite number?
True
Suppose 3*t = 1 + 8. Suppose 730 = 4*r + 3*i, 0 = 4*r - r - t*i - 537. Is r a prime number?
True
Let t = -11 + 32. Is t prime?
False
Is (2032/(-64))/((-1)/20) prime?
False
Let d(c) = 81*c + 14. Is d(5) a composite number?
False
Is 6693/23 - 0*1/2 a prime number?
False
Is ((-3)/12)/((-1)/1796) composite?
False
Suppose -2*g + 3*g - 2 = 0. Suppose 2*o = -g*o. Suppose z + 7 - 20 = o. Is z prime?
True
Suppose -2*p - 560 = -3*q, -p - 3 = 2*p. Suppose 0 = 3*v + 2*v - 4*b - 302, -4*b = -3*v + q. Is v a composite number?
True
Let y(m) = -m**3 - 2 + 2 + 2*m**2 - 2*m + 4*m - 4. Is y(-3) a composite number?
True
Suppose 0 = 3*c - 6*c + 6. Let y = 2 - c. Suppose -h = -y*h - 269. Is h a prime number?
True
Suppose 29*b = 27*b + 5282. Is b a prime number?
False
Let a(w) = -181*w + 14. Is a(-3) a prime number?
True
Suppose 13*x = 33591 + 24402. Is x a prime number?
False
Let r(a) = -10*a**3 + 3*a**2 + a - 1. Let l(x) = x**2 - 6*x + 4. Let d be l(6). Let f be r(d). Let v = f - -826. Is v a prime number?
False
Let j be (-130)/12 - 2/12. Let i(c) = c**2 - 7*c - 4. Is i(j) composite?
True
Let b = -838 - -1764. Is b composite?
True
Suppose 0 = 2*q + 15 - 3. Let k be q/(-9) - (-1473)/(-9). Is -2 + (0 - (2 + k)) composite?
True
Suppose 14 - 2 = 3*k. Is k*((-1394)/(-8) - -1) composite?
False
Let q = -58 + 36. Let j = 57 + q. Is j a composite number?
True
Suppose 0 = 4*x + 8, 52 = -4*t + 6*t - 4*x. Is t a composite number?
True
Let c(b) = -19*b**3 + b**2 + b. Let y(s) = -s**2 - 3*s + 3. Let n be y(-4). Is c(n) prime?
True
Let j(h) = 1688*h**2 - 1. Is j(1) prime?
False
Let p(y) = 31*y**2 + 2*y + 2. Is p(-1) a prime number?
True
Let v = 9 - 10. Let x(g) = 34*g**2 + 1. Is x(v) composite?
True
Suppose 3*t = 3*f + 987 + 1320, 4*t + 4*f - 3036 = 0. Suppose t = -2*u + 6*u. Is u a prime number?
True
Let t = 11 + -7. Let b(k) = 2*k**2 - 4*k - 2. Is b(t) prime?
False
Let a = -13 - -17. Suppose -a*d + 0*d = 4*c - 308, -c + 77 = -5*d. Is c a prime number?
False
Let b = -574 - -923. Suppose -2*w = -4*x + 456, 2*x - 6*x = -4*w - 924. Let l = w + b. Is l a prime number?
False
Let y = 126 - 35. Suppose -287 = -2*r - r - q, 0 = r - 2*q - y. Is r a prime number?
False
Suppose 5*d + 0*d - 1895 = 0. Is d prime?
True
Let r(o) = 4*o + 11. Let t be r(-8). Let u = t + 31. Is u a composite number?
True
Suppose -3*q + 12 = -0*q. Suppose -280 = -q*i + 4*v, -v = -4*i + 108 + 163. Is i composite?
False
Suppose 0*n + 5*n = -5*h + 1760, 2*n = 2*h - 716. Is h prime?
False
Let s = -524 + 927. Is s a composite number?
True
Suppose -4*o + 677 + 383 = 0. Let l = o + -187. Suppose 7*d - l = 4*d. Is d prime?
False
Suppose -3*f + 5*q = -1769, -5*f - 3*q + 551 = -2386. Suppose 5*m - f = 347. Is m composite?
True
Let k = 1 + 5. Let p(f) = f**3 - 3*f**2 - f**2 + 5 + 2*f - 4. Is p(k) a prime number?
False
Let j(o) be the second derivative of o**4/12 - 2*o**3/3 + 2*o**2 - 9*o. Let u = -6 - -1. Is j(u) composite?
True
Suppose -4*v + 3*l = l - 1224, l = v - 305. Is v composite?
False
Suppose 3*s - 2*m - 1141 = -390, -2*s - m + 489 = 0. Is s a composite number?
True
Let a be (-6)/(-4)*(-40)/(-12). Suppose -6*i = -t - i + 259, a*t = -2*i + 1376. Is t prime?
False
Suppose -3*l + 6 = -4*b, 4*l - b - 4 = 4. Suppose 0*r - l*r = -574. Is r a prime number?
False
Is -4 - (4 + -5 + -425) a composite number?
True
Is -6*232/(-12) - -2 a prime number?
False
Suppose 0 = 2*u + 2*v - 6, 3*u - 3*v = u + 1. Suppose 3*o + 3*z - u*z - 9 = 0, z - 7 = -2*o. Suppose -o*f + 5*f - 66 = 0. Is f a composite number?
True
Suppose q - 1803 + 110 = 0. Is q a prime number?
True
Suppose 11 = 4*t - 5. Let f be ((-180)/(-27))/(4/678). Is t/(-6) - f/(-30) a prime number?
True
Suppose 0 = -2*y - 3*q + 8587, -4*y + 3*q + 17159 = 4*q. Is y a prime number?
True
Suppose 0*k - q = -4*k + 12353, 2*q = -2*k + 6184. Is k a composite number?
False
Let f(a) = 22*a**3 + 4*a**2 - 6*a - 7. Is f(5) a prime number?
False
Let o = 643 + -380. Is o prime?
True
Is 14852/14 + (-6)/(-42) a prime number?
True
Suppose 0 = -5*p + 2*w + 2521, -512 = -p - w + 4*w. Is p prime?
True
Is -58*((-15)/6 + -3) composite?
True
Let y(t) = -t**3 - 4*t**2 + 10*t + 9. Let c be y(-7). Suppose f + a - c = 181, 4*a = -f + 261. Is f composite?
False
Suppose -m - 3*m + 12 = -5*u, -2*m = -6. Suppose -r - 4*a + 15 = u, -5*r = -2*a - a - 190. Is r a composite number?
True
Suppose -9*k - k + 5170 = 0. Is k a composite number?
True
Suppose -h = 28 - 4. Let a be (-8)/h + (-121)/3. Is (1 + 2 - a)*1 composite?
False
Let i = -36 - -75. Suppose -4*x - 5 = i. Let p = -4 - x. Is p a prime number?
True
Suppose 4*u + 12 = 8*u. Suppose u*w - 25 = 2*w. Is w composite?
True
Let b(r) = 31*r**3 - 7*r**2 + 6*r + 5. Is b(4) a prime number?
True
Is (128 - (-1)/(-1))*1 composite?
False
Let t(c) = -260*c + 3. Is t(-1) a composite number?
False
Suppose -4*t - 118 = -z, 4*t + 660 - 140 = 4*z. Suppose w = y - z, 0*w - 2*w - 137 = -y. Is y composite?
False
Let o(q) = 16*q**2 - q + 2. Is o(-3) a composite number?
False
Let z be 3 - (-1 - 2/(-1)). Suppose z*q = -8 - 204. Is q/10*(1 + -6) a prime number?
True
Let b(p) = -7*p - 36. Is b(-15) a prime number?
False
Let z(m) = m**3 - 4*m**2 - 2*m - 6. Let d be z(5). Let i = d - 7. Suppose 0 = -5*p + i*y + 161, 167 = p + 4*p + y. Is p a prime number?
False
Let h be (-20)/12*(-486)/2. Suppose 60 = 5*r - h. Is r a prime number?
False
Suppose 20*r = 18*r + 878. Is r composite?
False
Suppose -z = -4*z. Suppose 3*k + k = z. Suppose -4*h - 12 = k, r = -r - 3*h + 213. Is r composite?
True
Suppose 3*w - 12 = -3. Let d(r) = r**3 - 6 - 3*r**2 - 6*r + w*r**3 - 3*r**3. Is d(5) composite?
True
Let u(o) = o**2 - 9*o + 17. Is u(12) a prime number?
True
Let y(u) = 2*u**2 + 2*u + 3. Let i be y(4). Suppose -5*n + 218 - i = 0. Is n composite?
True
Suppose 0*u = -3*u + 357. Let o = u - 5. Suppose o + 141 = 5*r. Is r prime?
False
Let m(x) be the first derivative of x**5/60 + x**4/8 + 5*x**3/6 - x**2 + 2. Let k(w) be the se