z - 3*a = -0*a - 51, 5*z - a = 43. Suppose 0 = -z*r + 13*r - 20. Suppose r*s = 189 + 406. Is s composite?
True
Let y be (-4)/14 - 128/(-56). Suppose 0 = -3*m + y*m + 745. Suppose 0 = 2*h + 3*h - m. Is h composite?
False
Let f = 1654 + 5839. Is f prime?
False
Let y(w) = w**3 + 42*w**2 + 51*w - 121. Is y(-39) composite?
True
Suppose 2*k = k + 2. Suppose k*j - 17*j + 765 = 0. Is j a prime number?
False
Suppose 34108 = 2*h + 2*s, -3*h = -4*s + 9*s - 51152. Is h a prime number?
False
Let j(d) = -13*d + 10. Let f(w) = -w**3 - 21*w**2 - w - 30. Let y be f(-21). Is j(y) a prime number?
True
Suppose 5*z - 33005 = -2*t, -16*z + 15*z = 2*t - 6609. Is z a composite number?
False
Let v(t) = t**2 - 7*t + 18. Let h be v(6). Suppose 0 = 4*f + h, 35 = -5*m + 5*f + 145. Is m prime?
True
Suppose -5*r - 2*r + 3*r = 0. Is 571 + r*(-4)/(-12) a composite number?
False
Let m be (3 - (1 + -1))*(19 - 21). Is ((-305)/(-10) + 4)/(m/(-8)) prime?
False
Suppose 0 = -2*v + d + 29359, v - 2430 - 12244 = -5*d. Suppose 3*y + 6*y - v = 0. Is y a composite number?
True
Let k(p) be the first derivative of p**3/3 + 5*p**2 + 4*p - 3. Let g be k(-10). Suppose l + 333 = 3*a, -5*a + 2*a + g*l = -333. Is a a composite number?
True
Let k be 6*(-1)/6*-22. Let b = k + -20. Suppose -y = -z + 36, -2*z + 3 = b*y - 49. Is z a prime number?
True
Let y be 6/8 - 5/(-20). Is (-2)/((-4)/(-6)) + (y - -147) a composite number?
True
Let h(o) = o**2 - 12. Let b be h(-4). Suppose -717 = -a + b*g, a - 589 = -3*g + 114. Is a prime?
True
Suppose 0 = 5*o - 16 - 4. Suppose -5*d - 25 = 0, -5*p - 57 = -o*d - 492. Is p prime?
True
Suppose z + 1084 = 5*z. Suppose -2*w = -2*y - 276, -y = -2*w - 0*y + z. Is w a composite number?
True
Let j = 20 - 2. Let a be -2 - (0 + -1 + -42). Let r = a - j. Is r a composite number?
False
Suppose 5*s = 260 + 5460. Suppose 3*v + 373 = s. Is v a prime number?
True
Let t = -69 - -68. Is 14548/2 + 1/t prime?
False
Let t(q) = -q**2 - 4*q + 7. Let v be t(-8). Let b(m) = 12*m + 1. Let z be b(-7). Let w = v - z. Is w a composite number?
True
Let r be 1 - (-5)/(-4) - 109302/8. Let i = -9566 - r. Is i composite?
True
Suppose -98*i = -108*i + 217130. Is i composite?
False
Let v = -1273 - -685. Suppose 17 + 15 = -16*t. Is v/(-10) - t/10 prime?
True
Suppose w - 12122 = -1825. Is w prime?
False
Suppose 2*o - 1 = -5*n, 3 = 2*o + 3*n - 0. Let a(k) = -14 - k**o + 22 - k**3 + 3 - 6*k. Is a(-6) a prime number?
True
Suppose -j = j - 2736. Let q = -558 + j. Suppose 0 = -2*c - 296 + q. Is c a prime number?
True
Let p(j) be the first derivative of 89*j**6/72 + 5*j**3/3 + 4. Let g(q) be the third derivative of p(q). Is g(-1) a prime number?
False
Suppose -f + 2*f = 2*l - 5, -4*f = -4*l. Suppose 7156 = l*a - 5319. Let n = 3582 - a. Is n a prime number?
True
Is (-159)/424 + 382715/8 prime?
False
Suppose -3*f - a + 132382 = 0, -2*a - 12471 = -f + 31647. Is f a composite number?
True
Is (-3 - (-13 - -11))/(1/(-4861)) prime?
True
Let g = -237 + 1128. Suppose 5*t - 224 - g = 0. Is t composite?
False
Let j = -1 + 3. Suppose 5 - 3 = j*z, z = 4*v - 5523. Is v a composite number?
False
Suppose 0 = -2*i + c + 21295, -10635 = -i + c + 2*c. Let z = i + -5269. Is z prime?
True
Is (2277 - 9) + -7 + -2*2 a prime number?
False
Let w(z) = 9*z**2 + 2*z + 6. Is w(-13) prime?
False
Suppose 2*n + 3*i = -0*i, n = -3*i. Suppose n = -u - 3 + 6. Is 328/6 + 1/u prime?
False
Suppose -3*p - 4*w = -839, 0 = -p - 3*p + 2*w + 1082. Let r = 228 - 52. Let t = p - r. Is t a composite number?
False
Is 1 + 24180/7 + (-30)/105 a prime number?
False
Let w(c) = -4*c**3 - 14*c**2 - 24*c - 93. Is w(-21) composite?
True
Let i = 235 + -27. Suppose 4*s + 2*w - 1492 = 0, -i = 3*s - 3*w - 1309. Is s prime?
False
Let a(u) = 2*u**3 + 127*u**2 - 15*u + 41. Is a(-22) a composite number?
False
Let x = -39 - -41. Suppose 136 + 23 = 3*r - x*q, 0 = -2*r + q + 106. Is r composite?
False
Let g(h) = -h**3 - 12*h**2 + 1. Let v be g(-12). Let r be (v - -2)/((-21)/(-280)). Let n = -15 + r. Is n prime?
False
Suppose 0*t - t + 50 = -3*r, -3*t + 111 = 4*r. Suppose 5*k = t + 4. Is (k - 0) + 0 + -2 composite?
False
Let l = -25 + 26. Let q(r) = 2611*r**2 - 2*r. Is q(l) composite?
False
Let a(t) = -t**3 + 3*t**2 - 33*t - 40. Is a(-13) composite?
True
Let w = -10696 + 38907. Is w a prime number?
True
Let m = 41 - 49. Is (-28)/m*10870/35 composite?
False
Suppose -k = a - 1939, -6*a = k - 2624 + 695. Is k prime?
False
Let u(d) = d**3 + 7*d**2 - 4*d - 7. Let r be u(-7). Let j be (7/r)/(1/9). Suppose 588 = 4*c - 2*o + o, -5*c + j*o + 742 = 0. Is c a prime number?
False
Suppose 11*b - 35*b + 4872 = 0. Is b prime?
False
Let u be 12/(-84) + (-43)/(-7). Suppose 18 = -3*l - a - a, u = -3*l + 2*a. Is ((-159)/l)/(3/8) a prime number?
False
Let w(g) be the third derivative of -g**6/60 - g**5/6 + g**4/2 + 5*g**3/6 - 6*g**2. Is w(-9) composite?
True
Let q(a) = 2*a**2 - 6*a + 1973. Is q(0) prime?
True
Let a = -3 + 7. Suppose b = -a*b. Suppose -g - 2*x + 29 = -148, b = 3*x + 15. Is g prime?
False
Suppose 5*y + 34 = 109. Is y/30*1204/2 prime?
False
Let n(a) = 1124*a - 517. Is n(6) a composite number?
True
Suppose 0 = 2*s + 2*s + 4*b + 32, 5*b = -s - 24. Let l be -1*(-2 - 8/s). Suppose l*u - 4*u + 4*h + 1968 = 0, 5*h = 2*u - 999. Is u a prime number?
True
Suppose -2*f - 274 = -1760. Let b = 1072 - f. Is b a prime number?
False
Let r = -40 - -17. Let h = -37 - r. Is (-1415)/(-9) - h/(-63) composite?
False
Let c(d) = 337*d**2 - 2*d - 6. Is c(-2) a composite number?
True
Is 27 + -27 - (-4916 + 1) composite?
True
Suppose 3*q - 513 = 2*j - 1856, -5*j + 3345 = -5*q. Suppose 8*c = 259 - 27. Let k = j - c. Is k a prime number?
False
Let t(h) = 33*h**2 + 3*h - 9. Let b be t(-6). Suppose 4446 = x + b. Suppose 8*p + 1117 = x. Is p a composite number?
False
Let v(f) = -12*f**2 - 21*f + 4. Let g(a) = -13*a**2 - 22*a + 4. Let n(k) = 6*g(k) - 7*v(k). Is n(-13) a prime number?
False
Suppose 1 = -6*w - 11. Is 1 + w + 0 + 738 prime?
False
Suppose 0 = -49*p + 43*p + 58908. Is p a composite number?
True
Let q be 1*(3 + 1 + -14). Let d(f) = 10*f**2 + 2*f - 1. Is d(q) composite?
True
Suppose -2*w + 19830 = -5*f, -f - w - 1093 = 2880. Let b = -2299 - f. Is b prime?
True
Let t = 39 + -35. Is (-30123)/(-45) + 3/((-30)/t) prime?
False
Suppose -3*f = 2*f - 3*z - 46967, -z = f - 9387. Is f prime?
True
Let o(d) = -d**3 + 6*d**2 - 5*d + 4. Let s be o(5). Suppose 0 = 5*z - s*z - 191. Is z a composite number?
False
Let s(d) = d**2 + 6*d + 12. Let v = -6 - -9. Let n be (-2)/(-4)*(v + 19). Is s(n) a prime number?
True
Suppose -5*n - 2*b = -600, 0 = -2*n - 5*b + 128 + 91. Suppose -4*j + 5*s + 796 = 0, -4*s + 674 = 4*j - n. Is j a prime number?
True
Let q(b) = -772*b + 2. Is q(-5) a prime number?
False
Suppose -3*q + 145681 = -297374. Is q a composite number?
True
Let o(a) = 10*a**3 + 5*a**2 - 2*a - 2. Let y = 8 - 5. Is o(y) prime?
True
Let f be 0 - (-1079 - (-2)/(-1)). Let a = -6 + 456. Suppose -h = a - f. Is h prime?
True
Let c = -18 + 84. Let m = c - 41. Suppose -m = t - 128. Is t composite?
False
Suppose 4*l = 5*l - 2. Is l/(-10) + 2826/5 a prime number?
False
Let n = 88 + -84. Suppose 6*o = -k + o + 841, k = -n*o + 837. Is k a prime number?
True
Let n = -4 + 8. Let u be (6 + -4)/(n/(-94)). Let g = 104 + u. Is g prime?
False
Let d(l) = -l**3 - 12*l**2 + l + 15. Let n be d(-12). Suppose -511 = -x + 3*g, n*x - 3*g - 1501 = -2*g. Is x a composite number?
False
Is (-2)/(1/(484317/(-18))) a prime number?
True
Let o be 4/22 + (-11634)/(-22). Suppose -o = -q + 120. Is q a composite number?
True
Suppose 0 = 3*y - 6*y + 6. Suppose -3*v + y*c = -c - 24, 4*v + 3*c - 25 = 0. Is v a composite number?
False
Let z(t) = -t. Let q be z(-2). Suppose -3*y = 4*g - 1829, 0 = 5*y + 2*g + q*g - 3059. Suppose -p + y = 4*p. Is p a prime number?
False
Let r(t) = 1. Let v(p) = p - 8. Let n(c) = 4*r(c) - v(c). Let d be n(7). Suppose 0 = -d*f + 366 + 269. Is f prime?
True
Let p(m) = -2*m**2 - 11*m + 11. Let o be p(-6). Suppose -3*b - o*w + 3065 = 0, -9*w = 4*b - 4*w - 4090. Suppose 0 = -d + 452 + b. Is d prime?
False
Let w(m) = -1. Let b(t) = -t + 1. Let n(z) = -7*z - 12. Let a(c) = -4*b(c) - n(c). Let h(u) = -a(u) + 2*w(u). Is h(-9) prime?
True
Let o(d) = 20*d - 3 + 1 + 9*d. Let v be o(2). Let q = 141 - v. Is q prime?
False
Let q be 1/(1 - 4