(-158*3)/(4 + w) composite?
True
Suppose 55882 = 9*w - 7*w. Is w a composite number?
False
Suppose 30 = 3*u - 4*r - 3, 2*r + 34 = 4*u. Let a(k) = 5*k**2 + 6*k - 1. Let n be a(u). Suppose -2*d - d - 2*i = -425, 2*d + 2*i - n = 0. Is d prime?
True
Let n = 6308 + -2312. Suppose -2*p = -n - 3370. Is p composite?
True
Suppose -7*r + 6*r = -c - 9, 0 = 5*c. Is 12/(-18) + 2643/r composite?
False
Let d = 52263 - 20992. Is d composite?
False
Let l = -3558 - -9943. Is l a prime number?
False
Suppose o + 38 = 4*z - o, -5*o + 9 = 3*z. Suppose -5*p - z = -18. Suppose -3*h + 851 = -p*s, 0*h + 5*s + 549 = 2*h. Is h a prime number?
False
Let d(s) = 136*s**2 - 7*s - 40. Is d(-11) a prime number?
True
Is (-60)/15 + (-22911 + 0)/(-3) a prime number?
False
Let q = 5 + -9. Is (-2834)/q - 12/8 a composite number?
True
Suppose -7*g = g - 40. Let s(c) = 17*c + 6 + 19*c - 15*c. Is s(g) prime?
False
Is (-2 + 50)/3 + -3 a prime number?
True
Suppose 2*q - 17 = -87. Let r = -28 + q. Let g = 106 + r. Is g a composite number?
False
Let j(x) = 29*x + 293. Is j(0) a prime number?
True
Let t be (-73)/(-5) - (-15)/(-25). Suppose 4*i - b + 16 = 3*b, 2*i - 5*b = -t. Is (i/(-3))/(2/237) a composite number?
False
Suppose -3*m + 7*i = 9*i - 15773, 2*i + 10 = 0. Is m composite?
False
Suppose -2*m + 7*m = m. Suppose -4*n + 4*w = -23020, m = -2*n - 2*w + 15670 - 4160. Is n composite?
True
Suppose 4*q = 3*x, 0 = -4*q - 5*x - 9 + 41. Suppose -5*d - q*u = -10 - 2, d = -u + 4. Is -4*(d - (-93)/(-6)) a prime number?
False
Suppose 5324 + 29555 = 13*y. Suppose 0 = -13*o + 12*o + y. Is o a composite number?
False
Let d(j) be the third derivative of 7*j**5/12 - j**4/8 + 5*j**3/6 - 37*j**2. Is d(2) a composite number?
False
Let j(a) be the second derivative of -71*a**3/6 - 13*a**2/2 - 29*a. Is j(-12) a composite number?
False
Suppose 0*b = b. Suppose b = 5*n - 20. Suppose s + 5*w - 34 = -n, -3*s + w + 170 = 0. Is s a prime number?
False
Suppose -t = 4*p - 18, 0*t = -2*p + 5*t + 20. Let w = -658 - -1462. Suppose 0 = -4*h + p*h - 3*d - 164, 5*h + d = w. Is h prime?
False
Let v(s) = 501*s**2 - 4*s - 8. Is v(-3) a prime number?
True
Let b = -9 - -2. Let n = 10 + b. Let f = n + 43. Is f composite?
True
Suppose 0 = -7*g + 6347 - 1692. Let u = g - 114. Is u a composite number?
True
Suppose 521 = 62*c - 63*c. Let g = c + 2320. Is g composite?
True
Let b = -16 - -22. Suppose 4*p = 2*p - b. Is 3*(0 - p) + -2 composite?
False
Suppose 0 = -4*l - a + 5*a + 22352, 5*l - a = 27920. Is l a prime number?
False
Suppose 18*v - 15*v - 4542 = 0. Let x = v + -1071. Is x composite?
False
Let f = -35708 - -206335. Is f a composite number?
False
Suppose 0 = 5*j - 0*j - 5*c - 3390, 2717 = 4*j - 5*c. Is j a composite number?
False
Suppose 3*c + 497 = -4*z, 2*z + 4*c = z - 108. Suppose -3*t + 0*t - 117 = 0. Let o = t - z. Is o a composite number?
False
Let x(n) = -12*n**2 + 2*n - 4. Let q be x(-4). Let w = 125 - q. Is w composite?
True
Is -1*7 + 774072/39 composite?
False
Let r(z) = z**3 + 9*z**2 + z + 12. Let k be r(-9). Is (k - (-2567)/5)*10/4 a prime number?
True
Suppose -2*a = 4*u - 10, 20 = -2*u + 3*u + 4*a. Suppose u = -9*h + 12*h + f - 3676, -2*f = -h + 1237. Is h a prime number?
False
Let x(h) = 324*h**2 + 9*h + 7. Is x(10) composite?
False
Let i = 9500 + -3829. Is i a prime number?
False
Suppose -4*k + 0*n = -n - 1, k + 3*n = -16. Let v be (k - -241) + -5 + 7. Let f = 651 - v. Is f a composite number?
False
Let v = 23 - 18. Suppose v*s + h = 1898, 3*h = h + 6. Is s prime?
True
Suppose 98363 + 26455 = 6*k. Is k composite?
True
Let g(k) = 30*k**2 - 12*k + 81. Is g(5) composite?
True
Let d(y) = -5*y - 10. Let c be d(-3). Suppose -40 = -3*t - c*s + 97, 5*s - 215 = -5*t. Is t prime?
False
Let p(g) = 1330*g - 5. Let v be p(8). Suppose -1640 + v = 5*n. Is n a composite number?
True
Let v = -2 + 5. Suppose v*d - 15 = 8*d. Is -2*(d + 21/(-6)) prime?
True
Let k be (-29)/(-2)*(0 - 8). Let o = k - -911. Suppose 2*i - 600 = -3*u + i, 4*u + 3*i - o = 0. Is u a composite number?
True
Suppose -117*v + 108508 = -113*v. Is v a prime number?
True
Suppose -5*y + 2*y + 39384 = j, -j - 65632 = -5*y. Is y prime?
True
Let w be (-2)/(-11) + (-228546)/(-66). Let q = w + -1992. Is q prime?
True
Suppose 0 = -5*r + 6*w - w + 10, 0 = -r + 2*w + 2. Let y(s) be the second derivative of 31*s**4/4 + 2*s**3/3 - 7*s**2/2 - s. Is y(r) a prime number?
True
Let r(p) = -393*p**3 + 2*p**2 + 6*p. Let a be r(-2). Suppose 2*s - 3*v = a - 826, -2*s = v - 2298. Is s a composite number?
False
Suppose -21*n + 12364 = -33542. Is n prime?
False
Let k = 17 + -15. Suppose -o - 3*q + 2059 = 0, o - k*q = -o + 4118. Is o a prime number?
False
Suppose -10 = 4*d - 58. Let m be (-1 - (-4)/d)*3. Is (m/4)/(3/(-894)) composite?
False
Let w = 1791 - 550. Is w prime?
False
Let q = -317 + 821. Suppose -2*g - 7*c = -3*c - 494, 2*g - c = q. Is g composite?
False
Suppose -3*x = -6 + 15. Let f be (69*x)/((-2)/4). Let h = f + 539. Is h a prime number?
True
Suppose -z = -t - 87 - 175, -790 = -3*z + t. Let r = z + -134. Suppose r = -0*w + 2*w. Is w a prime number?
False
Let y be 6/8 + 1/4. Let h = y + -1. Suppose h = 2*i - 3*i + 26. Is i a composite number?
True
Let o = -10 - -3. Let z(p) = -6*p - 15. Let i be z(o). Let r = 16 + i. Is r prime?
True
Let v be (8/(-5) - 0)/(19/(-17385)). Let z = -985 + v. Is z prime?
True
Let j(f) = -127*f**3 + f**2 - 2*f**2 + 0 + 0*f**2 + 3*f + 5. Let y be j(-2). Suppose -4*h + 2575 = y. Is h composite?
True
Let h = 966 + -487. Is h composite?
False
Let v be 24128 - ((4 - 8) + 2). Suppose -v = -i - 9*i. Is i composite?
True
Let g(p) = 0*p - 24 + 17*p + 2*p - 11. Is g(18) prime?
True
Let h(v) = -45*v**3 + 7*v**2 + 3*v + 6. Let s be (-7 - -4 - -5)*-2. Let z be h(s). Suppose 5*y - z = -941. Is y a composite number?
False
Suppose 6*j + 3516 = 18*j. Is j a composite number?
False
Suppose 55 = -5*x + 3*w + 14, 4*w + 12 = 0. Let o be (-1646)/x + 22/55. Suppose 2*c + 5*f = 202 + 122, -4*f = c - o. Is c a composite number?
False
Let k be (2 - 1) + (-40)/(-20). Suppose 2*s = 5*z + 973 + 143, k*s = -4*z + 1697. Is s composite?
False
Let o(h) = -h**3 - 37*h**2 + h + 106. Is o(-43) composite?
True
Let c = 967 - -120. Is c composite?
False
Suppose 0 = -10*q + 471363 + 874447. Is q a prime number?
True
Let p = -446 + 645. Is p a prime number?
True
Suppose y + o - 493 = 0, 0*o + 5*o = -y + 501. Suppose 4*g = 16, -2*g = -b + g + y. Is b a composite number?
False
Suppose 1144*l = 1156*l - 344508. Is l a composite number?
True
Let g be (-2)/(-8) - (-30140)/16. Suppose h - g = -3*h. Suppose 3*l = 3*d + 963, 4*l - h = 2*d + 809. Is l composite?
True
Let i be 6/(-9) + (-28)/(-6). Suppose -i*o + 3*o = -3. Suppose 33 = u + 2*n, 5*u - u - 143 = o*n. Is u prime?
False
Let k(h) = -h**3 - h**2 + 3*h - 14. Let v be k(-6). Let t(z) = -z**2 - 5*z. Let y be t(-4). Suppose 0*q - y*q = -v. Is q a prime number?
True
Let s(x) = -35*x - 7. Let q = 30 + -29. Let h be 3/q*(4 - 6). Is s(h) a prime number?
False
Let d(a) = a**3 + 9*a**2 + 8*a - 11. Suppose -x + 29 = 3*b + 4*x, -41 = -5*b - x. Let k be d(b). Is 12/54 - k/(-9) a composite number?
False
Let k(l) = -1 - 3*l + 8 - 12. Suppose -2*i - i = 27. Is k(i) prime?
False
Suppose -843736 = -20*p + 306004. Is p a composite number?
False
Let i = 7411 - 4322. Is i prime?
True
Suppose 2*g + 2*g = 20. Let r(b) = -21 - 28 + 92 + 26*b - 34. Is r(g) a composite number?
False
Suppose -5*j + 18939 = q, 23*q - 3*j = 28*q - 94739. Is q a composite number?
True
Suppose j - 6*j - 3*f = -163, 3*j - f = 95. Suppose 2*t = 5*q - j, 3*t = 5*q - 0*t - 28. Suppose -q*n + 5*n + 489 = 0. Is n composite?
False
Suppose 2*r - 4 = 5*n, 4*r = -3*n - 2*n + 8. Suppose r*u + 0*v - 7270 = 3*v, 4*v = -2*u + 7298. Is u composite?
True
Let h(a) = 1770*a - 241. Is h(9) composite?
True
Suppose 0 = 5*j + 3*q - 6, -q + 24 = 4*j - 5*q. Is 1136/j - 16/(-48) composite?
False
Suppose -68 + 183 = 5*l. Suppose 0*v - 61 = -v. Let j = v - l. Is j a prime number?
False
Let h be 10/30 + (-2)/(-3). Let t be (-2*(-3)/2)/h. Suppose -t*a = -33 - 78. Is a a prime number?
True
Let v be 4/(2 - 12/9). Let p(f) = 114*f - 1. Is p(v) prime?
True
Suppose 4*o - 5*n + 1 - 4 = 0, o = 5*n + 12. Let b be 0 + (-4)/6*o. Suppose 3*i - 4*k = 971, 0 = b*i + 2*k - 432 - 234. Is i a prime number?
False
Suppos