 214 - 3. Let m = q + -91. Is m a multiple of 32?
False
Suppose 52500 = 170*f - 158*f. Does 25 divide f?
True
Suppose 3*m - 10*m = -42. Suppose 4*d = 34 - m. Is 7 a factor of d?
True
Suppose 4*j = -3*w + 2463, 8*j = 3*j + 4*w + 3102. Is 6 a factor of j?
True
Let t(h) = -12*h + 10. Let z(k) = 11*k - 10. Let x(b) = -3*t(b) - 4*z(b). Is x(-10) a multiple of 15?
True
Let j be 208/24*(-6)/(-4). Let c = j - 8. Suppose c*n - 72 = -4*t, 4*t = -n - 3*n + 60. Is 4 a factor of n?
True
Is 2993 + ((-145)/(-58))/((-1)/2) a multiple of 51?
False
Let z = 5 - -1. Suppose -d - 70 = -z*d. Does 3 divide d?
False
Suppose -4*x - 2*c + 542 = -0*c, 5*x = -3*c + 678. Suppose -2*v - 3*v - 2*d = -x, 55 = 2*v + d. Suppose 0 = -m + v + 31. Does 14 divide m?
True
Let o be ((-2 - 0) + 81)*(-2 + 1). Let d = o + 154. Is d a multiple of 16?
False
Let q = 23 - 21. Suppose -2*i = 4*v - 6, 0 = -3*i - 1 - q. Does 23 divide 16*v/5*5?
False
Let z(q) = -q**3 - 15*q**2 + 29*q + 53. Is 16 a factor of z(-18)?
False
Let y = -39 + 53. Let h = 17 + y. Is 6 a factor of h?
False
Let w(t) = -t + 4. Let j be w(2). Suppose 5*x = -z + 26, j*z - 76 = -4*x - 0*x. Is z a multiple of 29?
False
Let i = 545 - 305. Does 65 divide i?
False
Suppose -2*l - 3588 = -2*a, -2*l - a - 3564 = 3*a. Let i be (-24)/(-30)*l/(-4). Suppose 6*f = i + 2. Does 20 divide f?
True
Suppose -75 = -2*l + 205. Suppose -9*f + l = -778. Is f a multiple of 10?
False
Is (-7 - 179)*(-1 + (-69)/9) a multiple of 31?
True
Let s be (-3 + 3)/4 - -4. Suppose -s*l = -5*d + 387, -4*d + 222 = -d + l. Suppose 3*b - 21 - d = 0. Does 8 divide b?
True
Let l(g) = -g**3 + 9*g**2 + g + 8. Let f be l(9). Let t = -28 + f. Let u = 29 - t. Is u a multiple of 20?
True
Let n(v) = -4*v**3 + v. Let y be n(-1). Let b = 9 + y. Suppose d - b = 6. Is d a multiple of 5?
False
Suppose 4*x = -5*s - 9, -x + 45 = 4*x - 5*s. Does 13 divide x*14 - (-11)/(44/8)?
False
Suppose 5*a - 207 - 323 = 2*q, -2*q + 550 = 5*a. Is 2 a factor of a?
True
Suppose 2*r + 14 = 5*v, 8*v - 6*v - 12 = 4*r. Suppose 0 = 4*s + q - 152, 2*q - 90 = -v*s - 2*q. Is 37 a factor of s?
True
Suppose -5*m - 4*w = -23, 4*w = m - 4*m + 17. Suppose -2 = -3*v + j, -m*v - 3*j - 2 = -2*j. Suppose v*b = -4*b + 360. Is 18 a factor of b?
True
Let f = -1965 + 5119. Is f a multiple of 13?
False
Let i(n) = -n**3 + 2*n**2 - 1. Let u be 10/35 + (-24)/(-14). Let b be i(u). Let y(l) = -19*l**3 - 2*l**2 + l + 2. Is 18 a factor of y(b)?
True
Suppose b - 3*a + 8 = -8*a, -3*a = b + 4. Is 7*b*(-104)/(-16) a multiple of 7?
True
Let h be 9/(-15) - (-15)/25. Suppose -b - 172 = -h*b. Let j = -123 - b. Is j a multiple of 15?
False
Suppose 5*l - 5*f - 1310 = 0, -22*l = -26*l + 3*f + 1051. Does 25 divide l?
False
Is ((-330)/9)/((-6)/540 + 0) a multiple of 12?
True
Suppose m = 4*z - 11, -z - m - 14 = -6*z. Suppose 3*w - 15 = 0, -4*w + z*w = -a + 217. Is a a multiple of 37?
True
Let q(d) = 36*d + 4. Let k be q(5). Suppose -6*o + k = 2*o. Is 3 a factor of o?
False
Let i be (-4)/(-8)*2*2. Let w = i - 8. Let o = w + 27. Is o a multiple of 13?
False
Let j(f) = f**2 - 10*f + 3. Suppose n = -3*x + 18, 3*x = 3*n + 7*x - 34. Let k be (-5)/10 - (-63)/n. Is j(k) a multiple of 3?
True
Let m be (-32 + -6)*(-1)/(-2). Suppose a = 2*k - 44, -3*k - 37 = a + 2*k. Let h = m - a. Is h a multiple of 9?
False
Let m(b) = -b**2 - 14*b - 2. Let d be m(-9). Suppose 5*a - u - 67 = 0, 0 = -a - a - 5*u + d. Let i(r) = -r**2 + 18*r - 15. Is 15 a factor of i(a)?
False
Suppose 31*j = -6*j + 25160. Is j a multiple of 8?
True
Let y = -11 - 2. Let v(o) = o**3 + 14*o**2 + 13*o - 4. Let z be v(y). Is 12 a factor of (-16)/z - (-17)/1?
False
Let s(k) = -k**3 + 9*k**2 - 9*k + 3. Let f be ((-10)/(-4) + -2)*6. Suppose 3*j - 3*v = 18, 2*j + f*v = v + 12. Is 19 a factor of s(j)?
True
Suppose 2*z - 1800 = -z + 2*k, -3*z + 1800 = k. Is 24 a factor of z?
True
Let q = 92 + 180. Is q a multiple of 16?
True
Suppose -22*u + 28 = -20*u. Suppose 2*r + u = 4*r. Is r even?
False
Let k = 154 + 37. Let v = 359 - k. Does 14 divide v?
True
Suppose 0 = n + 4*n. Suppose n = b + 9 + 4. Let o = -3 - b. Does 5 divide o?
True
Suppose -2*h = -125 + 115, -4*k + 2235 = -h. Does 20 divide k?
True
Let b = 32 - 30. Is ((-49)/14)/(b/(-76)) a multiple of 25?
False
Suppose 4*y + z - 2*z = 33, 0 = -3*y + 2*z + 31. Suppose 175 = 2*c - y. Is c a multiple of 17?
False
Suppose 2*o = -q + 168, -o - 339 = -3*q + 193. Is q a multiple of 16?
True
Let g = 1 - 0. Is (-10 - -27)*(g + 1) a multiple of 17?
True
Suppose 82*g = 77*g + 5*p + 2980, 5*g = 3*p + 2990. Is g a multiple of 19?
False
Suppose 4*g - g - 16 = -2*c, -5*g = -5*c + 40. Let x(f) = f**2 - 5*f + 19. Is 11 a factor of x(c)?
False
Let a be 5*(-2 + 8/(-10)). Let v(l) = -20*l - 8. Let b be v(-1). Is 6 a factor of 9/b*4 - a?
False
Let a(z) = 15*z - 39. Let l be a(6). Suppose 0 = -8*i + 61 + l. Is i a multiple of 7?
True
Suppose -l - 2*l + 3*f = -1548, f + 1546 = 3*l. Is l a multiple of 2?
False
Suppose -5*j + 15 = -2*u + u, 3*u + 15 = 0. Suppose -h - j = -128. Is 18 a factor of h?
True
Suppose -u = 5*u. Suppose -4*a + 3*b - b + 22 = u, 15 = -3*b. Suppose c - a*k - 38 = 0, -k = 4*k. Is c a multiple of 19?
True
Suppose 243 = 3*h - 4*j, -5*h + 154 = j - 274. Suppose 0*v + h = 5*v. Is 10 a factor of v?
False
Let n = 242 + 46. Is n a multiple of 6?
True
Suppose -4*r = -3*o - 1149, -r + 22*o - 19*o + 276 = 0. Is 78 a factor of r?
False
Let j(o) = 7*o**2 - 4*o**2 - 2 + 3*o**3 - 6*o**3. Is 7 a factor of j(-2)?
False
Suppose -83*d + 79*d = -384. Is d a multiple of 6?
True
Let z = -153 - -190. Is z a multiple of 8?
False
Let y(c) = 5*c - 34. Is y(26) a multiple of 32?
True
Is 83 a factor of (34/34)/(4/13928)?
False
Let c = -14 + 8. Let s(l) = -2*l**3 + l**2 - 5*l + 2. Let b be s(c). Suppose 2*m = -3*m + b. Is m a multiple of 32?
False
Suppose 2*o = -0*o - t - 29, -5*o + t = 90. Let u = o - -29. Is 6 a factor of u?
True
Let n(t) be the second derivative of t**4/24 + 7*t**3/3 - 3*t**2/2 - 7*t. Let o(m) be the first derivative of n(m). Does 7 divide o(0)?
True
Let z(c) = 9*c**2 - c + 1. Let j be z(1). Let g be j*(44/36 + -1). Let q(v) = 14*v + 1. Is 29 a factor of q(g)?
True
Suppose -458*a - 2640 = -468*a. Is 33 a factor of a?
True
Let g(p) = 37*p**2 + 6*p - 21. Is 10 a factor of g(2)?
False
Let j(s) = -13*s + 2. Let n be j(-6). Suppose 4*b + n = 9*b. Is b a multiple of 16?
True
Let y be 18*(4/8 + 0). Let w be 4/10 - (-7470)/75. Suppose -7*c + y*c = w. Does 21 divide c?
False
Suppose -3*b = 10*p - 7*p - 2976, -3*p = -5*b + 4944. Does 10 divide b?
True
Let v = -336 - -681. Suppose -3*k - 429 = -8*k + 3*t, 3*t = 4*k - v. Is 42 a factor of k?
True
Let s = 101 - 100. Does 15 divide (-2704)/(-24) + s/3?
False
Let c(u) be the second derivative of 5*u**4/12 - 11*u**3/6 - 19*u**2/2 + 5*u. Is 11 a factor of c(-7)?
False
Let c(b) be the second derivative of 17*b**4/12 + b**3/6 + b**2 + 2*b + 4. Let d = -7 + 5. Does 15 divide c(d)?
False
Let r(f) be the third derivative of 5*f**4/24 - 13*f**3/6 + f**2. Suppose 66 = -22*t + 28*t. Does 21 divide r(t)?
True
Suppose -4*g - 48 = 2*t, -5*g + 2*t + 0*t - 42 = 0. Let a = g - -10. Suppose -2*k + 8 = a, -2*s - 3*k + 116 = -0*s. Is s a multiple of 19?
False
Let m = -1822 - -1826. Is 3 a factor of m?
False
Let u be 1 + 36/(-1 - -3). Let y be u - (-3 + 7)/(-4). Suppose 3*n = n + y. Is n a multiple of 5?
True
Is 7 a factor of (-2632)/(-63) - 4/(-18)?
True
Let d(g) be the second derivative of -g**5/20 + 5*g**4/6 + 7*g**3/3 - 5*g**2 + 5*g. Let h be d(11). Let r = -11 + h. Is 12 a factor of r?
True
Let y be (-8)/(1 - 4*2/4). Let w(p) = -4*p**2 + 8*p - 12. Let q(i) = -3*i**2 + 8*i - 13. Let l(d) = -3*q(d) + 2*w(d). Is 2 a factor of l(y)?
False
Let l = 9 + -9. Let d = l - -68. Does 17 divide d?
True
Suppose 0 = w - 2*o - 15, 0*o + 4*o = -2*w + 46. Let h = w + -17. Is 9 a factor of (-2)/(h + (-336)/165)?
False
Suppose -g = -5*x, -x + 2*x - 6 = -g. Suppose -g*t = -3*b - 25, -5*t + 4*b + b = -35. Suppose -t*q + 6*q - 208 = 0. Does 11 divide q?
False
Suppose -3*g + a = -7, -6 = -4*g - 0*a - 2*a. Let s = 6 - 2. Suppose -g*r + 0*r + s = 0. Is r even?
True
Let a = -110 + 68. Let o = a + 67. Is 6 a factor of o?
False
Let f be (-1)/((-4 - -1)/(-3)). Let v be f/(6/(-8))*-3. Is 46 - (1 - (-4)/v) a multiple of 13?
False
Suppose 0*k - 2*k - 4*a + 128 = 0