 = -3*d + d. Let g = 278 + d. Is g a prime number?
False
Let o(c) = -c**2 + 5*c + 4. Let n be o(5). Suppose -4*m - n*l + 0*l - 20 = 0, 0 = -m + 4*l - 15. Let i(z) = -z**3 - 6*z**2 - 4*z. Is i(m) prime?
False
Let b(g) = -2*g**3 + 2*g**2 + 2*g - 1. Let k be b(-2). Suppose k + 45 = z. Suppose 18 = -2*c + z. Is c composite?
False
Let o be (6/4 + 0)*2. Suppose o*a - 5*p - 34 = 0, -2*p = p + 15. Is (26/(-4))/(a/(-6)) a prime number?
True
Let n(h) = -h**3 - h**2. Let y be n(-2). Suppose 4*x = 0, y*c - 4*x - 876 = -64. Is c a composite number?
True
Let a(h) = -5*h + 13. Suppose -3 - 2 = -q - 3*i, 4*q - 4*i - 52 = 0. Let o be a(q). Is (8/(-4))/(4/o) a composite number?
True
Suppose p + 133 = 2*p. Suppose -4*b = 9 - p. Is b a composite number?
False
Let o(x) = 24*x - 10. Let c(g) = -24*g + 10. Let u(t) = 5*c(t) + 4*o(t). Is u(-7) composite?
True
Let q be 1 + -1 - -4*2. Suppose 5*f = -o + q, -2*f + 20 = -3*o + o. Let s(m) = m**2 + 7*m + 2. Is s(o) a prime number?
True
Suppose -336 = -4*l + 3*l. Suppose 4*z + l = -4*b, 3*b + 0*b + 2*z + 254 = 0. Is b/(-6) - 2/(-3) a prime number?
False
Let t = -18 + 33. Suppose 0 = 4*j - h - t, -2*j - 3*h + 16 = -9. Let s(x) = x**2 - 2. Is s(j) composite?
False
Suppose 1644 = 4*x - h - 1049, 4*x + 4*h = 2688. Is x prime?
True
Let w(c) = 2*c**2 + 8*c - 6. Let i be w(5). Is 3*i - (-1)/(-1) a prime number?
True
Let q(t) = 97*t**2 - 5*t + 15. Is q(7) composite?
False
Let b(z) = -z**3 - 5*z**2 + 8*z + 8. Let n be b(-6). Let h be 2 - n - (0 - -1). Suppose 0 = h*f - 80 - 75. Is f composite?
False
Suppose 4*i - 5988 = -0*i. Is i composite?
True
Suppose 0 = -t + 2*c + 79, 350 + 16 = 4*t + 2*c. Is t a composite number?
False
Suppose 20 = 3*t + 2*t. Suppose -3*g + 1 = t. Is (273/6)/(g/(-2)) a composite number?
True
Let i be ((-2)/6)/(5/(-60)). Suppose t - 5*t + 184 = 0. Suppose -l = -5*g + 215 - t, -3*g - i*l = -106. Is g composite?
True
Suppose -5*f + s - 5*s - 26 = 0, s - 1 = 0. Let q be f/1*(3 - 2). Is (q/(-5))/(3/15) prime?
False
Let c be 4*2/(-12)*18. Is (-2328)/c - (-6)/(-2) a composite number?
False
Let k be 0 - -1 - 2 - 0. Let d(w) = -2*w**2 + 1. Let o be d(k). Is 2 + (o - -1) + 19 composite?
True
Let f(h) = -h - 2. Let k be f(-5). Suppose 2*o - 22 = d, k*o = -5*d + 2*d + 33. Suppose l = 22 + o. Is l a prime number?
False
Suppose 2 = -4*u - 4*x + 18, -4*u - 3*x + 21 = 0. Suppose -2*z - g = -4*z + 3, z + u = 4*g. Suppose 0*p - 4*p - 2*r + 50 = 0, -z*r = -2*p + 29. Is p prime?
True
Let w = 631 - 440. Is w composite?
False
Let m(t) be the third derivative of 13*t**5/12 + 5*t**2. Let l = 3 - 4. Is m(l) prime?
False
Suppose -2*h + 2*n - 1935 = -3*h, 4*h - 7800 = 4*n. Is h a composite number?
True
Let a = 2 - 2. Suppose 3 = -5*v + 3*z + 1, a = -3*v + 3*z - 6. Suppose 3*i - 79 = v*i. Is i a prime number?
True
Let f be -2 + 3 + 0 + 4. Let c = -2 + f. Suppose -c*h - 3*o + 399 = 27, h = o + 114. Is h a composite number?
True
Let w = -5 + 218. Is w prime?
False
Let h(z) = z + 11. Let n be h(-7). Suppose n*d + 78 = 6*d. Is d a prime number?
False
Suppose 4*a - 4*m + 3*m = 889, 3*m = 9. Is a a prime number?
True
Suppose 59 = -0*g + g. Suppose -p + 3*u + g = 0, 2*p - 3*p = -u - 59. Is p a composite number?
False
Is (167 - (1 + 0)) + -3 a composite number?
False
Let y(j) be the first derivative of 10*j**3/3 - 4*j**2 - 7*j + 1. Is y(5) prime?
False
Suppose -r - 4*r = 0. Suppose r = -2*z + 3*z - 115. Is z prime?
False
Suppose -2*v + 2*w = 2, w = -v + 4*v - 3. Suppose -6 = 3*a - 0*a, 0 = -v*z + 5*a + 240. Is z composite?
True
Let j be (-2)/(-7) + (-194)/(-7). Let s(a) = a**2 - 6*a + 14. Let h be s(7). Let w = h + j. Is w composite?
True
Suppose j + 169 = -2*y + 5*y, 3*y = -5*j + 163. Suppose -3*o + 581 + y = 2*z, z - 5*o - 351 = 0. Suppose 3*f - f = z. Is f prime?
True
Let g(t) = -t**3 - 7*t**2 - 6*t + 2. Let b be g(-6). Let d(z) = -z**2 - 3*z**b - 3 + 5*z**2. Is d(3) a prime number?
False
Let u(a) be the third derivative of -a**4/24 - a**3/3 - 2*a**2. Let b be u(-4). Suppose -2*m = -3*d + 19, -b*d + d = -4*m - 3. Is d prime?
True
Let t = -37 - -25. Is 130/1 + t/(-4) composite?
True
Let r = 365 + 852. Is r prime?
True
Let h(j) = -2*j + 1. Let m(f) = f. Let z(s) = -3*h(s) - 7*m(s). Let y be z(-6). Suppose y*g + 2*g - 10 = 0. Is g prime?
True
Let i = -10 - -2. Let k = -6 - i. Suppose -x - k*x = -63. Is x composite?
True
Let w(o) = -o**3 - 4*o**2 + 5*o + 2. Let f be w(-5). Suppose -5*l - 124 = -3*s, 0*s + l = f*s - 71. Let m = 20 + s. Is m a composite number?
False
Suppose 3*c = -11*c + 8554. Is c prime?
False
Let z = -6 + 9. Suppose z*t - 304 = -3*j + 8*j, -5*t - 3*j = -518. Is t prime?
True
Suppose 3*j = -0 + 15. Suppose -4*w = 3*g - 12, -g = j*w - 16 + 1. Suppose 0*d - d + 13 = g. Is d a composite number?
False
Let h be 49/2 + (-4)/(-8). Let q = 66 + h. Is q a composite number?
True
Let o = -20 + 28. Suppose 10*k - 5*k = 4*s + o, s - 3*k + 9 = 0. Suppose s*m = -0*m + 78. Is m prime?
False
Let l = -881 - -1770. Is l a composite number?
True
Let o = -8451 + 3429. Is 1/2 - o/12 prime?
True
Suppose 0 = 2*n - w - 16, 0*w + 40 = 5*n - w. Suppose 2*o - 6*o = n. Is (-6)/9*93/o composite?
False
Suppose 0*v = -2*v + 4. Suppose v = 2*f + 58. Is (12/14)/((-4)/f) a composite number?
True
Is (2/(-3))/((40/11028)/(-5)) a composite number?
False
Suppose 4*o - 5*x - 21 - 27 = 0, -5*o + 60 = -4*x. Suppose y - 431 - 129 = -4*c, -3*y - o = 0. Is c a prime number?
False
Let l(v) be the second derivative of 2*v**3/3 + 3*v**2/2 - v. Let m(f) = 5*f + 4. Let n(o) = -4*l(o) + 3*m(o). Is n(-6) prime?
False
Let g be 165/10 + 6/4. Let a = 32 - g. Is a a composite number?
True
Let z = -892 - -1338. Suppose 5*m + 21 - z = 0. Let q = m + -50. Is q a composite number?
True
Let c = -23 - -41. Suppose 3*s + 57 = 5*g - c, -3*g - s = -45. Is 6/g + (-1126)/(-10) composite?
False
Suppose 0*r + 2088 = 4*r. Let y = r + -287. Is y a prime number?
False
Suppose 10 = d + 2*l, 25 = -2*d + 7*d + 5*l. Suppose -4*u - 4*z = -36, 5*u + d*u - 3*z = 21. Is 2/u + (-116)/(-3) a composite number?
True
Suppose -4*k + 2351 = 3*u, -k + 923 - 333 = 3*u. Is k a composite number?
False
Suppose -5*a = -4*a. Let o be ((-33)/12)/((-1)/4). Suppose 2*i - 31 + o = a. Is i a prime number?
False
Let t(u) = -u**3 - 6*u**2 - 6*u - 3. Let i be t(-5). Suppose -9 + 23 = i*h. Let y(l) = -l**2 + 9*l. Is y(h) prime?
False
Let c(o) = 3*o**2 - o. Let m be c(-1). Suppose -y = -m*y + 66. Is y a composite number?
True
Let o = 753 - 306. Is o a composite number?
True
Let s be (-2)/(-4) + (-14)/(-4). Suppose 2*o + 4*k + 0*k - 838 = 0, s*o = 3*k + 1665. Let z = o - 286. Is z a prime number?
True
Suppose -2*a = -a + 40. Let c = a + -35. Let v = -38 - c. Is v a composite number?
False
Suppose 10*h = -0*h + 590. Is h a composite number?
False
Let v(f) = -f**3 - 6*f**2 + 4*f + 3. Let g be v(-6). Is -1 + 1 + (2 - g) a composite number?
False
Let r be ((-2)/(-4))/(3/66). Let f(i) = i**3 - 12*i**2 + 13*i + 12. Is f(r) composite?
True
Let n = -3 - -3. Suppose -1015 = -n*z - 5*z. Is z a composite number?
True
Suppose -5*p + 1 = -2*g, -4*p + p + 13 = 5*g. Suppose 2 = 2*c - 4. Suppose 3*y + 3*u = 270, 0 = -4*y + c*y + g*u + 87. Is y prime?
True
Suppose n - 2*r - 23 = -2*n, 0 = -5*n + 2*r + 37. Is (-2)/n + (-1177)/(-77) composite?
True
Let z(x) = -x + 19. Is z(9) prime?
False
Let m(c) = -5*c + 1. Let v(s) = -2*s + 5. Let q be v(7). Let a = q - -4. Is m(a) a prime number?
False
Let z(j) = 29*j - 7. Let d be z(4). Let b = d + 78. Is b composite?
True
Suppose 0*s + 4*s - 10 = 2*u, -u = 2*s - 3. Suppose -s*c + 3*c + 3*m - 47 = 0, -2*c = 5*m - 96. Is c a composite number?
False
Let q = 1 + -5. Let x(s) = -2*s**3 + 5*s**2 - s - 3. Is x(q) a composite number?
True
Let f(o) = -o + 202. Let b(u) = u**2 + 5*u + 4. Let v be b(-4). Let w be f(v). Is (-4)/6 + w/6 prime?
False
Suppose 6*i = 2*i - 196. Is (4*-1 - -3)*i a composite number?
True
Suppose -2*m - 16 = -2*l, 3*l - 3*m + 5*m + 1 = 0. Let q = -1 + l. Suppose 0 = -j + q*j - 77. Is j a composite number?
True
Suppose -2*l = -3*i - 2436, 2*l - 3*i + i = 2434. Is (-4)/(-22) - l/(-33) composite?
False
Let k = -16 + -16. Let r = k + 51. Is r composite?
False
Let g be (1/(-2))/((-3)/(-24)). Is (-4)/(32/794)*g composite?
False
Suppose -2*t + 5*x = -178, 4*t + 114 - 422 = -2*x. Is t a prime number?