5 = -5*d. Is d a prime number?
False
Let t be -1*(2 - 3)*11. Suppose 0 = 4*q + 219 - t. Let o = q - -117. Is o prime?
False
Let x(u) = 645*u**2 - 5*u - 7. Is x(-3) composite?
False
Suppose 2*j + 53 - 143 = -4*m, 75 = 4*m - 3*j. Is 1/(-3) - (-2296)/m a prime number?
True
Suppose -1894 = -5*g + 3*r, 4*r + 338 = 2*g - 428. Is g prime?
False
Let f(c) = 14*c + 2. Let s be f(-2). Let n = s - -211. Suppose -x + 0*x = -n. Is x prime?
False
Let f(j) = j**2 + 7*j. Let w be f(-7). Suppose w = h + 2*h - 51. Is (h/2)/((-3)/(-12)) a composite number?
True
Let r be 3 + 32*(-1 - 0). Let j = -6 - r. Is j composite?
False
Let f(t) = t**3 + 5*t**2 + t. Suppose -4*j + 0*j - 20 = 0. Let l be f(j). Let x = 39 + l. Is x prime?
False
Let h be (3 + 61/(-2))*4. Is 1/((-4 + 2)/h) a composite number?
True
Let w(n) be the first derivative of n**4/12 - 3*n**2 + 2*n - 2. Let r(v) be the first derivative of w(v). Is r(5) composite?
False
Let v(j) = j + 1. Let m be v(3). Let w(a) = 3*a**2 - 1. Let k be w(-1). Is k/m*26 + -2 prime?
True
Let r be (5 - -4) + (1 - 2). Suppose -n + 3*n - p - 416 = 0, 4*p + r = 0. Suppose -f + n = 2*f. Is f a prime number?
False
Suppose 0 = 3*u + 6 + 51. Let k = u + 56. Is k a composite number?
False
Let f(s) = 1359*s**2 + 3*s + 5. Is f(-2) prime?
False
Let c(o) = 2*o**2 + 9*o + 1. Let f be c(9). Suppose 0 = -2*y - 4*k + 834, 0 = -y - 5*k + f + 185. Is y a composite number?
False
Suppose -f + c - 2 = -2*f, -5*c = 2*f - 1. Is 477/3*f/9 composite?
False
Suppose -5*j + 2*j + 1257 = 0. Is j prime?
True
Suppose -5*s = 3*k - 3026, -4*k + 5*s + 5030 = k. Suppose 5*d - 48 = k. Is d composite?
False
Let g(r) = 3*r + 19. Is g(6) a prime number?
True
Let w be (-3)/(-3) + 1*10. Let j = -33 - w. Let y = j + 171. Is y composite?
False
Suppose 2*y - 69 - 109 = 0. Is y prime?
True
Let n = -5 + 11. Is n composite?
True
Let t be (8 + -14)/(2 + 0). Is (1 + 3 + t)*409 a prime number?
True
Let v = 205 + 1132. Is v composite?
True
Suppose 7*o - 2*o = 15. Suppose -o*n = -2*k + 22, k + 4*n = 2*k - 21. Suppose 0 = -2*f - k*q + 95, -20 - 10 = -f + q. Is f composite?
True
Suppose 10099 = 8*y + 1643. Is y a composite number?
True
Suppose x = 2 - 23. Let q = 54 - 0. Let m = x + q. Is m a prime number?
False
Let u = 6104 - 3802. Is u a composite number?
True
Suppose 2*h = -0*h. Suppose -20 = 4*o - n, h*n - 4 = n. Let p(m) = m**3 + 9*m**2 + 3*m + 1. Is p(o) a composite number?
True
Suppose -94 = -4*u + 710. Is u composite?
True
Let o(z) = z + 9. Let d be o(5). Is 4/d + 31293/63 a prime number?
False
Let z = -4 - -9. Suppose s + z*c = 135, -3*s + 159 = c - 302. Is s prime?
False
Suppose -x = -4*o - 5, -3*o + 0*x - 6 = -3*x. Is 3 + (o - 0) + 201 a prime number?
False
Let s(h) = h - 6. Let i be s(5). Let c(z) = -353*z + 2. Is c(i) composite?
True
Let z = -4 + 35. Is z a prime number?
True
Let n(m) be the first derivative of m**3/6 - 3*m**2/2 + m + 2. Let f(b) be the first derivative of n(b). Is f(5) a prime number?
True
Suppose 0*m = 4*m + 5*i - 1701, m = -2*i + 429. Is m prime?
True
Let j = -4 + 0. Let a be ((-6)/j)/((-6)/(-8)). Suppose 3*k + a = 5, 3*l = -k + 94. Is l a prime number?
True
Let u = -2150 + 12021. Is u composite?
False
Let r be (-9)/(-15)*(2 - -8). Let t(p) = 7*p - 8. Is t(r) a prime number?
False
Suppose 6*j + 18 = 2*f + j, 0 = -5*f - j + 72. Suppose f*z = 10*z + 564. Is z a prime number?
False
Let x be (-12)/(-9)*(-30)/4. Let i(p) = p**2 + 6*p + 15. Is i(x) prime?
False
Suppose -4*z = z + 85. Let w = 47 - z. Is w - (0 + -1)*1 composite?
True
Let i(y) be the second derivative of y**4/12 + 5*y**3/6 + 2*y**2 - y. Let t be i(-3). Is (1 - 32)/(t - -1) prime?
True
Let l = -5 - -8. Suppose -4*u - r - 347 = 0, -2*u = l*r + 191 - 10. Is 1*(-3 - u)/1 a prime number?
True
Suppose -4*b + 20 = 0, 0*b - 3*b = -2*g - 21. Is (g + 2)*1 - -252 prime?
True
Let l(u) = 26*u + 3. Let b(w) = 13*w + 1. Let i(q) = -9*b(q) + 4*l(q). Suppose -2*g = 3*g + 20. Is i(g) composite?
True
Suppose 5*t = -g + 6, -4*t - 3 + 5 = -2*g. Let s be 2 + 1 - 1*-1. Suppose w - 26 = -s*l, w = 5*l - 2 + t. Is w prime?
False
Let z(c) = -4*c**3 + 3*c - 4. Let v be z(-3). Is (-7)/((-14)/4) + v a composite number?
False
Suppose -3*c = 5*q - c - 18, 0 = -4*q - 2*c + 14. Suppose q*u + 59 = 375. Is u prime?
True
Suppose 0 = 2*w - 3*w - 4, -5*t + 2102 = 2*w. Suppose 2*s + l = -l + t, -203 = -s - 5*l. Is s a prime number?
False
Suppose 0 = -y - 40 - 1. Let l = 30 - y. Is l composite?
False
Suppose -10*x + 0*x + 5570 = 0. Is x prime?
True
Suppose 1222 = 4*v - y, 2*y - 7*y = -2*v + 620. Is v a prime number?
False
Let g = 7337 + -4276. Is g a composite number?
False
Let h be 1 - (-2 - -23 - -2). Let t = -13 - h. Let b = t + 50. Is b prime?
True
Let i be 1 - (-1 - 0) - 8. Let z be ((-12)/10)/(i/20). Is ((-45)/6)/((-2)/z) prime?
False
Let o(h) = -h**2 + 3*h + 2. Let b be o(3). Suppose 3*c - b*c - y = -1, 0 = y + 2. Is (-24 - -1 - 0)*c a prime number?
False
Let u(a) = 235*a**2 - 4*a - 4. Is u(-1) a composite number?
True
Let d = 4359 - 1922. Is d prime?
True
Let x(j) = 39*j - 2. Suppose w + 18 = -0*w - 4*m, -2*w - 18 = 2*m. Let p be 8*(-3)/w + -1. Is x(p) prime?
False
Let r be (-1)/1*348/3. Let s = r + 165. Is s composite?
True
Let q(p) = -p**3 - 7*p**2 + 9*p + 12. Let r be q(-8). Suppose -3*n + x = n - 4, 0 = n + r*x - 18. Is n/2*(2 - -41) a prime number?
True
Let q be (-33)/(-9) - 2/(-6). Suppose -q*z + 7 = -5. Is z composite?
False
Let c(l) be the third derivative of 11*l**5/15 + l**4/24 - l**2. Is c(-1) composite?
False
Suppose 2*q - 163 = -4*g + 277, 3*q + 430 = 4*g. Is g prime?
True
Suppose -2*h = h - 9. Suppose 5*l - 5*t - 30 = 0, 2*t + 8 = h*l - 7. Suppose l*r = -55 + 148. Is r a prime number?
True
Let z = 10 - 5. Suppose 13 = t - 3*m, z*t + 5*m - 8 = m. Suppose h = t*h - 267. Is h composite?
False
Let c be 13033/8 - 13/104. Let q = 422 + c. Is q a composite number?
True
Let v(y) = -12*y + 8. Let a be v(-10). Let r = a + -25. Is r prime?
True
Let z = -74 - -112. Suppose -4*n = 3*f - 0*n - z, -3*n = -2*f + 31. Is f prime?
False
Let w(z) = z + 6. Let f be w(-4). Suppose -272 = -5*m + 128. Suppose 0*g - 3*g + m = f*u, -5*g = u - 54. Is u prime?
False
Suppose u - 14 = -0*u. Let l = -8 + u. Is l a prime number?
False
Let h be (69/4)/(2/(-8)). Let u = h + 122. Is u a prime number?
True
Let n(g) = -g. Suppose 5*f = -2*d - 77, 4*f - 13 + 68 = 5*d. Let v = f + 8. Is n(v) a prime number?
True
Let m(w) = 2*w**2 + 307. Is m(0) composite?
False
Suppose 2*z - 3*z = -2. Suppose -3*n + 87 = -z*n. Is n prime?
False
Let r(x) = -36*x - 23. Is r(-12) composite?
False
Let x be 6*(-1 + 10/6). Suppose s - 6 = x*s. Is 1 + 3/s*-32 composite?
True
Let q = -25 - -37. Let o = q + -7. Suppose -3*b + 5*l + 4 + 33 = 0, 5*l = -o*b + 115. Is b a prime number?
True
Let i(w) = w**2 + 2*w - 1. Let o be i(1). Suppose -4*l = r - 71 + 9, -5*r = -o*l - 332. Suppose 4*d - r = -h - h, 2*d = h - 37. Is h composite?
True
Let q = 11 + -4. Suppose q + 17 = 2*p. Suppose 2*z - p = -2*z. Is z a composite number?
False
Is (36/(-54))/(1 + (-4186)/4182) prime?
False
Suppose -399 = -t + 2*j - 0*j, 3*t - 1175 = -5*j. Suppose -2*c + t = 157. Is c composite?
True
Suppose -2*s + p = 3*s + 669, 3*s + 397 = 5*p. Let k = s - -60. Let l = k - -153. Is l prime?
True
Suppose -6*h = 2424 - 7350. Is h a prime number?
True
Let f be ((-6)/(-4))/(2/(-4)). Let r(p) = -p**3 + 0 + 0*p**2 - p**2 - 2 + 3*p**2 + 2*p. Is r(f) a composite number?
False
Let n = -18 - -399. Let o = 568 - n. Is o a composite number?
True
Let b be 93/(-5) - (-6)/(-15). Let f = -4 - b. Suppose 24 + 99 = 5*w + 2*h, -f = -w + 2*h. Is w a prime number?
True
Let o be (0 - 0) + 181 - 0. Suppose 0 = 5*n + 79 + o. Let w = n - -101. Is w composite?
True
Suppose -4*j = -2*u + 40 + 18, 0 = -u + j + 33. Is u a prime number?
True
Let t(q) = 115*q**2 - 7*q - 3. Let b(y) = 77*y**2 - 5*y - 2. Let w(n) = -7*b(n) + 5*t(n). Is w(-2) prime?
False
Suppose -2271 - 5333 = -4*o. Is o composite?
False
Let g = -461 + 798. Is g composite?
False
Let p(c) = c**2 - 4*c + 8. Let m(r) = -r + 1. Let b(u) = -6*m(u) + p(u). Let j be b(-2). Suppose -4*n + j*h = -426 + 108, -4*h = 3*n - 233. Is n a prime number?
True
Let w be 2/3 - (-230)/(-3). Let l = 87 - w. Is l prime?
True
Let l(y) = -220*y**2 - 2*y + 2. Let x be l(1). Let u = -71 - x. Is u