11002*(-185)/40*4 prime?
False
Is 403247 - (-40)/100*-15 composite?
False
Let b(s) = 34*s**3 - s**2 - s. Let g be b(-1). Is (g/(-4))/((-2)/(-428)) a prime number?
False
Let m(s) = -15926*s. Let o be m(1). Suppose 3*l = 7*v - 22003 + 97568, l = v + 10795. Let k = v - o. Is k a composite number?
True
Suppose 132*q - 2824821 = 48*q + 57*q. Is q a prime number?
True
Let i(a) = 21*a**2 + 13*a - 43. Suppose 0 = -0*t - 4*t - 12, 2*l - t - 15 = 0. Is i(l) prime?
False
Let b be (4 - (-1 + 3)) + 2. Suppose 138 = 93*t - 24*t. Suppose -6*o = t*f - o - 2431, -5*f + b*o + 6061 = 0. Is f a composite number?
False
Let w = 4932 + 4745. Is w prime?
True
Suppose 62397799 = -6174*o + 6281*o. Is o a composite number?
True
Suppose 31*v + 17*v - 2231878 = 14291210. Is v a composite number?
False
Suppose 14*v - 8510 = -2*x + 12*v, x = -4*v + 4243. Is x prime?
True
Let o = 187692 + 507413. Is o prime?
False
Suppose 5*b = 3*b + 8. Let j be (3 - -2384 - -5) + b. Suppose -2*m + 1295 = -2*n - 309, n = 3*m - j. Is m a composite number?
False
Suppose -41*c - 1006579 = -48*c. Suppose 9*i - c = 4064. Is i prime?
False
Let t = 143 - 140. Is 4275/t + 8/(-2) - -2 composite?
False
Let y = 2353194 - 939263. Is y composite?
False
Suppose -153*n = -19618366 - 494312 - 13591845. Is n a prime number?
True
Let o(r) be the second derivative of 1097*r**3/3 - 47*r**2/2 - 2*r + 38. Is o(6) a prime number?
False
Suppose 4*v + 5*z - 378 = 0, 186 = 2*v + z + 3*z. Let s = 51 + v. Is ((-2)/(24/s))/((-4)/84) a composite number?
True
Suppose 15*p = 2*b + 17*p - 114782, 2*b = -4*p + 114772. Suppose b = -78*s + 90*s. Is s prime?
True
Let j(y) be the third derivative of -y**5/60 - 5*y**4/24 + 8321*y**3/6 + y**2 - 70. Is j(0) a composite number?
True
Suppose 25*w - 70696 = 9*w + 270760. Is w a composite number?
False
Let u(j) = -79122*j + 2561. Is u(-5) a prime number?
True
Suppose -12*t + 148615 = -27761. Suppose 4515 = h - 2*u - t, 19216 = h - 3*u. Is h a prime number?
True
Is (-84603)/(-5)*(-100)/(-60) a composite number?
False
Suppose 2925292 = -6*q + 74*q. Is q composite?
False
Suppose 0 = -o - 84 - 86. Let m be ((-350)/(-40) - 9)*-1732. Let i = m + o. Is i a composite number?
False
Let t(p) be the second derivative of p**2 + 1/4*p**4 - 2/3*p**3 + 0 + 1/4*p**5 + 2*p. Is t(2) composite?
True
Let a(h) = 748*h - 7. Let v(r) = -748*r + 5. Let i(l) = -5*a(l) - 6*v(l). Is i(12) prime?
False
Suppose 7*w - 44 = 3*g + 9*w, -5*w = -25. Let y be ((-84)/g + -5)*(-42 - 0). Suppose -y*f + 12315 = f. Is f composite?
False
Let m(g) = 407*g - 7. Let p = -33 - -49. Let r(l) = l**3 - 15*l**2 - 15*l - 12. Let t be r(p). Is m(t) a composite number?
False
Let n = -151 - -106. Let m = n - -718. Is m a prime number?
True
Suppose 12*s - 19*s + 7 = 0. Let q(j) = 74*j**2 + 5 - 5 - 6*j - s + 4. Is q(10) prime?
False
Let q = 44482 + 1539. Is q prime?
True
Let r = -1271278 + 1828239. Is r composite?
True
Let w = 93239 - 32524. Is w a composite number?
True
Suppose 6*l - 7*l = -27. Suppose -l*o + 41*o = 260722. Is o a composite number?
True
Suppose 9*z = -9*z + 1570050. Suppose 42*l - 57*l + z = 0. Is l a prime number?
False
Suppose -23*p = -793522 + 199800. Is p prime?
False
Suppose -5*w + 5270 = -630. Let q(s) = 7*s**2 + 57*s + 8. Let n be q(-8). Suppose -4*x + w = -n*x. Is x a composite number?
True
Let d(y) = -19*y**3 - 2*y**2 - 6*y + 15. Let x be d(4). Let s = -116 - x. Is s composite?
True
Let p = -86015 + 213666. Is p prime?
False
Is 156/39 + (-2)/2*-757479 a composite number?
True
Let c(v) = v - 1. Let m(n) = 4*n + 21. Let z(f) = -c(f) - m(f). Let y be z(-4). Suppose i + 5*r + 3744 = 5*i, i - r - 937 = y. Is i a composite number?
False
Let m(i) = -i - 14. Let g be m(-13). Let f be (2 - (-2 - g))*8/6. Suppose 0 = -5*z + f*c + 10769, 0*c = z - 2*c - 2149. Is z prime?
False
Suppose 0 = 5*z + 4*p - 143953, -7*z + 6*z + 28795 = 3*p. Is z composite?
False
Is 6 - -1*(495948 - 1) a composite number?
False
Let f = -5755 + 11784. Is f prime?
True
Suppose 4882 = 6*v - 2096. Is v a composite number?
False
Let c = 253518 - 137889. Is c a prime number?
False
Let z(k) = 52249*k + 2795. Is z(8) prime?
False
Suppose -d + 46375 = 2*w, -3*w - 4*d + 115933 = 2*w. Suppose -3251 = -6*a - w. Let m = a - -6042. Is m a composite number?
False
Let l(x) = -661*x**3 + x**2 + 22*x + 4. Let f be l(-7). Suppose -f = -24*g + 2*g. Is g prime?
True
Let n = 93 + -93. Suppose 0 = -v - 2, n = -z + 5*z + v - 32422. Suppose 10*c = -1316 + z. Is c prime?
False
Let y(a) = -53844*a - 347. Is y(-6) prime?
False
Let p = -176 - -132. Is (6090/8 + -2)/((-11)/p) prime?
True
Let a(u) = -5*u - 15. Let y be a(-3). Is (y + 2)*(490182/12)/11 a composite number?
True
Let q(v) = 5*v**2 - 5*v - 22. Let z(b) = 9*b**2 - 11*b - 44. Let r(f) = 11*q(f) - 6*z(f). Let w be r(-8). Is 3/(1 - w/4) + 177 a composite number?
False
Let q be 1/(1/2)*35/14. Suppose -q*z + z = z. Suppose 2*b + 2 = -z*b, -3*b - 2098 = -5*s. Is s prime?
True
Let a(l) = 12524*l**2 + 15*l - 1. Let r be a(2). Suppose 137080 = 5*u - b, -r = -5*u - 3*b + 86935. Is u composite?
True
Let l = 928 + -920. Suppose -4*n + l*b - 5*b + 36596 = 0, -2*b + 18298 = 2*n. Is n prime?
False
Let z = 5 + 723. Let f = z - 1867. Let p = 1618 + f. Is p a composite number?
False
Suppose 50 = -o + 78. Is 7104/o - (2 + (-80)/35) prime?
False
Let w be ((-64)/(-12))/(3/(-9)). Is (2/5)/(w/(-92360)) composite?
False
Let r = -4432 - -300. Suppose -2*g + m = -13395, g + 2*m - m - 6690 = 0. Let f = g + r. Is f composite?
True
Suppose 2*p + 4*c - 15 - 9 = 0, 20 = 3*p - 2*c. Suppose p = -8*q + 12*q. Suppose -6*l = -k - 2*l + 2883, 2*k - q*l - 5736 = 0. Is k a composite number?
True
Suppose 5*d - 1022 - 53 = 0. Let f(z) = z**3 + 27*z**2 + 3*z + 35. Let w be f(-27). Let p = d + w. Is p a prime number?
False
Let g(r) = -11*r + 10. Let o be 1 + 0 + (-2)/(1 - 3). Suppose 5*b = o*b - 33. Is g(b) a prime number?
True
Let z(q) = -4*q - 33. Let d(v) = -4*v - 49. Let t be d(-10). Let f be z(t). Suppose 861 = x - 4*m, -f*x - 3*m = -8*m - 2611. Is x a composite number?
False
Let p = -38 + 53. Suppose -47*s + p = -42*s. Suppose -3*q - 2*c + 113 = 0, 2*q + 5*c = -s*q + 190. Is q prime?
True
Let w(d) = 183*d - 199. Is w(6) prime?
False
Let f = 36721 - 12206. Is f prime?
False
Suppose 11043 = 2*j + y, 0*y + 4*y - 16577 = -3*j. Is j a prime number?
True
Let a be -3 - -5 - -25192 - -4. Let h = a + -17589. Is h a composite number?
True
Suppose o - 16 = -19. Let l be (o + (-4)/(-2))/((-2)/20). Is l/(-5) + 11*63 a prime number?
True
Let g = -140753 + 262708. Is g a composite number?
True
Let n = 20526 - 8543. Is n a prime number?
False
Suppose -4397*f + 100871 = -4378*f. Is f prime?
True
Let f = 9 - 3. Suppose f*m - 17 = 7. Suppose 4*i = -w - w + 1526, -3*i + 1142 = m*w. Is i a composite number?
True
Suppose -4*j - 96*f = -95*f - 5124743, 3*f = j - 1281202. Is j prime?
True
Let v(m) be the third derivative of 0*m + 1/60*m**5 + 0 + 15*m**2 - 1/2*m**3 + 1/4*m**4. Is v(10) prime?
True
Let j(b) = 6*b**3 + 17*b**2 - 84*b + 211. Is j(24) a prime number?
True
Suppose -37*c + 6496088 + 6722911 = -808774. Is c a composite number?
True
Suppose -96*k = -90*k + 37260. Is 7 + 0/3 - k a prime number?
True
Let v(j) = 12 - 40 - 55 - 77*j. Is v(-12) a prime number?
False
Let j(m) be the second derivative of 88*m**3/3 - 13*m**2/2 - 11*m. Let g be j(18). Let a = g + -1612. Is a prime?
True
Suppose 0 = -2*t - 3*b - 4 + 13, 5*b + 4 = 3*t. Suppose t*l = -2*a - 466 - 170, -862 = 4*l - 2*a. Let i = l + 399. Is i a composite number?
True
Let u(d) = 2*d**3 - 17*d**2 + 49*d + 573. Is u(47) prime?
True
Let h be ((-171)/(-6))/(7/28). Suppose -113*z = -h*z + 1399. Is z prime?
True
Let r be (-4)/12*((-1)/(-1) + -1). Suppose -5*q = r, z - q = -z - 158. Is z*((-22)/7 + (-4)/(-28)) composite?
True
Let p(u) = 76*u**2 - 21*u - 42. Suppose -6*x + 2*x - 5*f - 53 = 0, 11 = -3*x + 2*f. Is p(x) prime?
False
Let c = 10 + -37. Is 36/c*(-4164)/8 prime?
False
Suppose 4*z = c + 23, 0*z - z - 3*c - 4 = 0. Suppose 0 = -5*v + z, -8*y + 5*y + 5269 = -2*v. Is y a composite number?
True
Let y = 4976733 + -3450776. Is y a composite number?
False
Let u(t) be the second derivative of 5*t**3/3 + 55*t**2/2 + 17*t. Let q be u(-5). Suppose -q*b - 412 - 7838 = -5*n, 4*b - 6608 = -4*n. Is n prime?
False
Let t be (5/(-