 + 4*q - 168 = 0. Suppose -x - x + j = 0. Does 14 divide x?
True
Suppose -2*h + 14 = -4. Is 6 a factor of h?
False
Suppose -4*u - 15 = -7*u. Suppose -4*t - 4 = -2*v + 4*v, -3*v + u*t = -5. Suppose v*j - 14 = -3*q - 2*j, -2*q + 5*j + 41 = 0. Is 4 a factor of q?
True
Suppose -3*l = -4*l + 4. Suppose b = 5*c - 1 - 123, -c - 5*b = -l. Is 12 a factor of c?
True
Suppose 5*k = y + 28, -2*k + 2*y + 4 = 4*y. Let m(n) = -n**2 + 6*n + 2. Does 6 divide m(k)?
False
Suppose d = -5*t + 445, -t + 2*d = -3*t + 170. Does 15 divide t?
True
Let m(o) = -2*o - 1. Let z be m(-2). Suppose -h = -6*h + 575. Suppose -z*x = 4*s - 120, -h = -5*s - 0*x + 5*x. Does 15 divide s?
False
Suppose x - 35 = 6*x. Let z be (-15 + 0)/(x + 6). Is 16 a factor of (12/(-5))/(z/(-200))?
True
Suppose -s = 4*z + 8 + 119, 84 = -3*z - 3*s. Let d = -14 + 10. Let k = d - z. Is 11 a factor of k?
False
Suppose -3*p + 20 = v + 7, 0 = -2*v - 3*p + 29. Is v a multiple of 12?
False
Let r = -26 + 49. Is 23 a factor of r?
True
Let z(a) = 36*a**2 - 2*a + 1. Let b be z(1). Let p be 320/(-14) - 5/b. Let q = -12 - p. Is q a multiple of 6?
False
Suppose 4*l = -6 + 26. Suppose 0*v = -3*v, -5*v + 130 = l*k. Is k a multiple of 13?
True
Suppose -2*h = 4*r - 46, h = -0*r - 3*r + 26. Suppose 2*z - 47 + h = 0. Is 15 a factor of z?
True
Let n = 1 - -39. Is n a multiple of 12?
False
Let a be (-4)/14 - (-744)/56. Let u = 34 + a. Is u a multiple of 13?
False
Suppose 0 = -3*o - 5*a + 27, -3*a + 1 + 0 = -2*o. Suppose -p - o*i = 10 + 5, 0 = 2*p - i - 15. Suppose p*x + 3*k = -k + 106, -16 = -4*k. Is 8 a factor of x?
False
Does 18 divide (30/40)/((-2)/(-48))?
True
Let h(m) = 8*m + 12. Is 22 a factor of h(4)?
True
Let i = 92 + -27. Is i a multiple of 13?
True
Suppose 2*q + 4 = 4*q. Suppose -4*y = -y + 4*l + 4, 2*y = -3*l - q. Is 13 a factor of (14/y)/((-1)/10)?
False
Let z(t) be the first derivative of -5*t**2/2 + t - 3. Is z(-3) a multiple of 12?
False
Let s = 20 + 3. Is s a multiple of 4?
False
Let y = -8 + 5. Let n = y + 1. Is 8 a factor of (-6)/(-1) + n + 4?
True
Let c(i) = -i**3 + 5*i**2 - 5*i + 3. Suppose -6 = -2*x - 4*n, -2*x - 5*n + 5 = -0*x. Let y(d) = -d**2 + 5*d + 3. Let r be y(x). Is c(r) a multiple of 6?
True
Suppose 2*j + j - 4*m = 564, 207 = j + 5*m. Is j a multiple of 22?
False
Let r be ((-52)/(-3))/(2/6). Suppose h + r = 5*h. Is h a multiple of 4?
False
Let h(n) = n**3 - 7*n**2 + 5*n + 8. Let i be h(6). Let d(y) = 2*y**2 + y + 1. Let f be d(i). Suppose -19 - f = -3*u. Does 10 divide u?
True
Let i be 5*6*(-6)/(-20). Suppose i = -j + 4*b, -3*j = 5*b - 28 - 13. Suppose -t = -g - j, -4*g - 22 = -5*t + 15. Does 5 divide t?
False
Suppose -3*z = z - 8. Suppose 5*r + 3*a = 0, a = -r + z*a - 8. Is 21 a factor of 38 - r/(3/(-2))?
False
Suppose -m + 15 = 5*f - 35, 4*m - 40 = -4*f. Let h(q) = -18*q**2 + 3*q - 2. Let g be h(2). Is 25/f*g/(-5) a multiple of 12?
False
Let r(s) be the first derivative of -s**2/2 - s - 4. Let j be r(-6). Suppose 5*y + 2*n = 157, -j*y = -10*y - n + 156. Does 10 divide y?
False
Let q(w) = -w**2 + 10*w - 7. Let m(u) = u**2 + 2*u - 5. Let x be m(-5). Let z = -4 + x. Does 17 divide q(z)?
True
Let q be -6 - 2*2/2. Does 4 divide q*4/(-24)*3?
True
Suppose 303 = 3*v - 4*r, 5*v - 371 = -2*r + 108. Suppose -5*z + 2*l + 163 = 5*l, 3*z - v = -l. Is z a multiple of 16?
True
Let f be -3 - (-5)/((-15)/(-153)). Let u = f + -31. Is 12 a factor of u?
False
Let d = 27 + 20. Let w = d + -1. Suppose 127 = 3*g + w. Does 10 divide g?
False
Suppose -s + 8 = s. Suppose -a = 4*t + 16, 0 = s*t - t + 2*a + 12. Is 2/((6/t)/(-3)) even?
True
Suppose -m = 3*r - 12, 2*r - 10 = -5*m + 11. Suppose -4*l + 24 = j, -3*l + 0*l + r = -3*j. Suppose 0*b - 130 = -l*b. Is 13 a factor of b?
True
Let g = 1 + 8. Let y(o) = 2*o + 8. Let z be y(g). Suppose 2*v - z = 10. Is v a multiple of 7?
False
Let x = -68 - -116. Does 12 divide x?
True
Let i = 54 + -25. Is 9 a factor of (-2)/3 + i/3?
True
Let l = -7 + 10. Suppose l*q = 136 + 14. Does 21 divide q?
False
Suppose -4*r = -4*j - 304, 0*j = -4*r - 4*j + 272. Is r a multiple of 24?
True
Let g be (-1 - -5)*(-34)/8. Let f = 62 + g. Is (-24)/40*(0 - f) a multiple of 9?
True
Let a(g) = -g**2 - 6*g + 7. Is a(-5) a multiple of 4?
True
Let o = -1 + -1. Suppose -12 = -3*x - 5*s, -2*x - s = x - 12. Let k = o + x. Does 2 divide k?
True
Let b be (1 + 4/(-7))*7. Suppose -b*q = r - 4*q - 34, 0 = -5*r - q + 164. Does 14 divide r?
False
Let f(m) = 3*m - 10. Let q be f(8). Suppose 5*j - 3*j = 8. Suppose -4*o = -o - 4*i - 21, 0 = 2*o - j*i - q. Does 7 divide o?
True
Suppose -2*c - 4 = -2. Let z(o) = 7*o**3 - o. Let w be z(c). Does 21 divide (-130)/w + (-2)/3?
True
Suppose -3*i - 18 = -99. Let g be -4*(i/(-4) + 2). Let c = 39 - g. Is c a multiple of 13?
False
Let s(a) = -a**3 - 4*a**2 + 4*a - 2. Is 10 a factor of s(-6)?
False
Does 28 divide 3 - (-17)/(-6) - (-668)/24?
True
Let d = -98 + 166. Suppose -d = -4*x - 5*c + 290, 172 = 2*x - c. Does 29 divide x?
True
Let s(u) = 28*u**2 + u - 2. Is s(1) a multiple of 13?
False
Is 14 a factor of ((-16)/(-3))/(2 + (-123)/63)?
True
Let w = -151 - -87. Let n = 108 + w. Is n a multiple of 9?
False
Suppose -k = 2*k + 5*a - 299, -494 = -5*k - 4*a. Does 14 divide k?
True
Suppose c = 5*g + 75, 0*c = -4*c - 5*g + 300. Is c a multiple of 15?
True
Suppose -4*j + 13 = 5*d, -13 = d - 3*d + j. Let w = d + 0. Suppose 0 = -w*f + f + 12. Is 2 a factor of f?
False
Let v(g) = 8*g. Let t(q) = 3*q. Let j(n) = -11*t(n) + 4*v(n). Is j(-6) a multiple of 4?
False
Suppose -3*d = -d. Suppose d = -0*t - t + 95. Suppose 2*l = -25 + t. Is l a multiple of 16?
False
Is 21 a factor of (-105)/(-25)*(-50)/(-2)?
True
Suppose -2*q = -q - 2*b + 1, 2*q - b - 4 = 0. Suppose q*n + 4*k - 192 = -n, n = k + 50. Suppose s = -2*d - 0*s + 55, -5*s - n = -2*d. Is d a multiple of 8?
False
Suppose -3*c = 5*n - 13, 3*c + 16 = 4*n + 4*c. Let f = -3 + n. Is 4 a factor of (-8 + f)/3 - -10?
True
Is 24 a factor of -2 - (55/(-33))/((-1)/(-30))?
True
Let b = 48 - -2. Is b a multiple of 21?
False
Is 4 - -29 - -1 - -1 a multiple of 10?
False
Does 10 divide (-30)/4*(-48)/36?
True
Let z(n) = -n + 5. Let i be z(4). Let t = 3 + 1. Suppose 3*w = -t*s + 76, -w + i = -2*s - 11. Is 15 a factor of w?
False
Is 33*(56/12 - 2) - 3 a multiple of 5?
True
Suppose 4*o + o = 0. Let m(p) = -p**2 + p + 39. Does 13 divide m(o)?
True
Let d = -1 + -2. Let z be (3*-1)/(3/d). Suppose -z*x = -1 - 71. Is 12 a factor of x?
True
Suppose -2*s + 30 + 18 = 0. Suppose -2*o + 2*x = -70, x + s = 3*o - 71. Does 10 divide o?
True
Let g(p) = p**2 + 5*p - 8. Let z be g(-6). Let u(j) = j**2 - 2*j - 2. Let l be u(z). Let y = -1 + l. Is 5 a factor of y?
True
Let g(o) = o + 36. Let t = 4 - 4. Does 20 divide g(t)?
False
Let a be (-2)/(-8) - (-334)/8. Suppose -3*t + t + a = 0. Let h = t + -5. Does 7 divide h?
False
Suppose 2*i - 3*u - 52 = 2*u, -5*i + 176 = -u. Is 3 a factor of i?
True
Let x(g) = -g**3 - 11*g**2 - 2*g + 15. Let w = -12 - -1. Is 10 a factor of x(w)?
False
Suppose 0*w = -4*w - 168. Let d(m) = -m**3 - 8*m**2 - 9*m + 4. Let i be d(-8). Let a = w + i. Is a a multiple of 17?
True
Let m = -142 - -212. Is m a multiple of 28?
False
Suppose -67 = -4*r + 125. Does 12 divide r?
True
Let z(u) = -u**3 + u**2 + u + 2. Let f be z(2). Suppose f = -0*l - l + 44. Is 11 a factor of l?
True
Let l be 4/10*(-15)/(-3). Suppose 4*w - 43 = -q, 4*w = l*q - 1 - 25. Suppose 2*r - q = -d, 5*r + 5*d = 66 + 4. Is 9 a factor of r?
True
Let r = -42 - -59. Let o = r - -3. Suppose -5*a = -a - o. Is 2 a factor of a?
False
Let d = -419 + 741. Let a = d + -204. Is a a multiple of 30?
False
Is 4 a factor of 4624/72 + 4 + 4/(-18)?
True
Suppose 0 = -3*b - 12, 2*m - 166 = -0*b + 2*b. Does 9 divide m?
False
Let p be -1 - 5/(10/(-36)). Suppose -45 = -5*s - 4*k, -2*k - 20 = -6*k. Suppose -s*z + 48 = -p. Is 5 a factor of z?
False
Let r(j) = 2 + 1 - j**2 - 4 + 13*j - 2. Does 9 divide r(10)?
True
Suppose -k = 3*k - 2064. Is 15 a factor of (-4)/6*k/(-8)?
False
Suppose -41*j + 39*j = -106. Is j a multiple of 2?
False
Let h be (4 + 6/(-3))*11. Let a be 2/(-4) + 13/2. Let i = h - a. Is i a multiple of 8?
True
Suppose -2 = -2*g + g. Suppose -j = -4*x + 14, -2*x + 21 = g*j - 1. Suppose u - j = -1. Is 5 a factor of u?
True
Let y = 127 - 85. Suppose 5 - 21 = t - 5*w, 0 = 4*w - 16. Suppose -t*o + y = -2*o. 