*l. Let g = d - -272. Is 21 a factor of g?
True
Suppose 3*k + 50 = h, -k + 2 = 1. Let n = 180 - 72. Suppose -2*g + 4*a - a = -n, h = g - a. Does 17 divide g?
True
Let i(j) = 28*j - 12. Does 14 divide i(2)?
False
Let v(u) = -3*u + 3. Suppose 25 = -2*t + 7*t. Suppose -2*z - 4 = z + 5*f, -5*f + t = 0. Does 4 divide v(z)?
True
Let y = -38 + 8. Let k = -2 + 5. Is 2 a factor of 10/y - (-22)/k?
False
Let l(h) be the third derivative of 0*h + 4/3*h**3 + h**2 + 0 - 1/8*h**4. Is l(-14) a multiple of 10?
True
Let f = 94 - -3. Suppose -f - 83 = 5*h. Let d = -5 - h. Is d a multiple of 31?
True
Suppose -5*r + 3*r = -6. Suppose 2*j - 5*a = -r + 23, -4*a = -4*j + 40. Does 5 divide j?
True
Suppose s = -0*s - 5*q - 13, -2*q + 4 = 5*s. Suppose -s*z - 100 = -4*z. Is 18 a factor of z?
False
Suppose 2 = 2*x, x - 3651 = -13*m + 8*m. Is m a multiple of 5?
True
Suppose 562 = 4*r + 3*n, -29*r + 436 = -26*r - 5*n. Is r a multiple of 21?
False
Suppose 3*x = 5*b - 25, 4*b - 3*x - 28 = x. Let r(q) = 18*q**2 - 2*q - 1. Is 18 a factor of r(b)?
False
Is (41 - -7)*(0 + 61) a multiple of 48?
True
Suppose 1638 = 333*y - 326*y. Is y a multiple of 78?
True
Let m(q) = -26*q**2 + 2*q + 2. Let p be m(-2). Let v = -80 - p. Is v a multiple of 4?
False
Suppose 5*p - 22 = 6*p. Let f = 27 + p. Suppose -409 = -5*a + m, 3*a + 0*m = f*m + 263. Is 27 a factor of a?
True
Suppose -2*t - 2*k + 1378 + 3244 = 0, 5*t - 5*k = 11545. Is t a multiple of 77?
True
Suppose -3*z + 8 = 20. Is 46 a factor of 228 - (z + 6 - 0)?
False
Suppose 6 = -i + 73. Let p = i + 2. Suppose 0 = 3*u - 3*v - 69 - p, -4*v - 16 = 0. Is u a multiple of 21?
True
Let k(i) = 13*i**2 + 2*i - 1. Let n be k(-4). Suppose o - 2 = 0, -3*h - 2*o + n = 2*h. Is h a multiple of 23?
False
Suppose 0 = -2*k + 4*x - 26, 2*k + 11 + 0 = -x. Let a = k - -10. Suppose -a*v = 2*v - 30. Does 6 divide v?
True
Suppose 0 = 2*l + 3*i - 249 - 86, 5*l - i - 846 = 0. Does 21 divide l?
False
Suppose 4*w + 5*u = -21, -4*w + 4*u + 17 - 65 = 0. Does 11 divide w/(-6)*2 + 107?
True
Suppose -5*w - 25 = 0, 0*c - 5*w + 558 = c. Does 53 divide c?
True
Let l be 99/22 - (-2 - 6/(-4)). Suppose -4*m = l*m - 72. Is m even?
True
Let u = 95 - 42. Suppose l + 4*g - u = 0, l + g - 227 = -4*l. Is l a multiple of 9?
True
Let p(b) be the first derivative of -b**4/4 - 3*b**3 + 5*b**2 - b + 5. Let v be p(-10). Is -1*(-3 - v - 5) a multiple of 3?
False
Suppose 0 = -16*w - 3117 + 11821. Is 17 a factor of w?
True
Suppose 0 = -16*d + 17*d - 5. Suppose 3*n + 5 = 2, -d*r + 5*n + 60 = 0. Does 4 divide r?
False
Suppose 0 = -p - 33 + 28, 3*t - 158 = p. Is 2 a factor of t?
False
Suppose 13*s - 17504 = -4829. Is 21 a factor of s?
False
Let c = -269 + 435. Is 33 a factor of c?
False
Let m(y) = -2*y + 12. Let t = -11 + 6. Is 4 a factor of m(t)?
False
Let p(d) be the third derivative of 5*d**4/4 + 5*d**3/2 + 7*d**2. Is 10 a factor of p(4)?
False
Let o = 366 + 1614. Is o a multiple of 18?
True
Suppose 213*z = 248*z - 78750. Is 50 a factor of z?
True
Suppose 26*c - 136 = -3*p + 24*c, 0 = -p - c + 45. Is 4 a factor of p?
False
Suppose -w - 4*t + 77 = -0*w, 0 = 2*w + 2*t - 124. Suppose -5*b = -3*z + 112, -16 - w = -2*z + 5*b. Suppose i + 2*i = z. Is 4 a factor of i?
False
Let h(k) = -k**3 + 9*k**2 + k - 6. Let z be h(9). Suppose 10 = 5*f, -5*a + 6*a - z*f = 71. Is a a multiple of 11?
True
Suppose 4*i - 40 = 8. Is (-20 - -2)*i/(-18) a multiple of 4?
True
Let s be (-684)/(-42)*-1*14/(-2). Suppose k - 3*k + s = 2*n, -5*k = -n - 303. Is k a multiple of 5?
True
Let g(x) = x**3 + 3*x**2 - x + 5. Let k be g(0). Suppose -3*u = 3*l + 2*u - 109, 4*u + 80 = 2*l. Let w = l - k. Does 7 divide w?
False
Let j(f) = 7*f - 24. Let c(k) = -2*k**2 + 10*k + 24. Let t be c(6). Is 5 a factor of j(t)?
True
Does 2 divide 4582/42 - (-14)/(-147)?
False
Let l be (-1)/3*0 + -17 + 2. Is ((-35)/l)/(1/36) a multiple of 15?
False
Let s = -1008 + 1956. Is s a multiple of 79?
True
Let u(i) = -3*i + 1. Let z(n) = -2*n + 7. Let p be z(7). Let l be u(p). Suppose -2*o + 78 = -f, -2*f - 17 = -o + l. Does 13 divide o?
True
Suppose -3*n = -3*w + 639, 5*n - 8*n = 4*w - 873. Suppose 0 = 3*j - w + 45. Is j a multiple of 57?
True
Let p(c) = -3*c + 6. Let s be p(1). Suppose -s*y + 342 = 2*n, -y = 4*y + 3*n - 571. Is 58 a factor of y?
True
Does 34 divide (-300)/(-1050) + 11520/7 + 1?
False
Let d(x) = -6 + 12*x + x**2 + 4 + 2. Let a be d(-10). Is a*((-20)/8 - -1) a multiple of 17?
False
Suppose 40*q = 728 + 1512. Is 4 a factor of q?
True
Suppose 1807 = 2*x - 1493. Is 5 a factor of x/77 + 3/(-7)?
False
Let u(v) = 26*v + 84. Does 78 divide u(16)?
False
Suppose 1 + 2 = -l, 24 = 3*o - 5*l. Suppose -4*b - o*q + 2*q = -237, 0 = -5*b - q + 295. Suppose 3*w - 120 = -3*t, 3*t + 2*w - 183 = -b. Is 15 a factor of t?
True
Let k be 6/3 + -52 + 1 + 1. Let p = -36 - k. Does 12 divide p?
True
Let m(f) = f + 130. Suppose 5*t + c - 7 = -3, -5*t - 8 = -2*c. Is 5 a factor of m(t)?
True
Suppose 73*j - 87*j + 30856 = 0. Is j a multiple of 25?
False
Does 26 divide 9318/15*5*7/14?
False
Suppose 36*x - 14546 = 18214. Is x a multiple of 16?
False
Is ((-4)/3)/(80/(-13560)) a multiple of 19?
False
Let t be (-4085)/(-30) - (-2)/(-12). Suppose n - 8 = -3*n, 3*c - t = n. Is c a multiple of 11?
False
Let z(k) = -3*k. Let m be z(0). Suppose -x - x + 56 = m. Does 4 divide x?
True
Let h(q) = 97*q**3 - 2*q**2 - q. Let y be h(-1). Let t = y + 145. Is 6 a factor of t?
False
Let z be (-3 - 44/(-16))*-8. Let s be z*(3 - (1 + 1)). Suppose -5*i + 365 = -5*j, 0 = s*j - 4*j + 8. Is i a multiple of 13?
False
Let i(a) = -3*a**2 + 53*a - 18. Is 4 a factor of i(16)?
False
Let t(d) = -20*d + 2. Let z be t(-14). Suppose 0 = 7*m - m + z. Let h = m - -87. Does 10 divide h?
True
Suppose -4*s - s + 2660 = 0. Suppose 116 = 4*p - s. Is p a multiple of 62?
False
Let o(d) = 2*d**2 - 13*d + 9. Let l be o(6). Suppose 2*j + 3*j - 5*w = 30, 0 = -5*j - 4*w - 15. Suppose 0 = l*y - 8 - j. Does 2 divide y?
False
Let i = 393 - 222. Is 19 a factor of i?
True
Suppose -7*g - 4018 + 9793 = 0. Does 7 divide g?
False
Let v(p) = 35*p - 168. Is 6 a factor of v(6)?
True
Suppose -546 = -23*j + 22*j - k, 2*k = 5*j - 2695. Is 24 a factor of j?
False
Suppose 2*z - 4 = 2*f, -5*z + 10 + 12 = f. Suppose -z*o = -4*t + 72, -3*o = -8*o + 4*t - 88. Is 21 a factor of (-120)/o*56/5?
True
Suppose 17*l + 436 = 6046. Is 33 a factor of l?
True
Is 0/(10 - 4 - 5) + 609 a multiple of 7?
True
Suppose 1 = -2*k - 1. Let q be (2 + k - 0)*-1. Let h = 20 + q. Does 7 divide h?
False
Let s(h) = -h - 9. Let w be s(-7). Let z be 30/w*(-6)/15. Suppose 75 = 3*p - z*u + 3*u, 5*p - 3*u - 131 = 0. Is 14 a factor of p?
True
Suppose 4*r = -4*k + 3 - 7, -17 = 2*k - 3*r. Let l(u) = -u**3 - u**2 + 3*u - 2. Let z be l(k). Let x = 49 - z. Is 15 a factor of x?
True
Let f = 10 - 2. Does 13 divide (-78)/f*(19 - 23)?
True
Suppose 4*k + 24 = 5*v, -v + 14 = 3*v + 2*k. Let p be 0*v*(-4)/(-16). Is 10 a factor of 9 + p + (3 - 2)?
True
Let j = -1305 + 2503. Is 55 a factor of j?
False
Let k = -289 + 343. Is k even?
True
Does 6 divide 3/12 + (1923/4 - 3)?
False
Suppose 27 + 4 = -3*c - 5*r, 4*c + 13 = -r. Let i(u) = 2 + 1484*u - 2954*u + 1429*u. Is i(c) a multiple of 16?
False
Let u = -6 - 2. Let y be 0/u - (-1 - 24). Suppose 0 = 3*k + 1 - y. Is k even?
True
Let u be 1 + -1 - (-41 + 41). Suppose 4*i + 2*v = -58 + 252, -2*i - 2*v = -98. Suppose u = a + 2*a - i. Is 14 a factor of a?
False
Let f be (4*1 + 105/(-28))*0. Is (40 - f)/(6/(10 + -4)) a multiple of 5?
True
Let a be 3/(33/2) + (-7506)/(-99). Suppose 35 = 2*h + v - 29, -2*h + 5*v = -a. Does 3 divide h?
True
Let s(x) = 1. Let t(p) = p - 14. Let m(l) = -5*s(l) - t(l). Let j be m(9). Suppose w + j*h = -3*h + 29, 0 = -w + 3*h + 11. Is 10 a factor of w?
True
Let a(i) = 3 - 2*i - 5 + 16*i. Let z(s) = 14*s - 1. Let b(m) = 3*a(m) - 2*z(m). Is b(5) a multiple of 15?
False
Suppose c = 4*c - 6. Let l(i) = 2*i**2 - 2*i. Let u be l(c). Is 11 a factor of u/6*(4 - -14)?
False
Is 5 a factor of 3500/16 - 5/(-4)?
True
Suppose -3*d + 3 = -12. Suppose 136 = -22*p + 26. Is (-86)/p + (-1)/d a multiple of 17?
True
Let g(k) = -k**3 + 6*k**2 + 6*k + 10. Let w be g(7). Suppose -w*y + 65 = 8. Is 9 a factor of y?
False
Does 18 divide 632 + (-8 - 5) - -11?
True
Let v be (1*-1)/((-23)/(-1403)). Let i = v - -97. Is i a multiple of 6?
True
Let s(