, -21*h - 4812 = -4*x - 22*h. Let j = x - z. Is j prime?
True
Let d be (-2)/((-6)/(-165))*-1*-7. Let p = d - -2438. Is p a prime number?
True
Is (-4 - 10508380/(-17)) + -23 a composite number?
True
Let d = 20705 + -33395. Let u = -6337 - d. Is u a composite number?
False
Suppose -7*r = -17*r + 50. Suppose 73 = r*g - 2647. Suppose -4*b + 1132 + g = 0. Is b a composite number?
False
Suppose 0*r + 3*r - 2*g - 10 = 0, -3*g = 5*r - 23. Suppose 0 = 5*n - 5*v - 30, r*n = -3*v + 4 - 1. Suppose 760 = n*q - 1547. Is q a composite number?
False
Let d(o) = -4*o + 16. Let u be d(3). Suppose 6*w - u*w + 2 = 0. Let z(y) = 395*y**2 + 3*y + 1. Is z(w) a prime number?
False
Let k = 466 + -470. Is 3/k*794992/(-66) a composite number?
True
Let p(r) = -921*r + 2173. Is p(-104) prime?
False
Suppose n - 4*n = 42. Let y = n + 18. Let d(c) = 41*c**3 + 6*c**2 + 3. Is d(y) composite?
True
Let s = 17104 + -10577. Suppose 8*i - 34455 = -s. Is i a composite number?
False
Let v(c) = 12*c - 13. Let t be v(1). Is 11440 - t - 16/(-28)*-7 composite?
False
Let q(a) = 5*a**3 + a**2 - 3*a + 2. Let b be q(1). Suppose -b*c + 9 = -1. Suppose c*o = 2574 - 260. Is o prime?
False
Suppose 73*t - 509286 + 106477 = 154838. Is t a prime number?
True
Let v(m) = m - 14. Let h be v(14). Suppose -2*u - 13 = z + 182, h = -4*u - 3*z - 393. Let l = 589 + u. Is l prime?
False
Let g be (1341 + 4 - -5)*7. Suppose -50*v = -44*v - g. Suppose 911 = 4*h - 5*p - 390, 4*p - v = -5*h. Is h a prime number?
False
Let x(s) = 2273*s**2 + 49*s - 233. Is x(7) composite?
False
Suppose 70*u = 67*u - 165. Is (u - -2781) + 1*(3 - -2) a prime number?
True
Let h(p) = 961*p**2 - 85 + 2*p + 394*p**2 + 87. Let u(f) = -f**2 - 2*f - 1. Let q be u(-2). Is h(q) a composite number?
True
Let l(v) = -8*v - 24. Let n be l(-7). Suppose -4*w = -5*f - n, 0 = 3*w + f + 6 - 30. Suppose w*s - 1069 = 8235. Is s a composite number?
False
Let u(l) be the third derivative of l**5/60 + l**4/12 + 347*l**3/6 + 97*l**2. Is u(0) prime?
True
Suppose 3*r - 2 = -0*r - d, -2*r + 2*d + 12 = 0. Suppose 4*g - r*g - f = 545, f - 1 = 0. Is ((0 - -1) + g)*377/58 prime?
False
Let k = 227 + -227. Suppose k = 2*i + 1149 - 9127. Is i composite?
False
Let t(d) = d + 15. Let i be t(-11). Suppose -v = -4*v + 6, i*l + 2482 = 5*v. Let b = l + 965. Is b prime?
True
Let q(u) = -2*u**3 - 20*u**2 - 13*u. Let j(m) = 3*m**3 + 20*m**2 + 11*m - 1. Let g(b) = -3*j(b) - 4*q(b). Is g(10) a prime number?
True
Suppose 10 = -5*y, 3*y + 51015 + 517096 = 5*u. Is u prime?
True
Suppose -273611 = -5*b + l, 0 = 310*b - 314*b + 2*l + 218896. Is b a composite number?
False
Let a(l) = l**2 - 9*l + 3. Let x be a(6). Let o = 185 + -184. Is x/(-90) + o/((-6)/(-3881)) composite?
False
Suppose -2*x - 5*b - 3237 = 0, b = 4*x + 5580 + 927. Let n be 1/((3/x)/(84/(-8))). Suppose 6*k - 4707 = n. Is k prime?
True
Let l(j) = -2*j + 17. Let b be l(7). Suppose -b*w + 16 = w. Suppose 603 = w*a - 233. Is a a prime number?
False
Suppose -7 + 2 = -5*r, -11*r - 2881246 = -3*m. Is m a prime number?
True
Let t = -3966 - -2584. Let v = t + 4317. Is v a composite number?
True
Suppose 17*p - 12*p = 10. Let f(j) = 0*j**p - j**3 - 6 + 67*j - 78*j - 6*j**2 - 17. Is f(-10) a composite number?
False
Let p = 37788 - 24947. Is p a composite number?
False
Suppose 1 = -3*f + 16, -4*b - 3*f + 1358047 = 0. Suppose 0 = -3*h + 4*t + 223115, -5*h - 3*t + b = -32389. Is h a prime number?
True
Suppose -27*r + 3533048 + 600267 = -2638312. Is r prime?
False
Let z be 46/14 - (-10)/(-35). Suppose 3*x + s = 13, 0 = 4*x + 5*s + z - 2. Is (x/(-8)*-113)/((-6)/(-16)) prime?
False
Suppose 29*m = -11*m - 35*m + 1843275. Is m a prime number?
False
Is (-39)/1794 + 20646415/230 composite?
False
Let q = 33 + -29. Suppose -q*y = -i - 20 + 460, 0 = -3*i + 4*y + 1352. Suppose i = 9*z - 2145. Is z a composite number?
True
Suppose -t - 5*s = -647, -4*t + 2302 + 336 = -5*s. Let r = t + -300. Suppose 22 = -w + 4*p + r, p = 5*w - 1732. Is w prime?
True
Suppose j + 2*i - 5571 = 0, 192*j + i - 16738 = 189*j. Is j a composite number?
False
Suppose g + 3*m - 20 = 2*m, m - 38 = -2*g. Suppose -g*b = -160334 - 182854. Is b prime?
False
Let f = -163 + 175. Is ((-8782)/4)/((-6)/f) a composite number?
False
Let y(q) = 112*q**3 + 4*q - 5. Let t(h) = -2*h - 14. Let c(s) = -s**3 - 16*s**2 - 12*s + 37. Let r be c(-15). Let l be t(r). Is y(l) prime?
False
Let p = 842 + 194. Suppose -2*g + p = -g. Suppose -6*k + 3*j = -2*k - g, k - 259 = -j. Is k prime?
False
Let o(x) = -17*x + 56. Let i be (-13)/26 - (-49)/2. Let n be 3 + (0 - (4 + i)). Is o(n) prime?
False
Let v(t) = 34 - 26 + 63 - 7*t + 120. Is v(0) a composite number?
False
Let m = 233 + -229. Suppose -2*x = 4*h - 6*h + 5560, 20 = m*x. Is h prime?
False
Let c(m) = 31*m**2 - 11*m + 151. Is c(29) composite?
False
Let v = 94519 + -38536. Is v a prime number?
False
Suppose 95*k - 2665827 = 32722155 - 2979587. Is k a prime number?
True
Let g = -82 + 124. Let c = g - 45. Is 302 + 4/(-12)*c composite?
True
Let f = 27 - 29. Let k be (16/(-24))/(f/(-15)). Let u(r) = -207*r + 4. Is u(k) prime?
True
Let w(j) = j**3 - 6*j**2 + 7*j - 13. Suppose 3*c - 3*r = -0*r + 9, -c - r + 7 = 0. Let u be w(c). Is 92544/60 - (-1)/((-5)/u) a prime number?
True
Let q be 6/(3*(-4)/(-6)). Suppose 0 = -q*c + 1910 - 629. Is c composite?
True
Suppose v + z + 484963 - 2107950 = 0, 3*v - 4868949 = -5*z. Is v a prime number?
False
Let v be 37 - 3*(48/(-9) - -5). Suppose -21605 + 74767 = v*h. Is h a prime number?
True
Let j(b) = b**2 + 15*b + 37. Suppose 6*n - 11 + 35 = 0. Let f be n*(-1)/(-2)*-9. Is j(f) a composite number?
False
Suppose 701520 + 2099037 = 9*a. Is a a prime number?
True
Let i(x) = -4*x**2 - 9*x + 70. Let l be i(4). Suppose -4*w + 8 + 4 = 0. Is ((-624)/l - w)*5 composite?
False
Is -2 + -95*((-3162)/24 + (-5)/20) a composite number?
True
Suppose 209*g - 213*g + m = -1522, -1486 = -4*g - 5*m. Is g prime?
True
Suppose 5*s = 12741 + 6809. Suppose -3*g - 3*d = -6*g + 5856, -2*g + 4*d + s = 0. Is g prime?
True
Let i(z) = -25*z**3 - 37*z**2 - 10*z + 217. Is i(-16) a composite number?
True
Let a(v) = 37*v**2 + 164*v - 5628. Is a(131) prime?
True
Is (1 + 1)*-2 + (-43)/((-2580)/24917100) a composite number?
True
Let g = -375 - -380. Let n(d) = -d. Let v(c) = 80*c - 4. Let q(m) = n(m) + v(m). Is q(g) composite?
True
Suppose f - 4*p - 315 = 3219, -p = -f + 3522. Let g = 269 + f. Is g a prime number?
False
Let l = 56 - 65. Let u(x) = 14*x**2 + 11*x - 10. Let m be u(l). Suppose -5*n = -5*c + m, -4*n + 0*n = 4*c - 852. Is c a composite number?
True
Let f(t) = -2*t - 3. Let i be f(-3). Suppose 255*l = 234*l + 2373. Suppose 2*s + 4*w = 26, -4*s + l = -i*w + 6. Is s prime?
True
Let q(h) = 409*h**3 - 2*h**2 + 19*h + 11. Is q(6) composite?
False
Let n = -26 - -1677. Is n prime?
False
Let y = 65 + -49. Is (-141960)/(-117) - (y/(-6) + 2) a composite number?
True
Suppose -60*k + 56*k - 2064243 = -5*a, -5*k = -a + 412878. Is a a prime number?
False
Suppose 0 = -2*u - 3*a - 2, 2*u - 2*a = -u + 23. Let g(l) = 3*l**3 - 2*l**2 + 9*l + 3. Is g(u) a composite number?
False
Let l(s) = s**2 - 7*s + 12. Let v(y) = -y**2 - 17*y - 49. Let a be v(-13). Let k be l(a). Suppose 4*j + 2*m = j + 427, k = -j + 3*m + 157. Is j a prime number?
False
Let l be (-2)/((-2 - -3)/(-1)). Let n(j) = -j**3 + 4*j**2 - 2. Let y be n(l). Is (18596/(-12) - 3)/(y/(-9)) a composite number?
True
Suppose 145*q = 2*d + 147*q - 43734, -5*d + 109303 = -3*q. Is d a composite number?
False
Let m = -3 - -24. Let g(v) = 974*v + 109. Is g(m) a prime number?
True
Let c(p) = 4*p**2 + p + 125. Let z be (-4)/(-24) - 858/(-36). Is c(z) composite?
True
Let g(i) = -7400*i - 221. Is g(-6) a composite number?
False
Let a(q) = 89*q + 336. Let y be a(9). Let m(j) = -5*j**3 - 10*j**2 - 8*j - 4. Let g be m(-6). Let k = y - g. Is k a prime number?
True
Is -1*(-2)/4 - -3*(-491152)/(-96) a prime number?
True
Suppose 0 = -a - 5*l + 96931, -27*a - 4*l = -22*a - 484697. Is a a composite number?
True
Suppose -68*z + 2211294 = -5685614. Is z a prime number?
True
Suppose -203*x + 200*x - 4*h = -1031191, -5*x + 1718619 = 2*h. Is x a prime number?
False
Suppose 5*n = 4*n + 1. Let a(g) be the second derivative of 501*g**5/10 + g**4/6 - g**3/6 - 6*g - 1. Is a(n) prime?
False
Let s(l) = 20649*l**2 + 14*l - 14. Is s(1) 