. Let r = -7 - 3. Let l be f(r). Suppose l + 974 = 4*i. Is i composite?
True
Let j(i) = -4*i**2 + 6. Let f be j(-2). Is (3792/(-5))/(-6) - 6/f prime?
True
Suppose 22*x = 10*x + 116004. Is x prime?
False
Is (29396/8)/((-3)/((-30)/1)) a composite number?
True
Let t(n) = 353*n**3 + 5*n**2 - 10*n - 19. Is t(3) a composite number?
True
Let t be 2*8 + (1 - 1). Let g(j) = 208*j + 113*j + t - 5. Is g(8) a prime number?
True
Let l(n) = 118*n**2 - n. Suppose 5*w - 10 = 10. Suppose -6 = 5*u + 3*z - 1, -4*z + 4 = -w*u. Is l(u) composite?
True
Let z(q) = 37*q + 2. Let x be z(-7). Let y = -56 - x. Is (-4)/6*y/(-2) composite?
False
Let w = 156 - 344. Let f = w - -120. Let t = 71 - f. Is t composite?
False
Let h = -7 + 533. Is h composite?
True
Let f(r) = 241*r + 73. Is f(48) a composite number?
True
Suppose -4*w - 6 = 2*i - 4*i, 3*w + 3*i = 0. Let d(j) = 664*j - 2. Let b be d(w). Let g = b - -1147. Is g prime?
False
Let y(h) = -h**2 + 9*h - 11. Let j be y(6). Suppose 2*c - q = j, c = 2*c + 5*q + 2. Suppose 4*f - 2144 - 229 = -c*b, 5*f - 3950 = -5*b. Is b prime?
True
Suppose -5*z = -7*z. Suppose 7*c - 13*c + 948 = z. Is c composite?
True
Let t(u) = 4*u + 24. Let a be t(-7). Is 8 + a + 1/(-1) a composite number?
False
Let k(h) = -6*h**3 - 5*h**2 - 5*h - 13 + 3*h**2 + 23*h + 0. Is k(-9) composite?
True
Let k = 3449 + 13530. Is k prime?
True
Let z(q) = 32*q - 33. Let d be z(3). Let f(a) = -3*a - 3. Let o be f(-3). Is d/o*74/3 composite?
True
Let a = 1 + 4. Suppose -a = 3*b - 20. Suppose -b*o = -2*o - 381. Is o a prime number?
True
Is ((-81)/6 + 13)/(2/(-28796)) prime?
False
Suppose 17*b = 21*b - j - 1411, b + 2*j = 355. Is b prime?
True
Let i(g) = -g**3 - 58*g**2 - 60*g - 37. Is i(-57) a prime number?
False
Let y(c) = -3685*c**3 - c**2 - 5. Is y(-2) a composite number?
True
Let i(g) = -64*g**2 - 2*g + 2. Let x be i(-11). Let c = x + 13499. Is c a prime number?
True
Suppose -3*u = 3*b + 162, b + 5*u - 87 = 3*b. Let h = 37 - -49. Let a = h + b. Is a a composite number?
True
Let s = 11801 - 4366. Is s composite?
True
Suppose 6 = 2*u - 0*u. Suppose 3*j - 4*c = 191, u*c + 126 = j + j. Suppose -p = 2*p - j. Is p a composite number?
False
Let u(t) = t + 11. Let q be u(-9). Let g(l) = 4*l**3 + l**2 + l - 1. Is g(q) composite?
False
Suppose -2*g = -4*v + 3*v - 5, -6 = 3*v - 3*g. Let r be (v + 0 - 3) + 2. Suppose -5*k + 4*s + 1475 = r, -938 = -2*k - 3*s - 348. Is k composite?
True
Suppose 5*x + 2*h - 2695 = 0, -121 = 2*x + h - 1198. Is x prime?
True
Suppose -w - 2*w - 4*w = 0. Suppose 5*z - i = -0*z + 1111, w = 3*i - 12. Is z a prime number?
True
Suppose -4*v + 5 = t - 8, v + 3*t = 17. Let b(i) = 280*i**2 - 3*i + 3. Is b(v) a prime number?
True
Suppose 5*i - 30 = -10, -4*w = 2*i. Let g be w/6 + (-26)/(-6). Suppose -4*m + 4*d = -8736, -4*d - 2199 = 3*m - g*m. Is m composite?
False
Suppose -2*d = -4*h - 0*d + 84, -3*h - d + 73 = 0. Let m = h + 468. Is m prime?
True
Let p be 512/272 + (-4)/(-34). Suppose -p*w + t = 3*w - 434, -2*w + 171 = -3*t. Is w composite?
True
Let z be (-4)/14 - 12681/(-63). Suppose 2*p + z = 5*p. Is p composite?
False
Suppose 5*s = 2*l + 207 + 908, -5*l - 25 = 0. Is s a composite number?
True
Let t(g) = -g**2 + g. Let k(a) = -a**3 + 8*a**2 - 9*a - 1. Let y(c) = -k(c) - 3*t(c). Let d be (-11)/(-2) + (-1)/2. Is y(d) prime?
True
Let c(b) = b**2 + 55. Let f be c(0). Suppose w - 26 = -4*d + f, 5*w - 474 = 3*d. Is w a composite number?
True
Let o be 40*7 - 0/1. Suppose 5*c - 23 = -4*p, 3*c + 5*p = -0*p + 19. Suppose 4*f - 563 = c*w, 2*w - o = -2*f + 4*w. Is f a prime number?
False
Let j be 10 - (-12)/(3 + -7). Suppose -g + 0*g + 5*l + j = 0, -g + 3*l = -5. Suppose -g*z + 3*q + 799 = 0, -5 = 2*q - 3*q. Is z composite?
True
Suppose -b = 5*k - 0*b - 20540, k - 4129 = 4*b. Is k composite?
True
Let h = 93 + -81. Suppose z - 5*a + 14 = 43, -4*z - a = -158. Let q = h + z. Is q prime?
False
Is (-1)/(-1) - (-57582 + (25 - 13)) composite?
False
Is 8/(-12) + 154409*2/6 a composite number?
True
Let b = -9 - -11. Suppose 5*m = -5*j - 20, 3*m + 3*j + 16 = -b*j. Is (671 + -2)*m/(-6) a composite number?
False
Suppose 2*x + x - 2*a - 8156 = 0, 2718 = x - a. Suppose -5*v = -1715 - x. Is v prime?
True
Suppose -1186*g + 1182*g = -18548. Is g a prime number?
True
Let w(v) = -8*v**2 + 5 - v + 4*v**2 + 32 - 5*v**3 - 10. Is w(-7) composite?
False
Let j(m) = -m + 5. Let z be j(3). Suppose -z*g = 4 - 10. Suppose g*q - 132 = 27. Is q a prime number?
True
Is 1619*(2/(-6))/((-14)/42) a prime number?
True
Suppose -2*p = -7*u + 4*u - 14462, 0 = -2*p + u + 14470. Is p a prime number?
True
Suppose -2*a - z - 1184 = -5*a, 4*z = 4*a - 1584. Suppose 0 = 3*b - u + a, b - 3*u = -92 - 42. Let i = -46 - b. Is i a composite number?
True
Let j(t) = t - 1. Let r be j(3). Suppose 1077 = 4*i + 3*q, -q + 279 = i + 3*q. Suppose -b + i = r*b. Is b composite?
False
Is (-6)/(-4)*11824/(-60)*-5 a prime number?
False
Is -10 + 6 - -4715 - -6 a composite number?
True
Suppose -4*n - 5660 = -5*b, -30 = -5*b - 10. Let g = n + 3359. Is g a composite number?
False
Let x(s) = s - 3. Let y be x(-6). Let p be -2 + 5 - (y + 8). Suppose 7*g - 3*g - 224 = -p*u, 5*u + 270 = 5*g. Is g prime?
False
Let q = 94 + -85. Suppose q*m = 16963 + 200. Is m a prime number?
True
Is (26/6)/(7/315*5) a prime number?
False
Let i = 16 + -27. Let c = 12 + i. Is (11/(-22))/(c/(-106)) composite?
False
Let s be (3 - (5 - 2))/(-1 + 2). Suppose s = -2*r + 462 + 296. Is r prime?
True
Suppose 0 = 17*c - 21*c + 1792. Let v = c - 260. Suppose -4*z + v = -0. Is z a composite number?
False
Let x(v) = 2*v**2 + 36*v + 287. Is x(-46) a prime number?
False
Let t be -2 + 2 + (-4 - 38). Is 12/t + (21158/7)/2 composite?
False
Let g(q) = 2*q + 12. Let k be g(3). Is (-415)/(-3) + 12/k a prime number?
True
Let r = 6043 + -1382. Suppose -l - 4*z = -r - 86, 0 = 4*l - 2*z - 18898. Is l a prime number?
False
Suppose -33*z + 365142 = -27*z. Is z a composite number?
True
Suppose h + 57555 = 148898. Is h a composite number?
True
Let i(g) = 24*g + 5. Let y(d) = -24*d - 5. Suppose 3*m = 7*m - 16, 4*n = -4*m + 4. Let u(q) = n*i(q) - 4*y(q). Is u(12) composite?
False
Let x(h) = h**2 - 12*h + 12. Let p be x(11). Let b be (6 + p)/(1/(-3)). Is (b/6)/((-1)/134) a composite number?
True
Let t(s) = s**3 - 7*s**2 + 6*s - 6. Let o be (6/(-4))/(8/(-32)). Let v be t(o). Is v/12 + (-159)/(-2) a prime number?
True
Suppose r - 5*x - 10 = -4*r, -2*x - 4 = 3*r. Let m be (-9)/(-3 + r) - 63. Is 2 + (m*4)/(-3) composite?
True
Suppose -71 = 4*j - 11. Suppose -18*v = -21*v - 1038. Let d = j - v. Is d prime?
True
Let p = -6 + 3. Is p/4 - (-583)/4 a prime number?
False
Let b(l) = l - 12. Let t be b(13). Is 48/(-16) - (-1263 - t) a prime number?
False
Let c be 3/3*(6 - 2). Suppose -2*r + 5*k + 666 = 2*r, -5*r + 812 = c*k. Let y = -117 + r. Is y prime?
True
Let h be (-2)/(-3)*(-11487)/(-7). Let a = 2136 - h. Is a a composite number?
True
Let k be 0/(1 - 0/(-1)). Suppose 2*o + 5*g = k, g = -5*o - g. Suppose o*v = v - 97. Is v prime?
True
Let m(t) = -t**3 - 5*t**2 + 7*t + 6. Let f be m(-6). Let z = 1071 + -434. Is f - ((0 - z) + 4) prime?
False
Let p = -301 - -10198. Is p a composite number?
True
Let q = 209 - 62. Suppose -z - q = -616. Is z a composite number?
True
Let k(l) = l**3 - 19*l**2 - 2*l + 17. Let u be k(19). Is (-3118)/(-14) - (0 + 6/u) prime?
True
Suppose 4*u = -4*o + 5*o + 16, -4*u = -4*o - 4. Suppose u*d - 178 = 1057. Suppose 2*v - 102 - 64 = -k, 3*v + 2*k - d = 0. Is v a composite number?
True
Let r(l) = 5*l**2. Let z be r(1). Suppose -z*m + 2540 = -m. Is m a composite number?
True
Suppose 0 = 3*n - 5*g - 22226, 5*n + 2*g = 6*g + 37065. Is n a prime number?
True
Let r = -36 + 39. Is (-2 - (-1 + r)) + 21*39 prime?
False
Let u(d) = -2*d + 10. Let y be u(4). Let o(n) = 107*n - 3. Is o(y) prime?
True
Let d = -8629 - -14438. Is d a prime number?
False
Suppose -2*n + 405 + 701 = 0. Is n a prime number?
False
Let g(x) = 2*x**2 - 4*x + 5. Let m be g(2). Suppose -i - 2*i + m*h = -1623, 0 = -3*h. Is (i*1)/((-16)/(-16)) prime?
True
Let p(w) = w**2 - 8*w + 8. Let b(y) = -y + 6. Let n be b(3). Suppose -o + 3*x - 16 = n*o, 3*o + x = -25. Is p(o) composite?
False
Let l = -2950 - -5053. Is l a prime number?
False
Suppose -18 - 346 = 4*s. Let m = -57 - s. Is m a prime number?
False
Let i be 0*(