 w = -78 + 79. Is w/4 + ((-23675)/(-20) - -5) a composite number?
True
Suppose 0 = 2*q - 7 + 1. Suppose 3*x = 4*d - 2770, q*x - 1671 = -4*d + 1087. Is d composite?
False
Is (3/(-3))/(115680/(-16525) + 7) a prime number?
False
Suppose 30 = -43*z + 38*z. Let k be ((-385)/(-10))/(-7)*z. Let p = k + -14. Is p prime?
True
Let b be (-8)/7*(-28)/8. Suppose 899 = -2*i + 3*y, 5*i + b*y + 910 = -1303. Let k = i + 780. Is k a composite number?
True
Suppose 48587 = 6*y + 6725. Is y composite?
False
Is 92335/55 - (-4)/22 a prime number?
False
Suppose 5*p = -0*p + 5*l, -5*p = l. Let t = p - -2. Suppose 4*m - 71 = 3*c - 170, -154 = -4*c - t*m. Is c prime?
True
Let d(c) = c**3 + 9*c**2 - 18*c - 2. Let w be d(-10). Let p = -1 + 1. Suppose p = -3*g + 243 - w. Is g composite?
True
Let z(s) = 27*s + 5. Let h = -27 + 54. Let w = h + -20. Is z(w) composite?
True
Suppose 3210 = 10*s - 23600. Is s prime?
False
Suppose -1 = 3*h - 28. Suppose -9568 = -5*y + 3*n, h*y - 4*n = 4*y + 9569. Is y composite?
False
Is 3 - (-1*1 - (4129 + -42)) prime?
True
Suppose 0 = 4*g + 4*u + 31 - 983, -u - 461 = -2*g. Suppose 27*l = 28*l - g. Is l a composite number?
False
Suppose -v - 48 = 3*v. Let t be ((-128)/v)/((-4)/162). Let b = t - -811. Is b composite?
False
Suppose -8*v = -v + 105. Let j(u) = -u**3 - 13*u**2 + 5*u + 20. Is j(v) prime?
False
Is (((-251847)/2)/9)/(3/(-6)) a composite number?
False
Let r(d) = -21*d. Let p be r(-12). Suppose -5*u - 5*g - 77 + p = 0, 2*g = 2*u - 90. Is 0 + -3 + -4 + u composite?
True
Is (-44)/(-11)*(-119478)/(-24) prime?
True
Suppose -2*k + 4*i = 5*i - 10, -5*i + 26 = 4*k. Suppose 0 = y - k - 2. Suppose 4*f = 3*n + 1736, 0 = -2*n - 2 - y. Is f composite?
False
Let g(b) = 241*b**2 - 8*b - 14. Is g(-3) prime?
True
Suppose -9 = -17*d + 20*d. Is (-253 - 5)*d/9 a prime number?
False
Let p = -8 - -10. Suppose -3 = p*r - 11. Is 2*1 + (417 - r) prime?
False
Let x be (3 - 4260/35) + 4/(-14). Let s = 301 - 131. Let n = x + s. Is n prime?
False
Let x = 6644 - 11772. Is (1/(-2))/(4/x) composite?
False
Suppose -2*m = 32 - 36, s + 5*m - 3413 = 0. Is s a prime number?
False
Suppose 7 = 3*p - 2. Suppose 222 = -p*a + 1389. Is a composite?
False
Suppose 2*g - 2*w - 8088 = 0, 3*w - 5723 + 1699 = -g. Is g a prime number?
False
Suppose 0 = -4*j - 247 + 739. Suppose j = l + 2*l. Suppose -l = -3*m + 4*q, -20 = -5*m - 5*q + 25. Is m prime?
True
Let t(b) = -16*b**3 + 2*b**2 + 3*b + 6. Is t(-5) a composite number?
True
Let w be 3 - (1 - 248/2). Suppose 3*k = 5*k + w. Let q = k + 116. Is q a prime number?
True
Let h = 310 - 524. Let p = 343 - h. Is p composite?
False
Suppose 4*s + 3044 = -0*r + 3*r, -12 = -3*s. Suppose -r = -6*t + 126. Is t a prime number?
True
Suppose 3*i - 5*a - 31 = 0, 5*i = -3*a - a + 27. Is 77/(-22)*(-388)/i a prime number?
False
Suppose -788 = -4*p + 1604. Let k = -1648 + 2719. Let h = k - p. Is h a composite number?
True
Let t(l) = 20*l**2 + 3*l. Let j be t(-3). Let q = j - 92. Is 1*((-3 - -3) + q) a prime number?
True
Let i be (-1)/(1296/(-8876) - (-2)/14). Suppose i = t - 18. Is t composite?
True
Let j(v) = -v**3 - 7*v**2 - v - 5. Let k be j(-7). Suppose -5*y = k*u - 752, 0 = y - 4*y - 6. Is u prime?
False
Suppose -6*a + 11*a = 44245. Is a prime?
True
Let d(h) = -2*h - 12. Let i be d(-6). Suppose 3*l + 9 = i, -1036 = -2*c - 3*l + l. Is c a composite number?
False
Suppose 9*v = 12*v + 2610. Let y = v - -1261. Is y a composite number?
True
Suppose 0 = -2*k + 4*v - 4, -4*v = -3*k - 5*v - 20. Is (2/k)/(6/(-21834)) a prime number?
True
Suppose 45*c + 2361 = 42*c. Is (c/(-4))/(3/12) a prime number?
True
Let n(p) = p**2 - 8*p + 8. Let t = 10 - 3. Let f = t - 14. Is n(f) prime?
True
Is 12/(-30) + (-666736)/(-40) + -1 a composite number?
True
Is (-11626)/(10/75*-3) composite?
True
Suppose -116*j = -102*j - 8862. Is j a prime number?
False
Suppose 0 = 3*h - a - 13075, -3*h + 4*h = -4*a + 4354. Suppose h = -26*g + 27*g. Is g composite?
True
Suppose n - 48 = m, 4 + 5 = -3*m. Is n/30*2122/3 a composite number?
False
Let f = 666 + -467. Is f composite?
False
Let k = 8064 + -5455. Is k a composite number?
False
Suppose 24 = 2*w + 5*l - 0, -3*w + 3*l = 6. Suppose -4*m - w*x = 2*x + 20, 0 = 3*m - 5*x - 9. Is 1/m + 1788/8 prime?
True
Let l(a) = 106*a**2 - 2*a + 2. Is l(-4) a composite number?
True
Suppose 171 = 3*q - 2112. Is q a composite number?
False
Is 3/(-4)*(-1 + 160964/(-12)) a prime number?
True
Let p be (-2 - -1) + 57*(-131)/(-3). Suppose -4*j + p + 2548 = 0. Is j prime?
True
Is 180627/9 + 4/3 a prime number?
True
Let x(p) = 85*p**2 + 2*p - 1. Let c be x(1). Suppose -3*f - c + 11 = 0. Let o = f + 38. Is o prime?
True
Suppose 5*j - 24 = 2*t, 3*j = 3*t + 1 + 17. Let d = j + -3. Is (2 - d)/(2/502) a prime number?
True
Let x(o) = 6*o**3 - 2*o**2 - 4*o + 5. Suppose -2*z - 2*m + 50 = m, 5*z - 2*m = 144. Suppose -2*g = -3*f - z + 6, -3*g - f = -11. Is x(g) prime?
False
Suppose 0 = 5*q - 4*g - 12699 + 2186, 0 = q - 4*g - 2093. Suppose 614 = -3*i + q. Is i composite?
True
Suppose 15455 + 1075 = -5*p. Let j = p + 4943. Is j a composite number?
False
Let l be 2/(-6) - 17/3. Let j = 9 + l. Is 2 + -3*j*-7 a prime number?
False
Suppose -y = 4*n - 10835, y + 2*n - 5*n - 10856 = 0. Is y a prime number?
True
Let y = -486 + 828. Suppose m - y = 5*b, -3*m + 3*b + 1043 = 5*b. Is m a prime number?
True
Suppose 0 = -16*p + 10*p. Suppose p = -0*r + 3*r - 2553. Is r composite?
True
Let t(l) = 2*l**3 + l**2 + 8*l - 6. Is t(7) composite?
True
Suppose -2*x - 2415 + 7455 = -5*p, 2*x - 3*p - 5036 = 0. Suppose -7*b + x = -2770. Is b composite?
True
Suppose -b + 4*x - 741 = -0*b, -2*b + 2*x - 1506 = 0. Let k = b - -1700. Is k prime?
False
Suppose -4*z = -34791 + 2203. Is z composite?
False
Let x(y) = 44*y**3 - 28*y**2 - 7*y + 28. Is x(11) composite?
False
Suppose 2*l = -4*k - 14, 2*k - 18 + 13 = -5*l. Let i = 8 - 6. Is (49 + i)*13/l composite?
True
Is (-6 + (-33)/(-6))*70709*-2 a prime number?
True
Let n be (-246)/(-9) - 3/9. Suppose 2*m + m - n = -2*a, -3*m - a + 27 = 0. Let y(d) = 3*d**2 + 9*d + 10. Is y(m) a prime number?
False
Suppose 89*n + 9*n = 437766. Is n composite?
True
Let l = 1078 + 1371. Let f = -4367 + l. Is 8/(-16) + f/(-4) prime?
True
Let w(o) be the second derivative of -299*o**3/6 - 9*o**2/2 + 4*o. Is w(-2) prime?
False
Suppose -a + 1237 = -4*j, -6*a - 2489 = -8*a + 3*j. Is a prime?
True
Let y(g) = 11*g**3 - 3*g**2 + 9*g + 1. Let z be y(2). Let j = z + -58. Is j prime?
True
Suppose 3*v - s - 697 = -2733, -4*v = 2*s + 2708. Let b = v - -1087. Is b composite?
False
Let h = -21 + 17. Is (1082/h)/((-23)/46) composite?
False
Let g(b) = -25*b - 4. Let s be g(-4). Let a = 63 + s. Suppose -n = -4*n + a. Is n composite?
False
Let t(j) = 49*j**2 - 46*j - 245. Is t(-6) prime?
False
Is ((-2118)/(-4))/(2/4) composite?
True
Let u = 4022 - 2305. Is u composite?
True
Let y(o) = -21*o + 23. Let z = -1 - 7. Is y(z) a composite number?
False
Is (-47 + 48)*(-1 + 1056) prime?
False
Let s(u) = 5*u**2 - 21*u + 157. Is s(51) a composite number?
True
Let h(i) = 29*i**2 - 6*i - 4. Is h(-5) a prime number?
True
Let d(s) = -s**2 - 7*s - 4. Let x be d(-5). Let c be (x/2 + -1)*10. Suppose 0 = -3*z + c + 94. Is z composite?
True
Let s(b) = 4*b**3 + 3*b**2 + 5*b + 22. Let i(v) = -4*v**3 - 4*v**2 - 6*v - 22. Let g(c) = 5*i(c) + 4*s(c). Is g(-6) composite?
True
Suppose -10*f = 10 + 10. Let y(d) = -2570*d - 9. Is y(f) a composite number?
True
Let p be 15/2 - (-21)/42. Let h(b) = 3 + 9*b - 3 + 7. Is h(p) a prime number?
True
Let t(x) = 11*x**2 + x - 5. Let g(k) = 3*k**3 - k**2. Let v be g(-1). Is t(v) a prime number?
True
Let y(t) = 1399*t + 115. Is y(4) prime?
True
Let u(w) = -w - 1. Let v be u(-6). Suppose -3422 = -v*h - 3*k, 2*k - 110 = -3*h + 1943. Is h composite?
True
Let b = 113 - 161. Let a be ((-6)/12)/(3/b). Is 1068/a*2/3 a prime number?
True
Suppose -9*t - 50276 = -4*k - 10*t, -k - 5*t = -12569. Is k prime?
True
Let t be (10/(-30))/(1/(-24)). Let n = 6 + t. Is 1832/56 + 4/n prime?
False
Let u(f) = -f**2 + 5*f - 4. Suppose 0 = 3*x - 8*x + 20. Let t be u(x). Suppose t = -2*l - 2*k + 50, 38 = 2*l - 0*k - k. Is l prime?
False
Let o = -53 + 57. Let m(z) = 64*z**3 - 4*z - 1. Is m(o) composite?
False
Let i = 557 + 762. Is i a prime number?
True
Is (-180444)/198*6/(-4) a composite number?
False
Suppose 