 -20. Does 12 divide u?
True
Let z = -73 - -162. Is z a multiple of 20?
False
Suppose 4*b - 9 = -3*i, -11 = -3*i + 5*b - 2. Suppose -54 - 189 = -i*d. Is d a multiple of 21?
False
Suppose -4*m + 2*k + 46 = -42, 4*k + 8 = 0. Is 21 a factor of m?
True
Suppose -5*c = -3*d - 32, -27 + 3 = -4*c + 4*d. Is 2 a factor of c?
False
Let z(k) = -5*k. Suppose 4 = -3*a - 2. Is 7 a factor of z(a)?
False
Let a = 11 - 5. Suppose g + d - 2*d = a, -5*d + 60 = 4*g. Is g a multiple of 4?
False
Suppose 0*o + 2*u = 3*o - 3, -2*o - 2*u = -12. Suppose 0 = -o*f - 0 - 3. Let w(z) = -14*z + 1. Does 6 divide w(f)?
False
Let p(g) = -23*g + 4. Is p(-2) a multiple of 26?
False
Suppose 17 = 4*a - 27. Let w = -1 + a. Let c = -7 + w. Is 3 a factor of c?
True
Let d(o) = -20*o**3 + o**2. Let c be d(1). Let a = 9 - c. Suppose 2*r + 72 = 5*l - 3*l, -r = l - a. Does 15 divide l?
False
Let y be (-69)/(-4) - (-3)/(-12). Let k = 18 + y. Does 8 divide (5 + 1)*k/15?
False
Suppose -q + 27 = -2. Let l(j) = 2*j**3 - 3*j**2 + j + 2. Let z be l(2). Let f = q - z. Is f a multiple of 16?
False
Suppose 5 = -4*t + 21. Does 3 divide t?
False
Is 21 a factor of 106/5 + (-4)/(-60)*-3?
True
Suppose -28 = -2*x - 2*x. Is 4 a factor of x?
False
Suppose 0 = 2*x + 4*n + 16, 2*x + 2*n = -n - 12. Suppose x = 4*j, -18 = -2*d - j - 3*j. Is d even?
False
Let a(i) = 2*i**3 + 7*i**2 - 2*i + 2. Let u be a(-5). Let j = -31 - u. Does 11 divide j?
False
Suppose 0 = 4*y + 3*k - 2*k - 24, y + 4*k - 21 = 0. Does 5 divide y?
True
Suppose -2*f + 1 = -3. Let d be ((-4)/f)/((-2)/4). Suppose d*n - 3*o - 102 = -0*n, 2*n = -3*o + 42. Does 12 divide n?
True
Suppose 2*h + 5*k = 479, k + 264 + 480 = 3*h. Is 12 a factor of h?
False
Let r = 72 + -36. Does 8 divide r?
False
Suppose -2*i + 2 = -4*r, -r + 4*r - 3*i = 0. Let v(h) = 21*h**3 - 2*h**2 - 6*h - 5. Let y(z) = -z**3 + z + 1. Let x(c) = -v(c) - 4*y(c). Does 9 divide x(r)?
True
Let q(b) = -4*b**2. Let k be q(1). Is 3 a factor of k - (-1)/(4/64)?
True
Let h(g) = g - 1. Let m be h(-2). Let c(b) be the first derivative of -b**4/4 + b**3/3 + b**2/2 - b + 1. Does 13 divide c(m)?
False
Let n(d) = 7*d**2 - 6*d + 8. Is n(3) a multiple of 12?
False
Let v be 18 + -6 + (0 - 2). Let z = 43 - v. Does 11 divide z?
True
Let h = 49 - -5. Is h a multiple of 9?
True
Let c = 81 - 81. Suppose r - g = -0*r, -5*r + g = -12. Suppose -50 = -5*z - n, z - r*n - 10 = -c*n. Does 4 divide z?
False
Suppose -3*s + 18 = 6, 0 = -4*t + 3*s + 56. Let x = 1 + t. Does 15 divide x?
False
Let j = 18 - 20. Is 1*(0 - -5) + j a multiple of 3?
True
Let z(a) = 6*a + 4. Does 8 divide z(3)?
False
Suppose 18 = -n + 7*n. Is n a multiple of 2?
False
Let f be -1 - -51*(-4)/(-6). Let p = f + -15. Does 6 divide p?
True
Let g(b) = -b + 69. Is 23 a factor of g(0)?
True
Let c(d) = -d**3 - 6*d**2 - 9*d. Let g be c(-5). Suppose 7 + g = 3*i. Does 3 divide i?
True
Does 23 divide (-2266)/(-33) + (-1)/(-3)?
True
Let l(c) = -c + c**2 + 0 + 5*c + c**2 + 2. Let w(j) = -j**2 - 2*j + 4. Let n be w(-4). Is l(n) a multiple of 7?
False
Let a(d) = -d**2 + 7*d - 6. Let n = 4 - -2. Let l be a(n). Suppose l = p + 2*p + 9, -p = -3*m + 12. Does 3 divide m?
True
Let m = 13 + -5. Is m a multiple of 4?
True
Let u(h) = h - 8*h + 5 - 4*h + 2*h**2 + 2*h. Is 20 a factor of u(7)?
True
Suppose -315 = 3*w - 8*w. Does 21 divide w?
True
Suppose -4*f - 31 = 137. Let o = f - -7. Let k = o + 80. Is k a multiple of 24?
False
Suppose 7 = 2*t - 3*t. Let p(m) = -m**3 - 5*m**2 + 9*m + 10. Is 17 a factor of p(t)?
False
Let h = 1 - 5. Is (h - (-3 - 0))*-42 a multiple of 10?
False
Let f(h) = 18*h**2 - 2*h + 1. Is f(1) a multiple of 17?
True
Let n(b) = -b**2 + 8*b - 9. Let t be n(6). Suppose 4*g + 19 = -2*f + 95, -3*g + 60 = t*f. Is 6 a factor of g?
True
Suppose -5*n + 50 = m - 31, 5*n = -5*m + 85. Let s = 4 - n. Does 8 divide (0 + s/(-9))*6?
True
Let y(u) = u**3 + 3*u**2 - 6*u - 2. Let i(c) = -c**2 + c + 1. Let q(k) = 3*i(k) + y(k). Let h be q(2). Let j = h + 3. Is 5 a factor of j?
False
Is 3 - 2 - (-5 - 133) a multiple of 34?
False
Let p(t) = 26*t**3 + t**2 + 3*t + 1. Let c be p(-1). Let r = -7 - c. Does 5 divide r?
True
Let l(r) = -5*r + r**2 + 0*r**2 - 3 - 2*r**2. Let g be l(-3). Suppose -2*p - 3*p = -g*o - 85, 34 = p - 4*o. Is p a multiple of 14?
True
Let p(j) = 28*j + 1. Let c be p(-3). Let r = c - -141. Is 15 a factor of r?
False
Let n(g) = g**3 + g**2. Let f(j) = 4*j**3 + 11*j**2 - 3*j + 2. Let v(x) = f(x) - 5*n(x). Is v(5) a multiple of 12?
True
Let h = -76 - -242. Is h a multiple of 16?
False
Suppose d - 1 = 3*b + 3, -4*b = 2*d + 2. Is d + (-2)/2 + 20 a multiple of 11?
False
Let i(y) = y**3 - 6*y**2 - 6*y - 3. Let s be i(7). Suppose -12 = -3*r - 0*r. Suppose s*n - 3*w + 0*w = 79, -3*n - r*w + 28 = 0. Is n a multiple of 13?
False
Suppose -5*p - 3*a = 5, -p - 3*a + 3 = -4*p. Is (p - -2) + -2 + 7 a multiple of 3?
True
Let u(v) = 2*v + 4*v - 77 + 69. Is u(4) a multiple of 12?
False
Let d = 12 + 19. Is 4 a factor of d?
False
Let p = 5 - 2. Is ((-12)/14)/(p/(-21)) even?
True
Let t = 4 - 1. Suppose 170 = -5*i - 5*w, -t*i - 188 = 2*i - w. Let l = -26 - i. Does 11 divide l?
True
Suppose -8*a + 335 = -817. Is 9 a factor of a?
True
Let t(o) = -4*o**2 - 198*o + 199*o + 3*o**2 + 48. Let u be 1 - 0 - (1 - 0). Does 17 divide t(u)?
False
Let i = 1 - -31. Let z be (0 - -2) + -20 + -1. Let n = z + i. Is n a multiple of 7?
False
Suppose 0 = 3*q + 2*z + 2, -2 = -2*q + 2*z. Suppose q = -3*x - 26 + 116. Is 15 a factor of x?
True
Is 14 a factor of (1*8)/((-10)/(-35))?
True
Is -1 + 2 - -2 - -59 a multiple of 31?
True
Suppose -1 = 2*o - 5. Let x(p) = 5*p**2 - 3*p**o + 24 - p**2. Is x(0) a multiple of 17?
False
Let f = 72 + -51. Is (-2)/(3 - f/6) even?
True
Suppose 3*q - 1134 = -3*q. Does 33 divide q?
False
Is 4 - (-2 - (-27)/(-3)) a multiple of 9?
False
Let q be -6 + (-1 - 2) + 1. Let y be (-6)/q - (-231)/12. Let n = y - 7. Is n a multiple of 13?
True
Suppose 4*l + 90 = -2*j + 294, 3*l + 4*j - 153 = 0. Let z = l - 36. Is 15 a factor of z?
True
Let x be (1 - 2) + 2 - -2. Suppose -3*j = x*q - 2*q, -j - 1 = 0. Suppose -r = -q*d - 48 - 1, 185 = 5*r - 3*d. Is r a multiple of 17?
True
Let j = -28 + 10. Suppose -2*h + 0*h + 68 = 0. Let i = j + h. Is 16 a factor of i?
True
Let k(v) be the second derivative of v**6/360 + 3*v**4/8 + v**3/6 - 2*v. Let q(n) be the second derivative of k(n). Does 4 divide q(0)?
False
Suppose -4*c - 8 = -60. Is 13 a factor of c?
True
Suppose q = 4*i + 32, q - i - 16 - 19 = 0. Is 18 a factor of q?
True
Suppose -5*y = 3*t - 127, -43 = -t - 6*y + 5*y. Does 7 divide t?
False
Let j(p) = -29*p + 5. Let l(a) = -7*a + 1. Let v(k) = 2*j(k) - 9*l(k). Is 13 a factor of v(5)?
True
Let s = -6 + 11. Suppose -d - n + 9 = 3*n, 2*d = -s*n + 24. Is 7 a factor of d?
False
Let h = -16 + 16. Suppose v = 5*i + 50, 4*v + 5*i - 41 - 59 = h. Is v a multiple of 10?
True
Suppose -5*x + s - 184 = 0, 4*s + 134 = -3*x + 42. Let n be 2/4 + x/(-8). Suppose -n*w + 111 = 4*b - 59, -w + b = -34. Is w a multiple of 13?
False
Let v = -87 - -181. Is 26 a factor of v?
False
Let c = 4 + 8. Suppose -6*m = -3*m - c. Suppose 14 = m*p - 50. Is p a multiple of 6?
False
Let t be 18/108 + 482/(-12). Let u = t + 90. Does 25 divide u?
True
Suppose -4*t + a - 70 = 0, 4*t + 2*a = -24 - 52. Is -1 - (t - (-2)/1) a multiple of 14?
False
Let v = 27 - 19. Let l(h) = h**3 - 7*h**2 - 3*h - 2. Is 19 a factor of l(v)?
True
Let r = 0 - -2. Suppose -17 = -4*d - 5*x, -7 = -2*d - r*x - x. Is 4 a factor of d?
True
Suppose 215 = 5*n + 5*q, 15 + 10 = 5*q. Does 30 divide n?
False
Let f(m) = -13*m - 2. Let y(v) = 9*v + 1. Let l(o) = -5*f(o) - 8*y(o). Let w = -16 - -13. Is l(w) a multiple of 23?
True
Let s(o) = o**2 + 6*o + 7. Let c be s(-5). Suppose 0 = -l + c*l - 34. Is 11 a factor of l?
False
Let d(k) = 2*k**2 + 5*k - 2. Suppose -2*t = 4*i - 7*t + 11, -3*i - 9 = -3*t. Does 4 divide d(i)?
False
Let x = -15 - -23. Suppose x*z = 4*z - 2*q + 14, -5*q - 7 = -4*z. Suppose 6 = -w + z*w. Is 3 a factor of w?
True
Let m = 3 + -3. Suppose 4*t - 2*t - 32 = m. Does 13 divide t?
False
Let u(x) = 3*x - 3. Let s be u(4). Suppose -j - 1 + s = 0. Is 5 a factor of j?
False
Suppose -675 = -5*p - 0*p. Does 24 divide p?
False
Let f be 6*(-34)/4 + 1. Let l = -31 - f. Is 11 a factor of l?
False
Let l(x) be the second derivative of -3*x**5/5 + x**4/12 - x*