- 4*b = 6*l - 619. Is l composite?
True
Let j = 10 - 6. Suppose -3*k = 2*x - 8963, -j*k + 0*k - 17896 = -4*x. Suppose 6*g - 8741 - x = 0. Is g prime?
True
Let w = 40165 - 24228. Is w composite?
False
Let o(f) = f**3 + 5*f**2 + 8*f - 6. Let w be o(7). Suppose -4*b + w = -5*p, 129 = 4*b + p - 521. Let z = b - 109. Is z a composite number?
False
Suppose 4*z = 4*y - 11072, 5*y - 2827 = 4*z + 11015. Suppose 0*q - y = -2*q. Is q prime?
False
Let q = 26 + -16. Let r(l) = 8*l - 1. Is r(q) a prime number?
True
Suppose -4*w = -7*w. Suppose -2*h = 2*g + 196, 2*g + 3*h + 240 - 47 = w. Let c = 58 - g. Is c a composite number?
True
Let p(i) = 3*i - 7. Let b be p(4). Suppose 32 = b*a - 13. Suppose a*q - 8*q = 53. Is q a composite number?
False
Let x be (-4)/10 - (-2224)/10. Is x - (1 + 1 - -2) composite?
True
Suppose -6*h = -5251 - 22103. Is h a prime number?
False
Let j(s) = -3*s**3 + s**2 + 2*s. Let l be j(2). Let b be 2/4*(4 + l). Let d(r) = -92*r + 5. Is d(b) a composite number?
False
Suppose 2*w + 2*t + 2*t = 24, 0 = 2*t - 10. Suppose -9*a = -w*a - 3157. Is a a prime number?
False
Let b be 2 - 2*(-814)/4. Suppose 2*p - b = -5*c, -c + 5*c = -5*p + 317. Is c a prime number?
True
Let f be 130/12 - (-9)/54. Let x = f - 9. Suppose w + w = x*t + 92, 0 = 4*t - 20. Is w a prime number?
False
Let l(h) = 15*h + 1096. Let g(n) = 7*n + 548. Let x(y) = 13*g(y) - 6*l(y). Let o be x(0). Let t = o - 390. Is t composite?
True
Let r = 19 + -14. Suppose -4*q + 4*m = -532, q - 3*m + r*m = 127. Is q composite?
False
Suppose -25*g + 318723 = -25702. Is g a prime number?
False
Suppose -2*v + 3*v - 2*s = 101713, v + 4*s = 101731. Is v prime?
True
Let i = -5 - -9. Suppose 14 = 3*x - i. Is 1988/x*42/28 prime?
False
Let t(m) = m**2 - 5*m + 3. Let y be t(10). Suppose -o = -1308 + y. Suppose -5*v = -2*g - o, 0*v - 4*g = -2*v + 502. Is v prime?
True
Let n(k) = 11*k**3 + 4*k**2 + 3*k + 4. Let g(u) = -23*u**3 - 9*u**2 - 7*u - 8. Let t(y) = -3*g(y) - 7*n(y). Let v(p) = 9*p + 78. Let x be v(-9). Is t(x) prime?
False
Let q(r) = -r**2 + 14*r - 11. Let l be q(13). Suppose 0*x - l*x + 266 = 0. Suppose -u + 226 = -s - x, 4*u - 1432 = 3*s. Is u prime?
False
Let a = -1329 - -2966. Is a prime?
True
Let i = -3 + 3. Is 1174/2*(i + 1) prime?
True
Let r(t) = -t. Let s(a) = 34*a - 15. Let i(g) = 11*g - 5. Let v(w) = 7*i(w) - 2*s(w). Let q(b) = 5*r(b) + v(b). Is q(6) composite?
False
Let o(c) be the third derivative of 0 - 5/6*c**3 + 1/4*c**4 + 1/20*c**5 + 0*c - 6*c**2. Is o(4) a composite number?
False
Suppose -v = -5*q + 21, -2*q - 2*q = -5*v. Suppose -2*d - 2*x = x - 2642, 2*d - v*x - 2614 = 0. Is d composite?
True
Suppose 157*d - 131*d - 1599130 = 0. Is d composite?
True
Suppose 2*b = -5*z + 1839 - 311, 0 = -3*b + 5*z + 2292. Suppose b = 3*i - 571. Is i a composite number?
True
Let z be 60/(-2*1)*104/(-130). Suppose 0 = -3*b - z + 489. Is b a composite number?
True
Suppose u - 6*u = -3885. Suppose 4*i + i + 3*f = 1108, 912 = 4*i - 4*f. Suppose 7*y - u = i. Is y a composite number?
True
Let s(i) = -i - 1. Let l be s(2). Let k(y) = y**3 + 3*y**2 + y + 1. Let h be k(l). Is h/8 - 591/(-12) a prime number?
False
Let q = 17 - 14. Is (5 - 4)*1671 - 6/q a composite number?
False
Let t = 23 - 29. Let g(j) = 53*j**2 - 8*j - 35. Is g(t) prime?
False
Suppose 0 = -z - 5*y + 10549, -y - y + 31673 = 3*z. Is z composite?
False
Suppose -101 = -4*r + 3*r + o, r = -3*o + 101. Let u(b) = 4 + r*b**2 + 3 + 0 - 3. Is u(-3) prime?
False
Let g(z) = z**2 - 10*z + 24. Is g(11) a composite number?
True
Let t(p) = 6*p + 12. Let n be t(-5). Is ((-8)/6)/(n/135) a prime number?
False
Suppose -c - 374 = r, 0 = -0*r + r - 2*c + 383. Let d = 1330 + r. Is d prime?
True
Let o = 16743 + -11260. Is o a prime number?
True
Let n be (4/5)/(2/1210). Let h = 1696 - n. Suppose 3*a + 1088 = 5*k, -5*k - 128 + h = a. Is k a composite number?
True
Let k(p) = -3*p + 11. Let d be k(-14). Let g(v) = -9*v + 4. Let q be g(4). Let x = d - q. Is x prime?
False
Suppose -7710 = -9*o + 4*o. Suppose -g - 2*g - o = 0. Is g/6*(8 - 11) composite?
False
Let z = -10 + 15. Let r(d) = -3*d + 17. Let j be r(z). Suppose -a - 4*q = -5*a + 748, 0 = j*q. Is a a prime number?
False
Let t = 48 - 47. Is (1/t)/((-3)/(-3291)) prime?
True
Let r(g) = 2*g - 6. Let k be r(5). Suppose n = -n + k. Is n*(-4)/(-8)*37 a prime number?
True
Let d = -375 - -1330. Is d a composite number?
True
Suppose 5*y - 6 - 214 = 0. Let z = y + 609. Is z a prime number?
True
Let z(l) be the third derivative of -25/24*l**4 - 3*l**2 + 1/2*l**3 + 0 + 0*l. Is z(-2) a composite number?
False
Let h(t) = 737*t + 6. Let i be h(-2). Let g = -3274 - -5791. Let c = i + g. Is c prime?
True
Let a(m) = 330*m - 1. Let l be a(-1). Is 2/(-1 + -3 + 2)*l a prime number?
True
Suppose 3*h - h - 241 = -f, -2*f = 10. Suppose 0 = -y - 5*v + h + 287, 5*v - 15 = 0. Is y a composite number?
True
Let z = 7516 + 1586. Is (-2 + -2)*z/(-24) prime?
False
Let i = 5 - -5. Let j(m) = 7*m**3 - 9*m**2 + 7*m - 7. Let g(y) = 9*y**3 - 9*y**2 + 7*y - 5. Let z(s) = -3*g(s) + 4*j(s). Is z(i) prime?
True
Let w(m) = 3*m**3 + 25*m**2 + 3*m - 1. Is w(12) a composite number?
False
Is (-1044905)/(-357) + (-6)/(-63) a composite number?
False
Let x(t) = -8*t**2 - 2*t - 5. Let j(n) = 39*n**2 + 9*n + 25. Let y(f) = -2*j(f) - 11*x(f). Is y(6) composite?
False
Let j = -60 + 63. Suppose j*p - 662 = p. Is p prime?
True
Suppose 0 = d - u + 39, -128 = 4*d - 3*u + 6*u. Let h = 84 - d. Is h a composite number?
True
Suppose -16*s = -14*s - 3118. Is s prime?
True
Suppose a - 7 = 1. Suppose 12*n - a*n = 236. Is 3*(-2)/(-3)*n composite?
True
Suppose -30*p = -35*p + 32605. Is p prime?
True
Suppose -4*t + 4*r + 16 = r, 3*r - 12 = -3*t. Suppose -5*h + 2 = i - 0*i, t*h - i - 7 = 0. Is (h*58)/(-7 + 8) a prime number?
False
Suppose -5*d = -4*d + y - 21988, 0 = -4*y - 12. Is d prime?
True
Suppose 4*y + 2*c - 318480 = 0, 0 = -y + 5*y - 2*c - 318488. Is y composite?
False
Is 1*2*1/(-2)*-7793 a prime number?
True
Let q(m) = m**3 - 4*m**2 + 24*m - 21. Let x be q(9). Let w = x - -91. Is w composite?
False
Let p(a) = -14*a + 1. Let x(m) = -m + 1. Let o(l) = 2*p(l) - 2*x(l). Let r be o(8). Is 2/(-3 + r/(-68)) a composite number?
True
Let p = 5353 - 1472. Let t = p - 2632. Is t a composite number?
False
Suppose 5*g = -5*m + 29750, -2*m - 4*g + 11894 = -0*g. Is m a composite number?
False
Let k(f) be the first derivative of -f**3/3 + f - 3. Let l(i) = i**2 + 19*i + 7. Let m(t) = 2*k(t) + l(t). Is m(11) a composite number?
False
Suppose 0 = 11*c - 6091 - 6240. Is c a prime number?
False
Let b be (1/(-3))/(4/(-12)). Suppose 0 = k - 6 - b. Suppose z + k - 74 = 0. Is z prime?
True
Suppose -9 - 16 = -5*x. Is (-816 + x)/(-1*1) prime?
True
Is (230 + 7)/(-3)*-163 prime?
False
Suppose -l = 4*r - 18, 3*l - 4*r + 0*r + 10 = 0. Suppose l*m + 269 + 3584 = 3*y, y - 1289 = 3*m. Is y a composite number?
False
Let j(c) = -2*c**2 + 6*c + 3. Let p be j(3). Suppose 10*l - 14546 = p*l. Is l prime?
False
Let g(b) = b**2 - b - 2. Let m be g(0). Let y(x) = x + 5. Let u be y(m). Suppose -u*d = 5*s - 1538, -4*d + 1539 = 5*s - 0*s. Is s composite?
False
Suppose -2*f + 5*f - 5*a - 387 = 0, 3*a = f - 129. Is ((-152)/(-6))/4*f a composite number?
True
Let s be -1 + (-5)/(10/(-18614)). Suppose 4*q + 5*b - 30434 = s, -4*q + 39740 = 4*b. Is q composite?
True
Suppose -f = 1 - 271. Suppose -f = o - 1057. Is o a prime number?
True
Let i(x) = -5*x**3 - 21*x**2 - 17*x - 1. Suppose 3*h + 0*h = 15. Let l(a) = -4*a**3 - 20*a**2 - 17*a - 2. Let j(m) = h*i(m) - 6*l(m). Is j(16) a prime number?
True
Suppose 5*r + 1392 = 4*n, 4*r = 2*n - 4*n - 1098. Is (r/(-8))/(1/2) prime?
False
Let f be 1 + (1 - -3) + 3. Is (-24)/f + 13*26 composite?
True
Let h = 11597 + -3789. Suppose -3*p = 2*t + t - 11715, -2*p = 3*t - h. Is p a prime number?
True
Let i(j) = -9*j**3 + 5*j**2 - 26*j + 11. Is i(-8) a composite number?
False
Let b(q) = 9*q**3 - 6*q + 2. Let n be b(4). Suppose -v - n = -1935. Is v composite?
False
Let u(l) = -l**2 - 5*l + 6. Let c be u(-6). Suppose -m - 3 = -c. Let x(w) = -7*w**3 - 2*w**2 + 3*w - 1. Is x(m) composite?
True
Suppose -30 = -13*h + 10*h. Suppose h*v + 11532 = 22*v. Is v a prime number?
False
Let d(k) = k**2 + 1. Let l(g) = 9*g**2 + 5*g + 11. Let i(p) = -4*d(p) + l(p). Is i(6) a composite number?
True
L