 = 0, 2*c - 86 = -4*g. Let k = m - g. Is 4 a factor of k?
True
Let l be (120/16)/(6/(-8)). Let n = -11 - l. Let i(t) = -29*t - 1. Is i(n) a multiple of 12?
False
Suppose 282*y = 287*y - 1080. Is y a multiple of 15?
False
Is ((-280)/15)/(16/(-1488)) a multiple of 31?
True
Let n = 36 + -17. Let r = n + -20. Is 11 a factor of -19*(r + 0/1)?
False
Suppose -25 = -5*v, -3*v = 2*p - 32 + 11. Let j = 34 + -14. Suppose 5*u + 30 = 5*t, -p*t + 5*u + j = u. Is 4 a factor of t?
True
Let w(h) be the first derivative of h**3/3 - h**2 - 8*h + 5. Let l be w(4). Suppose l = -2*f + 1 + 35. Does 9 divide f?
True
Let g(y) = y**2 + 3*y + 3. Let c be g(-3). Let d = -2 + c. Does 5 divide (d - -16) + -13 + 11?
True
Suppose 4*c + 354 = 2*f - 1240, c + 1606 = 2*f. Is f a multiple of 18?
False
Let x(u) = u**3 - 7*u**2 - 3*u + 7. Is 34 a factor of x(10)?
False
Suppose 5*m = 8*m - 6. Let w(n) = 3*n - 5. Let k be w(m). Let h = k - -45. Is h a multiple of 21?
False
Let o = 16 + -30. Is 3 a factor of (60/21)/((-2)/o)?
False
Let r(w) = -w**2 - 6*w - 3. Let d be r(-4). Suppose -2*p = d*b - 135, 0 = 5*p + 2*b - 151 - 155. Does 15 divide p?
True
Suppose -2*u = -d - 2027, -u - 5*d - 3051 = -4*u. Is u a multiple of 34?
False
Let s(p) be the second derivative of p**5/20 + 2*p**4/3 - 5*p**3/6 - 11*p**2/2 - 3*p - 1. Does 3 divide s(-8)?
False
Suppose 5*q = 4*j + 176, 0 = -2*j + 5*q + 18 - 106. Let u(s) = -11*s + 45. Let o be u(13). Let m = j - o. Does 18 divide m?
True
Let n be 5 - (0 + 2 - 3). Suppose -2*x + n*j - 3*j = -148, 3*x = -2*j + 209. Does 30 divide x?
False
Let r = 905 - 633. Is r a multiple of 8?
True
Suppose -2 = 2*x - 8. Suppose 5*k = x*m - 2*m - 87, -95 = -m + k. Does 20 divide m?
False
Let k be (-6)/(-27) + 12/(-54). Suppose k*b - 130 = -5*b. Is 13 a factor of b?
True
Suppose 852 = 3*w + 3*d, -3*w - 3*d = -4*d - 868. Is w a multiple of 16?
True
Let v(q) = -q**3 - 7*q**2 - 5*q + 16. Let d(w) = 3*w - 29. Let x be d(7). Is v(x) a multiple of 20?
True
Suppose 32*t - 11014 = 8986. Is 26 a factor of t?
False
Let v = -13 - -164. Is v a multiple of 17?
False
Suppose 2*o - 4*o + 646 = 0. Let q = 467 - o. Is 15 a factor of q?
False
Let m = 38 - 42. Is 2 a factor of ((-391)/(-34))/((-1)/m)?
True
Let i = -1644 + 2340. Is i a multiple of 15?
False
Let l(b) = -b**3 - 4*b**2 + 4. Suppose 12 = 9*d - 11*d. Is l(d) a multiple of 38?
True
Let h = -7 - -9. Suppose -h*f + 2*d + 73 = -d, -f + d = -34. Is 16 a factor of f?
False
Is (-31 - 0)*1*(11 + -104) a multiple of 93?
True
Let n(d) = 53*d - 13. Let f be n(-2). Let p = 338 + f. Is p a multiple of 23?
False
Suppose 0 = -14*u + 15*u + 3. Is (8/u)/((-16)/336) a multiple of 8?
True
Does 6 divide (1708/21)/((-30)/(-135))?
True
Let i(t) = t**2 + 5*t + 3. Let x be i(-4). Let f(k) = -15*k + 3. Is 6 a factor of f(x)?
True
Let c(n) = n**2 - 6*n + 11. Let l be c(3). Suppose -5*a = -3*a + 3*o - 183, l*a = o + 179. Does 15 divide a?
True
Suppose 0*a - 6*a = -870. Suppose -3*b + 5*b - a = -m, b - 95 = -5*m. Is 10 a factor of b?
True
Suppose -12 = -21*s + 19*s. Suppose -l + 160 = -s*l. Let g = -26 - l. Is 4 a factor of g?
False
Let i be (-6)/(-1)*10/(-30). Let n be -2 - (-10 - i)/4. Suppose n = -0*y + y - 7. Is 6 a factor of y?
False
Is (-18)/(-4)*(-3720)/(-18) a multiple of 10?
True
Suppose -5*z + 4 = -16. Let x = z + -2. Suppose -2*w = 4*l - 4*w - 24, x*l - 3*w - 4 = 0. Is 4 a factor of l?
True
Let r = -13 - -12. Let d be 3 - (2 - r)/3. Suppose 2*x = -d*x + 252. Is x a multiple of 21?
True
Let o = -10 - -74. Suppose 2*a = o + 14. Suppose -3*b + 9 = 0, -a = -m - 2*m - 2*b. Is m a multiple of 3?
False
Let p(i) be the second derivative of i**3/6 + 11*i**2 - 5*i. Is p(15) a multiple of 10?
False
Let v(x) be the second derivative of x**3/2 - 9*x**2/2 + 4*x. Let u be v(4). Suppose 6*m = u*m + 60. Is m a multiple of 10?
True
Let y(b) = -290*b + 70. Is y(-1) a multiple of 45?
True
Suppose 2*n - 12 = -f, 2*f - n = -f + 1. Suppose -5*b = 3*r - 20, 3*b - 12 = 7*r - f*r. Suppose -8*x + 12*x - 132 = r. Is x a multiple of 10?
False
Let r(q) be the second derivative of q**5/4 - q**4/4 + 2*q**3/3 - q**2 + 5*q. Let p be r(2). Suppose -2*u + p = 2. Is 12 a factor of u?
False
Let m(c) = -c**2 + 5*c + 4. Let z be m(4). Suppose 27*u = 9*u + 126. Suppose z*k - u = 7*k. Does 3 divide k?
False
Suppose -5*n - 5*y + 2*y + 416 = 0, 0 = -4*y + 8. Does 5 divide n?
False
Let t(m) = 16*m + 214. Is t(10) a multiple of 17?
True
Suppose -4*o + a = -1387, 2*o + 3*a - 636 - 75 = 0. Is 14 a factor of o?
False
Suppose -4*r = -3*t - 532, 4*t + 294 - 693 = -3*r. Is r even?
False
Suppose 27*q - 28*q + 3*k + 233 = 0, -2*q - 4*k + 416 = 0. Is q a multiple of 11?
False
Let q = 58 + 5. Suppose q = 2*g - 27. Is g a multiple of 23?
False
Let v(h) = h + 30. Suppose -4*w = -16, 0*w - w + 8 = 2*b. Suppose -2 = b*k - u, -5*u + 6 = -4. Is v(k) a multiple of 10?
True
Let g be (-9)/((-5)/10 - 0). Does 21 divide (-6)/(-36) - (-1509)/g?
True
Suppose -12*j = -167 - 277. Is j a multiple of 9?
False
Suppose 96*n - 2506 = 94*n. Is n a multiple of 8?
False
Let l be (0 - 2)*(-15)/(-6). Let y be (-4)/20 + 9/l. Let h(g) = -3*g**3 - g + 1. Does 14 divide h(y)?
False
Suppose 15*c = 11*c - 172. Let h = c + 56. Is 13 a factor of h?
True
Suppose -526 = 4*d - 9318. Is d a multiple of 12?
False
Let x(y) = y**3 - 15*y**2 + 8*y + 16. Let w be x(13). Let c = -149 - w. Is 22 a factor of c?
False
Let f(t) = -326*t**3 + t**2 - 5*t - 6. Let n be f(-1). Suppose 4*o - n + 26 = 0. Does 15 divide o?
True
Let t(b) = 99*b - 204. Is t(6) a multiple of 39?
True
Suppose -1 = 2*r - 3. Suppose 2*n = -5*f + 8, 2*n - 4*f + r = 45. Let o = n + -8. Is 6 a factor of o?
True
Let p(j) = 14*j + 332. Does 31 divide p(48)?
False
Suppose 8952 = 34*l + 2356. Is 3 a factor of l?
False
Suppose 5*o = 3*x + 57 + 37, 74 = 4*o - 2*x. Let q = -24 + o. Is 14 a factor of (-6)/15*q*5?
True
Is 38 a factor of (-36)/(-54)*(3421 - (4 + -3))?
True
Suppose 17*a = 16*a - 2. Let b be 39 - (a - 0) - 3. Suppose -5*j = -f - 14 + b, -3*f + j + 30 = 0. Does 3 divide f?
True
Let w(l) = -l - 2. Let m be w(-2). Suppose -4*d + r = -m + 4, d + 4*r = -1. Does 2 divide 3 + d + 0 + 0?
True
Is (-4)/24 + (-5235)/(-90) a multiple of 2?
True
Let o(b) = -48*b + 57. Does 28 divide o(-11)?
False
Let f(p) = p**3 + 9*p**2 + 12*p - 7. Let z be f(-7). Suppose 462 + 175 = z*v. Is 7 a factor of v?
True
Let v = 20 - 36. Let l = v + 24. Suppose 0*s + 3*s - 5*r = 163, l = -4*r. Does 17 divide s?
True
Suppose -3*y - g + 1527 = 2*g, -2*g + 2 = 0. Suppose -3*l + 4*o = -8*l + y, 3*l - 300 = -4*o. Is 13 a factor of l?
True
Let i be 1*(-3 - -6 - (-35 + 1)). Let w = 88 + i. Is 5 a factor of w?
True
Suppose -16*a = -21*a. Suppose -3*u + 3 = 3*n, a = 2*u - 2*n - 0 - 6. Suppose 0 = 5*k - u*k - 72. Is k a multiple of 20?
False
Let h(o) = o + o + 2*o**2 - 1 + 3*o. Let y be -4*(2 - 6/2). Does 17 divide h(y)?
True
Suppose f - 1 = 3*s - 18, -5*s = -5*f - 15. Is (s - 1)*(-60)/(-9) a multiple of 40?
True
Let p = 150 - 300. Let c = p + 232. Is c a multiple of 21?
False
Let t(d) = -d**3 + 2*d**2 - 4*d + 8. Let l be t(-4). Suppose 2*p = -10*p + l. Is p a multiple of 2?
True
Let q = 9 + -7. Let g(r) = -4*r + 3*r**2 - 9*r**q + r**2 + 7*r**2 - 1. Is g(3) a multiple of 2?
False
Let t = -19 + 11. Let i(s) = -s**3 - 9*s**2 - 7*s + 6. Let r be i(t). Let j = 26 + r. Is 12 a factor of j?
True
Let i be (-1 - -2)/(1/(-3)). Suppose -57 = h - 2*v, -8*h + 6*h = -2*v + 104. Is i/(-1) - (2 + h) a multiple of 12?
True
Suppose c + 4*a - 4 = 5, -3*a = -3. Suppose 0*g + 192 = c*g - 4*q, 2*g - 5*q = 70. Is 14 a factor of g?
False
Let t = -12 + 14. Let p = 5 - t. Suppose p*c - 4*c + 82 = 0. Does 23 divide c?
False
Let f be ((-120)/(-18))/(4/150). Suppose 0 = 4*d - 5*d + 160. Let n = f - d. Is n a multiple of 15?
True
Let y be 2/(-17) - 1110/102. Let u = y + 62. Does 17 divide u?
True
Let f = 24 + -4. Suppose -2*d - 3*d - 182 = -2*z, 0 = 5*d - f. Does 11 divide z?
False
Suppose 0 = -21*l + 18*l + 4968. Is 72 a factor of l?
True
Let p(d) = d**3 - 18*d**2 + 100*d - 39. Is 56 a factor of p(18)?
False
Suppose g - 290 + 55 = 0. Suppose r = -3*w + 6, 8 = 3*r + 3*w + 2. Suppose 0 = o - 5*z - r*z - 47, g = 5*o + 2*z. Is 27 a factor of o?
False
Let p be (160/6)/8 + 2/(-6). Suppose n = p*b - 347, 2*b - n - 41 = 192. Is 18 a factor of b?
False