. Suppose 4457 = j*o - 3*v, 0*v + 3544 = 4*o + 3*v. Is o composite?
True
Let d(l) be the first derivative of -129*l**2/2 - 7*l + 11. Is d(-6) prime?
False
Suppose -2*j = -0*j - 5*t - 26, t = -j - 1. Suppose 1 - 7 = -j*r. Suppose -4*q = -i - 133, -r*q + 59 = -3*i - 0*i. Is q prime?
False
Let o(u) = u**3 + 6. Let q = 23 - 23. Is o(q) composite?
True
Let q = 4069 - 2767. Let y = q + -559. Is y a composite number?
False
Let a(h) = h**2 + 26*h - 205. Is a(16) a prime number?
True
Suppose -26*c - 239805 = -1197281. Is c a composite number?
True
Suppose -2 = 5*v + 8, 5*k - 2*v = 64. Let f be ((-158)/(-8))/(3/k). Suppose 4*t + 5*r - f = 0, 11 = t - 2*r - 12. Is t a prime number?
False
Suppose 3*l - 548 = -h, 3*l - 1101 = -2*h - 2*l. Suppose 2*q = 839 + h. Is q prime?
True
Is -2 - 225228/(-15) - 7/35 prime?
True
Let j(o) = -2*o**2 - 14*o - 14. Let i(q) = 3*q**2 + 29*q + 29. Let z(c) = -3*i(c) - 7*j(c). Suppose 471*p - 470*p = 8. Is z(p) composite?
False
Let r be 1 + 0 + 945 + 14. Suppose -w - w = 3*h - 952, -2*w = -h - r. Is w a prime number?
True
Let w = 7 + -4. Let i(g) = 9*g**2 - w*g + 5 + g - 3 + 1. Is i(2) a prime number?
False
Let z(d) = -d. Let i be z(2). Let l be (-3336)/(-54) + i/(-9). Let y = -27 + l. Is y composite?
True
Let k(r) = 29*r**3 - 9*r**2 + r + 22. Is k(5) a prime number?
False
Let s = -124 + 157. Is s prime?
False
Let s(q) = -q**3 - 7*q**2 + 7*q - 4. Let c be s(-8). Suppose -c*m + 886 = -2*m. Is m prime?
True
Suppose -3*h + 2*a = -47789, -h + 3*a - a = -15935. Is h a prime number?
False
Suppose -f - a + 1013 = 0, 2*f - f - 4*a = 1008. Suppose c = 5*c - f. Is c a composite number?
True
Suppose -11*m - 8 = -13*m. Suppose 3*i - t = 1924, -5*i + 644 = -m*i - 3*t. Is i a prime number?
True
Suppose -x - 21736 = -2*m, 0 = 3*m + 52*x - 53*x - 32605. Is m prime?
False
Let b = -217 - -332. Let p = 170 - b. Is p a composite number?
True
Suppose -2*s + 24660 = 4*n, 15*s - 18509 = -3*n + 10*s. Is n a composite number?
False
Suppose 3*p - 5*p = 0. Suppose 2*k + 3 - 13 = p. Suppose -q - 764 = -k*q. Is q a composite number?
False
Let m(w) = -43*w**2 - 5*w + 1. Let q be m(5). Let t = -96 - q. Is t a prime number?
False
Let v be (-15)/(-10) - (3 + 4710/(-4)). Suppose 2*b - v = 2798. Is b a prime number?
True
Let r(d) = 1470*d**2 + 17*d + 3. Is r(2) prime?
False
Let t(p) = -628*p - 4. Let a be t(-3). Suppose -a = -5*k + 5*b, b - 6*b = 5*k - 1850. Is k a prime number?
True
Suppose p - 2 = -23. Let r = p - -10. Is (-11)/((-32)/r - 3) composite?
True
Let k(q) be the third derivative of -7*q**4/12 + 215*q**3/6 - 57*q**2. Is k(0) prime?
False
Let w(s) = 6*s**2 + 3*s + 1. Let p(o) = 11*o**2 + 6*o + 2. Let h(i) = -3*p(i) + 7*w(i). Let c be (-3)/(-12)*2*-10. Is h(c) a composite number?
False
Let i(f) = -5*f + 1. Let s(q) = -4*q + 1. Let w(r) = -6*i(r) + 7*s(r). Let n be w(1). Suppose -n*y = y - 3*x - 325, 4*x = -5*y + 383. Is y a composite number?
False
Suppose -8129 = -4*f + 6*b + 4241, 0 = -3*f - 4*b + 9235. Is f prime?
False
Let w(t) = 4*t - 5. Let q be w(2). Let u be (-636 + 0)*(-2)/q. Suppose -565 = -5*o + 5*m, 4*o - u = -m + 38. Is o a composite number?
True
Let b be ((-6)/5)/(3/480). Let i = b - -41. Let t = i - -296. Is t a composite number?
True
Suppose -27*b - 5 = -32*b. Let a(v) = -v + 63*v**3 + 177*v**3 + b - 49*v**3. Is a(1) prime?
True
Let r(a) = 12*a**2 - 1. Let o be r(-1). Suppose 9 = 4*m - o. Let l(n) = n**3 - 2*n**2 - 7*n + 7. Is l(m) composite?
False
Suppose 0 = 2*p - 36 + 34. Let x(n) = -7 + n**3 + 9*n - 8*n**2 - p - 2*n**2. Is x(10) composite?
True
Let y(z) = -z**2 + 6*z + 2. Let m be y(6). Suppose 3*r - m*c + 1 = -5, r + 15 = 5*c. Suppose -l + 4*l - 45 = r. Is l prime?
False
Let w be 4 + -40 - (-3)/3. Is (-6 - w/7) + 3272/1 a composite number?
False
Suppose -2*y = y + 3, 5*w - 5*y = 10. Let l be w/(-3*1/2355). Let s = -528 - l. Is s composite?
False
Let n be (9/(-5))/(9/(-30)). Suppose n*r = 5062 + 3080. Is r prime?
False
Suppose -9*b - 8 = -53. Suppose b*i - 3277 = 828. Is i composite?
False
Let k be 70/16 - (-69)/(-184). Let b = -3 - 0. Is (b + k)*(-2 - -253) prime?
True
Let n = 102 + -89. Let h(t) = 8*t**2 - 14*t - 5. Is h(n) prime?
False
Suppose 786 = -7*z - 3127. Let l = z - -1206. Is l composite?
False
Let s(p) = 4*p**2 - 14*p + 5. Suppose l - 6 = 2. Is s(l) a composite number?
False
Let y(m) = 12*m**3 + 26*m**2 - 19*m - 17. Is y(8) prime?
True
Suppose -5*g = -8926 + 1616. Is 8/56 + g/7 prime?
False
Let w be (-2)/(-12) - (-51)/18. Suppose 304 = w*i + 1699. Is 12/8 + i/(-6) composite?
False
Suppose -6 = 15*d - 12*d. Let z = d + 40. Is z prime?
False
Let s = 8824 - 2452. Suppose -4*a + s = 4*c, 0*a + a = -2*c + 3182. Is c a composite number?
True
Let p be (-1 - 1)*(0 - 6). Is (-22*159/p)/((-1)/2) composite?
True
Let j = 28495 + -13850. Suppose -z + 5*z - j = -3*t, t = 3*z - 10974. Is z a composite number?
False
Let l be (-36)/(-180) - (0 + 2934/(-5)). Suppose -26*p - l = -27*p. Is p composite?
False
Suppose 0 = 153*p - 144*p - 29439. Is p a composite number?
False
Suppose 0 = -5*w + 20477 + 15038. Is w a composite number?
False
Let k = 31 + -26. Is (0 - (-1115)/k) + 0 prime?
True
Let s be 2/(52/12 - 4). Let k(l) = l**2 - 7*l + 9. Let d be k(s). Suppose -d*x + 733 = -188. Is x a composite number?
False
Let k(p) = -137*p - 3. Suppose 2*c + 0 + 4 = 2*v, 0 = -2*v. Let n be k(c). Suppose -4*q + 2*a + 3 = -n, 3 = -a. Is q a prime number?
True
Is 1 - (-3 + 3) - (-84636)/6 prime?
True
Let t be (-19 + 23)*2/2. Suppose -2*s - 4 = 0, -s = t*l - 2*s - 12226. Suppose -l = -4*v + 4*y, 0 = -3*v + 2*y - 5*y + 2322. Is v a composite number?
False
Let k be (-2)/(-4) - 19591/(-26). Suppose l = 315 + k. Is l prime?
True
Let o(s) = s**2 - 10*s + 12. Let v be o(9). Suppose 4*l + 365 = v*i + 94, i + 3*l - 86 = 0. Is i a composite number?
False
Suppose 2*t - 7*t + y = -17, -3*t + 3 = -3*y. Suppose 0 = -t*z + 4*l + 676, 9*z = 6*z - l + 507. Is z a prime number?
False
Is 949256/16 - 20/16*2 a composite number?
True
Let n(d) = -d**2 + 7*d - 7. Let p be n(5). Let w(l) = -l**3 + 5*l**2 - l. Let a be w(p). Is 8/(-20) + 4971/a a prime number?
True
Let l(o) = 12*o**2 - 5*o + 11. Let s be l(-5). Let j = s + 193. Is j composite?
True
Let g = 1547 + -1276. Is g composite?
False
Is (2 + -1)/((-5)/(-8315)) a prime number?
True
Let b(x) be the second derivative of 111*x**3 - 43*x**2/2 - 42*x. Is b(11) composite?
False
Suppose 2 = b, 2*z + 4*b - 1 = 7. Let k(a) = a**2 + 4*a - 1. Let l be k(3). Suppose -2*r + z*r = -l. Is r a prime number?
False
Suppose -4*b + 0*b = -2*y + 4974, 5*b - 9922 = -4*y. Is y a prime number?
False
Let c(k) = 3*k**2 + k + 1. Let q be c(-1). Is (-534 - q)*1/(-3) composite?
False
Let w(l) = 90*l**2 + l - 1. Let h be w(1). Let v = -45 + h. Suppose 4*g - 327 = v. Is g composite?
True
Suppose -10*c + 24655 = -5*c + 3*w, 2*w - 24655 = -5*c. Is c prime?
True
Let j = 32 - 15. Let y = j + 62. Suppose 3*h - y = 26. Is h a prime number?
False
Is (-8)/(64/24) - -1696 prime?
True
Let v = 13 + -8. Suppose 9 = 7*d - v. Suppose 5*x = d*r - 1109, 5*r - 844 = -2*x + 1943. Is r composite?
False
Suppose 0 = 3*o - r - 0*r - 979, -2*o - r = -656. Suppose 2*c - 191 = o. Is c a prime number?
False
Let l(r) = -r**2 + 3*r**2 - 23*r + 10*r + 10. Let t(c) = c**2 + 4*c + 3. Let q be t(-5). Is l(q) composite?
True
Suppose 10*v + 43930 = 221760. Is v composite?
False
Suppose -3*b = 3*f, -16 = -3*b + 2*f + 9. Let q be 10*28 + b/(-5). Suppose -y = -0*n + 4*n - q, 0 = -5*n - y + 348. Is n composite?
True
Let w be (8/(-2) - 0)*-1. Suppose w*l - 698 = 34. Is l prime?
False
Suppose u - 25 = 5*m, -u - 2*m - 3 = -0*m. Suppose -u*p - 1456 = -2*s, 3*p = -4*s - 0*p + 2860. Suppose -5*w - s + 214 = -2*f, 3*f - 3*w = 765. Is f composite?
False
Suppose -3*n - 3 = -15, y - 4*n - 14226 = 0. Is y a prime number?
False
Suppose -4*g + 0*g = 64. Suppose -224 = 28*j - 56*j. Is ((-31)/2)/(j/g) composite?
False
Suppose -2*t + 7 + 3 = 0. Let o be (-2)/t - 12/20. Is (7/14)/(o/(-318)) a prime number?
False
Suppose -14596 = -3*o + 959. Suppose 6*f = o + 467. Suppose -2*g + 5*g = -5*x + 1412, -2*g = 4*x - f. Is g composite?
True
Suppose 0*n - n = 0. Suppose -5*x - 30 - 10 = n. Is 13*-14*4/x composite?
True
Let t(a) = -881*a + 164. Is t(-13) a prime number?
True
Let x = -10 + 16. Let q be (4/10)/(x/