2*o + 1152 = a, -3*n = 3*o - 313 - 842. Is n a composite number?
True
Let f(q) be the third derivative of 11*q**6/5 + q**4/24 + 2*q**2 - 4. Is f(1) a composite number?
True
Is (11176/16)/((1 + 0)/2) a composite number?
True
Suppose -2*b - 14 = -4*r + 16, -2*b = -5*r + 39. Suppose 231 = -3*k - r. Let o = 183 + k. Is o prime?
True
Is (-4 + 7)*-1*10779/(-9) a prime number?
True
Is (-13)/(-39) + (-13420)/(-6) a prime number?
True
Let p be (-3)/(-7) - (-820)/(-35). Let i be p + (0 + 0)/(-1). Let b = i - -36. Is b a prime number?
True
Suppose 0*u = -4*u + 372. Let y = -286 + u. Let x = y + 320. Is x composite?
False
Suppose -19779 = -23*w + 78040. Is w a prime number?
True
Is (-5349)/4*(-16)/12 a composite number?
False
Let c be (3 - 6)*(-35)/15. Let x(n) = 19*n**2 - 3*n - 21. Is x(c) a prime number?
False
Suppose x = 3*c + 2504, 2*c + 2*c - 4968 = -2*x. Suppose -l + x = 3*l. Is l a composite number?
True
Let z(p) = -666*p - 4. Let n be z(-1). Suppose n + 21059 = 7*u. Is u a composite number?
True
Suppose 3*b = -3*b + 114. Suppose h = 4*x + 20, 0 = -h - 4*x - b + 7. Suppose c + 425 = -3*v + 7*v, -h*c = 4. Is v a prime number?
False
Suppose 11*f - 16*f = 2800. Let m = f - -1207. Suppose v = -0*v + m. Is v composite?
False
Suppose 0 = -2*j + 2*y + 4398, 8800 = 4*j + y - 4*y. Is j a composite number?
False
Suppose 4*f + 1 = 53. Suppose 3*w = f - 1. Suppose -3*c - w*z = -2*c - 125, 3*c - 348 = -3*z. Is c a composite number?
False
Let l = -338 + 660. Suppose 6*m - 2*m - 4*b = 1360, -m = 5*b - l. Is m composite?
False
Let o(s) = -40*s**2 + 7*s - 10. Let p be o(-6). Let b = 2125 + p. Is b a composite number?
True
Let u(d) be the first derivative of d**4/4 + 10*d**3/3 + 9*d**2/2 + 4*d - 4. Let c be u(-9). Suppose 0 = -5*m - i + 816, c*i + 58 + 753 = 5*m. Is m prime?
True
Suppose -2*h + 3807 = 5*v + 654, 5*h = -4*v + 2519. Is v prime?
True
Let r be -1*(4 - (3 + -1)). Let y be ((-4)/(-6))/(r/(-432)). Let l = 329 - y. Is l composite?
True
Is (((-15685)/5)/(-1))/1 composite?
False
Let o be 21/(-126) - (-86)/12. Suppose 5*y + 22 = o. Is (-50 - 1)*11/y prime?
False
Let r(c) be the third derivative of c**6/120 + 7*c**4/24 + 31*c**3/6 + 30*c**2. Is r(13) composite?
True
Is 64470/25 - 1/(-5) a prime number?
True
Let r be 232/24 + 1 - (-2)/(-3). Is 3 - (-26)/(-10) - (-27456)/r a prime number?
False
Let x(z) = 302*z + 28. Let k be x(5). Let a be 4/(2/1) + 1. Suppose -5*b + a*i + k - 256 = 0, -4*i = -4. Is b prime?
True
Let t(i) = 1254*i**3 + 3*i**2 - 11*i + 9. Is t(1) prime?
False
Suppose 2*r = 5*g - g - 2, 3*r - 9 = 2*g. Let m = 1848 + -950. Suppose -m = -4*c - 3*u, -c - 2*u = -g*u - 221. Is c prime?
True
Suppose 12*m + 2233 = 451501. Is m prime?
False
Suppose 2*y = -607 + 1721. Is y prime?
True
Let h be (16 - 3) + 0/(-2). Let a(y) = 8*y**2 - 6*y - 58. Let x be a(-6). Let t = x - h. Is t composite?
True
Let g = -6983 - -14649. Is g a prime number?
False
Let m be 18 - 16 - (-2714 + -1). Let z = m - 1560. Is z composite?
True
Let h = -52 - -56. Suppose 9*v - h*v = 3830. Is v a prime number?
False
Let c = 5119 + 24124. Is c a composite number?
False
Let d(n) = n**2 - 39*n - 93. Let x be d(33). Let b(w) = -w**3 - w**2 + 1. Let l be b(1). Is (x + (-8)/4)*l a composite number?
False
Let y(q) = 5*q - 20. Let z be y(7). Is (-1 - (-4011)/z) + 15/25 a composite number?
True
Let z(q) be the first derivative of -q**3/3 + 12*q**2 + 5*q - 12. Is z(10) prime?
False
Let x = -11 - -14. Suppose -207 = -y + 3*m, -4*y = -x*m + 7*m - 876. Let t = y + 19. Is t prime?
False
Let m = 0 + 0. Let n(y) = y - 1. Let b(d) = 3*d + 109. Let o(k) = b(k) - 4*n(k). Is o(m) composite?
False
Let p = 12 - 8. Let z = p - 0. Suppose 0 = o - b - 71, -3*o + 3*b - 63 = -z*o. Is o composite?
True
Suppose -13 = -4*s + 3. Suppose -2*z + s*z + 2 = -3*a, 0 = 5*a. Is (-2 + 37)/(z - -2) a prime number?
False
Let k be (-1777)/(-4) - (-54)/72. Suppose 0*r = -5*r + k. Is r a prime number?
True
Let t = -175 - -293. Suppose -11*v = -399 - 250. Let f = t - v. Is f a prime number?
True
Suppose 0 = s + 1, -2*s = -5*w + 12777. Let i = w + -1734. Suppose 10*m - i = 9*m. Is m a composite number?
False
Let g = -22 + 26. Suppose -2*w + g*w + 6 = 0. Is 4*(-2 - w) - -127 a composite number?
False
Suppose 669 + 1091 = 10*c. Let t be 296/(-3) - 3/9. Let j = t + c. Is j a prime number?
False
Let i be -40*(-22 + 2 + 0). Suppose i = 5*p - 3*p. Suppose 4*u = p - 24. Is u a prime number?
False
Let g be (-6)/((-2)/9 + (-100)/(-504)). Let a = -93 + g. Is a a prime number?
False
Suppose -3*h + 7*h - 5388 = 0. Is h a composite number?
True
Suppose 2*v + 4*f + 11 = -5, 0 = -4*v - 3*f - 27. Let k(m) = -4*m**3 - 5*m**2 + 8*m - 1. Is k(v) composite?
True
Let u = 82 + -62. Let o(x) = x**3 - 18*x**2 - 25*x - 7. Is o(u) a composite number?
False
Is 2/20 - (-10317501)/690 a composite number?
True
Let z(h) be the first derivative of -h**4/4 - 4*h**3 - 11*h**2/2 + 14*h + 6. Let a be z(-11). Is (-6)/(-21) - (-1830)/a prime?
True
Let o(p) = -p**2 + 3*p. Let i be o(3). Suppose -2*q + 3 + 29 = i. Let b = 63 + q. Is b composite?
False
Suppose 4*u = 4*w + 5*u + 1256, -1595 = 5*w - 5*u. Let d = w - -656. Is d composite?
True
Let h(b) = 38*b**2 - 2*b + 1. Let y(f) = f**2 - 5*f - 3. Let r be y(5). Let p be ((-3)/3)/(r/9). Is h(p) composite?
False
Suppose 115*f = 120*f - 180845. Is f a composite number?
True
Suppose 2*s = -8*c + 12*c + 8694, 5*s - 2*c - 21751 = 0. Is s composite?
True
Let i be (-853)/(4 - 13/3). Is i*(-5 + (-48)/(-9)) a prime number?
True
Let w = 11111 + -6612. Is w a composite number?
True
Suppose k - 33 = -3*j + 5*k, 26 = 2*j - 4*k. Suppose j*a = 3*a + 8. Suppose -a*x + 194 = -0*x. Is x composite?
False
Let y = 1191 + -134. Is y a composite number?
True
Let k(x) = -18629*x + 137. Is k(-4) composite?
False
Let v(i) = -12*i**3 - 11*i**2 - 5*i - 11. Let b(t) = -25*t**3 - 23*t**2 - 10*t - 21. Let w(j) = -6*b(j) + 13*v(j). Is w(-5) prime?
False
Suppose -217*c + 219*c - 4582 = 0. Is c a prime number?
False
Suppose b - 2*t + 4 = 3669, 0 = -2*b - 3*t + 7309. Is b composite?
False
Suppose 43 - 103 = -5*f. Suppose -3*u + 0*u = -f. Is 1/((u/37)/4) a composite number?
False
Suppose -8*u = -49 - 31. Is 188/u + (-1)/(-5) a composite number?
False
Let f(j) = -13*j**3 + j**2 + 69*j - 13. Is f(-12) composite?
False
Suppose l + 2*q - 5195 = 6*q, -2*q - 15545 = -3*l. Is l a prime number?
True
Suppose -z - 2*i - 679 = -115, 4*z + 2*i = -2262. Let r = -249 - z. Is r composite?
False
Let r = 48 - 23. Let c = r - 35. Let k(p) = -p**3 - 5*p**2 + 14*p + 11. Is k(c) prime?
False
Let v(h) be the third derivative of h**7/840 + h**6/72 - 7*h**5/120 + h**4/24 - 2*h**3/3 + h**2. Let b(m) be the first derivative of v(m). Is b(-6) composite?
False
Let a = -134 + 146. Is 18/a*449/6*4 a composite number?
False
Let b(k) = 550*k + 13. Is b(6) composite?
False
Let b(h) = -8*h**2 + 11 + h**3 + 10 + h - 5 - 3*h. Let o be b(8). Suppose -l + 50 + 35 = o. Is l composite?
True
Let m be (-2)/(-2)*(-21 + 24). Suppose 7388 = 7*c - m*c. Is c prime?
True
Let c = -81 - -819. Let h = c + -211. Is h prime?
False
Let a be 1044/(-15)*(-140)/6. Suppose a + 4212 = 4*b. Is b composite?
False
Is (-4)/10 - (-731907)/55 a composite number?
True
Let s(j) = -2*j**3 + 18*j**2 - 21*j - 135. Is s(-32) a prime number?
False
Let n(q) be the first derivative of 101*q**4/2 - q**2/2 + q + 27. Suppose 0 = -f + 4*b - 0 - 3, -5*b = 4*f - 9. Is n(f) composite?
True
Suppose -16*n + 30306 = -350510. Is n a prime number?
True
Let p be 0*(4 + -7 + 4). Let j(g) = g**3 - 2*g**2 + g + 247. Is j(p) composite?
True
Let m(d) = d**3 + 13*d**2 - d - 2. Let l be m(-13). Suppose -198 = l*v - 1507. Is v a prime number?
False
Suppose p = -3*k - 6, -5*k = 3*p - k + 38. Is (-25884)/p*-2*1/(-4) composite?
False
Let a(h) = 9*h**3 + 16*h - 8. Let d(x) = -6*x**3 - 11*x + 5. Let i(n) = 5*a(n) + 7*d(n). Suppose -4 = 14*p - 60. Is i(p) prime?
True
Suppose 4*v + 4*u = 0, 8 = 3*v - u - 0*u. Suppose 0 = -v*b - b + 114. Suppose i - b = 125. Is i a composite number?
False
Let h = -3225 + 7760. Is h a composite number?
True
Let v be (14/21)/((-2)/(-6)). Let s be (v - 3 - -3) + -58. Let h = 105 + s. Is h prime?
False
Is ((-6)/4)/(8 - 2730/340) a composite number?
True
Let w(r) = r - 6. Let o be w(6). Let z(b) = b + 2101. Is z(o) a prime numb