 prime?
True
Suppose 0 = -14*s + 7994 - 504. Suppose -2*v - 4*f = -1038, -2*f = -v - 0*f + s. Is v a prime number?
False
Is 2/(-4 + (-168368)/(-42088)) prime?
True
Suppose -7*z + 2*z = -3*j - 156371, -5*z - 2*j + 156361 = 0. Is z a prime number?
False
Let l(b) = -14*b - 3 - 6*b**2 - 13*b**2 + 23*b**2. Is l(6) prime?
False
Let c(n) = -157*n**3 + 20*n - 2. Is c(-3) composite?
False
Suppose 958 = 3*f + 25. Let w be 50/(-20) + (-136)/16. Is (w - -7) + f*1 composite?
False
Let c(x) = -50*x + 8. Let p be c(-7). Let r be (1/4)/((-1)/(-4)) + 2. Suppose r*n + 5*l + 110 = p, 0 = -4*n - 2*l + 354. Is n a prime number?
False
Let v(r) = 71*r**2 - 42*r - 28. Is v(-25) a prime number?
False
Let i(m) = -131*m**3 - 5*m**2 - 2*m + 10. Let n(h) = 130*h**3 + 4*h**2 + 2*h - 9. Suppose -2*t + 14 = 2. Let k(b) = t*i(b) + 7*n(b). Is k(2) a prime number?
False
Let u = 1462 + 94. Is (17/2)/(2*1/u) a composite number?
True
Let f(t) = t**3 - t**2 + 2333. Is f(0) composite?
False
Suppose 8*g - 29 = 11. Suppose -448 = -g*o - s, s = -3*o - s + 273. Is o a prime number?
True
Let m = -84 + 87. Suppose m*n - 753 - 1008 = 0. Is n composite?
False
Let q(s) be the third derivative of -s**4/4 + 13*s**3/6 + 6*s**2. Let u be q(9). Let t = u - -75. Is t a prime number?
False
Suppose -20 = 2*w + 4*u, -u + 51 = -4*w + 2*u. Let x(i) = -4*i - i**3 - 16*i**2 - 10*i**2 + 14*i**2 - 2. Is x(w) composite?
True
Let y(f) = -f**2 - 13*f + 11. Let l be y(-13). Is 2/l + (51009/(-33))/(-7) prime?
False
Let s = 15848 - 9447. Is s prime?
False
Let g = 41826 - 19057. Is g prime?
True
Suppose x + 688 = -x. Is (x/(-6) + -2)/((-18)/(-81)) composite?
True
Let o(f) = 349*f**2 - 30*f - 17. Is o(-7) prime?
False
Let s(f) = 26*f**2 - 85*f + 162. Is s(31) prime?
False
Let t = 19011 - 12250. Is t a composite number?
False
Is 7/(-3)*(-1673 + 2) prime?
False
Let p be 28/(-3)*(-3363)/38. Suppose 9*r = 11*r - p. Is r prime?
False
Let q = -5477 - -9586. Is q a composite number?
True
Let n = 30 + -2. Suppose 7*w + 5*y = 3*w + n, 0 = 5*y - 20. Suppose -w*i + 585 = -5. Is i a prime number?
False
Let r(f) = -3*f + 1. Let j be r(7). Let p(u) = -66*u - 27. Is p(j) a prime number?
False
Let n(h) = h**2 + 8*h - 12. Let q be n(-10). Suppose q*c = 6*c + 526. Is c prime?
True
Suppose 5 = -3*g - 7. Let f be 128/(-2) - (1 + g). Let d = f + 238. Is d a prime number?
False
Let y = 466 + 565. Is y a prime number?
True
Let g(m) = 407*m**2 - 29*m - 211. Is g(-11) a prime number?
False
Suppose -4*l + 3*r + 2432 = -2*r, 0 = 5*r. Is l/7 + (-14)/(-98) a composite number?
True
Let o = -26 + 38. Let w be (-5)/2*o/(-5). Is 1196/14 - w/14 a composite number?
True
Suppose -12*w - 5*s - 341 = -10*w, w + 4*s = -178. Let t be 1/(-2) + 97/(-2). Let x = t - w. Is x prime?
True
Suppose 4*r - 5*q = 36820, -9204 = 7*r - 8*r + q. Suppose 3*x = r + 9541. Is x prime?
True
Let f be 4 + -2 + -13 - 0. Let g(y) = -y - 5. Let l be g(f). Is ((-212)/8)/((-3)/l) a composite number?
False
Let i(f) = f + 4. Let v be i(0). Suppose 3*m = 5*s + 2605, -5*s = -v*m + 1283 + 2187. Is m prime?
False
Is 5 + 30 + 2 + (-1 - -3) prime?
False
Suppose 5*m - 352 = -6552. Let c = -539 - m. Is c prime?
True
Let k = 43 + -31. Is 4302/k*14/3 a composite number?
True
Let a(x) = x**2 + 3*x + 1. Let d be a(-8). Let o = d - 23. Suppose -51 + o = -m. Is m a composite number?
True
Let o be 2/(-6) - (-13)/3. Let i = -24 + 300. Suppose o*k + 0*k - i = 0. Is k a prime number?
False
Is (-28987)/(-6) - 1/(-6)*-1 a prime number?
True
Let c = 7 - 4. Suppose -c = 3*f + 3. Is -10*(-1 - (2 + f)) a composite number?
True
Suppose 27*s + 15634 = 29*s. Is s composite?
False
Suppose 12*b = 16*b - 53604. Suppose 13*r - 36788 = -b. Is r prime?
False
Suppose -7*h + 6*h + 14586 = 3*x, 0 = x + 2*h - 4867. Is x composite?
False
Suppose -39410 = -2*x - 5*j, -3*x + 5*j = x - 78760. Suppose -11*a + x + 13690 = 0. Is a a prime number?
False
Let a(x) = -857*x + 114. Is a(-5) a prime number?
False
Let q = -22 + 18. Let h = q + 10. Suppose -31 = -v + h. Is v composite?
False
Suppose -7*j + 29955 = -22*j. Let x = j - -3186. Is x a prime number?
False
Is -15*6/(-18) + 3824 prime?
False
Is (16/(-24))/((-1)/(-73914)*-4) a composite number?
True
Let o = -11 - -13. Suppose -o*q = -3*q + 445. Is q prime?
False
Suppose 6*w = -2*w - 13968. Let l = -1133 - w. Is l a composite number?
False
Let k(i) = 2*i**3 - 24*i**2 + 10*i - 29. Is k(16) a composite number?
False
Let c(o) = -45*o**3 + 3*o**2 + 9*o + 4. Is c(-3) composite?
True
Suppose -4 = -9*f - 31. Is 12/(-18)*f + (0 - -5507) a prime number?
False
Suppose 0*a + 220 = -5*a. Let t(w) = 6*w + 5. Let n be t(5). Is (n/4)/((-11)/a) a composite number?
True
Let z be (3/(-6))/((-3)/18). Suppose 0*y - 6576 = -2*n - 2*y, -5*n + 16448 = -z*y. Suppose -n - 1821 = -4*a + r, 3*a = -4*r + 3823. Is a a composite number?
False
Let d be (4 - 5) + (-3)/(-1). Let z be (996/15)/(d/10). Let c = -147 + z. Is c a prime number?
False
Let v(n) = 221*n**3 - n**2 - 12*n + 149. Is v(6) a composite number?
False
Let n(f) = -738*f + 251. Is n(-12) a composite number?
True
Suppose -792 - 283 = -j. Suppose -4*z + 9*z = j. Is z a composite number?
True
Let f(m) = -111*m - 109. Is f(-6) a composite number?
False
Let p = -9460 - -18345. Suppose -2*j = 343 - p. Is j a prime number?
True
Is -11*(-3 - 5 - 675) composite?
True
Let u(b) = -38477*b**3 - 3*b**2 + 5*b + 8. Is u(-1) a composite number?
True
Is (1 + 2)/(5/32295*9) composite?
False
Let o = 5587 + -2522. Is o composite?
True
Let y(r) = -1421*r**3 + 3*r**2 - 3*r - 17. Is y(-2) a composite number?
False
Let o(p) be the second derivative of -p**5/20 - p**4/12 + 11*p**3/6 + 9*p**2 - 8*p. Is o(-13) a prime number?
False
Suppose 57 = 2*i - 597. Is 10/35 + i/7 a prime number?
True
Suppose -3*t = -5*b + 19, 2*b - 15 - 1 = -3*t. Let o be 9/t*16/24. Suppose 0*x + 736 = 2*x - 2*m, -o = -m. Is x prime?
False
Suppose 350 + 102 = -4*c. Let z be ((-9)/(-6))/(9/(-2172)). Let y = c - z. Is y composite?
True
Suppose 3*t - 10835 = 5*v, 4*v + 1850 + 6850 = -4*t. Let p = v - -3225. Is p composite?
True
Suppose 189488 = 4*x + 4*u, 0 = 2*x - 4*u + 14259 - 109009. Suppose -18*c + x = -2829. Is c a prime number?
True
Suppose -9*d + 72036 + 11997 = 0. Is d composite?
False
Let n = -2747 + 6388. Is n a composite number?
True
Suppose 5*a - 4858 = -843. Let r = -246 + a. Is r prime?
True
Let c = 28 + -23. Suppose 5*d - 15 = 0, -d = -5*r - c*d + 807. Is r prime?
False
Let c(v) be the third derivative of -v**5/10 + v**4/8 - 7*v**3/6 - 2*v**2. Let y be c(9). Is y/(-10) + 9/(-15) composite?
True
Let c = 3288 + 1151. Is c a composite number?
True
Is 64761*(6/9 - (-16)/(-48)) prime?
True
Let r be (8/(-10) - 16/(-40))*-10. Suppose -r*g + 151 = 2*m - g, 5*m - 369 = g. Is m composite?
True
Let o(x) = -1 - x**3 + x - 7*x**3 + 9*x**3 - x**2. Let g(j) = j**3 - 9*j**2 + j + 5. Let f(a) = -g(a) + 2*o(a). Is f(-6) a composite number?
False
Let p(v) = -v**2 + 74 + 20*v - 55 + 0*v**2. Is p(18) a prime number?
False
Let s = -3279 + 17532. Is s prime?
False
Let h = 8 + -8. Suppose h = c + 59 - 190. Suppose -2*b + 3*b - 3*q = c, 2*b + 3*q - 271 = 0. Is b a prime number?
False
Let y(d) = 7 - 30*d + 16*d - 2*d**2 + 4*d**2. Is y(9) a prime number?
True
Let t(l) = 4*l**3 - 10*l**2 + 9*l - 5. Let q be (-9)/6 + (-105)/(-14). Is t(q) a prime number?
False
Let k be (-126)/15*870/(-9). Suppose -3*i - i = -k. Is i a prime number?
False
Let v(s) = s**3 - s**2 + s + 424. Let i be v(0). Suppose -4*l = -300 - i. Is l composite?
False
Let y = 23 + -19. Suppose 0 = y*g + g - 1005. Is g composite?
True
Suppose 5*m - 17 = -2. Suppose -931 = -m*v + 2*a, 0*v = -4*v - 3*a + 1213. Is v a composite number?
False
Suppose 96 = -2*u + 490. Suppose 2*f - u = -19. Is f a prime number?
True
Let n = -3088 - -8811. Is n a composite number?
True
Let g be (-1431386)/242 + (-2)/11. Let x = -3336 - g. Is x a composite number?
False
Let o = 18986 - 10785. Is o prime?
False
Let j(i) = -231*i + 5. Suppose -5*m - 3*z + 32 = 0, -16 = -5*m - 2*z + 3*z. Let t be j(m). Let l = -546 - t. Is l composite?
False
Let b(g) = 2*g**3 - 2*g**2 + g - 7. Let u be b(3). Suppose 2*k = -2*k + 4. Let s = k + u. Is s prime?
False
Let p = -17817 + 45116. Is p a prime number?
True
Suppose 63 = 4*a - 3*p + 2*p, 3*a = 2*p + 46. Suppose -a*j + 19*j - 1671 = 