 prime?
True
Suppose 3*s - 5*s + 4*c + 20 = 0, 0 = 2*s - c - 11. Let j be s/(-18) + (-128640)/(-54). Suppose -7*v = -v - j. Is v a prime number?
True
Let w = 2369 + -1372. Let g be (-65)/(-26)*-15*4/(-50). Suppose 40 = -g*s + w. Is s a prime number?
False
Let g(k) be the second derivative of k**4/12 + 13*k**3/6 - 7*k**2/2 - k + 5. Let u be ((-24)/15)/((-6)/45). Is g(u) prime?
True
Is (-12)/10 - 236/(-2950)*3187010*4 a prime number?
False
Let d = 2778 - -6251. Is d composite?
False
Let p be 3/2 - 126/(-84). Is 3284/2 - p/(0 + 1) a composite number?
True
Let l(a) = -396*a + 259. Let y(s) = 130*s - 86. Let z(c) = 3*l(c) + 8*y(c). Is z(-3) a composite number?
True
Let h(u) = 7771*u - 2977. Is h(6) a composite number?
False
Let f = 17169 + 23408. Is f a prime number?
True
Let w(c) = 282483*c**2 + 72*c - 10. Is w(1) composite?
True
Let t(g) = 7*g + 39. Let y(j) = -j**3 + 2*j**2 + 3*j - 2. Let i be y(-2). Is t(i) prime?
False
Let c = 27 - 23. Suppose -27*g + 24*g + 15 = 0. Suppose -g*p + 5647 = 2*h - 2010, 7654 = 2*h + c*p. Is h a composite number?
False
Let w(u) be the third derivative of 11*u**5/60 - 5*u**4/12 - 7*u**3/6 - u**2 + 2*u. Is w(6) composite?
True
Suppose -3*f + 112359 = 8*j - 21*j, -2*j - 74866 = -2*f. Is f a prime number?
False
Let m be (-8)/(-3)*-3*(-3 + 2). Suppose 3*l + m*l - 9933 = 0. Suppose l = o + 112. Is o composite?
True
Let f(s) = 164*s**2 + 2*s + 26. Let i be f(7). Suppose -11*z + i = -8*z. Suppose -6004 = -8*p + z. Is p composite?
False
Let t = -362699 + 582486. Is t prime?
True
Let i = -32542 + 106793. Is i prime?
False
Let k be ((-802)/10)/(((-6)/1)/30). Is k/(-2)*14/(5 - 6) composite?
True
Let f = -255420 + 2018831. Is f prime?
False
Let y be (-213)/(-15) - (2 - 70/25). Let s(v) = -12 + 4*v**2 - y*v**3 - 47*v**3 - 2*v + 10 + v. Is s(-3) a composite number?
True
Let y(p) = 46622*p**2 + 11*p - 11. Let q be y(1). Let z = -9471 + q. Is z composite?
True
Suppose 567488 = 22*x - 333830. Is x composite?
True
Suppose 16 = -4*t, w + 3*t + 7 + 3 = 0. Let k(g) = 464*g - 118. Let m be k(7). Suppose -4*o + 1282 = w*j, 5*j - o - m = 4*o. Is j prime?
True
Let a = 174 + -169. Suppose 8*y - 26087 = 4*y + v, a*y - 32602 = -v. Is y composite?
False
Suppose -1115*s - 1160466 = -1117*s + 5*n, 0 = -5*s - 5*n + 2901095. Is s a composite number?
True
Let v be (0 + 3)/3*(3 + 0). Let k(z) = -z**2 + 6*z + 5. Let r be k(5). Suppose -r*l + 5*l = -10, 5*l = v*a - 1685. Is a composite?
True
Suppose 4*u - 124 = 4*b, -2*u - 4*b = -34 - 4. Suppose -u - 924 = -a - 5*d, -3*a + d = -2869. Let y = 1365 - a. Is y composite?
False
Suppose 3*v + 767728 = 11*v. Suppose -14*h + v = 12*h. Is h a prime number?
True
Let i = 960367 - 596264. Is i composite?
False
Suppose 0 = q + 4*b - 111649, q - 5*b - 101899 = 9759. Is q composite?
False
Let s be 578*5/(-90) - 1/(-9). Is (64/s)/((-29640)/14817 - -2) a prime number?
False
Let p(n) = 5*n + 19. Let i be p(-3). Suppose 2*c + i = -2*k - 6, -5*c - 17 = 4*k. Let f(d) = -69*d - 11. Is f(k) a prime number?
True
Suppose 87*p - 8 = 85*p. Suppose -18132 = -3*n + 5*y + 6674, -n + p*y + 8278 = 0. Let i = -5401 + n. Is i a prime number?
True
Suppose 5*c + 2*u - 354591 - 138954 = 0, -5*u = 25. Is c prime?
True
Suppose 87 = 2*g + 81. Let n be 4 + (-11894)/(-8) + (-2)/(-8). Suppose -d + n = -3*r - r, -g*d = 4*r - 4505. Is d a prime number?
True
Suppose -122661387 = 42*h - 448*h + 29883775. Is h a prime number?
False
Suppose 5*s + 2*g - 13 = 0, -g = 3*s + 3*g - 5. Suppose -s*p = -7*p + 23812. Is p a prime number?
True
Let c = -176 + 179. Is (20314/4)/(c/(-6) - -1) composite?
True
Suppose 124*u - 2154105 = 109*u. Is u a composite number?
True
Suppose 3*k = 4*a - 16679 - 25109, 5*k - 52165 = -5*a. Is a composite?
True
Suppose 38490 = 24*h - 9*h. Is h/14 + 4 - 8/28 composite?
True
Let g(f) be the first derivative of f**5/3 - f**4/12 + 17*f**3/6 + 17*f**2/2 + 4. Let z(s) be the second derivative of g(s). Is z(-9) composite?
True
Is (-17 - 3120/(-64))*596 prime?
False
Suppose 95 = 4*l - 133. Suppose -l*x = -54*x - 8394. Is x prime?
False
Let v be 1/2*2*75. Is (0 + -1 + v)*(-9)/(-6) composite?
True
Let b(m) = 13*m**2 + 16*m - 2. Let i(p) = -13*p**2 - 17*p + 3. Let t(k) = 5*b(k) + 4*i(k). Let w be t(16). Suppose -3*l = 3*l - w. Is l prime?
True
Let h be 6/(39/12 + -3 + -1). Let g(a) = 6*a**2 - 9*a - 7. Let u be g(h). Suppose w - 5*o - 1008 = 0, u = 4*w - o - 3564. Is w prime?
False
Let w(a) = 17*a - 104. Suppose -24*g + 28*g - 52 = -4*i, -g = -4*i - 3. Is w(g) prime?
True
Suppose -8 = -b - b. Let r(z) = -1 + 5*z**2 + 4*z + b - 9*z**2 + 4*z**3. Is r(3) a prime number?
False
Let s be (-54381)/21 + (5 - 124/28). Let m = -640 - s. Is m composite?
False
Let r(s) = -s**2 - 2*s + 147. Let d be r(0). Let o = 238 - d. Is o a prime number?
False
Suppose 0 = 11*w - 982164 - 165210 - 1332653. Is w composite?
False
Let j(l) = 9762*l**2 - 64*l - 499. Is j(-9) a prime number?
False
Let x(s) = 15*s**2 + 44*s + 3. Let q be 183/(-24)*-2 - (-3)/4. Is x(q) a prime number?
True
Let r(j) = 2*j**3 - j**2 + 11*j + 1. Let c(n) = n**2 + 5*n - 16. Let x(s) = -s**2 - 3*s - 4. Let v be x(-4). Let k be c(v). Is r(k) a composite number?
False
Suppose 3*m - 2*q - 702 = -0*q, 0 = -5*m + 2*q + 1166. Let u(x) = -2*x**3 - 13*x**2 - 31*x - 168. Let i be u(-7). Let f = m - i. Is f prime?
False
Suppose 32*n - 733802 = -130954. Is n prime?
True
Let a be 4/(-2) - 2*(3 - 4). Suppose 10*y - 54 + 14 = a. Suppose -5450 = -2*s + y*l, -3*l + 3613 = s + 903. Is s a composite number?
False
Suppose 0 = 2*g + 2*b - 413382, 64*g + 2*b - 826780 = 60*g. Is g prime?
True
Suppose -10*n + 5*n = -10. Suppose 8243 = n*a - 5*l, -3*a + l = a - 16441. Is a a prime number?
False
Let c(d) = -11191*d + 173. Is c(-24) a composite number?
False
Let k = 588 - 572. Is (6484/(-8))/((-8)/k) composite?
False
Is 638123 - -51 - (-135)/(-5) a prime number?
True
Let k(o) = -o + 9. Let l be k(9). Suppose -13*f + 11*f + 308 = l. Is 3/15 - f/(-5) a prime number?
True
Suppose 4*f = -12, -84*f + 12436 = z - 79*f. Is z composite?
False
Let h = -484 + 177. Let z = h - -860. Is z a prime number?
False
Suppose 0 = 4*y - 10 + 2, 87789 = 5*s - 3*y. Let r = 25930 - s. Is r a composite number?
True
Suppose -116*c + 110*c = -12. Suppose c*u + 14466 = 2*n, 3*n - 4*n - 4*u = -7223. Is n composite?
True
Suppose -4 = -4*h + 68. Let g be h/8 + (-21)/(-28). Is 4*988/8 + g a composite number?
True
Let t be -451*(17/1 - 0/(-9)). Let y = -4360 - t. Is y prime?
True
Let b = 3801 - -25988. Is b prime?
True
Let c = 781017 + -516200. Is c composite?
True
Let s = -141 + 215. Suppose 18*o - 16*o = s. Is o a composite number?
False
Suppose 177*d - 9685815 = 80*d + 82*d. Is d composite?
True
Let g be (-1)/(-2)*(2 + 0). Let o(s) = 342*s**3 + s**2 - 2*s + 2. Let u(i) = 343*i**3 + i**2 - 2*i + 2. Let l(j) = -3*o(j) + 4*u(j). Is l(g) a composite number?
False
Let m be 84/4 + -5 + -7. Is m + -20 + 11 + (-12362)/(-2) a prime number?
False
Let w = 841 - 841. Suppose w = -164*y + 172*y - 194296. Is y a composite number?
True
Suppose -60*c = -1364918 - 501742. Is c a prime number?
False
Suppose 7*h + 5115 = 18*h. Let u = 544 + h. Is u composite?
False
Let g(s) = 375*s**2 + 179*s - 1807. Is g(10) composite?
False
Let f be (-133418)/10 - 30/150. Let h = -7445 - f. Is h a composite number?
False
Suppose 2*a = -43247 + 563277 + 36612. Is a a composite number?
False
Suppose 33*v - 365983 = -70*v + 4786180. Is v a prime number?
True
Suppose -5*z + 192043 = v, -2*z - 4*v + 37102 + 39726 = 0. Suppose -13749 = -7*t + z. Is t a prime number?
True
Let b be (58/(-6) + 5)/(14/(-1281)). Suppose 3*f = 82 + 200. Let u = b + f. Is u prime?
True
Is (70/(-15))/7 - ((-18345680)/30 + -7) composite?
True
Suppose j + 4 = -4*d, j + 9*d - 4*d = -6. Is (809 - -1) + (3 - j/1) a composite number?
False
Let p(h) = 109*h**2 + 36*h + 4. Let n(s) = s**2 - 14*s - 11. Let j be n(0). Is p(j) composite?
True
Is 2 + ((-3)/18 - (-106442088)/144) a prime number?
True
Let c(m) = 2*m**2 - 3*m - 1. Suppose -3 = -5*f - 4*g, 1 = -3*f - 4*g - 2. Let n be c(f). Suppose -4*b - 2*w = -3862, 5*w = -3 + n. Is b composite?
True
Let w(x) = -5*x**2 - 24*x - 74. Let d(c) = -15*c**2 - 73*c - 223. Let k(v) = 2*d(v) - 7*w(v). Is k(-25) composite?
False
Suppose -57*n = -58*n + 1. Let x(w) = 13*w - 12. Let c