 1172602 = 0. Is c composite?
False
Let a = -40 + 40. Suppose -3*p - 989 = -4*f + 1584, f - p - 644 = a. Suppose 3*o - f = -4*y, 964 + 95 = 5*o + 2*y. Is o a prime number?
True
Suppose 8*f = 5*q + 3*f - 5, 0 = 2*f + 2. Suppose -6*k + 19955 + 1603 = q. Is k a composite number?
False
Suppose 0 = -5*s - 2*g + 5*g + 9484, 3*s - 3*g = 5694. Suppose 13*o - 331 = -279. Suppose -4*w + s = w + 2*c, 4*w + o*c = 1504. Is w a composite number?
True
Let v = 5461 - 17403. Let y = -5599 - v. Is y a prime number?
True
Let z(f) = 517*f**2 + 26*f - 28. Is z(17) a prime number?
True
Let f(s) = -155 - 40*s + 4*s**2 + 38*s + 13*s**2 + 33*s**2. Is f(-11) prime?
False
Let m(a) = -2*a + 29. Let n be m(7). Suppose -n*f - 11182 = -63412. Is f composite?
True
Let v = 3 - 12. Let h(p) = 98*p**2 + 17*p + 4. Is h(v) prime?
True
Let a be (4/(-5))/(4/(-10)). Let o(z) = z**3 + 12*z**2 - z - 30*z**2 + 419 + 19*z**a. Is o(0) a composite number?
False
Suppose 4414 + 14 = 4*r. Suppose -d + 2934 = -2*b - r, -3*b + 16208 = 4*d. Is d composite?
False
Let a = -60697 - -413784. Is a a composite number?
True
Let f = -3550 - -4889. Is f prime?
False
Let s(q) = q**2 - q - 4. Let h be s(3). Suppose -t + h*t = 972. Suppose 4*r + t = 4*o, 4*o - 5*r + 154 - 1130 = 0. Is o composite?
False
Let k(o) = 426*o**2 + 176*o - 1085. Is k(6) prime?
True
Let j(x) = -x**3 - 6*x**2 - 2*x - 6. Let q be j(-6). Suppose 4 = -7*d + q*d, -4*m - 3588 = -d. Let o = -267 - m. Is o a composite number?
False
Let j be (4 + (-39)/6)*22/(-5). Suppose 48847 = j*w - 70756. Is w a prime number?
False
Let z be 0*(-4 + (-18)/(-4)). Suppose 3*r + 5*g = 16129, 4*r + 22*g - 18*g - 21516 = z. Is r a prime number?
False
Let i = 1164180 + -529613. Is i a composite number?
False
Let b = -4016 - 11377. Let v = -9654 - b. Suppose 0 = 7*g - 10*g + v. Is g composite?
False
Let o(h) = 37*h - 29. Let u be o(-1). Is 165/u*3862/(-5) composite?
False
Suppose -4*b + 379528 = a - 320306, 5*b = -2*a + 874791. Is b composite?
False
Let d be (0 - 2)/((-10)/10). Suppose -n + d*n = 5*o, 5*n + 2*o = 0. Suppose 4*c + 3*h - 1336 = n, -5*h + 1026 = 4*c - 302. Is c composite?
False
Is (-703195*(-7)/70)/(-1 - 6/(-4)) a prime number?
True
Let m = 56 + -52. Suppose m*r - 17 = b, 4*r + 40 = 5*b + 9*r. Is 1/((-1384)/(-460) - b) a composite number?
True
Let z(k) = k**3 - 8*k**2 + 6*k + 13. Let y be z(7). Let u be (14 - -14)/(y/(-237)). Let c = u - -2785. Is c composite?
True
Suppose -2*p - 78648 = -4*j, -j - 43*p + 47*p + 19669 = 0. Is j a prime number?
True
Let p = -440 - -440. Suppose 2*c - 1675 + 1247 = p. Is c a prime number?
False
Let f = 22 + 15. Let g = f + 490. Let m = 210 + g. Is m a composite number?
True
Let j = 64 + -56. Let n(r) = r**2 - 9*r + 7. Let z be n(j). Is -1*(-1337)/z*-1 a composite number?
True
Let l = 21996 - 21175. Is l a prime number?
True
Suppose 2*i = -4*t + 20490, -i = -3*t + 3*i + 15395. Suppose x = 994 + t. Is x composite?
True
Let a(r) = 2*r**3 - 254*r**2 - 350*r - 2435. Is a(154) prime?
True
Let f(x) = x**2 - x - 3631. Let z be f(0). Let b = -2462 - z. Is b a prime number?
False
Let y(p) = p**3 - p**2 - 13*p**2 - 31*p + 55*p. Let r be y(12). Suppose 3*g = -0*g - 4*v + 1749, r = 5*g - 5*v - 2950. Is g composite?
False
Let y(x) = -526*x - 46. Let k be y(13). Is k*(-9)/24*12/18 composite?
False
Let v(i) = 19085*i - 488. Is v(39) composite?
True
Let n = -129564 + 389555. Is n a prime number?
True
Let k be (3/6)/(-2 + 5043/2520). Suppose -4*f + n - 5*n = k, f = -3*n - 107. Let i = 153 - f. Is i a prime number?
True
Suppose -628751082 - 364709097 = -339*h. Is h a composite number?
False
Let a(z) = -10*z - 2*z + 18*z - 7*z - 1. Let y(n) = 97*n**2 - 5*n + 6. Let l(d) = 2*a(d) + y(d). Is l(-3) a prime number?
False
Let t be (-6*(-2)/(-15))/(9/45). Is (5/(30/t))/((-24)/513972) a prime number?
False
Let a(d) = -2*d**3 - 59*d**2 - 26*d + 28. Is a(-41) prime?
False
Let o(f) = 7*f**2 - 8*f + 16. Let l be o(-9). Suppose 105*x - 100*x - l = 0. Is x a prime number?
True
Suppose 5*x = -3*h + 3126, 0*x + 2*x = 2*h - 2068. Is -1*1*(30 - h) a prime number?
False
Let p be (-4*2/(-3))/(8/(-204)). Let k = p + 289. Is k a prime number?
False
Suppose -13*q = -8*q + 4*n - 2141, -3*n - 1263 = -3*q. Suppose 0 = r - q - 22974. Is r prime?
True
Suppose a - 74577 = 418*f - 420*f, 223706 = 3*a + f. Is a prime?
True
Suppose 2*h = -3*z + 35, 3*z - 7*h = -6*h + 41. Suppose z*k - 241071 + 4094 = 0. Is k a composite number?
False
Suppose 20 + 40 = 15*c. Suppose c*d - 3*d - 2523 = 4*t, -5071 = -2*d + 3*t. Is d prime?
True
Let p(g) = -4*g**2 - 4*g - 2. Let u be p(-12). Let t = u + 844. Suppose -t = 49*b - 51*b. Is b a composite number?
False
Let g(f) = -3*f - 47*f**3 - 14*f + 23*f**3 + 11*f**2 + 3 + 23*f**3. Let a be g(9). Suppose a*k - 18*k = -4074. Is k a prime number?
False
Suppose 2*t = -0 + 4, -t = -3*s + 7. Suppose r - 2*b = -s*b + 3945, -5*b = r - 3953. Is r a prime number?
True
Suppose 2*k + c - 73179 = 0, -5*c - 36584 = -134*k + 133*k. Is k a composite number?
True
Suppose -9*i - 41580 - 10125 = 0. Let s = i + 17186. Is s a prime number?
False
Suppose 3*c = -4*l + 8, -2*c = 4*l - 14 + 2. Suppose -24*q - 5448 = -20*q. Is c/8*q - 2 prime?
False
Let h = 7921 + 8112. Is h a prime number?
True
Let s(x) = -16093*x - 4892. Is s(-15) a composite number?
False
Let j(i) = 120*i**2 - 29*i + 90. Let s(n) = 359*n**2 - 83*n + 271. Let t(m) = -8*j(m) + 3*s(m). Is t(10) composite?
True
Let u(m) = 605*m**2 + 67*m + 389. Is u(-6) prime?
True
Suppose 0 = 3*r - m - 1328665, -58*r + 59*r - 442891 = -m. Is r composite?
True
Let y(t) = -t**3 + 18*t**2 - 15*t - 11. Let c be y(17). Let x(m) = 1 + 3 + 0*m**3 + 16*m**2 + 3 - c*m - m**3. Is x(12) prime?
True
Suppose 15*j = 19*j - 12. Suppose -3*u + 0*u + j*s = -39867, -5*u - 2*s + 66459 = 0. Is u a prime number?
True
Suppose -5*b - 20135 + 758219 = -b. Is b a composite number?
True
Let s(m) = 22558*m + 2897. Is s(32) prime?
False
Suppose 12*q + 37 + 179 = 0. Is 1/6 + (-15765)/q + 1 a composite number?
False
Is (-115206936)/(-1326) - (-2)/(-34) composite?
True
Let y(v) = -7*v + 35. Let b(m) = -1. Let a(k) = -4*b(k) - y(k). Let r be a(11). Suppose -r = 6*h - 472. Is h a composite number?
False
Is (3123420/(-120))/(3/(-42)) prime?
False
Suppose -13*a + 5*a = -16. Let j be (0 - 2348/(-4)) + a. Suppose 25*g = 26*g - j. Is g a prime number?
False
Let r be 1/(-1) + (35/5 - -15572). Let a = r - 6321. Is a a prime number?
True
Suppose 5*f - 12 = m, -3*f + 25 = -3*m + 13. Is 474 - -27 - (-2 - m) prime?
False
Suppose 13*k + 110110 - 946517 = 0. Is k composite?
True
Suppose -3*q - 202748 = -2*y, 55*y + 3*q = 59*y - 405502. Is y a prime number?
True
Let n = -50 - -53. Suppose a + 2*a + 9 = 0, -21 = -4*u + n*a. Suppose -2*x + 790 = 5*i + u*x, 0 = -x - 3. Is i composite?
True
Let m(s) be the third derivative of -s**6/120 + 11*s**5/60 + 4*s**4/3 - s**3/6 + 10*s**2 + 7*s. Is m(10) a prime number?
True
Let j = 37389 - -29530. Is j a prime number?
True
Is (24/(-3) - (-615)/75) + 693814/5 a composite number?
False
Let d = -480 - -480. Suppose -h - 7*z = -10*z - 8311, d = -3*h + 4*z + 24933. Is h a prime number?
True
Let y = 722254 - 391757. Is y prime?
False
Suppose 1183515 = -39*a + 4832008 + 382118. Is a a prime number?
True
Suppose -37 = -d - 4. Let z = -116 - -120. Suppose 0 = 4*t - 0*m - m - 132, -t = -z*m - d. Is t a composite number?
True
Let t be 8 + -1 - 8/(-2). Let l be (1 - t/3)*(4 + -1). Let h(d) = 10*d**2 + 25*d - 3. Is h(l) a composite number?
True
Suppose -181*w - 10 = -176*w, 1357041 = 5*f + 2*w. Is f composite?
False
Let g = -3 - -6. Suppose 0 = 9*r - 11*r + 5350. Suppose -u - g*n = -649, -4*u + 2*n + r - 149 = 0. Is u a composite number?
True
Suppose 0 = -137*x + 3383657 + 1713154. Is x a prime number?
False
Suppose 3*u + 3 = -3*g, 2*u + g - 11 = 5*u. Let y(x) = -62*x + 10. Let b(v) = -123*v + 21. Let w(n) = u*b(n) + 5*y(n). Is w(4) prime?
True
Is (-4 + (-65)/(-39))/(1/(-3)) + 1803230 composite?
True
Suppose -131*n = -129*n - 3222. Let u = n - 146. Is u prime?
False
Is (-1427972 + -1)*(-2)/9 - (-13)/(-39) prime?
True
Let g(l) = 27*l**2 + 22*l - 3. Let x be (-20)/(-55) + (-1750)/154. Is g(x) a composite number?
True
Let g(l) = 1194*l + 49. Let v be g(-2). Let k = 578 - v. Is k composite?
False
Suppose -14*t + 0*t = -12320. Let z 