composite number?
False
Suppose 2*w - 34*f = -30*f + 107410, 3*w - 161118 = 3*f. Is w composite?
True
Let v(w) = -9*w**3 + 22*w**2 + 14*w + 6. Suppose 34*x - 29*x + 35 = 0. Is v(x) a prime number?
True
Suppose -8*m + 99*l + 5246233 = 94*l, 3*l - 9 = 0. Is m composite?
True
Suppose 0 = -g - 14 + 31. Suppose -3*x = 3*l - 5832, -g*l + 21*l = 5*x - 9711. Is x a prime number?
False
Let b = 437985 - -52724. Is b a prime number?
False
Let x(p) = -p + 0*p + 2 - 5*p - 5 + 54*p**2. Let j be x(6). Suppose -6*z = -z - j. Is z a prime number?
False
Let k(i) = -17*i**3 + 3*i**2 - 8*i - 17. Suppose -4*p = p. Let j be -1 + (-3 + -3)/2 + p. Is k(j) prime?
True
Let a = 1 + 4. Let v(c) = -c**3 - 2*c**2 - 4*c + 12. Let r(m) = -1. Let n(z) = -2*r(z) - v(z). Is n(a) a composite number?
True
Let s(t) = -t**3 + 2*t**2 + 5*t + 149. Let y be 18 - 13 - (-1 - (-5 - 1)). Is s(y) prime?
True
Let u be 22/(-99) - 74/(-9). Suppose 12*c = u*c. Suppose 2*b - 184 = 4*t, c = -3*b + 3*t - 8*t + 287. Is b composite?
True
Let o = 31 + -25. Let b be ((-105)/14)/(o/8). Is (-1 - 12/b)*7835 a prime number?
True
Suppose 21*d = 19*d + a + 93901, -234733 = -5*d - 4*a. Suppose 4*z - 30110 = -4*g + 7462, 3*g = 5*z - d. Is z composite?
False
Let g be (-28)/5 + 5 + (-168)/(-5). Let m = 30 + -8. Let z = g + m. Is z a prime number?
False
Suppose -4*p + 3*u - 43 = 0, -186*p + 185*p = -4*u + 27. Let v(o) be the third derivative of 23*o**5/60 + 3*o**4/8 - o**3/2 - o**2. Is v(p) a prime number?
True
Suppose -d = -7*b + 4*b + 31, -35 = -3*b + 5*d. Suppose -2*u - 5*p + 7080 = -b*p, 2*u + 3*p = 7096. Is u a composite number?
True
Let u = -3314 - -7483. Is u a prime number?
False
Suppose 2*d = -10*r + 15*r - 82063, r - 16395 = -4*d. Is r prime?
True
Suppose -w - 209 = -c, -12*c = w - 7*c + 197. Suppose 4*p = 2*h + 1064, -2*p - p = 2*h + 1085. Let b = w - h. Is b a prime number?
True
Let k = 1260 + 811. Let u = 736 - k. Let p = -248 - u. Is p a composite number?
False
Let u(w) = -1033*w + 21. Let n be u(-5). Suppose -3*d - 1722 = -4*d - f, -3*d + f = -n. Is d prime?
False
Suppose -2*w = -2*c - 4, 2*c - 12 - 19 = -5*w. Suppose -w*o + 4*r = -r - 25, 3*r - 5 = -2*o. Is (-510)/(-1 - 1) - o composite?
False
Let h be (-102)/(-4) + ((-5)/(-2))/(-5). Let q = h + -17. Suppose -q*a + 12*a - 4396 = 0. Is a prime?
False
Suppose 10586 = 5*s - 4*j, j - 10566 = -5*s - 0*j. Let f = -1065 + s. Is f a composite number?
False
Let i = 79407 + -55473. Is ((i/12)/1)/((-2)/(-4)) composite?
False
Suppose -5*l + 15 = -5*z, 3*z - 2 = 5*l - 15. Suppose 2*g = -l*f - 2, g - 13 = 3*f + 2*g. Is 1*((-2 - -1) + (462 - f)) composite?
False
Let r(z) = -18*z**3 - 142*z**2 + 80*z - 121. Is r(-30) prime?
True
Suppose 11*p = 2*v + 12*p + 1426071, -3565170 = 5*v + 5*p. Is v/(-169) + 2/(-13) a composite number?
False
Let g(h) = h**2 - h - 8. Let f be g(-2). Let s be f + 4/(-12)*0/(-1). Is (-2156)/(-5) + (s - -6)/(-20) a prime number?
True
Let s(n) = -253*n + 20627. Is s(0) a composite number?
False
Suppose 0 = 5*p + 4*a - 7955, -37*p + 34*p = 5*a - 4773. Suppose -n = 4*g - 8376, 5*n - 5761 + p = -2*g. Is g composite?
True
Is 2*(-2 - ((-4817442)/56)/(6/4)) a prime number?
False
Let i = 60486 - -74513. Is i a composite number?
False
Suppose 2*k - 12878 = 4*g, 2*g = 2*k + 6678 - 19560. Is k a composite number?
True
Let f(y) be the first derivative of 83*y**3/3 - 3*y**2/2 + 29*y - 58. Is f(-9) prime?
True
Let p(s) = -3*s**2 + 31*s - 12. Let h be p(10). Let u = 13 - 12. Is (-2342)/(u - (4 + h + 1)) a composite number?
False
Let h be (-80)/(-680) - 812/(-34). Suppose 10777 = 5*g + 25*c - h*c, -10769 = -5*g + 3*c. Is g a prime number?
False
Suppose -3*d + 441438 - 107157 = 0. Is d prime?
True
Let o(s) = -s. Let j be o(-6). Let z(u) = 14*u**2 - 7*u + 14. Let n be z(j). Is (-1 + -2 + n)*1 composite?
True
Let r(p) = -7 + 13*p**2 + 6*p + 11 + 15. Suppose -351 = -13*c - 234. Is r(c) a composite number?
True
Let w be -2*1*((-20)/8 - -3). Let n(k) = 19*k**3 - 6*k**2 + k. Let l(g) = -g**3 - g**2 + g + 1. Let q(s) = w*n(s) + 5*l(s). Is q(-4) a prime number?
False
Let v(x) = -155*x**3 - 3*x**2 + 3*x + 11. Let h = 403 - 407. Is v(h) a prime number?
True
Let f(l) = 429*l**2 + 3*l + 29. Let x(n) = n + 3. Let d(i) = f(i) - 5*x(i). Is d(-3) a prime number?
True
Suppose 4*f = 3*h - 7189, 5*h = 6*f - 10*f + 11971. Is h composite?
True
Is (-128226)/(-1) - (-350)/350 prime?
False
Suppose 254*l + 1842 = 251*l. Is l/(-4)*2*1 a prime number?
True
Is (3/12 + -1)*(-191505 - -157) a composite number?
True
Let t(v) = 1789*v + 1617. Is t(8) composite?
True
Let q = 89701 + -33504. Is q prime?
True
Let j be 57261/(-21) + 1 + (-36)/28. Let q be 3 + (j - (2 + 1)). Let c = q - -4700. Is c composite?
False
Suppose -5*c + 3*b + 1126 = -1078, 0 = -3*c - b + 1314. Let h = c - -1924. Is h a composite number?
True
Let f(g) be the first derivative of 1456*g**2 + 101*g - 32. Is f(4) a composite number?
True
Is 1048548 - (9 - (-6)/3) composite?
True
Let w(n) = 242082*n - 3235. Is w(4) a prime number?
False
Suppose 0 = 8*w - 5*w - 96. Let m = w + -27. Suppose c = 4*c - u - 1069, -1775 = -m*c + 3*u. Is c a prime number?
False
Let a(g) be the third derivative of -23*g**5/20 - g**4/12 - 2*g**3 + 9*g**2. Let h be a(-3). Let z = h - -1130. Is z prime?
True
Suppose -22*c + 8*c + 196 = 0. Suppose 0 = -c*z + 60714 - 10412. Is z prime?
True
Let o(x) be the first derivative of x**4/4 + 4*x**3 - x**2/2 - 18*x + 28. Let p be o(-12). Is (p/27 + (-5827)/(-18))*2 a composite number?
False
Let d(c) = -c**3 + 9*c**2 + 4. Let f be d(9). Let b be ((-40)/(-10))/(1/f). Let t(u) = u**2 - 9*u - 29. Is t(b) composite?
False
Let j(v) = 55*v + 2. Let r(i) = -109*i - 3. Let u(q) = 9*j(q) + 4*r(q). Let n be u(5). Suppose -p + n = -38. Is p composite?
True
Suppose g + 11 = 4*f, -3*g = 4*f - 3*f - 6. Let q be (1029 - 15) + f/(-1). Suppose 0 = 2*o - 2921 + q. Is o a composite number?
True
Is (-5)/3*(-34505457)/245 a prime number?
False
Suppose -9885 = -m - 4*p + 7270, p = 4*m - 68671. Is m a composite number?
False
Let r = 166 - 176. Let m(t) = 31*t**2 - 14*t - 31. Is m(r) a prime number?
True
Let s = -1245 + -976. Let r = -7429 - -3737. Let c = s - r. Is c composite?
False
Is (-1514949)/((-74)/74 - (-2)/(-1)) a prime number?
True
Let h(x) be the third derivative of -2*x**6/15 + 4*x**5/15 + 5*x**4/6 + 67*x**3/6 - x**2 - 39*x. Is h(-10) composite?
False
Suppose 0 = -o, -4*o - 40 = -2*w - o. Suppose -3*k + 4*f + 1183 = 0, -w = 4*f + f. Is k composite?
False
Let h = 5413 - -419. Suppose -2*c + h = -2*q - 3*q, 0 = -5*c - 2*q + 14609. Is c prime?
False
Let v(t) = -976021*t + 382. Is v(-1) a composite number?
False
Let g = 173763 - 95214. Is g prime?
False
Let h = -43486 - -120579. Is h prime?
True
Suppose 0 = -164*j - 174*j + 243323834. Is j composite?
False
Let o(z) = -6*z - 17. Let r be o(-9). Is 9282 - (2 - r)/(-7) a prime number?
True
Let n be -6 + 9 - 9*1. Let z be (9/6)/(n/(-8)). Suppose 14*w - 36444 = z*w. Is w composite?
False
Let q = -47 + 49. Let i(j) = -4*j - 13 + 12 + 2*j - 23*j**2 + 112*j**q. Is i(1) composite?
True
Let h(i) = 2*i**2 - 5*i - 4. Let n be h(5). Let x be 7/3 + (-7)/n. Suppose x*q - 178 = 180. Is q composite?
False
Let p be 74181/18 + 1/(-6). Suppose -q - 1466 = -p. Suppose 5*f = 4*g + f - 3560, -2*f = 3*g - q. Is g composite?
False
Let k(i) = 48416*i**2 - 125*i + 245. Is k(2) a prime number?
False
Is (-981537)/(-13) - (-168)/1092 composite?
False
Let j = 687 - 685. Suppose 5*r - r - p = 20289, -j*r + 10122 = 4*p. Is r composite?
True
Suppose b - 4*p - 526 = -b, 3*b + 3*p = 780. Let z be (-6)/(-4) - b/(-2). Let k = z - -175. Is k a composite number?
False
Suppose 273 = -6*k - 7*k. Is (-30440)/(-28) + 3/k composite?
False
Suppose 4*z = 5*w - 11651, 0*w - 8730 = 3*z - w. Let q = -1272 - z. Is q prime?
True
Let p = -75 + 79. Is (-22228 + 2)*(-2)/p composite?
False
Suppose 4*v = c + c + 24, 27 = 5*v - c. Let k(l) = 2448*l - 47. Is k(v) prime?
False
Let p = -2288 + 2111. Let n be 1*(1 + -2)*-448. Let w = p + n. Is w a prime number?
True
Suppose 14*c + 246664 = 18*c. Suppose -9*j + c = -3287. Is j prime?
False
Let n be 7*(3 - 135/35). Let s be 28/n*12/(-14). Suppose s*r = z + 489, 4*r = -2*z + 254 + 220. Is r a composite number?
True
Let z = -518111 + 852372. Is z a composite number?
False
Let q(k) = 29