w - r = -3*d. Is d a composite number?
False
Is -1*(-25715 + -2)/(-4 + 5) a prime number?
True
Let m = -5 + 6. Let y(f) = 3*f**2 + 2*f - 1. Let p be y(m). Suppose -2*x - 514 = -p*x. Is x a composite number?
False
Let q be (1*(-3)/6)/(2/(-57060)). Is ((-2)/3*-1)/(6/q) composite?
True
Let l(a) = -a**3 + 3*a + 8. Let b be l(-5). Let u = b - 29. Is u composite?
False
Let q(a) = 3974*a**2 - 3*a - 7. Let s be q(-3). Suppose 12*b - s = 4*b. Is b a composite number?
True
Let o(l) = 15*l**2. Let t be o(1). Let q be 0 - 5/(t/(-5064)). Is (5/(-4))/((-2)/q) composite?
True
Let j(k) = -35*k + 48791. Is j(0) composite?
True
Let d = 8 + -6. Suppose -4 = -d*x + 6. Suppose 0 = -x*o - 5*l + 750, -599 = -4*o - 3*l - 0*l. Is o a composite number?
False
Let g be 2/(4620/(-4615) - -1). Let y be g/(-2) - (-2 - 1). Suppose -3*w = -s - 7830, 2*w + 3*s - y = 4305. Is w a prime number?
False
Suppose -3*p = 0, 0*t = 3*t - 2*p - 4020. Suppose -c + 4*j - 1 = 0, -2 = -c - 5*j + 6. Suppose 4*k - t = 4*f, c*k + 69 = 2*f + 1070. Is k a composite number?
False
Let j(y) = y + 12. Let z be j(-8). Is ((-4)/z)/(291/147 - 2) a prime number?
False
Is -2*(4 - ((-51027)/(-2) + -6)) a composite number?
True
Let h(y) = 0 - 17 + 1 - 3*y - 2. Let x be h(-10). Is (-18)/x*(-1814)/3 composite?
False
Let t = -7299 - -25898. Is t a prime number?
False
Let d(t) = -t**3 + 10*t**2 - 16*t. Let c be d(8). Suppose 2*m = -4*p + 4, -5*p = -3*m + 9 - 3. Suppose c = v + m*v - 261. Is v a composite number?
True
Let s be (-2 - (-1451 - 1)) + 4. Suppose 342 = 2*g - s. Is g a composite number?
True
Suppose -10*h + 29 + 51 = 0. Is 16410/h - (-2)/(-8) composite?
True
Let a be (-6)/9 + 40/6. Suppose a*p - 1140 = 990. Is p prime?
False
Let r(u) = 5*u + 13. Let c be r(-3). Is (-1)/c*15968/8 a prime number?
False
Is (-7317 + -1)/(14/(-7)) a prime number?
True
Let o(w) = -35*w**2 - w + 6*w - 9 + 4. Let u be o(8). Let g = -1564 - u. Is g composite?
False
Let m(o) = o**3 + 4*o**2 - 5. Let c be m(-3). Suppose c*r - 2525 = 2039. Is r prime?
False
Let l(y) = y**2 + y - 5. Suppose z - 33 = -5*n, z - 25 = 3*n - 4*n. Let u = z + -32. Is l(u) prime?
True
Let y = -27 - -27. Suppose y = r - 581 - 880. Is r prime?
False
Let w = -25572 - -73735. Is w composite?
False
Let h = -191 - -300. Suppose -1155 = -4*j - v, -185 = -j + 5*v + h. Is j a composite number?
True
Let o(w) = -w**3 + 28*w**2 + 4*w + 4. Is o(23) prime?
True
Is (4 - -2)/(199955/(-24997) + 8) a prime number?
False
Let f = 3422 - -535. Is f a prime number?
False
Suppose 3*i - 37 = -4*v, 31 = 3*v - 4*i - 3. Let l be 194/10 - (-6)/v. Let f = l + 23. Is f a prime number?
True
Let v(w) = 2*w**2 + w + 1. Let c be v(-2). Let g(y) = -y + 7. Let s be g(c). Suppose 2*m - 526 = -s*m. Is m composite?
False
Suppose -2*x - 26 = -4*k, -3*k + x = 2*k - 31. Suppose 2*t + 4 = -k, m + t = 260. Is m composite?
True
Suppose -104 - 403 = -2*v - 3*o, -5*o = -3*v + 713. Suppose -z - 308 = -4*t + 177, 2*t - v = 4*z. Is t a prime number?
False
Let w(o) = -503*o + 32. Let k be w(-9). Suppose -k = -f - f + n, f + 2*n - 2287 = 0. Is f prime?
True
Suppose 11*r = 9246 + 73507. Is r prime?
True
Let b(g) = 224*g - 14. Let j be b(5). Suppose j + 1542 = 8*z. Is z composite?
False
Let a(t) be the second derivative of t**4/12 - 7*t**3/2 + 33*t**2/2 - 25*t. Is a(23) a composite number?
False
Is ((-9901)/2)/((-2 + -13)/30) prime?
True
Let s be 3958/8 - (-7)/28. Suppose 5*j = 4*c + 833, j - 4*c - s = -2*j. Is j composite?
True
Let r(m) = -3*m + 21. Let i(x) = 5*x - 31. Let a(h) = -5*i(h) - 8*r(h). Let p be a(-11). Is (61/2)/(p/(-28)) a prime number?
False
Let f(a) = 5110*a - 487. Is f(15) a composite number?
False
Suppose z - 5 = -1. Let x = 25 + -25. Suppose z*b - 1705 + 237 = x. Is b composite?
False
Suppose n = 6*n - 4*w - 9873, -4*w = -n + 1981. Is n composite?
False
Suppose 3*b - 4806 = -3*h, h + 289 = 2*b + 1876. Is h a composite number?
False
Suppose 0 = -4*v + 103 - 83. Suppose 4*a - 3496 = -0*a - v*g, 2619 = 3*a + 3*g. Is a a composite number?
True
Let r = 1 - -45. Suppose 3*t - 155 = r. Is t a prime number?
True
Suppose -4*f + 4*d = -f - 10, -2 = -2*f + 5*d. Suppose -y + 2*a + 776 = -a, 2*a = -f. Is y prime?
False
Let d be -2*1 - 16/(-8). Suppose 5*x - 924 - 4041 = d. Is x composite?
True
Let u(n) = 349*n**2 - 16*n - 85. Is u(-18) prime?
True
Let f be (12/(-5))/(8/((-109600)/15)). Suppose 3*z - 3655 = f. Is z a composite number?
False
Let n(f) = -f**2 + 2*f + 12. Let c be n(0). Is c/(-4)*(-295)/15 a prime number?
True
Is (8*(-2)/(-24))/(4/190194) a prime number?
True
Suppose -10*n + 36681 - 3691 = 0. Is n a prime number?
True
Suppose -9 = -33*w + 36*w. Is (-5388)/(-21) + (-4)/28*w a prime number?
True
Let o(i) = -2*i**3 - 17*i**2 + 30*i + 63. Is o(-14) composite?
True
Suppose 2 = 4*v - 6. Let y be v/11 - 22/121. Suppose y*s = 2*s + 10, -n + 175 = 2*s. Is n composite?
True
Suppose 4*k - 7*k + 58119 = 0. Is k prime?
True
Let o(z) be the third derivative of 3*z**5/10 + 7*z**4/24 - z**3/3 + 10*z**2. Let t be o(-6). Let f = t + -410. Is f a prime number?
False
Let n = -27 - -31. Suppose -9*f + n*f + 2195 = 0. Is f a composite number?
False
Suppose -79090 - 79826 = -2*o - g, 2*g - 397289 = -5*o. Is o a composite number?
True
Suppose 54*o = 191459 + 921427. Is o a prime number?
False
Suppose 151 = -3*p - 4*a, 4*p + 0*a + a + 197 = 0. Is p/(-7)*-71*(0 - 1) a prime number?
False
Let s be (2 + 2/(-6))*-3. Is 0/(-3) + s + 166 a composite number?
True
Let t be 2/(0 + (-1)/(-4)). Suppose 4*x + 80 = t*x. Let b = x + 18. Is b composite?
True
Suppose 6*f - 1244 = 36310. Is f a prime number?
False
Let y be (-2)/(-4) - 34/(-4). Suppose 5*r + m - 35 = 0, 3*m = -2*r + 7*m + 14. Suppose r*a + 230 = y*a. Is a a composite number?
True
Is 6109/164*(44 + 0) prime?
False
Suppose -6554 = -3*u - 2354. Let d = 965 - u. Let w = d - -724. Is w a composite number?
True
Let g(c) = -780*c**3 - 37*c**2 + 7*c + 1. Is g(-3) composite?
False
Let t(d) be the second derivative of -d**5/20 - 7*d**4/12 + 8*d**3/3 + 2*d**2 - 3*d. Is t(-9) prime?
False
Let y(p) = -p + 7. Let q be y(4). Suppose 0*c - q*c = -x, c + 14 = 5*x. Suppose -450 = -5*o - 5*l, 5*l = -x*o - 87 + 351. Is o a composite number?
True
Is 5*12/150*(19264 + 1) composite?
True
Suppose -3*y = 3*j - 4*y - 6994, -5*j + 5*y = -11640. Is j prime?
True
Let z(h) = h**3 + 8*h**2 - 10*h. Let m be z(-9). Let w = m + 176. Is w prime?
False
Let q be 2 - (439 - 0/2). Let o = q + 214. Let b = -36 - o. Is b a composite number?
True
Suppose -11*z = -10*z - 3259. Is z prime?
True
Let q = 7125 - 1744. Is q a prime number?
True
Suppose -a + 6 = 1. Suppose 280 + 795 = a*q. Suppose 2*g = m - 6*m + 456, 4*m = g - q. Is g a prime number?
True
Suppose 4*o - a = -52, o + 0*o - 2*a + 20 = 0. Let w(t) = t**3 + 14*t**2 + 13*t - 19. Is w(o) composite?
False
Let s be -3 + -1447 - 2/(-1). Let x(f) = -2*f**2 - 6*f - 769. Let j be x(0). Let n = j - s. Is n prime?
False
Let s(r) = r**2 + 8*r - 9. Let v be s(-9). Suppose v = 4*i + 46 - 602. Let l = i - -64. Is l a composite number?
True
Is (-24)/42 + 93846/7 prime?
False
Is 166702/18 + 2 - (-40)/(-180) a composite number?
True
Suppose 15775 = t + 10866. Is t a composite number?
False
Let y be 0/(9/3 - 1). Suppose y*k - 2*s = 5*k - 147, 2*s - 23 = -k. Is 1 + (2 - (-1 - k)) composite?
True
Let f = 6995 - 4896. Is f composite?
False
Let z = -13 - -17. Suppose 0 = 6*p - z*p - 10. Let g(s) = 5*s**2 - s - 7. Is g(p) a composite number?
False
Let h = -530 - -797. Suppose -x + 274 = -h. Is x composite?
False
Suppose -4*k - 2*j = -22, 3*k - 3*j - 46 + 7 = 0. Suppose -k*n = -2*n - 4794. Is n a prime number?
False
Let k(h) = h**3 + 6*h**2 + 5*h + 4. Let i be k(-5). Let n(z) = -3 - 2 + 3 + 67*z - 3. Is n(i) a prime number?
True
Let v(s) = 17*s**2 + 3*s + 5. Let d(x) = -x**2 - 3*x + 2. Let a be d(-4). Is v(a) composite?
False
Suppose 4*m + 148 = 3*m. Let s = m - -557. Is s composite?
False
Suppose -42*s = -53*s + 110. Let l(h) = -55*h + 13. Let c(n) = 56*n - 13. Let f(j) = 5*c(j) + 4*l(j). Is f(s) composite?
False
Let p(a) = 41*a**2 + 4*a - 8. Suppose -3*x + 3 = 0, -5*k - 3*x + 29 = -4*x. Let d be p(k). Suppose 2*v - d = 618. Is v composite?
True
Let o be 27/4 - (-9)/36. Suppose o*z + 1597 = 8*z. Is z composite?
False
Let l = 131690 + -55273. Is l composite?
True
Let