2. Suppose d*m - 4*n - 503 = 0, -5*m - 5*n = -747 - 33. Is m prime?
False
Let p(n) = 5*n + 5. Let w be p(-6). Let l = w - -282. Is l a prime number?
True
Suppose -5*v = -v - 828. Suppose 2*z = z + n + v, -z + 5*n = -215. Is z a prime number?
False
Suppose 5*q - 3*q = 1682. Is q a composite number?
True
Suppose 12 = -4*x - 3*h - 5, h - 26 = 5*x. Let p be 2 + (x - -2)*-1. Suppose 4*r - p*r + 15 = 0. Is r a prime number?
False
Let k be 4/(-3)*6/(-4). Suppose -10 = -5*b - 3*f, k*b + 2*f = 5*f + 25. Let d = -3 + b. Is d a prime number?
True
Let z(w) = -1 - w**2 - 2 + 0*w + 5*w. Let r be z(3). Suppose 5*v - 14 = r*v. Is v a composite number?
False
Let y = -3 - -15. Is (-1)/(-4) - (-69)/y a composite number?
True
Suppose -278 = -2*h + 612. Is h prime?
False
Is (-2267)/(-2) - (3 + (-10)/4) prime?
False
Suppose 6 + 0 = 2*b. Suppose -2*a = 5*g - 1009, 600 = 3*g + 6*a - b*a. Is g a prime number?
False
Let t(w) = -w**3 + 16*w**2 + 5*w + 5. Is t(8) prime?
True
Suppose 0 = -x + 5*h - 2*h + 15, -5*h - 23 = -x. Is (x - 35 - 3)*-1 a composite number?
True
Suppose -4*c - 4*u = -9*u - 23, -13 = -5*c + u. Suppose -c*v + 25 + 41 = 0. Is v a composite number?
True
Suppose -h - i + 5*i + 179 = 0, 3*h + 4*i - 585 = 0. Is h prime?
True
Suppose 0 = 4*m - 4*g - 24, -3*m - 2*g = -m. Suppose -m*w = -4*w + 3. Suppose 0*q + 3*q + 4*u - 681 = 0, 0 = -2*q - w*u + 455. Is q a composite number?
False
Let h(k) be the third derivative of k**9/60480 - k**8/3360 - k**7/840 + k**6/90 - k**5/60 - 2*k**2. Let x(s) be the third derivative of h(s). Is x(7) composite?
True
Suppose 0 = -2*r - 0*r + 838. Is r composite?
False
Let f(i) = -i**3 - 7*i**2 - 9*i - 6. Let x be f(-7). Suppose 0 = -2*s + 19 + x. Is s a prime number?
False
Suppose -4*b - i - 30 = -9*b, 4*b - 5*i - 45 = 0. Let x(n) = -7*n - 8. Let f be x(-5). Suppose 13 + 93 = 2*s + b*c, 0 = -s + 4*c + f. Is s a composite number?
False
Suppose k - 1 = -2*n, 3*k - 5 = -2*k - 2*n. Let g(c) = -c + 16. Let m be g(0). Is m*k*1 - 2 prime?
False
Suppose -y + 4 = -1. Let o = 44 + 49. Suppose 4*z = o - y. Is z composite?
True
Suppose 5*c - 1 = -2*t, -3*t - c - 9 = 2*t. Let z be t*(0 + (-2)/(-4)). Is z - (1 + 0) - -5 a prime number?
True
Let t = -698 + 1377. Is t a prime number?
False
Let n be (-58 - -3) + -1 + 2. Let g = -29 - n. Suppose 0 = 2*j + h - g, 4*j + h - 65 = -18. Is j composite?
False
Is (5 - 4)/(2/254) composite?
False
Let d(w) = 7*w**2 + 10*w + 5. Let f(h) = -10*h**2 - 15*h - 7. Let o(i) = 7*d(i) + 5*f(i). Let t be o(-5). Suppose 0 = -j - t*j + 127. Is j composite?
False
Suppose 536 - 2271 = -5*p. Is p composite?
False
Suppose -20 = 2*n - 3*n. Is (11/2)/(2/n) a prime number?
False
Let u(o) = 9*o**2 - 15*o + 5. Is u(-8) composite?
False
Suppose 24*s - 1561 = 17*s. Is s prime?
True
Suppose -5*x = -5*u + 1570, -5*u + x + x + 1561 = 0. Is u prime?
True
Is (-9)/(-15) + 4656/15 a composite number?
False
Let a = -173 - -412. Is a a prime number?
True
Let d be (1/(-3))/((-5)/1245). Suppose d - 4 = o. Is o prime?
True
Suppose 4*f - 4 = -16, -2*m - 296 = 4*f. Let q = m - -200. Is q prime?
False
Let y = 583 - -294. Is y composite?
False
Let j(u) = -10*u**3 - 8*u**2 - 9*u - 1. Is j(-4) prime?
True
Suppose 32 = n - 11. Suppose -195 = z + n. Is (z/(-4))/(6/12) a composite number?
True
Let x(n) = -5*n**2 - 4 - 3*n + 0*n**3 + 2*n**3 - 9*n**3. Is x(-3) a prime number?
True
Suppose 3*b - 2672 = -b. Suppose 8*o - b = 4*o. Is o a prime number?
True
Let j = -257 - -402. Is j prime?
False
Suppose 24 = 4*l - 4*c, 2*c = 3*l - 9 - 9. Let q(y) = 13*y**2 - 4*y - 2. Let d be q(l). Suppose 4*a = -4*o + 368, 3*o = -2*o + a + d. Is o prime?
True
Let k(u) = -u**3 - 8*u**2 - 8*u - 8. Suppose -2*b - 26 = 4*n, 3*n - 2*n - 4*b = -11. Let f be k(n). Is (-35)/(-4) - f/4 a composite number?
True
Let l be 6/10 + 6/15. Is 333/4 - l/4 a prime number?
True
Suppose 5*y = 2*y + 789. Is y composite?
False
Let f = 21 - 15. Let r = f - 12. Let k = 1 - r. Is k composite?
False
Suppose -5*s + 1 = 3*y + 7, -18 = -5*y + s. Let c = 27 - 19. Suppose y*w - 2*w - 3*z - 67 = 0, 2*z = c. Is w prime?
True
Let u = 1152 + -821. Is u a composite number?
False
Let u(q) = q - 2. Let s(h) = h**2 - 7*h - 8. Let x be s(8). Let l be (-2)/((x - -1)/(-3)). Is u(l) a prime number?
False
Suppose 0 = -4*j + 4*u + 5592, 0 = 5*j - 4*u - 4157 - 2832. Is j composite?
True
Let l = -225 + 493. Suppose -3*p = p - l. Is p a composite number?
False
Let y(q) = -q**3 + 8*q**2 - 7*q + 2. Let t be y(7). Is 1 - ((t - 1) + -119) prime?
False
Suppose 5*v + 1335 = -10125. Is (-7)/(21/v) - 3 composite?
False
Let u(r) = -r**3 + 6*r**2 + 9*r - 9. Let i be u(8). Let y = 207 + i. Is y a composite number?
True
Let c = -13985 - -23952. Is c prime?
True
Suppose b = -4*n + 7092, 3*n - 4053 = 4*b + 1285. Is n a prime number?
False
Let x(a) = -6 - 6*a - 1 + 1. Let w be x(-4). Suppose -n + 21 = -w. Is n prime?
False
Let k(z) be the second derivative of -z**4/6 + z**3/3 - 5*z**2/2 + z. Let r be k(-5). Is (1 + 1)*r/(-2) a prime number?
False
Let y(a) = -64*a - 3. Is y(-11) composite?
False
Let f(r) = r**3 - 14*r**2 + 20*r - 19. Is f(18) composite?
False
Let u(a) be the third derivative of -29*a**4/24 + 2*a**3/3 - a**2. Let i be u(-5). Suppose i = 6*g - 5*g. Is g composite?
False
Let g be (4 + (-1 - 1))*1. Suppose 120 + 1164 = 4*t + 3*f, -t = 5*f - 338. Suppose c - 150 = 4*i + 29, t = 2*c + g*i. Is c a composite number?
False
Suppose 3*n = -4*v - 73, -3*n - 93 = n + v. Let g = -4 - n. Suppose x - g = -0. Is x prime?
True
Let p(d) = 13*d - 6. Let g = 13 + -4. Is p(g) composite?
True
Is (5 - 6)/((-3)/69) a composite number?
False
Let t = -1 - 3. Is (230/t)/(3/(-6)) prime?
False
Let n = -30 - -48. Is (12/n)/((-2)/(-267)) prime?
True
Suppose 2*l = c - 624, 7*c - 631 = 6*c - 5*l. Is c prime?
False
Let t(d) = d - 2. Let r be t(2). Suppose -5*s + 0*s + 475 = r. Suppose 0*k + s = 5*k. Is k a prime number?
True
Suppose -4 = -t, 4*t = -3*x - 0*x + 1033. Is x a prime number?
False
Suppose 6*g - 7*g + 481 = 0. Is g prime?
False
Let s(m) = -3*m**3 - m**2 + 1. Let h be s(-1). Suppose -237 + 29 = -4*x. Suppose 7*t = h*t + x. Is t prime?
True
Suppose -3*k - 2 = 208. Let u = k - -45. Let q = 36 + u. Is q a prime number?
True
Is (-1212)/(-36) + (-2)/3 a prime number?
False
Let s(n) = -7*n**2 + 5*n + 3. Let l be s(4). Let g = 2 - l. Is g prime?
False
Let w(b) = 21*b**2 + 4*b + 1. Is w(-3) prime?
False
Suppose -3*y - 88 = -4*t - 29, -t - 5*y = -9. Suppose -t = 2*q - 4*q. Is q prime?
True
Is -95*(-4)/((-80)/(-12)) a prime number?
False
Let z(i) = -4*i - 4*i**2 - 7 - 2*i**2 + 8 + 9 - i**3. Is z(-9) a composite number?
True
Is 7*16 - (-3 + 6) prime?
True
Suppose -i - 5046 = -4*i - 3*s, 15 = -3*s. Is i composite?
True
Let n = 5 - 2. Suppose -v + n*v - 8 = 0. Suppose v*t - 12 = 0, 0 = y + 3*y + 5*t - 71. Is y a composite number?
True
Suppose 4*p = 2*m - 6, 4*m - 7 - 5 = 0. Let w be (-28)/(-6) + (-6)/9. Suppose p = -s - w*o + 2 + 65, -s + 61 = o. Is s a prime number?
True
Let y(r) = 2*r**2 - r. Let i be y(2). Let u(z) = 8*z**2 - 5*z - 7. Is u(i) composite?
False
Let h be 48*3*2/(-4). Let z = -37 - h. Is z prime?
False
Is -1 - 2 - -197 - 3 prime?
True
Suppose -7*s = -s - 678. Is s a prime number?
True
Suppose -3*g = 4*v - 2, -v = 3*g - 5*v + 14. Is 146/4*(-12)/g a prime number?
False
Suppose 6*m - 2481 + 693 = 0. Is m composite?
True
Let b(f) = -11*f**3 + 3*f**2 + 4*f + 3. Suppose 0 = -0*x - 4*x - 8. Is b(x) a prime number?
False
Suppose 0*a - 4*a + 4 = 0. Let g = 110 + a. Is g a composite number?
True
Is (-913)/11*-1*1 a prime number?
True
Let x = 4 + 5. Suppose -8 = -3*o + o, d = -o + x. Suppose -k = -4*b + 353, 4*k + 436 = d*b + k. Is b a composite number?
False
Let a = 9404 - 4621. Is a prime?
True
Let a(m) = -510*m - 17. Is a(-5) a prime number?
False
Let q = 36 - 3. Suppose x = 2*x - q. Is x prime?
False
Suppose -3*p + 1157 = 2*k, -4*k + 381 = p + 12. Is p a composite number?
False
Suppose 3*p = 4*s - 120 + 720, 2*s = -4*p + 822. Let r = -89 + p. Suppose r + 44 = 3*x. Is x composite?
False
Let p(f) = 5*f**2 - 3*f + 35. Is p(-11) prime?
True
Let r be 1 - 2*(-1)/(-2). Let p be r/(-2*2/4). Is (-2 - -61) + -2 - p a prime number?
False
Let o = -3625 + 6062. Is o prime?
True
Let s(b) = 6*b + 43. Is s(14) prime?
True
Suppose -30 = j - 3*j. Is (j/(-6))/(1