 + y. Is l a prime number?
False
Let c = 167 + -9. Suppose -3*d - c + 629 = 0. Is d prime?
True
Let r(j) = j**3 + 9*j**2 + 8*j - 7. Let d be r(-8). Let y(u) = -10 - 3*u + u + 12*u**2 + 5*u. Is y(d) a prime number?
True
Let a = -52 + 101. Let h = a + 28. Is h a composite number?
True
Let o(q) = -3342*q + 5. Is o(-1) composite?
False
Suppose 10*c - 15 = 5*c. Let k(i) = 12*i**3 - 3*i**2 + 4*i - 2. Is k(c) a composite number?
False
Let s = 49 - 47. Let w(t) = 147*t**3 - t**2 - 2*t + 3. Is w(s) prime?
True
Let t(f) = 16*f**2 - 26*f + 20. Let b(z) = 3*z**2 - 5*z + 4. Let d(a) = 11*b(a) - 2*t(a). Let j be d(3). Is 27 - (4/j + 0) prime?
False
Suppose -3*s + 5*g + 644 = 0, -2*s + 5*g + 431 = -0*s. Suppose -119 = -4*w + s. Is w a prime number?
True
Let c(b) = b**2 - 6*b - 343. Is c(-46) a prime number?
False
Is 21/(-21) + (-51 - -3)*-532 prime?
False
Let d = 95 - 23. Let u = d - -1. Let r = u - -54. Is r a prime number?
True
Let b be (-2 - (-1 - -3)) + 7. Is 1978 + b + -4 + -4 a prime number?
True
Suppose -3*w - 3*q + 8*q = -13631, 0 = 4*w + 3*q - 18194. Is w a prime number?
True
Let x(v) be the second derivative of v**5/20 - v**4/12 - v**3/6 + 2*v**2 + v. Let a be x(0). Is (-54)/(-1) + (a - 5) a composite number?
False
Suppose -2*w - 2*w + 2*r + 10946 = 0, 5488 = 2*w + 2*r. Is (-6)/9*w/(-2) composite?
True
Let a(f) = 10*f**3 + 2*f - 1. Let t be a(1). Suppose -690 = -t*h + h. Is h a composite number?
True
Suppose 84*g + 20108 = 88*g. Is g a composite number?
True
Let n = 14 - 23. Let w = 13 + n. Suppose -w*g = 4*j - 44, 0 = 3*j - g - 8 - 5. Is j composite?
True
Let n = -12 - 55. Let t = 16 + n. Let j = t + 90. Is j prime?
False
Let o(a) be the first derivative of -a**2/2 + 2*a + 3. Let x be o(0). Suppose -3*i = -x*h - 82 - 3, -4 = -h. Is i prime?
True
Let g(w) = 1 + 2 + 0 + 10*w**2 - 4. Is g(-3) a composite number?
False
Let f(h) = -13*h + 13*h + h**2 + 3. Let m be f(0). Is 1/m - (-532)/6 composite?
False
Let d(g) = 1040*g + 1251. Is d(22) prime?
False
Let p = -16229 + 45730. Is p prime?
True
Suppose 3*z + 5 = 8*z. Suppose -4*k + 3 = -z. Suppose -o + k = -21. Is o a prime number?
False
Let f(t) = 62*t + 8. Let r be f(3). Let a = 1851 - r. Is a prime?
True
Let k(i) = i**3 - 2*i**2 + 6*i + 8. Let j be k(14). Suppose -2*q - 3*z = -4849, 0 = -2*q + q + 5*z + j. Is q prime?
False
Let h = -13975 - -31613. Is h composite?
True
Suppose 11*v - 7*v + 28188 = 0. Let u = -3710 - v. Is u a composite number?
True
Let h be 9 + 21/(-3) + 3. Suppose -h*z + 241 = -114. Is z composite?
False
Let y = -57671 + 84010. Is y a composite number?
False
Is (10/(40/(-2148)))/(-1) composite?
True
Suppose 0 = -39*d + 20*d + 578417. Is d prime?
False
Let c(l) = 41*l**2 + 6 + 12 - 22 - 8*l + 5. Is c(-4) prime?
False
Suppose 3*f - 3*s = -2*s - 26, -2*f + s - 18 = 0. Let o be 4/(f/(-218)) - -3. Suppose -2*k = -d + 53, 2*k - o - 93 = -5*d. Is d a composite number?
False
Suppose 2*d + 1261 + 1134 = 5*j, -10 = -2*d. Is j a prime number?
False
Let n = 24772 - 16625. Is n composite?
False
Suppose -5*m + 12 = m. Is 12712/(-12)*(-3)/m prime?
False
Let o be 4/((-8)/(-6)) + 0. Suppose 7 = o*n - 8. Is n*4/(-20)*-53 a composite number?
False
Suppose 0 = u + 4*u - 20. Suppose 3*c + d = 3*d + 3439, u*c - 4593 = -5*d. Is c a prime number?
False
Let i(v) = v**3 - 9*v**2 - 10*v + 3. Let m be i(10). Suppose 5*l - 1226 = p + 1241, 5*p - 1469 = -m*l. Is l prime?
False
Suppose 0 = -8*m + 45722 + 524702. Is m prime?
False
Let r(k) = k**2 - 3*k + 8. Let z be r(4). Let f be (-7989)/(-6) + (-6)/z. Let s = f + -934. Is s prime?
True
Let w(a) = 3*a - 1. Let x be w(21). Suppose -10*g = -12*g + x. Is g prime?
True
Let l(q) = 0 + 1 - q**3 - 5*q**2 - 6*q - 4. Let g be l(-4). Suppose -g*k + 2*u = -147, k - u - 3*u = 15. Is k prime?
True
Let f(q) = -2700*q**2 - 52*q + 84. Let a(u) = -675*u**2 - 13*u + 21. Let w(l) = -9*a(l) + 2*f(l). Is w(2) composite?
True
Let s(r) = r**2 - 4*r - 5. Let c be s(5). Is 63/(-21) - (c + -340) composite?
False
Let k be (-10 - (2 + 0))*1. Is (412/k - -2)/((-2)/6) composite?
False
Suppose -4*l + 4*r + 3 + 1 = 0, 4*l - 2*r - 6 = 0. Let s be ((-272)/(-10))/(l/20). Let h = s + -133. Is h a composite number?
False
Let h = -546 - -2357. Is h prime?
True
Let b = 133 + 157. Let m = b + 251. Is m prime?
True
Let i(a) = 35*a + 19. Let l be i(9). Suppose -1761 = -j - 2*j. Let s = j - l. Is s a composite number?
True
Let u(g) = 0*g - 5 - 5*g - 2 + 71*g. Is u(9) prime?
True
Let o(l) be the first derivative of -l**4/4 + 7*l**2/2 + l - 1. Let r = 149 - 156. Is o(r) composite?
True
Let t(i) = i - 1. Let g(l) = 46*l + 1. Suppose 0 = -0*a + 3*a + 12. Let k(b) = a*t(b) - g(b). Is k(-6) a prime number?
False
Let x(q) be the second derivative of 11*q + 0*q**2 - 1/6*q**3 + 101/4*q**4 + 0. Is x(1) composite?
True
Let x(y) = -2*y**2 - 6*y - 3. Let d be x(-3). Is 7*(163 - (d + 3)) composite?
True
Let v = -2109 + 4204. Is v composite?
True
Let m(d) be the first derivative of 16*d**3/3 - d**2/2 + 2*d + 6. Let x be ((-5)/(-2))/((-4)/(-8)). Is m(x) prime?
True
Let f(v) = -2*v**2 - 6*v - 6. Suppose -6*k = -k + 20. Let l be f(k). Is l/8*2*-10 a prime number?
False
Suppose -5*i = 4*x + 17, 3*x - i - 21 = 2*i. Let l = x - 0. Is 69*(l - 1/3) prime?
False
Let y be 5*((-44)/10 + 4). Let o be 2*y/18*-9. Suppose o*k = 4*t - 138, -t - 2*k - 64 = -3*t. Is t prime?
True
Let j(g) = 11*g + 86. Let z be j(-9). Let p(v) = 29*v**2 + 14*v - 8. Is p(z) a prime number?
False
Suppose 4*x - 875 = -19*o + 22*o, -5*x + 5*o = -1100. Is x a composite number?
True
Let g(z) = -6396*z**3 + 10*z**2 + 5*z - 5. Is g(-2) a prime number?
True
Suppose 0 = -9*p + 2*p + 273. Is (p - 17) + (0 - 3) prime?
True
Let g = 16 + -10. Suppose -g*v = -v - 6145. Is v prime?
True
Suppose 0*y = 2*y + 318. Is -5 + 1 - 7*y a composite number?
False
Let o(d) = 124*d + 169. Is o(9) a prime number?
False
Let a(k) = -k**3 + 6*k**2 - 2*k - 15. Let f be a(5). Suppose -5*m + 2722 + 1948 = f. Is m a composite number?
True
Suppose 0 = 3*y + 6 - 21. Suppose 4*m - m = -5*j + 1853, -y*j = 4*m - 1849. Is j a composite number?
False
Let x(v) = -485*v + 94. Is x(-7) prime?
False
Is (-58)/(-87)*(-4521)/(-2) a composite number?
True
Suppose 3*d - 4 = 2. Let l be (32/(-40))/(d/(-5)). Suppose -3*h + 110 = -r, l*r = -3*h - 0*h + 113. Is h composite?
False
Let z = 2 - 2. Suppose 1167 = 38*b - 18479. Suppose 0 = -2*n + 4*k + b + 989, 4*k + 16 = z. Is n a prime number?
False
Let y = 20 - 16. Suppose 0 = -g - y*g. Suppose -r - 2*r + 795 = g. Is r a prime number?
False
Suppose -40*j + 2 = -42*j. Is ((1 - 13) + j)*-29 a composite number?
True
Suppose 2*q + 10*a = 5*a + 9547, 0 = 2*q - 5*a - 9517. Is q a prime number?
False
Let a(z) = 106*z**2 + 3*z - 4. Let q be a(-6). Let r = q - 2098. Suppose -r = -4*w - 132. Is w a composite number?
True
Let d(r) = -3 + 332*r**2 + 3 - 1. Let v(f) = -2*f - 1. Let n be v(-1). Is d(n) prime?
True
Let h(c) = 3*c**2 - 29*c + 107. Is h(22) a composite number?
True
Suppose 5*h = -3*g + 13657, -4*g - 4539 = -5*g + h. Let d = g + -3073. Is d composite?
False
Suppose -4*z = -3*l + 128, l - 3 = -2*z + 33. Let c be (1 - 12)/((-4)/l). Suppose 7*k = 5*k + c. Is k prime?
False
Suppose 26101 = 18*b - 45053. Is b composite?
True
Let y = 38 - 33. Suppose -y*a + 1049 - 304 = 0. Is a a composite number?
False
Let f(a) = 12*a**2 + a - 4. Let u be f(-5). Suppose -2052 + u = -3*r. Is r a composite number?
False
Is (33/22)/(3/758) composite?
False
Let l(s) = 8*s**2 - 3*s - 5. Let r be l(-5). Suppose r = 4*k - 142. Suppose 4*f - 4*o - k = o, -5*f = 3*o - 110. Is f prime?
False
Suppose -c - 3 = -3*i - 1397, 0 = 2*c + i - 2795. Is c composite?
True
Let a be 5 + 1 + -5 + 5. Suppose -a*n + 8*n = 68. Is n a prime number?
False
Let x = -9995 + 40360. Is x a composite number?
True
Suppose 5*r - 25538 = -m, -2*r + 5*r - 76578 = -3*m. Is m a composite number?
False
Let j = -134 - -77. Let x be (-1 + j/(-12))*44. Suppose 2*i = -11 + x. Is i a composite number?
True
Let v = -123 - -252. Is v a composite number?
True
Let z(n) = 2*n**3 - 6*n**2 + 7*n - 7. Let y(a) = 13*a**2 + 2*a + 1. Let o be y(-1). Let k = o - 6. Is z(k) a prime number?
True
Let d(t) = -t**3 + 7*t**2 - 6*t + 4. Let k be d(6). Suppose -2*x = 3*x, -4*s + k*x + 16 = 0. Let q = s + 18. Is q prime?
False
Let y(p) = -115*p + 81