 - j)/((-6)/(-158)) a composite number?
True
Suppose 5*s = -4*p + 42, 5*s - 42 = s + p. Suppose s*w - 2*w = -7928. Let m = w + 8112. Is m a composite number?
False
Let f be -1*(-293)/(1 - 0). Let l = f + 546. Is l a composite number?
False
Suppose 179*t - 149*t = 7875150. Is t a composite number?
True
Is (-29)/(348/(-15603576)) - 15 prime?
True
Is 430293/15 - (-92)/115 composite?
False
Is 2/(14/6554557) - (-153)/(3213/(-6)) composite?
True
Let n = 1726 - 986. Let q = n + -73. Is q a composite number?
True
Suppose -30*x = -6062160 - 1751010. Is x a composite number?
True
Let x(y) = -17 + 3999*y + 113*y**3 - 4013*y - 24*y**3 + 6*y**2. Let m be x(7). Suppose -5*r + 16153 = 3*d, -m = -5*d + 4*r - 3809. Is d prime?
True
Is ((-6682270)/105)/(-2*5/15) composite?
False
Let y(u) = 48*u - 19. Let n(t) = -13*t + 13. Let a(l) = 7*l - 7. Let o(p) = 11*a(p) + 6*n(p). Let j(z) = 2*o(z) - y(z). Is j(-10) a composite number?
False
Suppose -5067 = -g - 8*g. Suppose 0 = -3*l - 3983 + g. Is (-1)/(-2) + l/(-8) a prime number?
False
Let i(g) be the third derivative of g**5/4 - 5*g**4/6 + g**3/3 - 3*g**2 - 17*g. Is i(-6) prime?
False
Let b(d) = -481*d**3 + 9*d + 41. Suppose -2*g = -3*q + 3, -35*q = g - 38*q. Is b(g) composite?
False
Let x be 6/(-9) + (200/15)/2. Suppose -a + 4 = -7. Is 262 - ((-4)/x + a/(-33)) composite?
False
Suppose -12*v + 34 = -14. Suppose -v*l + 8992 = 3052. Let n = -732 + l. Is n composite?
True
Suppose -4*z + 401 = 5*q + 112, z + 65 = q. Suppose -936 = -h + q. Is h prime?
True
Suppose f + 6942 = g, -3*f - 27767 = -105*g + 101*g. Is g a composite number?
True
Suppose 18*f - 4*f + 126 = 0. Let n(r) = -979*r + 112. Is n(f) a composite number?
False
Let l be (-2 - 736/(-12))*(-9)/6. Let a = -91 - l. Is (a + 0)/((-16)/5048) a composite number?
False
Suppose 559*l = 609*l - 21196550. Is l prime?
True
Suppose -114*u = -212*u + 112*u - 1917986. Is u prime?
True
Suppose 3*y = 5*d - 603740, 25*y - 23*y - 483014 = -4*d. Is d composite?
True
Let a(y) = -2*y - 65. Let g be a(-43). Is (-284242)/g*6/(-4) a prime number?
False
Let k(a) = 65*a + 25. Let v be k(-9). Let s = v - -67. Let g = s + 2534. Is g a prime number?
False
Let f(w) = -72*w**2 - 31*w - 7. Let a(o) = -o**2 - 5*o. Let d(l) = 4*a(l) - f(l). Is d(-8) a prime number?
True
Let t be 9300/(-11) + (-18)/33. Let i = t + 1295. Is i prime?
True
Suppose 2*o - 1164 = -0*o. Let n be 7 + (-21)/(1 - -2). Suppose k + 5*k - o = n. Is k composite?
False
Let q(y) be the third derivative of 73*y**6/120 - y**5/10 + 4*y**4/3 - 4*y**3/3 - 3*y**2 - 12*y. Is q(5) composite?
False
Let k(x) = x**2 - 21*x + 16. Let b be k(20). Let g be (b + 0)*(-1)/(-2). Is -2*3/g*(-2215)/(-15) composite?
False
Let f = -21803 - -32343. Let j = f + -2745. Is (4 - 2)/(10/j) prime?
True
Suppose -2*o - 61860 = -5*h + 3*o, -5*h + 3*o + 61860 = 0. Let j = 18187 - h. Is j a composite number?
True
Let a(f) = f**3 + 3*f**2 + 5*f + 3. Let h be a(-2). Let m(x) = -101*x**3 + 2*x**2 - 2. Is m(h) a prime number?
False
Let y be 76961/2 - ((-2)/(-4) + -1). Suppose 10*u = 13*u - y. Is u composite?
True
Let s(r) = 53080*r**2 - 534*r - 3. Is s(-4) prime?
True
Let l(p) = 289*p - 34. Let j be l(1). Suppose 2*b + 4*d - j = 5*d, 2*b + 4*d - 250 = 0. Is b prime?
True
Suppose 0 = -27*v - 22*v + 39*v. Suppose -4*p + 1779 = -n, 4*p - 8*p + 4*n + 1764 = v. Is p prime?
False
Let s(x) = x**3 - 4*x**2 - 14*x + 2. Let k be s(6). Let z = k + 16. Suppose 0 = z*b - 3390 - 2664. Is b prime?
True
Is (-1379659)/(-11) + (-1578)/2893 a prime number?
True
Suppose 5*z - 60 = z. Suppose -5*t + z = 3*w + 2*w, -3*w = t + 7. Is t/2 + -5 + 2430 composite?
True
Let i(r) = 4855*r**2 - 12*r + 13. Is i(6) prime?
True
Let b(f) = -6*f - 33*f**2 - 3 + 32*f**2 + 23*f**2 - 1. Let t be b(5). Suppose t - 2349 = -13*y. Is y prime?
False
Suppose 0 = -47*f + 45*f + 10. Suppose 4*n = -3*t + 29, f*n - 42 = t + t. Suppose 5214 = -2*j + n*j. Is j a composite number?
True
Let g be (2 + 0)/((-236)/(-48) - 5). Is (1016/g)/(1/(-51)) a prime number?
False
Let a(j) be the third derivative of 179*j**5/60 + j**4/8 + 7*j**3/6 - j**2 + 14. Is a(-2) prime?
False
Let a = 66 - 63. Let i(p) = 2*p - 6*p + 13 + 2*p**a - 14*p**2 + 8*p + 8*p. Is i(12) a prime number?
True
Let d = 518851 + 261268. Is d composite?
False
Let y(s) = 12*s**2 - 37*s - 24. Let v(m) = -3*m - 50. Let p be v(-11). Is y(p) prime?
True
Suppose 0 = -168*k + 179*k - 6377569. Is k a composite number?
False
Let h = -106 + 127. Suppose h = 9*b - 186. Is b a prime number?
True
Let t(m) = 6*m + 24. Let a be t(-4). Suppose a = 38*f - 39*f + 8. Suppose 9*l - 790 = f*l - y, 2*l - 1571 = y. Is l composite?
False
Let z = 37 - 32. Suppose 0 = 5*o + z*w - w - 6705, 5*w = -25. Is o prime?
False
Let p(m) = m**3 + 5*m**2 + 4*m. Let r be p(-3). Suppose 5*z = 2*z + r. Suppose z*a - 90 = 412. Is a composite?
False
Let o = -5144532 - -13004999. Is o prime?
True
Let k = -6707 - -16276. Is k prime?
False
Suppose -11*t - 49 + 148 = 0. Suppose -t*g + 3810 = g. Is g composite?
True
Let o(d) = 5*d**2 + 9*d + 11. Let t be o(-8). Let k = t + -57. Suppose -l - 41 = -k. Is l composite?
True
Let u = -68 + 66. Is 2/(-4) - 3119/u prime?
True
Let a = -142 + -17. Let h = a + 158. Is (-1)/(21424/(-149331) - h/7) a prime number?
False
Let f(m) = -64*m**2 - 68*m + 47*m**2 - m**3 + 7 + 0*m**3. Is f(-21) prime?
False
Suppose 4*x + 5*l = 248943, -5*x + 311190 = -16*l + 20*l. Is x a composite number?
True
Suppose -179229 = -6*o - 5*p + 67015, 0 = -o + 4*p + 41031. Is o a prime number?
True
Let r = 32916 + -16967. Is r prime?
False
Suppose 45*l = 42*l - 4*b + 165465, -275747 = -5*l - 2*b. Is l prime?
True
Is 1265558801/2115 - 14/(-315) a composite number?
True
Is (10/(-20) + (-6)/(108/(-327543)))*3 a prime number?
False
Suppose 2*o = -5*y + 309885, -5*y + 8*o - 13*o = -309870. Is y a prime number?
True
Suppose 16550 = 33*f - 32*f. Let x = -11299 + f. Is x a composite number?
True
Let a(y) = 5118*y**2 + 113*y + 221. Is a(-2) composite?
True
Suppose -f + 5*d + 218 = -245, 0 = -3*d - 12. Let b = f + -24. Is b composite?
False
Suppose 4*p + 4*w - 20 = 0, 3*p + w - 3 = 4*w. Suppose p*b - 2 = 7. Is (-1085 - (-2)/(-1))*(b - 4) a composite number?
False
Let u(l) = -506*l**3 + 4*l - 4. Let v be u(-2). Suppose 0 = 32*a - 36*a + v. Is a a composite number?
False
Let j = 3385 + -5931. Let l = j - -5469. Is l composite?
True
Let h = -62 - -78. Suppose 1976 = -2*p + h. Let f = -693 - p. Is f prime?
False
Let f(g) = -447*g**3 + 2*g**2 + 3*g + 1. Let b(r) = 2*r**2 + 40*r - 1. Let s be b(-20). Let w be s/5 + 24/(-30). Is f(w) composite?
True
Let w = 1159825 + -718064. Is w prime?
False
Let g be (3/(-12))/(322/(-40) - -8). Is g/((-20)/8)*(-3351)/6 a composite number?
False
Suppose -2*g = -5*f, 5*g = 11*f - 7*f. Suppose 4*p - 10557 - 5227 = f. Is p prime?
False
Let q = -91195 - -168338. Is q a composite number?
True
Suppose 346*v - 341*v + 4*h = 2028113, 4*v + 5*h = 1622476. Is v a prime number?
False
Let i(o) = -o + 12. Let d be 4/2 - (3 + -5 + -6). Let p be i(d). Suppose 184 = -p*u + 798. Is u a prime number?
True
Let v(a) be the third derivative of -a**6/120 + 7*a**5/30 - 13*a**4/24 - 5*a**3/6 - 7*a**2. Let g be v(13). Is g/10*2*-251 a prime number?
True
Let s = 538 + -694. Let q = s + 2945. Is q a composite number?
False
Let p = 34 - 10. Suppose p = j + 395. Let u = j - -622. Is u a prime number?
True
Let q(h) = -372*h**3 - h**2 - 2*h. Let r(z) = z**3 - 18*z**2 - 40*z - 1. Let u be r(20). Is q(u) composite?
False
Let v = 592282 - 266535. Is v a composite number?
False
Let v = -104 - -109. Let l be (2400/(-9) - 0)*-3. Suppose -v*k + 1720 = -4*u + 4923, k + l = u. Is u composite?
False
Suppose -6*k + 265 - 19 = 0. Suppose -32*c = -k*c + 36. Suppose c*h + 3076 = 8*h. Is h prime?
True
Suppose 2*v + v = 12. Let u(a) = 6*a**2 - 18*a - 88. Let o be u(15). Is o/v - (-4 + 5) composite?
True
Let k = 160 + -160. Suppose -3*g + k*x + x = -19017, -g = 3*x - 6339. Is g a composite number?
True
Let s = 122 - 119. Suppose 2*l + 2*h = 2812, 2*l + s*l - h - 7048 = 0. Is l composite?
False
Let r(t) = -20*t - 592. Let v be r(0). Is 24/(-6) - (v - 3) composite?
True
Let c(o) = 314*o - 17. Let s(x) = -7*x + 29 + 31 + 33 - 73. Let u be s(2). Is c(u) a prime number?
True
Let y = 66994 + -28611. Is y composite?
True
Let s(j