 = 23*p - 21*p. Let h = 8480 - p. Is h prime?
True
Suppose -14*y + 14 = -7*y. Suppose 3*l - w + 2*w = 18813, -y*l = -w - 12542. Is l prime?
True
Is ((-6)/((-120)/(-110)))/(3/(-9186)) a prime number?
False
Let g = -110 - -103. Is g/(-28) + (-245805)/(-28) composite?
False
Let h(l) = -l**3 + 5*l**2 + 7*l + 1. Let z(d) = 3*d - 24. Let c be z(10). Let i be h(c). Let a(v) = 17*v**2 + 20*v - 20. Is a(i) a composite number?
False
Let i = -8520 + 2999. Let a = i - -8540. Is a prime?
True
Suppose -60566 = -r - c, r = 5*c + 78124 - 17540. Is r a prime number?
False
Let p be (-215)/5 + 4 - -4. Let s be (-7 + 0)*50/p. Suppose -s*v + 7*v + 777 = 0. Is v composite?
True
Suppose 0 = 3*y - 5*u - 133621, y + u - 50351 = -5816. Is y composite?
False
Suppose -2*i + 6 + 0 = 0. Suppose 2*q + d = -1122, -d + 2238 = -7*q + i*q. Let c = -297 - q. Is c composite?
False
Let s be (-836)/(-20) + (-78)/(-65). Suppose 5*l - s*l = -616246. Is l composite?
False
Let z(m) = -1137*m - 43. Let t be (24/(-14))/((-128)/(-448)). Is z(t) a prime number?
True
Suppose -22 = -4*t - k, 3*k - 5*k + 2 = t. Let s(b) = 7*b**3 - 4*b**2 - 2*b + 43. Is s(t) prime?
True
Let v(y) = 674*y**2 - 16*y + 107. Let f be v(7). Suppose -t = 5*x - 8229, 4*t - 8*x - f = -7*x. Is t a composite number?
True
Let l be 9/7*(-14)/(-3)*-1. Is (780787/l)/(-7) - (-120)/144 a prime number?
False
Let r(b) = b + 15. Let v be r(-11). Suppose -10 = -5*k, -v*o + 8347 = 4*k - 7473. Suppose 3*t = 2*c + 3949, 3*t + 2*c = 3*c + o. Is t a composite number?
False
Suppose 68*o - 76*o = -1485688. Is o composite?
False
Let u = 40 - 229. Let w = u + 410. Is w a prime number?
False
Suppose -194*h + 195*h - 6956 = 0. Let z = h - 4029. Is z a composite number?
False
Is 3046345*(-26)/(-124 - 6) prime?
True
Suppose -35*b + 71*b - 807410 = 26*b. Is b prime?
False
Suppose 13920 = 5*p + 4*c - 9*c, -5*c + 11091 = 4*p. Suppose 3*d = 4*d - p. Is d a composite number?
True
Let j(u) = -32*u**2 + 5*u - 20*u**2 + 5 + 62*u**2. Is j(-4) prime?
False
Let w = 47 - 72. Let c be -1 - 10254/15 - (-10)/w. Is (c/10)/((-2)/20) a composite number?
True
Let w = 434 + -432. Let p(c) be the second derivative of 3*c**5/20 + c**4/3 - c**3/3 - c**2/2 - 2*c. Is p(w) a composite number?
True
Let a(y) = 87*y**2 - 5*y + 42. Let v be a(4). Let i = -203 + v. Is i prime?
False
Let f(r) = -r**2 - 5*r - 7. Let p be f(-2). Let n be (-6 + 6)/(-2 - p). Suppose n = -5*q + 2*c + 791, -4*c = 2*q + 28 - 330. Is q prime?
True
Suppose 2*g - 14*g = -1085683 - 2603465. Is g a prime number?
False
Let m = 136 + -132. Suppose -446 = -n - c, -c - 1799 = -m*n - 0*n. Is n a composite number?
False
Let g be (110/(-44) + 318/(-8))*-76. Suppose -2*a - 5*l + g = a, l = 5*a - 5389. Is a prime?
False
Suppose -y = 4 - 1, 4*y + 3 = 3*o. Is (o/(-6))/(9/92574) composite?
True
Let c(r) = 17*r**2 + 7*r - 11. Let j be (1/3)/(1/15). Let b(p) = -2*p + 20. Let y be b(j). Is c(y) a composite number?
False
Is 165/22*1919530/75 a prime number?
True
Let m(c) = 1595*c**3 - 2*c**2 - 17*c - 25. Is m(6) a prime number?
True
Let c = -595 - -598. Suppose c*m + 55644 = 7*m. Is m a composite number?
True
Let b = 2 + 1. Suppose 0 = b*d - 9, u - 5*d + 31 = 5*u. Is ((-18)/u + 4)*-1438 composite?
False
Let u = 5899 - 9777. Let c = u + 7399. Let p = -2044 + c. Is p a prime number?
False
Suppose 0 = 2*v + 12 - 66. Suppose 0 = -2*b - 4, 10*k = 15*k - 5*b - 845. Let g = v + k. Is g a prime number?
False
Let j(d) = -380*d**3 + 764*d**3 + 16*d**2 + 13 - 385*d**3 + 2*d. Let z = 4 - -6. Is j(z) composite?
True
Let s = 30293 - -326058. Is s composite?
False
Suppose 0 = 4*x - r - 2977129, 91*x + 2*r = 94*x - 2232843. Is x composite?
False
Suppose -2*k + 2*k + 33*k - 12161787 = 0. Is k composite?
False
Let h(l) = l**3 - 8*l**2 + 13*l + 1. Suppose 3*u + 7 = 4*m + 4*u, 2*u = m - 4. Suppose -m*w + 28 = 2*v - 0*v, -4*w + 40 = -4*v. Is h(w) a prime number?
True
Let a be 2 + 6 + -3 + -22 + 3. Is 6/42 - 142700/a a prime number?
True
Let g = 298651 - 173216. Is g a composite number?
True
Let p(j) = -14883*j - 3035. Is p(-92) composite?
True
Let y = -181 + 179. Is 28*(y/(-10))/(24/7710) prime?
False
Let l(s) = 11*s**3 - 4*s**2 + 6*s - 5. Suppose 5 = -h + 8. Is l(h) a prime number?
False
Suppose 72*z - 77*z + 2666041 = 4*o, -2*z = -3*o - 1066444. Is z a prime number?
True
Let w = 698 + -667. Suppose -w*g = -39*g + 9208. Is g a prime number?
True
Suppose -12*b + 2*w = -14*b + 60710, -w + 121420 = 4*b. Let o = b - 20124. Is o prime?
False
Let p(k) = 99*k**3 + 5*k**2 + 13*k - 236. Is p(7) a prime number?
True
Let k be (-6)/(-39) + 195/(-169). Is (6 - k/(-1)) + (-1166)/(-1) a prime number?
True
Suppose -2*r = 5*x + 3*r - 35, -5*x + 21 = -2*r. Suppose -201 = -o + x*f, 15*o = 10*o + f + 1005. Is o/(-2)*(-4)/(-18)*-69 prime?
False
Suppose 14*z = 34 + 50. Suppose 2*j - 3*o + 254 = -2*j, z = -3*o. Is (j/10 + 5)*586/(-3) prime?
True
Suppose o - 96625 = -5*k + 65110, -3*o = -5*k + 161735. Is k prime?
False
Let c = 9571 + -2684. Is c a prime number?
False
Let b(l) = 30*l**3 - 5*l**2 - 9*l - 15. Let n(m) = -2*m**3 - 3*m**2 - 3*m - 4. Let y be n(-2). Let g be b(y). Suppose -37*k - g = -40*k. Is k a prime number?
False
Let i = 226793 - -82752. Is i a composite number?
True
Is (-3646279)/91*(1 - 2*(2 + -1)) composite?
True
Is (-77505783)/(-105) + 4/14 + 82/205 prime?
True
Let r be (18/(-15))/(3/2295). Let h = -283 - 142. Let c = h - r. Is c a composite number?
True
Is 4/(-10) + (-421810)/(-25) - 1 a prime number?
True
Let w(n) = 1111*n**2 + 431*n + 15. Is w(32) composite?
False
Let k be 4806 - (5 + (1 - (-4)/(-2))). Let p = k + -2269. Is p a composite number?
True
Suppose 5*b = 5*d - 10, -13 = -5*d + 3*b + 1. Let c be 72984/40 + (d/10 - 1). Suppose -12*v = 252 - c. Is v a prime number?
True
Let b = 22 - 17. Suppose -4*d - 2*m = 3131 - 20765, -22045 = -5*d - b*m. Suppose -d = -13*c + 5*c. Is c a prime number?
False
Suppose 0 = -719*s + 681*s + 4040122. Is s a prime number?
True
Let z(j) = 6*j**2 - 58*j + 1099. Is z(-55) a composite number?
True
Is (-1)/(644/92 - 5908324/844046) a composite number?
True
Let i(x) = 3*x**2 - 4 - 19*x + 21 - 18*x - 6 - 2*x**2. Is i(-26) a prime number?
False
Let m(s) be the first derivative of 27*s**3 - 9*s**2 + 49*s + 4. Is m(4) a prime number?
False
Suppose 2*x = -12927 + 42769. Is x a prime number?
False
Let m(i) = -i**3 + 5*i**2 + 8*i - 12. Let a be m(6). Suppose a = -9*q - 0*q + 15777. Is q composite?
False
Let w = -318 + 344. Suppose -w*i - 2*i + 58772 = 0. Is i prime?
True
Suppose -550*h + 554*h = 180. Is ((-61530)/h)/(6/(-9)) prime?
False
Let v = 39 - 44. Let a(p) = -19*p**3 + 4*p**2 - 5*p - 6. Let n be a(v). Is 23/(-46) - n/(-4) composite?
True
Suppose 0 = 9*a - 15*a + 3637968. Suppose -8*s = -27*s + a. Suppose s = 5*r - 27903. Is r composite?
True
Suppose 8*c - 90*b - 366225 = -93*b, -4*c + 183117 = 3*b. Is c prime?
False
Let u be -2*(9/12 + 63/(-12)). Let q be (-65166)/(-54) + 2/u. Suppose 2*n - 1148 = -2*o, -q = -3*n + 5*o + 491. Is n a prime number?
True
Let o(s) = 8*s**2 - s - 2. Let g be o(1). Let u(h) = h**3 + 4*h**2 - 26*h - 12. Let r be u(-8). Is 1116 + (r/(-50) - 1/g) a composite number?
False
Suppose 17 - 61 = -22*z. Suppose 0 = 3*l - 5*h - 7744, h - 5121 = -z*l - 4*h. Is l composite?
True
Let o = 144 - 141. Let s(r) = r**2 + r - 10163*r**o + 0*r**2 + 10604*r**3. Is s(1) a prime number?
True
Suppose 290*y - 1319508 = 254*y. Is y a composite number?
False
Is (-69809)/1*(7 + -12)/5 composite?
False
Is 4 + -24 + (3 - -2072310) a composite number?
False
Let n(v) = -v**3 + 9*v**2 + v - 14. Let f be n(6). Let a = -54 + f. Is 46/(-529) + 15368/a prime?
False
Let i be 0 + 0 + -2 + 5. Let w be i - 52/(-2) - -1. Suppose w = u + 4*u. Is u a prime number?
False
Let x be 355862/39 + (-1)/(-3). Suppose -5*q = -x - 4470. Is q a prime number?
True
Is (21443076/432)/(2/8) a composite number?
True
Suppose -5*g + 24592 = -3*h, g - 4*h - 2871 - 2044 = 0. Suppose -3*r = 3*p - 4929, -6*r + 9*r - 2*p - g = 0. Is r a prime number?
False
Let r be -5 + ((-26176)/(-56) - 12/28). Let h = r - 91. Is h prime?
False
Suppose -2*u = -3*t - 535459, -4*u + 1070923 = 32*t - 37*t. Is u a composite number?
False
Suppose -47*x = -24*x - 5462477. Is x a prime number?
False
Suppose -5*m - 17 = -g - 0*m, 2*g + 2*m = -2. Suppose -15105 = -5*u 