k - g. Is p composite?
True
Suppose 6*u + 5*i = u + 4885, u = -2*i + 981. Suppose -8*y + 7*y + u = 0. Is y a prime number?
False
Suppose 0 = 3*l - 20*l. Suppose 2*t + 0*r + 3*r = 6395, l = -5*r - 5. Is t composite?
True
Let x(q) be the first derivative of -8*q**2 - 5*q - 11. Let i be x(-5). Suppose i = 3*t - 162. Is t composite?
False
Suppose -20*v - 9*v + 179423 = 0. Is v a composite number?
True
Is 7609/1*(-30)/(-30) composite?
True
Suppose 3*o + 2*o - 5*v = -10, 4*o - 2*v - 2 = 0. Suppose -3*j - 5618 = 3*p - 18575, -21595 = -5*p - o*j. Is p composite?
True
Suppose 0 = 2*f - 3*x - 6 - 33, -2*x = f - 2. Suppose 0 = 3*q + f, 4*c - 5*c + 509 = 3*q. Is c prime?
True
Let b be (18/5)/(18/60). Let m = b + -12. Suppose m*n = 2*c + 4*n - 1370, c - n = 685. Is c prime?
False
Let u = 7920 - 4261. Is u a prime number?
True
Suppose 2*u = -q + 7396, -7*q = 2*u - 12*q - 7384. Is u a composite number?
False
Let s(a) = -a**2 - 6*a - 3. Let x be s(-5). Suppose 175 = 5*z + c, 9*z = 4*z + c + 175. Suppose -x*t + 7*t = z. Is t a prime number?
True
Let z(m) = -5*m. Let l be z(1). Let v be 16 + 3 + l - -1. Suppose -627 = -v*n + 12*n. Is n a composite number?
True
Suppose -q - t + 9238 = 0, 7*q - 9*q + 18477 = t. Is q prime?
True
Let n = -11016 - -18677. Is n composite?
True
Let s = -1926 - -3637. Is s a composite number?
True
Let j be 56 + 5 + (-9)/3. Let w(f) = -2 + 5 - 35*f - j*f + 22*f. Is w(-2) a composite number?
True
Let q = -80190 - -137405. Is q prime?
False
Suppose -t + 8 = 1. Suppose t*n - 1199 = 6*n. Is n composite?
True
Suppose -16*o + 158723 = -157389. Is o a prime number?
False
Let a be (3/(-2))/((-4)/8). Suppose k - 1008 = -a*k + 2*z, -751 = -3*k - z. Is k a prime number?
True
Let l = -1277 - -9132. Is l a prime number?
False
Is 1/((-2)/88*(-136)/73202) a prime number?
False
Suppose -y - 4*v = -2617, 0*v + 4*v - 7835 = -3*y. Is y composite?
False
Suppose -j + 7*v - 8*v = -41683, 2*j = -v + 83366. Is j composite?
True
Let a = 1378 + -813. Let q = -48 + -18. Let h = q + a. Is h a composite number?
False
Suppose 3*v - 4*t = -11 - 29, 5*v = -5*t - 55. Let q be ((-9)/6)/(v/1472). Let l = -57 + q. Is l prime?
True
Let k(s) = -61*s**3 - 2*s**2 - 8*s - 5. Is k(-2) a composite number?
False
Let i(k) be the second derivative of k**3/6 + 83*k**2/2 + k. Let h = 5 + -5. Is i(h) a prime number?
True
Let o(z) = 54*z - 15. Suppose 5*b - 3*r - 14 = 2, -2*b = 3*r + 2. Is o(b) composite?
True
Let r = 19985 - 10894. Is r a composite number?
False
Let l = 87 + -51. Suppose 11 = -5*h + l. Suppose -2*w - h = -11. Is w composite?
False
Is (-7965)/(-21) - (-22)/(-77) a prime number?
True
Is 1 - ((0/(-4) - 17009) + 3) composite?
True
Suppose -16 = 3*g - 4*g. Suppose -14*c = -g*c + 598. Is c prime?
False
Let d = -1 + 5. Suppose 7 - 4 = d*m + 5*g, -5*g + 15 = 0. Let t(l) = -3*l**3 - 2*l**2 + 2*l - 2. Is t(m) a composite number?
True
Suppose -30 = 4*g + 6. Let q(z) = z**3 + 12*z**2 + 11*z - 5. Is q(g) a composite number?
False
Let j(r) = 257*r - 10. Let o be j(5). Let u = 2128 - o. Is u prime?
True
Suppose 11 = 8*l - 61. Is (-6)/l*(-9657)/6 prime?
False
Suppose -c - 2*r + 27985 = 2*c, -27983 = -3*c - 4*r. Is c a composite number?
True
Let q(i) = 163*i - 5. Is q(6) composite?
True
Suppose 3*t - 2*t - 3 = 0. Suppose -t*o = w - 105, 2*o - 114 = -2*w + 76. Let g = w + 3. Is g prime?
False
Suppose 5*c + 12 = -2*u - 1, 27 = 2*u - 3*c. Let k = 4397 + -3127. Suppose -4*q - k = -u*q. Is q a composite number?
True
Suppose -21 = d - 1. Let n = d + 21. Is (n - 1) + (200 - -3) prime?
False
Let f = 13765 + -6644. Is f a composite number?
False
Let d(b) = 3*b**3 + 2*b**2 + 2*b + 3. Let u(s) = 4*s**3 + 2*s**2 + 2*s + 3. Let t(j) = -3*d(j) + 2*u(j). Let n be (3/1)/(15/(-20)). Is t(n) prime?
True
Suppose -1894278 = -19*q - 505321. Is q a composite number?
True
Let a(m) = -m - 13. Let k be a(-20). Is (k/7)/(3/1893) a prime number?
True
Is 8 - ((2 - 7) + -4245) composite?
True
Let m(o) = o**3 - 22*o**2 + 75*o - 71. Is m(30) a composite number?
True
Suppose -9*s = -5 + 23. Is ((-1079)/s)/1*(-1 - -3) composite?
True
Suppose 0 = 3*a + b - 94883, -3*a + 2*b - 23483 + 118360 = 0. Is a a composite number?
False
Let x(z) = -z**3 - 8*z**2 - 6*z + 3. Let l be x(-7). Let g be -3 - -4 - l/2. Suppose 5*f = 2*i + 3171, -4*f + g*i + 2544 = -i. Is f a composite number?
True
Let b = 10162 - 5129. Is b a composite number?
True
Suppose 0 = 10*x - 1725 - 7485. Is x composite?
True
Suppose b + 250 = -4*z - 326, 0 = 2*b - 4*z + 1104. Let f be (-2)/9 + b/(-90). Is 4/f*165/2 composite?
True
Suppose y = -a + 1, -y + 3*a - 2*a = -7. Suppose v = -y*v + 4945. Is v a prime number?
False
Let l = 119 - 97. Suppose l*u - 6054 = 16*u. Is u prime?
True
Suppose -2*x = -k + 2463, 4*x - 1 + 9 = 0. Is k a prime number?
True
Suppose -2*k + 4*z + 0 - 8 = 0, -4*k - 4 = -5*z. Let b be (-923)/26 - 2/k. Let v = 51 + b. Is v composite?
True
Let a(p) = -3*p - 4. Let i be a(-3). Suppose -5*z + i = -5*x, 2*z - 17 + 6 = -x. Suppose 5*n = 10, -3*d - 4*n - 243 = -z*d. Is d prime?
True
Suppose -3*c = -32 - 40. Let r = 24 - c. Suppose 5*t - 195 - 130 = r. Is t a prime number?
False
Let r be 3/(-6)*6 + 7. Suppose -m - m = r. Is -1 + m + (330 - -8) a prime number?
False
Let z = -24992 + 59949. Is z a composite number?
True
Let o(l) be the third derivative of 0*l + 0*l**4 + 1/60*l**5 + 6*l**2 + 0 + 769/6*l**3. Is o(0) a prime number?
True
Let g(m) = -702*m - 11. Is g(-6) a composite number?
False
Let w(h) be the first derivative of -79*h**2/2 + 6*h + 10. Let o be w(-10). Suppose o = -0*f + 4*f. Is f prime?
True
Is (2/(-6))/((-54)/3683718) a prime number?
True
Let q be (-18)/(20/(-15)*3/2). Suppose 2*n - q*n = -1757. Is n prime?
True
Suppose -4*x + 2 = 3*f, -2*f + 5*x + 1 = -4*f. Suppose u + f*u = 5*p - 1667, 2*u = p - 339. Is p composite?
False
Let j(y) = -210*y. Let c(o) = 210*o. Let u(a) = 2*c(a) + 3*j(a). Let t be u(-3). Suppose 201 = -3*k + t. Is k prime?
False
Suppose 516*z - 505*z - 73293 = 0. Is z a composite number?
True
Suppose 4*x + 10 = 26. Suppose -5421 - 1919 = -x*v. Is v a composite number?
True
Suppose -a + 0 = -2, 0 = 2*d + a - 1108. Is (7 - 9)*d/(-2) a composite number?
True
Suppose 5*j = 381 + 2794. Is j a composite number?
True
Let h = -8 + 11. Let y(o) = -o**2 - 7. Let g(q) = -q - 7. Let x(c) = h*g(c) - 2*y(c). Is x(-8) composite?
True
Let n be (2 - 1 - 0/9) + 13. Suppose -n*j + 19*j = 6805. Is j composite?
False
Let i(a) = 786*a**3 + 4 - 2*a + 2*a**2 + a**2 - 4. Is i(1) a prime number?
True
Suppose 0 = 2*t - 45595 + 989. Is t prime?
True
Let v(q) = q**3 - 8*q**2 - 3. Let g be v(8). Let h be 1 - (-4 - (18 + g)). Is h/70 - 4266/(-14) prime?
False
Let j(q) = 15 + 22*q**2 + 4*q + q**2 + 3*q**2 + 27*q + q**3. Is j(-23) prime?
False
Let v be 30/(-4)*(1 + (-10)/6). Suppose 0 = -0*m + v*m - 1765. Is m composite?
False
Let r = 13 - 20. Let p(u) = u + 1. Let h(z) = -14*z + 3. Let g(m) = h(m) + 6*p(m). Is g(r) a composite number?
True
Suppose 5*g = -4*n + 26, 0 = -g + 2*n - 2 - 4. Suppose 0 = -g*t - t. Suppose 3*j + 71 = -4*p + 465, -3*p + 5*j + 281 = t. Is p a prime number?
True
Suppose 0 = -4*y + 5152 + 26284. Is y composite?
True
Suppose -4*s = -s - 7575. Suppose -4*n - n - s = 0. Is (n - 1)*8/(-16) a composite number?
True
Suppose 76 + 30 = 3*i + 5*x, 0 = -2*i + 3*x + 96. Let f be 1/3 - (-6992)/12. Let l = f - i. Is l composite?
False
Let g = -77 - -98. Suppose -g*i + 22*i - 5965 = 0. Is i composite?
True
Is (1319*-1)/(5 - 6) composite?
False
Suppose -32*u = -24*u - 145448. Is u a composite number?
False
Suppose 2*w + 33 = -1. Is 6/51 + (-42855)/w a composite number?
False
Let q(x) = -3*x - 6*x - x**2 + 1 + 13*x. Let u be q(3). Suppose u*d + 12 - 224 = 0. Is d a composite number?
False
Is 273303/(-6)*-4*(-1)/(-6) a prime number?
True
Suppose -4*r + 4*j + 183124 = 0, -r - 2*j - 183116 = -5*r. Is r a prime number?
False
Let i(r) be the third derivative of r**5/60 - r**4/8 - 11*r**3/6 - r**2. Let f be i(9). Suppose -3*w - 2*q = -87, 3*q = w - q - f. Is w a composite number?
False
Suppose 23*r - 24*r = -6. Suppose -r*i = -17 - 25. Is i a composite number?
False
Let z(r) be the third derivative of -r**4/12 - 2*r**3/3 - 2*r**2. Let t be z(-3). Suppose 424 + 78 = t*o. Is o prime?
True
Let i = 30099 + -14972. Is i a prime number?
False
Let 