ite?
False
Let q(x) be the third derivative of x**4/6 + x**3 + 22*x**2. Let l be q(-1). Suppose 9*r - 21329 = -l*r. Is r composite?
True
Let n(f) = -2*f**2 - 4*f - 12. Let c be n(-5). Let r = -35 - c. Suppose -2971 = -r*z + 3168. Is z prime?
True
Let k(n) = -n**3 + 16*n**2 + n - 18. Let j be k(16). Let s be ((-5)/j)/((-3)/(-6)). Suppose -1895 = -5*i - m, -s*m - 217 = -2*i + 541. Is i composite?
False
Suppose m + 597737 = 36*s - 33*s, -s = 3*m - 199249. Is s a composite number?
True
Let s(j) = 60*j**2 - 5*j - 2. Let y be s(-4). Let q = -657 + y. Let w = q - -56. Is w a prime number?
False
Suppose 0 = u + 350 + 369. Let j = 1518 + u. Is j composite?
True
Suppose 5*z - 447 = 3*g - 6*g, -5*z - 705 = -5*g. Suppose 4*w - 548 = g. Let x = w - 16. Is x a composite number?
False
Suppose 5*f = 4*g + 2771323, -2*f + 1108528 = -183*g + 182*g. Is f a prime number?
True
Suppose 6*k = j + 4*k - 23183, -j - 5*k = -23211. Suppose 0 = -0*n + n - j. Is n a prime number?
False
Let l = 4 + 21. Let y = 28 - l. Suppose -5*r + 1798 = h, h = -5*r + y*h + 1789. Is r prime?
True
Let l(b) = -4713*b + 39. Let q be l(-6). Is (5/(-10))/((-6)/q)*4 a prime number?
True
Is 16333/(4/(5 + -1)) prime?
True
Suppose -5*l = -43 - 267. Let w = 74 - l. Suppose -5*r + 2342 = -2*v + 641, -w = 4*v. Is r a prime number?
False
Suppose -3*f + 114071 = -2*t, -f + 6*t - 8*t = -38045. Is f composite?
True
Suppose 10*a + 5*a = -503100. Let g = 51323 + a. Is g a composite number?
False
Suppose 0 = -39*t + 12*t + 43038. Suppose 4*i - t = 4690. Is i prime?
True
Let n(u) = -62*u + 11494. Is n(78) a prime number?
False
Is (2*-2)/(28/(-234199)) a prime number?
True
Suppose -d = -0 + 3, 3*d = -c + 507. Let t = -249 + c. Is t a prime number?
False
Let i be ((-1)/4)/(((-25)/(-5))/(-60)). Suppose 3*z = -i*o + 12123, -5*z = -4*o - 3*z + 16176. Is o a prime number?
False
Let w(f) = 12929*f**2 + 28*f + 28. Suppose -21*i + 2 - 23 = 0. Is w(i) a composite number?
True
Let j = -53 - -57. Suppose 4610 = -9*n + j*n. Let h = 1415 + n. Is h a prime number?
False
Let t(y) = 12*y + 2. Let g be t(1). Let v(s) = 2*s**3 + 10*s**2 - 35*s + 45. Is v(g) a prime number?
False
Let o be (2 - -16)*656/12. Let y = o - 1378. Is 2 + -5 + 3 - y composite?
True
Let x(h) = -33*h**3 - h**2 - 3. Let b = 22 + -22. Let a be b - (-15)/(-2 + -3). Is x(a) a composite number?
True
Let y(b) = 613*b - 694. Let g be y(13). Suppose w + 2*w = -10284. Let d = g + w. Is d a composite number?
False
Suppose 81 = 17*q - 38. Let l(z) = 1058*z + 207. Is l(q) a composite number?
True
Suppose 2*d = -d + 4*a - 47201, d - 4*a + 15731 = 0. Let m = d - -9975. Let t = 913 - m. Is t a prime number?
True
Let v(h) = -69 + 54 - 161*h + 105. Is v(-23) prime?
True
Suppose 66*v = 61*v - 5*r + 467520, 0 = 4*v - r - 374051. Is v prime?
False
Suppose i + 5015 = -5*m, 3*m + 2986 = -2*i + 6*i. Let s = m - -1531. Is s prime?
False
Suppose 0 = 3*m - 12, w + 20 = 6*m - m. Suppose 6*i + 7*i - 235157 = w. Is i a prime number?
True
Let p = -614 - -133. Let m be p/(-5) + (4 - (-112)/(-35)). Suppose 0 = -m*a + 101*a - 5660. Is a prime?
False
Suppose -4*w + 60*c - 65*c = -334163, 2*w - 4*c - 167062 = 0. Is w a prime number?
True
Suppose 16*q = 2*q - 59808. Let u = q - -9449. Is u a prime number?
False
Is ((-48)/(-56))/((-54)/(-13228299)) a composite number?
True
Suppose 0 = 3*s - 15, -7*r + 2*s = -3*r + 722. Let v = r - -1577. Is v a composite number?
False
Suppose 0 = -l - 4*w - 3267, -2*l = -3*l + 2*w - 3255. Let x = -1385 - l. Is x a prime number?
False
Let i(q) be the first derivative of 250*q**3 - q**2 - 2*q + 25. Let j be i(5). Suppose -f + 11240 = 3*d, j = 5*d + 3*f + f. Is d prime?
False
Suppose 0 + 2 = x. Suppose 10*n - 2*o = 13*n - 15, 0 = -2*o. Suppose 2*c - 6636 = -x*y, -4*c - n*y - 7485 = -20762. Is c a prime number?
True
Let r(t) = 685*t**2 + 9*t - 11. Let m(y) = 8*y - 47. Let k be m(6). Is r(k) composite?
False
Let m be (-21)/126 - 38/(-12). Suppose -n = -7*u + m*u + 153, 3*u = n + 116. Is u prime?
True
Suppose 94*u - 90*u - 12 = 0. Suppose -2*o = -a - 2142, 2654 + 533 = u*o + 5*a. Is o composite?
False
Let i(f) = -f**3 + 5*f**2 - 10*f - 9. Let v be i(5). Let b = 63 + v. Is -1*(b - 797) + 4 a composite number?
False
Suppose -4*i + 5*q + 276633 = 0, -q = -5*i - 0*q + 345807. Is (-6 + i/(-18))*-3 composite?
True
Let o = -23 + 27. Suppose 2*m + 7946 = 2*y, -o*y + 12346 = -m - 3546. Is y prime?
False
Let w(h) = -h**3 - 5*h**2 + 3*h - 26. Let f be w(-6). Is (-7 - f)*-7 + 2850 composite?
False
Is (385306/8)/((-105)/(-140)) + 6/(-9) a prime number?
True
Suppose 2*f - 98185 = -a, -33*f = -a - 29*f + 98167. Is a a composite number?
False
Suppose -9*m + 58 = -10*m. Let o = 58 + -64. Is m/(-18)*3*(-414)/o a composite number?
True
Suppose 0 = -16*o - 7 + 119. Let v(r) = r + 186. Let m be v(0). Suppose i = o*i - m. Is i composite?
False
Suppose 985 + 1229 = y. Suppose -3*h + 11775 + y = 0. Is h a prime number?
True
Let g be (10 - -2)*195/(-20). Let a be ((-2)/8)/(g/(-60) + -2). Suppose 667 = 6*v - a*v. Is v prime?
False
Let z(y) = y. Let r be z(11). Suppose r*c - 18*c = -28945. Is c prime?
False
Let i = -118 - -123. Suppose f - 30 = -i*f. Suppose 2*u = n - 859, -f*n + 587 + 3736 = 4*u. Is n a composite number?
False
Suppose 3*p = -5*a + 83, -3*a + 5*p + 5 + 38 = 0. Suppose 21*n - 1195 = a*n. Is n prime?
True
Let l = -10329 + 15647. Let b = -577 + l. Is b prime?
False
Let o(z) = -5*z**2 - 4*z. Let c be o(3). Let k be (-93)/4*(2328/(-432) - 1/(-18)). Let h = k + c. Is h composite?
False
Let r(y) = y**2 - y - 6. Let o be r(3). Suppose o = 4*p - h + 4*h - 28, -p - 2*h + 12 = 0. Suppose -u - u - 604 = -4*v, 5*v - 729 = -p*u. Is v a prime number?
True
Suppose -535290 = -103*w + 97*w. Suppose 1370 - w = -5*z. Is z a composite number?
False
Suppose 4*d + 0*d - 16 = 0. Suppose -d*o = 4*i - 44, 5*i - 23 = -4*o + 27. Suppose -6*m = i*m - 23172. Is m a prime number?
True
Let y(r) = 1509*r**2 + 13*r + 131. Is y(-11) composite?
True
Let c be 9/(-54) + 17602/(-12). Let r be (0 + 0)/(-4) - c. Suppose 0 = 3*d + 3*l - 1545, 2*d = 4*l - 443 + r. Is d prime?
False
Suppose -4*j - 3*l = -15, 0 = 2*j + 3*l + 1 - 10. Suppose -z - i = -1366, -5*z + j*i + 5485 = -z. Is z a composite number?
True
Let j(g) = 36*g**3 - 4 + 5*g**2 - 389*g - g**2 + 389*g. Let w be j(3). Suppose p = -3*p + w. Is p a composite number?
False
Let b(f) be the second derivative of -21*f**5/10 - 5*f**4/12 + f**3 + 26*f**2 - 49*f. Is b(-5) a composite number?
False
Let t be (-3)/(-6) + (-15)/(-18)*3. Let j be ((-6)/t)/((-20)/50). Suppose -j*y + 8*y - 3*v = 2031, 0 = 4*y + 3*v - 2708. Is y a prime number?
True
Suppose 0 = 4*g - 9*g - 2 + 12. Suppose 0 = -5*w + w + 8. Suppose -g*h = o - 627, -w*h + 3*o + 631 = -0*h. Is h a prime number?
False
Let b be (-33)/(-2)*(-116)/174. Is (-7)/35 - b/((-165)/(-159858)) prime?
True
Suppose -32*w + 1248146 + 2571405 = 21*w. Is w a composite number?
True
Let s(c) = c**2 - 12*c + 17. Let g be s(10). Let o = g + 95. Suppose 0 = -3*m, f - o - 397 = -5*m. Is f a prime number?
False
Let w(n) = n**3 + 2*n**2 - 2*n + 14192. Let d be w(0). Suppose -32372 - d = -4*q. Is q a prime number?
False
Suppose 29125*m - 29076*m = 36634654. Is m composite?
True
Suppose 15*z - 4427799 = -490134. Is z a composite number?
False
Let l be 2/(4/(-21))*24/(-36). Let a be (30/(-8) - -1) + l/(-28). Let d(c) = -34*c**3 - 2*c**2 - 4*c - 1. Is d(a) composite?
False
Suppose -5*x - 8*b = -3*b - 205, -3*b = 5*x - 205. Let n = -37 + x. Suppose n*q = -70 + 1994. Is q a composite number?
True
Let y(v) be the second derivative of -61*v**3/6 + 313*v**2/2 - 15*v - 5. Is y(-46) a prime number?
True
Let t(z) = z**2 - 4*z - 12. Let y be t(6). Let h be 464 + (y - -1) + 4. Suppose 0 = -3*u + 4*u - h. Is u a prime number?
False
Let n(t) = -27*t - 9. Let r be n(-13). Suppose 8*w = 2*w - 498. Let i = w + r. Is i prime?
False
Suppose 35250*q = 35220*q + 52285890. Is q composite?
True
Let y = 180 - 173. Suppose -5*i = -4*f + 1901, -2350 = -5*f - 6*i + y*i. Is f prime?
False
Suppose -54 = -2*x - 4*p - 10, 0 = -x + 5*p + 57. Suppose 0 = w - 40 - x. Let g = w - 41. Is g a composite number?
False
Let v be (-3 - (-11)/5)*50/(-4). Let i(w) = w**3 - 9*w**2 - 10*w + 11. Let z be i(v). Suppose -16*u + z*u + 545 = 0. Is u a composite number?
False
Let 