3854 = 0, 3864 = -r - r + l. Let m = 0 - r. Suppose 252 - 2153 = -4*t + 5*z, 4*t - m = -5*z. Is t prime?
True
Suppose -21235880 = -88*m - 230479 + 13283887. Is m prime?
True
Suppose -29408317 = -60*z - 8746537. Is z prime?
True
Let g be (-6)/1*3695/15. Let w be 2/(-8) + 19882/8. Let i = g + w. Is i prime?
False
Let v(a) = 2*a + 85. Let q be v(-41). Suppose n - 8002 = 5*h - 7*h, h + q*n - 4001 = 0. Is h composite?
False
Suppose -12*c = -10*c + 2*w - 1341994, -3*w - 3355001 = -5*c. Is c composite?
True
Suppose -4*u + 10961 - 537 = 0. Let r = u + -1803. Is r composite?
True
Suppose 1412787 = 11*z - 516943. Suppose 12*w - z = 94990. Is w composite?
True
Is 2187344 - ((-126)/56)/((-3)/12) prime?
False
Suppose 1566 = 22*x - 370. Suppose 78*i = x*i - 43910. Is i a composite number?
False
Let c(z) = -273*z + 58. Let f be c(-6). Suppose 2*x - 1057 = -t - 360, 3*x - 6 = 0. Let o = f - t. Is o composite?
True
Let w(x) = -852*x**3 + 4*x**2 - 9*x + 6. Let l(z) = z**2 - z - 1. Let n(r) = 2*l(r) - w(r). Is n(2) a composite number?
True
Let r(j) = 35*j - 129. Let u be r(4). Let q(t) = 138*t - 17. Is q(u) composite?
True
Is (2/4)/(423625/211810 + -2) prime?
False
Let t = -45 + 35. Let o = 287 + -292. Is (t + 221)/((-1)/o) a prime number?
False
Let k(r) = r**2 - 2*r + 1. Let x(z) = 197*z**2 - 11*z + 8. Let c(n) = -5*k(n) + x(n). Suppose 0 = i - 5*w - 7, 5*i - 19 = 5*w - 4. Is c(i) composite?
False
Suppose 0 = 5*n - 5, -5*x + 76095 = -0*x + 5*n. Suppose 5*h + 15204 = m, m - x = -0*h - 2*h. Suppose 25*v - 27*v = -m. Is v a prime number?
True
Let o = 37812 - 26293. Suppose -w + 405 = s - 5353, -3*w + o = 2*s. Is s composite?
True
Suppose -244*a + 1490598 = -226*a. Is a composite?
False
Let k(v) = 2*v**2 - 12*v - 2. Let l be k(11). Let d = -1158 + 589. Let r = l - d. Is r prime?
True
Suppose 3*k = 4*z + 1537537, 3*k - 1019547 = -z + 517985. Is k a prime number?
False
Let r be (-125 + 3407)*(1 + 2/(-3)). Let j = r + -397. Is j composite?
True
Let m(a) = 3*a - 5 + 14*a + 8*a**2 - a**3 + 9*a. Let r(x) = -x**3 + 3*x**2 + 2*x. Let g be r(4). Is m(g) a composite number?
False
Let a(x) = -2*x**2 - 46*x + 26. Let t be a(-23). Suppose 0 = -3*g + t - 11. Suppose -g*j + 3*j = -3*n - 6413, 5*n = 5*j - 16030. Is j prime?
False
Let y(q) = 1555*q**2 + 21*q + 25. Is y(10) composite?
True
Suppose 5*h = -8*j + 3*j + 349200, 279365 = 4*h - j. Is h a composite number?
True
Suppose 0 = -9*h + 14*h - 550. Let i = -110 + h. Suppose 3*k + 2*k = 20, i = -2*j - 4*k + 5274. Is j prime?
False
Let a(j) = 940*j**2 - 1. Let c be a(-6). Suppose 54*y - 67*y = -c. Is y a composite number?
True
Suppose 4*z - 112 - 68 = 0. Let c be 6*6/z + 64/20. Is 2*1262/c + 4 prime?
False
Suppose 0 = -2*i - 5*z + 2863, 17 = 3*z + 2. Let h = 2586 - i. Is h composite?
True
Suppose -2*r + 5 = -1. Suppose -x = -9 + r. Is 4/x - (-1334)/6 composite?
False
Let b = 729637 - 400774. Is b prime?
False
Let k(g) = 44*g**3 + 13*g**2 - 25*g - 13. Is k(14) a prime number?
True
Let y(z) be the second derivative of 206*z**3/3 + 49*z**2/2 - 2*z + 2. Is y(7) composite?
True
Let x(c) = -8*c - 20. Let r be x(-12). Let u(i) = 6*i**2 - 4*i - 1. Let m be u(6). Suppose -3*y + m + r = 0. Is y prime?
True
Suppose -4*q = g + 3*g + 23300, -5*q = -3*g + 29157. Let l = 178 - q. Is l a composite number?
False
Suppose 2*p - 9 = -3*b - 1, -2*p = b - 4. Let j be ((-10)/6 + b)/((-5)/(-195)). Let m(s) = s**2 - 6*s + 6. Is m(j) prime?
True
Suppose 6 = 21*v - 18*v. Is 1/v*(10181 + -7)/1 composite?
False
Let c = -2963 - -6227. Let s = c - 1787. Is s composite?
True
Suppose 0 = p - 27 + 22. Suppose 0 = -4*i - p*d + 4936, 3*i + d = 1097 + 2594. Is i composite?
False
Let d(u) = 7000*u**3 + 9*u**2 + 59*u - 7. Is d(6) a composite number?
True
Suppose -8*x - 462 = -15*x. Is ((-44)/x)/(-1 + (-4225)/(-4227)) composite?
False
Let h be 6/(-24) - 4/((-16)/25). Let u(k) = 8 - 10*k - 1 + 12 - h. Is u(-7) a composite number?
False
Let g(v) = -v**3 - 4*v**2 - 4*v - 1. Let w be g(-3). Let t = -158 + 350. Suppose t - 710 = -w*o. Is o a composite number?
True
Let i be 3 + 1764 + 1 + 3. Suppose 12676 + 32374 = -85*q. Let h = i + q. Is h a composite number?
True
Let f = 252016 - 80279. Is f prime?
False
Let t(c) = c**3 + 17*c**2 - c + 1. Let d be t(-17). Suppose d*w - 28*w = -257390. Is w a prime number?
False
Suppose -5*q = i + 4, 3*i = q - 8 - 4. Suppose 2*t + z - 296 = 0, 5*t - 2*z - 731 = -q*t. Let a = t + 152. Is a prime?
False
Suppose 0 = 6*i - 15458454 - 10292736. Is i a prime number?
False
Suppose -6*z + 3*o + 553032 = -151179, -5*o = 2*z - 234695. Is z prime?
False
Suppose -v + 6 = -2, -5*b = 2*v - 12472961. Is b a composite number?
False
Suppose -33*h + 1398894 = -391983. Is h a composite number?
False
Let a be (-6468)/(-10) - (-7)/35. Let o = a + -958. Let q = o + 1264. Is q prime?
True
Suppose 120 = -f - 19*f. Let q be 6369 - 2/f*-12. Suppose i + 4*k = 1257, 4*k - q = i - 6*i. Is i a composite number?
False
Let u(l) = l**2 - 2*l. Let z be u(2). Let w(r) = 56*r**2 - 2*r - 24. Let f be w(5). Suppose -x - 3415 = -5*y, -2*y + x + z*x = -f. Is y a composite number?
False
Let i be 4/3*(2 - -28). Let o = i - 45. Is (-67)/((o - -4)/1) a composite number?
False
Let s be (3 - (-3 + 7))/(-1). Is (s - 1)*(-2 + 3) + 226 composite?
True
Suppose 0 = -0*m + 32*m - 125824. Is 1 + m + 5/(30/24) composite?
True
Let n(o) = 1154*o**3 + 34*o**2 - 11*o + 42. Is n(7) composite?
True
Let j = 322384 + -214385. Is j composite?
False
Suppose 31129 = -16*m + 175833. Let t = 19503 - m. Is t a prime number?
True
Let q(r) = -r**2 - 3*r - 2. Let v be q(-3). Let c be v - 1*(1 - 3). Suppose -x = -6*x + 20, c = 4*w - 5*x - 1832. Is w prime?
True
Let u = -26 + 10. Let l be (-1205)/25 + u/20. Is (-41811)/l + 4/(-14) a composite number?
False
Is (-3544329)/(-41) + (-54)/1107 composite?
True
Suppose 4*q - 8746 = 2*q. Suppose -2*u = 4*a - 3*a + 1751, -2*a + q = -5*u. Let f = 1608 + u. Is f a prime number?
True
Let h(y) = 59*y**2 - 1356*y - 23. Let v be h(23). Let m be 0 + (442/(-2) - -2). Is (v + -4)*-1 - m composite?
False
Let d = -1389 + 884. Let s = 1152 - d. Is s a prime number?
True
Suppose 12*l + l = 2*l. Let g(h) = 6931*h + 1. Let m be g(1). Suppose 2*t - 6*t + m = l. Is t a prime number?
True
Let s = 218 + -218. Suppose -p = y - 1395, s = -p - 4. Is y a prime number?
True
Let m(o) = o**3 - 8*o**2 + o + 20. Let g be m(11). Suppose -1020 = -2*r - 3*j + 1017, -5*r + 2*j + 5121 = 0. Let s = r - g. Is s prime?
False
Let t(v) be the third derivative of 1607*v**4/24 + 20*v**3/3 + 47*v**2. Is t(3) prime?
True
Let h = 3238 + 709. Let k = -2290 + h. Is k prime?
True
Let y(r) = -1046*r**3 + r**2 + 3*r - 3. Let m be y(1). Let i = m - -4638. Is i a composite number?
False
Let q(s) = s**3 - 4*s**2 + 3*s - 1. Let l be q(3). Let m be -65*l*(3 - 4). Let t = 506 - m. Is t composite?
False
Suppose 5*k - 2579 = -4*p, 3*p + 5*k = -611 + 2549. Let c be (4 - -2)*(-7)/(-14). Suppose 0 = 3*j + 2*d - 463, -c*j - d - 177 = -p. Is j a prime number?
False
Let y be 3099/(-4)*(-24)/9. Let q be 1 + 3/(-4) - 8314/8. Let m = q + y. Is m a prime number?
False
Let r = 66 - 61. Suppose 0 = r*i - 141 - 19. Is (-2)/(i/(-12)) + (-2002)/(-8) a composite number?
False
Let a = -590430 + 911503. Is a composite?
False
Let r be -15*(1 - 2) + (2 - -2). Suppose 0 = -r*p + 21*p - 9106. Is p a composite number?
True
Let q(k) = 53229*k + 173. Is q(2) prime?
False
Let l be 2 + 2 - 2 - (1 - 2). Suppose 0 = 5*v - o - 3601, l*v + 4*o - 966 = 1213. Suppose 5*p = -u + 332, 4*u - v = 2*p + 497. Is u a composite number?
False
Is (-21569709)/(-35) + (-28)/70 a prime number?
True
Let j = 432 + -430. Suppose 5*g = j*a - 28261, g = -9*a + 10*a - 14138. Is a prime?
True
Let k(g) = 68*g**3 + g**2 + g - 1. Let j be k(-1). Let p = 74 + j. Suppose -q = -p*q - 8, -1072 = -2*c - q. Is c composite?
True
Let l(m) = 3*m + 54. Let t be l(-17). Suppose 3*w - 10008 = -t*d, 4*d + 7*w - 2*w - 13343 = 0. Is d a composite number?
True
Suppose 0 = f + f + p + 60, 2*f + 5*p = -68. Let s = 35 + f. Suppose -11*o + 4885 = -s*o. Is o a prime number?
True
Suppose 0 = 29*n - 33*n + 44. Let i be 6954/n + 22/(-121). Suppose -5*y + i = x - 4*x, -5*y = 2*x - 637. Is y composite?
False
Is -7 + ((-25622)/(-1) - (-78)/((-78)/(-6))) prime?
True
Suppose -4*q = -2*v + 10, -3*q = -7*q 