b(0) composite?
True
Suppose -19*n = -15275 + 4578. Let x = 1380 - n. Is x a composite number?
True
Suppose 4*h + 6 - 110 = 0. Let s = 86 + h. Suppose 0 = -5*k + s + 153. Is k composite?
False
Is 15/(-6)*((-1528967)/5 + 154/(-22)) a prime number?
True
Let u be 0*(-2)/(-10) + (-3 - -1). Is u/(-18) - (-63536)/36 composite?
True
Suppose 21*h + 1172 = -1243. Is ((-200178)/1485)/((6/h)/3) a prime number?
False
Let y(g) be the second derivative of 11*g**3/2 - 11*g**2/2 - 59*g. Is y(2) a prime number?
False
Let d(w) be the third derivative of 1/30*w**5 + 1/3*w**4 + 7*w**2 + 11/120*w**6 - w**3 + 0 + 0*w. Is d(5) prime?
True
Let a = 56 + -39. Suppose -18*i + 4 = -a*i. Suppose 0 = 2*s + i*b - 274, -4*b + 6*b = 6. Is s prime?
True
Let y be (-3*(-3846)/18)/(-1). Let j = y + 1088. Is j a prime number?
False
Suppose 0*y - 2*y + 4*a + 4 = 0, 2*y + a = 4. Suppose -528*f = -516*f + 288. Is (1*y)/(f/(-10356)) composite?
False
Let y be (-3)/21 + 340/28. Suppose 0 = y*v - 8*v - 716. Let g = 450 - v. Is g composite?
False
Let l = -7 + 11. Let q be ((-2)/4)/((-202)/(-40) - 5). Is l/q*(1 + (-118 - -2)) a composite number?
True
Suppose -5*d = -61 - 104. Is 7/((-385)/(-69235)) - (-6)/d composite?
False
Let n be (-34)/6 - 10/30. Let r(c) = -857*c + 11. Is r(n) composite?
False
Let y(d) = -d**2 - 4*d + 16. Suppose -3*a + 42 = -5*b, 5*b + 6 = -a - 20. Let p be y(b). Suppose p*q = -2*q + 8166. Is q a prime number?
True
Suppose -15*m + 4503774 - 665709 = 0. Suppose -m = -30*i + 19*i. Is i a composite number?
True
Is -125526*(-16)/192*(-2)/(-1) a prime number?
True
Let r(b) = -2385*b + 131. Is r(-4) a prime number?
False
Let i(x) = -x**2 - 35*x + 238. Let n be i(6). Is (94 - 0) + 3/(11 + n) prime?
False
Suppose -2 = 27*i - 83. Suppose -22556 = -i*q + 2053. Is q prime?
False
Let h be ((-3)/(-5))/((4/(-20))/(-1)). Suppose 2*j = -h*j + 15. Suppose w + 78 = 4*r, j*r = 4*w - 0*w + 65. Is r composite?
False
Suppose 241*y = 215*y + 784082. Is y composite?
True
Suppose 357812 = 24*l + 103157 - 99129. Is l composite?
False
Let g be -5*(-7 - (-2 + -1)). Suppose g*r = 23*r - 3. Is ((-2)/(-4)*1270)/r a prime number?
False
Suppose 25*a - 1381877 - 1020232 = 711916. Is a a composite number?
False
Let a be (18/4)/(-3) + 810/60. Suppose -45939 = -2*g + a*k - 13*k, 0 = 4*k - 4. Is g composite?
True
Is 6386772/68 + (-100)/(-17) + -6 composite?
False
Suppose 0 = 2*j - 22 + 180. Let u = -574 - j. Let f = -236 - u. Is f a prime number?
False
Is 3786482/14 - (1 - (1 - 2)) prime?
True
Let s(f) = 18*f**2 + 12*f + 14. Let z(m) = -6*m**2 - 4*m - 5. Let j(q) = -4*s(q) - 11*z(q). Let l be j(-1). Is 4 + 33/(-9) + (-266)/l a prime number?
True
Suppose -16*l + 40 = -11*l. Suppose l*n = -2*n + 28190. Is n prime?
True
Let b be -3127 + 2 - (12 + -15). Let g = -4492 - b. Let h = g + 2313. Is h prime?
False
Let d = 5104 + 14557. Is d prime?
True
Let b be 120/12*((-4837)/5 + -3). Is ((-5)/10)/(4/b) a prime number?
True
Suppose -3*h = a - 2, -4*a + 24 + 49 = -h. Suppose 23*p - 564 = a*p. Is p composite?
True
Let f(r) = 3*r**3 - r**2 + r. Let b be f(1). Suppose -3*x + 1620 = -4*o, -2*x + b*x = 5*o + 529. Let z = x + -163. Is z prime?
False
Is 3 + 148/(-52) - 14729085/(-1391) composite?
False
Let r(n) be the first derivative of 7*n**4/12 + 2*n**3/3 + n**2 + 19*n - 20. Let a(o) be the first derivative of r(o). Is a(-3) composite?
False
Let g = -11 - -16. Let c(h) be the third derivative of h**5/4 + h**4/24 + h**3 - 16*h**2. Is c(g) a prime number?
False
Let f(n) = -84*n - 43. Let z be (6/(-15))/(22/275). Is f(z) composite?
True
Let t(o) = 3*o**3 - 2*o**2 + 3*o - 12. Let w be t(7). Suppose q + w = -979. Let l = -1132 - q. Is l a composite number?
False
Let d = 67 + -40. Suppose 0 = -0*b + 3*b - d. Suppose -b*y = -10*y + 389. Is y a prime number?
True
Let g(a) = -227*a**2 - 53*a + 5. Let n(v) = 227*v**2 + 53*v - 5. Let z(q) = 3*g(q) + 4*n(q). Is z(-6) a composite number?
True
Let h = -179792 - -317043. Is h a composite number?
False
Let c = -278 - -276. Let r(d) = -2201*d - 11. Is r(c) a composite number?
False
Let f(y) = 4*y - 27*y - 2*y**3 - 17*y + 62*y**2 + 26. Is f(30) prime?
False
Let c = 123928 - -13345. Is c composite?
False
Let w(a) = -a**3 - a**2 - 1. Let r(m) = -8*m**3 - 14*m - 1 + 0 + 2*m - 243*m**2 + 226*m**2. Let c(j) = r(j) - 5*w(j). Is c(-7) prime?
False
Suppose -2*b = 2*x, -4*x = 27 - 7. Suppose -5101 = -b*h + t, 2*t - 4451 = -5*h + 662. Suppose 5*z - p = h, 2*z - 5*p = -204 + 594. Is z a composite number?
True
Let u be (-14)/(-21) - 14358/18. Let p = -470 - u. Is p composite?
True
Let w = -61205 + 89905. Suppose 0 = -2*a - 7246 + w. Is a a composite number?
True
Let p = 202 + -200. Suppose p*n + 160 = f + 4, 3*f + 2*n - 476 = 0. Is f composite?
True
Suppose 4*s + 2*p = 1426750, -6*p + 13*p = -5*s + 1783478. Is s prime?
False
Let s = -831 + -1272. Suppose 0 = o + 5 - 3. Is 7/((-3)/s + (-2 - o)) prime?
False
Let m(k) = 4*k**3 - 9*k**2 + 9*k + 6. Let r(w) = 3*w**3 - 8*w**2 + 8*w + 5. Let u(h) = 4*m(h) - 5*r(h). Let b be u(2). Is (-10 - b/(-3))*-37 prime?
False
Suppose 0 = -3*b + 6, 0 = -4*g + 13*b - 11*b + 51312. Is g a prime number?
True
Let v(t) = -5400*t - 1363. Is v(-17) a prime number?
True
Suppose v - 4 = -4*n, -8*n = -v - 3*n - 32. Is -1*48242*6/v composite?
False
Let g = -17 + 17. Suppose 7*a - 13016 + 3657 = g. Is a a prime number?
False
Let n(j) = 2713*j + 8932. Is n(43) prime?
True
Suppose 76*j = 27*j + 284543. Suppose z = j - 600. Is z a composite number?
True
Suppose 3*m = 7*m + 3*i - 25673, -2*m + 12838 = 2*i. Let u = m + 2043. Is u a prime number?
False
Let i = -9 + 106. Suppose 8 = -m - i. Let w = m - -442. Is w composite?
False
Let g = 968 + 1867. Suppose 5*t = -4833 + 583. Let d = g + t. Is d prime?
False
Let n(x) = x**3 - 8*x**2 + 3*x - 5. Let l be n(7). Let k = l - -33. Suppose 2*b + 4 = k, v - 2*b - 1265 = -5*b. Is v a composite number?
True
Let u(y) = 130*y**3 - 3*y**2 + 2. Let n be u(2). Let p = 1291 - 1144. Let f = n - p. Is f a prime number?
True
Suppose 0 = -a + 2, 13*a + 760589 = 5*u + 10*a. Is u composite?
True
Suppose -3*q - 3*g + 4001 = -2*q, -2*g - 4 = 0. Let l = q - 2296. Is l a composite number?
True
Is (22/9)/((-12)/(-2468106))*(-42 + 45) a prime number?
False
Suppose 147*l - 154*l = -866565. Suppose 528325 = 10*q + l. Is q prime?
False
Suppose 950435 = 44*b - 874289. Is b composite?
True
Let k be -4*(2 - 15) + 2. Let b be 50472/k - (-2)/6. Suppose 7*v - 2*v = b. Is v prime?
False
Let n(c) = c**2 + c - 6. Let t be n(-3). Suppose 12*s - 55 - 17 = t. Suppose -3*w - 4*j = -229, s*j - 4*j - 73 = -w. Is w a composite number?
False
Let a(x) be the second derivative of 7*x**5/20 + 7*x**4/12 - 5*x**3/6 - x**2 - 2*x + 9. Is a(9) a composite number?
False
Let z(t) = 818*t - 4*t**2 + 9*t**2 - 817*t. Let n be z(-1). Suppose n*y - 3122 = 2*y. Is y a prime number?
False
Let s(h) = -h**3 + 176*h**2 + 564*h + 525. Is s(118) prime?
False
Suppose -11*y - 440 = 517. Let x = 116 - y. Let w = x + 128. Is w a composite number?
False
Let z = 14517 + -7185. Suppose 0 = -h - 5, -5*n - 2*h = -943 - z. Is n a composite number?
False
Let l(t) = -t**3 + 1. Suppose 4*u - 4*b = 0, 0 = -5*u + 4*b - 1. Let h be l(u). Suppose x - 3*g - 67 = -4*g, -3*x = h*g - 203. Is x a composite number?
True
Suppose -99*q - 2*v + 161074 = -97*q, 4*q = -3*v + 322148. Is q a prime number?
True
Let g(w) = 2534*w**2 + 348*w - 83. Is g(-16) prime?
False
Let c = 21237 + -13154. Let i = c - 4832. Is i a prime number?
True
Suppose -4*j = -12, r - j - j = 0. Suppose o = 2*z - r*z - 3, 2*z + 3*o + 9 = 0. Suppose -5*p + 2*k - 5*k + 7860 = z, 2*k = 5*p - 7835. Is p a prime number?
False
Let u(d) = -5187*d + 2881. Is u(-16) composite?
True
Let u = 2251 + 456. Is u composite?
False
Suppose 53 = 4*v - v + 4*z, -z = 3*v - 38. Suppose 12*l = v*l + 2. Suppose -5*o - 5*x = -1186 - 539, -4*x + 686 = l*o. Is o a composite number?
False
Let h = 123 - 13. Let l = h - 41. Is l a prime number?
False
Let j(w) = 6*w - 70. Let d be j(12). Is 4/(-2)*(-1077)/d + 2 prime?
False
Suppose 2*h - 1074 = 5*b + 197, 5*h = -b + 3218. Let a be ((-30)/18)/((-24)/18)*4. Suppose -l - 2*w = -167, l = a*l + 3*w - h. Is l composite?
False
Suppose -18*t = 33*t - 77*t + 5463042. Is t a composite number?
True
Suppose 3*h - 5*z - 943 = 0, 444 + 168 = 2*h + 5*z.