+ 1675. Is 12 a factor of m?
True
Let g = 390 - 156. Is 13 a factor of g?
True
Let y(d) = 52*d - 4. Let i(k) = 53*k - 4. Let m(t) = 4*i(t) - 5*y(t). Is 20 a factor of m(-3)?
False
Is 38 a factor of (6156/270)/((-3)/(-10))?
True
Suppose -12*t = -11*t - 441. Does 3 divide t?
True
Let y = 282 + -163. Let j = -71 + y. Is 16 a factor of j?
True
Let c = -2541 - -4218. Is 13 a factor of c?
True
Suppose 0 = -3*j + 31 + 23. Let q = 71 - j. Does 16 divide q?
False
Let x(d) be the first derivative of 2*d**3/3 - 17*d**2/2 + 9*d - 41. Does 13 divide x(12)?
False
Let v(b) = b**3 - b**2 + b - 5. Suppose 2*k = k + 3. Does 3 divide v(k)?
False
Suppose 5*j - 1191 = 5*r - 3*r, j = -5*r + 222. Does 33 divide j?
False
Let l be 309/21 - (-4)/14. Suppose -5*w + 2*t + 30 = -4*w, -t = w - l. Is w a multiple of 4?
True
Suppose 8*r - 6362 - 4814 = 0. Is r a multiple of 11?
True
Let y(f) = -f**2 - 5*f. Let a(n) = -n**2 - 4*n. Let s(v) = -5*a(v) + 4*y(v). Does 9 divide s(3)?
True
Is 27 a factor of (-2)/(-8)*3 + (-1474)/(-8)?
False
Let d(u) = 960*u**2 - 22*u + 2. Is d(1) a multiple of 10?
True
Suppose 4*s = -2*c - 12, 3*c = -s + 8*c - 14. Let h(a) = 3*a + 6. Let l be h(s). Let o(j) = -j**3 - 7*j**2 - 6*j + 7. Is o(l) a multiple of 2?
False
Is 10 a factor of 1081552/2760 + (1 - (-26)/(-30))?
False
Suppose -13*n + 4*n = -7*n. Suppose 6*g + 5 - 41 = n. Is 4 a factor of g?
False
Does 7 divide -15*126/(-45)*3?
True
Let b(o) = 5*o - 2. Let l be b(0). Is 23 a factor of 34/51*(-207)/l?
True
Let n be (-9 + (7 - 4))/2 - -194. Let m = -93 + n. Does 42 divide m?
False
Let u(p) = -p**2 - 9*p - 5. Let q be u(-6). Suppose -q*g + 25 = -12*g. Is 5 a factor of g?
True
Suppose -10*w + 828 = 8*w. Does 2 divide w?
True
Suppose 18*a - 1932 = 17*a - j, 4*j = 8. Does 79 divide a?
False
Let b = -108 - -196. Suppose -b = -2*d + 4*u, 5*d - 4*u - 232 = -0*u. Suppose 0 = 5*z - 3*z - d. Does 12 divide z?
True
Let s be (-15)/5*(-16)/3. Suppose 22 + s = -2*d. Let t = d - -39. Does 20 divide t?
True
Let y(r) = 2*r - 7 - 3*r + 14. Is 12 a factor of y(-5)?
True
Let g = -4 + 12. Suppose -4*w = -2*w - g. Does 25 divide 0/(-7 + w) + 75?
True
Suppose -7*c - 12 = -3*c + 4*r, 5*r + 15 = 5*c. Let g(o) = -o**2 - 2*o + 114. Does 14 divide g(c)?
False
Let v be (-44)/55 + 404/5. Is 1 + v - (7 - 11) a multiple of 17?
True
Suppose -1400 = 10*p - 5360. Does 12 divide p?
True
Let h be 12/7 + 8/28. Let d(k) = k**2 - 10*k - 12. Let l be d(12). Suppose -2*t + 4 = 0, l = h*y + 2*y + 2*t. Does 2 divide y?
True
Suppose 3*j = 2*x, -4 = -3*j + x - 1. Suppose r = -j*r - 18. Let o = 11 + r. Is o a multiple of 5?
True
Let i be -1 + (-594)/(3/(-1)). Let u = -10 + i. Is u a multiple of 26?
False
Does 12 divide 4/(-10)*-1882 + 1552/(-1940)?
False
Suppose 2*z - 6 = 0, 2*t - 4*z - 14 = -0*z. Is 2 a factor of t?
False
Does 30 divide (-5)/15*(-3 + -735)?
False
Suppose 3*b + 3*y - 66 = 0, -2*b + 10 = -b - 3*y. Let v(l) = 13*l + 61. Let w be v(-4). Let g = b - w. Does 4 divide g?
False
Let o(l) = -2*l**2 - 23*l - 1. Let k be o(-11). Let y(g) = g - 1. Is y(k) a multiple of 9?
True
Suppose -41 = 5*n - 491. Suppose p = 4*p - n. Does 4 divide (-8)/(-60) + 326/p?
False
Let w(i) = -i**2 - 11*i + 2. Let v be w(-7). Let a = 24 - v. Let t = 3 - a. Is t a multiple of 8?
False
Suppose 0 = 3*v - 324 - 225. Is 6 a factor of v?
False
Suppose -2*x + 19 = 2*r - 7, -15 = 3*x. Let n = r - 10. Does 6 divide n?
False
Suppose 2*i = -4*o - 1 - 11, -4*o = 4. Is 11 a factor of (-1)/(1/(-40)) + i?
False
Does 30 divide -4 + (-8)/4*-287?
True
Let k be (1 - 2 - -47)*(-2 + -2). Let s = k - -540. Is 41 a factor of s?
False
Let g be 1/(2/(-100)) - 1. Let i = 75 + g. Is 12 a factor of i?
True
Suppose -3*m + 2*s - 5*s - 120 = 0, 4*m = s - 165. Does 5 divide (-8)/16 + m/(-2)?
True
Let n(z) = 3*z**2 - 11*z + 23. Is n(9) a multiple of 5?
False
Let m(a) = 3*a + 1. Suppose -5 = -4*n - 1. Is m(n) a multiple of 3?
False
Suppose -22 = -6*r - 4. Suppose 39 = 3*o + 2*y, -3*o + r*y + 17 = -37. Is o a multiple of 15?
True
Let a(w) = w**3 - 10*w**2 + 21*w - 18. Let u be (-4)/(-14) + 312/84. Suppose 5*m - u*r - 48 = -2*r, -52 = -4*m + 5*r. Does 11 divide a(m)?
True
Let m be 1 + 69 + 1 + -1. Suppose -d - m = 26. Let j = 134 + d. Does 19 divide j?
True
Is 15 a factor of 2565/20 + (-7)/28?
False
Let q = -47 + 50. Suppose -q*o = -8*o + 110. Does 21 divide o?
False
Suppose 0 = -3*g + 2*a + 37, 3*g = -2*g - 2*a + 35. Let n(r) = -r**2 + 15*r - 8. Does 5 divide n(g)?
False
Let p be (-1)/((-4)/(304/4)). Let c = p + -13. Is c a multiple of 4?
False
Let s(n) = -28*n + 11. Let d be s(-9). Let k = d - 113. Suppose 3*b - b = k. Does 16 divide b?
False
Let d = 5 + -4. Suppose d = -b + 3. Is (-270)/(-12) + b/4 a multiple of 5?
False
Suppose -44*d + 49*d - 615 = 0. Is 5 a factor of d?
False
Is 28 a factor of (3/(-2))/((-18)/336)?
True
Let w(l) = l**3 - 10*l**2 + 2*l - 1. Let o be w(7). Does 8 divide 4/(-22) + o*(-4)/44?
False
Let j(u) be the first derivative of -2*u + 3/2*u**2 + u**3 - 8. Is j(-4) a multiple of 17?
True
Suppose -5*y - w - 3*w + 989 = 0, 2*w + 8 = 0. Does 13 divide y?
False
Suppose 8*c + 245 = 1149. Suppose 2*y + 7 = c. Is y a multiple of 17?
False
Let i(w) = 5*w + 23. Let r be i(4). Let s = r - -44. Does 16 divide s?
False
Let r = -3 + 8. Suppose -8 = -3*y + 5*l, r*y - 4*l + 2*l = 26. Suppose x = y*x - 370. Is 33 a factor of x?
False
Suppose -4*l + 11774 = -5*a, 3 = 4*l - l. Is 6/27 - (-1 + a/18) a multiple of 11?
True
Let a(t) = 0 - 29*t + 26*t + 0*t**3 + 7 + t**3 - 6*t**2. Let c be a(6). Let h(m) = -m - 7. Does 4 divide h(c)?
True
Let h be -9*(-4)/24*24. Suppose -h = -4*u + 3*u. Is 9 a factor of u?
True
Suppose 59 + 13 = 3*f. Suppose -f = -z - 3*z. Suppose z*m = 2*m + 3*t + 40, 4*m + t = 40. Is 2 a factor of m?
True
Suppose -7186 = -17*c + 3014. Is c a multiple of 40?
True
Let y(d) = d**3 + 10*d**2 + 10*d - 2. Let f be y(-9). Let q = -7 - f. Is -3*(-2)/(q/26) a multiple of 13?
True
Suppose -209 = -5*t + 2*b, 0 = -t + 2*b - 7 + 44. Suppose -2*g = -235 - t. Is 20 a factor of g?
False
Suppose -23*n = -18*n - 25. Let r(v) = 18*v - 30. Is r(n) a multiple of 13?
False
Suppose -x + 11*x + 10 = 0. Is 60 + x + (-9 - -6) a multiple of 14?
True
Let p(h) = -5*h**2 - h + 6. Let g be p(3). Let n = g - -125. Suppose -2*x + n = o, 0*x + 4*x - 255 = -3*o. Is o a multiple of 12?
False
Let t be -4 + (-17)/(-4) + (-22)/(-8). Suppose 7*c = 3*c - 5*j + 23, 0 = -3*c + 3*j - t. Is c a multiple of 2?
True
Suppose -18200 = 25*w - 50*w. Is 4 a factor of w?
True
Let g be 3/(1 - 20/35). Suppose 3*o - r - 29 = 0, -5*o + 0*r - 3*r = -67. Suppose g*y = o*y - 24. Is y a multiple of 6?
True
Does 14 divide 349 + ((-24)/18)/(20/(-15))?
True
Let h(j) = 138*j**2 + 6*j - 5. Is h(1) a multiple of 5?
False
Let b = -22 - -18. Let f be (-2)/4*(b - 0). Suppose 4*y - 116 = -f*x, 317 = 5*x - 3*y + 4*y. Is 14 a factor of x?
False
Suppose 51 = -4*z + 5*h, 0*z + z + 3*h + 17 = 0. Let r be (-1)/(-2) + 7/z. Suppose 4*u - 4*y - 80 = r, -3*y - 36 = -6*u + 4*u. Is u a multiple of 6?
True
Suppose 3*q + g + 497 = 1359, -2*g = 10. Does 14 divide q?
False
Is (-4)/6 + 700/6 a multiple of 38?
False
Let y(w) = 2*w**2 + w - 4. Let j(z) = -z**2 + 9*z + 13. Let a be j(10). Is y(a) a multiple of 13?
False
Suppose -z - 3 = -4. Let h be z/1 - 34/(-1). Suppose d + h = 87. Is 26 a factor of d?
True
Suppose 122*d = -3*d + 163125. Is 15 a factor of d?
True
Let r(n) = -145*n + 11. Is 78 a factor of r(-1)?
True
Let j(m) = -2*m**3 + 30*m**2 + 3*m + 13. Let s = -33 - -48. Is 16 a factor of j(s)?
False
Let y be (-30)/40 + 2/(-8). Let n be 0 - (4/y - -1). Suppose 2*f + 5*g + 51 = 5*f, 31 = f + n*g. Does 11 divide f?
True
Suppose t - 65 = 6*t. Let p = 21 + t. Is (132/p)/(1/2) a multiple of 11?
True
Let l = -188 - -275. Let z = 66 + l. Is z a multiple of 17?
True
Let s(f) = -f**3 + 4*f**2 + 4*f - 3. Let o be s(4). Let w = -11 - -37. Suppose w = a - o. Is 11 a factor of a?
False
Suppose -6*g + 10*g = 128. Let o = -4 + g. Is 28 a factor of o?
True
Suppose -4*x + 135 = -121. Suppose -9 = 3*q - 3*n, 0 = -q - 26*n + 30*n - 18. Is 13 a factor of (70/56)/(q/x)?
False
Suppose -390 = -4*v + 926. Does 47 divide v?
True
Let y(d) = 19*d. Let g = 13 + -10. Let c be y(g). Let j = c + -25. Does 8 divide j?
True
Let k = -265 - -270. Suppose 3*g + v - 19 = 0, -29 = -5*g - v 