e 1/2 - 33/6. Let n be l(s). Does 13 divide 4/n - 792/(-30)?
True
Let a = -66 + 124. Is a a multiple of 29?
True
Suppose 5*h - 87 - 13 = 0. Suppose -h = 3*l + l. Let u = 41 + l. Does 16 divide u?
False
Suppose -16 = -2*a + 50. Let n = 21 - a. Is 2 a factor of (-2 - (1 + n)) + -2?
False
Suppose -8*x + 1053 = -5*x. Suppose -3*i - 132 = -2*p, 3*i - x = -p - 4*p. Let d = -49 + p. Does 18 divide d?
False
Let j(q) = 5*q - 72. Is 6 a factor of j(22)?
False
Suppose f - 4 = -1. Suppose f*t + 0*t - 141 = 0. Is t a multiple of 8?
False
Let b = 193 - 56. Let n be b/(-2)*4/(-2). Suppose 3*l + 5*u = -0*l + n, -4*u = 5*l - 224. Is 17 a factor of l?
False
Suppose -2*y - y = -36. Suppose 4*u = 292 + y. Suppose -3*k + k + u = 0. Does 19 divide k?
True
Does 39 divide (-15)/4*1*(-1088)/24?
False
Suppose -8 = -5*j + 7. Suppose -3*u - j*i + 18 = 0, 2*u = -5*i - 1 + 19. Let z = u - -3. Is 6 a factor of z?
False
Suppose 3*w + 3 = 15. Let s = -4 + w. Suppose -4*d + 2*d + 44 = s. Is d a multiple of 11?
True
Let m(i) = 1 - 1 + 30*i**2. Let s be 2*(3/6 + -1)*1. Does 11 divide m(s)?
False
Let z(u) = u**3 - 4*u**2 + 3*u - 1. Let t be z(5). Suppose -21 = -3*x - 3*p + 42, -3*x = -5*p - t. Is x a multiple of 6?
True
Suppose d + q - 4*q + 27 = 0, -3*q = -2*d - 48. Is 19 a factor of 2*(-4)/(8/d)?
False
Let q be (6/4)/((-4)/(-8)). Suppose 0 = -3*w - n + 13, 0 = 3*w - 2*w - 5*n - 15. Suppose -w + q = -o. Is 2 a factor of o?
True
Let p = 5 - -39. Does 11 divide p?
True
Suppose -125 = -3*f + 2*k - 4*k, 0 = 3*k - 12. Suppose 2*v = u + 40, -f = -5*v + u + 55. Does 18 divide v?
True
Let l = -10 + 15. Suppose 0*u - 105 = -l*u. Is 13 a factor of (-6)/u + 156/7?
False
Let h be (-4)/(-10) - 488/20. Does 3 divide h/14*14/(-4)?
True
Does 29 divide (-5)/(-15)*3*1 - -260?
True
Suppose 3*s + s - 120 = 0. Is s a multiple of 15?
True
Let s be (0 + -3 + 2)*-2. Suppose a = -4*u - 2, 7*a + s*u - 62 = 2*a. Is a a multiple of 4?
False
Suppose 0 = 7*x - 6*x - 12. Is 6 a factor of x?
True
Let g(l) = -l**3 + 9*l**2 - 8*l + 1. Let b be g(8). Is 10 a factor of (21 + (2 - 3))*b?
True
Let v be (-6)/(-5)*50/15. Suppose -235 = -5*c - 5*k, 5*k - 145 = v*c - 7*c. Does 20 divide c?
False
Suppose f + 8 - 66 = 0. Is 29 a factor of f?
True
Suppose -2*v + 0*v + 56 = 3*a, -2*v - 120 = -5*a. Suppose 2*m - 20 = a. Let u = -5 + m. Does 16 divide u?
True
Let j = 37 + -16. Let l = 31 - j. Is 5 a factor of l?
True
Suppose 9*k - 2089 = 1430. Is 17 a factor of k?
True
Suppose -6*k = 5*v - 4*k - 114, 2*k = 4. Is 22 a factor of v?
True
Let s(j) = j**2 + j - 3. Suppose 0 = 4*d + 4*h - 7*h - 3, 3*h = 3*d - 6. Let k be s(d). Is 1 + 13 + k/1 a multiple of 5?
False
Suppose z = 4*t - 6, -4*z - 23 = 2*t + 19. Let f = 5 + z. Let d(y) = -y**3 - 4*y**2 + 3*y - 2. Does 8 divide d(f)?
True
Suppose -2*w = y + 4, 4*y = -2*w + y - 8. Does 15 divide 35 - -2*w/1?
False
Suppose 1 = 2*r + 11. Let t(u) = u + 5. Let z be t(r). Suppose -2*p - 3*p + 110 = z. Does 11 divide p?
True
Suppose t = 2*z - 6*z + 145, 2*t - 4*z - 230 = 0. Suppose -4*j - 100 = 5*v, -v = -5*j - 4*v - t. Is j/(-5)*3/5 a multiple of 3?
True
Let x(k) = 3*k - 13. Let v(t) = -2*t + 6. Let o(b) = 5*v(b) + 3*x(b). Let g be o(-9). Suppose g = -2*u + 5*u - 12. Is u a multiple of 4?
True
Let k(g) = g**2 + 2*g. Is k(4) a multiple of 4?
True
Let l be (-209)/(-7) - 6/(-42). Suppose d + 4 = l. Is 13 a factor of d?
True
Let g(d) = d**3 - 5*d**2 - 14*d - 8. Is g(8) a multiple of 9?
True
Let n(b) = -b**2 + 3*b + 1. Let j be n(4). Let p(w) = 2*w**2 + 3*w + 1. Let z be p(j). Let t = z - 4. Is t a multiple of 3?
True
Let k be -1 - -9*6/9. Let r = k - -4. Does 9 divide r?
True
Let v be 2/3 + (-950)/(-15). Suppose l = -4*r + v, 4*r = l + 53 + 19. Is 7 a factor of r?
False
Suppose 0 = 5*r - 6*i + 2*i + 143, 96 = -3*r - i. Let j = r - -51. Is 6 a factor of j?
False
Suppose 6*l = -35 + 575. Is l a multiple of 12?
False
Is 2 - (3 + 57*-1) a multiple of 13?
False
Suppose 34 = 2*r - 4*j, 2*j - 6 + 131 = 5*r. Suppose -3*n = -r - 15. Does 14 divide n?
True
Let o be -1 - -1 - (3 - 7). Let f = 8 - o. Is 4 a factor of f?
True
Let z(k) = k**3 + 8*k**2 - 6*k + 8. Let f be z(-8). Suppose f = 2*s + 4*v, -5*s = 2*v - 0*v - 156. Is s a multiple of 11?
False
Suppose -5*x - 15 = -5*i, 0*i = i + 5*x - 3. Let g be (16/12)/(2/6). Suppose 2*m + 16 - 41 = 3*a, -g*m + 35 = -i*a. Does 5 divide m?
True
Let n be 6/(5/1 - 3). Suppose -t - n = -15. Does 6 divide t?
True
Suppose 5*x = -r + 105 + 80, -2*r - 74 = -2*x. Suppose 0 = -5*a - 0*u - u + 39, 0 = 4*a - 5*u - x. Is 8 a factor of a?
True
Let k be 4/14 + (-4)/14. Let v(w) = w**2 - w + 4. Let f be v(k). Suppose 3*y - 2*l + 6 = 20, -f*y - 3*l = -47. Does 5 divide y?
False
Let j = 113 + -65. Suppose 0 = 5*b - b - j. Does 4 divide b?
True
Let c be 5/20 + 11/4. Suppose 28 = 2*f - 0*f - 5*a, f - 14 = c*a. Is f*((-144)/14)/(-4) a multiple of 16?
False
Let y be -25*(1 - 39/15). Suppose 0*o + 5*o = y. Let m(s) = -s**2 + 9*s + 6. Is 6 a factor of m(o)?
False
Let n = -54 - -94. Suppose 3*d = -f + d + 17, 3*f = 5*d + n. Does 6 divide f?
False
Let v = 39 + -5. Is v a multiple of 22?
False
Let c(i) = i**2 + 10*i - 4. Let w be c(-10). Let u(o) = -2*o**3 - 3*o**2 + 5*o - 2. Is u(w) a multiple of 22?
False
Let b(f) = -1. Let n(a) = a**3 - 2*a**2 + a - 4. Let o(k) = b(k) - n(k). Let x be o(4). Let u = -13 - x. Does 16 divide u?
False
Let g(t) = t**3 - 4*t**2 + 2*t + 1. Let j be g(4). Let o(c) = 7*c - c - 4*c - c + j. Is o(-7) a multiple of 2?
True
Suppose 465 = 3*k - 4*c - 91, -908 = -5*k + 2*c. Does 21 divide k?
False
Does 12 divide -6*((-95)/(-10))/(-1)?
False
Suppose 6*u = -3*l + 3*u + 327, -3*l = -5*u - 335. Let y = l + -18. Is 23 a factor of y?
True
Let h = 45 - 33. Is 3 a factor of h?
True
Let y = 7 + -25. Let w = -14 + y. Let x = w + 57. Does 15 divide x?
False
Let d = 20 + -18. Suppose u + 177 = -u - 3*x, -167 = 2*u + 5*x. Does 9 divide (u/(-3))/d + 2?
True
Suppose -3*d + 5*z + 57 = 0, -2*d = -3*d + z + 19. Suppose 0 = 4*j + j + v - d, 3*v = -3. Suppose -3*a - 11 = -j*a. Does 11 divide a?
True
Suppose -2*r + 2 = -4*p, -r - 3*p - 9 = -0*p. Let n = -3 - r. Suppose y + 4*h - 37 = n, 4*y - 3*y - h = 12. Is 6 a factor of y?
False
Let k = 80 + 11. Does 13 divide k?
True
Let i = 19 - 14. Suppose -4*x + i*v = -62, 0 = 3*v - 0*v - 6. Does 18 divide x?
True
Let x = -9 + 14. Let q = 27 - x. Is 11 a factor of q?
True
Suppose 0*u + 18 = 3*u. Is u even?
True
Let d = -97 + 155. Suppose -4*z + d - 2 = 0. Is 14 a factor of z?
True
Let u = 3 + 4. Let d = u + 3. Is 6 a factor of d?
False
Let g be (-4)/14 - 33/7. Let t(f) be the second derivative of -f**4/12 - 5*f**3/6 + 3*f**2/2 - 2*f. Does 3 divide t(g)?
True
Let k = 39 - -21. Is 15 a factor of k?
True
Suppose 4*v + 10 = -2. Let w(q) = -q**2 - 3*q. Let h be w(v). Suppose 3*r = 2*x - 75, h*r - 5*r - 41 = -x. Is x a multiple of 18?
True
Let f = -9 - -9. Is 0 + f + 3 + 16 a multiple of 5?
False
Let o(p) = 5*p**2 - 1. Let m be o(-1). Let w(q) = q**2 + q + 4. Is w(m) a multiple of 14?
False
Suppose 0 = 3*g + 4*c + 21, 14 = -4*g + c - 14. Let i(j) = -5*j + 6. Is 7 a factor of i(g)?
False
Let w = -5 - -7. Suppose w*c = t - 21, -4*t + 73 = 4*c - c. Is 19 a factor of t?
True
Let b(l) = -l**3 - 4*l**2 - 5*l - 3. Let s be b(-3). Suppose -s*o - 2*o + 122 = 4*j, -5*o + 101 = -3*j. Is 11 a factor of o?
True
Suppose -2*q - 5*a = -448, -q - 2*q + 651 = -3*a. Is 32 a factor of q?
False
Let l = 16 + -10. Let k = 12 - l. Is 3 a factor of k?
True
Suppose -i - 2 = 2*h, 3*i - 2*h + 2 = -4*h. Suppose 0 = 4*p + r - 84, 60 = 2*p - i*p - 4*r. Is p a multiple of 14?
False
Let f(d) = d**3 + 27*d**2 + 14*d - 11. Is f(-26) a multiple of 43?
True
Let o = 4 - 1. Let t be (-1)/o + 42/18. Suppose -t*r = r - 12. Does 4 divide r?
True
Suppose -l = -v - 25 - 7, -20 = -5*v. Does 36 divide l?
True
Let f = -113 + 161. Suppose -4*o + 12 + f = 0. Does 10 divide o?
False
Is (-462)/(-15) + (-1)/(-5) a multiple of 25?
False
Let s be (1 + (3 - 2))/((-3)/123). Let a(k) = 142*k**3 + k**2 - k - 1. Let c be a(-1). Let j = s - c. Is 22 a factor of j?
False
Let r(d) = 7*d**2 + 4*d + 3. Let g(f) = -f**3 + 4*f**2 + 2*f - 2. Let t(w) = w. Let j(y) = g(y) - 2*t(y). Let u be j(4). Does 10 divide r(u)?
False
Suppose 46 = w - 26. Is w a multiple of 36?
True
Let f(b) = -4*b**3 + b**2 - 3. Let v be f(3). Le