*v - 1526 = -2*v. Is v composite?
True
Suppose 364 = 2*b - 96. Let o = -516 + 1217. Suppose -h - b = -o. Is h composite?
True
Suppose 4*o + 31 = -0*i - i, o - 3*i + 11 = 0. Let j(t) be the first derivative of -t**4/4 - t**3 + 9*t**2/2 + 5*t + 10. Is j(o) a composite number?
True
Let o = -28 + 31. Suppose -5*q = 2*n + o*n + 15, -3*n = 5*q + 11. Is -2 + -1 + (-56)/q a prime number?
True
Let a(d) = -d**3 - 10*d**2 - 2*d - 11. Let w be a(-10). Suppose -k + 6*k + 470 = 0. Is k/(((-12)/w)/2) prime?
False
Suppose 2*d = 2*a - 0*a - 24650, 0 = -5*d - 10. Is a composite?
False
Let m(a) = -a**3 + 3*a + 47. Let q be m(0). Suppose q = -3*v + 194. Is v composite?
True
Suppose 7*g - 11*g = -780. Let p = g + 172. Is p prime?
True
Let z = -869 + 1486. Suppose 133 = -4*t + z. Is t a prime number?
False
Suppose -5*w + p - 753 = 5528, 2*w + 2509 = -3*p. Is (w/(-20))/((-2)/(-5)) a composite number?
False
Suppose 0 = p + 4*f + 9, 0 = -3*p + 2*p + 2*f + 9. Suppose 2*b = 5*j + 2522, 0 = b + p*j + j - 1287. Suppose 4*u = -403 + b. Is u a composite number?
True
Let j(b) = 16*b**2 + 5*b - 5. Let k(g) = -47*g**2 - 15*g + 15. Let n(q) = -11*j(q) - 4*k(q). Is n(2) a composite number?
False
Let g(b) = b**3 - 9*b**2 - 9*b - 6. Let j be g(10). Suppose 0 = j*h + 4, r - 2*h = 4*r - 4111. Is r composite?
True
Suppose 3*h = -0*h - 42. Let v be ((-4)/6)/(h/63). Suppose m - 388 = -v*m. Is m prime?
True
Suppose -s + 2*s + 3*b = -3, -3*s + 12 = 2*b. Suppose r = 4*r - 6723. Suppose 3*d = -s*d + r. Is d a composite number?
True
Suppose 0 = -k + 3 + 39. Suppose -5*l - k = -u, 0*l = -4*u - 4*l + 168. Suppose -5*p + 73 + u = 0. Is p a composite number?
False
Is (3696 + (-8 - -3))*1 a composite number?
False
Suppose 0 = 3*y - 19686 - 30261. Is y prime?
True
Suppose -14*p + 21864 + 177832 = 0. Suppose -7*w - w = -p. Is w composite?
False
Suppose -4346 = 3*f + 586. Let i = -145 - f. Is i prime?
True
Let i = -4 + 13. Let n be 3*-1 - (3 - i). Suppose -n*y + 7*y - 836 = 0. Is y a composite number?
True
Is 1/((1 - 7)/(-71106)) a prime number?
False
Let u(f) = 290*f + 37. Let p = -92 - -100. Is u(p) a prime number?
True
Let f = 4477 + 1446. Is f prime?
True
Let h be 0 - 1 - (7 - -3 - 3). Let f(a) = -4 + 6*a - 2*a + 9 + 0*a + a**2. Is f(h) a prime number?
True
Let r = 2775 + -676. Is r prime?
True
Let t = -5 + -3. Let n be (-20)/t*24/(-20). Is 409 - n*6/(-9) a prime number?
False
Is (20 + -21)/((-4)/93908) prime?
False
Let w(t) = -t + 3. Let i be w(-16). Suppose 1 - 15 = 3*v + 4*q, -3*v - i = 5*q. Suppose 523 = -v*p + 6*p - 3*l, l + 5 = 0. Is p prime?
True
Let h = -31 - -35. Suppose h*n + 5907 = -w + 4*w, -3*n - 7883 = -4*w. Is w composite?
False
Let x(w) = 0 + 2 - 4*w - 30 + w**2 + w + 12. Let a(f) = -2*f**2 + 6*f + 5. Let i be a(5). Is x(i) a composite number?
True
Suppose 5*j - 158685 = -5*k, 0 = j + 5*k - 12267 - 19486. Is j composite?
True
Let a = -7424 - -10481. Is 4/(-18) - a/(-27) prime?
True
Is (6 + (3 - (-6 - -8)))*2143 prime?
False
Let g be 13/26 - 3/(-2). Suppose 0 = g*x - 2*b - 712, 1756 = 5*x + 5*b - 2*b. Is x a prime number?
True
Let c(k) = k**2 - 3*k - 1. Let j be c(-8). Suppose 3*z - 468 = -j. Is z prime?
True
Let d = -2 - -15. Let i = -3 + d. Is (-30)/(-12)*268/i prime?
True
Suppose 21*o - 30639 = 75306. Is o a composite number?
True
Let k be -4*((-1)/2 + 0). Let i be -2 + 10/k - 6. Is (-1)/(922/(-307) - i) a composite number?
False
Let d(g) = g**2 + g + 2995. Let j be d(0). Suppose 3*s = -3*b + 2991, -s - b = 2*s - j. Suppose 2*r - 1135 = -4*c - 141, -2*r = 5*c - s. Is r a prime number?
True
Suppose 0 = 2*p + 2*f - 33840, 2*p - 27929 = 2*f + 5899. Is p prime?
False
Suppose -t = -0*l - 4*l - 1701, 5*l = 3*t - 5089. Is t composite?
False
Suppose f - 2 + 20 = -5*r, 3*f = -3*r - 6. Suppose -1206 = -f*h + 212. Is h a prime number?
True
Let p(m) = -m - 1. Let t be p(-3). Suppose 153 - 171 = 6*w. Is (-165)/10*t/w a composite number?
False
Suppose 6*j - 18*j + 30432 = 0. Suppose 4*s + f + 2*f - j = 0, 2*s = -5*f + 1282. Is s a composite number?
False
Let z = 24 + -34. Let m(k) = 2*k**2 - 10*k - 7. Is m(z) composite?
False
Let v be ((-80)/(-6))/(18/(-1323)). Let c = -673 - v. Let w = c + -68. Is w a composite number?
False
Suppose -20 = 2*c - 6*c. Let o = 8 - c. Suppose 286 = o*f - 143. Is f a composite number?
True
Suppose 2*x - 9800 = 7*h - 4*h, 4*h - 9814 = -2*x. Is x a composite number?
False
Suppose 0 = -3*l + 20988 + 1206. Is (4/(-3) - 2)/((-36)/l) prime?
False
Suppose -3*v = 3*o - 52609 - 12077, -5*o + 107805 = 4*v. Is o composite?
False
Suppose 0 = f - 5*j - 3, 6 = 2*f - 3*j + 5*j. Suppose 105 = -2*h - f*h. Is (-14)/h*1545/2 prime?
False
Let k(i) = i**2 - i - 6. Let s be k(-5). Suppose 508 = s*x - 20*x. Is x a prime number?
True
Suppose -4681 = -6*c - 259. Is c a prime number?
False
Suppose -191817 = 16*n - 25*n. Is n composite?
False
Suppose -4*u + 2 + 0 = l, 4*u + 4*l = 8. Suppose u = z - 400 - 241. Is z a composite number?
False
Let t = 3 + -4. Let h be 1 + -3 + 8 + t. Suppose 11 = -h*r + 41. Is r a prime number?
False
Let a(g) = -g**2 + 54*g - 105. Let q be a(48). Let l = -34 + 74. Let t = q - l. Is t a prime number?
False
Let g = 1589 + -150. Is g a prime number?
True
Let x be (-4)/10 - (-176)/40. Let z be (6 + -6)/((-6)/(-3)). Suppose z = -4*k + x*g + 204, -2*g + 1 - 158 = -3*k. Is k prime?
False
Suppose 3*z - 18245 = -4*y, -2*y + 3*z - 2703 = -11830. Is y composite?
True
Suppose 0 = 14*p - 13*p + 4*z - 11859, -5*p = z - 59257. Is p prime?
False
Let y be ((-2)/(-6))/((-2)/(-48)). Suppose y*z - 48734 = -10566. Is z prime?
False
Is (12/(-4))/(-1) + 1288 a composite number?
False
Let a(h) = h**2 + 8*h + 15. Let z be a(-6). Suppose -z*y + 1249 = -c - 94, -2*y = -3*c - 886. Is y a prime number?
True
Suppose -3460 = -4*o + 12336. Is o a prime number?
False
Let b(p) = -p**3 + 4*p**2 - 6*p + 7. Let o be b(3). Let c(j) = -1824*j**3 - 5*j**2 - 5*j - 1. Is c(o) composite?
True
Let z be 2874 + -1 + 9 + -5. Suppose 3*q + 3*i - z = 0, 2*q - 1912 = 2*i - 7*i. Is q prime?
False
Suppose f + a = -4*a + 2369, 9361 = 4*f - 3*a. Suppose -4*q + 2*k = -f, -q - 5*k - 13 = -610. Is q a composite number?
False
Suppose -13*s - 4*a + 55297 = -8*s, -4*a = -2*s + 22102. Is s composite?
False
Let t = -2 - -4. Let z(p) = -5*p**2 - 3 + t*p**2 + 4 + 4*p**2 - 8*p. Is z(12) a prime number?
False
Let h(d) = 40*d**3 + 6*d**2 - 10*d + 17. Is h(6) a composite number?
True
Let t be -16 - ((-18)/(-3) - 2). Let o = -18 - t. Is (-4867)/(-7) + o/(-7) a prime number?
False
Let x = -208089 + 347878. Is x composite?
True
Suppose 13*q = -5*a + 14*q + 7115, 4*q = 0. Is a a prime number?
True
Suppose -4*y = -3*s - 24, 5*s = y - 6*y - 5. Suppose -2*q - 2536 = -4*q + 3*r, -3778 = -y*q - 2*r. Is q a prime number?
False
Let k(w) = -1829*w**2 + w - 1. Let o(s) = 915*s**2 - s + 1. Let g(y) = -6*k(y) - 11*o(y). Is g(2) composite?
True
Let g(o) = o**2 + 4*o - 10. Let y be g(-6). Suppose 5*f - 1281 = -y*b, 3*f + 0*b = 4*b + 753. Suppose -2*s = -s - 2*u - 47, -5*s + 5*u + f = 0. Is s composite?
True
Let k(b) = b**3 - b**2 + 18*b - 13. Is k(7) prime?
False
Suppose -13 = -3*t + h - 2, 2*h = -2*t + 2. Is (21 - 4)/(t/69) a composite number?
True
Suppose -5*h - 2*n - 25 = 365, -n = 3*h + 235. Let g = 9 - h. Is g prime?
True
Let r(s) = s**3 + 7*s**2 + 7*s + 9. Let n be r(-6). Suppose 4*a = -0*a + 2*z + 4602, n*a + 3*z - 3456 = 0. Is a composite?
False
Is -10 - -28821 - (-18 - -7) a prime number?
False
Suppose -12*c - 14*c + 49556 = 0. Is c prime?
False
Suppose y - 19029 = 4*f + 7960, 5*y = -f + 134903. Is y a composite number?
False
Suppose 0*z - 80 = -3*z + c, -5*z + 3*c = -140. Is 20430/z + -2 - 3/15 composite?
True
Let y(o) = -o**3 - 6*o**2 - 3*o + 10. Let u be y(-5). Let z(g) = g**3 - g**2 + 533. Let w be z(u). Suppose -2*k - w = -3*k. Is k a composite number?
True
Suppose -5*q = -4*c + 5427, 2*q - 1313 = -2*c + 1387. Suppose -36*h + 39*h - c = 0. Is h a prime number?
False
Suppose 3*z = -3*t + 9795, -13*z = 5*t - 11*z - 16313. Is t a prime number?
False
Suppose -b = 4*p - 32199, -5*b = -12 - 3. Is p a composite number?
True
Suppose -3*g + v = -217, g + 3*g + 2*v = 286. Suppose 4*q + g = -0*q. Let s = q - -95. Is s composite?
True
Let w = 1240 + -843. Is w a prime number?
True
Suppose 291785 + 548168 = 17*a. Is a a composite numbe