 20 = -4*f. Let u = l + 79. Is u a multiple of 12?
True
Suppose 5*l - 116 = m + 3*m, -3 = -3*m. Let y = -11 + l. Does 4 divide y?
False
Let h be -4*(1/(-5) - (-11)/(-20)). Suppose -2*g = -2*x + 16, -x - g + h = 3*g. Is x a multiple of 3?
False
Suppose 7*j - 57 = 237. Let o = j + -17. Is 13 a factor of o?
False
Suppose 76*x = 28*x + 41184. Is x a multiple of 66?
True
Let i = -290 + 415. Let o = 217 - i. Is 6 a factor of o?
False
Suppose -z - 3*h + 0 = -5, 4*z + 2*h - 10 = 0. Suppose -3*s + 110 = z*v - s, -3*v + s = -181. Is 20 a factor of v?
False
Let i = 0 - -4. Suppose 8*p - 4*p = -12, x + i*p = 12. Suppose -4*y - 2*q = -65 + 17, 5*q + x = 2*y. Does 4 divide y?
True
Let j be ((-38)/3)/((-4)/18). Suppose 3*d = u - j, -2*u + d + 195 = 2*u. Is u a multiple of 12?
True
Does 15 divide 9/(-1)*(11360/(-48) - -11)?
False
Let z(o) = -6 + 0 - 2*o + o**2 - 6*o. Does 63 divide z(24)?
True
Suppose 9*v = -221 + 1148. Does 7 divide v?
False
Suppose 0*v - 3*v + 4*w = -35, v - 16 = -3*w. Does 5 divide v?
False
Let g be (0 + 3/(-2))*(-16)/6. Suppose s + 3*u = 34, g*s - 22 - 81 = -u. Is 25 a factor of s?
True
Let q be 1 + (2 + 1)*4/6. Suppose -q*u + 438 = 3*u. Does 9 divide u?
False
Let v = 17 + -3. Suppose 4*l = 20, 3*f - 5*l + 93 = 5*f. Let c = f - v. Is 7 a factor of c?
False
Let z(y) = y**3 - y**2 + 1. Let p(c) = 3*c**3 + 7*c - 3. Let k(m) = p(m) - 4*z(m). Let l be k(5). Suppose -12 = l*a, -4 = -4*t - 4*a + 180. Does 10 divide t?
True
Suppose -2*z = -4, -p - 4*p - 5*z = -10. Suppose p*k = 2*k - 250. Does 25 divide k?
True
Suppose 0 = -z - 1, 5*p + 2*z - 183 = -40. Suppose -5*k + 4 = p, 4*k + 780 = 5*i. Does 35 divide i?
False
Let j = -9 - -13. Let a be -42 - 7/((-14)/j). Is (-24)/a + 82/5 a multiple of 13?
False
Suppose -5*s - 11*s + 768 = 0. Let f(h) = -h**3 + 4*h**2 + 5*h + 1. Let j be f(5). Does 7 divide s*(j + 1/(-2))?
False
Suppose 4*z - c = c + 270, 4*z - 269 = 3*c. Is 5 a factor of -85*(z/20 + -4)?
False
Let w be 2/(-1)*6/2. Let r(h) = 2*h**2 + h - 19. Is r(w) a multiple of 15?
False
Let f = -26 - -32. Suppose f = 2*d + 4*d. Is 13 a factor of d - 7/(14/(-108))?
False
Let z(d) = -22*d + 544. Is z(0) a multiple of 40?
False
Suppose k - 23 = 50. Suppose 5*r = -5*u - 124 - 11, 3*r - 69 = 3*u. Let a = u + k. Is a a multiple of 17?
False
Let i be ((-96)/60)/((-4)/10). Suppose i*q = 3*q. Suppose 2*x - 48 = -q*x. Does 22 divide x?
False
Let g(a) = -3*a**2 + 51*a - 58. Does 5 divide g(14)?
False
Suppose 0 = 7*c + 839 - 6999. Is c a multiple of 24?
False
Let m = 187 - 504. Let q = 189 + m. Is (q/12 - 1)*-3 a multiple of 14?
False
Let b(h) = -2*h**2 + 5*h - 3. Let v be b(2). Let f(a) = -68*a**3 - 2*a - 1. Is 10 a factor of f(v)?
False
Let a(f) = -f**2 + 17*f - 5. Let q be a(17). Let y = 22 + q. Is y even?
False
Let a be (-54)/(-14) + (-2)/(-14). Let k be a + (4 + -3)/(-1). Suppose 4*o = -3*f + 101, -f = 2*f + k. Is o a multiple of 12?
False
Let q = 218 + -209. Let t(w) = 6*w. Let x be t(5). Let o = x - q. Does 5 divide o?
False
Suppose 0 = -4*z - 4*s + 8, -2*z - 2*s = -z - 1. Let g(q) = 2*q + 7. Is g(z) a multiple of 6?
False
Let b(j) = j**2 + j + 367. Does 15 divide b(0)?
False
Let r be (-33)/9 + (-6)/18. Let v(y) = -3*y**3 - 8*y**2 + y - 8. Does 13 divide v(r)?
True
Let s(l) = -l + 138. Is 4 a factor of s(-9)?
False
Suppose 2*p - 5*t = -0*p + 9, -2*t = -4*p + 10. Suppose -p*c + 126 = c. Is c a multiple of 6?
True
Let m(b) = b**3 + 20*b**2 + 51*b - 43. Let k be m(-16). Let x be 2/4 - 5/2. Does 9 divide x*(k/(-2))/5?
False
Let a be 10*1 - 0/(-7). Is (a/15)/((-1)/204*-2) a multiple of 17?
True
Let q = -3160 + 5890. Is 65 a factor of q?
True
Let x(y) = y**3 - 19*y**2 + 16*y - 49. Is x(19) a multiple of 7?
False
Let b(w) = -5*w**2 - w + w**2 - 2 + 2*w**3 + 5*w. Let h = 135 + -131. Does 26 divide b(h)?
True
Let z(f) = -f**2 + 77*f - 138. Is 33 a factor of z(29)?
True
Suppose 2*z = -3*j - 23 + 3, -5*z = -10. Let w = 12 + j. Suppose -w*f + 108 = 20. Is f a multiple of 11?
True
Suppose -4*y = -1878 - 902. Is 4 a factor of y?
False
Let g(j) = 11*j + 1. Let t be g(-6). Is 11 a factor of (-222)/(-10) + 13/t?
True
Let t(v) = 30*v**3 + v**2 - 2*v - 2. Let q be t(-1). Let h = q + 49. Does 5 divide h?
True
Does 20 divide 26816/8 + (3 - 15)?
True
Suppose -19*c + 16*c + 6 = 0. Is 11 a factor of 5 + -17*(c + -3)?
True
Suppose -3*p = -8*d + 3*d - 286, 3*d = -4*p + 391. Is 3 a factor of p?
False
Let y = -80 + 210. Is y a multiple of 47?
False
Let d = -16 - -47. Suppose -d = 3*w - 4. Does 4 divide (-1 - 1/3)*w?
True
Does 4 divide 107/7 + (-8)/28?
False
Suppose 158*k + 118 = 160*k. Is k a multiple of 7?
False
Let d = 93 - 158. Let j = d - -97. Does 16 divide j?
True
Suppose 5*s + 0*y + 4*y - 868 = 0, s = -5*y + 182. Is 25 a factor of s?
False
Suppose -3*d = -4*l - 541, -2*d + 3*l = 6*l - 389. Let p = 303 - d. Does 29 divide p?
True
Suppose 0 = -3*t + x + 119, 3*t + 0*x - 135 = -3*x. Suppose -t = -2*v + 3. Is v a multiple of 11?
True
Suppose -67 = -5*t - i, 3*i = -2*t + 6*t - 65. Let n = -18 + t. Let o(a) = -4*a. Is 12 a factor of o(n)?
False
Suppose -120*u + 45*u + 66375 = 0. Is u a multiple of 75?
False
Let l(d) = d + 27. Let j be l(-15). Suppose j*n - 11*n = 23. Is n a multiple of 5?
False
Does 57 divide 1486 - (-1 - 10/(-2))?
True
Let d = 2723 + -2227. Is 22 a factor of d?
False
Suppose -1468 = 2*w - 2102. Is 23 a factor of w?
False
Let m(p) = -6*p**2 - 177*p - 61. Is m(-26) a multiple of 5?
True
Let d = 1516 + -981. Is 5 a factor of d?
True
Let f = -105 - -193. Does 28 divide f?
False
Suppose 15*p = -15*p + 14220. Is p a multiple of 56?
False
Let q = -19 - -35. Let p be 3 - ((-4)/2 + 0). Suppose -q = -p*d + d. Is 2 a factor of d?
True
Suppose 9*f - 1372 = 1319. Does 13 divide f?
True
Suppose -3*b + l + 459 = -0*b, 612 = 4*b + 5*l. Suppose a = 4*a - b. Does 8 divide (-5)/(2 + a/(-24))?
True
Suppose 875 = -744*t + 749*t. Is 2 a factor of t?
False
Suppose 0 = -5*m - 4*a + 47, 3*a = 4*m + m - 26. Suppose -864 = -m*g - 2*g. Does 23 divide g?
False
Suppose -3*f - 9 = 15. Let l(z) = z + 10. Let v be l(f). Let o(r) = 23*r - 3. Is o(v) a multiple of 22?
False
Let v(z) = 6*z. Let o(y) = -2*y - 4. Let f be o(-4). Suppose k - 5 = -a - f*a, -2*a - 5*k + 2 = 0. Is v(a) a multiple of 6?
True
Suppose 4*t = 2 - 222. Let b be (-4)/(-10)*t/(-22). Does 9 divide (0 - -9)/(b/1)?
True
Suppose c - 27 = 5*h, 0 = 2*c - 0*c + h - 21. Suppose -3*v - c = -3*m - v, m - 2*v - 8 = 0. Suppose -3*l + 88 = 2*o, -o = m*l - 44 + 2. Does 12 divide o?
False
Suppose -30 = 3*j - 3*i, j - i - 4 = 2*j. Let d = 12 + j. Is d even?
False
Let k = 40 - 35. Suppose k*b - 28 - 77 = 0. Is b a multiple of 7?
True
Suppose -5*h + 2670 = -o + 6*o, 4*h - 16 = 0. Does 53 divide o?
True
Let n(o) = o**3 + 9*o**2 + 10*o + 8. Let g be n(-8). Let k(h) = h**2 + 9*h + 12. Let a be k(g). Let l = 68 + a. Is 24 a factor of l?
True
Suppose 0 = -2*t + q - 5*q + 24, 2*t + 2*q = 18. Suppose r = -2*d + t*r + 254, 635 = 5*d + 3*r. Suppose 27 = -5*j + d. Is j a multiple of 4?
True
Let b(l) = l**2 + l - 2. Let v be b(-3). Let h = v + 0. Suppose 0 = 3*o - t - 101, h*o - 3*t + 7*t - 124 = 0. Does 11 divide o?
True
Suppose 4*x = 3*x + 242. Let o = 342 - x. Suppose -4*k = -0*k - o. Is 6 a factor of k?
False
Suppose 2*o + 3 - 1 = 0. Is 7 a factor of ((-290)/(-50))/(o/(-5))?
False
Let s(d) = -d**3 + 14*d**2 + 39*d + 12. Let f(i) = -i**3 - 12*i**2 + 13*i + 16. Let n be f(-13). Is 24 a factor of s(n)?
False
Let a = -81 - -106. Does 25 divide a?
True
Suppose 2*k = 4*u + 16, -14 = -3*k - 3*u + 1. Let t be (-2)/k + (-7)/(-3). Is (-1 - t)/(3 - 4) even?
False
Let b(y) = -6*y + y + 2*y - 11. Is 4 a factor of b(-5)?
True
Suppose 0 = -5*l + 5*s + 1112 + 1433, 2*l - 5*s = 1027. Is 30 a factor of l?
False
Let k(t) = 5*t**2 - t - 1. Let d be k(2). Let j = d - -10. Suppose 4*r - j = 3*r. Is r a multiple of 9?
True
Let g = 12 - 18. Let v = g - -10. Suppose 2*h - 76 = -4*z, 163 - 65 = 5*z + v*h. Does 10 divide z?
False
Let i(f) = -f**3 + 11*f**2 - 14*f - 17. Is i(8) a multiple of 21?
True
Let n(y) = -y**2 + 6*y - 2. Suppose 0 = -5*c + 42 - 22. Does 3 divide n(c)?
True
Let l(f) = 8*f**3 - 2*f**2 - 5*f + 37. Is 5 a factor of l(3)?
True
Let d(u) be the first derivative of u**4/2 + u**3/3 + 3*u**2/2 + 12. Is d(3) a multiple of 18?
True
Is 70/(-25) + 2 - 2534/(-5) a multip