11 divide l?
True
Let j = 3 + 17. Is j a multiple of 10?
True
Let m(r) = r**2 - 9*r + 10. Let s(v) = -5*v + 2. Let i(c) = 21*c - 8. Let w(f) = 2*i(f) + 9*s(f). Let b be w(-3). Is 12 a factor of m(b)?
False
Suppose -3*p + 50 = 2*b, 5*b + 2*p - 87 = 16. Is 3 a factor of b?
False
Suppose 2*o + 3*p = 2, -p = -5*o - 5*p + 12. Suppose 0 = q + 1 + 4, -o*q = -4*a + 84. Is a a multiple of 5?
False
Suppose -35 - 49 = 2*p. Let a be ((-1)/3)/(2/p). Suppose 4*g = -4*x + a + 25, 0 = 3*x. Is g a multiple of 4?
True
Let x = -19 - -22. Is 2 a factor of x?
False
Suppose -q - 74 = q. Let l = 55 + q. Is 3 a factor of l?
True
Let l(q) = q**3 + 12*q**2 - q - 8. Let f be l(-12). Suppose -f*h = -h - 282. Does 26 divide h?
False
Let t(s) = -s**3 - 6*s**2 + 6*s - 5. Let h be t(-7). Suppose 6 = -h*u + 4*u. Does 3 divide u?
True
Let o(x) = 15*x**2 - 3*x - 4. Let j be o(-3). Suppose -i - j = -6*i. Is 28 a factor of i?
True
Let y(b) = -b**3 + 14*b**2 - 24*b - 11. Is 21 a factor of y(11)?
False
Is (32/3)/(22/99) a multiple of 12?
True
Let a(h) = h**3 + 6*h**2 - 2*h + 6. Does 10 divide a(-4)?
False
Suppose 3*f = 3, -f - f - 120 = -2*n. Is 11 a factor of n?
False
Let a = 8 - -2. Is a a multiple of 6?
False
Let k(j) = 2*j**2 + 6*j - 2. Let c be (-24)/4 + (-2)/(-1). Let v = c + -1. Is 13 a factor of k(v)?
False
Suppose 0 = 20*v - 23*v + 582. Is v a multiple of 15?
False
Suppose -70*x = -75*x + 280. Does 28 divide x?
True
Suppose 0 = 3*l - 6*l. Suppose 7*h - 3*h = l. Suppose n - 4*a = 20, h = 2*a - a - 3. Is n a multiple of 16?
True
Let w = 54 + -35. Does 9 divide w?
False
Is 40 + -23 + (1 - 5) a multiple of 4?
False
Suppose 4*z - z = 543. Is 24 a factor of z?
False
Suppose -5*y + 28 = 8. Suppose 4*q + 4 = 4*g, -y*q + 3*g + 2*g - 2 = 0. Is 15 + (-3)/q + 2 a multiple of 9?
True
Suppose 2*z - 290 = -116. Suppose 0 = -4*c + 5*r - z, 4*c + 3*r + 62 = -33. Let g = 32 + c. Is g a multiple of 9?
True
Suppose -2*i = -0*i - j - 108, -5*j = -5*i + 265. Suppose 4*y - i = 5. Is 13 a factor of y?
False
Let f(r) = r**3 + 9*r**2 - r + 1. Let a be f(-7). Suppose -2*k = i - 3*i + a, 0 = 4*i - k - 206. Is 21 a factor of i?
False
Let s be (36/10)/(5/25). Does 9 divide (-1 + s)*1 - 0?
False
Let t(k) = -k**3 + 6*k**2 + k + 6. Suppose 2*h + 15 = 3*h - 5*d, 0 = -d - 2. Let l be t(h). Suppose -n + 0*n = -l. Does 18 divide n?
True
Let l(d) be the first derivative of -d**3/3 - d**2/2 + 4*d + 2. Let z be l(0). Suppose c = z + 7. Is 11 a factor of c?
True
Suppose 5*k + 2*q - 16 = 0, -5*k + 6 = -2*q + 2. Suppose 3*r = 5*r + 5*v + k, -4 = 2*v. Suppose -2 - 14 = m - 5*a, 5*a - 36 = -r*m. Does 2 divide m?
True
Let a be (13 - 1)/(-3) + 0. Let x = -2 - a. Suppose x*h - 8 - 6 = 0. Does 7 divide h?
True
Let m be 50/18 - 4/(-18). Let k(s) = -m - 1 + s + 16. Is 2 a factor of k(-10)?
True
Suppose 0 = 4*b - 2*k + 4*k + 14, b - 4*k - 10 = 0. Is 3 a factor of 2*(1/b - -2)?
True
Let v(c) = -c - 6. Let b be v(6). Does 13 divide (-2)/b + 154/12?
True
Let v = 8 - -10. Suppose 3*i = -3 + v. Suppose i*f - 46 - 74 = 0. Is f a multiple of 12?
True
Let l(r) = r**3 - 8*r**2 - 8*r - 6. Let t be l(9). Suppose -s + 0*i - 42 = -i, t = 3*i. Let h = s + 75. Does 13 divide h?
False
Suppose 0 = 2*l - 10, 6*n - l = n + 5. Suppose 28 = n*r - r - 2*k, 2*r = -4*k + 40. Does 7 divide r?
False
Let x(y) = -y**3 - 4*y**2 + 8*y + 5. Let d = -6 + 0. Is 16 a factor of x(d)?
False
Let s(l) = -4 + 3*l - 2*l**2 + 4 + 2*l**3. Does 6 divide s(2)?
False
Let f(v) = v**2 + 5*v + 0 + 0*v**2 - 4. Suppose 2*o = -2*o - 28. Does 10 divide f(o)?
True
Suppose -6 + 33 = 3*z. Is z a multiple of 3?
True
Suppose 6*g - g = 200. Is 1 - (-1 - (0 + g)) a multiple of 21?
True
Suppose 2*z = -2*z + 16. Suppose 3*i + 1050 = 9*i. Suppose 4*f - h - i = -2*h, -4*f + z*h = -200. Does 12 divide f?
False
Is 13 a factor of (1 + (1 - 0))*(-1352)/(-16)?
True
Let p = -160 + 274. Does 19 divide p?
True
Is 1 + 55/5*1 a multiple of 3?
True
Suppose 3*s + 34 - 4 = 0. Let q be (s/4)/(1/(-2)). Suppose -5*l + 10 + q = 0. Does 3 divide l?
True
Suppose 5*r + 22 = x + 66, 2 = 2*x. Is r a multiple of 9?
True
Let p = -7 - 1. Let t = -3 - p. Is 5 a factor of t?
True
Let p(o) = 4*o**3 + 6*o**2 + 2. Let d = 3 + -8. Let m be p(d). Is 10 a factor of m/(-16) + 2/8?
False
Let n = -49 + 89. Is 8 a factor of n?
True
Let z(t) = -3*t**3 - 2*t**2 + 2*t. Suppose 2 + 2 = -2*u. Is 4 a factor of z(u)?
True
Suppose 10 = -3*l - 17. Does 11 divide (-525)/l + (-5)/15?
False
Let t = -9 + 17. Let x = t + -3. Suppose -10 - 60 = -x*q. Is 9 a factor of q?
False
Let l(t) = -t**3 - 5*t**2 - 4*t + 6. Let n(a) = -a**3 - a + 7 + 0*a - 5*a - 7*a**2 + 2*a. Let z be n(-6). Is 13 a factor of l(z)?
True
Suppose 227 + 88 = 3*f. Does 35 divide f?
True
Let h = -34 + 22. Does 8 divide (0 + -48)/(h/8)?
True
Let z = -5 + 15. Is 10 a factor of z?
True
Let w(u) = -u**2 + 9*u - 7. Let g be w(7). Suppose -g + 44 = h. Let b = 71 - h. Does 17 divide b?
True
Let u(h) = -5*h - 1. Let o be u(-1). Suppose y - o*y = -57. Does 8 divide y?
False
Let s(x) = x**3 - 7*x**2 - x + 12. Let i be s(7). Suppose 0*d + 2*d - 4 = 0. Suppose -27 - 24 = -d*t - i*z, 5*z + 18 = t. Does 9 divide t?
False
Let c = 264 + -86. Is c a multiple of 14?
False
Is -3*((-1144)/102 - 16/136) a multiple of 17?
True
Suppose 2*w - 7 - 3 = 0. Suppose -5*m - w*c = 0, -c + 2 = -3*m - 3*c. Is (20/(-25))/(m/70) a multiple of 14?
True
Suppose 4*p - 81 = 55. Does 17 divide p?
True
Suppose 150 = 3*q - 171. Suppose 2*g - 3*g = -1, 4*k = 5*g + q. Is 18 a factor of k?
False
Does 16 divide (-10458)/(-105) + (-3)/(15/(-2))?
False
Let o be 1*(-1)/3*3. Let n(d) = -60*d. Is 20 a factor of n(o)?
True
Suppose -110 = 2*k - 4*g, -2*k - 3*k - 2*g = 251. Let u = -31 - k. Is 5 a factor of u?
True
Let r = -35 - -21. Is 8 a factor of (-4)/r - (-220)/14?
True
Let a = 5 + 13. Does 5 divide (-32)/(-8)*a/8?
False
Let i(j) be the first derivative of -j**2 + 1. Let b be i(-1). Does 19 divide (0 - b)/(2/(-55))?
False
Is 2/(-7) + (-1032)/(-84) a multiple of 6?
True
Let o be 8*(-2 + (9 - -1)). Suppose m + 3*m - o = 0. Suppose 0 = 2*t + m - 44. Does 14 divide t?
True
Let z be (0/3)/(2/2). Suppose -4*t + 220 = 4*a, a = 5 - z. Is t a multiple of 13?
False
Suppose 7 = 4*o - 2*z + 3*z, -o = -z - 3. Let k be (-4)/(-8) + (-29)/o. Let v = k + 21. Does 4 divide v?
False
Suppose 35 = 3*s + 5. Is s a multiple of 4?
False
Suppose -267 + 723 = 3*p. Is 25 a factor of p?
False
Let x(b) = -b**3 - 9*b**2 - b + 5. Let y(r) = 10*r + 1. Let l be y(-1). Is x(l) a multiple of 7?
True
Suppose 0 = -4*x + 216 - 24. Is 16 a factor of x?
True
Suppose -3*y + 0 = -9. Let c = y + 1. Does 3 divide c?
False
Let c = 2 - 0. Is 21 + (-2 - (1 - c)) a multiple of 7?
False
Suppose -3*u = 4*g + 2*u - 61, -u - 22 = -3*g. Is 14 a factor of 52 + 1 - (10 - g)?
False
Suppose -5*a - 22 - 13 = 0. Let k = 40 + a. Is 17 a factor of 1/(2 + k/(-17))?
True
Let b(w) = 9*w**2 + 4*w - 2 - w + 5. Let y(i) = 28*i**2 + 10*i + 10. Let z(k) = 7*b(k) - 2*y(k). Does 5 divide z(-1)?
False
Suppose 2*q - 198 = 2*c + 412, -320 = -q + 4*c. Is q a multiple of 50?
True
Suppose -73 = -4*b + 35. Is b a multiple of 8?
False
Suppose 29*s - 31*s = -24. Is s a multiple of 3?
True
Let x be (-2)/(-2)*0/2. Let p = x - -4. Suppose 6*j - 2*j - 3*o = 98, p*j - 2*o - 100 = 0. Is 13 a factor of j?
True
Suppose 9*u - 4*u - 1515 = 0. Is 22 a factor of u?
False
Let z = 79 - 115. Does 4 divide z/84 + 118/14?
True
Let q(g) = -g - 8. Let k be q(-6). Let u(d) = -d**3 - 3*d**2 - 3*d - 3. Let z be u(k). Is 3 a factor of z - (10 + -2)*-1?
False
Let o = -18 - -30. Does 10 divide o?
False
Let w(u) = -43*u + 28. Does 25 divide w(-4)?
True
Let b be (-7)/14 - 126/(-4). Let a = -49 + b. Is (a/4)/(2/(-4)) a multiple of 8?
False
Let h(j) = -j**2 - 7*j + 1. Suppose -2*n - 5 - 7 = 0. Let p = n + 2. Is 11 a factor of h(p)?
False
Is (23 - 11) + 0 + -1 a multiple of 10?
False
Let c(r) = -r**2 - 5*r + 1. Let n be c(-4). Suppose 3*j + 0 = 4*l + n, 5*l = -j + 8. Suppose -b + j*b - 10 = 0. Does 2 divide b?
False
Let c(i) = -i**3 - i**2 + 10*i + 2. Is 10 a factor of c(-4)?
True
Suppose 94 = 2*w - 40. Does 21 divide w?
False
Let z = 75 + -53. Is 11 a factor of z?
True
Suppose 0*g = g - 35. Is 14 a factor of g?
False
Suppose 0 = -m - 3*m + 16. Suppose 30 = m*r - 54. Does 21 divide r?
True
Suppose 8*j - 30 = 2*j. Does 2 