80959/95 + 2/(-10). Let v = i + -261. Is v composite?
True
Suppose 0 = 4*l - 3*a - 21 - 1986, -l + 508 = -2*a. Let q = 373 + l. Is q a prime number?
False
Let b(q) = 95*q + 10. Is b(5) a composite number?
True
Suppose -15*k = -43*k + 103908. Is k composite?
True
Let d = 68 - 77. Let g(q) = -q**3 + q**2 + 10*q - 19. Is g(d) a composite number?
False
Suppose 6 = -2*s - s. Let r be (-10)/s + 6/(-2). Suppose -r*a + 7*a = 830. Is a composite?
True
Let z(t) = -7*t**3 + 11*t**3 - t**2 + 2*t + 43*t**3 - 7. Is z(3) composite?
False
Suppose 0 = -24*m + 22*m + 762118. Is m a composite number?
True
Let i = 460 + 429. Is i composite?
True
Let v be (-5286)/(-10) + 21/(-35). Suppose 0*n + 192 = s + 5*n, 3*s = n + v. Suppose -1401 - s = -6*a. Is a composite?
False
Suppose 2*n + 12 = -3*g, -5*n + g - 1 = -5. Suppose n = -8*h + h + 378. Let u = h + 4. Is u a prime number?
False
Let t = 1031 + -178. Is t composite?
False
Let q = 32 + -24. Suppose -6*a = -q*a + 1954. Is a a prime number?
True
Let g be (-1272)/(-64) - (-2)/16. Is 3/(-12) + 24265/g a prime number?
True
Let m(i) = i**3 - 9*i**2 - 10*i - 2. Let a be m(10). Is a/8 - 11850/(-8) a prime number?
True
Let f(m) be the third derivative of m**7/1260 + m**6/240 - m**5/15 + m**4/12 - 2*m**2. Let y(x) be the second derivative of f(x). Is y(-9) composite?
False
Suppose 4*a + 2*j - 2 + 0 = 0, -3*a - 3*j - 6 = 0. Let b be (-2 - 6/(-9))*a. Let t = b - -195. Is t prime?
True
Is (2/3)/(16/(-286800)*-10) a prime number?
False
Let t = -36 - -40. Suppose -2*r + 1192 + 372 = 2*i, 2*i - t*r = 1594. Is i composite?
False
Let u(n) be the third derivative of n**5/60 - n**4/12 + n**3 - 4*n**2. Let t be u(0). Is 194/(-3)*t/(-4) composite?
False
Suppose -3 = 3*o, 4*t + 5*o - 22582 = 26685. Suppose -5*s - s = -t. Is s composite?
False
Suppose 4*o - 46 = 14. Suppose 15 = 3*z - 3*i, -4*i - o = -i. Suppose z = 3*j - 38 - 127. Is j a prime number?
False
Suppose 2*f = -12*u + 7*u + 15670, 3*f = -3*u + 23505. Is f a prime number?
False
Let z(x) = -x + 14. Let h be z(9). Suppose -c + h*v = -3, -7*c + 2*c + 4*v = -36. Suppose -3*d = -c*d + 5195. Is d a prime number?
True
Let y(x) be the second derivative of -x**5/40 - 3*x**4/4 + x**3/6 + 7*x. Let q(z) be the second derivative of y(z). Is q(-8) a composite number?
True
Let m = -21 - -25. Suppose -5*b - v = -2181, -m*b + 4*v = -686 - 1078. Is b prime?
False
Let c = -17112 - -32371. Is c composite?
False
Let z be ((-6296)/(-6))/((-2)/(-6)). Let s = -63 - -69. Suppose -s*d = -2*d - z. Is d a composite number?
False
Let b(w) = 3*w - 10. Let y be b(7). Let h = y + -7. Suppose h*u - 2*u = -m + 277, -3*m + 126 = u. Is u a prime number?
False
Suppose -34*o = -108*o + 3045914. Is o a prime number?
True
Suppose -m - 8 = -3, 5*f - 3*m = 84200. Is f a prime number?
False
Let t be 3/(-5) + (-189)/(-15). Suppose t = -5*r - 18. Is -2 - -57 - (r + 2) a prime number?
True
Let j be 612/(2 - -1) - 3. Suppose j - 46 = -s - 3*o, 15 = -5*o. Is -5 + 2 - (s - 2) composite?
True
Let l(d) = 131*d**2 + 19*d - 15. Is l(17) prime?
True
Suppose 7*u - 29436 + 6203 = 0. Is u composite?
False
Let v(n) = 10*n**3 - 30*n**2 + 57*n - 20. Is v(13) a composite number?
True
Suppose 2*v + i = 5*v + 13, 0 = 2*i - 8. Let x(a) = 9*a**2 + 2*a - 8. Is x(v) a prime number?
True
Let l(k) = 22 - 2*k + 2*k + 44*k**2 - 3*k - 42*k**2. Is l(-7) prime?
False
Suppose -31*z + 1183623 = -10*z. Is z a composite number?
True
Is (-1)/((27/(-972054))/((-2)/(-4))) a composite number?
True
Suppose -3*i + 1090 = 5*j - 21427, -i = -2*j - 7513. Is i prime?
False
Let d = 31359 - 21322. Is d a prime number?
True
Let u(x) = 3357*x - 44. Is u(5) a composite number?
False
Let y(m) = -2218*m + 7. Is y(-4) prime?
False
Let j(t) = -t**3 + 5*t**2 - 5*t - 1. Let y be j(4). Let c be 3 - 1 - 1*y. Let o(a) = a**3 - 7*a**2 + 2*a + 5. Is o(c) composite?
False
Let z(x) = -x**3 + 5*x**2 - x - 4. Suppose -2*b + 2 = -10. Let d be z(b). Let w = d + 83. Is w composite?
False
Let x(f) = 2*f + 16. Let i be x(11). Let g be 2/2 + (81 - -2). Let l = g - i. Is l composite?
True
Suppose -3*x + 28990 = 4*q, -441*x = -444*x + q + 28985. Is x prime?
False
Suppose 3*u - 550 = -145. Let n = u - 82. Is n composite?
False
Suppose 20970 - 2769 = 3*s. Is s a composite number?
False
Let o(a) = 2*a - 17. Let m be o(10). Suppose z = -m*z + 2084. Is z prime?
True
Let h be -9 + 2 - (-8)/4. Let v(m) = -m**2 - 4*m - 1. Let p be v(h). Let s = 167 + p. Is s prime?
False
Let f = -8 - -11. Let r(c) = 110*c + 1. Is r(f) prime?
True
Suppose 6*d - 14*d + 18952 = 0. Is d prime?
False
Let t(w) = 11*w**2 + 3*w + 4. Let u be t(-2). Is 1290/u - 2/(-7) composite?
False
Let f = 2439 - 80. Is f a prime number?
False
Let x be 11/3 + (-6)/9. Suppose 0 = -x*n + 3*i + 171 + 258, 5*n + 3*i - 731 = 0. Is n a composite number?
True
Let d = -35 - -52. Let o = 22 - d. Suppose -4*y = -o*k - 1501, 4*k - 770 = -3*y + y. Is y composite?
False
Let a = 7162 + 477. Is a a composite number?
False
Let b = 20583 - 12766. Is b prime?
True
Let g be (-4552)/(-12) - (-5)/(-15). Let t = g - 236. Is t a composite number?
True
Let i = 39 - 39. Suppose i = 9*k - 13*k + 2524. Is k a composite number?
False
Let t be -3*3*(-4)/12. Suppose -4*y + 8 = -0, -t*l + 557 = 4*y. Is l a prime number?
False
Let a = 6 - 16. Let t be 2/a - (-2148)/15. Let m = 220 - t. Is m composite?
True
Let w(h) = -123 + 8*h + 49*h**3 + 238 - h**2 - 134. Is w(3) a composite number?
False
Suppose -7 - 3 = -4*a + 2*g, 4*a - 3 = -5*g. Suppose -4 = -a*c + 4. Suppose k = -t + 682, -790 - 1261 = -3*t - c*k. Is t a composite number?
False
Let a(u) = 7 - 12 + 4 - 248*u. Let g be a(-1). Suppose 0 = f - 4 - g. Is f a prime number?
True
Let y be 19/2*42*11. Suppose 0 = -8*g + y - 557. Is g composite?
False
Suppose 0 = -3*y + 33 + 3. Suppose y*x = 10*x + 2714. Is x composite?
True
Suppose 0 = -2818*p + 2827*p - 67491. Is p composite?
False
Suppose i - 5 + 3 = 0. Suppose -4*s - 4*r = -r - 3061, -i*s - 2*r + 1532 = 0. Is s composite?
True
Let b be ((-1)/3)/((-7)/(-42)). Let n(y) = -20*y**3 + 7*y**2 - 3. Is n(b) prime?
False
Suppose -3*r + 2161 = 2*i, 2*r = -0*i + 3*i + 1432. Suppose -4*l + 3*n = -r, 535 = 3*l + 3*n - n. Is l a prime number?
True
Suppose 0 = 854*j - 848*j - 157818. Is j a prime number?
False
Is (-613170)/(-75) + 9 - (-4)/10 a prime number?
False
Let y = -1004 + 116. Is (1/3)/((-8)/y) composite?
False
Is (-10135)/(-1) + 2 + -4 composite?
False
Suppose 2*o - 554 = -4*s, -3*s = -4*o - 154 + 1218. Is o a composite number?
False
Let k = 12527 + -5878. Is k a prime number?
False
Let q = 3690 - 1895. Is q composite?
True
Let x(b) = -b**3 - 6*b**2 - 5*b + 2. Let z be x(-5). Suppose z*n - 4*n - 5*l = -229, 513 = 4*n - l. Is n prime?
True
Is ((-236830)/33)/(4/(-6)) prime?
False
Let s be (113*-1)/(320/322 + -1). Let k = s - 11946. Is k a prime number?
True
Suppose 2954 - 33283 = -13*u. Is u composite?
False
Is (2/(-5))/(-8*(-8)/(-470240)) prime?
True
Suppose 4*t + 3*j - 29404 = 61809, -2*j = -4*t + 91238. Is t composite?
False
Suppose -u - 8 = -33. Let d = u + -147. Let k = d + 205. Is k a composite number?
False
Let c = -31 + 46. Suppose 2*s = -5*r - 7, -r = 4*r + c. Suppose -4*i = -s*t + 348, 0*t + 4*i = -2*t + 198. Is t composite?
True
Let v = -128 + 131. Suppose 3*k = v*d - 1152, -d + k = 2*k - 374. Is d a prime number?
True
Let p be 7*74*13/26. Let d = p - 150. Is d prime?
True
Let p = 2769 + -559. Suppose p = 7*d + 3*d. Is d composite?
True
Suppose 986 + 2648 = 2*d. Is d composite?
True
Let w = 18 + -18. Suppose w = 4*z - 0*z. Suppose z*b = 2*b - 10, 0 = -j + 3*b + 82. Is j composite?
False
Let n = -15 - -17. Suppose n*a + 76 = a. Is a/(-6)*3/2 composite?
False
Suppose 12 = 3*t, 0*r + 5*t + 12416 = 4*r. Is r prime?
True
Suppose -57*q + 39*q = -74286. Is q a composite number?
False
Suppose -3207 = 141*v - 144*v. Is v a prime number?
True
Let w be (-12)/(-4) + ((-816)/2)/(-2). Let s = w + 56. Is s composite?
False
Let u(v) = v - 27. Let h be u(17). Is (-9966)/h + 6/15 a prime number?
True
Let y(g) = -299*g - 8. Is y(-3) a prime number?
False
Let k be ((-9)/6)/3*-34. Suppose -1 + k = -4*b. Is b/14 + (-1080)/(-56) a composite number?
False
Let y = -52 + 589. Suppose 4*o - y = 411. Is o a composite number?
True
Let c = -9 - -13. Suppose 0*o = -3*o - 3*a + 1332, -8 = c*