= -3, -z*a + 5*c = -g. Is a a prime number?
False
Let h(y) be the first derivative of -393*y**2/2 - 16*y + 7. Is h(-5) composite?
False
Is 5 - (-1279)/(2 + 45/(-24)) a prime number?
False
Is ((-1)/(-2))/(3/(-38109))*-2 composite?
False
Suppose -o - 156 = -4*o. Suppose -o = -2*n + 106. Is n prime?
True
Let r(t) be the second derivative of 79*t**5/4 + t**4/12 - t**3/3 + t**2/2 + 17*t. Is r(1) a prime number?
False
Suppose y - 461 - 506 = 0. Suppose k = y + 532. Is k composite?
False
Suppose 0 = 44*d - 128538 + 19462. Is d a composite number?
True
Suppose l + 5*r = 8*r + 769, l - 4*r - 765 = 0. Is l prime?
False
Suppose 6*m + 0*m = 42702. Is m composite?
True
Let i(z) = 10*z**2 - 5*z + 22. Is i(12) composite?
True
Suppose -2*s - 4614 = b - 3*b, -3*s + 11551 = 5*b. Is b composite?
False
Let l(w) = 12*w**2 + 16*w**2 + 14*w**2 - 11 + 11*w - 27*w**2. Is l(5) prime?
True
Let s be 248 + (-3)/((-6)/10). Suppose -1396 + s = -9*p. Is p prime?
True
Let w be 2/(-3) + 9632/12. Let k be -4 - (4 - w) - -1. Suppose -676 - 367 = -4*u - 3*x, -2*x - k = -3*u. Is u prime?
True
Suppose -s = 3*c - 922, -62*c = 3*s - 59*c - 2736. Is s a composite number?
False
Let w = 5583 - 956. Suppose 4*s - p - w = 5693, -3*p - 2591 = -s. Is s composite?
False
Let f(r) be the first derivative of -51*r**2 - 20*r + 2. Is f(-13) prime?
False
Is (-18)/12 + ((-61453)/(-14) - 1) prime?
False
Let i = -1 - -3. Let s be -2 + i - (-9 + 5). Is 2002/s + (-12)/8 a prime number?
True
Is -4 + -8 + 5 + 3600 a prime number?
True
Let u be -2 - ((-12)/3 + 3). Let n be 4/6*(7 + u). Suppose n*s = -3*b + 1035, -4*s + 12 = -0*s. Is b a prime number?
False
Let f(q) = -1460*q + 14. Is f(-9) a composite number?
True
Suppose -2*v = -3*k + 11036, 23*k = 26*k + 5*v - 11050. Suppose 0 = i + b + 6 - 2, i = b - 10. Is k/14 + (-1)/i prime?
True
Suppose -f + 5*f + 500 = 2*h, -2*h - f + 485 = 0. Suppose 0 = -4*q + y + 269 + h, 3*y + 650 = 5*q. Is q composite?
False
Suppose -w + 3*g + 4261 = 6*g, -3*w - g + 12799 = 0. Suppose -p - w = -18*p. Is p prime?
True
Let g(x) = x**2 + 6*x + 10. Let n be g(6). Let u = n - 27. Is u prime?
False
Let w(b) = -2*b**3 - 11*b**2 + 15*b - 7. Let r be w(-12). Let g = 2506 - r. Is g a composite number?
False
Suppose 8*s - 7*s - 2*h = 757, 0 = 5*s + 4*h - 3785. Is s prime?
True
Is (3647/(-13 - -6))/(1/(-1)) prime?
True
Suppose 0 = 4*j + j - 85. Let g = j + -23. Is (-2438)/g + 6/9 a composite number?
True
Let q(z) = z**3 + 22*z**2 - 37*z - 69. Is q(-22) a composite number?
True
Let r = -91 - -96. Suppose -5*w = -141 - 2069. Suppose r*v - 1617 = -w. Is v composite?
True
Suppose -2*y = -4*f + 25602 + 240, -4*y = 5*f - 32283. Is f a composite number?
True
Let b be (-1 + 1)/((-2)/(-2)). Let l(s) = 2*s - 4. Let g be l(3). Suppose b*v - v = 3*j - 38, g*j - 30 = 4*v. Is j a composite number?
False
Suppose -5*d + 2*d + 5*w = 10792, 4*d + 2*w + 14398 = 0. Let g = d - -6850. Is g prime?
True
Let y be 1*(-130 - 1) - -1. Let a = y + 213. Is a prime?
True
Let k = 730 + 2761. Is k composite?
False
Let r = -156 - -188. Is (-1230)/(-24) + 4/r*-2 prime?
False
Let u be 20/8*6/5. Suppose -u*k - 3 = 9. Is (k + 3 + 0)*-37 a prime number?
True
Let w = 1545 + 22. Is w composite?
False
Is 139924*(-13)/260*-5 prime?
True
Let k = -9 - -13. Suppose 8*t = 7*t + k. Suppose 2*f + c - 387 = 0, t*f - f = -4*c + 593. Is f a prime number?
True
Suppose -2*v + 0*v + 4 = 0, -5*v = 3*d - 16. Suppose k = d*k. Is (-7)/((-3 + k)/33) a prime number?
False
Suppose f + 1 = 5*d - 0*d, f - 4*d = -2. Let h be -2*(0 - (-3)/f). Is 822 + 1 + -3 + h composite?
False
Suppose 4*v - 15 = -h, 4*h - 7*v = -4*v + 3. Is (518/(-63)*267)/((-2)/h) prime?
False
Let n be (-5)/(25/2)*-2045. Suppose 3*r - 5*r + 854 = 4*j, -3*r = 4*j - 1291. Let c = n - r. Is c prime?
False
Let j(w) = -8496*w + 1275. Is j(-7) composite?
True
Suppose 3*c - c = 5676. Let y = -1277 + c. Is y a prime number?
False
Is 24/9*3 - -40551 prime?
True
Suppose h - 109817 = 2*b, -2*h + 2*b - b = -219634. Is h a prime number?
False
Let v = -13 + 17. Suppose 0 = 3*u - i - 28, -5*i = 5*u - v*i - 52. Is u a composite number?
True
Let c(x) = 12*x + 5. Let m = 14 - 19. Let f be m/(-10) + 33/6. Is c(f) a prime number?
False
Suppose 0 = 5*p + 3*m - 1321, -5 = p + m - 268. Suppose -30 = -284*x + 281*x. Suppose 2*k + x = 0, 4*v + 3*k + p = 5*v. Is v prime?
True
Let c(p) = -133*p**2 + 13*p - 15. Let n(z) = -66*z**2 + 6*z - 7. Let v(i) = 4*c(i) - 9*n(i). Let d(m) = -m**2 - 4*m - 1. Let b be d(-1). Is v(b) composite?
True
Suppose -n + 3*q + 7 = 25, q - 22 = 3*n. Is 5/(10/n) - -614 prime?
False
Suppose 10 = -25*o + 30*o. Let c(h) = 3 - 6 + 30*h**2 - 2*h + 4*h. Is c(o) composite?
True
Let i(o) = -1393*o - 1. Let y be i(-2). Suppose z + 142*v = 138*v - 10, -24 = -2*z + 3*v. Suppose y = z*l - l. Is l a composite number?
False
Let c(w) be the second derivative of -17*w**5/20 + w**4/12 + 4*w. Let z be c(1). Is (3/2)/((-4)/z) prime?
False
Let u = -340 + 84. Let j = 423 + u. Is j composite?
False
Suppose 0 = 5*w + 8 + 7. Let d(n) = -1 - 19*n + 12 - 3 - 7. Is d(w) a prime number?
False
Let g(b) = 6*b - 4. Let f be g(4). Suppose -1 = -4*k - 5*h, -4*h = -5*k + 3*k + f. Is (-615)/10*k/(-2) a prime number?
False
Let g = -2 - -5. Suppose b = 4*b, -g = -l - 4*b. Suppose 0 = -2*u - 2*w + 860 - 120, l*w - 15 = 0. Is u a composite number?
True
Suppose 3*z + 2*j + 0*j - 14483 = 0, -2*z + 9670 = 5*j. Suppose -4*l - k + z = 0, 4*l - 6*l + 2400 = -2*k. Is l composite?
True
Let u = 37661 + -23698. Is u a prime number?
True
Suppose 0 = 2*i + 166 - 16. Suppose 12*v - 17*v = -905. Let s = i + v. Is s composite?
True
Let v(q) = -3*q - 9*q + 4*q. Let n(j) = -j - 1. Let g(p) = -5*n(p) + v(p). Is g(-6) a prime number?
True
Suppose c + 50 = 5*o, -3 = 3*o + 3*c - 51. Suppose o*n = -486 + 2719. Is n composite?
True
Let f(y) = 3*y**2 - 4*y + 32*y**3 + 337*y**3 + 0 + 1 + 50*y**3. Is f(1) a composite number?
False
Let t(d) be the third derivative of 13*d**4/8 - d**3/3 - d**2. Let c be 5 - (-5 - 36/(-4)). Is t(c) a composite number?
False
Suppose 889*l - 884*l - 284605 = 0. Is l a composite number?
False
Suppose -x - 7 = 3*p, 0 = 5*x - x - p + 54. Let r = 18 + x. Suppose -5*o + i = -2450, 481 = o - r*i + 3*i. Is o a prime number?
True
Let n be 15*-1 - (-4 + (-3 - -7)). Let i(t) = -t**3 - 1. Let z(j) = 4*j**3 - 15*j**2 + 10*j + 21. Let a(b) = -5*i(b) - z(b). Is a(n) a prime number?
False
Suppose t + 18546 = 5*p - 26492, 5*t + 27036 = 3*p. Is p a composite number?
False
Suppose 12*x - 303835 = 36209. Is x a composite number?
True
Let s(y) = 8 + 107*y**3 - 3 - 5*y - 91*y**3. Is s(2) a composite number?
True
Let p be 4 - (-3 + 10 + -3). Let l be p/((-4)/(-2)) - -4. Is ((-170)/l)/(3/(-6)) a composite number?
True
Let j be (182/78)/((-1)/(-3)). Suppose 1169 = j*i - 5082. Is i prime?
False
Let v = 17808 - 6152. Suppose 3*b - 7688 + 701 = 4*r, -3*r = -5*b + v. Is b prime?
True
Let r(s) be the second derivative of s**5/60 + s**4/8 - 5*s**3/6 - 5*s**2/2 + 3*s. Let t(o) be the first derivative of r(o). Is t(6) prime?
False
Let q = -37689 - -77540. Is q composite?
True
Let m(x) = x**3 - 9*x**2 - 58*x + 317. Is m(26) prime?
True
Let w(m) = -3921*m + 5. Is w(-6) composite?
False
Suppose -4*b + 26090 = -2*v, 6*b = 5*b - 4*v + 6509. Is b a prime number?
True
Is (-1484964)/(-324) - 4/18 composite?
False
Suppose -5*n + 141 = -5*a + 906, 0 = 5*n - 20. Is a prime?
True
Let a(f) be the first derivative of 4*f**3 - 5*f - 2. Is a(5) a prime number?
False
Let x be 13 - 1*(1 - 3). Suppose x*b = -b + 10096. Is b a composite number?
False
Let b(f) = -f + 14. Let j be b(11). Suppose j*v - 9*v = -798. Is v a prime number?
False
Let n = -276 - 98. Let b = n - -613. Is b composite?
False
Suppose 67173 + 14632 = 5*h. Is h a composite number?
False
Suppose -2*n = 4*r - 10, -5*r + 3*r - 3*n + 7 = 0. Let t(z) = 97*z - 1. Let p be t(r). Let a = -84 + p. Is a a composite number?
False
Let t be ((-4 - -7) + -2)*16. Let p = t + -12. Suppose 0 = p*u - 0*u - 716. Is u composite?
False
Suppose -3*c + 6*c = -24. Let p(a) = a + 8. Let k be p(c). Is (k + -1)/(1/(-541)) composite?
False
Let i be (-1)/(-1 + 128/124). Let h = i - -27. Is h/(-8) - 65/(-2) composite?
True
Let v be (16/28)/(-4 + (-58)/(-14)). Is 22544/40 - v/(20/3) composite?
False
Suppose 0 = 2*v + 3*v - 10. 