54. Is s prime?
True
Suppose -16 + 4 = 3*q, -3*q = 4*r - 644. Let s = 571 - r. Is s a composite number?
True
Let z be (-492)/7 - 6/(-21). Let h be -1 + 9/((-9)/z). Is h/(-2)*4/(-6) prime?
True
Let u = -28 + 68. Suppose 35*f + 2585 = u*f. Is f a composite number?
True
Suppose 4*p - 10 = -6. Is 673*(3 + -2)*p a composite number?
False
Let d = 1504 + -749. Let y = -142 + d. Is y composite?
False
Let m be 61152/(1 + 2) + -2. Suppose 0 = 5*g + 7097 - m. Is g a prime number?
True
Suppose -3*p = w - 0*w - 1, 0 = -3*p + w - 1. Suppose p = -v - 1 - 9. Is 1057/5 + v/25 a composite number?
False
Let b(j) = 45*j**2 - 4*j + 7. Let x = 73 - 79. Is b(x) prime?
False
Let u(s) = 15*s**2 - 49*s + 115. Is u(21) a composite number?
False
Let d(i) = -3*i**2 + 2*i - 1. Let f be d(1). Let z = 6 + f. Let s(y) = 51*y + 7. Is s(z) a composite number?
False
Let v(m) = 10196*m**3 + m**2 - 2*m. Is v(1) a composite number?
True
Let a = 24 - 21. Suppose -a*l + 1043 = 4031. Let q = l - -1447. Is q a prime number?
False
Let n be ((-204)/26 - 8/52) + 0. Is (-724)/n*(9/3 + 3) a prime number?
False
Suppose 14*x - 5*x = 17181. Suppose -5*c + x = -806. Is c a composite number?
True
Let o(d) = -66*d - 2 - d**3 - 8*d**2 + 70*d + 2. Is o(-11) a prime number?
False
Suppose -3*w - 3*r - 5 = -29, w - 16 = -3*r. Suppose -3*b = -5*x + w, 4 = 3*x - 2*b + 1. Is 106 + (0/x - -3) a prime number?
True
Suppose 0 = 45*j - 15*j - 1609710. Is j a prime number?
True
Suppose -952304 = -29*s - 172117. Is s a composite number?
False
Suppose 7106 = r + 5*y, r + 2*r + y = 21360. Is r prime?
True
Let j = 260 + -459. Let u = -892 - -1292. Let l = u + j. Is l a composite number?
True
Let g be (33172/5)/(-2)*260/(-104). Suppose 2*a - g = -5*q, 2690 = 3*q - a - 2277. Is q a prime number?
True
Suppose -k = -4*a - 1579, -4*k + 9*k = -a + 7832. Is k prime?
True
Suppose l = 4*x + 449, -3*x + 161 = 2*l - 737. Is l prime?
True
Let c = -13915 + 32774. Is c composite?
False
Suppose -11*p + 14*p = 2*l + 3599, -3*l + 4810 = 4*p. Is p a prime number?
True
Let h = -14 - -7. Let q = h - -11. Suppose -3*t - 3*a + 918 = 0, -q*t - 5*a - 167 + 1396 = 0. Is t a composite number?
True
Suppose -4*g - 5 + 1 = -2*b, g + 2*b = -11. Is (g - -1)*(-1284)/8 prime?
False
Is (13 - (-11 - 217))/((-2)/(-4)) a prime number?
False
Let w(t) = -54*t**2 + 50*t**2 - 4 + 0. Let m be w(-4). Let p = m - -119. Is p prime?
False
Suppose -p - 142253 = -4*k + 27061, -k + 3*p = -42323. Is k a composite number?
True
Let q(z) = 1505*z**2 + 8*z - 4. Is q(-3) a prime number?
False
Let p be (-1 + 2)/(1/(-4)). Let m be 7 + p + 3 + -4. Is (72 - m) + 1 + -4 composite?
False
Let l(c) = -10*c - 16. Let w(i) = 30*i + 49. Let f(k) = 11*l(k) + 4*w(k). Let x be f(10). Suppose x + 262 = 2*z. Is z composite?
False
Let s = -493 + 764. Suppose 0 = -3*c + s - 97. Is c a prime number?
False
Is (57928/(-48))/(-13)*6 a composite number?
False
Let j(n) = 5*n**2 - 8*n + 31. Let k = 59 + -73. Is j(k) a composite number?
False
Let r(a) = -606*a - 1. Let y = 31 - 33. Is r(y) a prime number?
False
Suppose 16*k - 9*k = 748195. Is k a composite number?
True
Let u be (2 - (12 - 1))/1. Is (-142 + 1)*(u + 8) prime?
False
Suppose t - 3484 = 469. Is t prime?
False
Suppose j + 2*a - 8 = 7, 5*a - 20 = j. Let k(g) = 15*g + 18. Is k(j) a prime number?
False
Let c = 235 + -350. Let z = 191 + c. Suppose -z = -o + 115. Is o composite?
False
Let h(k) = -k**3 - 19*k**2 + 46*k - 101. Is h(-30) a composite number?
False
Is (55/165)/((-192494)/(-96246) - 2) a composite number?
True
Suppose -2 = -0*f + f + 2*g, -4*g = 20. Let w be ((-9)/(-36))/(1/f). Suppose 3*s + 2*v - 31 = w*s, 2*s = -3*v + 64. Is s composite?
True
Let q(z) = 4*z + 31. Let s(c) = -c**2 + 12*c - 3. Let y be s(9). Is q(y) prime?
True
Suppose -457*o = -472*o + 11175. Is o prime?
False
Let g(v) = 26*v**3 - 3*v**2 + 13. Let t be g(-5). Let w = -1535 - t. Is w a composite number?
False
Let r(n) = n**2 + 10*n + 3. Let m be r(-9). Let l(s) = -6*s**3 + s**2 + 9*s - 2. Let j be l(m). Let k = j - 375. Is k prime?
False
Let t be 9/21 - (-160)/35. Suppose t*r = 10*r - 3170. Is r a composite number?
True
Let k(r) = 12*r - 70. Let j be k(6). Suppose 3*b = 2*y - 193, -3 = j*y + b - 176. Is y prime?
True
Suppose -4*h - 100 + 400 = -2*f, 0 = 3*f. Suppose -6*n + h = -n. Suppose 5*b + n = 0, 4*s + 4*b = 3*b + 1313. Is s a composite number?
True
Suppose 5*o - 16519 = 3*c - 7*c, o = -c + 3303. Is o a prime number?
True
Let w(b) be the second derivative of 7*b**5/60 + b**4/6 - 5*b**3/2 + b**2/2 + 7*b. Let p(z) be the first derivative of w(z). Is p(-8) a composite number?
False
Let k = -673 + 1580. Is k prime?
True
Suppose -5*h = 2*n + 120, n + 3*n + 2*h + 256 = 0. Let w = n - -14. Let a = w - -242. Is a a prime number?
True
Suppose -2*k + 17 = 9*x - 8*x, -20 = -5*x + 3*k. Suppose -x*u = -8893 + 906. Is u composite?
True
Let g = -17 - -20. Let r be 3*2*g/9. Is (r/(-4))/((-4)/3272) prime?
True
Let q(c) = -4427*c - 10. Is q(-1) a composite number?
True
Suppose 256*p - 149089 = 227*p. Is p composite?
True
Let d be (5 + -23)*6/9. Let j = d + 347. Is j prime?
False
Suppose 0 = 5*g + 2*k - 19, -2*g + 34 = 3*g - 3*k. Suppose -4*l - 10 = 3*d - g*d, l - 11 = 5*d. Is 26*(-1 + (-26)/l) a prime number?
False
Suppose 0 = -u - 6*g + g + 26, -u - 3*g + 16 = 0. Is (-17406)/18*1/(u/(-5)) a prime number?
False
Let x = 495 - -72. Let h = 1220 - x. Is h a composite number?
False
Let l be (-4)/10 + (-44)/(-10). Suppose -1545 = y - l*y. Is y a composite number?
True
Let i(v) = -17*v + 28. Let l(g) = 6*g - 9. Let d(z) = 4*i(z) + 11*l(z). Let c(h) = -h**2 - h + 3. Let s be c(-4). Is d(s) composite?
False
Let c(d) be the third derivative of d**5/60 + d**4/12 + 7*d**3/3 + 9*d**2. Is c(-8) a composite number?
True
Let x(z) = z + 611. Suppose -3*l - 2*l = -0*l. Is x(l) a composite number?
True
Let m(n) = n**2 - 5*n + 8. Let s be m(4). Suppose 5*g - 4*z - 6245 = 0, 0*z = s*g - 2*z - 5002. Is g prime?
False
Let v(z) = 11579*z - 165. Is v(2) composite?
False
Suppose 5*d = -2*l + 13021, 2*d + 2*l - 7*l = 5220. Is d a composite number?
True
Suppose -2590 = -5*o + 3*o. Suppose 4*x + x = -o. Let t = x - -444. Is t a prime number?
False
Suppose 0 = -8*w + 20879 + 14425. Is w a prime number?
False
Let j(t) = 2*t**2 + 11*t - 4. Let m be j(-6). Suppose -79 = q - m*w - 282, -3*w + 228 = q. Is q composite?
True
Suppose 274*i - 249*i - 801925 = 0. Is i a composite number?
False
Let g(v) = -25*v + 18. Let u(i) = 49*i - 36. Let n(q) = 11*g(q) + 6*u(q). Is n(8) prime?
False
Suppose 92 = -4*m + 388. Suppose 15 = -8*q - 153. Is m*(q/(-2))/3 prime?
False
Let h(m) = -6*m**3 + 13*m**2 - 8*m + 2. Let z(r) = -5*r**3 + 12*r**2 - 8*r + 3. Let x be -2*(-5)/((-15)/6). Let o(w) = x*h(w) + 5*z(w). Is o(6) a prime number?
True
Let y be -6 - -5 - (-12)/(-2). Let w = -7 - y. Suppose o = -w*o + 257. Is o composite?
False
Let i = 621 - -2183. Let l = i + -1165. Is l prime?
False
Let k(t) = 12*t**2 + 3*t - 3. Let y be k(2). Let l be y/6 - (-3)/6. Suppose 158 = l*r - 7*r. Is r prime?
True
Let j = -34 - -82. Let u = -29 + j. Is u a prime number?
True
Is 15 + -9 - (-1 - 370) composite?
True
Let f = -6499 - -11040. Is f composite?
True
Let m be -2 + 10/(-2 - -4). Let t be (-2)/2 + 33/m. Suppose t = w - 109. Is w composite?
True
Suppose n = 2*n. Let p(q) = -q**3 + q**2 - 2*q + 337. Is p(n) composite?
False
Is ((-2732)/10 - -1)/((-40)/200) composite?
False
Let q(l) = -7*l**3 + 15*l**2 + 16*l - 1. Is q(-15) composite?
False
Is 5/(-2)*2518*(-5)/5 a prime number?
False
Let g(i) = -110*i**2 - i + 2. Let v be g(3). Let n be -1*(-232)/12*3. Let p = n - v. Is p a composite number?
False
Let a be (2 + 2/(-4))*-4. Let o(b) = 48*b - 3. Let r(s) = -97*s + 7. Let t(g) = 7*o(g) + 4*r(g). Is t(a) a prime number?
False
Let v(k) = 296*k**2 - 18*k - 19. Is v(-3) a prime number?
True
Is (-29866 + 0)*3/(-6) prime?
False
Suppose 0*n + n - 285 = -3*u, 5*n = -3*u + 285. Let r = -10 + u. Is r a prime number?
False
Let h(m) = -110*m + 2. Let z be h(-1). Let a be (1 - 37)*z/48. Is (181/2)/((-6)/a) prime?
False
Let n(d) = -d**3 + 10*d**2 + 4*d - 2. Suppose 36 = -5*o - 0*s - 3*s, 2*o - 3*s + 27 = 0. Let x = o - -18. Is n(x) composite?
True
Let j(k) = -7*k**3 - 3*k**2 + 3*k - 4. Suppose 0*r = -2*r - 2. Let p = -2 + r. Is j(p) a composite number?