k be (1/(-2))/(4/72). Let r be 722/k + 14/63. Let l = r + 127. Is l a prime number?
True
Suppose -426 = -3*c + 495. Is c a prime number?
True
Let r(z) = -607*z - 40. Is r(-11) a composite number?
False
Is 2586/8 - 4/16 composite?
True
Let t(x) = -10*x**2 - 4*x + 136. Let s(y) = -3*y**2 - y + 45. Let a(u) = 7*s(u) - 2*t(u). Is a(0) prime?
True
Suppose -f + 41 = 4*a, 3*f = -0*f - 5*a + 102. Let t = f - 21. Is ((-46)/t)/((-1)/4) a prime number?
True
Let i be (-1)/(27/(-24) - -1). Suppose -5*t = -4*f - i, 2*t + 2 = t - f. Suppose t = -4*n - 0*n + 296. Is n a composite number?
True
Suppose 0 = -5*g - 17*g + 23342. Is g composite?
False
Let y(r) = -162*r + 1. Is y(-3) prime?
True
Let m be (0 + -1)/(4/(-56)). Let j = 39 + m. Is j composite?
False
Let l be (-1)/3 - 868/(-12). Suppose -4*p + 4*g = -l, p - 3*g + 66 = 6*p. Is p prime?
False
Is (4 - 3) + (2 - 0) a prime number?
True
Suppose 2 = y - 0*y. Let o(z) = -z + y*z + 2 - 11 + z. Is o(6) composite?
False
Suppose -2 = -h - 3. Let m(b) = -b + 14. Let p be m(9). Is (-2)/(h + p/7) a composite number?
False
Let b = -6 - -4. Is (-108)/b - (-2 + 3) prime?
True
Is (-11*3)/((-51)/4267) prime?
False
Suppose -5*f + 182 = 5*i - f, 5*i + 5*f - 180 = 0. Suppose 3*h - i - 28 = 0. Suppose 0 = 3*v + 4*a - h, v - 2 = -2*a + 2. Is v a composite number?
True
Let f = 31 + 83. Let s(k) = -k + 7. Let x be s(5). Suppose -3*h + 173 = m, -x*h + m + f = 2*m. Is h prime?
True
Let n(u) = u**2 - u - 5. Let q be n(4). Let w be 0*(q/2 + -3). Is 4 + -4 + w + 59 composite?
False
Let v = -669 + 410. Let a = 594 + v. Is a composite?
True
Let u(a) = -a**3 + 7*a**2 - 2*a + 1. Suppose -2 = -2*n + 6. Suppose -n*t + 10 = 5*o - 12, 3*o = 3*t + 24. Is u(o) composite?
True
Suppose 0 = -3*w - 3*s + 2046, 4*w + 3*s + 1349 = 6*w. Is w a composite number?
True
Let k be (-28)/(-21) + 2/3. Suppose 6 = k*n - 16. Is n composite?
False
Let o(q) = -59*q - 3. Is o(-2) composite?
True
Suppose -4*m - 2190 = -270. Let i = -240 - m. Suppose 0 = 4*o + o + 5*v - i, 0 = -o - 3*v + 38. Is o prime?
True
Let z(c) = 52*c + 1. Let u(a) = -52*a - 2. Let w(p) = -2*u(p) - 3*z(p). Suppose -3*b + n - 6 = -0*n, -4*n = b - 11. Is w(b) composite?
False
Let h = 1736 - 585. Is h composite?
False
Let d = -148 + -150. Let k = -99 - d. Let p = k + 12. Is p composite?
False
Let z(f) = -f**2 + 2*f + 1. Let c(a) = -a**2 - a. Let m be ((-2)/(-5))/(1/(-10)). Let n(p) = m*c(p) - z(p). Is n(-2) a prime number?
False
Let u(v) be the first derivative of 7*v**3/3 - 7*v**2/2 + v + 5. Is u(-5) a prime number?
True
Let a(i) = i**2 + 5*i - 4. Let s be a(-6). Suppose 5*v - s*x = -0*x - 5, -4*v - 5*x + 29 = 0. Is (1 + -2)*-19*v a composite number?
False
Let v be 12/((-4)/10 + 0). Let p be ((-54)/15)/3*v. Is p + 0 + -3 + 0 a prime number?
False
Suppose 0 = 3*b - 5*f - 1979, -2316 = -5*b - 4*f + 933. Is b a composite number?
False
Let z(s) = 3*s**2 + 4*s - 1. Let h be (3 + -2)*(-1 + -2). Is z(h) a composite number?
True
Let j be 4/(-14) - (-69)/21. Suppose 0 = j*p - 142 - 203. Is p prime?
False
Let y be (-5)/2*(-40)/25. Suppose 0 = 2*m + 3*i + 68 - 4, 5*m + y*i = -167. Let w = m - -84. Is w composite?
True
Suppose 0 = 5*a - 7 - 3. Suppose a*j = -5*q + 203 + 66, 5*q = j - 97. Is j a prime number?
False
Suppose -2*o = -o - 2. Suppose o*j - 604 = -86. Is j a composite number?
True
Let s = 32 - -21. Let y = s + -18. Is y composite?
True
Suppose h - 6 = -2*h. Suppose 13 = 3*x - 83. Let q = x + h. Is q a composite number?
True
Is 4/(-16)*-3452 - 0 a composite number?
False
Let z(l) = 69*l**2 - 2*l - 4. Let i be z(-3). Let p = -432 + i. Is p a composite number?
False
Suppose 2*r = -3*r + 535. Let z = -20 + r. Is z a composite number?
True
Let c(a) = a**3 + 13*a**2 + a + 15. Let k be c(-13). Is (38 - 7)*1*k composite?
True
Let k = 0 - -3. Is 1/(k/1197*3) a composite number?
True
Let q(v) = 11*v - 9. Let o be q(6). Let x = o + -4. Is x prime?
True
Let h = -921 - -1390. Is h a prime number?
False
Suppose 14 - 385 = -n. Is n composite?
True
Let l = 1 + 8. Is (-6)/(-9) + 291/l a prime number?
False
Suppose 0 = -2*t - 3*x + 12, -3*t - 20 = -2*t - 5*x. Suppose t = -11*k + 15*k - 844. Is k a composite number?
False
Let s = 798 + 1384. Is s a prime number?
False
Is ((-2797)/(-2) - (-2)/(-4)) + -1 composite?
True
Let p(w) = w + 5. Let q be p(5). Is 154/4 + (-15)/q composite?
False
Let i(p) = p**3 + 9*p**2 - 9*p + 2. Is i(-7) a prime number?
True
Is (221 + -9)*(-23)/(-4) prime?
False
Suppose -4*k + 4*i + 1496 = 0, -3*k - 4*i + 177 = -980. Is k composite?
False
Let z(s) be the second derivative of s**5/20 - s**4/12 + s**3/3 - 3*s**2 - s. Let y be z(4). Is (y - -1) + (1 - 3) a composite number?
True
Let m be (-6 + 6)/(1 - -2). Suppose -5*k - q + 1181 = 2*q, 3*k + 3*q - 711 = m. Is k a composite number?
True
Let n(j) = j**2 + 4*j - 29. Is n(20) prime?
False
Suppose -1586 = -2*c - 4*m - 320, -4*c = 3*m - 2527. Is c prime?
True
Suppose -2*q - 2*q - 84 = 0. Is (q/(-9))/(3/45) prime?
False
Suppose -o - o - 8 = 0, 1 = 3*t + 2*o. Suppose -3*r + 750 = -3*b, -4*r = t*b - 2*b - 980. Suppose -5*l - 456 = -2*q - 2*q, -2*q = 2*l - r. Is q a prime number?
False
Suppose 32*d = 33*d - 2533. Is d a composite number?
True
Let r(y) = y**2 + 8*y - 9. Let a be r(-9). Suppose a = -t + 75 - 17. Is t composite?
True
Let k = 6 + -3. Suppose 0 = -3*n - 4*q + 387, q = -k*n - 2*q + 390. Is n composite?
True
Let s be 6/2 - (-2)/(-2). Suppose s*d = -x + 387, 776 = x + x + 2*d. Is x prime?
True
Let q(i) = -i**2 + 3*i + i**3 - 2 + 4*i**2 - 4*i**2 + 4. Let o be q(3). Let p = o + -8. Is p prime?
False
Suppose -r = -4*r - 9. Is r/1*406/(-6) a prime number?
False
Suppose -g + 3*u + 246 = 0, g - 2*u + 4*u = 231. Is g a composite number?
True
Let u be (-12)/6*(2 + -1). Is 286/((-2)/(-1)) - u prime?
False
Let h(x) = -8*x - 1. Let g be h(2). Let v = g - -52. Is v a composite number?
True
Suppose 3*r = 6*r + 6. Is (6/(-9))/(r/111) a composite number?
False
Suppose 2*j + 4*i + i = 29, -3 = -i. Suppose -j*a + 2*a = -750. Suppose -5*g + 359 = 4*o - 190, -3*g - a = -o. Is o a composite number?
True
Suppose -d = -2*c - 105 - 126, 4*c = -5*d + 1099. Is d prime?
True
Let f be (-57)/6*(-2 + -8). Let p = f - 60. Is p prime?
False
Let i(n) = n**2 + 3*n - 6. Let p be i(-5). Suppose 3*x = -0*c + c + 713, 0 = -p*x - 3*c + 968. Is x prime?
True
Let t(z) = 353*z**3 - z**2 + z. Let u be t(1). Suppose 0 = 4*j - a - 480, -3*j - 2*a = -a - u. Is j composite?
True
Let d(s) = 3*s**3 + 4*s**2 - 2*s - 1. Suppose -7 = -3*v + 11. Suppose -4*r = -r - v. Is d(r) a composite number?
True
Suppose 5*k - 5*u = 1255, -3*k - 2*u + u = -753. Is k a composite number?
False
Let r(m) = 44*m + 1. Let h be r(-6). Let z = -97 - h. Is z composite?
True
Let a(t) = -3*t**2 - 8 + 10*t + t**2 + 3*t**2. Is a(11) composite?
False
Is ((-1838)/4)/(13/(-26)) prime?
True
Let u be 1/(-2) - 5/(-2). Let j = u + -2. Suppose i - g - 12 = -j*g, -81 = -5*i - 2*g. Is i composite?
True
Let b(z) be the first derivative of -z**4/4 - z**3/3 + 5*z**2/2 + 4*z + 1. Let m(c) = -c**2 - 4*c - 3. Let t be m(-4). Is b(t) a prime number?
True
Let g be 5 - (-5)/10*-382. Let w = 492 - 827. Let n = g - w. Is n composite?
False
Let a = -1216 + 4003. Is a prime?
False
Suppose 2*d - 5*c = 1442, -d - 2*c = -5*d + 2884. Is d prime?
False
Let v = -109 - -166. Suppose 3*p - 34 - 17 = 0. Suppose -v + p = -4*l. Is l a prime number?
False
Let c = 10 - 7. Suppose c*b - 2*b = 132. Suppose -2*a + q + 68 = 0, -3*q = -4*a + q + b. Is a a composite number?
True
Suppose -2*u + 37 = 3. Suppose -m - u = -2. Is 5/m - (-200)/6 prime?
False
Let s(n) = n**3 - 7*n**2 - 12*n + 4. Let x(c) = -c**3 + 8*c**2 + 13*c - 3. Let k(t) = 3*s(t) + 2*x(t). Suppose 0 = -g + 8 - 1. Is k(g) prime?
False
Let w(f) = 2. Let a(c) = c - 11. Let x(j) = 2*a(j) + 11*w(j). Let q be x(6). Suppose -5*k - 2*b + q = 0, 0 = 4*k - b - 7 - 0. Is k prime?
True
Let s be (9 + -11)/(4/(-10)). Let c(i) = -3 + 7 - 3 + 22*i. Is c(s) a prime number?
False
Suppose 0 = -0*c - c + 2*w + 593, 5*w + 1189 = 2*c. Is c a composite number?
False
Suppose -3*c + 3*p = -139 - 62, -144 = -2*c - 3*p. Is c prime?
False
Let x(q) be the third derivative of q**4/12 + 7*q**3/3 + 10*q**2. Is x(10) a composite number?
True
Suppose -3*q - 536 = -7*q. Is q composite?
True
Let o be ((-240)/(-9))/((-6)/(-45)).