 0 = -s - 3, -13*s = -5*m - 16*s + 186896. Is m composite?
True
Suppose 4*z - 6 = -2*b, 2*b - 2*z + 0*z - 30 = 0. Let m = b + 242. Is m prime?
False
Suppose i + 104 = 3*j, 61 + 39 = 3*j - 2*i. Let m be (-6)/1*(-30)/j. Suppose 0 = m*c - c - 332. Is c prime?
True
Let w be 5/(-2)*(-4)/5. Let k be 477/(0 - w - -3). Suppose h - k = -4*y, -y - 37 = 3*h - 159. Is y a prime number?
False
Suppose -4*k = -0*k - 5*s - 12211, 3*s = -k + 3040. Is k composite?
False
Let b = 5 + 5. Let q(a) = 15 - b - 2*a - a. Is q(-6) prime?
True
Let b(d) = 450*d - 20. Let n be b(-7). Let y = -1533 - n. Is y prime?
True
Suppose 10*w + 5*q - 17170 = 5*w, -5*q = w - 3438. Is w composite?
False
Let r = 809 + -157. Let c = r - -27. Is c prime?
False
Suppose 22*m - 32*m = -394990. Is m composite?
False
Let c(x) = x**2 + 12*x + 14. Let m be c(-10). Let d be (-4)/m - 2/3. Suppose -5*w - 19 = -z - 137, d = -w - 4*z + 11. Is w a prime number?
True
Let h = -25 - -432. Is h prime?
False
Suppose i - 4557 = -2*i. Suppose 4*u = -d + i, -4040 - 577 = -3*d + 3*u. Is d composite?
True
Let x(u) = 22*u**2 + 3*u - 7. Let r be x(-6). Suppose 0*s - 2*s + r = j, -1499 = -2*j + 3*s. Is j a composite number?
False
Suppose 2*v = 3*k - 11, -v + 3 + 19 = 4*k. Suppose 0 = -v*m - 5*d + 564, 725 = 2*m - 3*d + 145. Is m composite?
True
Let l be (0 + 30/4*1)*2. Suppose l*s - 709 = 14*s. Is s a composite number?
False
Let i(d) = d**3 - 9*d**2 - 11*d + 1. Let n(u) = -u**3 + 10*u**2 + 12*u - 1. Let z(s) = 6*i(s) + 5*n(s). Let r be 9 + (-1 - 1) - 0. Is z(r) a composite number?
True
Suppose -1104 = -4*p + 4*k + 2092, 3*p - 2385 = -3*k. Is p a prime number?
True
Let j(r) be the first derivative of r**4/4 - 7*r**3 + 19*r**2/2 - 2*r - 8. Is j(21) composite?
False
Let p be (-6)/(-15) - (-66)/(-15). Is (-242)/(-8) - 3/p prime?
True
Let l be (5/(-20))/((-2)/24). Suppose -l*r - 8 = -7*r. Suppose -7*f = -r*f - 95. Is f prime?
True
Suppose -2*x - 4*u - 2 = -0, -3*x + 19 = -5*u. Suppose -5*o = -5*y - 1495, -x*o + 3*y = 2*o - 1493. Is o a prime number?
False
Let u be 1/(-2)*(1 - 11). Suppose 3912 = 4*v + u*b, -4*b - 1942 = -2*v - 3*b. Is v a composite number?
True
Suppose 21*c = 39*c - 100494. Is c a composite number?
True
Suppose 4*u + 3*n - 21 = 0, 10 = 2*u + 3*n - 5. Suppose -4*p - p = -30. Is 2 + u/(p/530) composite?
True
Let p(q) = 2*q + 52. Let m be p(-26). Let g(x) = 362 + 337 - x**3 - 256. Is g(m) prime?
True
Let b(p) = p**3 + 5*p**2 + 5. Let r be b(-6). Let k = 139 - 85. Let j = k + r. Is j prime?
True
Let l be (-312)/(-84) - 4/(-14). Let h = -2 + l. Let n(q) = 26*q**3 + 2*q - 1. Is n(h) prime?
True
Let z be 8*(-6 + 3 - 555/(-6)). Suppose 0 = -3*o + z + 550. Is o a prime number?
False
Let h(c) = 55*c**2 + 2*c + 1. Let s be h(-2). Suppose 5*u - s - 228 = 0. Is u composite?
False
Let u be (70/15)/((-2)/3). Let h(p) = p**3 + 7*p**2 - 4*p + 7. Let q be h(u). Is (-6)/21 - (-14675)/q composite?
False
Suppose 4*o - 36 = -2*s, 2*o = -4*s + 5 + 7. Let m = o + -16. Let v(a) = -19*a - 3. Is v(m) a composite number?
True
Suppose -3*b = -2*b - 5. Is (-15)/6*(-1 - b) prime?
False
Suppose -100225 - 26191 = -16*r. Is r prime?
True
Let d = 61 - 61. Is 1478/(2 + d) + 4 prime?
True
Suppose -4*q = 3*i + 736, 2*i = 2*q + q - 485. Let g = -101 - 16. Let z = g - i. Is z prime?
True
Suppose -10*a = -7*a - 18. Let i(t) = 21*t + 7. Is i(a) prime?
False
Let n = -726 - 18. Suppose 5*c = 10, 1619 = k - 6*k - 3*c. Let r = k - n. Is r composite?
False
Let w(a) = a**3 - 12*a**2 - 12*a. Let q be w(12). Let u = q - -271. Is u prime?
True
Let j = -42355 - -155576. Is 4/6 + j/57 composite?
False
Let u(l) = l**3 + 54*l**2 + 115*l - 83. Is u(-43) composite?
True
Is (-3 + -13607)/(8/(-2) + 2) composite?
True
Suppose 0 = 8*d - 172 + 36. Suppose 238 = 5*c - d. Is c a prime number?
False
Let i = 10235 + 18846. Is i a composite number?
True
Let n be ((-1036)/6 - 1) + 2/(-6). Let s = n + 383. Is s prime?
False
Is (-2)/((2/8)/((-745230)/240)) prime?
True
Let k = -25 - -27. Suppose 5*i - 2230 = -5*g, 4*i - 10 = k. Is g composite?
False
Let g(u) = 5*u**3 - 12*u**2 + 19*u + 5. Is g(8) composite?
False
Suppose 4*q = -8 + 2404. Suppose -5*k + 2464 = -3*w + q, 5*k = -w + 1865. Is k composite?
False
Let i = 129 + -127. Suppose 2*c = -4*g + 4894, c + 3*g - i*g - 2447 = 0. Is c a prime number?
True
Is (-4584)/(-6)*(-3)/(-12) a composite number?
False
Let d = 1 - 248. Let k = d + 369. Is k a composite number?
True
Suppose -6*n = -n. Suppose n = u - 5*k - 702, -2*u + k + 1449 = 6*k. Is u a composite number?
True
Let d(m) be the third derivative of 0*m + 0 - 13/24*m**4 + 2*m**2 - 2*m**3. Is d(-5) composite?
False
Suppose 5*t = t + 20, -6133 = -3*i + 4*t. Suppose -6*l = l - i. Is l prime?
True
Let f(q) = 216*q**2 - 20*q + 151. Is f(6) composite?
True
Let a = 18 + -17. Let c(q) = 3*q**3 + 8*q**2 - 4. Let k(x) = x**3 + x**2 + x - 1. Let o(b) = a*c(b) - 2*k(b). Is o(-3) prime?
True
Suppose 3*g + 9 = 0, -s = -g - 3*g - 18. Is ((-2)/s)/((-17)/561) a composite number?
False
Let w be 15/((-2 - -14)/4). Suppose -214 - 460 = -w*y - 2*f, -y = 4*f - 142. Is y prime?
False
Let q(w) = 9*w**2 + 56*w - 9. Is q(14) prime?
True
Let y = -2 - 4. Let b be 28*(-3 - 21/y). Let u = 65 + b. Is u a prime number?
True
Suppose 0 = 5*x - 8362 - 698. Is x/52 + -1 + (-30)/(-26) composite?
True
Suppose 0 = 5*x + 4*i - 8, 0*i + 4*i = 8. Suppose d + 2*d - 3015 = x. Suppose 7*b - 2*b = d. Is b prime?
False
Suppose -2*c = -6*c - 36. Let k(v) = 4*v**2 - 8*v + 1. Is k(c) composite?
False
Let c = 16 + -14. Suppose -2*z + 1578 = p, -c*z = -7*z - 3*p + 3946. Suppose 2*j = -4*o + z, -2*o - j = o - 593. Is o a prime number?
True
Let u be -4 - -6 - -1*37. Let s = 66 - u. Let y = 112 - s. Is y a prime number?
False
Suppose 21 = -2*s + 5*s. Suppose s*v = 3*v. Suppose v = -3*w + 3*y + 249, 332 = 7*w - 3*w + 4*y. Is w a composite number?
False
Let a(j) = -j**2 - 10*j + 2. Let o be a(-9). Is (-14106)/(-22) - 2/o prime?
True
Suppose 7*a = -4*a + 55. Let m(y) = 232*y - 11. Is m(a) prime?
False
Let j(m) = m + 12. Let c be j(-9). Let a be -17*(1 + c + 5). Is (-5)/((-25)/20) - a prime?
True
Let w be (-60)/(-14) - 46/161. Let j(c) = 2*c**3 - c**2 + c - 3. Is j(w) prime?
True
Suppose -5*p + 7*p - 5*i = -19, -3*p + 4*i = 11. Suppose -3*u + 5856 = -3*q, -2*q + p*q - 7793 = -4*u. Is u a prime number?
True
Let r = -33 - -33. Suppose -4*m + d + 12723 = r, 3*m - 2*d = 7*m - 12726. Is m a composite number?
False
Is 172697/21*6*(-1)/(-2) a prime number?
True
Let z(d) = 128 - 137 - 338 - 104 - 13448*d. Let h(u) = -119*u - 4. Let l(p) = 451*h(p) - 4*z(p). Is l(1) a prime number?
False
Let d be 22 + 0*(-2 + 3). Suppose 33*c - d = 31*c. Is c prime?
True
Suppose -w = -2*n + 84, 0*w + w - 196 = -5*n. Is ((n/6)/10)/(2/807) composite?
False
Let q(p) = 2690*p + 181. Is q(14) a prime number?
False
Let u be 99/27 - (-1)/3. Let b(z) = -7*z**2 - 2*z + 1. Let t be b(u). Let n = 44 - t. Is n composite?
False
Let a(v) = -36*v - 19. Suppose -12 = -11*y + 8*y. Let q(u) = -108*u - 58. Let d(s) = y*q(s) - 11*a(s). Is d(-10) a composite number?
False
Let i be (-48)/(-10)*((-184)/24 - -11). Let q = 0 + -1. Is 3/q - (-1616 + i) a composite number?
False
Suppose 5*r = 2 - 7. Let g be 28/(-7)*r/1. Let p = 6 + g. Is p a prime number?
False
Suppose 3*l - 4020 = 3*y, -l + 2*y + 1340 = -y. Suppose -20*m + l = -19*m. Is 7/(-21) - m/(-6) composite?
False
Let b(a) = a**2 - 6*a - 82. Is b(27) a composite number?
True
Let a = 76585 + -26366. Is a a composite number?
True
Let q = 20 + -27. Let s = q + 9. Is s composite?
False
Suppose -15 = 5*k - 2*k. Is -46*k/(-30)*-6 composite?
True
Suppose -6*f + 10 = -4*f. Suppose 6*h + 10 = 5*h. Is (-1989 + -1)*f/h a prime number?
False
Suppose -69*g + 59*g = -89810. Is g a composite number?
True
Let j(q) = q**2 - 17*q - 8. Let k be j(17). Let w be (189/(-36))/(3/k). Is 1028/w + (-8)/(-14) composite?
True
Suppose -3*y - 2939 = -i, 4*i + 2*y - 11756 = 4*y. Is i a prime number?
True
Suppose -35 = 2*m + 3*m. Let t = 10 + m. Suppose -t*d - 3*y = -1461, 4*d = d - 5*y + 1461. Is d prime?
True
Let n be (12/(-8))/(5/10). Let w(g) be the third derivative of 41*g**5/30 - 5*g**4/24 - 2*g**3/3 + 3*g**2. Is w(n) composite?
True
Suppose 0 = -2*r - 1 + 7. Let l be 2*(r/2 + 0). Suppose -1348 = -7*m + l*m. Is m a prime number?
True
Let x = 