v(3) a prime number?
False
Suppose -4*s + 753 = -26843. Is s prime?
True
Let y = -7616 + 13645. Is y a prime number?
True
Suppose 4*v - 44043 = -5*n, 2*n - 2*v = 3*n - 8811. Is n composite?
False
Suppose 0 = -7*s - s + 42088. Is s composite?
False
Suppose b = -4*n + 14267, -b + 0*b = 5*n - 17833. Is n composite?
True
Let o = -1219 + 4370. Is o prime?
False
Suppose -4*b + b + 27 = 0. Let u be (b*(-3)/(-9))/1. Is 6/4*314/u a composite number?
False
Let l = -28 - -36. Suppose 2*g - 5*w + 33 = 0, 2*g - l = -3*w - 1. Is ((-62)/g)/(14/28) a prime number?
True
Let n(l) = -43*l - 4. Let x be n(5). Let c = x + 316. Is c composite?
False
Suppose -3*h = -h - 582. Let d = -160 - -302. Let l = h - d. Is l composite?
False
Let q(z) = -2*z. Let n be q(-1). Suppose -4*r - 14 = -h, -3*h + 6 = -n*r - 6. Suppose 0 = h*m - 152 - 146. Is m a composite number?
False
Suppose 695 = 2*w - 567. Is w prime?
True
Suppose 2*q - 24 + 20 = 0. Suppose 0 = -n + 3*c + 632, q - 1 = c. Is n prime?
False
Suppose 3*r = 3*s - 2700, r = -s + 6*r + 888. Suppose 0 = 2*p - p + s. Let y = -625 - p. Is y a composite number?
True
Suppose -3*a = -2*v + 7*v - 20317, -2*a = -2*v - 13566. Is a composite?
False
Let b = 11181 - 7192. Is b prime?
True
Is -11157*((-35)/(-21))/(-5) prime?
True
Let a = -508 + 284. Let k = a - -426. Is k a composite number?
True
Suppose 10*s + 97 = -2*r + 7*s, 3 = -3*s. Let i be (70 - -1)/1 + 1. Let n = i + r. Is n a composite number?
True
Suppose -126*o = -119*o - 13069. Is o prime?
True
Suppose 0 = 2*s - 6*s + 24. Suppose s*r - 8966 = 2392. Is r prime?
False
Let o be 50/(-15)*3/(-2). Suppose -g + o*g = 0. Suppose g = -s + 2*s - 721. Is s composite?
True
Let v(i) = i**3 + 4*i**2 + 3*i - 3. Let d be v(-3). Let q = 0 - d. Suppose q*g + 2*s - 889 = 7*s, -5*s - 303 = -g. Is g a composite number?
False
Let b be (-25)/(-2)*12/30. Suppose -4*o + h + 374 = 0, 8*h = -o + b*h + 100. Is o prime?
False
Suppose 0 = -3*t - 3*x + 1509 + 8616, -6756 = -2*t + x. Is t a composite number?
True
Suppose -5*n = -25 + 10. Let v(l) = -l**2 + 4 + 0 - 3 - 2*l - 2*l**2 - 27*l**n. Is v(-2) prime?
False
Let k(n) = n**3 + 7*n**2 + 6*n + 3. Let h be k(-6). Suppose d - h*d = 0. Suppose d = 5*a - 167 - 3. Is a prime?
False
Let i be 2/3 - 28/(-12). Let z be 1/3*(-3 + i). Suppose -2*m - y + 212 = 0, z = -3*m + y + 159 + 159. Is m a composite number?
True
Suppose -4*o = -2*r + 46, -4*r - 74 = 5*o + 16. Let f = o + 18. Suppose -f*c = 3*s - 2708, 2*s - 38 = -c + 639. Is c a composite number?
False
Suppose 4*b - 12 = 4*k, k - 3*b - 3 + 12 = 0. Suppose k = 58*j - 57*j - 115. Is j a prime number?
False
Let m(b) = -497*b - 8. Let n be m(-3). Suppose -3*s - n = -2*v, 3*s = 3 - 0. Is v composite?
False
Is (8 + -9)*(-17339 + (-1 - -1)) prime?
False
Let q(n) = 323*n**2 - 4*n - 6. Is q(-2) a composite number?
True
Let b(j) = j**2 - 2*j + 9. Let h be b(6). Let r = h - 24. Let v(t) = t + 12. Is v(r) a composite number?
True
Let q(h) = 2*h**2 + 5*h + 1. Let s be q(2). Is (-12)/8*-2*s a composite number?
True
Let v be 0/(-2)*2/(-6). Let n(w) = 3*w + w**3 - 5 - 2 + v*w + 3 - 7*w**2. Is n(9) composite?
True
Let c be ((-4)/1 - (1 + -8))*6. Suppose 1595 = 23*s - c*s. Is s prime?
False
Suppose -w + 2*w = 2*s - 513, 0 = -w + 5*s - 528. Let i = 296 - w. Is i composite?
True
Let m(z) = -125*z**3 + 4*z**2 + 2*z + 4. Is m(-3) composite?
True
Is (-82234)/((-7 + 6)*2) prime?
True
Let m(g) = 63*g**2 - 2*g + 3. Let q be m(4). Let i = q - 449. Is i a prime number?
False
Suppose 281*o - 279*o = 7226. Is o a prime number?
True
Let f(z) = -z**3 - z**2 - 4*z + 7. Suppose -o - 5 = -6*o. Let m be o/(2 - (-39)/(-18)). Is f(m) composite?
False
Let j(u) be the second derivative of 47*u**4/6 + 3*u**2/2 + u. Let q(l) = -7*l - 33. Let r be q(-5). Is j(r) a prime number?
True
Suppose 0 = -3*j + 6 - 87. Let v = 715 + j. Suppose v = 2*x + 174. Is x prime?
True
Let x be 10/(-6)*18/(-10). Suppose 0 = 3*c - x*h - 1044, 5*c - 2*h + 0*h = 1737. Is c a composite number?
False
Suppose 109*o - 110*o = -758. Is o/(-4)*(-3 - 11) a composite number?
True
Let j = 67 - 28. Let g = 18 - 13. Suppose -g*c + j + 131 = 0. Is c a composite number?
True
Let m = 12291 - -298. Is m a composite number?
False
Suppose -24*j = 4*j - 54908. Is j a prime number?
False
Suppose 81076 = 4*s + z + 3*z, 2*z = 3*s - 60817. Suppose 0 = -2*d + w + s, 2*d - w - 2*w - 20281 = 0. Is d composite?
False
Let f(v) be the third derivative of 0*v + 0 - v**2 + 1/15*v**5 + 5/3*v**3 - 3/8*v**4. Is f(7) a composite number?
True
Let q = 8056 + -5627. Is q a composite number?
True
Let a(p) = -p**2 + 8*p + 11. Let i be a(10). Suppose 0 = 3*t - 0*b - 3*b - 33, -b = 2*t - 16. Is (-2)/t - 1001/i a composite number?
True
Suppose 0 = -343*u + 394*u - 19431. Is u composite?
True
Suppose 32*d + 56 = 39*d. Is ((-2)/d)/(1*1/(-1172)) a prime number?
True
Let t(r) = -r**3 + 12*r**2 + 6*r + 5. Let y be (18/(-27))/((-2)/18). Is t(y) composite?
False
Suppose t + 957852 = 3*h, -h - 23*t = -26*t - 319276. Is h a composite number?
True
Suppose 3*l - 1641 = 3*n + n, -2*l - n = -1105. Suppose -83 = 2*q - l. Suppose -5*o - 3*c + 236 = 0, -5*o - 2*c = -0*o - q. Is o prime?
False
Let d(x) = x**2 + 4*x + 5. Let i be d(-3). Suppose -2*l + 0*b + 2338 = 5*b, 0 = i*b - 8. Suppose 0 = -3*h - 4*p + l, -h = 2*h + 5*p - 1154. Is h composite?
True
Suppose 0 = 3*f - 0*f + 4*l + 14464, f + 3*l = -4823. Let q be 8/(-28) + f/(-14). Suppose -q = -w + 65. Is w composite?
False
Suppose -5*n - 16728 = n. Let p = 5241 + n. Is p a prime number?
False
Let w(y) = y + 15. Let k be w(-12). Suppose -4*s = -3*f + 2169, -2196 = -k*f - 0*s - 5*s. Suppose 4*t - f = 3*r, 4*r = -3*t - 0*t + 539. Is t composite?
False
Suppose 13*n = 12*n + 9. Let z(t) = 7*t - 1. Is z(n) prime?
False
Let c(w) = 1761*w - 12. Is c(9) a prime number?
False
Let l(z) be the second derivative of 5*z**4/4 + z**3/3 - z**2 - 15*z. Is l(-3) composite?
False
Is 4/44 - (596505/(-33) - 3) a prime number?
False
Suppose -2*q - 28 + 8 = 0. Let u(d) = d**3 + 10*d**2 - d - 5. Let l be u(q). Suppose l*f - 262 = -x - 2*x, 0 = -2*x - 4*f + 178. Is x a composite number?
False
Let q be 16656/9 + 3/9. Suppose -10*a + q = -179. Is a composite?
True
Let w = -2482 + 1671. Let m = w + 1289. Is m prime?
False
Let s(j) = 65*j**3 + 3*j**2 - 2*j + 2. Let q be s(-3). Suppose 187*f + 5022 = 185*f. Let c = q - f. Is c prime?
False
Let b be (16/12)/(2/6). Let u(a) = -a**2 + 5*a + 3. Let t be u(b). Let z(y) = 8*y**2 - 14*y - 7. Is z(t) prime?
False
Suppose 0 = -5*i - 0*i + 3915. Let n = i + 2. Is n a composite number?
True
Let y(z) = -5*z**2 + 2*z - 162. Let o(u) = 2*u**2 - u + 54. Let n(q) = 8*o(q) + 3*y(q). Let w be n(0). Let m = w + 181. Is m composite?
False
Let f(l) = l**2 + 4*l + 1. Let r be 12/28 + 174/(-14). Is f(r) a prime number?
True
Let b(x) = -3406137*x**3 + 14993*x**2 - 14993*x. Let t(q) = 1363*q**3 - 6*q**2 + 6*q. Let i(w) = -6*b(w) - 14993*t(w). Is i(1) a prime number?
False
Let x(n) = n + 13. Let o be x(-6). Suppose -o*v - 5*c + 430 = -2*v, -3*v + 5*c = -250. Let u = v - -402. Is u a composite number?
False
Let g = 5583 + -2785. Is g a composite number?
True
Let x be ((-8)/(-6))/((-6)/225). Let t be 18/6 + -3 + 3. Let v = t - x. Is v a prime number?
True
Suppose -13*q + 6*q = -2632. Suppose q + 238 = 2*c. Is c prime?
True
Suppose 27*s - 22*s + 3565 = 0. Let k = s - -1864. Is k composite?
False
Let x = 441 - 2183. Let q = -933 - x. Is q composite?
False
Suppose -6*k = -5*k - 3. Suppose -4*p = v - 239, -458 - 207 = -k*v + p. Is v a composite number?
False
Suppose 4*s = -3*f - 17414 + 63087, -4*s - 8 = 0. Is f a prime number?
True
Let q = -377 + 700. Suppose n = q + 8. Is n a composite number?
False
Let c = 714 + 31. Is c a composite number?
True
Let n(j) be the first derivative of -25*j**4/8 + 7*j**3/6 + 3*j**2 - 14. Let l(x) be the second derivative of n(x). Is l(-6) a prime number?
True
Suppose 3*m + 3*h - 1476 = 4*h, 3*m = 4*h + 1467. Is m a composite number?
True
Suppose -3*s - 4*k = s - 6164, -3*s + 4*k = -4637. Is s composite?
False
Let u(n) = 2*n**3 + 7*n**2 + 5*n + 5. Let f be (-130)/18 + (-10)/(-45). Let w be u(f). Is (w/(-2))/(1/2) a prime number?
True
Let z(n) be the second derivative of -n**4/12 + 5*n**3/6 + 355*n**2/2 + 16*n. Is z(0) a composite number?
True
Let b be (-