a + 4*w, -2*a - 85 = -w - 722. Is a composite?
True
Suppose 3*u + 17*p - 22*p - 24084 = 0, 3*u + 4*p = 24111. Is u prime?
False
Let f = 48986 - 23580. Is f a prime number?
False
Suppose 187*y - 28895 = 182*y. Is y composite?
False
Let y(f) = f**3 + 3*f**2 - f + 4. Let r be y(-3). Let i(s) = 3*s**2 + 10*s - 5. Let x be i(r). Suppose 565 + x = 3*g. Is g a prime number?
False
Suppose -g = 4*x + 5 + 17, x = 4*g + 122. Let s be 1/(2 + g/14). Let b(t) = 2*t**2 + 6*t - 1. Is b(s) composite?
True
Suppose 0 = -2*b + 4*n - 2*n + 8, 4*n + 6 = 2*b. Suppose -4*g + b*h + 11380 = 0, 5*g - 6*h + 11*h - 14225 = 0. Is g prime?
False
Let b be 6/(-27) - 232/(-72). Let p = -1058 - -2615. Suppose -5*g + b*j = -2594, 3*g - p = -3*j + 5*j. Is g a prime number?
False
Is (-60)/(-40)*(925510/(-3))/(-5) a prime number?
True
Let v = 4572 + -2135. Is v a prime number?
True
Let z be (-7 - (-4 - -1))/(-1). Suppose -115 = z*q - 9*q. Is q prime?
True
Suppose 0 = -7*a + 132113 - 22080. Is a a prime number?
False
Let w be (-15)/10 - (-3)/2. Let q(v) = 0 + w - 7 + 65*v + 7*v. Is q(9) a composite number?
False
Let n(g) = -g**3 + 6*g**2 - 6*g + 5. Let o be n(5). Suppose d - 31 = -o*d. Is (d + 0)*(-30)/(-6) prime?
False
Let d = 9 + 199. Suppose -b + 3*m + d = 0, 5*b - 1498 + 496 = -4*m. Is b composite?
True
Suppose 3715 = 5*t - 5*f, 3*t + 8*f - 4*f = 2201. Is t prime?
True
Let d = -170 + 299. Suppose -c + 4*c = 2*k + 86, k = -3*c + 83. Suppose d = u - c. Is u prime?
True
Let g = -15749 - -35400. Is g a prime number?
False
Let b be ((-2)/(-1) + 1)*17. Let y be 2/6 - 132/99. Is ((-88)/24)/(y/b) a composite number?
True
Suppose -5*d - k + 26 + 10 = 0, -d - 3*k + 10 = 0. Suppose d*i - 2*i - 3175 = 0. Is i prime?
False
Suppose -6*z + 173449 = 23*z. Is z prime?
True
Let t(x) = -3*x + 7. Let y be t(-10). Suppose -87 - y = -4*a. Is a a prime number?
True
Is (-6)/(-21) - 82472/(-56) a prime number?
False
Let a(z) = 3*z + 3. Let s be a(1). Suppose -508 = 2*n - s*n. Suppose -u + n = g, 2*g + u = 5*u + 254. Is g a composite number?
False
Suppose 0 = -19*z + 43742 + 5829. Is z composite?
False
Suppose 4*a = 1893 + 3. Suppose -a - 178 = -4*s. Is s prime?
True
Let g be 1 - 10 - (-9 + 6). Let c(h) = h + 10. Let a be c(g). Suppose -4*x + 151 = -2*t - 209, x - a*t = 97. Is x a composite number?
False
Let g = -3649 - -5702. Is g a composite number?
False
Let g be 7/2 - (6/(-2))/(-6). Suppose u + g*o = 83, -u - 2*u = -o - 249. Is u composite?
False
Let v(g) = g + 10. Let s = 11 - 19. Let i be v(s). Suppose x - 815 = -i*d, 0 - 3 = x. Is d a composite number?
False
Let t(b) = -2*b**2 - 3*b - 9. Let o(n) = 5*n**2 + 8*n + 26. Let l(s) = -3*o(s) - 8*t(s). Is l(-5) composite?
False
Is -1 + -9 - (-119336 + 179) prime?
False
Let n(b) = 15*b**2 - 37*b - 29. Is n(-7) a prime number?
False
Let v(m) = 7*m. Let y be v(-13). Let p = 13 - y. Let t = p - 27. Is t prime?
False
Suppose 328*g = 357*g - 163183. Is g prime?
False
Let w be ((-8)/(-16))/(2/40). Suppose -w = 2*l - 2*o, l - o - 15 = -4*o. Suppose 2*h + l*h = -k + 242, -k - 605 = -5*h. Is h a prime number?
False
Let y(h) = -3*h + 2. Let i be y(-6). Suppose -4*v + 4*d = 0, 0*v - i = v - 5*d. Suppose 5 = v*x - 5, 57 = m + x. Is m a prime number?
False
Let f(m) = m**3 + 5*m**2 + 3. Let w be f(-5). Let y = 364 - 134. Suppose -w*v + y = 2*v. Is v composite?
True
Let j(v) = v**3 + 9*v**2 + 4*v - 10. Let f be j(-8). Let w = -29 - -16. Is (-3447)/w - f/143 composite?
True
Suppose -6*n + 10*n - 2868 = 0. Suppose 2*u + 0*w = w + n, 0 = 5*u - 4*w - 1785. Is u a composite number?
True
Suppose -4*v = v - 25. Let r(o) be the second derivative of o**4 + o**3/2 + 3*o**2 - o. Is r(v) composite?
True
Let j(a) = -a**2 + 10*a + 9. Let x be j(11). Let y be 2*x*(-1)/(-4). Is y*3 + 28/2 a composite number?
False
Suppose g = -0*g + 1. Let p(v) = 751*v**3 - 2*v**2 + 2*v. Let k(a) = 375*a**3 - a**2 + a. Let w(s) = -11*k(s) + 6*p(s). Is w(g) a composite number?
True
Let h(w) = -46*w + 12 - 13 - 14*w. Suppose 11*m - 12 = 15*m. Is h(m) composite?
False
Suppose -2*l + 8151 = -3*s, 3*l - 4068 = 2*l + 3*s. Let y = -2140 + l. Is y prime?
False
Let f(t) = -294*t**3 + 3*t**2 - 2*t - 2. Is f(-5) composite?
False
Let a = -10 + 8. Is 303 - -11 - ((0 - a) + -5) a prime number?
True
Let j(f) be the second derivative of -f**5/20 + 5*f**4/4 - 7*f**3/6 - 3*f**2 - 14*f. Let l(q) = q**3 - 7*q**2 + 6*q + 7. Let m be l(6). Is j(m) composite?
False
Let z(s) be the first derivative of 8*s**3 + 2*s**2 + 3*s - 3. Suppose -u - u - 5*v = 24, -4*u = v + 12. Is z(u) a prime number?
False
Suppose 13*t - 297425 = 8*t - 5*p, -2*t + 3*p + 118970 = 0. Is t prime?
False
Let s = -401 + 1464. Suppose 5*l - 2*x = -4*x + s, -x = -4*l + 840. Is l composite?
False
Let a be ((-23)/(-5) + -1)/(3/(-10)). Let t = 71 + a. Is t a prime number?
True
Let z(a) = -112682*a + 4. Let r be z(-1). Is (2/6)/(14/r) composite?
False
Suppose -904 - 11 = -5*k. Let p = 280 - k. Is p prime?
True
Let v = 53 - 29. Suppose -d + 2*g = -501, -d - v = g - 522. Is d a composite number?
False
Let r be 2/(-4)*(0 + 0). Suppose -5*q - 2 = -0*q - 4*c, -q + 2*c - 4 = r. Suppose 2*i = -t + i + 68, q*t - 139 = -3*i. Is t a composite number?
True
Is (-5)/(15/(-48321)) - 4 prime?
True
Suppose -3*u + 2*v - 75 = -290, 5*u + v = 367. Suppose 2405 = -68*m + u*m. Is m composite?
True
Suppose 12 = -0*r + 3*r. Suppose 5*z = g + 6416, 0*g = r*z + 4*g - 5128. Is z a prime number?
True
Let d(q) = 145*q**2 - 17*q - 31. Is d(-7) a prime number?
True
Let o = 35 - 35. Suppose o*j + 133 = 7*j. Is j a composite number?
False
Suppose -414 - 614 = -4*f. Is f a composite number?
False
Let s(v) = 5718*v + 146. Is s(2) a prime number?
False
Is 782000/35 + (-7)/(-49) a prime number?
True
Let o(b) = -b**3 - b**2 + b + 1. Let k be o(1). Suppose -5*q + 1420 + 645 = k. Is q composite?
True
Suppose 4*j - 3*b + 4*b - 1968 = 0, 3*j + b = 1477. Is j a prime number?
True
Let j = 77 - 40. Is (-3)/(2/j*(-11)/22) prime?
False
Let y = -2 - -5. Let n be 6/(y + (-1725)/573). Let m = 944 + n. Is m a prime number?
False
Suppose n + k = 629, k - 4*k + 3153 = 5*n. Suppose 2*s = -2*s. Suppose -3*q + 43 = -3*z + 529, -4*z + q + n = s. Is z composite?
False
Let s be -1 - -7 - (2 - 1). Let w(r) = -r**3 + 16*r**2 + 10*r - 11. Let l be w(15). Suppose l = -z + s*z. Is z a prime number?
False
Let u(g) = g**3 + 13*g**2 - 15*g - 14. Let f be u(-14). Let y = f - -53. Is y composite?
False
Let u(v) = 4*v + 40. Let m(a) = 5*a + 39. Let g(z) = -3*m(z) + 4*u(z). Is g(-6) composite?
False
Suppose -5*l - 7670 = -15*l. Is l prime?
False
Let p = 88 + 342. Let h = 837 - p. Is h prime?
False
Let j be 1 + 20 + (-4 - -2). Suppose -j = -2*h - 3*a, -h - 4*a = a - 27. Suppose -4405 = -8*w + 3*w + 5*k, -1770 = -h*w + 4*k. Is w prime?
True
Is 31999 - -8*(1 - 2) composite?
False
Suppose 0 = 4*f + f + 890. Let x = 33 - f. Is x prime?
True
Let t be -2 + 6 - (6 + -2356). Suppose 100 = 6*h - t. Is h prime?
True
Suppose 11*j - 15 = 6*j, -3*p + 201 = 2*j. Let b = p - 32. Is b prime?
False
Let o = -1501 + 3371. Suppose 5*g + 3*t - o = 0, -4*g = -5*t + 3*t - 1518. Is g a composite number?
True
Let u(y) = 11*y + 261 - 13*y + y**3 + 128. Is u(0) prime?
True
Is (-4)/80*-130855 + (-6)/8 a composite number?
True
Suppose 2*r = 2*h - 1680, 3*h + 5*r = 647 + 1841. Suppose -h = -4*z - 0*z. Is z a composite number?
True
Let j = -22 - -24. Suppose 4*a + 5*o - 933 = 0, -2*a - j*o + 180 = -288. Let g = a - 146. Is g prime?
False
Let l(y) = -y**3 - 8*y**2 + 33*y + 131. Is l(-11) a composite number?
False
Let s = -1 + 1. Suppose 0 = 3*b - 9 - s. Suppose 1 = -4*j - b, 0 = -g + j + 68. Is g a prime number?
True
Suppose -3*c + 0*c - 299 = -5*w, 5*w - 93 = c. Suppose -3*f - 944 = -5*a, -6*f = -4*a - 2*f + 752. Let g = a + c. Is g prime?
False
Let p(r) = r**2 + 9*r + 9. Let z be p(-9). Let u be 8/(-36) - (-29)/z. Suppose -u*j + 694 - 46 = -3*q, 1040 = 5*j + 3*q. Is j a composite number?
False
Let v = -478 - 2686. Let g = -1567 - v. Is g a prime number?
True
Let c = 11899 - -8590. Is c a composite number?
True
Let x be -2*(0 - (-42)/4). Let g be (3/2)/(x/(-1960)). Suppose 30 = -2*f + g. Is f a prime number?
False
Let b = 63 + -65. Is 15416/36 - b/(-9) - 1 prime?
False
Let f(h) = h - 26. Let k be f(14). Is (-8080)/k - ((-1)/(-3))/1 prime?
True
Let n(l) = 2*