pose -4*d = 12, -o*u - 4*d + 272 = -289. Is u a composite number?
False
Suppose -p + 3*h = -6, -5*p - 2*h + 13 = -0*h. Suppose 0 = n - p*n + 38. Is n a composite number?
False
Suppose 20*w - w = 33421. Is w a prime number?
True
Let u be (-34)/6 - (-4)/6. Let n(h) = 2*h**2 - 4*h - 5. Is n(u) a composite number?
True
Suppose 365 = -3*w - t + 84, 0 = -3*t + 3. Let u = w - -134. Suppose -2*i - u = -4*c, 5*c - 38 - 11 = 3*i. Is c prime?
True
Let h be (-1)/(3/(-43))*24. Let d be (-4 - -2)*(h - -1). Is 2/6 + d/(-9) prime?
False
Let c be 26/(-6) - (-4)/(-6). Let z(u) = -7*u**3 - 7*u**2 + 8*u - 3. Let w(m) = 4*m**3 + 4*m**2 - 4*m + 2. Let r(v) = c*w(v) - 3*z(v). Is r(3) a prime number?
True
Suppose 3*i + 2404 = -719. Let m = -418 - i. Is m a composite number?
True
Let x(u) = u**2 + 4*u - 6. Let v be x(-6). Let l be (21/v - 2)*2. Suppose -3*r = -4*g + 155, 6*g - 100 = l*g - r. Is g a composite number?
True
Let l(y) = y**3 - 4*y**2 - 2*y - 2. Is l(6) prime?
False
Let s(w) = 5*w**2 - 4*w + 8. Is s(-9) a prime number?
True
Let y(z) = 148*z + 61. Is y(16) composite?
True
Suppose -2*n = -2*o + 224, 3*o = -0*o + n + 338. Is o a composite number?
False
Let j(h) = -h**3 + 2*h**2 - 14*h + 2. Is j(-7) a prime number?
True
Let z(p) = -p - 12. Let x be z(-11). Let t be 17 + -1 - (x + 3). Suppose 0 = -y - t + 63. Is y composite?
True
Let c(j) = 9*j**2 + 2*j. Let s be c(2). Suppose 2*m + 4*z - s = 0, -3*m - 5*z + 93 - 28 = 0. Let u = m - 17. Is u a composite number?
False
Suppose 2*g + 3 = 5*g. Is 1*(-131)/((-1)/g) a composite number?
False
Let k = -11 - -7. Let q = k - -6. Is (77/2)/(q/4) a composite number?
True
Let u be (6 + -3)*(-1)/(-1). Suppose v - 228 = -v - 2*z, 3*z = u. Is v prime?
True
Suppose 0*y = -3*y. Let h(k) = 22 + 17 + 14 - k. Is h(y) a prime number?
True
Let g be 10/(-15) - 1/3. Let s be (g/(-2))/((-3)/(-6)). Suppose h - 13 - s = 0. Is h composite?
True
Let p = -195 - -274. Let l = p - 53. Is l a prime number?
False
Let i(j) = 3*j - 8. Let y be i(6). Suppose 2*h - y = -6. Is h a composite number?
False
Let b = -9 - -3. Let t be (-2)/b + 50/3. Suppose -t = -3*u + 25. Is u prime?
False
Let k(j) = j**2 - 5. Let p be k(-5). Suppose 3*n = -2*a + p, -2*a + a = -4*n + 12. Is (-36)/(-16) - (-3)/a composite?
False
Let j(l) = 330*l**3 - l**2 - l + 1. Is j(1) composite?
True
Let l(w) = w**2 + w + 24. Let j be l(0). Is (-3)/j - 5965/(-40) a composite number?
False
Is (-1)/5*-6647 + 6/(-15) a prime number?
False
Let z = 1 + -1. Suppose 795 = -z*w + 3*w. Is w prime?
False
Suppose -5*f + 75 = 2*b, -b - 4*f + 24 = -6. Let s = -27 + b. Is s a composite number?
False
Let d(w) be the second derivative of -14*w**3/3 + 11*w**2/2 + 5*w. Is d(-8) prime?
False
Let t(f) = 4 - 8*f + 2*f + 2*f**3 - 4*f**2 - 5. Is t(6) composite?
False
Is 1209 - (3 + -5) - 0 a prime number?
False
Suppose 0 = -5*x - 4*l + 675, 3*x - 6*l + 2*l = 373. Is x a prime number?
True
Suppose 8*m - 10*m = -48. Let w(u) = u - 4. Let f be w(-7). Let x = m - f. Is x composite?
True
Let c(o) = 3*o. Suppose 2 = -5*y - 3. Let f be c(y). Is (-8)/f*(-51)/(-4) a prime number?
False
Let o = -2 - -6. Suppose -9*f - 220 = -o*f. Let p = f - -69. Is p a composite number?
True
Suppose -4*w - 764 = -2824. Is w prime?
False
Let t be 0 + 1 + (-225)/(-1). Suppose 0*b = -2*b + t. Is b prime?
True
Let l(b) = b - 1. Let h be l(0). Is ((-1052)/(-8))/(h/(-2)) prime?
True
Let f(m) = m**3 - 5*m**2 + 3*m + 5. Let d be f(4). Suppose 2*v = x - 2 - d, -5*v = 4*x + 14. Is 16 - (v + 2) - 2 a prime number?
False
Let f(n) = -214*n + 113. Is f(-9) prime?
True
Suppose 732 = -p + 3*k + 3937, -8 = -2*k. Is p composite?
False
Let z(h) = -2*h. Let d be z(-1). Suppose 0*u = 2*u - 2*s - 66, -82 = -2*u - d*s. Is u a prime number?
True
Suppose 0*d - 20 = -4*g + d, -4*g + 20 = -2*d. Suppose 4*c + p = 4, p + 22 = g*c - 2*p. Suppose 0 = c*n - 15 - 15. Is n a composite number?
True
Is (-1)/(13/(-2)) + (-2741)/(-13) a prime number?
True
Let s(f) = -5*f**3 + f**2 - 2*f + 2. Is s(-4) a composite number?
True
Suppose -8*u = -10*u + 1726. Is u prime?
True
Suppose 4*k = -2*z - 26, 1 = -4*z + 4*k - 3. Let x = z - -5. Is 9 - x - (-6)/(-3) a prime number?
True
Let u = -94 - -138. Let k = 75 - u. Is k a prime number?
True
Let n(s) be the second derivative of -47*s**3/6 - s**2/2 - s. Let t be n(-3). Suppose -a + 9 + 26 = -5*y, 3*y = -4*a + t. Is a prime?
False
Is ((-1)/2)/((-9)/2394) a composite number?
True
Suppose -4*i - 1 + 9 = 0. Is i/(-5) - (-1994)/10 a prime number?
True
Suppose -3*g - 85 = -556. Is g prime?
True
Let s(m) = -m**3 + 8*m**2 - 5*m - 9. Let i = -4 - -11. Let p be s(i). Suppose -x + p*x - 268 = 0. Is x composite?
False
Suppose 4*q + 2*d + 4 = 0, 5*q + 3*d - 1 + 4 = 0. Let y be ((-4)/(-6))/((-1)/3). Is q/6*(-6 - y) composite?
False
Let g be (-4)/(-14) - 52/(-14). Suppose -2*m = -m + g*f - 203, -412 = -2*m - 5*f. Is m prime?
True
Is (-14)/(-10) + -1 - 8109/(-15) prime?
True
Suppose -2*s = -3*u - 646, -1094 - 483 = -5*s - 2*u. Is s composite?
False
Let l be (-2)/(-9) + 380/(-9). Let c = -18 - l. Let n = c - -41. Is n a prime number?
False
Let i = 277 - 116. Is i composite?
True
Let k = 22 + 29. Is k composite?
True
Let s = 67 - 33. Suppose -a - a = 5*m - s, -2*a - 2 = -m. Is m a prime number?
False
Suppose -12 - 823 = -5*c. Let u = c + -7. Suppose 4*j - 4*z = u, 2*z - 4*z = -4*j + 154. Is j a prime number?
True
Let x be 0 + -8 - (-5)/5. Let s be ((-18)/(-21))/(1/7). Let v = s - x. Is v prime?
True
Let q(o) = -o**3 - 8*o**2 - o - 5. Let n be q(-8). Suppose -5*g + 2153 = -2*l, -n*g - l = -1480 + 186. Is g composite?
False
Let a(b) = 0*b**2 + 0 + 53 - b**2 - b. Is a(0) composite?
False
Suppose 476 = 2*x + 2*x. Is x a composite number?
True
Let i = -629 - -1380. Is i a prime number?
True
Let c = -431 + 304. Is c/(-3) - 14/(-21) a composite number?
False
Let z(u) = u**2 + 4*u - 3. Let m be z(-5). Suppose 2*f - 3*f = -3. Suppose -2*g = h - 6, m*g = -f*h + 4*g + 18. Is h a prime number?
False
Let s(t) = t**3 - 8*t**2 + 5*t + 14. Let u be s(7). Suppose u = -3*z + 3*j + 2*j + 489, -4*j + 652 = 4*z. Is z a prime number?
True
Let w be 6/(-4)*(-3 - -11). Let g(t) = -6*t + 17. Is g(w) a composite number?
False
Suppose -2*p = -5*b + 16, -2*p - b + 6 = -p. Suppose -r = -5*f - 298, -5*f + 390 = p*r - 191. Is r composite?
False
Suppose 3*c - i = -5, -c - 8*i = -3*i + 7. Is (-2)/c - (-27 - -2) prime?
False
Let p(m) = -m**3 + 8*m**2 + m + 6. Let r be p(8). Suppose 2*n - 7*n - 3*f = -r, 0 = 4*n + 3*f - 10. Suppose -b - 57 = -n*b. Is b prime?
True
Let z(j) be the second derivative of j**3/6 + 2*j**2 + 2*j. Let c be z(-3). Suppose -5*h - k = -67, 4*h + 5*k + c = 3*h. Is h composite?
True
Suppose 0 = -2*n - 0*n + 244. Is (3 - 0) + n + 2 composite?
False
Suppose 2*p - 4*j - 30 = 0, 0*p = -4*p - 2*j + 70. Let r = p - 12. Suppose 5*q = -4*z + 243, -2*q = -z - r*q + 52. Is z a prime number?
True
Suppose 0 = s + s + 4*w - 962, 2*s - 977 = -w. Is s prime?
True
Let c(v) = -947*v - 13. Is c(-6) composite?
False
Let u(r) be the first derivative of 7*r**3/2 - 2*r**2 - r + 2. Let g(p) be the first derivative of u(p). Is g(3) prime?
True
Let n = 1197 + -638. Is n a prime number?
False
Is (8/12)/(6/1791) prime?
True
Suppose -o - 206 = -3*o. Let d be -2*(7/(-2) - -2). Suppose -o = -d*x - 4. Is x a composite number?
True
Let u(o) = 2*o**3 - 10*o**2 + 2*o - 7. Is u(7) prime?
False
Suppose z + 4 = -z. Let d be z*(-2 + 38/4). Is ((-14)/6)/(1/d) composite?
True
Suppose 0*n + 3*n - 6 = 0. Let d = n - -8. Is d composite?
True
Suppose a - 3*z - 350 - 2 = 0, 0 = 2*a - 3*z - 707. Is a a prime number?
False
Let f(o) = -o - 3*o - 1 - 13 + 3. Is f(-6) composite?
False
Let f = 5 - 0. Suppose 0 = f*l - 10, u + 5*l + 0 = 11. Is 46/8 + u/4 a composite number?
True
Let v(m) = 31*m - 6. Suppose -s + 2 = 0, 0 = 4*n - n - s - 19. Is v(n) a prime number?
True
Let z be 7/(14/4)*-1. Is 3 + (-28*4)/z composite?
False
Let p(c) = 4*c. Let a be p(1). Suppose 3*y - 4 = t, -y + 26 = a*t + y. Suppose t*u + 95 = 270. Is u a composite number?
True
Suppose -64*w - 2757 = -67*w. Is w a prime number?
True
Let j(b) be the third derivative of -b**6/120 - b**5/30 + b**4/12 - 2*b**2. Let n be j(-3). Suppose -n*y + 17 = -1. Is y a composite number?
True
Suppose 2*m = 0, o = -o - 4*m + 446. Is o a prime number?
True
Let