24) - b/12. Is 2/12 - m/12 composite?
True
Suppose -5*d = 5*q - 1330, 5*d + 2*q = 817 + 504. Is d a prime number?
True
Suppose -4*g = g - 140. Suppose 0 = -y + 11 + g. Suppose y = 6*l - 3*l. Is l a prime number?
True
Suppose t + 5*s - 1060 = 0, -s - 7066 = -5*t - 1792. Is t composite?
True
Suppose d + 3 = 5. Suppose z + d*k = 79, -4*k = -3*z + 140 + 87. Is z a prime number?
False
Suppose -s - 3*s + 12 = 0, -4*a - 3*s + 17 = 0. Suppose u - 1 = -a. Is ((-1)/(-3))/(u/(-159)) a prime number?
True
Suppose -2*y + 1112 + 1086 = 0. Is y composite?
True
Let c(f) = f**2 + 4*f - 8. Let g be c(-6). Is (259/(-28))/((-1)/g) a composite number?
False
Let q(p) = -4*p + 1. Let t be q(-2). Suppose 5*l + 4*a - 36 = t, 5*l + 3*a = 50. Suppose -5*h + 102 = -l. Is h a composite number?
False
Suppose 3 = -f + 5. Let i = -38 - -38. Suppose -5*v + 5 = i, f*v + v - 141 = -3*n. Is n prime?
False
Let w = -59 + 21. Is w/(-3)*9/6 a composite number?
False
Let t(k) = -20*k - 23. Is t(-9) composite?
False
Suppose 4*g + k - 6549 = 0, 2*k - 3*k = -5*g + 8184. Is g composite?
False
Let t be (2*-6)/3 - 2. Let q(c) = c**2 + 6*c + 2. Let i be q(t). Suppose -5*m + 65 = 5*a, -i*a + 29 = -0*a - m. Is a a composite number?
True
Let h = 1264 - 113. Is h composite?
False
Let d(h) = -2*h**3 - 6*h**2 - 6*h - 3. Let b = 3 - 1. Let i = b - 7. Is d(i) composite?
False
Let q = -1672 - -3423. Is q prime?
False
Let o = -7 + 5. Is o/(-2) + -1 + 89 composite?
False
Let m(p) = -23*p + 9. Let y(j) = 23*j - 8. Let l(h) = 2*m(h) + 3*y(h). Let v(z) = z**2 + 3*z - 3. Let c be v(2). Is l(c) a composite number?
True
Suppose 0 = -3*w + 2*w + 5*x - 19, -w + x + 1 = 0. Suppose w*d = d + 515. Is d a composite number?
False
Suppose -6 = 11*k - 14*k. Suppose -s = -k*s + 209. Is s composite?
True
Let r be (-2)/(-4) - (-3)/2. Let g be (10/(-4))/((-1)/r). Suppose -3*y + 4*i + 13 = -i, y = i + g. Is y composite?
True
Let i(c) = c**3 + 14*c**2 - 11*c - 17. Is i(-13) a composite number?
True
Suppose 2*f = 4*n - 328, n - f = -6*f + 71. Let r = n + -56. Is r a composite number?
True
Let b be (36/8)/(6/176). Let n = b + -53. Is n a composite number?
False
Let r(t) = 5*t**2 + 7*t - 7. Is r(-6) a prime number?
True
Suppose -62 = -3*n + 421. Is n a composite number?
True
Suppose 4*n = 4 + 4, 260 = 2*y - n. Is y composite?
False
Let l = 331 + -232. Suppose -3*v + 4*v - 4*f = l, 10 = -2*f. Is v composite?
False
Let r = -4 + 6. Suppose 2*q + 6 = -r*z, 3*z + 2 = z. Is ((-8)/(-12))/(q/(-69)) prime?
True
Let o(d) be the second derivative of -5*d**4/4 + 3*d**3/2 + d**2/2 + 2*d. Let l(u) = -16*u**2 + 8*u + 1. Let f(v) = -7*l(v) + 6*o(v). Is f(2) composite?
False
Let y(i) = i**3 + 6*i**2 - i + 3. Let t be y(-5). Let m = 58 - t. Is m prime?
False
Suppose 5*g - 8456 = -f + 4*f, 3*f - 8474 = -5*g. Is g prime?
True
Let l be 5/(-4)*12/(-3). Let g(x) be the third derivative of 7*x**4/12 - x**3/2 - x**2. Is g(l) a composite number?
False
Let u be 1713/(-2)*20/(-30). Suppose 4*c + 4*s = c + u, -s = -4. Is c composite?
True
Let b(i) = -4*i + 4. Let y be b(-4). Let k = -5 + y. Suppose -n - k + 37 = -3*l, 0 = -4*n + 3*l + 133. Is n composite?
False
Let l be -1 - (7*-5 + -2). Let w be (2 - l/15)*-5. Suppose 3*o + w*o - 385 = 0. Is o composite?
True
Let g(k) = 17*k + 6. Let w(j) = -j**2 + 2*j - 2. Let n be w(3). Let y be g(n). Is y/2*(-10)/5 a composite number?
False
Let b be (212/(-6))/((-2)/(-6)). Let u = b + 330. Let j = u + -97. Is j composite?
False
Let j = 153 + -56. Is j composite?
False
Let k(j) = -2*j**3 - 7*j**2 + 4*j - 8. Is k(-7) composite?
False
Suppose -4*k + 4351 = 1187. Is k composite?
True
Suppose d - 356 = -3*d. Is d a prime number?
True
Suppose -b + 571 = -5*v, -4*b - 5*v + 2284 = -0*b. Is b composite?
False
Let j(f) = f**3 - f**2 + f + 5. Let z be j(0). Suppose 0 = z*o + 1 - 746. Is o prime?
True
Suppose 2*f = -2*f. Suppose -4*y - 179 = -5*k, f = -2*y - 2. Is k a composite number?
True
Suppose 3*y - 92 = 46. Suppose 2*n = -3*l + y, 2*n + 27 = 4*l - 25. Is l prime?
False
Suppose -30 - 122 = 4*h. Let f = 59 + h. Is f prime?
False
Suppose t - 2 = 0, 4*g = 3*g + t - 60. Let d = 20 + g. Is d/(-4)*4 - 1 prime?
True
Suppose m = -6*m + 721. Is m prime?
True
Suppose 4365 - 578 = 7*s. Is s prime?
True
Let n = 2047 - 1394. Is n prime?
True
Let w = -133 - -164. Is w a composite number?
False
Let h = -120 + 27. Let n be h/7 - (-6)/21. Let t = -6 - n. Is t a composite number?
False
Suppose 3*b = -0*b - 81. Let r be ((-2)/6)/(3/b). Suppose 4*l - 41 = -r*d, l - 59 = 3*d - 7*d. Is d a prime number?
False
Let k be -1 - (3 - 4) - 101. Suppose 2*t = 3*c + 200, -2*t = c + 2*t + 90. Let l = c - k. Is l composite?
False
Let i be 2/5 - (-2)/(-5). Suppose -5*o = -2*f - 6, i = -4*o + 4*f + 12. Suppose -3*h + 4*h - 31 = o. Is h prime?
True
Let u be (1 + 0)/(2/340). Let h(n) = -29*n**3 + n**2 + n - 1. Let v be h(1). Is (u/(-8))/5*v prime?
False
Suppose 3 = v + 8. Let d(k) = -k - 3. Let x be d(v). Suppose -x*n + 173 = r + 2*r, -n = -4. Is r prime?
False
Let r(o) = 13*o**2 + 9*o - 2. Let z be r(-8). Let a = -525 + z. Suppose -t = 2*x - a, 4*x - 267 - 665 = -4*t. Is t a composite number?
False
Let h(p) be the third derivative of 0*p + 1/24*p**4 - 1/60*p**5 - p**2 + 1/6*p**3 - 9/20*p**6 + 0. Is h(-1) a prime number?
True
Suppose 0 = 23*c - 33*c + 16390. Is c prime?
False
Let b(m) = -1. Let t(p) = -1. Let d(h) = -2*b(h) + 3*t(h). Let y(f) = -6*f - 2. Let k(x) = -3*d(x) + y(x). Is k(-6) a composite number?
False
Let x(u) = -13*u - 16. Let r be x(11). Is (2/1 - r) + 2 composite?
False
Let m(g) = -38*g**2 + 95*g**2 - 4*g + 1 + 2*g. Let v be m(1). Is v - (-2 - 0 - -3) prime?
False
Let t(i) = -13*i**3 + 2*i**2 - 1. Let h be t(-1). Suppose 0 = -4*r + 2*n + h, -13 = -3*r + 5*n - n. Is r a composite number?
False
Is -4874*2/8*-2 a composite number?
False
Suppose 5*y = -5*g + 30, 7*g = 3*g + 12. Suppose y*m - 5 = 2*m. Suppose -m*l + 106 = j - l, 0 = -j + 2*l + 106. Is j a prime number?
False
Let v(s) = s**3 + s. Let x be v(-1). Let w = x + 6. Is w composite?
True
Let i = 8 + -3. Is 1/i - 792/(-15) a composite number?
False
Let s(p) = -p**3 - 7*p**2 + 8*p + 3. Let o be s(-8). Suppose 0*t + 714 = -o*t. Let w = -159 - t. Is w a prime number?
True
Let x(t) be the second derivative of -13*t**3/6 - t**2/2 + 2*t. Let h be x(-3). Suppose h = c + c. Is c prime?
True
Suppose -4 = u, -5*o - 2*u - 5 = 3. Let m(y) = y**2 - y + 201. Is m(o) a prime number?
False
Suppose -2*a - 3*y - 2 = 1, 0 = -2*a + y + 9. Suppose -v - 24 = a*v. Is (-4)/v + (-56)/(-6) composite?
True
Let p = -17 + 12. Let w(i) = 2 + 0*i - i - 4 + 4. Is w(p) composite?
False
Let t(q) = -7*q**3 - 4*q**2 + 6*q - 3. Let s(a) = -a**3 + a. Let y(o) = -6*s(o) + t(o). Suppose -3 = 3*b + 12. Is y(b) composite?
True
Let y = 818 - 517. Is y composite?
True
Suppose 2*n + 5*c - 47 = -n, 5*c = 20. Is 509/4 - n/36 prime?
True
Let x(r) = r**2 + 18*r - 20. Is x(11) composite?
True
Let s(o) = -o**3 - 4*o**2 - o - 5. Is s(-5) prime?
False
Let q(s) = -2*s**3 + 3*s**2 - 1. Let r be q(-4). Suppose -k - 195 = -3*k + 5*y, -r = -2*k + y. Is k a composite number?
True
Suppose -7*p = -5*p - 2. Is (p + 3)/((-4)/(-34)) composite?
True
Let j(d) = -7*d**2 + 8*d + 9. Let c(w) = -w**2 + 1. Let q(k) = 6*c(k) - j(k). Is q(9) a composite number?
True
Let x(g) = -g**2 + 2*g + 3. Let t be x(7). Let d = 114 + t. Is d a prime number?
False
Let u(m) = m**2 - 2*m. Let g be u(-2). Is 2/8 - (-630)/g a composite number?
False
Let c(v) = v**3 - 9*v**2 + 9*v - 8. Let y be c(8). Suppose y = -3*l - 0*l + 885. Is l a prime number?
False
Let g(q) = q**3 - 15*q**2 + 20*q - 11. Is g(15) a prime number?
False
Suppose 2*y = -y + 2097. Is y a composite number?
True
Let g(o) = o**3 + 6*o**2 + 3*o - 6. Let l be g(-5). Suppose -4*y + 3*y + l = 0. Suppose -121 = 3*f - y*f. Is f composite?
True
Let x = 66 - 36. Is (-3)/(-2 + 51/x) a prime number?
False
Is 3179/11 - (4/(-2) - -2) a composite number?
True
Suppose 0 = 37*a - 36*a - 307. Is a composite?
False
Let a be (4/(-12))/((-4)/72). Suppose 79 = a*o - 5*o. Is o composite?
False
Let w(q) = 18*q**2 - 6*q - 17. Is w(5) prime?
False
Is ((-12)/8)/(15/(-21590)) a composite number?
True
Let v(j) = j**3 - 3*j**2 + j - 1. Let x be v(3). Is (-6)/(-3) + 95 - x composite?
True
Suppose 3*b + 50 = 323. Is b a composite number?
