314. Let u = d - -147. Does 34 divide u?
False
Let m = 104 - 216. Let j = -79 - m. Does 6 divide j?
False
Suppose h - 14 = 5*v, -4*v - 15 = 1. Is 2/4 + (-27)/h even?
False
Suppose w = -33 - 30. Let c = w - -123. Is 27 a factor of c?
False
Let h = 26 - -13. Suppose -u + 4*u - h = 0. Does 13 divide u?
True
Suppose f = -4*l + 505, 5*l - 489 = -5*f + 131. Is l a multiple of 4?
False
Let h = -872 - -1284. Does 5 divide h?
False
Suppose 42*o - 35*o - 21 = 0. Suppose -5*z - 4*b = -318, 192 = o*z - 0*z + 3*b. Is z a multiple of 4?
False
Let g(h) = -h + 15. Let i be g(8). Suppose 12*b = i*b + 60. Does 9 divide b?
False
Let l(i) = -125*i - 43. Is l(-11) a multiple of 18?
True
Does 10 divide 613 - (-6 - 63/(-7))?
True
Is 13 a factor of (-80)/(-3)*102/68?
False
Let b(r) = 2*r**2 - 30*r + 16. Let s(d) = -d + 1. Let a(u) = -b(u) - s(u). Is 5 a factor of a(14)?
True
Let n = -42 - -36. Is 12 a factor of n/(-57) + (-1700)/(-95)?
False
Let p(i) be the third derivative of i**6/120 - 2*i**5/15 + 19*i**4/24 + 5*i**3/6 + 6*i**2. Does 7 divide p(6)?
False
Let n = 2115 - 1886. Is 3 a factor of n?
False
Let g(y) = -y**3 - 5*y**2 + 12*y + 4. Let x be g(-8). Let c = x - 55. Is 15 a factor of c?
True
Let v(s) = 4*s**2 + s - 11. Let t(b) = -4*b**2 - 3*b + 13. Let u(q) = 4*t(q) + 5*v(q). Let y = 2 + -5. Is u(y) a multiple of 18?
True
Let s(l) = -3*l - 11. Let p be s(-13). Suppose p*m = 32*m - 464. Suppose -m = -3*n - 2*o, 0 = -3*n + 2*o + 3*o + 130. Does 8 divide n?
True
Let t(d) = 30*d + 65. Is 3 a factor of t(5)?
False
Let j be (-5 - (-16)/4)/1. Let c be (1/j)/((-12)/60). Suppose -g + 22 = -2*k, c*g - 4*k = -k + 75. Is g a multiple of 3?
True
Suppose 10*z - 8*z = 18. Let j = z - 5. Suppose 5*g - i - 3*i - 201 = 0, -144 = -j*g - i. Is g a multiple of 15?
False
Let n(u) be the third derivative of -u**6/360 + u**5/12 + u**4/3 + 11*u**3/6 + u**2. Let p(s) be the first derivative of n(s). Does 17 divide p(9)?
True
Suppose -19*h = -1592 - 346. Is h a multiple of 11?
False
Let o = 437 - 63. Does 13 divide o?
False
Suppose 5*i = 15 + 10. Suppose i*w - 3*w + 10 = 5*t, -2*t + 4 = 4*w. Let j = 33 + w. Is 11 a factor of j?
True
Let i be 5/20 + (-2932)/16. Let a = i - -271. Let v = a + -19. Is v a multiple of 23?
True
Suppose 0 = -4*w - 2*m + 2838, -10*w + 3549 = -5*w + 2*m. Does 15 divide w?
False
Let o(d) = -d**2 - 9*d - 12. Let f be o(-7). Suppose 4*z - 2*b - 1823 = -5*b, 0 = f*z + b - 909. Suppose 5*n - 3 - z = 0. Does 30 divide n?
False
Suppose 528*q + 3012 = 532*q. Is q a multiple of 3?
True
Let u(j) = -4*j - 1. Let i(w) = -w**2 + w + 1. Let y(f) = -i(f) + u(f). Suppose c = 2*c - 7. Is 12 a factor of y(c)?
True
Suppose 10*k - 35922 = -12522. Is 52 a factor of k?
True
Suppose -2*f - 6 = 2*i - 4, f = -5*i - 17. Suppose f*u - 4*u = 31. Is -2 + (-4)/4*u a multiple of 4?
False
Let j(u) be the first derivative of 6 + 4*u**3 - 13/2*u**2 + 1/4*u**4 + 11*u. Is j(-13) a multiple of 11?
True
Let f = -35 + 27. Does 14 divide 101 + 4*4/f?
False
Let x(i) = -9*i**3 + 3*i**2 - 8*i - 10. Let a be x(-5). Is 2 - (a/(-6) + 3) a multiple of 23?
False
Let c = 23 + 29. Let m = c + -34. Is m a multiple of 9?
True
Suppose -6*t = -15*t + 450. Is 25 a factor of t?
True
Let u(z) = -2*z**3 - 4*z**2 - 4*z - 4. Let c be u(-2). Is 5 a factor of (-204)/(c + -8) + -3?
False
Suppose -5*s + 1 = 2*g - 288, -4*g + 2*s + 566 = 0. Let z = g + -2. Is z a multiple of 20?
True
Let u(y) = y**3 - 4*y**2 - 3*y - 3. Suppose -l = v + v - 13, 12 = 4*l - 2*v. Let p be u(l). Let m(n) = -n**3 + 7*n**2 + 2*n + 8. Is 11 a factor of m(p)?
True
Let k(d) = -d**3 + 8*d**2 - 12*d + 11. Let t be k(7). Let q = t - -33. Is q a multiple of 3?
True
Suppose -y = -82 - 1076. Suppose y = -j + 2*z, 0 = -7*j + 2*j + 2*z - 5814. Is (-2)/(-9) + j/(-108) a multiple of 8?
False
Suppose 3*r = 4*t - 56, -58 = 5*r + 4*t + 46. Suppose 4*j + 22 = 3*j. Let a = r - j. Is a a multiple of 2?
True
Let b = -18 - -22. Does 6 divide ((-6)/b)/((-6)/52)?
False
Suppose 3*h + 4 = 13. Is h*17 + (1 - -2) a multiple of 9?
True
Suppose -3*i + 572 = 23*i. Is 22 a factor of i?
True
Let a be (5*1)/((-2)/(-24)). Let k = a - 11. Does 38 divide k?
False
Let l be (-3 + 13/2)/((-1)/2). Let t(a) = -6*a - 3*a**2 - 6 + 0*a + 4*a**2. Is t(l) a multiple of 30?
False
Let a = -10 - -10. Does 16 divide a + 45 - (4 - 0)?
False
Suppose -x = -5*r + 8*r - 30, 3*r - 30 = 2*x. Suppose 0 = r*d - 8*d - 116. Is 10 a factor of d?
False
Let b(g) = -g**3 - g - 6. Let x be b(0). Let o = 88 - -179. Does 13 divide o/6 - x/12?
False
Suppose 25*b = -3*b + 40320. Is 8 a factor of b?
True
Let c = -1969 - -3165. Is 91 a factor of c?
False
Let y be 4 - ((-2)/3 - (-14)/3). Suppose y = 6*u + 5*u - 2442. Does 38 divide u?
False
Let m = -24 + 28. Suppose f - 208 = -3*j + 5*f, -m*j + 286 = -f. Is 11 a factor of j?
False
Suppose 0 = -81*j + 76*j + 1605. Does 7 divide j?
False
Let l be ((-2)/3)/((-34)/969). Let p = l - 16. Suppose -x + 13 + p = 0. Is x a multiple of 3?
False
Let u = -29 - -32. Does 10 divide ((-12)/(-2) - u)*47?
False
Suppose -s - 29 = 4*v, 3*v + s = -0*s - 21. Let p = 19 + v. Is p even?
False
Suppose -5*f = -33*m + 28*m - 7655, -f + 1529 = -2*m. Is f a multiple of 26?
False
Let x(f) = f**3 + 14*f**2 + 7*f + 4. Let z be x(-13). Let q = -59 + z. Is 5 a factor of q?
False
Suppose -9*q - 311 - 283 = 0. Is ((-90)/(-6))/((-9)/q) a multiple of 10?
True
Let z(a) = a**3 + a**2 + 2. Let y be z(0). Suppose y*i - 2 + 6 = 0. Let c = 27 + i. Does 20 divide c?
False
Let w(s) = 25*s**2 + 451*s - 8. Does 5 divide w(-20)?
False
Is 2 - 1 - 27104/(-32) a multiple of 8?
True
Let p = -1468 + 2596. Does 5 divide p/32 + 3/(-12)?
True
Suppose -p - 5*m = 0, -2*p - 24 = -6*p + 4*m. Let a = 7 - p. Suppose 2*j - 52 = -a*i, 4*i = i - j + 86. Is 14 a factor of i?
False
Let o be (-3)/(-27)*3 + 2/(-6). Suppose -2*i + 7*i - 120 = o. Does 9 divide i?
False
Let y = -181 + 544. Does 58 divide y?
False
Let i = -463 - -592. Does 52 divide i?
False
Suppose -3*d = a + 9, 3*d = 4*d - 4*a + 3. Let q be d/(-5) + (-1722)/(-105). Suppose 77 = 2*z + q. Does 10 divide z?
True
Let y = 320 - -63. Does 32 divide y?
False
Let y = 364 - -377. Is y a multiple of 19?
True
Let w = 39 - 30. Is -2*w/(-6) - (-94 - 3) a multiple of 14?
False
Is 11 a factor of 136/119*3507/2?
False
Let w = -610 - -1330. Is w a multiple of 16?
True
Suppose 35*r - 31*r + 12 = 0. Is (9/6 - 2)/(r/90) a multiple of 8?
False
Suppose -5*l = 5*m - 55, -3*l + 34 = -5*m + 1. Is 7 a factor of l?
False
Suppose -v + 96 = -p + 25, 3*p + 9 = 0. Is v a multiple of 16?
False
Let w(v) = -v**3 + 13*v**2 - 5*v + 9. Let t be w(5). Suppose -3*q + 46 = j + q, -4*j + t = -5*q. Does 5 divide j?
False
Let r(f) = -114*f + 3. Let u(g) = 113*g - 4. Let l(k) = 3*r(k) + 4*u(k). Is 13 a factor of l(1)?
False
Let v = 536 - 446. Is v a multiple of 9?
True
Let q(k) = k**3 - 5*k**2 - 4*k - 13. Let m be q(6). Let o(u) = -77*u**3 + 2*u**2 + 2*u + 1. Does 39 divide o(m)?
True
Suppose 4*q - 7500 = -5*a, 21 = 2*a - 2*q - 2961. Is a a multiple of 11?
True
Let z be (2 + -2 + 5)*1. Suppose -58 = -z*t - 2*w, 3*t + 3*w = -2*t + 57. Is t a multiple of 4?
True
Let h(k) = 89*k**3 - 2*k**2 + k + 1. Let a be h(1). Suppose -10*r - a = -309. Is 11 a factor of r?
True
Let r(i) = -i**2 + 6*i + 5. Let x be r(10). Let o(c) = -2*c - 20. Let n be o(-15). Does 12 divide n/x - (-242)/14?
False
Let b(l) = l**2 - 10*l - 76. Is 100 a factor of b(-24)?
False
Let o be 4/26 - 4/26. Suppose o = 3*b - 0*t + 2*t - 464, 2*b = 4*t + 288. Is b a multiple of 38?
True
Let p be (-1 - -1) + -1 + 14. Let k = p - -8. Is k a multiple of 4?
False
Let m = 109 - 19. Is 18 a factor of m?
True
Let c(m) = -78*m**2 - 8*m**2 + 1 + 1 - m. Let q be c(1). Let a = 124 + q. Is a a multiple of 13?
True
Let u be 712/(-12) + -2 + (-4)/6. Let r = u + 90. Is r a multiple of 28?
True
Suppose 0 = -5*o + 5*c + 885, 0 = -4*o + 5*c + 304 + 406. Does 7 divide o?
True
Suppose -z + 5*r = -23, -4*z + r + 0 = -16. Let w(u) = 54*u + 6. Let h be w(z). Suppose 2*q - h = -q. Is q a multiple of 14?
True
Suppose 80 = -v + 2*v. Let n be -7 + (-520)/(-70) - 36/(-14). Suppose 3*l + 4*a - v = l, 5*l - n*a - 252 = 0. Is l a multiple of 16?
True
Let h(c) = 4*c**2 - 3*c - 2. Let q(g) = 3*g**2 - 4*g - 1. Let d(m) = 3*h(m) - 2*q(m). Does 27 divide d(-4)?
False
Let f be 14/(-5) - (-2)/(-1