n - 5*g, -g - 10 = -5*n. Let p be 10/((-2 + n)*2). Is u(p) composite?
True
Let a(w) be the first derivative of 12*w**2 - 2*w - 1. Is a(2) a prime number?
False
Let h(t) = 4*t - 2. Let x(m) = -11*m + 7. Let f(r) = 8*h(r) + 3*x(r). Is f(-9) prime?
False
Let o(z) = -z**2 + 7*z + 9. Let a(p) = 6*p + 9. Let c(q) = 3*a(q) - 4*o(q). Is c(-8) composite?
True
Let p(a) = 5*a**3 + a - 1. Let t be p(1). Suppose t*g = 226 + 49. Is g a prime number?
False
Suppose 67 = 3*j - 368. Is j composite?
True
Let y(q) = -60*q - 6. Let b(v) = -59*v - 5. Let z(u) = -7*b(u) + 6*y(u). Is z(4) prime?
True
Let p = 13 - 7. Let q = p - -73. Is q a prime number?
True
Let d(k) = -k**3 + 8*k**2 - 6*k - 4. Let p be d(6). Let s = -13 + p. Is s a composite number?
False
Let r(t) = -7*t**2 + 9*t - 14. Let y(i) = 3*i**2 - 5*i + 7. Let f(g) = 2*r(g) + 5*y(g). Let x be f(6). Is -2 + 0/x + 24 a composite number?
True
Let j(o) be the first derivative of o**4/4 - 7*o**3/3 + 2*o**2 + 7*o - 2. Let x be (2/4)/((-2)/(-28)). Is j(x) a composite number?
True
Let w(k) = k**2 - 4*k + 10. Let f be (-6)/(9/3) + -3. Is w(f) a prime number?
False
Suppose 2*y - 4 = 4. Let r(c) = -c**3 + 5*c**2 - 2*c + 5. Is r(y) a composite number?
False
Let f = 343 - 36. Is f composite?
False
Let u(p) = -p - 1. Let q = 1 - 4. Let w be u(q). Is 4/w + 111*1 a prime number?
True
Let g = 416 - 253. Is g a composite number?
False
Let l(o) be the third derivative of o**6/120 + o**5/12 - 7*o**4/24 - o**3/3 + 4*o**2. Is l(-6) a composite number?
True
Let k = 1787 - 718. Is k a prime number?
True
Suppose 0 = j - 0 - 4. Suppose 13 - 5 = j*a. Suppose -a*c = -3*f + 363, 5*f - 182 = c + 416. Is f composite?
True
Let v(t) = -t - 17. Suppose 2*j + 3 = -3*l, -j + 2*l = -6*j - 35. Let x be v(j). Let m = x + 11. Is m prime?
True
Let x be 201 - (2/2 + 0). Suppose 0 = 6*r - 11*r + x. Let g = r + -21. Is g prime?
True
Suppose -2*w = -0*w - 4*h - 644, w + 2*h - 314 = 0. Let q = w + -169. Is q a composite number?
False
Let i(l) = 631*l**3 + l**2 - l. Suppose -1 + 0 = -y. Is i(y) prime?
True
Let l(y) = -13*y**3 - 2*y**2 - 2*y + 2. Let s be l(-2). Let m = s - 47. Is m a composite number?
True
Let w be 1 + (-2)/(0 + -1). Suppose -2*j = -w*j + 11. Is j a prime number?
True
Suppose -6517 = -2*f - 5*o, 0*f = -f + 2*o + 3281. Is f prime?
True
Let j be 144 + (0 - (-2 - -3)). Suppose -10*l = -9*l - j. Is l a prime number?
False
Is 5046/4 + 10/(-4) prime?
True
Suppose -8 = -8*f + 4*f. Suppose -2*p = f*i - 10, -4*i - 4 = 3*p - 15. Is p prime?
False
Suppose -11*z + 3237 + 19258 = 0. Is z composite?
True
Suppose -b = 480 - 1269. Suppose -5*q = -4*o - b, -7*q + 2*q + 3*o + 788 = 0. Is q a composite number?
False
Let k(c) = -14*c - 2. Let y be k(-9). Suppose 4*v = 3*p - y, -2*v - 4 + 176 = 5*p. Is 532/p + (-4)/(-18) prime?
False
Let f(q) be the third derivative of -q**6/120 - q**5/6 - 13*q**4/24 - q**3/2 + q**2. Is f(-9) composite?
True
Let v(q) = -q**2 - 6*q. Let g be v(-5). Suppose -10 = -g*w, -3*w = 2*u - 2*w - 160. Suppose -3*j = -5*b + 2*j + 355, 0 = b - 3*j - u. Is b a prime number?
True
Let m(j) = -j**3 + 9*j**2 - 2*j - 9. Let l be m(8). Suppose 0 = -0*u - 3*u + l. Is u composite?
False
Let b(u) = u**3 + u**2 - u. Let z be (2 - 1) + -1*2. Let r(t) = 3*t**3 + 4*t**2 - 3*t. Let g(a) = z*r(a) + 4*b(a). Is g(2) a prime number?
False
Let h(a) = 18*a - 1. Let t be h(-4). Let k = t + 139. Suppose -y + 0 = 3*s + 1, -4*y + 2*s + k = 0. Is y a prime number?
False
Let f(z) = -36*z**2 + 5*z - 1. Let q(g) = -73*g**2 + 9*g - 2. Let p(s) = 7*f(s) - 4*q(s). Let k be p(1). Let m = k + -7. Is m a composite number?
True
Let h = 1 - -2. Is (-141)/(-9)*h + 2 a composite number?
True
Let x = 327 - 184. Is x prime?
False
Let f = -96 + 43. Is (3 - f) + 1 - 2 a composite number?
True
Is ((-57042)/(-21))/6 - (-2)/7 a composite number?
True
Let u = 34 - -33. Is u composite?
False
Suppose 2*j = j. Suppose 16*i = 9*i. Suppose -2*t + j*t + 190 = i. Is t prime?
False
Let g(l) = -9*l + 13. Is g(-4) composite?
True
Suppose -71 = -3*s + 628. Is s a composite number?
False
Let l = 17 + -12. Suppose l*o - 21 = 3*z + o, 4*z = o - 28. Let v(b) = b**3 + 9*b**2 + 9*b - 9. Is v(z) a prime number?
False
Let b = -760 - -1433. Is b prime?
True
Let s(h) = 6*h - 1. Let g be s(1). Suppose g*c + 3 - 13 = 0. Suppose c*n = -l + 405, -3*l + 403 = 5*n - 3*n. Is n prime?
False
Let d(y) = y**2 - 2*y + 3. Is d(3) a prime number?
False
Let p(j) = -138*j**3 + 2*j**2 - 2*j - 2. Let f be p(-2). Suppose -3*c = -f - 77. Is c a composite number?
False
Let z(f) = -f**3 - 3*f**2 + 5*f - 1. Let r be z(-4). Let n(a) = -a**2 - 4*a + 5. Let b be n(r). Suppose b*y - 2*y + 154 = 0. Is y prime?
False
Let k = 4 - -26. Suppose 0 = -5*p + u + k, 4*p - u = u + 30. Suppose -p*t = 2*y - 258, 5*y - 2*t = 686 - 99. Is y prime?
False
Let r = 48 - 26. Suppose -5*z = -5*g - 15 + 50, 0 = -3*g - 3*z + 51. Let m = r - g. Is m prime?
False
Let s be 1*(368 - (1 + 1)). Let n = 785 - s. Is n a composite number?
False
Let k(r) be the first derivative of 8/3*r**3 + 1 + 1/4*r**4 + 3*r**2 + 3*r. Is k(-6) prime?
False
Let h(g) = g. Let t(w) = -w**2 + w - 5. Let y(a) = -3*h(a) - t(a). Is y(-4) prime?
True
Suppose 5*n - 5*z = 0, 5*n + 3*z - 16 = -0*z. Let q(t) = 6*t**2 - 1 + 0*t**2 - n*t + 4*t**2. Is q(-3) a composite number?
True
Suppose m = 55 - 2. Is m a prime number?
True
Let r be ((-74)/1)/(-9 + 8). Suppose r = 4*p - 3*p. Is p prime?
False
Suppose -12 = -4*r - 4. Suppose 4*t = 2*b - 7*b + 20, -r*t + 10 = b. Suppose b = l + 2*l - 669. Is l prime?
True
Let k = 10 + 110. Suppose 333 = -3*g + k. Let c = -48 - g. Is c prime?
True
Let d = 4 - 4. Suppose d*k - z = -k + 26, 4*z = 2*k - 42. Is k a composite number?
False
Let i = 2 - 2. Suppose -4 = -x - i*x. Is (x/6)/((-4)/(-222)) a prime number?
True
Suppose 8*h = 1449 + 7759. Is h composite?
False
Let c = -2225 + 9834. Is c a composite number?
True
Let b = -2374 - -3411. Is b prime?
False
Let r(i) = -23*i - 23. Is r(-14) a composite number?
True
Is (-449)/((3 + -1)/(-2)) prime?
True
Is (4/(-6))/(-2)*603 a prime number?
False
Let p = 9 - 5. Suppose 2*j + 8 = -0*j, -340 = -4*c - p*j. Is c a composite number?
False
Let d be 1 - 3/(-6)*4. Let z = d - 0. Is 534/9 - 1/z a prime number?
True
Let g be 1881/12 - 4/(-16). Suppose -3*i + 328 = 2*a - 2*i, -a = -3*i - g. Is a a prime number?
True
Let m = 1 - -11. Let b be (6/4)/(9/m). Suppose 0 = -4*a - 4*u + 60, 0 = b*u - 3*u + 1. Is a composite?
True
Let z(s) be the third derivative of 1/24*s**4 - 1/6*s**3 - 2*s**2 + 0 + 0*s + 11/60*s**5. Is z(1) prime?
True
Suppose 3*n - 7 = x + 3*x, 3*x - 11 = -n. Let g be 194*2/4 + x. Suppose -3*z + 0*z = -g. Is z composite?
True
Let n(k) = -k**3 - 10*k**2 - 5*k + 2. Let j(i) = -i**2 - 1. Let t(q) = -4*j(q) + n(q). Is t(-5) a prime number?
False
Suppose 0 = 4*x - 29 - 67. Let l = x - -71. Suppose -5*f = 4*q - l, -f + 19 = -q - q. Is f composite?
False
Is -838*3*1/(-6) composite?
False
Let r be (-58)/2 + 3 + -6. Let q = r - -154. Is q composite?
True
Let m be 6*(2 - 2/6). Suppose -5*a + 50 + m = 0. Let o(p) = 2*p - 13. Is o(a) prime?
True
Suppose 5*g = -3*i + 2*i + 32, -i = -4*g - 14. Is i prime?
False
Let k = -3274 + 5758. Suppose 4*p - k - 568 = 0. Is p a prime number?
False
Let w = 8 + -6. Let z be 4 + (-1 + w)/(-1). Suppose -101 = -3*m + 2*g + 286, z*m + 2*g = 399. Is m composite?
False
Let q = 1 - 1. Let i(k) = -k**2 - k + 67. Is i(q) prime?
True
Let f(k) = -k**3 + 5*k**2 - 4. Let j(c) = 2*c**3 - 11*c**2 + 9. Let x(g) = 5*f(g) + 2*j(g). Let b be x(2). Let q = b - -11. Is q composite?
False
Let g(n) = -n**3 - 9*n**2 + 5*n - 5. Let m be g(6). Let f = m - -906. Is f prime?
False
Suppose 3*t - 4*l - 110 = 0, 4 = 2*l + 14. Let s be ((-10)/(-15))/(2/(-51)). Let g = s + t. Is g a composite number?
False
Suppose s = 5*s. Let c(k) = -k - 4. Let f be c(s). Let p(u) = -4*u**3 + 2*u**2 + 5*u - 3. Is p(f) prime?
False
Let s(m) = -6*m + 6. Let o be s(-5). Suppose -r + 3*r - o = 0. Is 4/(-18) + 1570/r composite?
True
Let q = 2025 + 908. Is q a prime number?
False
Suppose 16*b = 12*b + 20. Let f(j) = j**3 + 5*j + 5. Is f(b) a prime number?
False
Let s = -1 - 1. Let j be 2 - ((-12)/(-3))/s. Suppose -2*i = -j*i + 14. Is i composite?
False
Let j(x) = 20*x + 1. Let w(u) = -u**3 + 10*u**2 - 11*u + 11. Let n be w(9). Let h be 2/n