se 0 = -u - 7*u + 2776. Is u composite?
False
Suppose 2*r = 3*y - 999 - 1083, 0 = 3*r. Is y prime?
False
Let u(p) = 3*p**3 + 3*p + 2. Suppose 0 = 5*l - 10 - 10. Let a be u(l). Suppose -3*n = -9*d + 4*d - a, -n - 3*d + 92 = 0. Is n composite?
True
Let t be (-2)/(1/(-446)*2). Suppose -9*f + t = -1219. Is f a prime number?
False
Suppose 0 = 11*w - 7*w + 96. Let t = -21 - w. Suppose 371 = 4*c - t*c. Is c prime?
False
Let i = -289 - -1767. Is i a composite number?
True
Suppose 0 = -4*m + 12, 2*g - 5*g = m - 12. Suppose 6*d + 123 = 2*d + g*h, 5*h = -4*d - 83. Let b = d - -168. Is b a prime number?
False
Suppose -p + 33 = 3*z - 181, 156 = 2*z - 2*p. Suppose -z = -f - 5*h + h, -h = 4*f - 337. Suppose 2*o = o + f. Is o a composite number?
True
Suppose -5*t - 5*k + 1361 = -164, 2*k + 1232 = 4*t. Is t a prime number?
True
Suppose -4*n + 3*o = -23, 4*o = -30 + 10. Suppose -2*p - n*p = -1060. Is p composite?
True
Let n(h) be the first derivative of h**4/4 - 14*h**3/3 - 3*h**2/2 - 33*h - 27. Is n(21) a composite number?
True
Suppose 51 = -5*w + 56, 5*y - 4*w - 32341 = 0. Is y composite?
False
Let t(v) = -v**3 + 4*v**2 + 2. Let p be t(4). Suppose -4*l = 3*f - 15, -p*l - 5*f + 17 = -8. Suppose 4*n - 844 = -l*n. Is n a composite number?
False
Let g = -47 - -65. Suppose -363 = -3*q - 0*q. Suppose -p + g = -q. Is p a composite number?
False
Suppose -k + 3004 = -6*t + t, -2384 = 4*t + 4*k. Let d = 1129 + t. Is d a composite number?
True
Let j be (-3001)/(-4) - 1/4. Suppose 1735 = -70*y + 65*y. Let f = y + j. Is f composite?
True
Let z(d) = -4*d**2 - 2*d. Let s be z(-1). Is (-6 + 229)*3*s/(-3) prime?
False
Let a be (-4 - (-812)/4)*1. Suppose 0 = 3*c + a - 988. Is c a prime number?
True
Suppose -3*w + 25 = -23. Let c = w + 111. Is c a composite number?
False
Suppose -k - 58428 = -p, -58403 = -10*p + 9*p - 4*k. Is p a prime number?
False
Suppose -d - 2*x = -152, -3*d - 3*x - 2*x = -457. Let g = d - -317. Is g a composite number?
True
Suppose -2*f - 11 = -147. Suppose v - f = -v. Is v a prime number?
False
Suppose -11*j = 4*j - 44655. Suppose j = 14*o - 3757. Is o prime?
False
Suppose d - 31 = -7. Let r = d - 6. Is 287/28*(2 + r) a composite number?
True
Suppose -16458 + 61841 = 13*k. Is k composite?
False
Let g(b) = 1813*b + 3. Is g(2) a composite number?
True
Let j(z) = -2*z**2 + 9*z + 16. Let s be j(-6). Let f = s + 219. Is f a prime number?
True
Let p(x) = 385*x - 12. Is p(1) a composite number?
False
Let u be 6/(-33) - 1532/44. Let a = -81 - u. Let z = a + 99. Is z a composite number?
False
Suppose 2*i - i = 4*q - 5035, 0 = -4*q + 3*i + 5025. Let y = q - 173. Is y composite?
False
Let k be 2/11 - 513/99. Is (-9)/45 + (-636)/k a composite number?
False
Let t = -29 - -38. Is (-4864)/(-10) + t/15 + 0 prime?
True
Let t(o) be the third derivative of o**3/6 - 2*o**2. Let q(d) = d**3 - 16. Let b(k) = -q(k) - 3*t(k). Is b(0) prime?
True
Suppose 3*b + b + d = 17, 0 = 2*b - 2*d - 6. Is (1/3)/(b*(-8)/(-24864)) prime?
False
Let i(x) = -111*x - 6. Let v(m) = 56*m + 3. Let j(q) = 2*q + 8. Let h be j(-7). Let u(o) = h*i(o) - 11*v(o). Is u(5) a prime number?
False
Let n = 50 - -429. Is n prime?
True
Suppose -4 = -x - 2*y, 5*x - 3*y + 4 = -2. Suppose x = 7*r - 2*r - w - 6244, 4*w + 2494 = 2*r. Is r a composite number?
False
Let m(k) = 203*k - 60. Is m(13) a composite number?
False
Let y be (6/(-15))/((-1)/5). Let u be y/(-13) - 314/(-13). Let w = 369 + u. Is w prime?
False
Let k be 1760/3*3/2. Let y = k + -521. Is y composite?
False
Suppose 2*i + 9*i = -594. Is (3798/i)/((-1)/3) a composite number?
False
Let x(i) = -i**2 - 6*i + 7. Let s be x(-6). Let o = -4 + s. Is (o - 2 - -2) + 82 prime?
False
Let z = 102 - 98. Suppose -2*r - 2105 = -3*d, 3*d - z*r = 1109 + 998. Is d a prime number?
True
Let w be 472/6*(-84)/8. Let v = w + -297. Let x = -752 - v. Is x a prime number?
False
Suppose 24*y - 54 = 15*y. Is (3434/6)/(2/y) a composite number?
True
Let b = -44602 + 71481. Is b a prime number?
True
Is 6057/(-14)*-34 + (-60)/70 prime?
False
Suppose 15*z - 321 - 2484 = 0. Is z prime?
False
Suppose -4*d + 3*c = -9163, -5*c + c = -4*d + 9160. Is d a composite number?
False
Let i(x) = 182*x - 1531. Is i(19) prime?
False
Let s = 26 - 36. Is 2*((-14505)/s - 0) a prime number?
False
Suppose j - 2*a = 2656 + 2549, 3*a + 26032 = 5*j. Is j a prime number?
False
Suppose 2*z - 4*z - 4*n = -24, 4*z - 2*n + 2 = 0. Suppose -4*i + 10 = 3*s, -z*i + 14 + 12 = 5*s. Is (141/s)/(1/2) composite?
False
Let y(m) = 5 - 2*m + 0 + 2. Let a be (-26)/4 - (-1)/2. Is y(a) prime?
True
Let w(u) = -u**2. Let v(h) = -h**3 - 10*h**2 + 7*h + 3. Let c(x) = v(x) - 3*w(x). Suppose -4*b - 45 = -13. Is c(b) a prime number?
True
Let n(x) = -14*x**3 + 16*x**2 - 2*x + 59. Is n(-13) a composite number?
False
Is (0 - 1) + 854 - (1 + 1) prime?
False
Let n(r) = 61*r - 4. Let h be n(9). Suppose -h = -5*v - 3*a, -6*v + 4*a = -2*v - 436. Is v a composite number?
False
Let h(o) = 6*o**3 - 5*o**2 - 5*o + 13. Let x(j) = j**2 + 3*j - 4. Let g be x(-5). Is h(g) prime?
False
Suppose 7*z - 8 = 3*z. Let o(k) = 205*k + 5. Is o(z) prime?
False
Let g(k) = k**3 - 12*k**2 - 12*k - 9. Let x be g(13). Let b(a) = 177*a - 2. Is b(x) a composite number?
True
Let x = -166 - -185. Is x a composite number?
False
Let q = 174 - 137. Is q prime?
True
Let b = 12 + -7. Let w be 6/(-4)*(-16)/6. Suppose 5*z = w*v - 288 - 845, -b*z = 3*v - 876. Is v a composite number?
True
Suppose -12 = -4*o, 0 = -3*m + 2*m + 4*o - 121. Let d = 314 + m. Is d a composite number?
True
Let b = -89 - -93. Suppose -b*u + 1591 = -1133. Is u a prime number?
False
Is 1*1*(-12761)/(-7) a prime number?
True
Suppose 0 = -4*m + 3*r - 19, -9*m + 6*m - 4*r = 33. Let x(u) = -u**3 + u + 1. Let p(s) = s**3 - 5*s**2 - 1. Let a(j) = p(j) + 2*x(j). Is a(m) a prime number?
False
Is ((-2 - -54722) + 2)*(-37)/(-74) a prime number?
True
Let b(v) = -v**3 - 15*v**2 + 2*v + 31. Let c be b(-15). Is -3 - c - -10*1393/14 a prime number?
True
Let v = -155 + 596. Suppose -330 = -3*n + 3*s, 5*n - n - 3*s = v. Let h = -56 + n. Is h a prime number?
False
Suppose -5 = 2*n + 7. Is (n + 7)*(-2954)/(-2) a composite number?
True
Let s = 52 - -31. Suppose 4244 = 87*t - s*t. Is t a composite number?
False
Let j(d) = d**2 + 5*d - 2. Let x be j(-4). Let f(l) = 5*l**2 + 7*l + 11. Is f(x) a prime number?
True
Let c = -2 + -4. Let k(w) = -5*w**3 + 6*w**2 + w - 8. Let h be k(c). Suppose 0*m + h = 2*m. Is m a composite number?
False
Suppose -2*i = 2*l - 71928, 3*i + i + l = 143853. Is i a prime number?
True
Let n = -30 - -31. Let v(f) = 90*f**3 + f - 2. Is v(n) a prime number?
True
Let i(w) = -5*w**2 + 20*w - 21. Let u be i(19). Let v = 2185 - u. Is v a composite number?
False
Is ((-220178)/63)/((-6)/27) a composite number?
False
Suppose 0 = 4*p - 3*p - 16. Suppose z + r = p, z + 2*r = -3*r + 20. Is z prime?
False
Suppose 0 = -p + 5*u - 1153, 4*p + u = -2794 - 1902. Is 0 + -5 - (p + -21) a composite number?
True
Let f = -616 + 4023. Is f prime?
True
Is 3*-2*3*(-205541)/126 prime?
True
Suppose 5*m - 3*w = -0*m + 9, -3*m - 4*w - 12 = 0. Suppose 0 = -4*v + 3*p + 981, -v + 5*p + 161 + 63 = m. Is v/(-1)*-1 - -2 prime?
True
Suppose -19 = -2*w + 4*v + 9, 0 = -3*v - 15. Suppose -5*s + 653 = f, -4*f = -0*f + w*s - 2676. Is f prime?
True
Let y(c) = 23*c**2 - 18*c + 6. Let a be y(-5). Is (9 - a)*(-7)/2 composite?
True
Let r(h) = 2*h**2 + 63*h + 37. Is r(26) prime?
False
Let m(c) = -c**3 - 3*c**2 + 6*c + 10. Let y be m(-4). Suppose 2*u + 5*a - 148 - 285 = 0, 0 = 4*u - y*a - 830. Suppose 0 = -2*l + u + 9. Is l a composite number?
False
Suppose k + 2*c = 4*c - 89, 202 = -2*k - 2*c. Let l = k - -602. Is l a prime number?
False
Let g(k) = k**3 - 6*k**2 + 11*k - 8. Let h be g(4). Suppose q = 5*t - 416 - 151, -h*q + 218 = 2*t. Is t a composite number?
False
Suppose -10159*l - 743320 = -10167*l. Is l composite?
True
Suppose t = 28897 + 49144. Is t composite?
False
Suppose 0 = 20*d - 55844 - 134616. Is d composite?
True
Suppose -435 = -2*s + 331. Suppose 268 + s = 7*m. Is m composite?
True
Suppose 0 = 4*z - 2*q - 20, 2*z + q + q - 16 = 0. Let m = 0 - z. Is (764/10)/(m/(-15)) a prime number?
True
Suppose -4*o - 5*t + 150 = -193, 5*o - 419 = -3*t. Is o prime?
False
Let q = 3885 + -2764. Is q a composite number?
True
Suppose 0 = -3*d + 18944 + 33