composite number?
True
Let w be 30/9*1277622/4. Is w/(-25)*(-15)/9 a prime number?
True
Is 467/1401*(26655 + 0) prime?
False
Suppose -5*q - 37 + 142 = 0. Suppose 2*y - 9*y = -q. Is 2149/(-2 + y + 0) a composite number?
True
Suppose 0 = 4*q + 4*m - 2238064, -q + 521*m = 516*m - 559486. Is q composite?
False
Suppose -244*q - 10733930 = -37627854. Is q a composite number?
False
Suppose -8397505 - 2231107 = -37*h - 231*h. Is h prime?
True
Let k be ((2/4)/((-3)/30))/(-1). Suppose x - k*x = -5036. Is x a prime number?
True
Suppose 20*i = 16*i + 7444. Suppose i = -17*u + 23094. Is u a composite number?
False
Let j(t) = 55974*t**2 - 36*t - 44. Is j(-1) a prime number?
False
Is 5/((-35)/(-8)) + 4751700/84 a prime number?
True
Suppose -71 = -4*t + 3*k, 5*t + 2*k = 2*t + 49. Suppose t*s = 22*s - 55. Suppose -4*j = -2*j + o - 7, 0 = 2*j - 5*o + s. Is j a prime number?
True
Suppose -463245 = -11*w + 580886. Is w composite?
True
Let i(m) = 6*m + 12. Let d be i(9). Let y = -159 - -84. Let v = d - y. Is v prime?
False
Let x(u) = 116547*u**2 - 35*u + 20. Is x(2) composite?
True
Let n(b) = 3409*b**3 + 7*b**2 + 31*b - 163. Is n(4) prime?
True
Let r = 28944 - -9342. Suppose 21*x - r = 61485. Is x prime?
True
Suppose -38*l + 233045 + 60201 = 0. Is l prime?
True
Let k be 9/(27/18*2/5). Suppose -11*x = -k*x + 20348. Is x a composite number?
False
Let b be 6 + (-4 - 3 - -1). Suppose b = -q - 2752 + 9819. Is q a composite number?
True
Is (-1117540)/(-3) - (-13 - 7)/(-60) prime?
False
Suppose -44 - 16 = -10*n. Is (n + 10542/12)/((-3)/(-6)) a composite number?
True
Let q(h) = -51*h**2 - 9*h + 21. Let n(s) = -14*s**2 - 2*s + 5. Let u(c) = -9*n(c) + 2*q(c). Let w be (4/(-10))/(1/5). Is u(w) composite?
True
Suppose 6*x - 3 = 15. Let r be x/(-1) + -2 + -1. Is (-1970)/r + 8/12 prime?
False
Let a = -63 - -268. Let w = -9 + -47. Let k = w + a. Is k a prime number?
True
Is ((-18595490)/95)/(((-9)/15 - -1)*-5) prime?
True
Let z be (1 + 44269)/2 - (23 + -19). Suppose 17*v = 8*v + z. Is v a prime number?
True
Let n(p) = 4*p**3 - 35*p**2 + 13*p + 51. Let v be n(15). Suppose -2834 = -5*q + v. Is q a composite number?
False
Suppose -3*y + 2*j + 842445 = 0, -3*y + 334179 + 508224 = 5*j. Is y a prime number?
True
Let g be ((-16)/(-32))/(((-6)/3)/(-16)). Suppose 0*q - 2179 = -2*q + 5*h, -1083 = -q - g*h. Is q composite?
False
Let y = 61554 - 40436. Is y a prime number?
False
Suppose -6*s = -10*s + 784220. Let w = s - 112188. Is w a composite number?
True
Let s = -11188 - -11181. Let j(p) be the first derivative of 89*p**3/3 - 17*p**2/2 - 74*p + 1. Is j(s) a prime number?
False
Let g be (-1)/((6/(-54))/(2/6)). Suppose -l + 16423 = 2*z - 4*l, 0 = 2*z + g*l - 16405. Is z prime?
False
Suppose 10650870 = 7*u + 38*u. Is u composite?
True
Let b = 349575 - 179614. Is b prime?
False
Let h = -150 - -189. Suppose -12*v = -h*v + 110997. Is v a prime number?
True
Let g(y) = y**3 + y**2 - y + 1857. Let x = -56 - -56. Let r be g(x). Is 28/182 - r/(-13) a composite number?
True
Suppose -17 = 5*t + 8, -3*r - 2*t + 2 = 0. Suppose 2551 = r*j - 1741. Is j a composite number?
True
Let k be (2 + 18)*24/20. Suppose 31*h - 14357 = k*h. Is h a prime number?
False
Let i = 772 - -29287. Is i a composite number?
False
Suppose -11*h + 30 = -h. Suppose -h*b + 13613 = 2*n, b - 4*n + 7*n = 4540. Is b a composite number?
True
Let g be ((-3 + -21)/6)/(-4). Is (26 + -13 + -842)/(g/(-19)) prime?
False
Let f be -57 - -58 - 2*(0 - 1). Suppose 0 = -0*q + f*q - 9, 5*n = -4*q + 27. Suppose -15585 = n*i - 6*i. Is i a prime number?
False
Let s be -2 + 6 + (-20)/5. Suppose 2*n + 438 - 1336 = s. Is n prime?
True
Let h = 36 - 21. Let s(o) = -2*o + 34. Let k be s(h). Suppose -k*j + i = -315, 4*i + 354 = 5*j - 37. Is j prime?
True
Suppose 47*d - 1165135 = -353304. Is d prime?
False
Suppose j - 3*w - 551330 = 0, -3*w - 1329206 = 4*j - 3534541. Is j a prime number?
False
Let o = -80 - -81. Let y(h) = 2569*h**2 + h - 1. Is y(o) a prime number?
False
Let n = 326 + -181. Let f(y) = 257*y + 3 - 44 - n*y - 16. Is f(7) a composite number?
False
Let y(l) = 3289*l + 4. Let x = 138 + -137. Is y(x) a composite number?
True
Suppose -36 = -4*z - 2*m + 6*m, 4*z + 4*m - 28 = 0. Let j(p) = p**3 - 7*p**2 - 8*p - 4. Let a be j(z). Is 44*(314/8 + 0 - a) composite?
True
Suppose -o - 1 + 2 = -n, 5*o = -4*n + 14. Let r = 2 + o. Suppose -s = s - 2*m - 78, -188 = -4*s - r*m. Is s a composite number?
False
Suppose 0 = -7*d + 43 - 8. Suppose -d*s + 10783 = -1582. Is s a composite number?
False
Suppose -2*u = -5*a + 4, 2*u = -u + 9. Suppose 3*v - 36 = a*s, -4*s = -4*v + 4 + 68. Is (41444/s)/(-2) + 2/(-9) a prime number?
True
Let d be (-4)/22 + 4520/55. Let w(n) = -24*n + 6 - 25 + d*n. Is w(17) composite?
False
Let q be 4/30 - (-9 - 644/(-105)). Suppose j - 4 = 0, -q*j + 2498 = 2*d - 8*j. Is d prime?
True
Suppose 160005 = 8*g - 110323. Is g a prime number?
True
Let a(z) = -z**3 - 57*z**2 - 57*z - 368. Is a(-87) composite?
False
Suppose 0 = -68*a + 19*a + 39740634 + 19918483. Is a a composite number?
False
Let q(j) = -j**2 + 4. Let u be q(-2). Let z(h) = 50*h**3 - 51*h**3 - 2*h + 295 + 2*h**2 - 3*h**2. Is z(u) a composite number?
True
Suppose 11*i - 30 = 6*i. Is (-14)/(112/24)*(-10018)/i composite?
False
Suppose 64860 = 4*g - 63337 - 105039. Is g a composite number?
False
Suppose -7*o + 18*o - 220 = 0. Suppose 853408 = 12*j + o*j. Is j prime?
True
Suppose -2*x = 25 - 25. Suppose -4*u - 2*a + 3158 = x, 798 + 783 = 2*u + 3*a. Is u prime?
False
Suppose 640*g - 634*g - 1806174 = -4*u, -9 = -3*u. Is g composite?
False
Suppose c = -5*d - 12, 2*d - 6 = -3*c + d. Suppose -c*o + 637 = 4*s, -o + 4*s - 215 = -2*o. Is o a composite number?
False
Suppose 0 = -20*x + 5*x + 21675. Suppose y - 2*j - x = -3*j, -j + 4 = 0. Is y a composite number?
True
Let q(b) = 372*b - 3. Let w be q(6). Suppose 0 = 7*v + 451 - w. Is v composite?
True
Suppose 8 = 2*u, -34*b + 36*b - 622 = 3*u. Is b a composite number?
False
Is 1*(0 + (-56)/(-42))*(-2307198)/(-8) a prime number?
True
Let f(w) be the second derivative of -17*w**3/3 - 83*w**2/2 - w - 52. Is f(-18) a prime number?
False
Suppose 3*u - 4*w = 316813, 0*w = -u - 5*w + 105598. Is u a prime number?
False
Let a = 327 - -64. Suppose g + n - a = 0, 17*g - 16*g = -2*n + 396. Is g composite?
True
Suppose -32*y - 4*a = -29*y - 10085, 7*y - 23507 = 3*a. Is y prime?
True
Suppose -12*b + 178*b = 72701526. Is b composite?
True
Let c(g) = 6772*g**3 - 3*g**2 + 23*g - 43. Is c(3) composite?
True
Suppose j = -0*j + 318. Let y(n) = -1 + j*n**2 + 0 + 22*n - 20*n. Is y(1) prime?
False
Let q = 11114 + -1654. Let k = 15807 - q. Is k a composite number?
True
Is 492/(-1599) - 130900/(-52) prime?
False
Let y(t) = 7*t**2 + 2*t + 1. Let m be y(-1). Let i(j) = 6*j**3 + 8*j**2 - 3*j + 10. Let o be i(m). Suppose r + r = -2*c + 802, -4*r + 3*c = -o. Is r prime?
True
Let j(f) = -f**3 + 109*f**2 - 10*f + 169. Is j(-22) a prime number?
True
Suppose -4 = -2*l + l, j = -4*l + 1058. Suppose -3*i + 4*x + j = -88, -3*x + 1922 = 5*i. Is i composite?
True
Suppose x - 3*g - 981 = 0, -5*g = -3*x + 904 + 2043. Let b be (3764/(-6))/((-16)/x). Suppose -15422 = -2*q - 4*c, c = -5*q + 4*c + b. Is q prime?
False
Suppose -13*y = -8*y - 2*n - 16648, 0 = y - 3*n - 3327. Let r = -2193 + y. Is r prime?
False
Suppose 2*k - 21 = -1. Suppose 52119 = k*m - m. Is m prime?
True
Let i(l) = l**2 - 7*l - 9. Let f be i(20). Let y = 798 + f. Is y a prime number?
True
Let g = 462101 + -243364. Is g a prime number?
True
Let k(t) = 12*t**3 - 8*t**2 - 6*t + 2. Let u be k(4). Let i(j) = 137*j + 1. Let m be i(-1). Let x = m + u. Is x a prime number?
False
Suppose 53568 = q + y - 48706, -q = 5*y - 102246. Is q a composite number?
True
Let v(j) = -22469*j + 1725. Is v(-16) prime?
False
Let y = 277916 + -97137. Is y a composite number?
False
Suppose 0 = -5*z + 722 - 127. Suppose 113*r - z*r + 6054 = 0. Is r prime?
True
Is -328883*(-5 + 2 + 2) composite?
False
Let m = 19333 + -8962. Is m composite?
True
Suppose -41*m = -6*m + 23*m - 19965282. Is m prime?
False
Let i(d) be the second derivative of -509*d**3/6 + 24*d**2 - 7*d + 13. Is i(-7) a composite number?
True
Let k be (18/(-10))/((-69)/115). Suppose -3*x + 2*y + 2788 = -k*y, 4*y = x - 941. Is x a prime number?
False
Suppose -2*l - 5*f - 79666 = -6*l, 