f 12?
True
Let b be -2*3/(-2) - 75/(-3). Suppose -107 = -3*h + b. Is h a multiple of 45?
True
Does 17 divide 8316/21 - -1*3?
False
Suppose -i - 7 = 2*f, -4*i + 2*i + 3*f = 42. Let w = i - -140. Does 14 divide w?
False
Let y be (-398)/(-6) + 3/(-9). Let s = y + -11. Suppose 0 = -3*w + 83 + s. Is w a multiple of 19?
False
Suppose 4498 = 53*n - 22744. Is 9 a factor of n?
False
Suppose -2*f + 404 = -2*k, 35*f + 2*k = 34*f + 190. Does 57 divide f?
False
Suppose -4*h - 4*s - 1018 = -4006, h + 5*s - 735 = 0. Does 10 divide h?
True
Let w = 18 + -30. Let m be 4/(w/(-5))*-15. Let h = 45 + m. Does 10 divide h?
True
Let d = -20 - -23. Suppose -104 = d*z - 650. Is z a multiple of 19?
False
Is 19/((-76)/6)*(-5920)/6 a multiple of 45?
False
Let w(p) = -p**2 + 4*p + 2. Let m be w(0). Let j = 206 + -108. Suppose -2 = 2*f + m*t - j, 3*f - 147 = -2*t. Is 17 a factor of f?
True
Is 11 a factor of (-32711)/(-42) + -19 + 1/6?
False
Let i(u) = 39*u + 2. Suppose -5*n = -k - 2*k - 22, 3*k - n = -2. Let c be i(k). Suppose -2*h + 40 = 3*d - 21, 2*d - c = -h. Is d a multiple of 21?
True
Let d be (-18 - -2)*(-9 + 1). Suppose q = 5*q - d. Let l = -17 + q. Does 12 divide l?
False
Let m(s) = -s**3 + 13*s**2 - 7*s - 8. Does 12 divide m(-4)?
False
Suppose 7*i + 420 = i. Does 8 divide (1 + 5)/((-15)/i)?
False
Let o be 1/(-2)*24/1. Let r(p) = -p**3 - 13*p**2 - 10*p + 9. Let t be r(o). Does 19 divide (-291)/(-15) + 6/t?
True
Suppose -81 = -t - 2*w, -17*t = -21*t + 4*w + 288. Is 25 a factor of t?
True
Let n(m) = -m**2 - 12*m + 35. Let i be n(-16). Let k = -8 - i. Is k a multiple of 7?
True
Let y = -156 - -1304. Does 6 divide y?
False
Let x = 666 + -471. Is 31 a factor of x?
False
Let f(v) = -2*v**2 + 9*v - 8 + 2*v**2 - 5*v**2. Let x(r) = r**2 + 1. Let q(m) = f(m) + 4*x(m). Does 3 divide q(7)?
False
Does 16 divide 23/(-46) + 1 + (-7485)/(-6)?
True
Is 32/(-80) + 3492/5 a multiple of 18?
False
Does 31 divide ((-81)/6)/(39/(-9594))?
False
Let r(l) = -l - 4. Let c be r(-13). Suppose 0 = 2*k + 5*z - 0*z + 15, 4*k - 3*z - c = 0. Suppose -2*y = 3*p - 0*y - 45, k = 2*p + y - 29. Is 13 a factor of p?
True
Let v(j) = 202*j - 2. Is v(5) a multiple of 6?
True
Suppose 2*r = -4*f - 34, 2*r - 4*f = r + 1. Let m(a) be the third derivative of a**5/60 + 5*a**4/12 - 4*a**3/3 + a**2. Is 2 a factor of m(r)?
False
Let o = -6 + 3. Let l(p) = -p**3 - 2*p**2 + 2*p. Let r be l(o). Is 4 a factor of (-1)/r - (-75)/9?
True
Suppose -4*x + 5*x = -10. Let s = x - -5. Let f(k) = -7*k + 3. Is 19 a factor of f(s)?
True
Let q(u) = 4*u**2 + 13*u - 7. Let g be q(-5). Let y = 28 - g. Suppose 5*h - 47 + 2 = y. Does 6 divide h?
False
Suppose -22 = -126*f + 125*f. Let b = f + 68. Does 30 divide b?
True
Is 8 a factor of (-11 + (-168)/(-16))*-1*528?
True
Is 81/(-9) - (-1153 - 10) a multiple of 29?
False
Suppose -j + 191 = 2*c - 268, -5*j - c + 2295 = 0. Is 51 a factor of j?
True
Let i(q) = -q. Let a be i(-5). Suppose 0 = a*x + g - 593, 5*x - 591 = -g - g. Let y = -44 + x. Does 15 divide y?
True
Let n(a) = 10*a + 15. Let v(i) = 20*i + 30. Let z(r) = 7*n(r) - 4*v(r). Is z(-6) a multiple of 5?
True
Suppose 0 = -689*s + 676*s + 1170. Is 7 a factor of s?
False
Let y(r) = -49*r**3 + 2*r**2 + 18*r + 28. Does 49 divide y(-2)?
True
Let l be 2/(-4)*0/(-3). Suppose -6*k = -l*k - 888. Is 19 a factor of k?
False
Let g(x) = -2*x - 6. Let a be g(-11). Let c = a - 17. Does 5 divide -2*(-1)/c*-7?
False
Is (-22)/(15 + 7) + 153*19 a multiple of 100?
False
Let b = -399 + 746. Does 23 divide b?
False
Suppose 2 = -3*j + 5*t - 3, 29 = 5*j + t. Suppose 4*u + 17 = j*u. Is u a multiple of 17?
True
Let i = 1239 - 666. Does 33 divide i?
False
Let g = -32 - -32. Suppose 8*h - h - 287 = g. Does 18 divide h?
False
Suppose 2*p = 24 - 10. Let d(s) = -62 + 5*s**2 - 4*s**2 + 52 - s. Is 9 a factor of d(p)?
False
Let u be (5 + -2)/(9/93). Let t = u + -20. Is 3 a factor of t?
False
Let k be (21/(-6))/(1/(-2)). Let q(u) = -u**3 + 12*u**2 - 5*u - 2. Let w(y) = 2*y**3 - 23*y**2 + 11*y + 4. Let x(h) = 7*q(h) + 4*w(h). Is 4 a factor of x(k)?
True
Suppose 8*d - 2*d = -6. Let i be ((-3)/d)/(6/(-42)). Let b = 25 + i. Does 4 divide b?
True
Suppose z = -7 + 3. Does 16 divide ((-573)/(-6))/((-2)/z)?
False
Let k(x) = 3*x. Let w be k(1). Suppose 0 = w*o - h - h - 122, -2*o + h = -80. Is 4 a factor of o?
False
Suppose -6*p + 6 = -4*p. Suppose 4*j = 2*m - 68, 0*j - 164 = -4*m + j. Suppose -f + 5*b = -m, 154 = 2*f + 3*f + p*b. Is f a multiple of 8?
True
Let j(z) = z**2 + 8*z - 1. Let g(f) = f**2 + 9*f - 1. Let b be (-15)/(-30)*(-1 - -7). Let n(d) = b*j(d) - 2*g(d). Is n(-9) a multiple of 17?
False
Let g be 40*-6*(-2)/16. Suppose -5*q = -4*q - g. Suppose -5*b + 3*v = -54, -b = b - 4*v - q. Is 5 a factor of b?
False
Let u = -5910 - -8683. Does 27 divide u?
False
Suppose -5*g = -4*g - 2. Suppose i + 2*k - 32 + g = 0, k = 2*i - 70. Is i a multiple of 6?
False
Suppose 466 - 124 = 3*x. Is x a multiple of 57?
True
Let z(f) = f**3 + f**2 + f + 97. Suppose 0 = -t + 2*t + 4*j - 20, -3*j + 15 = -2*t. Is 8 a factor of z(t)?
False
Let l be 12/15 - 28/35. Does 8 divide 57 - 2/(l + 2)?
True
Let z = -47 - -96. Does 7 divide z?
True
Suppose 4*b + 0 = 2*c + 14, -2*c - 10 = 0. Suppose -4*n - 3 = b. Is 2 a factor of (-3 - n) + -3 + 8?
False
Let c be (480/(-128))/(2*(-1)/(-96)). Let d = 314 + c. Is 7 a factor of d?
False
Suppose -660 = -18*f - 4*f. Is f a multiple of 6?
True
Let y = -17 + 13. Is 1*(y - -2 - -19) a multiple of 12?
False
Is 16 a factor of 6 + 5012/(-4 + 6)?
True
Let p = -4360 - -7525. Is 15 a factor of p?
True
Let b = 753 - 447. Is b a multiple of 17?
True
Suppose -4*i + 3*w = -50, 0 = 5*i - w - 4 - 53. Is i a multiple of 9?
False
Let n be (2/(-4))/((-1)/(-6)). Is 6/n + 4 - -118 a multiple of 30?
True
Suppose i = -p - 7 - 4, 4*p - 16 = 2*i. Let x(c) = -c**3 + c**2 - c - 1. Let j(t) = t**3 - 12*t**2 - 10. Let h(g) = j(g) + 2*x(g). Is 8 a factor of h(i)?
True
Let o(t) be the first derivative of -t**3/3 - 11*t**2/2 + 5*t + 26. Is 13 a factor of o(-10)?
False
Suppose 2*h - 15 = 189. Suppose -5*u - 2*k + 5*k = -134, -5*k = -4*u + h. Is 14 a factor of u?
True
Suppose -24*c + 20*c + 2272 = 0. Suppose c = 4*d - 12. Is 10 a factor of d?
False
Let c be 35/4 + (-49)/28 + 2. Suppose -110 = 7*f - c*f. Is f a multiple of 5?
True
Let c(r) = 4 + 13*r - 3 - 2. Suppose -4*g + 8*g - 2*t - 8 = 0, 2*g + 4*t + 6 = 0. Is 3 a factor of c(g)?
True
Let m(y) be the second derivative of -3*y**5/2 - y**4/4 + y**3/2 - y**2/2 - 3*y. Let h be m(1). Let t = h + 37. Is 3 a factor of t?
True
Let m(t) = 18*t**2 + 12*t + 4. Is 30 a factor of m(3)?
False
Let u(o) = -4*o - 6 + 2*o**2 - 8*o + 5*o - o**2. Let t be u(8). Suppose -2*i - 8 = -b, 3*b + i - 42 = -t*i. Does 3 divide b?
True
Let s be 5*4*9/60. Suppose -t + n = -19, 0*t = -2*t - s*n + 48. Suppose v - 2*v = -t. Is v a multiple of 17?
False
Suppose -864 = 31*l - 39*l. Is l a multiple of 3?
True
Suppose 8 + 6 = 2*o + 4*a, o - 3 = 2*a. Let z be 6 + o + (-2)/(-1). Does 7 divide (-4 + 5)/1 + z?
True
Let p(j) = 2*j**2 + 4*j + 3. Let i be p(-2). Suppose 9*v = i*v + 750. Does 25 divide v?
True
Suppose -13*d = -181 - 14. Suppose -d*t + 24*t = 1782. Is t a multiple of 12?
False
Suppose 2*n = -4*u - 5 + 165, 5*u + n - 200 = 0. Suppose q + 16 - 3 = 3*b, 5*b = -5*q + 35. Suppose 0 = -4*o + q*o + u. Is o a multiple of 8?
False
Let z = 25 + -22. Suppose -5*b - 16 = -z*b. Let t = 21 - b. Does 6 divide t?
False
Let v = 249 - 146. Let m = -46 + v. Does 19 divide m?
True
Suppose -2*b - 6 = 0, -b - 38 = -o - 0*b. Is o a multiple of 5?
True
Let c = 28 - 26. Is 10 a factor of (-8492)/(-77) - ((-32)/(-14) - c)?
True
Let g be (-6)/(-4) + 6/12. Suppose -2*r = g*r - 20. Let a(t) = 6*t - 14. Is 8 a factor of a(r)?
True
Suppose -7 = -2*k - 3. Suppose 0 = -4*x + k*x + 4. Suppose x*c + 192 = 6*c. Is c a multiple of 16?
True
Suppose 0 = 5*m - 13 - 47. Suppose -65 = 7*z - m*z. Is 7 a factor of z?
False
Suppose 3*j = 0, -3*h + 4*j - 16 - 80 = 0. Let x = 186 - 113. Let u = x + h. Is 11 a factor of u?
False
Suppose -4*r = 2*t - 36 - 406, 2*t = 5*r + 397. Suppose -2*k + t + 45 = 0. Is k a multiple of 32?
True
Suppose 48*w = -w + 229075. Is w a multiple of 17?
True
Suppose -1975 = -6*z + 767. Is 16 a factor of z?
False
Let h = -732 + 796. Does 24 divide h?
False
Let t = 181 - -749. Is t a multiple 