ppose -307*v + 53545729 = -121156283 + 37973729. Is v a composite number?
True
Suppose 14 = 8*p - 18. Is (-1)/p + 83679/12 a composite number?
True
Let f(t) be the first derivative of -t**5/2 - t**4/6 + t**3/6 + t**2 + 8*t + 21. Let s(g) be the first derivative of f(g). Is s(-3) a prime number?
True
Let l(q) be the third derivative of -q**6/30 - q**5/15 + 5*q**4/12 + 10*q**3/3 - q**2 + 5*q. Is l(-7) a composite number?
True
Is (3 - -1)*((-62938)/(-5))/(76/95) a composite number?
True
Is (-14 - -13) + (-5)/(20/(-2374128)) a composite number?
False
Let n(q) = 35*q**2 - 15*q - 42. Let y be n(10). Let o = y - 541. Is o a prime number?
True
Suppose -a - 3*a = 3*n - 37, 4*n = -2*a + 26. Let y(d) = 799*d - 24. Is y(a) prime?
True
Let d be (2/(-3))/(4/((-12)/1)). Suppose -4*u = -5*u + 5*y + 271, -2*u + 2*y = -534. Suppose -d*k + 208 + u = 0. Is k a composite number?
True
Let m(y) = 130*y - 8. Let c be m(4). Let p be (1 - 3/(-6))/((-12)/c). Let j = p + 123. Is j a composite number?
False
Suppose -4*z + 2*z = 3*z. Suppose z = w + 6*w - w. Is w - (9527/28)/((-1)/4) composite?
False
Let m(t) = -6 - 1944*t + 5 + 0 + 8. Is m(-3) a composite number?
False
Let r(w) be the third derivative of w**6/120 + 23*w**5/60 - 31*w**4/12 - 49*w**3/6 - 49*w**2. Is r(-25) composite?
False
Is -26 - -34 - (-233878)/2 prime?
False
Let c(d) = 4*d**2 + 52*d + 75. Let h(v) = -5*v**2 - 50*v - 76. Let s(u) = 7*c(u) + 6*h(u). Is s(31) a composite number?
False
Suppose q - 29 = 3*s, 5*q - 4*s - 7 = 105. Is 1746*1 - 100/q a composite number?
False
Suppose 3*u + 4*h = 200241, 7*u + 400428 = 13*u - h. Is u prime?
True
Suppose 9288 = -37*l + 705073. Is l prime?
False
Let g(t) = 1827*t**2 + 5*t + 3. Let a be g(-2). Suppose -i - 14791 = -5*k, -5*k + 2*i + 7486 = -a. Is k a prime number?
False
Suppose -7*y + 8*y = 0, -4*y + 527286 = c - 1191503. Is c a prime number?
True
Let p = 3 - 0. Suppose -397*x + 509*x = 224. Suppose -783 = -l + x*s + 430, l - p*s = 1217. Is l prime?
False
Let h(p) = p**3 + 2*p**2 - 2*p + 1. Let t be h(-3). Let d(z) = 2*z**2 + 82*z + 158. Let c be d(-39). Is (c + 2032/(-12))/(t/3) prime?
True
Let p = 33 + -29. Let f be p + (-3 - -2) - (2 - -1). Suppose f = -2*o - 5*t + 955, 5*o - 3*t - 2416 = -6*t. Is o prime?
False
Let v = -3176 - -319295. Is v composite?
True
Suppose 29*j - 1484678 - 10965863 = 0. Is j a prime number?
True
Let y be ((-1)/(-1) - 0)*-2. Is (4*(-701)/(-6))/(y/(-6)) composite?
True
Suppose -1198986 = -94*q - 422452. Is q a composite number?
True
Let j = -67 - -82. Suppose 9*m = j*m - 18. Suppose -m*y + 8*y - 8895 = 0. Is y a prime number?
False
Suppose -85*u + 81064051 + 5658984 = 0. Is u a composite number?
True
Let f = 8164 - 4513. Let o = f - 712. Is o a prime number?
True
Suppose 2 = 8*k - 102. Suppose 4*w - 20 = 0, k*b - 4*w = 10*b + 9595. Is b prime?
False
Let s(z) be the third derivative of 1/8*z**4 - z**2 + 0*z + 8663/6*z**3 - 19. Is s(0) prime?
True
Let y(k) = 4*k**3 - k**2 + 4*k + 18. Let l(h) = 8*h**3 - 2*h**2 + 9*h + 35. Let r(o) = -2*l(o) + 5*y(o). Is r(7) a composite number?
True
Suppose -2*u + 3*u + 4*g + 7 = 0, 3*g = -4*u + 11. Suppose 0*h = -2*h + 894. Suppose 5*z = -20, -u*m + z = -h - 2492. Is m prime?
True
Suppose -5*y = -9*y + 128. Suppose 43*v - y*v - 42977 = 0. Is v prime?
True
Suppose -35*n - 3*c = -34*n - 38155, -4*n + 4*c = -152588. Is n composite?
False
Suppose -1189 = -z + 5165. Let w = z - -3081. Suppose -5*v = -9*n + 4*n - w, 7560 = 4*v + 2*n. Is v prime?
True
Let s = 80 - 77. Suppose 17*j - 8915 = 16*j - 2*a, -s*a = -j + 8935. Is j prime?
True
Let a(r) be the third derivative of r**5/60 + 17*r**4/24 - 11*r**3/3 - 24*r**2. Let t be a(-18). Let u(l) = -226*l - 26. Is u(t) a prime number?
False
Let h be (-540)/24*152/10. Let f = h + 203. Let k = f + 518. Is k prime?
True
Let b(x) = 2*x**3 - 11*x**2 + 12*x + 46. Let l(y) = 5*y**3 - 21*y**2 + 24*y + 96. Let d(t) = 7*b(t) - 4*l(t). Is d(-11) prime?
False
Let y(c) = -c**2 + 13*c - 33. Suppose -50 + 10 = -4*r. Let g be y(r). Is g/3 - (7 + -811) prime?
False
Let i(d) = 7*d - 5. Let q be i(1). Suppose -15*r + 53014 = -q*r. Is r a prime number?
False
Let w(q) = -12*q**2 - 2*q + 0*q**3 - 2 - 14 + q**3. Let c be (1/2)/((-13)/(-338)). Is w(c) a composite number?
False
Is (224897 - ((-7)/(-7) + -2))*(-2)/(-4) a prime number?
False
Let r = 235216 + -142473. Is r a prime number?
False
Let g be (-47)/(-3*(-2)/(-972)). Suppose -a - 3*p + 3802 = 0, -p - g = -2*a - 5*p. Is a a prime number?
False
Let h = -185496 - -271115. Is h a composite number?
False
Suppose 4379 = 2*x + y, y + 2 + 1 = 0. Let a = x - 1340. Is a a composite number?
True
Suppose -5*p + 5*k = -118765, 2*k - 62 = -70. Suppose 60*m = 49*m + p. Is m a prime number?
False
Let i be (2 - (-16)/(-12)) + 3/9. Let m be (i/2 - 264/(-16))*1. Suppose 0 = -w - m*w + 4518. Is w composite?
False
Suppose 5*p = -5*y + y - 7436, -8 = 2*y. Let q be ((-3241)/21 + -7)/((-2)/(-27)). Let h = p - q. Is h composite?
True
Suppose -9*s = 58*s + 7*s - 9587958. Is s a prime number?
False
Let u be (8/(-6))/(10/(-15)) - -1. Suppose 3*p + u*t - 6 = 0, 4*p + 0*t - 4*t = -16. Is (p/3)/(9/(-2943)) prime?
True
Suppose -3*r - 5*v + 12 = -3*v, -2*r = -3*v - 21. Is 2498/4*-2*r/(-6) a composite number?
False
Let t be (447/4 + -3)*4. Let w = 37 + t. Suppose -n = -843 - w. Is n a composite number?
True
Let j = 58 - 64. Is (0 + 27165/j)/((-2)/4) composite?
True
Let g(f) = 524*f + 185. Let s = 88 - 75. Is g(s) prime?
True
Let u(r) = 10*r - 27. Let t be u(3). Suppose 8*y - 3365 = t*y. Is y a prime number?
True
Let r = 92 + -90. Suppose -r*z + 3*n = -5*z + 30402, 4*n + 30395 = 3*z. Is z a composite number?
False
Let k be 3 - 6 - -1 - -2. Suppose -5*n + 1111 + 244 = k. Is n prime?
True
Suppose 0 = 21*c - 4*c - 23953. Let o = 2772 - c. Is o composite?
True
Let l = -46 - -52. Let i be ((8 - 10) + 8/l)*-12. Suppose -3425 = -3*y - 4*s, -3*s + 4562 = -4*y + i*y. Is y composite?
True
Suppose -5*z + 5*b = -4007025, -2*b = -3*z + 1141834 + 1262379. Is z a prime number?
True
Let o(u) = u**3 + 19*u**2 + 19*u - 1. Let j be o(-16). Let m = j + 2242. Is m a prime number?
False
Let i(l) = 6*l**3 - l**2 + 13*l + 1. Let m be (-1)/(1 - (-3 + (5 - 2))). Let d be ((-14)/(-4) + -1)/(m/(-2)). Is i(d) prime?
False
Let t(i) = -i**3 - 40*i**2 - 2*i - 43. Let l be t(-40). Is 74422/9 + 4 + l/(-9) a composite number?
False
Let v be -4*(-36)/(-32)*-2. Let j be ((-3)/v)/((-4)/1236) + 0. Suppose 5*b - 207 = 4*p - 32, 0 = 3*b - 2*p - j. Is b composite?
False
Let b(m) be the second derivative of 119*m**3/6 + 3*m**2 + 6*m. Let i be b(2). Let j = 779 - i. Is j a composite number?
True
Let x = -4649 + 15270. Suppose 24*n = x + 4907. Is n a composite number?
False
Suppose -3*v = -5*a + 2086, 4*v = a + 100 - 524. Is a + 4 + (-11 - -4) - -2 a prime number?
False
Suppose -5*i = -5*v + 8560, 4*i - 1687 = -9*v + 8*v. Is v prime?
False
Let q(g) = 22*g**3 - 6*g**2 - 5*g + 41. Let b = -2 + 8. Is q(b) a prime number?
True
Let k(t) = t**2 - t - 5. Let u be k(-2). Let h be -2 + -2 - (-10 + u). Suppose h*o - 570 = 2825. Is o a composite number?
True
Suppose k + 20363 = 3*l, -4*l - 2*k = -5*k - 27144. Let v = l - 2020. Is v composite?
True
Let f(s) = -5*s**3 + 4*s**2 - 3*s - 24. Let d be f(12). Let b = d - -11736. Suppose -4*m + b = 2*o + 60, -2671 = -3*m + 2*o. Is m prime?
False
Let n(u) = 2*u + 1074. Let q be n(0). Suppose -i - q = 1044. Let k = -1189 - i. Is k a composite number?
False
Let x be (-12145)/3*12/4. Let n be (0 + 4 + 1)*(-4)/10. Is (n - -1)/(5/x) a composite number?
True
Let g be 4/(-6) + (-4)/(-6). Let i be (g - -1) + (-3 - -6). Suppose -5*f + 3*x = -f - 347, i*f - 5*x = 357. Is f a prime number?
True
Let l be 779 + (-1 - (-3 - -2)). Suppose -112 + 57 = -11*u. Suppose u*k - l = -3*c - 150, -123 = -k - 2*c. Is k a prime number?
True
Let y(t) = 6663*t**2 + 31*t - 241. Is y(6) a composite number?
True
Suppose 2*w - 3*w + 5 = 0. Suppose w*l + 583 = 1928. Suppose -5*m + 5614 = l. Is m a composite number?
False
Let v be 2*(-4157)/4*(-5 - -1). Suppose -4*b = -13726 - v. Suppose -b = -5*f + 3*u + 3840, 0 = u + 5. Is f composite?
False
Suppose t + 2*q + 0*q = 189817, -6*q = 0. Is t a composite number?
False
Let d be ((-12)/18)/(3/45). Let a(j) = 17 - 18*j - 2*j - 13*j. Is a(d) prime?
True
Let p(z) = -z**2 + 