m - h. Does 15 divide m?
False
Let l = 33 - 21. Does 7 divide l?
False
Let h = -76 + 104. Is 4 a factor of h?
True
Suppose 2*f = 4*f + 214. Let b = 179 + f. Suppose 0 = -0*i - 2*i + b. Does 18 divide i?
True
Let z(k) = -k**3 + 7*k**2 + 5*k - 3. Let s be z(7). Suppose m - 6 = -t + 10, -2*t - m + s = 0. Is 8 a factor of t?
True
Let y = -2 - -2. Suppose y = -x - 0 + 2. Is (17 - (0 + x)) + -2 a multiple of 10?
False
Let p(m) = 9*m**2 - 2*m + 1. Let l be p(1). Let k = 6 + l. Does 7 divide k?
True
Suppose 3*w - 3 - 3 = 0. Suppose -2*c + 64 = w*r + 2*r, 136 = 5*c + 2*r. Is c a multiple of 13?
True
Does 5 divide (-2)/5 - (-259)/35?
False
Let k be (1 + -27)*(-5)/10. Let g be (-2)/5 + k/(-5). Let q = 21 + g. Is 9 a factor of q?
True
Let i be ((-12)/9)/(2/(-3)). Suppose i*y - 5*y = -9. Does 3 divide y?
True
Let d(b) = -b**3 + 16*b**2 + 3*b - 21. Is d(16) a multiple of 11?
False
Suppose a + 3 = 2*a. Suppose -114 = -a*j - 2*k + 4*k, -4*j = -3*k - 152. Let v = j - 27. Does 11 divide v?
True
Suppose -r + 43 = -20. Does 9 divide (6/9)/(2/r)?
False
Let u be 8/(-12) - (-868)/6. Suppose -4*i + i + u = 0. Is 16 a factor of i?
True
Let z = -11 - -60. Is 6 a factor of z?
False
Let n = 12 + -5. Let x = n + 14. Does 17 divide x?
False
Let l be 4/14 - (-284)/(-14). Suppose -j + 3*j + 28 = 0. Let g = j - l. Is g a multiple of 4?
False
Let q(g) = 4*g**2 - 8*g + 26. Does 30 divide q(5)?
False
Suppose w - 12 = -2*w. Suppose -4*u + 3*y + 30 = 0, 2*u - w*y = 6*u - 16. Is 3 a factor of u?
True
Let u(a) = -a**3 - 6*a**2 - 2*a - 9. Let l be u(-6). Let s = -5 - -10. Suppose -61 = -2*r + 3*b, -l*r + s*r - 59 = b. Is 14 a factor of r?
False
Let y(a) = a**3 - 8*a**2 + 6. Let s be y(8). Suppose 4*h - 6 = s. Suppose -4*c + h*c + 25 = 0. Does 10 divide c?
False
Suppose 3*y = -y + 12. Suppose -5*p = 2*d - 6, 0 = 7*p - y*p + 16. Is 8 a factor of d?
False
Let n(y) = -2*y + 4. Let h be n(-10). Let w = h - -31. Is w a multiple of 11?
True
Let k(y) be the second derivative of y**4/12 + 5*y**3/6 - 5*y**2/2 - 6*y. Suppose 3*m = 3*r - 21, -2*m + 0*m - 4*r - 14 = 0. Is 5 a factor of k(m)?
False
Suppose 0 = -3*d - 4*j, 4*d - 4*j = j + 31. Suppose -d = -0*k - k + 2*b, k = -4*b - 8. Suppose -2*q + r + 78 = -k*r, -4*q + 158 = -3*r. Is 19 a factor of q?
True
Let x = 45 + 83. Is x a multiple of 16?
True
Let h be ((-1)/(-3))/(2/42). Let u = 22 - h. Is u a multiple of 15?
True
Let d(i) = i**3 + 6*i**2 + 2*i + 9. Let s be d(-6). Let l be s/12*-22*-2. Let u(z) = -z - 5. Is 6 a factor of u(l)?
True
Suppose g - 4*m = -g - 24, -3*g + 5*m = 31. Does 16 divide 32 + g + 5 + -3?
True
Is (-725)/(-15) - 1/3 a multiple of 8?
True
Let i(w) = 105*w - 1. Let h be i(1). Suppose -3*u = u - h. Suppose -z + u = -0*z. Is z a multiple of 13?
True
Let x(g) = 17*g - 27. Is 21 a factor of x(9)?
True
Suppose -2 = m - 4*p + 8*p, -5*p = 5*m - 20. Suppose -m = -3*s, -q = 2*q + 4*s - 356. Suppose f = 5*y + 87 - 244, q = 4*y - 4*f. Is 16 a factor of y?
True
Let q(d) = d. Let h be q(3). Let r be 1 + -1*h - -5. Suppose r*n + 2 = 4*n. Does 2 divide n?
True
Let j = -282 - -497. Let p = 96 - j. Is (-2)/(-4) + p/(-14) a multiple of 3?
True
Suppose -5*q + 120 = -4*q. Is q a multiple of 30?
True
Is (2/3)/(4/348) a multiple of 14?
False
Suppose 12 = h + 3*a, 3*a - 108 = -7*h + 2*h. Let z = h - 41. Let v = z + 45. Is 14 a factor of v?
True
Let a(k) = 5*k - k - 2*k - k**2. Let j be a(1). Is 15 a factor of j/(3 - (-366)/(-123))?
False
Let b = -47 - -11. Is 20 a factor of (b/(-14))/((-9)/(-84))?
False
Let z be (-15 + 7)*-2*2. Let r(b) = -2*b - 4. Let q be r(6). Let l = z + q. Is l a multiple of 5?
False
Suppose -2*k + 2*y + 240 = 3*k, -4*y + 118 = 3*k. Does 6 divide k?
False
Let j be 30*3*(-12)/45. Let u = j + 33. Is u a multiple of 9?
True
Suppose 2*b - 6 = 2. Suppose 0 = -3*v - b - 14. Is 80/15*v/(-4) a multiple of 4?
True
Let t = -8 - -6. Suppose -6*l + 5 = -l. Is 8 a factor of t*l/1 + 15?
False
Let w be 6/4 - 9/6. Suppose -5*d + 4 + 7 = -4*v, -2*d - 2*v + 8 = w. Is 2 a factor of d?
False
Let v = -42 + 18. Is 16 a factor of v/(2/((-12)/9))?
True
Let c(o) = 2*o - 2*o**2 + 13 - o**2 - 4*o**2 - 2*o**2 - o**3. Let z be c(-9). Let p = 7 - z. Is 12 a factor of p?
True
Let d = 3 - -3. Is d a multiple of 6?
True
Let z = -50 - -89. Suppose 0 = 5*a - z - 96. Is a a multiple of 9?
True
Let n(w) = 10*w**2 + w - 5. Let k be n(-5). Suppose 0*v - 3*v + k = 0. Suppose 4*a - v = -a. Is a a multiple of 7?
False
Suppose 3*a - 5*a + 90 = 0. Is 23 a factor of a?
False
Let z = -159 + 111. Does 7 divide (-9)/(-6)*z/(-9)?
False
Let a = -6 - -4. Let v = a - -4. Suppose 0 = -2*y + 4, -u = v*y - 41. Does 18 divide u?
False
Let w = -12 + 28. Let l = w + -10. Let t = l - -10. Is t a multiple of 8?
True
Suppose 328 = 4*u + 4*k, -5*k - 112 = -5*u + 258. Is u a multiple of 13?
True
Let o = 4 - 4. Suppose 5*g - 35 - 15 = o. Is 10 a factor of g?
True
Suppose 7*i = 3*i. Let l(a) = a**2 + 7. Let d be l(i). Let q(b) = b**3 - 6*b**2 - 6*b + 9. Is q(d) a multiple of 16?
True
Suppose -448 = -5*y + 3*f, f = -2*y + 3*f + 176. Suppose -88 = 5*o + 2*m, 5*o + 6*m + y = 3*m. Is (75/20)/((-6)/o) a multiple of 4?
False
Suppose 198 = 4*n + 54. Suppose -5*f + 0*f + 20 = -4*w, -2*w = f - 4. Suppose 0*v + v - n = w. Is v a multiple of 12?
True
Suppose 0 = -3*x + 2*w, 4*x - 3*x + 3*w = 0. Suppose 3*h - 9 = x, 0 = -4*l - 3*h - 0*h + 41. Is l a multiple of 5?
False
Suppose -4*v + 6 - 14 = j, -5*j - v + 17 = 0. Let s = j - 41. Let q = s - -54. Is q a multiple of 12?
False
Suppose k - 45 = s + 3*s, 4*k + 5*s = 222. Is 7 a factor of k?
False
Let h = 17 - -21. Does 21 divide h?
False
Suppose 4*g = -12 - 4. Let u be g/12 + 298/(-6). Let j = u + 72. Does 11 divide j?
True
Let n(v) = 2*v**2 + v - 1. Suppose 5*l + 1 = -14. Does 4 divide n(l)?
False
Let q(g) = g**3 - 3*g**2 - 3*g - 1. Let y be q(4). Suppose -j - 64 = -y*j. Is j a multiple of 8?
True
Let p = 42 - 29. Is 2 a factor of p?
False
Let b(j) = 9*j + 16. Is b(26) a multiple of 25?
True
Let j(s) = -9*s + 3. Suppose -b + 5*w = -4*b + 11, -8 = -2*b - 4*w. Suppose 0 = b*g + 3*v - 1 + 13, g + 3*v + 9 = 0. Is j(g) a multiple of 11?
False
Suppose -182 + 3 = -u - 3*g, -5*u - 2*g + 934 = 0. Is 23 a factor of u?
False
Suppose 5*f + 53 = -32. Let s = 4 - f. Is s a multiple of 21?
True
Let m(n) be the first derivative of -n**2/2 + 8*n - 2. Let s be m(5). Suppose -s*c + 65 = 5. Does 10 divide c?
True
Suppose 2*n - 5 = 71. Does 8 divide n?
False
Is (-200)/(-34) - 10/(-85) a multiple of 6?
True
Let f(q) = -q**2 + 17*q + 14. Is 14 a factor of f(10)?
True
Suppose 4*d - 3*d - 11 = 0. Is 5 a factor of d?
False
Suppose -5*y + 8 = 23, -4*y - 21 = -3*g. Suppose -4*z + g*l = 241, 3*l = z + l + 59. Let c = -26 - z. Is 13 a factor of c?
False
Suppose 0*a - 3*o = -5*a - 2, -3*a = 5*o - 26. Suppose -4*i + 234 = a*b, 3*b + 2*b = 3*i - 156. Does 19 divide i?
True
Suppose -2*k = -118 - 34. Does 18 divide k?
False
Suppose x - 5*n = 64, -x + 2*n + 24 = 5*n. Is x a multiple of 4?
False
Suppose -5*n + 11 = -4*v, 3*v + 4 = -2*n - 10. Let t be 4 - (3 + 15 - -2). Is 6 a factor of t/(3 + 4/n)?
False
Let y = -38 - -74. Is 18 a factor of y?
True
Let t(z) = 5*z**2 + 8*z + 1. Is t(6) a multiple of 12?
False
Let b(n) = -3*n - 5. Let x be b(-2). Let z(s) = 23*s - 2. Is z(x) a multiple of 6?
False
Suppose f = -0 + 2. Suppose f*r - 11 = r. Does 9 divide r?
False
Suppose 414 = -12*p + 1170. Does 21 divide p?
True
Let v be (-4)/6 - 8/6. Let f(g) = g**3 + 3*g**2 + 3*g + 1. Let s be f(v). Is (-21)/s*1 + 3 a multiple of 12?
True
Let p be 2/(-6) - (-38)/6. Let z(o) = o**3 - 5*o**2 - 5*o. Does 6 divide z(p)?
True
Let w be 11/2 + (-1)/(-2). Suppose 4*j - w = j. Suppose q + 37 = j*q. Is 18 a factor of q?
False
Suppose -5*h + 963 - 88 = 0. Is 20 a factor of h?
False
Let k(b) be the third derivative of b**5/40 - b**4/3 + b**3/6 - b**2. Let t(f) be the first derivative of k(f). Does 15 divide t(10)?
False
Let h = -5 + 2. Suppose -5*a - 392 = -2*p, a - 4*p + 81 = -p. Does 12 divide h + a/(-3) + 1?
True
Let s(x) = x**2 - 13*x - 5. Let w be s(13). Let j = 19 - w. Is j a multiple of 12?
True
Let o(v) = -28*v + 12. Does 41 divide o(-3)?
False
Suppose 5*n = c + 306 + 324, -n = 5*c - 126. Does 9 divide n?
True
Let y(r) = -3*r + 9. Does 10 divide y(-7)?
True
Let n be (-2)/8 - (-68)/16. Suppose 121 = n*a -