o = -643 - m. Is o a composite number?
True
Suppose 2*z - 9*z = 8*z. Suppose z = -15*f - 6*f + 125601. Is f composite?
False
Suppose -4*c + 30513 + 62245 = 2*g, -3*g - 4*c + 139139 = 0. Is g a composite number?
False
Let f = 155888 - -205253. Is f composite?
True
Suppose 0 = 7*x - 16347 - 29489. Suppose 2*h - 2158 = -2*a, h + x = 5*a + 1153. Is a a prime number?
False
Suppose -12*w + 410261 = -270103. Is w a composite number?
True
Let j(y) = 9548*y**2 + 70*y - 1. Is j(1) composite?
True
Suppose -i = -2*y + 3*i - 22, 5*y + 50 = 5*i. Let f be 17 + 0 - 18/y. Suppose t - f = -0*t. Is t composite?
False
Let y(b) = -3*b**3 - 29*b**2 - 230*b - 5. Is y(-9) prime?
False
Let a be (-26)/117*9/(-2). Suppose -z + 3*c - 17 = 0, 3*z + a = -3*c - 2. Let i(v) = -4*v**3 - 5*v**2 - 9*v - 1. Is i(z) prime?
True
Let w be (-698)/4 - (8 + (-15)/2). Let a = 264 + w. Is a a prime number?
True
Let y be 11 + -3 + (-3 + -1)/(-4). Suppose y*u - 72 = u. Let p(w) = 27*w**2 - 5*w + 7. Is p(u) a composite number?
True
Let p(a) = -122*a - 39. Let y(k) = k**2 - 48*k + 151. Let q be y(44). Is p(q) a composite number?
False
Let s = 40 - 38. Suppose -5*i + 4 = -1, -s*i = -3*l + 2245. Suppose 0 = 4*r + 5*x - l, 5*r - 2*x - 2*x = 967. Is r a composite number?
False
Suppose 3*k - 4*k = 2. Let u(p) = 478*p**2 + 18*p + 31. Is u(k) composite?
False
Let t(v) = 117891*v - 400. Is t(3) a prime number?
False
Suppose 7788 = 38*o - 39*o. Let k = o - -14899. Is k a composite number?
True
Suppose -2*h = -w + 3*h - 15, -3*h = -4*w + 8. Suppose -8*x + w*x = 0, 0 = -5*v - 2*x + 6805. Is v a prime number?
True
Let i(n) = 8721*n**2 - 7*n + 3. Let j be i(2). Suppose 7*s - 329538 = -j. Is s prime?
False
Let p = 111 + -108. Suppose 5148 + 3732 = 5*r - 5*j, -j = p*r - 5340. Let u = -992 + r. Is u composite?
False
Is (1/(-2))/(-5 - 327709/(-65542)) a composite number?
False
Suppose -30 = q - 2*q - 4*m, 4*m = -4*q + 144. Let r = -39 + q. Is (-3 - r)/(2/(-391)) prime?
False
Let b(a) = -10*a + 38. Let p be b(6). Let d(f) = f**2 + 23*f + 25. Let s be d(p). Suppose -423 = -u + 3*t + 2*t, -t = -s*u + 1213. Is u a composite number?
True
Suppose 58344 = 4*p + 4*i, 0 = 21*i - 24*i + 3. Suppose 4*h = -3*m + p, 9*h + m + 18236 = 14*h. Is h a prime number?
False
Suppose -3*f - 4*r + 37 - 2 = 0, 0 = 5*f - 2*r - 41. Suppose -l - 5*q = -364, -l + 2*q = 2*l - 1024. Suppose l = f*s - s. Is s composite?
False
Let h(w) = -49727*w + 1165. Is h(-14) composite?
True
Let u = -323 - -453. Let q(x) = -6*x + 2. Let h be q(-3). Suppose -5*p - h = -n, 3*p + 2*p - u = -5*n. Is n a prime number?
False
Let r be (-12 - -10) + (16766 - -1). Suppose -3*d = 2*d - 3*z - r, -2*z + 3353 = d. Is d composite?
True
Is 76432 + 1 - (55 - 39) prime?
False
Let p = -602 + 617. Suppose p = -3*h, 4*h - 20173 = -2*z - z. Is z a prime number?
False
Let h(s) = -20419*s - 130. Let b be h(-3). Suppose -2*i = 9*i - b. Is i a prime number?
True
Let f be 2/(-6) + 2936/24. Let b(m) = 4*m**2 - 9*m + 6. Let x be b(2). Suppose -x*h = -454 + f. Is h a composite number?
False
Suppose 5*b + 3*z - 2166 = z, -3*b + 1304 = -z. Suppose 37*v = 35*v + b. Let l = 770 - v. Is l a composite number?
True
Let t be 30 + -3 + (4 - 8 - -4). Suppose t*h - 12*h - 10065 = 0. Is h a composite number?
True
Let v(f) = -f**2 - 4*f + 36. Let n be v(-8). Let u be ((-54)/12)/((-2)/n). Suppose -6*w = 2*t - u*w - 3113, 5*w - 7820 = -5*t. Is t a composite number?
True
Let c = -235 - -240. Suppose 0 = c*g - i - 412, 5*g - 9*i + 10*i = 408. Is g a prime number?
False
Let j = -120 + 356. Let k = 419 - j. Suppose -4*h - 328 = -2*m, -h - 294 - k = -3*m. Is m a prime number?
False
Let o = -186792 - -75901. Is o/(-44) - (-3)/4 composite?
False
Suppose 5*l - 6 = 4. Suppose -l*n + 4*y - 40 = -6*n, -15 = -5*n + 2*y. Suppose 0*x = -x + 3*q + 473, -4*x - n*q = -1892. Is x composite?
True
Suppose 13*x = -12 + 64. Suppose 0 = -p - 4*i + 3129, -x*i + 18713 = 5*p + 3036. Is p composite?
False
Let p be -3 + 2 + 0 - (-24)/6. Let v be (3 + (p - 3))*1. Is 1459/v*30/10 a prime number?
True
Let y = 47 - 48. Let r be -4 - (y/2 - (-25)/10). Is r/2*1/3*-1213 a prime number?
True
Let u = -25700 - -111957. Is u prime?
True
Suppose 0 = -10*n + 8*n. Suppose -3*q = -2*v + 2*q + 1072, -5*v + q + 2703 = n. Suppose 2*o = -5*j + 198, 5*o - j = -2*j + v. Is o prime?
True
Suppose 5*z - 4*t = 2*z - 12, 5*t - 15 = -5*z. Let v be (-199 + 6)*(-1 + z). Let r = v + -78. Is r a composite number?
True
Suppose -701 - 2204 = i + 3*o, -8700 = 3*i + 4*o. Let y = 8685 - i. Is y a prime number?
False
Let j(z) = 33*z - 223. Let d be j(7). Let a(t) = 141*t + 103. Is a(d) composite?
False
Let b(r) = 115*r - 64. Let f(i) = 57*i - 32. Let k(h) = -6*b(h) + 13*f(h). Suppose -14*t + 255 = -1 + 74. Is k(t) a prime number?
True
Suppose 0*p - 500 = -5*o - 4*p, p - 197 = -2*o. Let v = 116 - o. Suppose 7659 = -11*t + v*t. Is t a prime number?
False
Suppose 0*n + 6*n - 150 = 0. Suppose x = 6*x - n. Suppose x*k - 5185 = 570. Is k composite?
False
Let b = -25892 - -133425. Is b prime?
False
Suppose 5*r - 4*r - 2*h - 8 = 0, 5*h - 25 = 0. Suppose -45020 = -22*j + r*j. Is j a composite number?
True
Suppose 23*k - 5 = 18*k, -3*k + 324736 = b. Is b a prime number?
True
Suppose 0 = -3*t - 4*f + 3*f - 2931, 4*f = -t - 977. Let p = -364 - t. Is p prime?
True
Let s be 1 + -7 + (-11 - -4 - 1862). Let j = s + 2752. Is j composite?
False
Let a(t) = 175*t**3 - 2*t**2 + 1. Let w be a(1). Is 1/6 + 2612233/w a prime number?
True
Let x(i) = 766*i**2 + 38*i + 371. Is x(-8) a prime number?
False
Let b(x) = -307*x - 456. Is b(-35) prime?
True
Suppose n = 135 - 124. Suppose -3*z + 17 + 13 = 0. Suppose -z*d - 633 = -n*d. Is d composite?
True
Let w = 15624 + 353. Is w composite?
True
Let w = 56 + -52. Suppose -w*i = 2*y - i - 23, -i + 21 = 4*y. Suppose -q - 1869 = -y*q. Is q a prime number?
False
Suppose 0 = 8*y + 7879 - 8095. Suppose 4*q - 1598 = 1918. Suppose -4*f + q = -2*k + y, 2*k - 203 = -f. Is f a prime number?
True
Let w(s) = -s. Let a be w(-2). Suppose -h = a*c + 6, -2*c = 2*h - 6*h + 16. Is 2 + 2648 + h + 5 a composite number?
False
Suppose 227*d - 2400 = 215*d. Is 4/(-50) - (-840216)/d a composite number?
False
Suppose 0 = -3*t - 6, -502 = -47*d + 42*d - 4*t. Let b = d - -7195. Is b composite?
False
Let r(m) = 26*m**2 + 112*m - 203. Is r(26) a composite number?
True
Let l = -11842 - -124741. Is l prime?
False
Let b be 1 + 6/(-9) + (-42712)/(-24). Let h = -900 + b. Suppose 6*z - h = 4778. Is z a prime number?
False
Let k(d) = d**2 + 6*d - 4. Let g be k(-7). Let v be (-1 - 1)/(g/(-24)). Is 177*(1 - v/(-6)) prime?
False
Is ((-15)/(-135)*440007)/((-1 + 4)/63) composite?
True
Suppose 2*x - x = -5*x. Suppose s + 5*s + 54 = x. Is 6/(s/(261/(-2))) prime?
False
Let k(h) = h**3 - 8*h**2 + 8. Let i be 1 + 3 - 2*-2. Let n be k(i). Let f(l) = 4*l**2 + 9*l - 7. Is f(n) prime?
False
Suppose -5*j + 3*w + 31 = 0, -29 = j - 6*j + 2*w. Suppose -8*s + j*s = -1449. Let o = s + 74. Is o composite?
False
Suppose -7 = -4*z + 13. Suppose 2*w + 6170 = 4*y, 4*y - y - 2*w = 4628. Suppose y = z*x + x. Is x a composite number?
False
Let o(j) = 19*j**2 + j + 13. Let p be 2/(-16) + 285/40. Suppose -p - 11 = 3*h + 3*g, 2*g - 8 = 0. Is o(h) composite?
True
Let n = -50 - -54. Suppose -2*l = -4*w - 11330, n*l + 6*w = 3*w + 22682. Is l a prime number?
True
Let f(z) = z**2 - 1. Let x be f(2). Suppose -5*l - 2867 = -5*j + 533, -4*l - 2039 = -x*j. Is j prime?
False
Let s = 326 + -320. Is 22/33 + 16598/s prime?
True
Let u(z) = 15*z**2 + 13*z + 29. Let s be (-27 - -23) + ((-50)/1)/(-2). Let v(y) = -y**3 + 20*y**2 + 22*y - 28. Let c be v(s). Is u(c) composite?
False
Let k(i) = 2*i - 20. Let y be k(13). Suppose -y*o = -o - 5*d + 4920, d = 2*o + 1973. Let r = o - -2130. Is r a composite number?
True
Suppose 2*b = 4*p + 327462, -6*p = -4*b - 2*p + 654944. Is b a prime number?
True
Let q = 109 + -109. Suppose -2*o + 6*o = d + 2, q = 3*o + 3*d - 9. Is o*((-1)/(-1) - -7368) composite?
False
Suppose -a - 2*j = 3*j + 647, -j = -2*a - 1283. Let w be (305 - 2)*4/36*-3. Let n = w - a. Is n a prime number?
True
Let l(s) = -33*s**3 - 32*s**2 + 23*s + 59. Is l(-19) a prime number?
False
Let i = 124735 + 103908. Is i composite?
True
Suppose a - 1035 = 416. Suppose -7*f - i = -5*f + 759, -4*i = 2*f + 744. Let x = f + a. I