rime number?
False
Suppose -4*t - 4*r + 17028 = 0, 4*t + 5*r - 2729 = 14297. Is t a prime number?
True
Let y be 3 - (0*3/12 + -1). Suppose -258 - 92 = -2*b - 2*j, -736 = -y*b + 5*j. Is b prime?
True
Is (-65374)/(-3)*((-45)/(-6) - 6) a prime number?
True
Suppose -25*a + 14543 = -30732. Is a prime?
True
Let i(j) = 215*j**3 + 5*j**2 - 4*j + 7. Is i(2) a composite number?
True
Let y(d) = 2*d**3 + 4*d**2 - 2*d + 11. Let v be y(5). Let q = -12 + v. Is q a composite number?
True
Suppose 0 = -4*l + 2*d + 156166, 6*l + 117119 = 9*l + 4*d. Is l prime?
True
Let r(s) = -4*s - 56. Let w be r(-16). Is 1 + 0 + (w - 6) + 952 prime?
False
Suppose i - 113 = n + 28, 0 = -5*i + 4*n + 710. Let o = 102 - -109. Let g = o - i. Is g a prime number?
False
Suppose -3 = o, c + o - 283 - 274 = 0. Let r = c - 1002. Let g = -23 - r. Is g prime?
True
Let o be 3/(2/1778 + 0). Suppose o = 10*d - 7*d. Is d composite?
True
Let m(v) = -567*v - 71. Is m(-22) a prime number?
False
Let u(c) = 21*c**2 - 11*c + 5. Suppose 0 = -5*s + 24 - 14. Is u(s) composite?
False
Let j(r) = r - 16. Let k be j(0). Let u be ((-2313)/(-4))/((-4)/k). Is u/6 + (-1)/(-2) a prime number?
False
Suppose 0 = -2*z - 4, u - 5*z + 2 = 8. Let b(f) = -f - 4. Let t be b(u). Suppose 4*p = -t*p + 2*c + 640, -4*p + 3*c = -638. Is p a composite number?
True
Let x(w) = 2602*w**2 - 7*w - 22. Is x(-3) a composite number?
False
Let b = 125 + -162. Let z be ((-160)/(-6))/((-1)/(-3)). Let l = z + b. Is l prime?
True
Suppose 11*p - 1 = 12*p. Let d(b) = 5*b + 1. Let g be d(p). Is g/18 + (-5725)/(-45) prime?
True
Let d(t) = t**2 - 25*t - 10. Let c be d(15). Is ((-1 - c) + -1)*(-8)/(-16) prime?
True
Let h be 1 + (10 - 2/2). Suppose 2*z = z + h. Let t(c) = c**3 - 8*c**2 + 2*c - 9. Is t(z) composite?
False
Suppose 0*x + 26 = -2*x. Let g = x + 14. Is g - (-68*30)/4 a prime number?
False
Suppose 1827*i = 1831*i - 20716. Is i composite?
False
Suppose -22*b + 6052 = -5*b. Let s(y) = y + 7. Let d be s(-5). Suppose d*x - 4*c = -2*x + 712, -2*c = 2*x - b. Is x a composite number?
True
Suppose -185*b = -188*b + 3471. Is b a prime number?
False
Suppose 4*w = -4*d + 105928, 3*d + 52979 = 46*w - 44*w. Is w prime?
False
Let i(c) = 401*c**3 - 2*c**2 + 18*c - 37. Is i(4) composite?
False
Let a(d) = 31*d**2 - 5*d + 195. Is a(17) composite?
True
Suppose 6*t + 11414 = -358. Let o = t + 3443. Is o prime?
True
Let w(h) = 21*h**2 + 12*h + 1. Let l = -23 - -17. Is w(l) a composite number?
True
Let o = 33167 + -19024. Is o prime?
True
Let n(d) = d**3 - 5*d**2 + d - 1. Let v be n(5). Suppose -11647 = -v*h - 2*f + f, -4*h + 4*f = -11632. Is h prime?
False
Let o(s) = -s + 10. Let d be o(5). Suppose -5*x - 583 + 1613 = -5*p, -5*x = d*p - 1020. Is x a prime number?
False
Suppose -o + 4*s = -195, 11*o + s - 1059 = 6*o. Is o a prime number?
True
Suppose 0 = 8*u + 1 - 49. Is u/(-10) + (-342)/(-45) prime?
True
Suppose -4*b = -5*s - 11975, -2*s = -0 - 2. Is b composite?
True
Suppose 2*p - 3258 = -0*v + 2*v, -p + 1623 = -3*v. Let x = -874 + p. Suppose d + d - x = 0. Is d a prime number?
True
Let u = -87 + 3368. Is u a composite number?
True
Suppose -18 + 2 = -4*d - 4*p, 5*p = 10. Suppose 2974 = d*j + 3*q, 4431 = j + 2*j - 3*q. Is j composite?
False
Let d = -785 + 1504. Is d a prime number?
True
Suppose -20*c + 405666 = -2*c. Is c a composite number?
True
Suppose 5*d + 3 - 48 = -z, -5*z = 4*d - 57. Suppose 5*t - 10 = -0. Suppose -4*u - 193 = -5*m - 2*u, d = -t*u. Is m composite?
False
Let l(m) = 76*m**2 + 3*m. Let t be l(7). Suppose -k = -v - 743, 8*v = -5*k + 3*v + t. Is k prime?
False
Suppose 19 = 2*r - 19. Let f = r - 19. Is (f - 6)/(10/(-95)) prime?
False
Let q(a) = a**2 + 4*a + 6. Suppose -1 = -4*n - 17. Let i be q(n). Is 28/i*12/8 a composite number?
False
Let z(u) = 12*u**2 + 5*u + 5. Let p be (-258)/(-12) + (-6)/4. Suppose -2*c + c + 2*a = 6, 4*a - p = 4*c. Is z(c) prime?
False
Let j(z) = 342*z + 49. Is j(38) prime?
False
Let x be 4/18 + (-616)/(-63). Suppose 0 = x*s - 5*s - 1025. Is s a composite number?
True
Suppose 2*q = -5*y + 389, 0*y = -3*y - 2*q + 231. Suppose 2*b + 2*b + 4*s = -8, -3*s - 18 = -b. Suppose y = 4*r - b*r. Is r a composite number?
False
Suppose -29 = 4*o - 69. Let m(l) be the third derivative of l**5/60 - 5*l**4/24 - 11*l**3/6 + l**2. Is m(o) composite?
True
Suppose 0 = -3*n + 5 - 2. Let y be n/(-1 + (-72)/(-70)). Suppose -y = -4*a + 21. Is a a composite number?
True
Suppose 21 = -3*h - 3*y, y - 37 = 4*h - 4*y. Let w be -4*(-4)/h + 107. Let p = w - 68. Is p prime?
True
Let p be (-385)/25 + 3/(-5). Let i = p + 18. Suppose 0 = -i*a - 75 + 229. Is a a composite number?
True
Suppose 3*g + 28 = 5*l, 0 = 3*l - 4*l + 5*g + 10. Suppose 2217 = -l*s + 4*s. Is s/(-7) - 4/(-14) a prime number?
True
Is ((-10862)/(-5))/(88/220) a composite number?
False
Let a = -14 + 12. Let i(v) = 1 + 4*v - 26*v**3 - 2*v - v**2 - 4*v**3. Is i(a) a composite number?
False
Let l(h) = -4*h - 1. Let y be l(-2). Suppose 3*t + 8 = y*t. Suppose t*m + 655 = 7*m. Is m a composite number?
False
Let l(u) = 168*u + 4. Let v(n) = -n - 1. Let g(s) = -l(s) + 5*v(s). Let x be g(-5). Suppose -5*b - 2*d + 207 = -x, b - 5*d - 191 = 0. Is b a prime number?
True
Let h be (15/(-20))/((-1)/12). Let w = h - 6. Suppose -2*y = 4*j - 2330, w*y = 4*j - 1675 - 660. Is j composite?
True
Suppose 50 = 5*z + 130. Let n be (z/10)/((-6)/(-15)). Is (-958)/n*16/8 composite?
False
Let b = -43 - -40. Let v(o) = -42*o**3 + 2*o**2 + 2*o - 5. Is v(b) prime?
False
Let u = -46 + 98. Suppose 3*w + 100 - 34 = 5*q, 5*q + 4*w = u. Let t(y) = -y**2 + 13*y + 10. Is t(q) a composite number?
True
Suppose 0*f = -f + 4. Is 1/(f/4716*3) prime?
False
Suppose 3*h = -5*n + 1315, n + n - 2*h - 510 = 0. Let u = n + 33. Is u composite?
False
Suppose 0 = 5*d - 2*a + 746, 0*d = -3*d - a - 441. Let r = 208 + d. Let t = 427 - r. Is t a composite number?
False
Suppose -q - 5 = -1. Let d be (10 + q)/(4/(-58)). Let i = d + 286. Is i prime?
True
Suppose 0 = -16*t + 9*t - 224. Is 4/t - 17725/(-40) a composite number?
False
Let z(a) = -a**2 - 4*a - 2. Let q(v) = -3*v + 1. Let x be q(1). Let g be z(x). Suppose -7 + 49 = g*p. Is p prime?
False
Suppose 0 = 5*o - 2*o - 45. Let y be 2/5 + (-29526)/o. Let s = -1047 - y. Is s composite?
True
Let n(u) be the second derivative of u**5/10 + 2*u**4/3 - 3*u**3/2 + 7*u**2/2 - 3*u. Let s(t) = -3*t - 75. Let a be s(-27). Is n(a) a composite number?
False
Let m = 1972 + -689. Suppose 5*r + 3*i = m, 179 = 3*r + 2*i - 590. Is r composite?
True
Let h(m) = -4*m + m + 29*m**2 - 111 + 102. Is h(4) prime?
True
Suppose -1070 = -v - 391. Suppose -4*u - 12 = 0, -163 = 3*p - 5*u - v. Is p composite?
False
Let d = 0 + -3. Let k = d + 16. Suppose -v + 21 = -k. Is v prime?
False
Let m be (-1)/(-1) + (-2)/2. Suppose -4*f - f + 105 = m. Is (f/6)/(3/1146) prime?
False
Suppose -4*y + 73 = l - 19, 4*y + 484 = 5*l. Suppose -n = 2*n - l. Suppose w = -3*g + 22, 2*w - n = w - g. Is w prime?
True
Let q = 16774 + -7955. Is q composite?
False
Let w = 7264 - 1197. Is w a prime number?
True
Let i = 40847 - 24988. Is i composite?
False
Let l = 5 - 4. Is l*2215/((-15)/(-3)) prime?
True
Suppose -358548 = -42*v + 5402970. Is v a prime number?
False
Let q = 4625 + -1546. Is q a composite number?
False
Suppose 2 = -12*o + 13*o. Suppose -o*d + 4*i = -1594, -3*i = -d - 141 + 933. Is d a prime number?
False
Suppose -k - 3*k = -45512. Suppose -y - 3*y + 3*s = -k, 0 = -y + 5*s + 2853. Is y prime?
True
Let g = 10 - 5. Is (-14)/(-4)*(g + 209) a prime number?
False
Let u(x) = -5*x - 7. Let w(l) = 11*l + 15. Let h(j) = 5*u(j) + 2*w(j). Is h(-12) composite?
False
Let t(i) = 4*i + 6. Let a be t(0). Is ((-279)/a)/((-6)/20) prime?
False
Suppose -35324 = -22*p + 21414. Is p a composite number?
False
Suppose -20*i - 190192 = -36*i. Is i prime?
True
Suppose -1446 = 4*z + 3*s, 3*z + 3*s = s - 1084. Let m = z + 240. Let i = -74 - m. Is i prime?
False
Is ((-55)/(-10) - 4)/((-15)/(-55570)) a composite number?
False
Suppose x + 4*a - 9 + 4 = 0, x - 2*a + 7 = 0. Is 1/(x/5823*-3) a composite number?
False
Is 1614125/175 - (-1)/(14/(-8)) a prime number?
False
Let k be (-1 - 1 - 0)*-2. Suppose z - k*c + 108 = 677, -2761 = -5*z - c. Is z composite?
True
Let m(a) = 2*a**3 - a**2 + 3*a - 1. Let q be m(1). Suppose -q*o + 7568 = 5*t, -2821 + 305 = -o + 5*t.