0411. Is x a multiple of 37?
True
Let i = 11368 - 8080. Is i a multiple of 60?
False
Suppose -t - 66 = -u - 25, u = -2*t + 41. Is 6 a factor of u?
False
Let f = -47 + 43. Does 15 divide (-3 + 4)/(f/(-128))?
False
Suppose 693 = 2*t + 9*q - 8*q, 0 = 4*t - q - 1395. Is 31 a factor of t?
False
Let q = 502 + -495. Suppose -5*u + 177 = -2*t - 2*t, -3*t + 57 = 2*u. Let i = u - q. Does 10 divide i?
False
Suppose -5*a = -3*t + 1430, 0 = 19*a - 16*a + 3. Is 25 a factor of t?
True
Let s = -362 + 485. Is 14 a factor of s?
False
Let h(o) be the third derivative of -o**4/8 + 2*o**3/3 + o**2. Let y be h(3). Does 12 divide -2 + 0 + (-130)/y?
True
Let m be (7 - -1)/2 - 1. Let y be 6/(-21) + 4/14. Suppose m*z + y*z - 147 = 3*s, 3*z - 140 = -4*s. Is z a multiple of 16?
True
Suppose -2*j - 5*g = -110, 0*g + 6 = 3*g. Is 25 a factor of j?
True
Is 8 a factor of 52*(-2 - (-36)/16)?
False
Is 11 a factor of (242/4)/(1*1/10)?
True
Suppose -2*t = -3*t + 1. Let u(s) = s**2 + 3. Let a(y) = -2*y**2 - 7. Let v(f) = 2*a(f) + 5*u(f). Does 2 divide v(t)?
True
Suppose 4*y - 9 = y. Let b(s) = -s**y - 40*s**2 - 5*s + 8 + 48*s**2 + 4. Is 13 a factor of b(7)?
True
Let f(x) = -x**3 - 5*x**2 + 5*x - 1. Does 52 divide f(-7)?
False
Let x be (1/(-3))/((-1)/12). Suppose -x*y = -3*v + 304, -3*v + y + 112 = -189. Suppose z - 3*z = -8, 4*k - v = -3*z. Is 6 a factor of k?
False
Suppose 0 = 7*y + 11*y - 504. Does 14 divide y?
True
Suppose -6 = 3*a, 0 = m + 4*m + a - 2448. Does 19 divide m?
False
Suppose -11*i + 7*i + 7070 = 2*c, 3*i - 5316 = 3*c. Is i a multiple of 29?
True
Suppose -328*y + 342*y - 27832 = 0. Does 8 divide y?
False
Suppose -3*a + 9*a - 744 = 0. Suppose -a = -i + 3*u, u - 77 = -i + 39. Suppose -5*c + i = -w, -6*w = -3*c - 3*w + 66. Is 12 a factor of c?
True
Let y = -1153 - -1291. Does 3 divide y?
True
Let w = -4 + -4. Let t(g) be the second derivative of -g**3 - 3*g**2 + g. Is t(w) a multiple of 14?
True
Suppose -1095*w + 18109 = -1082*w. Does 10 divide w?
False
Let a be -6 - (-1 - 2) - -45. Suppose 3*p = u + p - 22, -38 = -2*u + p. Suppose 4*j = -u + a. Does 3 divide j?
True
Suppose 10*k - 832 - 798 = 0. Does 9 divide k?
False
Suppose -401*g + 2888 = -397*g. Is 38 a factor of g?
True
Suppose n - 834 = -5*d, 4*n = d - 193 + 43. Is 23 a factor of d?
False
Let t = -6 - -8. Let u(y) = 11*y**2 - 3*y + 2. Let z be u(t). Suppose 0 = x + x - z. Does 5 divide x?
True
Suppose 820*f + 15894 = 829*f. Is 37 a factor of f?
False
Let z(c) = -c**3 + 16*c**2 - 17*c + 2. Let a be z(15). Does 4 divide a/6*(-30)/7?
True
Let p(v) = 8*v + 1. Let s be p(4). Suppose 0 = -3*l - 5*g + s, 3*l - l + 5*g - 27 = 0. Is 22 a factor of (-381)/l*4/(-2)?
False
Let v be 1/(-3 - 556/(-186)). Let r = v - -18. Let a = -1 - r. Is 9 a factor of a?
False
Let k(u) = -4*u**3 + u**2 + 10*u + 41. Does 16 divide k(-7)?
True
Let s(k) = -2*k**2 - 8*k + 2. Let i be s(-5). Let g(o) = -6*o - 27. Does 7 divide g(i)?
True
Let g be (-14 - 3) + 2 + -2. Let k = 6 - g. Let h = -18 + k. Does 2 divide h?
False
Let c(i) = i**3 + 6*i**2 - 9*i - 14. Let m be c(-7). Suppose -17*z + 16*z + 104 = m. Is z a multiple of 16?
False
Does 45 divide (-1)/(-2) + 193130/124?
False
Suppose 7*p = 5*p + 3892. Does 62 divide p?
False
Let p = 44 + -38. Is 3 a factor of 4/p + -5 + (-679)/(-21)?
False
Let a = 2306 - 1052. Does 19 divide a?
True
Let z(c) = 3*c + 137. Is z(-28) a multiple of 13?
False
Suppose -4*r + 3215 = -5*d - 589, -5*r = 2*d - 4722. Is 59 a factor of r?
False
Let h(b) be the first derivative of 10*b - 2*b**2 - 4/3*b**3 + 1/4*b**4 + 1. Is h(5) a multiple of 5?
True
Let d(l) = 5*l**2 - 12*l + 6. Does 2 divide d(-4)?
True
Suppose -r + 21 = z, r + 49 = 4*z - 50. Let u = z - 20. Suppose -h = -u*h + 96. Does 32 divide h?
True
Let q(f) = 554*f + 82. Is q(2) a multiple of 17?
True
Suppose 0 = -2*c + 4*g - 2, -5*c + 23 = 4*g - 0*g. Suppose c*n - 80 = -2*n - d, 0 = -5*n + 4*d + 55. Is 5 a factor of n?
True
Is 73 a factor of 11893/63 - 18/(-81)?
False
Let p = -41 + 121. Suppose -4*v + 6*v - p = 0. Does 20 divide v?
True
Let r = 9 + -13. Let s = -19 - r. Let g = 39 + s. Is g a multiple of 12?
True
Suppose q + s + 218 = -3*s, -1200 = 5*q - 2*s. Let o = 352 + q. Is 38 a factor of o?
True
Suppose -3*d - 129 = -6*d. Let g = d - -45. Does 11 divide g?
True
Suppose -2*n + 5*a + 5 + 6 = 0, -3*a - 15 = -4*n. Suppose n*f = 6*f - 96. Is 10 a factor of f?
False
Suppose -12*l = -3*l - 5814. Suppose l = 5*m - 29. Is m a multiple of 13?
False
Let l be 2/(-1*6)*-159. Suppose -44*k - l = -45*k. Is 11 a factor of k?
False
Let h(f) = f**2 + 19*f - 24. Let u be h(-20). Is 23 a factor of -95*(u + 3)*1?
False
Let a = -438 + 778. Is a a multiple of 10?
True
Suppose -361*l + 353*l = -18320. Does 50 divide l?
False
Let m = 831 + -280. Does 19 divide m?
True
Let k = -292 - -643. Suppose -k = -10*s + 7*s. Is 29 a factor of s?
False
Let m = -15 + 8. Let c = m - -11. Suppose 9*o = c*o + 200. Does 14 divide o?
False
Let o be 9 + (-1 - -4 - 2). Let p = o - 3. Does 3 divide p?
False
Let l(r) = -3*r**2 + 106*r + 37. Is 3 a factor of l(35)?
True
Suppose -2*b - 8 = -2*w, -3*w + 5*w - 8 = -b. Let c = w + 20. Is 4 a factor of c?
True
Suppose -3*b + 4*l - 8*l - 15 = 0, 4*b + 2*l = -10. Is (21/(-15) - b)/(2/(-150)) a multiple of 30?
True
Let y = 59 - -12. Let v = 3 + y. Let z = 104 - v. Is z a multiple of 15?
True
Suppose 0*h = -2*h - 4720. Does 40 divide h/16*((-1 - -1) + -2)?
False
Let o be (-14)/4*64/(-56). Suppose -301 = -o*k + 79. Is 31 a factor of k?
False
Let h = -231 + 1073. Does 10 divide h?
False
Let v = 105 - 147. Let k = v + 86. Does 25 divide k?
False
Let u(g) = -g**2 - 6*g - 2. Let s be u(-5). Let x(i) = i**3 - 2*i**2 - 2*i - 1. Let l be x(s). Suppose 17 - 65 = -l*h. Is h a multiple of 15?
False
Let h be 10/(3 - 2 - -1). Let f be ((-2)/h)/(10/(-800)). Suppose m = -3*m + f. Is m a multiple of 3?
False
Suppose 4830 = -88*d + 111*d. Is 6 a factor of d?
True
Suppose 3*c - 1869 = 1911. Does 84 divide c?
True
Suppose -3*a = -2*a. Suppose -4*x - x = a. Let z(s) = -s + 7. Does 3 divide z(x)?
False
Let p(w) = w**2 - 7*w + 36. Does 11 divide p(5)?
False
Let u = 31 - 21. Let g be 1840/50 - (-2)/u. Suppose -3*t + g = 2*o + 2*o, 0 = -5*o - 3*t + 47. Does 10 divide o?
True
Suppose 5 = -2*g + 15. Suppose -g*o = -521 + 26. Does 5 divide o?
False
Let i(n) = -536*n - 1. Let q be i(1). Let z = -325 - q. Does 53 divide z?
True
Let m = 14 - 12. Suppose -l + m*o + 10 = -o, -4*l + 20 = -2*o. Let u = l - -1. Is u a multiple of 5?
True
Suppose 0 = 5*p + 3*f - 22 - 15, -2*p = 5*f - 30. Suppose -5*x = w - 9, 2*x - w + 2*w - 3 = 0. Suppose 0*j + 162 = p*s + x*j, -4*s + 140 = -j. Does 16 divide s?
False
Let m be (-4)/18 + (-190)/(-45). Suppose 0 = -4*x - c + 235, -2*x = -m*c - 136 - 4. Suppose x = 5*w - 0. Does 12 divide w?
True
Suppose 5*f + 158 = -2*b + 576, 0 = 5*f - 5*b - 390. Suppose d - 25 = f. Is d a multiple of 12?
False
Let u(t) = -2 - 2*t - 2 + 3*t. Let p be u(7). Suppose -c + 83 = 4*f, -f + c + 14 = -p. Is 20 a factor of f?
True
Let n = 533 - 190. Suppose 4*v - n = 365. Does 15 divide v?
False
Let o be (-19 + -17)*(-6)/4. Let y = o - -12. Is y a multiple of 11?
True
Let l(m) = -m**3 + 13*m**2 + 14*m - 6. Let a be l(14). Let g = a + 5. Let w(r) = -20*r + 2. Does 6 divide w(g)?
False
Suppose -8 - 5 = -y + a, a = 3*y - 49. Is y a multiple of 18?
True
Is 19 a factor of 6/18 + -7*(-586)/6?
True
Let c be -1*(-4)/(-14) - (-309)/(-21). Does 36 divide (3 - (-70)/c)*3*-23?
False
Let t(a) = 14*a - 59. Does 6 divide t(26)?
False
Let a = -20 + 26. Suppose -k + 6 + 8 = 3*b, b - k - a = 0. Suppose 6 = -q + b*q - u, -q = -u. Is 2 a factor of q?
True
Suppose 675 - 3 = 4*l - 4*q, 2*q = -5*l + 819. Does 5 divide l?
True
Suppose 0 = 87*b - 95*b + 4576. Is b a multiple of 13?
True
Suppose 3*r - 1298 = 4*q, -7*q - 2169 = -5*r - 6*q. Does 7 divide r?
True
Let k be -2 - (-627)/12 - (-6)/8. Suppose -v = 4*u - 204, -3*u - k = -4*u - v. Is 3 a factor of u?
True
Let h = -55 + 32. Let r = h - -55. Suppose z + 2*n = r, -188 + 48 = -5*z - 5*n. Is z a multiple of 7?
False
Is 10 a factor of 25/(79/(-10) - -8)?
True
Let u = 475 - 460. Let i = 153 + -107. Let y = u + i. Is y a multiple of 13?
False
Suppose 10*w - 8*w = -d + 2227, 3*w - 5*d - 3334 = 0. Does 53 divide w?
True
Let g(d) = d**2 + 18*d + 36. Is 4 a factor of g