. Is m a composite number?
True
Suppose -5*s + s = -2684. Suppose i - s + 147 = -5*d, -3*d = -5*i - 320. Suppose 0 = y - d - 40. Is y a prime number?
False
Let w(q) = q - 1. Let l be w(0). Let k = 328 + -143. Is 0/((-1)/l) + k prime?
False
Let d(j) be the second derivative of 8*j**5/5 - j**3/2 + j**2/2 - 83*j - 2. Suppose -x + 2 = 3*k, 2*x - 4*k + 9*k = 4. Is d(x) composite?
False
Let q be 1/5 + 77924/55. Suppose -q = -3*p - 151. Suppose 0 = -5*x + 7*x - p. Is x prime?
True
Let s(u) = -u**3 + 3*u**2 + 6*u - 7. Let m be s(4). Let d(j) = 10589*j**3 + 4*j**2 - 5*j + 1. Is d(m) a prime number?
True
Suppose -229 - 347 = -4*u. Let z be (-4)/(-6)*-2*6645/(-20). Suppose -w + u = -z. Is w composite?
False
Suppose -67*b + 81*b = 595910. Is b prime?
False
Let z(t) = -t**2 + 12*t - 15. Let p be z(10). Is p/(2 + 26/(-14)) a composite number?
True
Suppose -3*i = 5*h - 2164, -2*i + 486 + 957 = 3*h. Suppose -2*t = -185 + 1209. Let b = i + t. Is b prime?
True
Suppose -w = 3*l - 19, 5*w - 8 - 12 = 0. Suppose -3*g - 4*i + 3171 = 0, -l*g + 2*i = 6*i - 5293. Is g composite?
False
Suppose 3*w + o - 26 = -1299, 0 = -5*o - 5. Let g(r) = -717*r**3 - r**2 + r + 2. Let a be g(-1). Let y = a + w. Is y a prime number?
True
Let k(f) = -177*f - 88. Is k(-17) prime?
False
Let i(q) = -13*q + 14. Let u(l) = 6*l - 7. Let j(m) = -3*i(m) - 7*u(m). Let c be j(-7). Suppose -2*z - c = -138. Is z prime?
False
Suppose 32*n - 435054 = -30*n. Is n composite?
True
Suppose 60781 = 17*b - 84025. Is b a prime number?
False
Suppose -11*m = -10*m - 3*r - 38510, -2*r + 154082 = 4*m. Is m prime?
False
Suppose -2*i + i - k + 37 = 0, 0 = 5*k - 15. Suppose -2*u = -2*n - 6*u - 8, 4*n + 2*u = -i. Let s(a) = 3*a**2 + 5*a + 7. Is s(n) composite?
False
Let h = -71 + 74. Suppose 0 = -h*n - 4*b + 185, 3*b = -2*n + 116 + 9. Is n a prime number?
False
Suppose 4*s - 3*s - g = 12975, 3*g = 2*s - 25946. Is s a composite number?
False
Suppose 5*b + 1266 = 2*s, 0 = -4*s + 9*s - 3*b - 3127. Is s composite?
True
Let l(o) = o**2 - 7. Let s be l(-3). Is (2 - (-1820)/(-3))/(s/(-3)) composite?
False
Let b(w) = -w**3 - 7*w**2 - 6*w - 1. Let i be b(-6). Suppose -4*k = 2*j - 8, -6*k - 8 = -5*j - 10*k. Is (-1 + -586)/i - j a composite number?
False
Let c = -15465 + 21886. Is c a composite number?
False
Suppose 9684 = y - 3*y. Is (-5)/(60/(-8))*y/(-4) a prime number?
False
Suppose w = -3*r + 9 + 3, 2*r + 2*w - 8 = 0. Suppose 0 = 2*v + n - 318, r*n - n - 795 = -5*v. Is v a composite number?
True
Let d(b) = -10*b**3 - 10*b**2 + b + 13. Let u(c) = c**3 - c. Let n(p) = -d(p) + u(p). Is n(4) a prime number?
False
Suppose -17 = 3*d - 101. Let j = d - 26. Is 1*-4 + 12/j a composite number?
False
Let i(v) = 67*v**3 - 2*v**2 - v - 1. Let y(g) = -4*g**2 - g + 201*g**3 - 2*g - 7 - 3*g**2 + 4. Let l(z) = -7*i(z) + 2*y(z). Is l(-2) composite?
True
Let t(i) = 18*i - 1. Let d be t(3). Let b = -30 + d. Suppose 0 = 2*o - m + 2*m - b, 5*o - m - 68 = 0. Is o a composite number?
False
Let n = -3728 - -8347. Is n prime?
False
Let y(n) = n + 20. Let g be y(-12). Let s be 0 + g/4 + -115. Is 8/(-4)*s/2 a prime number?
True
Suppose 1 = 3*r - 5. Suppose r*n = 5*n - 1035. Suppose 0 = 2*j - n - 169. Is j prime?
True
Let j(h) be the second derivative of 3/2*h**2 + 0 + 1/20*h**5 - 1/3*h**4 + 5*h - 5/6*h**3. Is j(7) composite?
True
Is 8*((-134739)/72)/(-11) a prime number?
True
Suppose -2*m - 16*m + 28746 = 0. Is m composite?
False
Suppose 1334 = j + 185. Is j prime?
False
Let c(a) = 8*a + 4*a - 11*a + 365 - 2*a**2. Is c(0) prime?
False
Suppose -4*f = -9*f + 50. Suppose -f*m + 11*m - 817 = 0. Is m a prime number?
False
Let g = 3100 - 2091. Is g a prime number?
True
Let f be (6/(-2))/(15/(-10)). Suppose 8*x - 4*x = -2*z + 1258, -641 = -z + f*x. Is z a composite number?
True
Suppose -1688 = 56*f - 64*f. Is f a composite number?
False
Suppose -4*y = 20 + 4. Suppose -6 = 5*w + 4. Is -141*-1*w/y a composite number?
False
Let x(s) be the second derivative of -s**5/20 - s**4/4 + s**3/6 - 3*s**2 + 4*s. Is x(-5) prime?
False
Suppose -d = -4*d + 357. Suppose 3*a + 4*j = d, 0 = -3*a - a - 2*j + 162. Suppose -3*b + a = -916. Is b a prime number?
False
Suppose 25*y - 202666 - 403759 = 0. Is y a prime number?
False
Suppose 0 = 2*t + 2*o - 2, -3*o = 2*t + 2*o + 1. Suppose -m - t*m = -1503. Let b = 760 - m. Is b prime?
False
Is (5 - 96/18)/(13/(-303771)) a composite number?
False
Let k be (-3 - 8/(-3))/((-1)/27). Let q(h) = 13*h**2 - 7*h + 3. Is q(k) prime?
False
Let u be (-932)/8*(-1 + -1). Suppose -189 = -2*g + u. Is g composite?
False
Suppose -5*j = -3*j + 3*u + 2, 2*j - u = -10. Is 13*(-4)/j*7 a composite number?
True
Let z(h) = 0 + 5*h - 3*h**3 + 6*h**3 + 1 - h**2 + 5*h**3. Is z(3) a prime number?
True
Let j(u) = 3717*u**2 - 6*u + 26. Is j(5) a prime number?
True
Suppose -6*c + 138 = 120. Suppose -2*d = 3*t - 2354, d = c*d + 4*t - 2356. Is d a composite number?
True
Suppose 0 = -2*o - 2 - 8, 2*w + 4*o = 26714. Is w a composite number?
False
Suppose 0 = 9*f - 885 - 6891. Suppose 5*o + 3*w = o + 3421, -w - f = -o. Is o composite?
False
Suppose 13 = 2*b - 3. Suppose 0*o + b = -5*h + o, h + 2*o = -6. Is (-385 + 3)*1/h a prime number?
True
Let x(k) = 5*k + 15. Let d be x(-2). Suppose -4*b + 2186 = -1054. Suppose -a - b = -d*f, a = -5*f - 0*f + 820. Is f composite?
False
Let d(h) = -12*h - 32. Let p be d(-6). Suppose p*j - 43*j = -7887. Is j a prime number?
False
Let w(o) = 483*o + 1706*o - 9 - 333*o. Is w(1) a prime number?
True
Let j(z) = 142*z**2 - 3*z - 2. Let s be j(-1). Let t = s - -354. Is t a prime number?
False
Let u = 56 + -10. Suppose 2*f = 16 + u. Is f prime?
True
Let t(f) = 43*f**3 - 4*f**2 + 3*f - 2. Let m be t(2). Suppose -7*h = -3*h - m. Suppose h = 2*g - 23. Is g prime?
True
Suppose -c - 6 = -4*c. Suppose 0 = -2*b, -z + c*b - 6*b = 0. Suppose s = 3*m - 380 - 251, z = 4*m + 2*s - 848. Is m prime?
True
Suppose -2*y + 74780 = 3*y + a, -4*y + 59853 = -5*a. Is y a composite number?
False
Let w(c) = -c**3 + 8*c**2 - 5*c - 10. Let x be w(7). Suppose x*b + 178 = -n, 5*b - 2*b + 331 = -2*n. Let t = n - -451. Is t a prime number?
True
Let c be (-2)/(-1) - 3*(-2)/3. Suppose f - 5448 = -c*m, 3*f = 9*m - 10*m + 1351. Is m composite?
True
Let s be (-3103)/(-3) + 0 + 8/12. Suppose -2*x = -3*d - 1396 - s, -x + 1216 = -d. Is x composite?
False
Let s = -2497 + 7574. Is s a composite number?
False
Suppose -9*s = 4841 - 12230. Suppose i + 2*i - 2463 = -4*c, i - 2*c = s. Is i a prime number?
True
Let h(r) = -r**3 - 4*r**2 - 6*r - 7. Let a be h(-3). Suppose 6*i - 20 = a*i. Suppose -211 = -w + i*f, 2*w + 0*w - 4*f = 422. Is w prime?
True
Suppose -3*j = -4*m - 235, 3*m + 4*j + j = -169. Let k be (1 - 2) + (319 - 1). Let c = m + k. Is c a prime number?
False
Suppose 5*c + 2*s = 4305, -4*c + 23*s + 3462 = 21*s. Is c composite?
False
Let v(z) = 220*z + 1003. Is v(42) composite?
False
Let l be -2 + (-5)/(10/(-816)). Suppose 4*x = -5*i - 0*i + 50, -x - 3*i + 9 = 0. Suppose 5*r = x, -5*w + 2*r + l = -2053. Is w composite?
True
Let m(a) = 362*a - 10. Let h be m(4). Is (1 - -2)*h/6 a prime number?
True
Is (-5778)/(3/(21/(-2))) - -4 a prime number?
False
Is (-3 + 49/21)*(-340221)/14 prime?
False
Let b(p) = -49*p**2 - 3*p + 6. Suppose 0 = -2*w + 4 + 4. Let y be b(w). Is y/(-5) + (0 - -1) a composite number?
True
Suppose 6*q = 2*q - 4*n, 6 = q - n. Let h = 168 + -142. Suppose h = -q*f + 263. Is f prime?
True
Suppose 0*a - a = 7. Let b = a + 20. Is b + 0 - (-13 - -11) composite?
True
Let l(m) = 25*m**2 - 46*m - 32. Is l(-21) prime?
True
Suppose -4*p + 574 + 730 = 0. Is p a prime number?
False
Let s = -3 + -1. Suppose 45*i - 49*i = -8. Is i + (-147)/(s/4) a composite number?
False
Let m = -343 + 942. Is m prime?
True
Suppose 0 = 59*v - 39492 - 4109. Is v composite?
False
Let i = 169 - -237. Suppose c = 3*x - 88, 5*c + i = x - 20. Let s = c - -162. Is s a composite number?
True
Suppose 1727 = i - 3*v - 1374, 5*i = v + 15449. Is i a composite number?
False
Let w be 8 + (-8)/3*3/2. Suppose 5*a = -w*d + 4581, 0 = 4*d + a - 3*a - 4546. Is d a prime number?
False
Let o(u) = -u**3 + 6*u**2 - 5*u + 7. Let l be o(5). Let s = 7 - l. Is (s - (-67 - 0)) + -2 composite?
True
Suppose 605073 = -40*x + 2786953. Is x composite?
False
Let b(j) = -j**3 + 8*j**2 - j + 8. Let q be b(8). Suppose q*x - 5 =