Is 7 + (65762/6 - (-25)/(-75)) composite?
True
Is (1656/(-48))/23 - (-22)/4 a prime number?
False
Let g(w) = w**3 + 6*w**2 - w - 10. Let b be g(-13). Let c be (b/(-10))/((-2)/(-8)). Suppose 4*h - c = 396. Is h composite?
True
Suppose -4*l + l = -2925. Let c = -586 + l. Is c a prime number?
True
Suppose 0 = -3*c - 2*y + 38941, -y - 7609 - 5368 = -c. Is c prime?
True
Suppose -3*l - 22 = -3*g + 53, -3*l - 80 = -2*g. Let y = l - -81. Is y a composite number?
True
Let v(a) = -a**2 - 2*a + 6. Let q be v(-3). Suppose 13 = q*j + 2*g, j - g + 4 + 0 = 0. Is (-4243)/(-6) + j/(-6) composite?
True
Let h(n) = -n**3 + n**2 + 2*n + 6022. Is h(0) prime?
False
Let m(t) = t**2 - 11*t + 14. Let j be m(8). Is (j + 1)*-1*(-1 + 2) prime?
False
Let x(y) = 7*y**2 - 13*y - 19. Is x(20) prime?
True
Let j = 328 + -172. Let y be ((-5)/30*0)/(-3). Suppose 2*m - 1 = -3, -q + m + j = y. Is q prime?
False
Let r be 12/42 + 10854/(-14). Let o = r + 1362. Is o composite?
False
Suppose 0 = 5*c + 3*u - 56503, -2*u - 77 = -69. Is c composite?
True
Is (-21)/(-35) - 5/(75/(-12576)) composite?
False
Let k(q) = 3*q - 6. Let b be k(3). Suppose -3*l + 5*s = -2016, b*s + 6 = 15. Is l a composite number?
False
Suppose 3*z = 5*j - z - 15, -9 = -3*j + 3*z. Suppose 0*b - 3*h + 1324 = b, 3930 = j*b - 5*h. Is b a prime number?
False
Let v(w) = 23123*w + 3. Is v(2) a prime number?
False
Let l(x) = 171*x - 28. Is l(2) a prime number?
False
Let t(l) = 2*l**2 - 22*l - 15. Let g be t(12). Is (-3*1 + 10521/g)/2 a prime number?
False
Let z = -8 - -8. Suppose -4*l = -0*l - 5220. Suppose -5*n + 190 + l = z. Is n prime?
False
Let m = 1050 + -4320. Let x = -2189 - m. Is x composite?
True
Let j(x) = 9*x**3 + x**2 + 1. Suppose -2*v - 3*a + 7 = 0, -v - a - 2 = -5*a. Suppose 5*t - v*s = 2 + 6, 0 = t - 4*s + 2. Is j(t) composite?
True
Suppose d + 2*d - 18036 = 2*q, -d + 4*q = -6012. Let n = d + -3833. Is n prime?
True
Let f(m) = -m - 16 - 2*m + m. Let i be f(-11). Suppose -22 = -7*k + i*k. Is k composite?
True
Suppose -72*s + 63652 = -70*s. Is s a prime number?
False
Let w = 185 - -752. Is w a prime number?
True
Let s be (-49)/14*(-4)/7. Suppose -6522 = s*t - 8*t. Is t composite?
False
Let r = -16 - -10. Let b be 93/18 + 1/r. Suppose b*q = 18 + 17. Is q composite?
False
Let x = 906 - -103. Suppose x = -5*o + 11579. Is 2/(-5) - o/(-10) a prime number?
True
Let b = 12 + -6. Is ((-6)/(-4))/(b/3076) prime?
True
Let w(h) = 16*h - 6. Suppose 7 + 13 = 5*x. Is w(x) a composite number?
True
Let f(n) = 2*n**2 - 5*n + 2*n - 4 - 3*n**2 + 9*n**2. Suppose -2*h + 0*h + 10 = 0. Is f(h) a composite number?
False
Suppose -2*q + 3*r = -22, 0 = 2*q - 4*q + 4*r + 22. Suppose 1062 = -5*g + q*g. Is g a prime number?
False
Let d = 82 + 2497. Is d a prime number?
True
Suppose 0 = 5*q + j - 3849, -q + 5*j - 123 = -872. Suppose 5*r + 5*k - 1048 + 273 = 0, 0 = -5*r - 2*k + q. Suppose 0 = -4*b - 17 + r. Is b a composite number?
True
Let b(r) = 25*r + 90. Is b(11) prime?
False
Suppose 2*z = -2*c + 5629 - 1043, 5*z - c - 11453 = 0. Let f = z - 288. Is f prime?
True
Let t(a) = 2 + 3 + 6*a + 3 - a**2. Let x be t(9). Let d = x + 86. Is d composite?
False
Let x = -82 - -76. Is (-205)/((-3)/x*-2) a prime number?
False
Let f = -27 - -29. Suppose -f*v - 549 = -2143. Is v a composite number?
False
Let q be 1*(480/3 - -2). Suppose 0*a = 4*p - 3*a - 314, -2*p + q = a. Suppose -4*m - 5*i = -p - 155, -2*m - 5*i = -125. Is m a composite number?
True
Suppose -2*m - 2*m + 3*o + 10620 = 0, 2*m - 5*o = 5324. Let b = m - 739. Is b a composite number?
False
Let q(c) = -9*c**3 + c**2 + 32*c + 113. Is q(-4) a composite number?
False
Let o = 3711 - 2000. Is o prime?
False
Let z(x) = 778*x**2 - 4*x + 3. Let s(h) = -259*h**2 + h - 1. Let m = -5 - 2. Let j(q) = m*s(q) - 2*z(q). Is j(-1) prime?
True
Let k(y) be the third derivative of 1/6*y**4 + 0 + 5/6*y**3 + 1/20*y**5 - 1/120*y**6 + 0*y - 3*y**2. Is k(-5) composite?
True
Suppose 5*w + 1666 = 5*z - 704, -2*w = -5*z + 2355. Let a = -299 + z. Suppose -a - 282 = -2*h. Is h a composite number?
True
Let c be ((-48)/21 - -2) + 190/(-70). Is (52262/c)/(-7) - 1/(-3) a composite number?
True
Suppose -26*m = -45*m + 183331. Is m prime?
True
Let v(m) = -3*m - 12 + 1 + m**2 + m**3 + 5 + 12*m. Is v(7) a composite number?
False
Suppose -1 - 9 = -2*d. Suppose 0 = 4*w, 0 = -3*i + 6*w - d*w + 789. Is i a composite number?
False
Is 3/(-4) + 1 + (-2817393)/(-204) prime?
False
Let i(n) = n**2 - 8*n + 5. Let w be i(7). Let g be ((-14)/4 - w)*-2. Suppose 5*j = -g*y + 502 + 274, -4*y = 4*j - 616. Is j a composite number?
False
Let u = 10982 - 1333. Is u a prime number?
True
Let u(r) = -18*r**2 + 11*r - 21. Let c(t) = -t**3 - t**2 + t. Let y(z) = c(z) - u(z). Is y(14) prime?
False
Suppose 2*p = 1 + 9. Suppose 774 = 3*j + n, -p*n + 928 = 5*j - 352. Suppose -j = -3*r - 4*r. Is r a composite number?
False
Let j(q) = q - 7*q - 2*q - 4*q**2 - 3. Let i be j(-11). Is (-2 + 1)*(i - -2) composite?
False
Suppose -39*m = -40*m + 22535. Is m a composite number?
True
Suppose -d + 2168 + 976 = 2*b, -9425 = -3*d + b. Let o = d + -323. Is o composite?
False
Suppose 23*i = 21*i + 6. Suppose -3*v - 5*r = -4207, -v - i*r + 311 = -1094. Is v a composite number?
False
Let o(b) = 25*b**2 - 24*b + 29. Is o(15) a prime number?
False
Suppose -40*j = -37*j - 6159. Is j prime?
True
Suppose 0 = -s - s - 2*l + 3326, 6638 = 4*s - 3*l. Is s prime?
False
Let q(m) = 6*m + 4. Let f be q(12). Suppose -3*i = -2*r - 305, 0 = 5*i - 3*r - 188 - 320. Let p = i + f. Is p a prime number?
False
Suppose -2*l - 7 + 13 = 0. Is -6*(-4)/8*1949/l prime?
True
Let g = -621 - -404. Let k = 34 - g. Is k prime?
True
Let f(d) = 2370*d**2 - 104*d - 316. Is f(-3) prime?
False
Suppose 4*q + 12 = 10*q. Is 14216/40 - q/5 composite?
True
Let y = 2 + 1. Suppose 2755 = 11*l - 1205. Suppose y*f = l + 87. Is f a composite number?
False
Let i be (-7 - -16)/((-9)/(-582)). Suppose 3*s - i = s. Is s a composite number?
True
Let n(y) = 150*y + 91. Is n(13) composite?
True
Suppose -5151 = -14*l + 22135. Is l composite?
False
Suppose -41*x + 9141 = -30*x. Is x prime?
False
Let r(k) = -k + 21*k**2 + 225 - 252 + 2*k. Is r(-11) prime?
True
Suppose 7*r + 18581 = 3*w + 12*r, 4*r = 5*w - 30993. Is w prime?
True
Let k = 1365 + -496. Is k a prime number?
False
Is ((-840)/180)/(4/(-1266)) composite?
True
Suppose 4*p = 2*a - 38, 0*a = -2*a - p + 33. Let g = a - 13. Suppose l - g*b - 94 = b, l - 93 = 4*b. Is l a prime number?
True
Let w(a) = 4*a + 16. Let u(j) = 3*j - 1. Let h be u(-2). Let x be w(h). Is x/6 + (47 - -1) a composite number?
True
Let z(u) = 9*u**2 + u - 6. Suppose 0 = 3*a + 3, -2*a + 1 = -3*b - 9. Is z(b) prime?
False
Let y be 6/4*(-3 - -1). Is 3/((-5280)/(-1756) + y) + -2 a composite number?
True
Suppose 14*x = 5*f + 10*x - 1482, 3*f - 898 = -2*x. Is f prime?
False
Let v(x) = 36*x**2 + 18*x + 31. Is v(9) a prime number?
True
Suppose j = -5*c - 0*c - 17, 10 = -2*j - 4*c. Is (j/(-5))/((-3)/2055) a composite number?
True
Let y = 518 + -27. Suppose -5*v = -3946 + y. Is v composite?
False
Let u(d) = -d. Let b be u(0). Suppose -4*z - 3*n + 248 = 0, -2*z + 126 = n - b*n. Is z a prime number?
False
Let s = 11 + -12. Let q = -11 - -13. Is (q + -159 + -2)*s prime?
False
Let p(c) be the second derivative of -35/3*c**3 + 0 - 7/2*c**2 - 2*c. Is p(-6) a prime number?
False
Let y be -5 + 4 - 3*-3. Suppose -i = -5*i + y. Suppose i*z - 153 = 293. Is z a composite number?
False
Let c be 1*-3 - (-7 + 1). Let v(h) = -42*h**c + 5 + 3 + 5*h - 29*h**3 - 3. Is v(-2) a composite number?
False
Let b(g) = g**3 + 20*g**2 + 24*g - 25. Let z(n) = -2*n**3 - 41*n**2 - 47*n + 50. Let y(j) = -7*b(j) - 4*z(j). Let o = -84 + 66. Is y(o) composite?
False
Let t = -11 - -2. Let n be (-558)/t + -1 + 0. Let l = 18 + n. Is l prime?
True
Suppose 6*y - 19 - 5 = 0. Is 2555 + (0 - 2) + y + 0 a composite number?
False
Suppose 2*y - y - 3*o = 1660, -4*o = -4*y + 6632. Is y a composite number?
False
Suppose 0 = -27*z + 8*z + 740107. Is z composite?
False
Let m(n) be the first derivative of 4*n**3 - 9 + 5/2*n**2 + 12*n. Is m(5) prime?
True
Suppose 41 = 4*x + u, 3*x - 3*u - 37 = -x. Let f(p) = p**2 + 9*p + 21. Is f(x) a composite number?
False
Is (-19)/38 + (-1)/4*-2062 a composite number?
True
Let g = -24 + 28. Suppose 928 = 3*t + 5*o, -g*t + 3*o +