 617*x - c + 3381717 = 622*x. Is x composite?
True
Let f = -254935 - -499133. Is f composite?
True
Suppose -5*z - 61471 = -41*p + 39*p, 4*p - 5*z = 122907. Is p a prime number?
False
Let x = -138 - -134. Let w be (2*(574/x)/7)/(-1). Suppose 2*b - 3*r - 86 = 0, 0 = 10*b - 9*b - 2*r - w. Is b composite?
True
Let s = 46055 - 26458. Is s a prime number?
True
Is 12/(-18)*(-8556)/8 composite?
True
Let y(k) = -3*k**3 - 32*k - 40. Is y(-21) composite?
True
Suppose 25*j - 28308297 + 15859709 = 35652187. Is j a prime number?
True
Suppose -2*k + 589 = t + 4*t, -5*t + 25 = 0. Let q = -192 + k. Suppose q*n - 93*n = -3873. Is n prime?
True
Let k(m) = -m**2 + 25*m - 15. Let p be k(5). Let v = 212 - p. Is v composite?
False
Let b be (323892/(-30))/(-9)*(-5)/(-1). Is ((-14)/14)/((-2)/b) a prime number?
True
Let o = 152721 + -62498. Is o prime?
False
Suppose -5*p + 1 = -4*p. Suppose 3*g - p = -1. Is (g + 1)/(6/5034) composite?
False
Let f = -1 + 11. Let c(h) = 33 - 2 + 32*h - 14. Is c(f) a composite number?
False
Let a(v) = 1050*v**2 + 45*v + 3302. Is a(-49) composite?
False
Let g(k) = k**2 + 3*k - 6. Let u be g(-5). Suppose 2*p + 1412 + 2919 = 5*m, 0 = 4*p - 8. Suppose -u*l = -l - m. Is l composite?
True
Suppose -7 = -3*i + 2. Let r be (-2 + i)*0/4. Is ((-3485)/5)/(-1 - r) a composite number?
True
Let o(u) = -u**3 - 46*u**2 - 237*u - 111. Is o(-56) a prime number?
False
Suppose 5*i - 8*i = 15*i - 3671442. Is i a prime number?
True
Suppose -64*l = 26923057 - 110409585. Is l prime?
True
Suppose 0 = -32*z + 380129 + 3325119. Is z a prime number?
False
Suppose -2*h - 955 = 3*h. Suppose 6*x = 11*x + 2*o - 1610, 2*o = -2*x + 638. Let w = x + h. Is w prime?
False
Let o(y) be the first derivative of -508*y**2 + 65*y + 1. Is o(-7) a prime number?
True
Suppose -t = -i - 167, 0 = -4*i + 2*i + 4. Let r = 621 + -408. Suppose 2*g + 3*l + t = 6*g, -5*g + 2*l = -r. Is g a composite number?
False
Is 9/(-90) + 946782/20 a prime number?
True
Let p(o) = -594913*o**3 + 5*o + 6. Is p(-1) prime?
False
Suppose -515*n = 339*n - 2088505678. Is n composite?
False
Let a(o) = 2373*o**2 + 8*o - 20. Is a(-3) a composite number?
False
Let w(m) = -m**3 - 6*m**2 - 13*m - 40. Let g be w(-5). Suppose 2*s + 8*s - 7330 = g. Is s prime?
True
Suppose 7*r + 205 - 723 = 0. Let j = 76 - r. Is (((-14)/3)/(-7))/(j/99) composite?
True
Suppose -j = -r + 797468 - 47397, -3*r + 5*j + 2250221 = 0. Is r prime?
False
Suppose -5*u = -a + 17573 + 3055, 0 = 4*a + 4*u - 82488. Is a prime?
False
Let h(y) = 95*y**2 - 18*y + 2. Let t be h(10). Suppose -5*m - 2308 = -n, 0 = -6*n + 2*n + 2*m + t. Is n a prime number?
True
Suppose -5*y - 2 = 3. Let i be y - 2 - (-17 + 11). Suppose i*d + 973 = 10*d. Is d composite?
False
Suppose 16*q - 2216 = 8*q. Suppose 5*x + 31 = 2*m - q, -2*m + 302 = -2*x. Is m composite?
False
Let t(q) = 3*q**3 - 13*q**2 + 202*q - 163. Is t(24) prime?
True
Suppose 31*v - 1251737 = -39*v + 7018693. Is v composite?
True
Let h(s) = -s**3 - 13*s**2 - 13*s - 16. Let t be h(-12). Let k be ((-3782)/3)/(t/30)*1. Suppose 2*o - 7*r + 2*r - 3768 = 0, -5*r = 5*o - k. Is o prime?
True
Suppose 3*y + 4*r = 6241, 4*y - 8*r + 3*r = 8311. Suppose -l - y = -2*s, -5*s - 7*l + 5193 = -5*l. Is s a prime number?
True
Suppose 3*t + 5*o = -19, -t = 5*o - 0 + 3. Let f(k) = 148*k**2 + 17*k - 15. Let p(m) = -99*m**2 - 11*m + 10. Let y(n) = t*p(n) - 5*f(n). Is y(-4) composite?
True
Suppose 45*a - 64 = 26. Suppose 3*n + 2*n = 0. Suppose -10*p + a*p + 392 = n. Is p composite?
True
Suppose 4 + 2 = 3*n - 3*w, 0 = -3*n + 5*w + 6. Is 1359 + n + (2 - 2) prime?
True
Suppose -1060 = -8*c + 61*c. Is 38630/c*(-4)/2 a prime number?
True
Let r(m) = 3*m**2 - 2*m + 1. Let c be r(-2). Suppose 3*g = c - 5. Suppose 0 = -g*b - 12, -2*o + 5*b = -158 - 111. Is o prime?
True
Let y = 23762 + 41399. Is y prime?
False
Suppose -4*d - 4*z = -2*d - 24, -5*d = -z - 27. Let v be 24/10*(-1 - (-201)/d). Is (76005/39 - (-12)/v)/1 a composite number?
False
Suppose -6*c = -c + 30. Let a(l) be the second derivative of 2*l**4/3 - 2*l**3/3 - 5*l**2/2 - 17*l. Is a(c) a prime number?
True
Let h = 386590 + -220817. Is h a prime number?
False
Suppose 4*y - 141 = 4*g - 397, 0 = -2*g + y + 125. Let c = 2162 - g. Is c a composite number?
True
Let i(n) = 50*n**2 - 24*n + 971. Is i(-69) a composite number?
False
Let i(t) = -143*t + 7. Let w(x) = 2*x**3 + 3*x**2 + 7*x + 10. Let l be w(-2). Is i(l) a prime number?
True
Suppose -3*c - 26*l = -28*l - 2694591, -18 = -3*l. Is c composite?
True
Let o = -580606 + 2159707. Is o composite?
True
Let h be (-8)/(-12)*1/((-6)/9). Is h/2*((-3704 - -5) + 5) composite?
False
Let v = 408122 - 269983. Is v composite?
False
Let z(g) = 9489*g + 999. Is z(26) prime?
False
Let a(o) be the third derivative of o**6/120 - o**5/10 + 3*o**4/8 + o**3/6 - 69*o**2 + 1. Is a(8) a composite number?
True
Suppose -2335*f + 2318*f = -7091533. Is f a prime number?
False
Let x(s) = -3*s**2 + 2*s + 3. Let j be x(1). Suppose 28*o - 24*o = -j*m + 1356, -m + 1695 = 5*o. Is o a prime number?
False
Suppose 5*t + 5*q - 130 = 0, 0*t + q = 3*t - 98. Let r(f) = -538*f**2 + 3*f - f + t + 2*f + 550*f**2. Is r(-11) a prime number?
True
Let o(z) = -1222*z - 1435. Is o(-54) a prime number?
True
Is 163072 - (0 + (-8 - -14) - 1) a prime number?
False
Let c be (-35)/(-2)*128/40. Suppose 4685 = 2*a + 1219. Suppose -55*n = -c*n + a. Is n a composite number?
False
Suppose 30 - 39 = -3*n. Suppose c + 2*l = -0*l + 731, 4*l = -n*c + 2195. Is c composite?
False
Let s(o) = -52*o**2 - o**3 + 67*o**2 - 42244 + 42238 - 10*o. Suppose 3*q - 4*l - l + 1 = 0, -5*q - 3*l + 55 = 0. Is s(q) a composite number?
True
Suppose 8*t - 123 = 197. Let x = 40 - t. Suppose x*l + 193 = q + 5*l, -5*q - 5*l = -1005. Is q prime?
False
Let i be (-7)/(-63)*6*(2 - -1). Let q = -736 + 1442. Suppose 3*f - i*a = q + 1019, 1716 = 3*f + a. Is f composite?
True
Suppose -5*h = -22*p + 18*p - 366275, -5*p = -h + 73234. Is h a composite number?
False
Let w(j) = -20*j**3 + 21*j**2 + 41*j + 11. Let h be (-1)/((1 + 5)/42). Is w(h) prime?
False
Suppose -8 = -2*n, 2*n = -3*r + 411477 + 615734. Is r composite?
True
Let x = 1083008 + -734893. Is x a prime number?
False
Suppose 4*v - 73 = i, 2*v - 8*i - 39 = -5*i. Is (-2932)/(-18) + v/162 composite?
False
Let g(k) be the second derivative of k**4/4 - 3*k**3/2 + 85*k**2/2 - 13*k + 2. Is g(-31) composite?
True
Let m = 159292 + -100068. Suppose 8*i - 16*i + m = 0. Is i prime?
False
Let k(p) = p**3 - 6*p**2 + 3*p + 10. Let a be k(5). Suppose 23*h - 24*h + 84 = a. Suppose -h = 3*q - 957. Is q a composite number?
True
Suppose 8*x - 5*q = 4*x + 1085444, 2*q = -4*x + 1085388. Is x prime?
True
Is ((-88099)/(-33))/(1 - (-870)/(-873)) a prime number?
False
Let h be ((-2)/(-5) - 0) + (-13)/(-5). Suppose 40947 = -7*l + 10*l + 5*p, -h*l - p = -40947. Is l composite?
False
Let i(z) = -z**3 + 17*z**2 + 14*z + 34. Let f(x) = 13*x**3 - x**2 - 2*x + 2. Let m be f(1). Suppose m*d = 6*d + 90. Is i(d) a composite number?
True
Let y(h) = -453*h + 464*h + 14*h**2 - 213 + 61. Is y(15) prime?
True
Let u be (-693)/(-14)*(-4)/3. Let a = u - -87. Suppose 0 = 26*o - a*o - 4105. Is o composite?
False
Suppose m - 20 = 6*m. Let y be (0 + 0)*(-1)/m. Suppose -4*f - s + 344 = y, 0 = f + s - 18 - 65. Is f a composite number?
True
Let v(q) = 28*q**2 + 11*q - 2. Let m be v(6). Suppose 0 = -5*h + 15, -z + 5*h = -m - 124. Is z composite?
True
Suppose 0 = 5*u - 5*a + 190, 0 + 4 = 2*a. Is (-2)/(-3)*(-32346)/u a composite number?
False
Let c(n) = 2*n**2 + 22*n - 121. Let g(u) = 3*u**2 + 42*u - 242. Let d(j) = 5*c(j) - 3*g(j). Is d(0) a prime number?
False
Let o(n) = 5*n**2 - 3*n. Let b be o(-1). Suppose 9*x - b*x = 10158. Is (5/(45/6))/(4/x) prime?
True
Let r = -49389 + 133766. Is r composite?
False
Suppose 613*q - 615*q = -48326. Is q composite?
True
Suppose 0 = -5*p - 5*r + 5886925, 6*p + r + 2967691 - 10032011 = 0. Is p a prime number?
True
Is 248/36*60327 + (5 - -3) a prime number?
False
Suppose 0 = 18*f - 349303 - 73996 - 115927. Is f composite?
True
Let l(p) = p**2 - 12*p + 15. Let q(i) = -i + 7. Let a be q(-4). Let d be l(a). Suppose 5*z = -4*f + 2133, 0 = -0*f + d*f + 2*z - 2142. Is f prime?
False
Let q be 9/(-6)*(3078 - -44). Let r = 2823 + 4859. Let d = r + q. Is d a prime number?
True
Let k(j) = -3*j**2 - 7*