= -4*r. Is v(g) composite?
False
Let f = 3768 - 13979. Let m = -7050 - f. Is m prime?
False
Let p = -10616 + 18333. Is p prime?
True
Suppose -4*c = -u + 2263, 5*c - 7*c + 6803 = 3*u. Is u a prime number?
True
Let u(q) = -q**2 - 26*q - 41. Let x be u(-24). Let y(w) = 2 - 8*w + 5*w**2 + 2 - 2. Is y(x) a prime number?
True
Let q(s) be the third derivative of -s**6/120 - 7*s**5/20 + s**4 - 14*s**3/3 - 2*s**2. Is q(-23) composite?
True
Suppose 97767 = 19*z - 98256. Suppose -u + w = 1690 - 5124, 3*u - z = -2*w. Is u a composite number?
True
Is (-60 - -2837) + (2/2 - 5) prime?
False
Let c = -3 + 19. Suppose c*l - 17*l = -407. Is l a prime number?
False
Suppose 41*v - 178874 - 638625 = 0. Is v a composite number?
True
Suppose -21*j + 14055 = -41238. Is j a prime number?
True
Is 70/(-42) + (-620)/(-3) prime?
False
Let r(s) = -s**3 + 10*s**2 + 10*s + 7. Suppose -4*g - 5*k = -161 + 38, 3*k = 9. Let x = -18 + g. Is r(x) a composite number?
True
Let d be (-193)/3 - 6/9. Is 1653 + (48/(-26) - (-10)/d) a composite number?
True
Let c(g) = 259*g - 76. Let z(v) = v. Let o(q) = -c(q) + 2*z(q). Is o(-5) prime?
True
Suppose -4*x - 4*n + n + 3121 = 0, 0 = -x + 3*n + 769. Let y = 1156 - x. Suppose 0 = -4*g - 2*d + 3*d + 511, -y = -3*g - d. Is g a composite number?
False
Suppose 2*c + 940 = -g + 4602, 3*c + 2*g = 5491. Let w = c - 826. Is w a composite number?
True
Let v = -756 + 2491. Is (-1)/((-1)/(-2)) + v composite?
False
Suppose -25*k + 4861 = -24*k. Is k prime?
True
Suppose -12 = 3*j - 0. Suppose -3*c - n = n - 8, c + 2*n = 4. Is (c - 158/j)*4 a composite number?
True
Suppose 126*q - 21635 = 121*q. Is q prime?
True
Suppose 4*l = -2*b + 182626, 4*l - 242442 = 5*b - 59781. Is l prime?
True
Let i be -277 - ((-2)/1)/2. Suppose 23*d = 7996 + 4401. Let z = d + i. Is z composite?
False
Let a = 13548 + -257. Is a composite?
False
Let i(z) = -4*z - 1. Let h(r) = 7*r + 3. Let s(c) = -3*h(c) - 5*i(c). Let t be s(0). Let f(j) = -49*j - 2. Is f(t) composite?
True
Let x(k) = -k**2 + 11. Let p(f) = f + 1. Let v(o) = 2*p(o) + x(o). Let q be v(0). Suppose -q = -d - 0*d. Is d composite?
False
Suppose -4*l + 24731 = -15585. Let j = l + -7009. Suppose 0 = 6*i - 2144 - j. Is i composite?
True
Suppose 13*t - 20834 = 7467. Is t prime?
False
Suppose 0 = -q - 2*l + 263, l + 902 = 5*q - 391. Is q a composite number?
True
Suppose 0 = 13*h - 12*h + 1254. Let i = 2117 + h. Is i composite?
False
Let p = 26 - 22. Suppose -1 = p*t + 15. Let a(k) = -63*k - 1. Is a(t) composite?
False
Let s(a) = a**2 + 41*a + 7. Is s(16) a prime number?
True
Let m = 2016 + -47. Is m a prime number?
False
Let o be (-1)/(0 - (-2)/(-454)). Let p = o - -534. Is p prime?
True
Suppose -3*t = 2*i - 944, 3*i + 0*i - t = 1438. Let s = i + -255. Is s a prime number?
True
Let f = -1 - -1. Suppose f = n + 2*q + 4, 2*q + 20 = 5*n - 8. Suppose 4*a - 224 = -n*r, 103 = 2*r + a - 10. Is r a composite number?
True
Suppose -1 + 21 = 4*t. Suppose -18274 + 2908 = -26*x. Suppose t*g - 334 = x. Is g a prime number?
False
Is 2/(-3) + (-227620)/(-60) composite?
False
Suppose 2*t + 442*h - 440*h = 48264, -4*h = 5*t - 120659. Is t a composite number?
True
Let c(s) = -s**2 - 16*s + 2. Let b be c(-16). Suppose 4*n - 6*n = b*d - 328, d + 480 = 3*n. Is n composite?
True
Let h(o) = -10*o**2 + 2*o + 9. Let g be h(11). Let c = 789 + g. Let b = -233 - c. Is b a prime number?
True
Let b(z) = -5*z. Let c be b(-1). Suppose 0*u = -c*u + 15. Is 422*(0 - u/(-6)) prime?
True
Let z(r) = -r**2 + 11*r + 99. Is z(15) a composite number?
True
Suppose -4 = 2*c, 7051 = 3*k + 5*c - 14278. Is k a composite number?
True
Suppose d + 26 = -5*b - 1, 4*b = 3*d - 14. Let f(v) = 239*v**2 - v - 3. Is f(d) a composite number?
True
Is 106/(-6)*(-1 - 236) a composite number?
True
Suppose -4*q + 10 = -2*q. Suppose -2*j - 1539 = -3*h, 3*j + q*h = 6*j + 2309. Let c = j - -1115. Is c a prime number?
True
Let n(i) = -10*i + 20. Let q be n(5). Is (-2048)/(-5) + 18/q a prime number?
True
Suppose 0 = 15*i - 3*i - 6024. Suppose -5*b + 4*t + 1251 = 0, 4*b + 2*t + i = 6*b. Is b a prime number?
False
Let j = -4 - 0. Is 13/j*2*(0 - 74) composite?
True
Let a(v) = -v + 329. Let f(t) = -2*t**3 - 10*t**2 - 2*t - 10. Let k be f(-5). Is a(k) composite?
True
Let p(h) be the first derivative of 9*h**2 - 2*h + 10. Let n be p(6). Is ((-54)/36)/((-1)/n) a prime number?
False
Let m(f) = 1665*f**2 + 6*f + 2. Is m(1) composite?
True
Suppose 12 = -4*d + d. Let t(s) = 5*s**2 + s - 9. Is t(d) a composite number?
False
Suppose 7*y - 5199 = -782. Is y a prime number?
True
Let q(x) = x**3 + 7*x**2 - 2*x - 10. Let k be q(-7). Let l = k - 4. Suppose -5*p + 30 = i, p - 34 = -3*i - l*i. Is i a composite number?
True
Let n(k) = -k**2 + 5*k + 6. Let w be n(6). Suppose -3*f - 83 + 371 = w. Suppose -i + u = -f, 4*i - 2*i - 3*u - 193 = 0. Is i a prime number?
False
Let z(x) = 3*x**3 + 2*x**2 - 3*x + 16127. Is z(0) a composite number?
False
Let c = -7820 + 14067. Is c a prime number?
True
Let y(h) = -258*h - 23. Let b be 7/(-2) - (-2)/(-4). Is y(b) composite?
False
Let n = -5246 - -15219. Let q = n - 6342. Is q prime?
True
Let x(u) = -4*u**2 - 2*u + 1. Let z be x(1). Let j be (8 - 3)*(-4)/z. Suppose -n + 863 = t, -t = -5*t + j*n + 3468. Is t a composite number?
True
Let l = -9982 - -16167. Is l composite?
True
Let w(v) = 4*v**2 + 7*v - 9. Let j(a) = -3*a**2 - 7*a + 8. Let h(p) = -6*j(p) - 5*w(p). Let u be h(7). Is (1 - 5)*871/u prime?
True
Let g(y) be the first derivative of y**4/4 + y**3 - y - 5. Let i be g(-2). Suppose 4*j = 4*h + 204, i*j = -3*h + 127 + 2. Is j composite?
False
Suppose 0 = 2*a - 46 - 10. Let d = a - 23. Suppose -d*g = -1048 - 247. Is g composite?
True
Let j(d) = -d + 3. Let i be j(1). Suppose 3105 - 341 = i*l. Is l prime?
False
Let d(n) = 171*n**2 + 19*n + 21. Is d(13) a prime number?
True
Suppose 4*g = -5*z + 2070, 3*z + z - 2*g = 1630. Suppose -467 - z = -q. Is q a prime number?
True
Let y(m) be the third derivative of -1/60*m**5 + 4*m**2 + 0*m - 7/3*m**3 + 11/12*m**4 + 0. Is y(15) a prime number?
False
Suppose 10*g + 1296 = 18*g. Is 3/(27/7894) + (-18)/g a prime number?
True
Is 7/(-3) + (-24944)/(-24) composite?
True
Let t be (-1 + (-27)/(-6))*2. Suppose t*w = 3*w. Let x(d) = d**3 + d**2 - d + 159. Is x(w) composite?
True
Let z be (-2*6484/16)/((-3)/6). Is ((-56)/(-12))/7 + z/3 composite?
False
Let a = 1923 - -1957. Let d = a + -2211. Is d composite?
False
Suppose -623 + 3806 = 3*v. Suppose -5*k = -4*k - v. Is k a composite number?
False
Let z(i) = -6*i**2 + 10*i - 11. Let b be z(6). Let a = b - -308. Is a a prime number?
False
Let t(i) = 227*i**2 - 3*i + 5. Let q be t(2). Suppose 4*d - 1359 = 5*k + 2269, -d + q = k. Is d composite?
False
Let v(p) = 5*p**2 - 9*p + 12. Let x(w) = -9*w**2 + 17*w - 23. Let k(m) = -7*v(m) - 4*x(m). Is k(-9) composite?
True
Suppose 12243 + 141773 = 16*z. Is z prime?
False
Suppose -13 = 3*r - 4. Let z be (-10)/15 + (-2)/r. Suppose -3*g + z*g = 2*t - 206, -4*t + 3*g + 376 = 0. Is t prime?
True
Let x be 0 + 1/((-2)/(-8)). Let n(p) = 38*p**3 + 3*p**2 - 9*p + 15. Is n(x) prime?
True
Let v = 26 + -24. Suppose 0*c + 603 = v*c + j, c - j = 306. Is c prime?
False
Let z = 30789 + 9857. Is z a composite number?
True
Suppose 9*i + 224 = 8*i. Let f = 100 + i. Is (f/(-6))/((-10)/(-75)) a prime number?
False
Let x = -5840 - -9453. Is x a composite number?
False
Let w(l) = -l**2 - 4*l + 49. Let q be w(0). Suppose m - q - 408 = 0. Is m a composite number?
False
Is ((2 - 0)/(-1))/(44/(-406054)) a composite number?
False
Is -1 - 28/(-22) - 17277100/(-748) prime?
False
Let i = -50 + 52. Suppose i*s + 3*s = 5*p + 5730, 0 = s - 3*p - 1156. Is s a composite number?
True
Let a = 19 + -14. Is 2453/a + (30/25)/3 composite?
False
Let o(x) = 19*x + 0*x + 0*x + 29. Let y(m) = -6*m - 10. Let v(f) = -3*o(f) - 8*y(f). Is v(-10) prime?
True
Suppose 32 = 38*i - 40*i. Let h = i + 95. Is h a composite number?
False
Let g be (-2 - -2)*3/3. Suppose 2*s + 176 - 32 = 2*q, -3*q - s + 220 = g. Let u = 162 - q. Is u a prime number?
True
Let r be ((-4)/6)/(8/(-204)). Suppose u - 2*b = 50, 4*u - 3*b - 56 - 169 = 0. Let o = u + r. Is o prime?
False
Suppose 5*w = -6384 + 40549. Is w prime?
True
Let j = -2347 - -2356. Is j prime?
False
Let o = -17934 - -33095. Is o composite?
False
Let f = -302 + 1021. Is