v - 7. Let b be i(-5). Let m = -21 - b. Let a(q) = 6*q**2 - 5*q - 3. Is a(m) a prime number?
True
Suppose 7*z - 36 = 3*u + 2*z, -3*z - 36 = 3*u. Let g be 1*(u/(-4) - -58). Let p = 118 - g. Is p a composite number?
True
Let z = -182 + 40. Let q = z - -273. Is q composite?
False
Let j = -8602 - -25041. Is j prime?
False
Suppose 0 = -37*s + 36*s + 3043. Is s a prime number?
False
Let f = -5 + -3. Let r(d) = 13*d - 29*d - 3 - 10*d. Is r(f) a composite number?
True
Let y(p) = -55*p**3 + 7*p**2 + 16*p + 7. Is y(-5) a composite number?
False
Let r = -13 + 15. Suppose h + l = -h - r, 0 = -3*h + 5*l + 10. Is (h + 4 - 5) + 186 prime?
False
Let c be (95 + -45)/((-80)/38 + 2). Let g = -1131 + 303. Let s = c - g. Is s prime?
True
Let x(w) = -15*w - 1 - 15 + 5. Is x(-23) a composite number?
True
Suppose -7*k + 14758 = -40311. Is k a prime number?
True
Let m be 10/((-50)/(-31983)) - (-4)/10. Suppose -5*j + m = 4*n, -2*j + 3289 - 747 = -4*n. Is j a prime number?
True
Let q(z) = z**2 - 5*z - 10. Let s be q(7). Suppose -3*m = 3, -b - 15 = s*b + 5*m. Is -1 + (b - 1008/(-4)) prime?
False
Suppose 9*m - 2*m - 21 = 0. Suppose 10*b - 9*b - 417 = 5*c, 3*c = -m*b + 1269. Is b composite?
True
Is (-12)/78 - 433452/(-39) a prime number?
False
Let q = -29 + 32. Suppose -4757 - 9406 = -q*b. Is b a prime number?
True
Let l be 2/(-9) - 3593/(-9). Let m = 812 - l. Let d = m + -254. Is d composite?
True
Suppose 0 = -2*u - 4*j + 5530, 0*u = -2*u + 4*j + 5554. Is u + -8 - 2*-2 a prime number?
True
Suppose -10 = 2*v + 3*v, 5*r + 3*v = 603089. Is r prime?
True
Let z = -8719 - -15618. Is z a composite number?
False
Suppose -6 = 3*j - 15. Suppose -w + 10 = s, -j*w + 5 = -4*s + 10. Suppose -4*y = -2*c + 361 + 1029, 2789 = 4*c - w*y. Is c a composite number?
False
Suppose 3*j - 2*i - 3 = 0, -4*j = 4*i - 4 - 0. Let d be (j + -1)*5/10. Suppose x + k - 205 = d, -3*x + 3*k + 221 = -2*x. Is x prime?
False
Let v(b) = 77*b**2 + 4. Let k be v(-6). Suppose 0 = 4*p - a + k - 10057, 0 = -p + 4*a + 1839. Is p a prime number?
False
Suppose -4*x = -359 + 75. Let u = -62 - -22. Let h = x - u. Is h composite?
True
Let w(s) = -12*s**3 - 12*s**2 + 9 + 2*s**3 + 2*s**3 + 6*s**3. Is w(-11) prime?
False
Let t be (-98)/3*-9*1. Suppose -4*b = 5*i - 1303, -3*i + t = 4*b - 483. Is i composite?
False
Suppose -q + 5*n = -82, 0 = 2*q + n - 35 - 162. Suppose 3*k - q = -394. Let x = k - -150. Is x prime?
False
Suppose 2*j + 11 = 5*n, 0*j = -2*j + n - 31. Let o = j + 16. Is 684 - (-4 + 1 - o) composite?
True
Suppose 14*m - 3447 = 5*m. Is m prime?
True
Is -4 + 2/(0 - 2)*-1763 prime?
True
Suppose -39*p + 41*p = 0. Suppose p = 6*k - k - 7925. Is k a composite number?
True
Suppose -3*c + 6656 = 4*b - 1611, -5*c - 4*b = -13789. Is c a prime number?
False
Let r be ((-4)/2 + -1)*-1. Let t(d) = -2*d - 4 + 4*d**3 - 7*d**2 - r*d + 3*d**2. Is t(5) composite?
True
Let a = -16070 + 29917. Is a prime?
False
Suppose -m - 3*x = -254, -523 = -2*m - x - 0*x. Suppose -2*g + 2011 = -m. Suppose -i + l + 91 = -283, 3*i - g = -2*l. Is i a composite number?
True
Let f be (-2 - -1)*91/(-7). Suppose 3*v + f + 11 = 0. Let w(a) = a**3 + 11*a**2 + 7*a - 9. Is w(v) composite?
False
Suppose -126316 = 13*k - 17*k. Is k composite?
True
Let f be 0 - (0 + 3/(-1)). Let d be (-22)/33 + 2/f. Suppose -2*n + n - 2*m + 133 = d, 0 = 2*n + 5*m - 261. Is n a prime number?
False
Suppose 4*f + 57*u - 52*u - 3815 = 0, -5*f = u - 4774. Is f a prime number?
False
Suppose -3*o = -2*y + 1051, 0*o - 1544 = -3*y - 2*o. Suppose -5*f = -3*f - y. Is f composite?
True
Suppose 11*h = -14*h + 100. Let v(k) be the second derivative of k**5/20 - k**3/2 + 5*k**2/2 - k. Is v(h) a prime number?
False
Suppose 2*j = 4*i - 2*i - 582, 4*j + 306 = i. Let t = i + 636. Is t a composite number?
True
Let d = -572 + 1018. Suppose z = 5*z - 20, -z = 3*i - d. Suppose -3*v + 48 = -i. Is v a prime number?
False
Suppose 43301 = 3*z - 4*l, -6*z + 10*z = -3*l + 57718. Is z prime?
True
Suppose -6*h = -2*h + 8. Is (4 - 3 - -4152) + h prime?
False
Let z = 28088 - 8427. Is z a composite number?
False
Suppose 71*k - 68*k - 11370 = 0. Suppose 5*v = k + 1405. Is v prime?
True
Suppose -101*i = -99*i - 8818. Is i a composite number?
False
Is 5/(0 + (-40)/(-166832)) a composite number?
True
Is 8/(-14) + (-3745755)/(-35) a prime number?
True
Suppose 9*q - 30 = 4*q. Is (2/q)/(6/23094) prime?
True
Let v(t) be the third derivative of t**6/60 - t**5/12 - 5*t**4/24 + 3*t**3/2 + 10*t**2. Is v(4) a prime number?
True
Suppose 3*s = 5*p + 10 + 16, s = -5*p - 18. Suppose -171 - 69 = -s*g. Let f = g - -1. Is f prime?
False
Let c(z) = -68*z - 3. Let g = -4 + 12. Let d = 6 - g. Is c(d) a prime number?
False
Let x be (-4*52/40)/(2/(-30)). Let d = x - -65. Is d composite?
True
Let z = 0 - -4. Let w = z + 14. Is 3650/w - 2/(-9) a prime number?
False
Let m = 127 + -193. Let q = m + 94. Let w = q - -121. Is w composite?
False
Suppose -41 + 1 = -5*o. Suppose 5*d + 2139 = o*d. Is d composite?
True
Let b = -37 + 9. Is (-6)/(2 - b/(-13)) a prime number?
False
Let s = -29 - -14. Let i(w) = 2*w**2 + 5*w + 22. Let t(q) = 3*q**2 + 9*q + 44. Let v(c) = 7*i(c) - 4*t(c). Is v(s) prime?
True
Is 30/(-40) - (-4910)/(-16)*-2 prime?
True
Let y be (1 + -4)*3135/(-9). Let x = 1896 - y. Is x composite?
True
Suppose 0*l - l - 5 = -4*r, -r - 13 = -5*l. Suppose -2285 - 1213 = -l*t. Suppose 0 = -5*g + 3*s + 2908, 2*g - 3*s - s - t = 0. Is g a prime number?
False
Let m(n) = -n**3 + 25*n**2 - 30*n - 10. Let r be m(24). Let y be 1 - (0 - 0) - 0. Is (1 - r) + (y - -1) a prime number?
True
Let r(y) = -y + 19. Let f(m) = -1. Let q(x) = 2*f(x) + r(x). Let h be q(15). Suppose 4*b - 5*b + 220 = 3*v, 0 = -h*b + v + 419. Is b composite?
False
Let h(u) = -323*u - 669. Is h(-58) composite?
True
Suppose -154 = -4*f + 2*y, -f + 40 = -0*f + y. Suppose -156 = -5*t + f. Suppose 3*a = 2*z - t, 3*z + 5*a + 12 = 42. Is z a composite number?
True
Is (454587/21)/(1 - 0) a prime number?
True
Suppose b + 2*d - 1 = 0, -16 = 2*b - 2*d - 3*d. Let f be -8 + (-6)/b - -4. Is (26/(-4))/(f/20) a composite number?
True
Let f be 3/((6/(-10))/(-1)). Suppose -5*w = -4*v + 27, v - f*v = 4*w. Suppose b + 47 = 2*x - 82, -2*x - v*b + 149 = 0. Is x a composite number?
False
Let n be -10*(28/10 - 2). Let d = n + 14. Suppose -d*y + 955 = -y. Is y composite?
False
Let n be (-1 - 1)/(1/254). Let v = n + -457. Is (4 - (v - -4)) + 2 a composite number?
False
Let z(t) = 39*t**2 + 5*t - 3. Let l(v) = -77*v**2 - 11*v + 6. Let g(w) = 4*l(w) + 9*z(w). Is g(-3) prime?
False
Let v(g) = g**2 + g + 4. Let i be v(0). Is ((-764)/(-6))/(2 + i/(-3)) a prime number?
True
Let m(z) be the first derivative of -z**2 + 238*z + 5. Let s be m(0). Suppose -4*i = 3*f - 173, -4*f - 2*i + s = -4*i. Is f a prime number?
True
Let h(v) be the third derivative of 47*v**6/120 + v**4/24 + v**3/6 + 3*v**2. Is h(2) prime?
True
Suppose 2*r = -3*g + 61331, 2*r - 13 = -5. Is g composite?
False
Is 1/(5 + 45816/(-9164)) a composite number?
True
Let i(s) = -s**3 + 23*s**2 - 28*s + 7. Is i(19) prime?
True
Let s(a) = -11139*a + 18. Is s(-1) a prime number?
False
Suppose 2*j + 97533 = 3*g, -2*j = -j. Is g a prime number?
False
Let m(q) = q - 1. Let y(b) = 1404*b**3 + 2*b**2 - 4*b + 5. Let c(h) = 5*m(h) + y(h). Let n be c(-1). Let t = -720 - n. Is t composite?
False
Suppose -4*f + 3 = -5*l + 7, 2*f - l = 4. Let x be (f/6)/(2/(-3)). Let b = 21 - x. Is b prime?
False
Suppose -131 = -2*m + 5. Let s = -41 + m. Let b = 58 - s. Is b composite?
False
Suppose 6*i + 34 = 10. Let x(z) be the second derivative of -z**5/20 + z**4/2 + z**3/6 - 7*z**2/2 - 2*z. Is x(i) composite?
False
Let s(q) = 689*q**3 - 2*q**2 + 1. Let u be s(-1). Let w = -295 - u. Suppose 0 = 9*c - 4*c - w. Is c prime?
True
Let w = -4548 - -7657. Is w a composite number?
False
Let u(d) = -d**3 - 7*d**2 - 4*d + 9. Let h be u(-8). Suppose 2 = -3*k + 14. Suppose -k*s + s = -h. Is s prime?
False
Suppose -5*u + 2*j = -1010, 4*u + 5*j - 606 = u. Let k = u - 128. Is k a composite number?
True
Suppose -3*h = -2*v - 832, 0*h = -4*h + 4*v + 1112. Suppose -s + 36 = 3*o, -3*o + 24 + 9 = 2*s. Let t = h - o. Is t composite?
False
Let d = -20 + 17. Is 16530/18 + (-2)/d a composite number?
False
Suppose -5*g = -i - 9*g + 26615, 3*g = i - 26636. Is i prime?
True
Let v = 25 + -22. Suppose -l 