Is y(-3) a prime number?
True
Suppose 31*v - 18*v - 234 = 0. Is ((-35)/126 + (-4)/v)*-2122 composite?
False
Suppose 0 = w - m - 85771 + 6940, -5*w = m - 394143. Is w prime?
False
Is 7*((-88)/(-11) + (-15970)/(-2)) composite?
True
Let o(z) = -1037 + 437 + 503 + 96*z. Is o(11) a prime number?
False
Let c(l) = 85*l - 51. Let d be c(8). Let s = 2399 - d. Let f = s + -1051. Is f composite?
False
Suppose 3*w + 0*n = 4*n + 217, 4*n = 4*w - 288. Is (w/(-2))/(14/(-196)) composite?
True
Suppose 0*h - 2*h - 1202 = 0. Suppose -9*z + 4391 = 3*z - 6109. Let r = z + h. Is r prime?
False
Suppose -14*g + 112753 = -63563. Is (2*4/(-24))/((-2)/g) a composite number?
False
Let q be (-6*2/(-4))/((-1)/(-545)). Suppose 0 = -5*v - 4915 + q. Let y = v + 1599. Is y a prime number?
False
Suppose 20*v - 52 = 15*v - 3*p, 4*p + 26 = 2*v. Suppose 23*i - 113340 = v*i. Is i prime?
False
Suppose 0 = 25*k - 20*k - 63125. Let i = k - 7882. Suppose -i = -2*c + 1559. Is c a prime number?
False
Let h(b) = 182*b**3 + 11*b**2 - 6*b - 12. Let d be h(-5). Let f = -7296 - d. Is f composite?
False
Is 42*14 - -1 - (-2)/(-1) a prime number?
True
Let u be (-37527)/(-9) + 6/(-9). Let f(j) = -2017*j**3 + 1. Let q be f(1). Let a = u + q. Is a a composite number?
False
Suppose -443 = -3*u + 37. Let j = -31 + 1143. Suppose 0 = 8*l - j - u. Is l prime?
False
Suppose 5394 = 3*f + 5*q - 1852, 3*q + 3 = 0. Is f a prime number?
True
Suppose 84678 + 137750 = 17*p. Let s = p + -6755. Is s a composite number?
False
Let k(w) = w**3 + 2*w + 1. Let r be k(-1). Let f be (5 + 2 - 3)*r/(-2). Let x(p) = 53*p**3 + 2*p**2 + p + 3. Is x(f) prime?
False
Suppose 0 = -3*r - 6*f + 8*f - 2, -2*f = 4*r + 12. Is (50/(-125))/(r/4535) a prime number?
True
Is 609/522 + (-197830)/(-12) composite?
False
Suppose 77110 = 5*w - 3*h + 8*h, -2*w + 30834 = -3*h. Suppose -5*l + w = v, -2*v + 3*v + l - 15400 = 0. Is v a prime number?
False
Let i(x) = 756*x**2 + 2*x - 7. Let l be ((-2)/(-8))/(1/12). Is i(l) a composite number?
False
Let x(j) = 7*j - 21. Let m be x(3). Suppose m = -8*r + 7 + 17. Suppose 3*k + n = 1554 - 583, -4*k = -r*n - 1286. Is k a composite number?
True
Let x be (-20)/(-15) + (-33476)/(-3). Let w = x + -2155. Is w a prime number?
False
Let l(j) = -5*j - 61. Let w be l(-15). Suppose w*y = 12*y + 11902. Is y a composite number?
True
Let g = 1540501 + -393824. Is g composite?
True
Suppose 0 = l + v - 7236, -2*v + 7239 = -2*l + 3*l. Let p be 5/30*2*l. Suppose -p = -m + 9452. Is m prime?
True
Let c(a) = 57*a + 9. Let b(p) = 172*p + 28. Let y(u) = 4*b(u) - 11*c(u). Suppose 4*w = -5*t + 18, -w = -3*t - 9 + 30. Is y(t) a prime number?
True
Suppose 11*q - 36*q - 1467258 = -5250533. Is q prime?
False
Let h be -2 + -1 - (1 + -7). Suppose -h*v - 2*v + 20 = 0. Suppose -5544 = -4*l - v*y - 1860, 5*l + 2*y = 4611. Is l a prime number?
False
Suppose -3*s + 2*h = -6*s + 20, 0 = s - h. Suppose -482 = -c - 0*c - 5*j, 1503 = 3*c - s*j. Suppose 5*q - 386 = -u, 4*u + 2*q - c = 1065. Is u prime?
False
Let c(g) = 3*g - 7 - 2*g - 10*g**2 - g**3 + 9*g + 0*g. Let d be c(-11). Suppose 2*k - 356 = 5*z + 42, -d*k + 3*z = -824. Is k a composite number?
True
Let l = 38 + -38. Suppose l*b = 3*b - 27. Let h(m) = -m**3 + 13*m**2 + 4*m - 1. Is h(b) prime?
True
Let t = 6016 + -11239. Let g = 12034 - t. Is g prime?
True
Let l = -461 - -517. Suppose -l*g - 32460 = -68*g. Is g composite?
True
Suppose 4*y = 2*i + 24, 5 + 1 = 3*i. Let u(j) be the second derivative of j**5/5 - 5*j**4/6 + j**3/2 + 7*j**2 + j + 60. Is u(y) prime?
False
Let v be ((-124)/6 - 0)*(-12 + 0). Let k = v + 245. Let x = k + -154. Is x composite?
True
Let g(q) = 2*q + 34 + 8 - 7 + 3*q. Let n be g(-6). Suppose n*s + 5*c + 4448 = 8*s, -3*s + 3*c = -4446. Is s a composite number?
False
Suppose 2*c = -3*o + 435, -c = 2*o - 3*c - 300. Let z = -89 + o. Let v = z + 103. Is v prime?
False
Is (3313653/42)/((-5)/(-10)) a prime number?
True
Let v(t) = t**2 + 11*t + 20. Let c be v(-9). Suppose 0 = 3*y - 3*a - 8307, 2*y - a = -c*a + 5550. Is y prime?
False
Let s(j) = 1 - 69 + 24*j - 9. Is s(19) composite?
False
Let w(s) = -22*s - 8. Let q(m) = 26*m + 2. Let v(b) = 105*b + 7. Let t(r) = -21*q(r) + 5*v(r). Let n(h) = -3*t(h) + 4*w(h). Is n(-16) a composite number?
False
Let v be 4 - (-247 + ((-2)/(-1) - -2)). Suppose -7*r + v = -12115. Let q = -1033 + r. Is q composite?
False
Suppose 13 = 12*x + 193. Let h(w) = 33*w**2 + 9*w - 43. Is h(x) composite?
False
Suppose -y + h - 10 = 3*y, 11 = -3*y - h. Let a be -4*(y + 0)/(-3)*-1. Is 1500/7 - a/14 prime?
False
Let j be (0 - -1)/(20/40). Suppose 0 = -2*u + 5*h + 7294, j*u + 6*h = 2*h + 7258. Is u composite?
False
Let u = 514 - 728. Let j be (69/6*u)/(-1). Is 4/(-2)*1 + j a composite number?
False
Suppose 52 + 20 = 6*p. Suppose -24360 = -p*h + 32868. Is h prime?
False
Suppose 701621 = 3*u - 5*s - 667233, 4*s = -4. Is u prime?
True
Let j = 28819 - -6492. Is j a composite number?
False
Let j be (-3 + 4)*(2 + 0). Suppose -j*u - 2*u = -4*d + 32, 5*u = -3*d - 8. Suppose -4*n + 664 = 4*g, 5*g + d*n - 917 + 92 = 0. Is g a prime number?
False
Is 26/((-36)/(-18)) - -70580 a composite number?
True
Let s(h) = -2*h - 5. Suppose 0 = -14*g + 11*g - 21. Let z be s(g). Suppose -b + 2*d + 43 = 0, 2*b - 7*d + z*d = 68. Is b composite?
False
Let y(h) = -h**2 - 2*h + 5. Let f be y(2). Let o be -5 + 3 - 4/6*f. Suppose o = -11*g + 4*g + 2317. Is g composite?
False
Suppose -9*k + 0 + 0 = 0. Suppose -22*o + 19*o + 2400 = k. Is (-3 - -4)*(o - 3) a composite number?
False
Let c(b) = 193*b**2 + 80*b + 38. Is c(-39) a composite number?
False
Suppose 71*z - 55*z = 32. Suppose -2178 = -u + 3*s + 6525, -z*u = s - 17420. Is u prime?
False
Let m(y) = -3145*y + 1979. Is m(-6) prime?
True
Suppose 121*k - 215*k + 123249639 = 1195621. Is k prime?
False
Suppose -6*x = 12, c - 33*x = -34*x + 117641. Is c a composite number?
False
Suppose -4*u + 93084 = 4*g, 0 = -5*g + 8 + 2. Is u prime?
True
Is (-1)/(-2) + 5/(-20)*(-411975 + -11) a prime number?
False
Let l = -28565 - -54904. Is l prime?
True
Suppose -68*h - 20 = -64*h. Is -2411*3/15*h a prime number?
True
Let m(f) = -789*f**2 + 8*f - 11. Let u be m(4). Is -4*(-3)/(-36)*u composite?
False
Let t(k) be the second derivative of 307*k**4/12 - k**3/3 - k**2 + 109*k. Is t(-4) composite?
True
Let l = 6835 + -4083. Let m = -1444 + l. Let w = -854 + m. Is w composite?
True
Suppose -5*i + 181913 = 3*s, -103*s + 104*s = -3*i + 109147. Is i a prime number?
False
Let p(x) = x**3 + 30*x**2 + 29*x + 27. Let o be p(-29). Suppose -22*m + 1935 = -o*m. Let v = m - -622. Is v a composite number?
True
Let y(t) = -373*t**3 - 8*t**2 + 11*t + 1. Let s(a) = 747*a**3 + 15*a**2 - 19*a - 1. Let q(p) = -6*s(p) - 11*y(p). Is q(-1) a composite number?
False
Let y(j) = -2103*j**3 + j**2 - 4*j - 3. Let l = 118 - 80. Let h = l - 39. Is y(h) composite?
True
Suppose -35618 = -3*o + 4*h, 3*h = -674*o + 671*o + 35646. Is o prime?
False
Suppose -44*f = -40*f - 10768. Suppose -12*b + 8*b = -f. Is b a prime number?
True
Let z(n) be the second derivative of n**6/360 + n**5/120 - 13*n**4/24 + 4*n**3/3 - n. Let o(x) be the second derivative of z(x). Is o(11) a composite number?
True
Let o = -698498 + 1320589. Is o a composite number?
False
Let z(s) = -23995*s - 57. Is z(-2) composite?
False
Let q(t) = -3*t**3 + 21*t**2 - t + 2. Let y(a) = -5*a**3 + 40*a**2 + 5. Let k(p) = -7*q(p) + 4*y(p). Let s = 1 - 8. Is k(s) a prime number?
True
Suppose 0 = -2*q + 387 - 371. Let g(d) = -24*d + 18 + 18*d + 43*d + 45*d. Is g(q) a prime number?
False
Let l be (27/3 - 4)/(2 - 1). Suppose j - 5*n - 2 = 0, -4*n + 0 = l*j - 10. Suppose -2839 + 717 = -j*k. Is k prime?
True
Let r(u) = 2*u. Let o be r(14). Suppose -2*s + 12 + o = 0. Suppose -2*q - 1633 = -3*f, -s = 7*q - 3*q. Is f a prime number?
True
Suppose 2*w - 3*n = 27911, 37277 = 4*w + 3*n - 18536. Suppose 5*p - 4*r = 38757, -3*p + 3*r = -w - 9299. Is p prime?
True
Suppose 3*j + 26 + 11 = -5*v, 5*v = 2*j - 42. Let u(o) = -o**2 - 10*o - 6. Let m be u(v). Suppose m*c - 6*c - 1076 = 0. Is c a prime number?
True
Let o = 10954 - -25632. Suppose -3*p + 3*c - 4*c = -o, -3*c = p - 12182. Is p prime?
True
Let c be 4 + 2*3/(-3). Suppose 0 = -c*k + 4*j + 1492, 0*k - 5*k - j + 3708 = 0. Suppose 0 = 4*d - 2*d - k. Is d composite?
True
Suppose 2705347 = 4*x - 3*c,