-4*d - 118 = 3*r - 358, -4*d + 3*r = -216. Let w = 146 - d. Is w a prime number?
True
Suppose 7*c - 3*c = 316. Is c a prime number?
True
Suppose -7 = 4*a - 19. Suppose 0 = a*y - 16 - 5. Let b(t) = 14*t - 9. Is b(y) composite?
False
Suppose 5*w = -0*m - 2*m + 8967, -2*w + 3582 = -4*m. Suppose -5*l = -w + 138. Is l prime?
True
Let d(n) = 19*n**2 - n. Let q be d(3). Let p = q + -397. Let j = -108 - p. Is j a composite number?
True
Let t(b) = -2*b - 8. Let z be t(-6). Is 2/z - 85/(-2) composite?
False
Let r(s) = 2*s + 90. Is r(-14) prime?
False
Let k be (1 - 12)*3 + 2. Let a = k - -44. Is a a prime number?
True
Suppose 5*x + 4*h - 4620 = h, 4*h - 1862 = -2*x. Is x a composite number?
True
Suppose 1 = -3*d - 5. Is 217/(-7)*2/d prime?
True
Let j(q) = 11*q**2 - 3*q - 1. Is j(3) composite?
False
Let n(m) = 1360*m + 55. Let i(b) = -151*b - 6. Let j(h) = -55*i(h) - 6*n(h). Let l be j(1). Is l/3 + (-4)/(-6) prime?
False
Let n = -431 - -1174. Is n composite?
False
Let q = -19 + 35. Let y = q + 67. Is y composite?
False
Let p = 10 + -7. Suppose -y = -6 - p. Is y a composite number?
True
Suppose -56 = -s + 2. Is s a composite number?
True
Suppose 2*k + 4*m = 24, k - 5*m + 3 = -k. Suppose -3*a - 2*f - k = 0, -4*a + 3*f - 6*f = 9. Suppose -4*t = -2*s + 46, 4*t + a*t + 25 = s. Is s composite?
True
Let m(z) = -z**3 + 8*z**2 + 12*z + 16. Is m(7) a prime number?
True
Let q(u) = u**3 - 7*u**2 - 33*u + 12. Is q(13) prime?
False
Let y(p) = 66*p - 5. Is y(13) prime?
True
Suppose 8*p = 6*p - 12. Is (-2811)/(-6) + (-3)/p composite?
True
Let b be 7 + (2 - 1)*-1. Suppose -3*q + b = 0, -3*q + 6*q = 3*u + 21. Is 394/8 - u/(-20) composite?
True
Let l(y) = -y - 2. Let r be l(10). Let j be -4*(63/r)/3. Suppose j*h = 2*h + 165. Is h a composite number?
True
Let r be 1 + 4 + 0 + -2. Suppose 3*w + 4*s + 4 = 15, 4 = -r*w - s. Is (1 + -1)/w - -83 composite?
False
Let l = 1087 - 720. Is l prime?
True
Let f(l) = 35*l**2 - 6*l + 11. Is f(4) a composite number?
False
Let u = -2 + 4. Let l(s) = s**3 - s + 17. Let b be l(0). Suppose -3*m - u = -8, 3*p + 4*m = b. Is p a composite number?
False
Suppose 24003 = 7*q + 6076. Is q composite?
True
Suppose 4*c - 32 = 180. Let t be ((-2)/3)/(2/96). Let n = c + t. Is n a composite number?
True
Let c = 10 - 7. Suppose 4*g - 145 = c*g. Suppose -g = 4*r - 4*p - 1181, 5*r + 4*p = 1277. Is r a composite number?
False
Let d(r) = r**2 - 2*r - 7. Let h(q) = -q. Let v be h(-5). Let x be d(v). Is 1 + -2 + x*7 composite?
True
Let d = -3 + 6. Suppose 73 = 5*p - 2*j, d*p + 4*j = -0*p + 49. Is p a composite number?
True
Let f(c) = -c - 1. Let g(y) = 44*y + 3. Let h(r) = -6*f(r) - g(r). Suppose -j + 16 = -3*j. Is h(j) a composite number?
False
Suppose 4*q - q - 465 = 0. Let i = 282 - q. Is i a prime number?
True
Let u = -48 + -114. Let f = 368 + u. Is f a composite number?
True
Let r(u) = -43*u - 3. Is r(-2) composite?
False
Suppose 0 = -q + 5*q - 28. Let l(s) be the third derivative of s**6/60 - s**5/6 + 5*s**4/24 - 5*s**3/3 - 4*s**2. Is l(q) composite?
True
Let f(r) = -58*r**2 + r - 2. Let z(a) = -115*a**2 + 2*a - 5. Let l(i) = -5*f(i) + 2*z(i). Is l(1) a composite number?
False
Suppose 3*g - 665 = -5*r, -3*g - r + 376 + 273 = 0. Is g a composite number?
True
Let s = -3 + 0. Let w = s + 5. Suppose w*j + 0*j = 130. Is j a composite number?
True
Let l(g) = 2*g + 5. Let s be l(4). Suppose -4*v + a = -83, -s = 2*v - a - 54. Is v composite?
True
Is 0 - -5 - (-6)/(-2) - -333 a prime number?
False
Is ((-52)/32)/(1/2)*-188 prime?
False
Let w be 12 - 9 - (-2 + 0). Suppose -w*n = -8*n + 162. Let y = n + -32. Is y a composite number?
True
Let t(d) = -150*d**3 - d**2 + d + 1. Is t(-1) composite?
False
Let w = -92 + 280. Let p(g) = g**3 - 12*g**2 + 12*g - 7. Let q be p(11). Suppose -h - 2 = -3*a - 51, q*h - 4*a = w. Is h a composite number?
True
Let f = -2 - -129. Is f prime?
True
Suppose -4*y - 92 = -2*n + 182, 4*n = -y - 82. Let q = 161 + y. Is q a composite number?
True
Let k(c) = 119*c. Is k(1) composite?
True
Suppose -5*u - 200 = 5*x, 4*u + 197 = -7*x + 2*x. Suppose 0*w = 5*w, 0 = 3*t + 2*w - 180. Let k = t + x. Is k a composite number?
False
Let m(v) be the third derivative of -v**5/60 - v**4/6 - v**3/6 - 2*v**2. Let d be m(-3). Is -2*((-21)/6 - d) a prime number?
True
Suppose 2*v + 55 - 189 = 0. Suppose -5*t + 270 = z, t - v + 24 = 2*z. Is t a composite number?
False
Let n(g) = -49*g + 3. Let i be n(-3). Suppose 5*l - i = 4*j, -3*l - j = 13 - 120. Is l prime?
False
Let n(o) = -o. Let x be n(-1). Let k be x*6 - (-1 - -3). Suppose a = -y + 62, 5 = 3*y - k*y. Is a a composite number?
False
Suppose -4*b = 19 + 53. Let o = -9 + 5. Is o/b - 331/(-9) composite?
False
Let t = -222 - -371. Is t a composite number?
False
Let c(y) = -16*y + 1. Let q(p) = p**2 + 7*p + 4. Let d be q(-6). Is c(d) prime?
False
Suppose 2*g - 3*o - 2*o + 54 = 0, 0 = -5*g + 3*o - 97. Let c = g - -76. Is c a prime number?
True
Suppose -5*d + 12*d = 3157. Is d a composite number?
True
Let o(k) = 22*k - 6. Suppose 4*m = -3*z + 31, 8*m + z - 25 = 3*m. Is o(m) composite?
True
Let v = -4 + 6. Let m be (-10002)/(-54) + (-2)/9. Let o = m - v. Is o composite?
True
Let m be (-90)/(-21) - 10/35. Suppose -4*c - 472 = -4*d, 0 = 3*d + m*c - 64 - 269. Is d composite?
True
Suppose -5*t = -2*w - 3691, -t - 4*t = 3*w - 3701. Is t composite?
False
Suppose 4 = -f - 4*c - 10, 0 = -5*f - 4*c + 10. Let w = -3 + f. Is w prime?
True
Suppose 4*n - 2*n = 6. Suppose 2*k = n*a - 60 - 166, -5*k = -5*a + 375. Let b = 3 + a. Is b prime?
True
Let b = -40 + 2. Suppose -5*s - 50 = 2*a, -2*s + 6*s + 50 = -2*a. Let l = a - b. Is l composite?
False
Let d be 4 - ((-1)/1 - 1). Let c(t) = t**2 + 2*t - 4. Let n be c(d). Let o = n - 11. Is o a composite number?
True
Suppose c = 6*c - 655. Is c a prime number?
True
Let d = -361 + 1263. Let h = -463 + d. Is h a composite number?
False
Suppose 0*w - 119 = -w. Is w a prime number?
False
Suppose 0 = i + v - 310, -2*v = 4*i + 3*v - 1243. Is i a prime number?
True
Let x be 8*((-9)/(-6))/3. Suppose x*k - 1629 = k. Is k composite?
True
Suppose -3*r - 5*g + 30 + 5 = 0, -5*g + 5 = -3*r. Suppose r*v = 5*y - 2140, -17 = -5*v - 2. Is y composite?
False
Let g = 1689 - -460. Is g a prime number?
False
Is (-1 + -1)*(-445)/10 composite?
False
Let a(t) = -6*t + 3. Let c = -37 + 5. Let b = c + 21. Is a(b) prime?
False
Suppose 7 = 4*n + 15. Is ((-6)/(-18))/(n/(-762)) prime?
True
Let t(c) = -6*c**2 + 5*c + 2. Let l be t(6). Let f = l + 309. Suppose -o = 4*o - f. Is o prime?
False
Is -8*2/(-4) + 259 a composite number?
False
Let n = 11 - 23. Let f = n - -25. Is f prime?
True
Let t(p) = 24*p**2 - 4. Let a be t(5). Suppose -839 = -5*r + a. Is r composite?
True
Let m(d) = d. Let c = 1 + -2. Let l(t) = -t**2 - 2*t + 4. Let p(u) = c*l(u) - 2*m(u). Is p(9) composite?
True
Suppose -g = -4*g + 2202. Is g prime?
False
Let q(d) = -28*d - 1. Is q(-11) composite?
False
Let o = 141 - 66. Let n(v) = v**3 + o - v**2 - 24 + 106. Is n(0) a prime number?
True
Let m(s) = 1 + s**3 - 3 - 4*s**2 + 0. Suppose -o - 8 - 6 = -2*a, -5*o - 20 = 0. Is m(a) prime?
True
Suppose -2*o = i - 6, 2*o - i - 4 = -o. Let f be 1*(-1)/2*o. Is 2*(21/(-6))/f prime?
True
Let o = 346 + -183. Is o composite?
False
Let d = 110 - 73. Is d a composite number?
False
Suppose 2 = -2*r + 4. Is (2 - (-3 + -92))/r composite?
False
Let l(r) = -53*r - 1. Is l(-4) a prime number?
True
Let h = 7 + -4. Let g be 0 + 5/((-5)/h). Is 0 + (-3)/g + 34 composite?
True
Suppose -4*u + 5 = 5*v + u, -v + 13 = -5*u. Suppose -5*s + 261 = z + 65, 0 = -3*z + v. Is s composite?
True
Let k(y) = y**2 - 2*y + 2. Let v be k(3). Suppose -v*w + 242 = -5*a + 82, -2*w + a = -69. Suppose 0 = 4*r - 4*h - 216, 178 + w = 4*r - 3*h. Is r composite?
False
Let p(d) = 37*d - 25. Is p(14) a prime number?
False
Let p be 3/(-2 - 14/(-4)). Suppose 0 = -4*i + 6 + p. Is ((-42)/10)/(i/(-10)) a composite number?
True
Let h = 44 + -31. Is h a composite number?
False
Let n(c) = c**3 + 5*c**2 + 2*c + 6. Let v be n(-5). Let z = 9 + v. Let h = 30 - z. Is h a composite number?
True
Let y(t) = -4*t**3 - 4*t**2 - 3*t. Let z(x) = -3*x**2 + x. Let g(f) = f**3 - 5*f**2 + 5*f - 3. Let r be g(4). Let m be z(r). Is y(m) prime?
False
Suppose -4*u - u + k + 3334 = 0, -u + 5*k = -662. Is u prime?
False
Suppose 2557 - 337 = 