 -m - 4*z + 3012 = 0. Is m a multiple of 15?
True
Suppose 100*v - 24*v - 3368508 = -210*v. Does 39 divide v?
True
Suppose -336*k = -329*k + 168. Does 7 divide 7*((-54)/k)/(-9)*-76?
True
Suppose -2*d - 114122 = -4*o, 0 = -4*o - 2*d + 57818 + 56340. Does 13 divide o?
True
Let d(g) = g**2 - 10*g + 23. Let f = -133 - -144. Is d(f) a multiple of 5?
False
Let z(b) = b**2 + 1. Let j be z(-1). Let k(w) = -17*w**3 + 2*w**2 + w - 3. Let l be k(j). Let i = -85 - l. Is i a multiple of 22?
True
Let c = 92 + 1092. Is 32 a factor of c?
True
Let w = -367 - -685. Let j = -154 + w. Is 8 a factor of j?
False
Suppose r - 3*r + 14 = 2*x, -45 = -5*x + 5*r. Suppose 3*f - 11 = -x. Does 12 divide (f/(-1))/((-7)/539)?
False
Suppose -66*j = -63*j - 12. Does 3 divide (8/j)/(-2 + 420/207)?
True
Let k(p) = -9*p - 37. Let l be k(-3). Does 28 divide (-1094)/l - (-56)/(-140)?
False
Let l = 27 - 76. Let i = 113 + l. Is 8 a factor of (-9)/(2*(-6)/i)?
True
Let q = -90 + 91. Let m be (-6)/8*q*(-4216)/34. Let d = m - -117. Is d a multiple of 35?
True
Suppose 534*o = 530*o + 392. Suppose u = k - 110, 5*u + o + 238 = 3*k. Is 40 a factor of k?
False
Suppose 2*d = 5*v + 2573 + 31071, 0 = -d + v + 16822. Is 13 a factor of d?
True
Let y(g) = -g**3 + 11*g**2 - 15*g - 13. Let v be y(10). Let n = 233 - v. Is 37 a factor of n?
True
Let k = 7044 - 3238. Is 22 a factor of k?
True
Suppose 0 = -5*y + 12 + 48. Suppose -4*j + 0 = -y. Suppose j*z = 6*z - 42. Does 3 divide z?
False
Let r(a) = 15*a**2 - 82*a - 2752. Does 8 divide r(-34)?
True
Let t be ((-30)/20)/(3/(-18)). Suppose 19*p = -t*p + 20972. Is p a multiple of 25?
False
Let d(r) = 3*r**2 + 50*r - 38. Is 42 a factor of d(33)?
False
Let p(o) = -136*o**2 - 3*o + 1. Let z(t) = 137*t**2 + 4*t - 1. Let i(f) = 4*p(f) + 3*z(f). Let d be i(1). Is (d*(4 - 5))/1 a multiple of 22?
True
Let r = -695 + 1211. Let v = r + 171. Is 32 a factor of v?
False
Let m = 157 - 166. Let g(a) = -31*a + 33. Is g(m) a multiple of 8?
True
Let t = 29 + -14. Does 6 divide (666/t)/((-6)/(-20))?
False
Suppose -3*u = 3*l - 528, 5*u - 5*l - 13 = 847. Is 58 a factor of u?
True
Suppose -2*s + 5*m + 2620 = 0, 3*s + 1235*m - 3904 = 1236*m. Does 2 divide s?
True
Let y(i) = i**2 - 6*i + 9. Let k be y(5). Suppose -2 - 14 = -k*w. Suppose 35 = w*p - 173. Is p a multiple of 13?
True
Let w(m) = -19*m - 9. Let c(v) = 3*v**3 + v**2 - 1. Let n = 11 - 12. Let l be c(n). Is 8 a factor of w(l)?
True
Let w = 1112 - -10972. Is w a multiple of 106?
True
Does 14 divide (-9123)/((-1*2)/((-476)/17 + 30))?
False
Let u(w) = w**2 + 19*w + 34. Let k = 11 - 25. Let q be u(k). Does 20 divide 6*-1*(-236)/q*-3?
False
Let n(w) = 23 + 8*w - 17*w + 4*w + 3*w. Let s be n(10). Suppose -10 = -4*k + d, -4*d = k - s*d - 5. Does 2 divide k?
False
Let f = -8100 - -15833. Is 35 a factor of f?
False
Let k be -2 + 1 - -17 - 1. Suppose 2*v - 22 = z, -z - 13 = -5*v + k. Is 20 a factor of 4/z + 1337/63?
False
Let h = 5032 - 952. Does 34 divide h?
True
Let a(s) = s**3 + 17*s**2 + 17*s + 21. Let j be a(-16). Is 6 a factor of ((-4)/j)/(6/10170*-6)?
False
Suppose b + 3 = 2*j, 2*b - 6 = j - 3. Suppose 1133 + 688 = 3*k + j*a, -3*a + 3025 = 5*k. Is 45 a factor of k?
False
Let c be 1/(1/(-3)*21/(-133)). Let l(g) = -2*g + 33. Let d be l(c). Let s(p) = p**3 + 7*p**2 + 7*p + 5. Is s(d) a multiple of 4?
True
Suppose 0 = 4299*v - 4220*v - 5924684. Is 156 a factor of v?
False
Suppose 0 = -6*r + 3 + 3. Let y be (r + -9)*(-7)/14. Suppose 0 = 5*m + y*d - 281, 2*m - 3*d - 174 = -m. Is 14 a factor of m?
False
Suppose 0 = 4*s - 6 - 6. Suppose 0 = -6*y + s*y + 12. Is 20 a factor of 97 - (4 + (-3 - y))?
True
Let o = 164 - 176. Let b(a) = a**3 + 14*a**2 + a + 19. Is b(o) a multiple of 34?
False
Let s = -7346 - -16315. Does 12 divide s?
False
Let h(z) = -14 + 14 + 5 + 78 + 24 - 90*z. Does 41 divide h(-17)?
False
Let b(k) = -4*k + 1981. Is 47 a factor of b(-46)?
False
Let t = -35 + 203. Suppose -248 = 13*f + t. Let x = 37 - f. Is x a multiple of 5?
False
Let v be 60*3*(-18)/(-30). Is 1215/v*(-160)/(-3) a multiple of 60?
True
Let h be (6/3 - -2) + -2. Suppose -2*s + 2*g = -36, -5*s + s + h*g = -76. Is s a multiple of 20?
True
Let h = -47 + -386. Let c = h + 865. Does 18 divide c?
True
Suppose 0 = -31*l + 14*l - 204. Let g = l + 56. Let y = 158 - g. Is 6 a factor of y?
True
Let u = 437 - -71. Suppose -p = -4*g - 152, 4*g - 60 = -4*p + u. Suppose p = 2*b - 130. Is 32 a factor of b?
False
Suppose 2*h = 11 + 3. Suppose -1099 = -0*n + h*n. Is 27 a factor of (1 + n/(-5))*(-30)/(-4)?
True
Let q(d) be the third derivative of 125*d**4/24 - 5*d**3/6 + 22*d**2. Is q(1) a multiple of 40?
True
Let m(j) = j**2 + 10*j + 10. Let u be m(-10). Let n = u - 2. Suppose -h = -13 - n. Does 4 divide h?
False
Let i be 8 - (-31 - (1 - 9)). Suppose 3*m + 245 = 2. Let w = i - m. Does 15 divide w?
False
Suppose 4*w - 12*w + 6324 = 4*w. Does 14 divide w?
False
Let i(d) = d + 26. Let p be i(9). Let h(u) = -u**3 + 6*u**2 - 2*u - 7. Let b be h(4). Let o = p - b. Is 3 a factor of o?
True
Let y(t) = -2*t + 27. Let u be y(8). Suppose -4*c + 3*j - 4 - 13 = 0, 2*c + 5*j = u. Is 20 a factor of c + 1 + (-9 - -50)?
True
Let b be 88/1 + (-1 + 4 - 1). Let t = b + -3. Suppose 3*y - 123 = t. Does 12 divide y?
False
Let h = -5760 + 15212. Is 17 a factor of h?
True
Let a(t) = -3*t**3 - 49*t**2 - 18*t - 27. Let g be a(-16). Suppose 5*q - 6*m = -g*m + 346, -4*q - 2*m = -274. Is 23 a factor of q?
True
Suppose -98 + 28 = -35*g. Is (g/(-2) + -2)*(-124)/3 a multiple of 4?
True
Suppose c - 175 - 244 = -4*r, 1312 = 3*c + r. Suppose -5*j + 1586 = -c. Is 15 a factor of j?
True
Suppose -53*g = -40*g + 62*g - 3075300. Is 17 a factor of g?
True
Suppose 11*c - 14*c + 126 = 0. Let z = -36 + c. Suppose -z*o + 0*o + 192 = 0. Is o a multiple of 10?
False
Let r = -128 + 469. Let o = r - 177. Is o a multiple of 39?
False
Let c = 207 + -205. Is 2 a factor of ((-13)/((-130)/102))/(c/10)?
False
Suppose -3*l + 10 = 4. Suppose 56 = -32*r + 36*r. Suppose -l*w + r = 4*j - 66, -w + 5*j = -12. Is 16 a factor of w?
True
Let j(u) = 3*u**2 - 29*u - 6. Let x be j(10). Does 28 divide (4/(-5))/(x/(-780))?
False
Is -511*(-55)/(4 - -1) a multiple of 11?
True
Suppose 0*a + 2*a - 484 = 0. Suppose 0 = -3*f + 2*v - a, -2*v + 3*v - 160 = 2*f. Is ((-62)/(-4) - 0)/((-13)/f) a multiple of 8?
False
Let c(n) = 54 - n**3 - 2*n - 27*n**2 + 25*n - 32. Is 9 a factor of c(-28)?
True
Let v = 29 - 27. Let b be (-1 + 92/(-20))/(v/(-80)). Let h = b - 76. Does 37 divide h?
True
Let j(k) = 14*k**3 + 2*k**2 - 43*k + 18. Is j(6) a multiple of 25?
False
Let v(k) be the second derivative of k**4/3 + k**3/3 - 13*k**2/2 + 14*k - 1. Is 17 a factor of v(-6)?
True
Let h be 4/(6 - 7) - (-116 + -2). Let o = 63 + -114. Let z = o + h. Is 12 a factor of z?
False
Suppose 5041 = -2*q + 17593. Is q a multiple of 13?
False
Suppose 2*x - 18 = -2*a, -2*a = -2*x - 3*x + 10. Let i be (0 + (x - 4))*2/4. Suppose 27*s - 32*s + 840 = i. Does 24 divide s?
True
Let u be (-100)/(-20)*1/1. Suppose 2*o - 196 = 6*o - 4*k, 0 = 5*o - 2*k + 233. Let i = u - o. Is i a multiple of 10?
True
Let h(s) = 5*s**3 + 4*s**2 - 23*s + 9. Suppose -3*v + 31 = v - 5*m, 5*v - 26 = 2*m. Is 29 a factor of h(v)?
False
Let q be (-8436)/9 - 75/45. Let p = -633 - q. Does 45 divide p?
False
Let b(h) = -h + 18. Let a = 37 - 34. Suppose -92 = 5*n - 2*q + q, 5*n + a*q + 104 = 0. Is b(n) a multiple of 7?
False
Let z = 26484 + -19464. Is 26 a factor of z?
True
Let q(c) = c**2 + 12*c + 18. Let w(t) = -11*t**3 + 2*t**2 + t - 2. Let u be w(1). Let g be q(u). Is ((-3)/2)/(1/g) a multiple of 2?
False
Let t = -5348 - -6510. Does 6 divide t?
False
Let k(m) = 11*m**3 + 6*m**2 + 3*m - 1. Let g(v) = -9*v**3 - 7*v**2 - 4*v + 1. Let s(p) = -4*g(p) - 5*k(p). Does 4 divide s(-1)?
False
Let k be (3/5*514)/(24/60). Is k + ((-18)/(-15))/((-9)/30) a multiple of 13?
True
Suppose -3*g - 14 = -26. Suppose g*s + 37 = 3*v, -s + v - 8 = -0*v. Does 7 divide (s/2)/(1/(-2))?
False
Let z(q) = -48*q - 18. Let o = -101 - -98. Let s be z(o). Suppose 4*y - y = s. Is 19 a factor of y?
False
Let a = 10250 - 2175. Is a a multiple of 30?
False
Suppose 7*r = 4*r. Suppose -2*j - 12 = -3*n - n, r = -4*j + n + 4. Suppose j*p + 24 = 2*z - 18, -5 = p. Is z a multiple of 4?
True
Suppose -4*d = -w - 3694 - 14012, -17698 = -4*d - 3*w. Does 25 divide d