 0 = 5*a - 4*x + 385 + 1318. Suppose 3*u - 1509 = -2*l, -3*u - 3835 = -5*l + 2*u. Let t = l + a. Is t a composite number?
False
Suppose 2*z - 14053 = 3*v, 0 = 4*z - 8*z - v + 28141. Is z composite?
True
Suppose -3*s + 0*s - i = -12, 0 = -s + 3*i - 6. Suppose 0 = s*p - 6, -p + 98 - 23 = -o. Let r = o - -119. Is r composite?
True
Let s(l) = 68*l**2 - 46*l + 737. Is s(56) composite?
True
Let q(t) = -t**3 - 5*t**2 + 4*t - 5. Let f be q(-6). Suppose -f*b + 13*b = 7554. Is b prime?
True
Suppose 4*c - 511 = i, 0 = -0*i + 3*i + 9. Let v = c - -900. Is v prime?
False
Suppose 0*n = 3*n + 432. Suppose 7*h + 211 = 8*h. Let g = n + h. Is g a prime number?
True
Let z(d) = -47*d**3 + 14*d**2 + 4*d + 5. Is z(-6) a prime number?
False
Suppose 6 = -13*j + 32. Is -7 - -8 - (-1080)/j prime?
True
Suppose 2*n - 2 = -0. Let c = n + 2. Suppose c*k = -2*b + 31, b + k - 20 + 2 = 0. Is b a composite number?
False
Is (7 + 39)*388/8 a prime number?
False
Let o = 6 + 9. Suppose -642 = -5*u + 5*h + 18, -3*h = o. Is u a prime number?
True
Let w be (4 - 23)/(3/3). Let k = 130 - w. Is k a composite number?
False
Let h be (16/20)/(2/455). Suppose g - 5*p - 613 = 0, -g + h = 4*p - 467. Is g a composite number?
True
Suppose -2*a + 7*a = 5*r - 15, 5*r + a - 15 = 0. Suppose -r*o = -5*o + 1438. Is o a composite number?
False
Let p(u) = 559*u - 45. Is p(2) prime?
False
Is 271846/6 + (-6)/9 prime?
True
Suppose 0*b + 12 = -2*b. Is (b/(54/(-51)))/((-2)/(-114)) prime?
False
Suppose 4*y + 6 = y - 4*w, -3*y + 5*w = -21. Let q = 2 - -1. Suppose i - 25 = -x, -y*i - 19 = 2*x - q*x. Is x a prime number?
True
Let s = 20 - 15. Suppose 0 = -2*b + 3 - 1, -j + s*b = 5. Suppose -2*f = -f + n - 214, j = f + 2*n - 211. Is f composite?
True
Let h(u) be the second derivative of 7*u**5/20 - 7*u**4/12 + u**3 + 11*u**2/2 + 5*u. Is h(7) prime?
True
Is (1347/(-12))/((-5)/2540) composite?
True
Suppose 146043 = 30*j - 867. Is j composite?
True
Let l(n) = n**3 + 12*n**2 - 21*n - 25. Suppose 5*i - 2*r = -63, -4*i - r - 27 = -2*i. Is l(i) composite?
False
Let x(u) = -2*u + 20. Let a be x(9). Suppose -4*o + 0 = 4, 3*o - 3339 = -a*s. Is s composite?
True
Suppose -10*r + 12*r = 502. Is r a prime number?
True
Suppose 4*s - 17584 = j + 19640, s - j - 9309 = 0. Is s a composite number?
True
Let p(z) = -z**2 - 14*z + 4. Let x be p(-10). Let k = x + 2. Is k prime?
False
Is ((-6)/(-9))/(624165/208053 - 3) composite?
False
Let h(d) = 166*d - 813. Is h(44) a composite number?
False
Suppose -30 = 2*w - 2*u, 0 = 3*u + 16 - 7. Is 4/w + (-7438)/(-18) - 4 prime?
True
Suppose 5*x + 24 = 2*n, 0 = 3*n - x + 2*x - 19. Let w(i) = -i**3 + 13*i**2 + 10*i + 1. Let g(v) = 6*v**2 + 5*v. Let k(b) = n*g(b) - 3*w(b). Is k(4) prime?
True
Let v(n) = -n**2 + 4*n + 3. Suppose -3*u + 7 = -5. Let m be v(u). Suppose -m*a + 1023 = a + 5*g, -3*g + 1282 = 5*a. Is a a composite number?
False
Is 1437688/8 + 48/((-24)/(-3)) prime?
True
Suppose -1722 = 5*k - 2*o - 7033, 0 = k + 4*o - 1049. Is k prime?
True
Let c = 30 + -8. Suppose -19*u - 597 = -c*u. Is u composite?
False
Let x = -8 + 19. Suppose -x*s + 10*s = -635. Is s a prime number?
False
Let k be (-1 + 0)*(2 + (-6)/1). Is k/28*-2 - 39245/(-35) a composite number?
True
Suppose -3*t - 5*y + 1801 = -1782, -2422 = -2*t + 5*y. Is t a composite number?
False
Suppose 0 = 2*y - 26*u + 29*u - 36824, -u = -3*y + 55225. Is y composite?
True
Let o = -11634 - -36533. Is o composite?
True
Let z(c) = 170*c**2 + 16*c - 5. Is z(4) a prime number?
False
Let q = -2776 + 5517. Is q a composite number?
False
Suppose 0 = -d + 3*d - 6. Suppose d*y = 2*y. Suppose -2*k + 6 = y, -2*g + 0*k - 3*k = -523. Is g a prime number?
True
Let h(d) = -d**3 + 2*d**2 + 11*d - 7. Let u = -24 + 10. Let z = u + 9. Is h(z) a prime number?
True
Suppose -14 + 4 = j. Let l be 308/20 - (-4)/j. Let q(a) = -a**3 + 16*a**2 + 18*a + 22. Is q(l) a composite number?
True
Let r be (-1)/8 - 7/(-56). Suppose 0 = -3*m + z + 5, -m + 11 = -r*z + 2*z. Suppose 45 = m*q - 336. Is q prime?
True
Let z(m) = -1099*m - 17. Is z(-32) composite?
True
Suppose -x + 2*w = -34, -3*w - 13 = -x + 20. Suppose -x + 142 = 2*h. Is h a prime number?
True
Let c be -3 + 2 + 0 - -3. Suppose -5*r + 3*s + 29 = c*s, r + s - 1 = 0. Is 11*5 - (7 - r) prime?
True
Let o(a) = 772*a + 121. Is o(9) composite?
False
Let q(l) = l**2 + 2*l + 3. Let c be q(0). Suppose 138 = 2*d + c*m, -3*d + 0*m = -4*m - 173. Let w = d - 26. Is w a composite number?
False
Let b = 534 + -902. Let k = -145 - b. Is k a prime number?
True
Suppose -46*k = -522309 - 198925. Is k a composite number?
False
Is ((-1460249)/(-21) - 14) + 2/(-3) composite?
True
Suppose 3*c - 242389 = -4*c. Is c a prime number?
False
Let v(b) = b**2 - 5*b - 4. Let c be v(6). Let g(t) = 0*t - 3*t + 18*t**2 + 0 + 1. Is g(c) composite?
False
Let m(u) = -395*u**2 + 14*u - 22. Let k(c) = 789*c**2 - 27*c + 44. Let f(d) = 6*k(d) + 11*m(d). Is f(3) prime?
True
Suppose t - 42676 = -3*j + 9182, -17282 = -j + t. Is j a composite number?
True
Suppose -50*g - 30632 = -58*g. Is g a prime number?
False
Let y(x) = x + 6. Let p be y(-4). Suppose -2*d + 1274 = u - 4*u, -1242 = -p*d - 5*u. Is d composite?
False
Let l be ((-3)/(-2))/((-2)/(-44)). Is ((-5438)/3)/((-22)/l) prime?
True
Suppose -5934 = -o + 4163. Is o a composite number?
True
Suppose h = 5*q - 34 - 31, 0 = q - 3*h - 27. Let z = -14 + q. Is 1/(3*z/(-354)) composite?
False
Suppose -7 = 2*h + w, -h + 2*w = 1 - 0. Let p be (-4)/(12/h + 2). Suppose -p*s = -28 - 34. Is s a composite number?
False
Let j = -1221 + 3530. Is j a composite number?
False
Suppose -3*p - 2*m = -5*m - 24, 4*p - m - 17 = 0. Suppose -5*u + 5*j = -1035, -p*j + 188 = 2*u - 246. Is u composite?
False
Let c be (-6)/(-15) + 46/10. Suppose 2*h - 5 = g, -3 = -5*g + 2. Suppose -c*f = -5*m + 110, -6*m = -m - h*f - 104. Is m a composite number?
False
Suppose -2*h = -2*m - 7126 + 402, -m - 6725 = -2*h. Let x = 6446 - h. Is x a composite number?
False
Let t(k) be the first derivative of k**4/12 - k**3/3 + 7*k**2/2 + 5*k - 1. Let f(b) be the first derivative of t(b). Is f(12) prime?
True
Suppose -3*g - 6*g + 62973 = 0. Is g a composite number?
False
Suppose 3*w = r, 5*w = 4*w + 4*r. Suppose 4*o + 156 = -w*o. Let n = -4 - o. Is n a composite number?
True
Let u(z) = -z**3 + 14*z**2 + 16*z - 12. Let d be u(15). Suppose h = 3*m + 165, 0 = 5*h - d*m + 6*m - 897. Is h prime?
False
Suppose -124*n = -128*n - 576. Let y be (-1)/((-1)/(-85)) - 0. Let x = y - n. Is x prime?
True
Let t(p) be the first derivative of -108*p**2 - p - 6. Let w be t(5). Let a = 1730 + w. Is a a composite number?
True
Let y = 27 + 121. Let v = 69 + y. Is v a composite number?
True
Let u be 60/(-9)*(-30)/20. Suppose -u*h = h - 4477. Is h prime?
False
Suppose 0 = 5*v - z + 5005, -z = 2*v + 130 + 1865. Let s = -699 - v. Is s composite?
True
Let w be -46*-1*(101 + 1). Suppose -7*b - 5*b + w = 0. Is b prime?
False
Suppose 0 = -2*j + l - 17, j - 2*l = -3*l - 1. Is -502*(6/2)/j a composite number?
False
Let u be -3*417/45 - 1/5. Let b = 25 - u. Is b a composite number?
False
Let o = -10 + 12. Let s(q) = 9*q + q**o - 1 + 7 + 3*q. Is s(-13) composite?
False
Suppose d = 4, 3*d - d = x + 8. Suppose -5*y + 2*y - 9720 = x. Is (-4)/26 - y/104 a prime number?
True
Let p(k) = -k**3 + 7*k**2 - 4*k - 9. Let m be p(6). Suppose 474 + 4155 = m*a. Is a prime?
True
Let k(n) = -2092*n + 9. Let r be k(-10). Let b = -9992 + r. Is b prime?
True
Suppose -13*l + 42809 + 13442 = 0. Is l a prime number?
True
Let z = -24 + 32. Let r(w) = w**2 + 7. Is r(z) composite?
False
Let u(q) = -3*q**3 + 14*q**2 + 16*q + 8. Let c(d) = 5*d**3 - 28*d**2 - 33*d - 14. Let w(o) = -4*c(o) - 7*u(o). Is w(-7) prime?
False
Let p(x) = -8*x**3 - 7*x**2 - 20*x + 30. Is p(-17) a prime number?
False
Let k(v) = 65*v**2 - 23*v - 8. Is k(5) composite?
True
Suppose 5*x = -243 + 1343. Let q = 149 - 44. Let u = x - q. Is u composite?
True
Suppose 9*k - 174306 + 16860 = 0. Is k prime?
False
Is -2 - 1 - (11 - 16773) a prime number?
True
Let g(l) = l**3 + 11*l**2 + 8*l + 12. Let s be g(-10). Let b = s - 49. Let v = 2 - b. Is v a composite number?
False
Let x(h) = 65*h + 14. Let k(g) = -65*g - 14. Let v(m) = 6*k(m) + 5*x(m). Is v(-9) prime?
True
Suppose -4*a - 3*d = -72557, 4*d - 4771 - 13378 = -a. Is a composite?
True
Let b(m) = -5*m + 349