 l a prime number?
True
Let d(u) = -9*u - 62. Let t be d(-9). Suppose 33*i - t*i = 9982. Is i composite?
True
Suppose 0 = n, -12 = -4*c + 4*n - 5*n. Suppose -5*m - 26068 = y - 2*y, -78234 = -c*y + 5*m. Is y composite?
False
Is (((-120)/(-360))/((-2)/352455))/((-2)/4) prime?
False
Let i(n) = -8*n**2 - 35*n + 344719. Is i(0) composite?
False
Suppose -5*j = -25, 4*m + 5*j - 20 = 13. Is (8/(-4))/(m + 2232/(-1114)) a prime number?
True
Suppose -i = i - 8. Suppose -8*x + 97756 = -i*x. Is x composite?
False
Let y = 480618 - 23732. Is y composite?
True
Suppose 14*d - 8*d + 24*d - 4624350 = 0. Is d a prime number?
False
Let v = -58690 + 110661. Is v a composite number?
False
Let a be 3*79*36/108. Let h = 381 - a. Is h a composite number?
True
Let a(c) = 17*c - 17. Let r be a(1). Is r*(-6)/(-12) + 923 composite?
True
Let l(u) = -58 + 120 - 53 + 80*u. Suppose -4*x + 6 = -14. Is l(x) a prime number?
True
Let n(l) = 8557*l + 2399. Is n(26) a composite number?
False
Let w = -5555 + 12502. Is w a prime number?
True
Let h(a) = -a**3 + 3*a**2 - 57*a - 21. Let o be h(14). Let l = 5804 - o. Is l a composite number?
False
Let k(j) = -18*j + 49. Let u be k(3). Let n(y) = 7*y + 154. Is n(u) prime?
False
Let p(a) = 5*a + 2. Let x be p(5). Suppose 0 = -v + 4*v - 1608. Let m = v + x. Is m a prime number?
True
Suppose 10*r = 16 + 14. Suppose 0 = 5*w - r*a - 63 - 11, 42 = 3*w - 3*a. Let d = 963 - w. Is d a prime number?
True
Let y = 6769 + -4504. Suppose -3*n - 3*s = y, -3*n + 5*s - 2300 = s. Let m = -467 - n. Is m a composite number?
False
Suppose -4*p + 54 = 46. Suppose -3*j = a - p*a + 10, 4 = -2*a. Is -4*5/j*321/5 prime?
False
Suppose -3*i = -4*p - 198197, -10*i - p + 132135 = -8*i. Is i a prime number?
True
Let d(q) = 5*q**3 - 10*q**2 + 8*q - 1. Suppose p + 3*p = -x + 23, 5*x = 5*p - 35. Is d(p) composite?
True
Suppose 3*n - 42266 = 2*t, 0 = 2*n - 9*t + 7*t - 28176. Let i be -9 + 5 + n - -4. Suppose 0*r - i = -10*r. Is r prime?
True
Let h(j) = -474*j**3 + 135*j**2 + 3*j + 7. Is h(-5) a prime number?
True
Let u be ((-36)/27)/(3/(-9)). Let i be u - 4968*(-2)/(-6)*-2. Suppose 206 = s + n - 1453, -2*s = n - i. Is s prime?
True
Let w(q) be the third derivative of q**4/12 + q**3/2 - 13*q**2. Let p be w(0). Suppose -2*b + 3*b - z = 13, p*b - 5*z = 35. Is b a prime number?
False
Let n(h) be the third derivative of -17*h**6/60 + h**5/30 + h**4/12 - 15*h**2. Let b be n(2). Let j = b - -439. Is j prime?
True
Suppose -5*t + 511844 = -3*z, -360237 - 151604 = -5*t + 2*z. Is t a composite number?
False
Suppose 23*g + 14*g + 137981 = 1251718. Is g composite?
True
Suppose 5*b + 5*m - 930 = 0, 3*m - 6*m - 582 = -3*b. Suppose -3*i - 4*i = -35. Suppose b = -i*q + 2085. Is q a composite number?
False
Suppose -w - 108 = 162. Let x = w + 173. Is x*((0 - (2 - -15)) + 0) prime?
False
Let n = 38506 - 20789. Is n prime?
False
Suppose -y = -4*b - 74, 3*b + 0*b = -12. Let z = y + -55. Suppose -3*a - 6*w = -z*w - 3264, 3*w = 3. Is a a composite number?
False
Let y(b) = -14*b**2 + 3*b - 3. Let h be y(21). Let x = h - -8843. Is x a prime number?
True
Let r(t) = -3*t - 8. Let l be r(-4). Suppose 6*x = l*x + 12. Suppose -h + 2793 = 5*q, h = x*h + q - 13869. Is h a prime number?
False
Suppose -76*x + 58587 = 3*v - 75*x, 0 = 3*x + 18. Is v a composite number?
False
Let t(g) be the first derivative of 14*g**3/3 - 35*g**2/2 + 20*g - 55. Is t(19) composite?
False
Suppose 0 = 4*x - 2 - 6, 4*x - 8 = 5*g. Let a be 4*(11 - 12)/(-2 + g). Suppose a*v = 508 - 34. Is v composite?
True
Suppose 43 = 5*b - d, -34 + 12 = -2*b + 2*d. Is (-18)/30 + b/(-60)*-17502 a prime number?
True
Suppose 60490 + 654188 = 6*m. Let n = m + -62744. Is n composite?
False
Suppose 3*l + l = 0. Let r = -521 + 526. Suppose -5111 = -4*u - x, -r*x = 2*u - l*u - 2569. Is u prime?
True
Let z be 132/55 + -2*(-3)/10. Suppose -978 = -p + z*b, 0 = -b + 7 - 2. Is p a composite number?
True
Let i be (-6 - 36/(-6)) + 44088. Suppose 32*r = 8*r + i. Is r a composite number?
True
Let g be ((-2397)/(-2))/((-63)/(-12) + -5). Let n = -1503 + g. Is n prime?
False
Let b = -101967 - -148774. Is b composite?
False
Let f(n) = 1845*n**3 + 8*n**2 + 45*n - 121. Is f(5) prime?
True
Suppose -23 = -12*g + 1. Suppose g*k + 395 = 4341. Is k prime?
True
Let v(u) = -113*u**3 + 2*u**2 - 7*u - 23. Is v(-6) prime?
True
Suppose 155*d - 45 = 164*d. Let o(f) = -285*f - 16. Is o(d) a prime number?
True
Suppose -2*f + 1 = -9. Suppose 0*i - 4075 = -f*p - 4*i, -4*p = -2*i - 3286. Suppose 7*l + 301 - p = 0. Is l a composite number?
True
Is (380/(-114) + (-3)/(-9))*(-4049)/3 composite?
False
Let a(t) = 13*t**3 - 2*t**2 - 15*t + 5. Let u be a(-8). Let p = u + 11380. Is p composite?
False
Let n(h) = -52*h. Let q = 20 - 18. Let o be n(q). Let p = 475 + o. Is p a composite number?
True
Let u(s) = -144*s - 21. Let i(w) = -w. Let x(n) = 3*i(n) - u(n). Let o be x(5). Suppose -4*b + 2*f + 1448 = 0, b - 3*b + o = -2*f. Is b a composite number?
True
Let c be 7/105*-6*-60. Suppose c*h = -83617 + 425449. Is h a composite number?
False
Let w(z) = -z**3 + 22*z**2 + 40*z + 6. Let f be w(-16). Suppose 41*i - f = 39*i. Is i a prime number?
True
Let p = -42 + 39. Let q be p/(-1) + 4 + -2 + -5. Suppose 3*s - 3602 - 6679 = q. Is s a prime number?
False
Let x be ((-14032)/(-10) - 4)*(-11 + 1). Let w = x - -29503. Is w a composite number?
False
Let b be (6229 + 1)*(-40)/(-50). Suppose 2*d = -4*l + b, -10*l + 6231 = -5*l + 2*d. Is l a prime number?
False
Let a be (-1 + -7 + 81/27)/1. Is -5 + (104/10)/(a/(-4575)) composite?
False
Suppose 2*z - 281768 = -76*a + 81*a, -4*a = 8. Is z a prime number?
False
Let u(b) be the first derivative of -b**4/4 + b**3/6 - b**2 - 13. Let m(q) be the second derivative of u(q). Is m(-2) a composite number?
False
Let p = -68 - -132. Suppose -3*l + 160 = p. Is 8/(l/687)*4 composite?
True
Let b(h) = 1414*h + 370*h - 3*h. Is b(1) a prime number?
False
Let f be 6/(-5)*-5 - -2. Let i be (2/4)/(f/16). Is i/(3/(-1191))*-5 a prime number?
False
Let d(h) = 2*h**2 + 13*h + 9. Let j be d(-6). Let f(k) = 7*k**3 - 2*k**2 + 3*k + 3. Let m be f(j). Is 0 - 2 - 6/((-18)/m) composite?
False
Let t be -1*(5 - 1) - -4. Suppose t*u - 8656 = -4*u - 4*k, -2*k + 8650 = 4*u. Is u a prime number?
True
Let c = -7550 + 11360. Suppose z + c = 2*a - 2350, -2 = z. Is a a composite number?
False
Let k(g) = -g**3 - g**2 - g - 38. Let w be k(0). Let m = 35 + w. Is (-10 - -13)*(-413)/m a composite number?
True
Let x = 10 + -15. Let o(i) = 5*i**2 - 8*i + 4205. Let d(h) = 3*h**2 - 5*h + 2803. Let t(r) = x*o(r) + 8*d(r). Is t(0) a prime number?
True
Suppose 0 = 3*j - 0*f + f - 13367, 3*j + 2*f - 13372 = 0. Let s = 8145 - j. Is s prime?
True
Is ((-19231)/3)/(174/(-522)) composite?
False
Let r(s) = 42*s**2 - 12*s**2 - 11*s**2 + s - 17*s**2 - 2556*s**3. Is r(-1) a prime number?
True
Let j = -53977 + 148408. Is j prime?
False
Let u = 315 - 63. Is 409140/u - 4/7 prime?
False
Let u = -379 - -382. Let v(w) = 3584*w + 19. Is v(u) a composite number?
False
Let b(q) = -3 - 222*q - 36*q + 45*q. Let o be b(-5). Let u = o - 757. Is u a composite number?
True
Suppose 0 = -r - 130*r - 45*r + 172603024. Is r composite?
True
Let b = 292984 - -13317. Is b prime?
True
Is (-1734785)/(-10) - 0 - (-108)/(-72) a composite number?
True
Suppose -2*r = o + 13, 2*o + 2*o + r = -66. Let p be o/(-85) + (-274)/(-5). Let q = 136 + p. Is q a prime number?
True
Suppose 89*x - 3660574 = -849687. Is x prime?
True
Let a(x) = x**3 + 6*x**2 - 9*x - 7. Let w be a(-6). Suppose m - 3*s + 257 = 0, 0 = -5*m - s + w - 1396. Let v = m + 382. Is v prime?
True
Let a = 9858 + -4944. Let t = a - 1321. Is t a composite number?
False
Let j(s) = -s**3 - 7*s**2 - 5*s + 2. Let b be j(-6). Let t be b/(-18) + 82116/81 - 0. Suppose -7*d = -t - 6259. Is d a composite number?
False
Let p(f) = 23*f**2 - 22*f**2 - 3398*f**3 - 2*f - 1264*f**3 - 2. Is p(-1) composite?
False
Let y(c) = -7 - 1 - 52 - 203*c - 48. Is y(-31) a prime number?
False
Let l(j) = -22*j - 53. Let v(q) = -22*q - 65. Let h(o) = -4*l(o) + 3*v(o). Suppose k = 6*k - 25. Is h(k) prime?
True
Let t = 235346 + 738995. Is t a composite number?
True
Let y(q) = q**3 + 449 - 2*q**2 + q**2 + 0*q**2. Let v(n) = n**3 - 2*n**2 - 13*n + 30. Let w be v(3). Is y(w) prime?
True
Let x = -118 + 23. Is (885/(-15))/(2 - x