r of j?
False
Does 20 divide 1269 + 1 - (-13 + -20)/11?
False
Suppose n + 5*f + 11 - 235 = 0, f + 212 = n. Does 7 divide n?
False
Let c be (-4)/(-22) + 516/66. Suppose -5*l - 288 = -c*l. Is l a multiple of 24?
True
Suppose -13*i = -2262 - 14638. Does 13 divide i?
True
Let k(j) = 4*j**2 - 9*j + 2. Is 16 a factor of k(-5)?
False
Let p(a) = -1320*a + 22. Does 24 divide p(-3)?
False
Suppose 113 = 4*v + 3*p, -32 = 5*v + 2*p - 182. Suppose l - v = -0. Let q = l + -10. Is 11 a factor of q?
True
Let z = 362 - 294. Does 17 divide z?
True
Suppose 5*r = 4*g + 2986, 6*g - 1196 = -2*r + 8*g. Is r a multiple of 13?
False
Let j(f) = 455*f**3 + f**2 + 40*f - 39. Is j(1) a multiple of 18?
False
Suppose a - 4*a = 15, -134 = -s + 4*a. Suppose 3*x - 7 = 8. Suppose -3*l = -x*l + s. Is 9 a factor of l?
False
Suppose 32*r = 27*r + 2035. Does 5 divide (-12)/54 + (-2)/(-18)*r?
True
Let b(t) = -106*t**2 - 1. Let s be b(-1). Let i = 191 + s. Is 12 a factor of i?
True
Let o = -245 - -366. Is 11 a factor of o?
True
Suppose -o + 2*o + 13 = 0. Let f = o + 9. Is 11 a factor of (22/(-4))/(1/f)?
True
Let v = -208 + 312. Suppose -t + v = 40. Does 15 divide (-2)/16 + 4808/t?
True
Suppose 4*y - 8 = -4*c, 4*y - c - 10 = 3. Suppose -y*j - 3881 = 475. Is 15 a factor of j/(-48) - (-2)/(-8)?
True
Let p(b) = b - 1. Let g(m) = -68*m - 27. Let k(o) = g(o) - 4*p(o). Is 49 a factor of k(-4)?
False
Let v(z) = z**3 + 4*z**2 + 2*z - 7. Let b(c) = -c**2 - c - 1. Let f(r) = -4*b(r) + v(r). Let p be ((-20)/(-6))/(-5 + (-26)/(-6)). Does 15 divide f(p)?
False
Let l(z) be the third derivative of z**5/3 + z**4/8 + 2*z**3/3 + z**2. Suppose -5*t + 9 = 3*b - 0*t, -3*b - t - 3 = 0. Does 17 divide l(b)?
False
Suppose 3*u + 2*y = 4, -u + y - 5 = -4*u. Let l = 60 + -60. Is ((-22)/(-4) - l)*u a multiple of 3?
False
Let d(z) = 5*z**3 - 4*z**2 + 2*z - 6. Let c be d(4). Suppose -6 = 3*l, c = 4*i + l - 64. Is 27 a factor of i?
True
Let b(o) = o**2 - o + 5. Let i be b(3). Suppose i*h - 6*h = 35. Suppose -2*x - 100 = -h*x. Is x a multiple of 5?
True
Let s = 5 - -16. Let o = 38 - s. Let d = o - 12. Is d a multiple of 5?
True
Let z(o) = 2*o + 22. Let l be z(-10). Suppose x = -2*n + 39 + 4, -l*n = -2. Is x a multiple of 8?
False
Let f(i) = 2*i - 4*i**2 - 1 + 2 + 4*i**2 - 21*i**3. Let g be f(-1). Is (1 - 45)*g/(-16) a multiple of 14?
False
Let i be -3 - 21/(4 + -7). Let z(w) = 6*w - 10. Is 14 a factor of z(i)?
True
Let l(p) = -p**3 - 9*p**2 + 10*p + 2. Let d be l(-10). Suppose -d*x - 5*y = -0*y - 31, -4*y = x - 14. Suppose -b = -2*b + x. Does 13 divide b?
False
Let r(u) = -177*u**3 - u**2 - 4*u + 9. Let z(s) = -44*s**3 - s + 2. Let k(a) = 2*a - 2. Let g be k(2). Let v(t) = g*r(t) - 9*z(t). Is v(1) a multiple of 12?
False
Suppose 111 + 660 = 3*t - 3*a, 5*a = 0. Let w = -157 + t. Suppose 7*u - w = 2*u. Does 8 divide u?
False
Let p(b) = -2*b - 6. Let a = 1 + -5. Let z be p(a). Is (-315)/(-6) - z/(-4) a multiple of 15?
False
Let q = 96 - 38. Let t = q - 37. Is t a multiple of 4?
False
Suppose -3*x - 30 = 15. Is (-1 + -23)/(6/x) a multiple of 15?
True
Is 2/(2 - (-2695)/(-1351)) a multiple of 5?
False
Suppose 5*o = -4*j - 9, -j - 3 = 2*o - 0. Let b = 4 - j. Suppose -3*x = b*w - 46, -2*w + 42 = 2*w + 5*x. Does 4 divide w?
True
Let o be (-1)/(((-2)/(-8))/(584/(-32))). Suppose -2*x = 4*d - 52, 5*d - o = -4*x - 11. Does 5 divide d?
False
Suppose 5*s - 24 = s. Suppose s*o = 1618 - 292. Does 13 divide o?
True
Let r = -878 + 1785. Is r a multiple of 10?
False
Suppose 6*f - 4*f + 2*a = 1370, 3*f + 4*a - 2058 = 0. Is f a multiple of 31?
True
Let k = 1445 - 875. Is 25 a factor of k?
False
Suppose 5*k = -g + 2 - 0, 0 = -g - 3*k + 2. Suppose 4*r = -5*a + 42, g*r = a - r - 16. Let d = -3 + a. Is d a multiple of 7?
True
Suppose -96 = -3*h - 3*t, -2*t + 13 = -h + 57. Is h a multiple of 36?
True
Suppose -3*h - 4*v = -145, 8*h - 23 - 442 = 5*v. Is h a multiple of 26?
False
Suppose 4*x - 5 = -2*q + 5*x, q + 2*x = 0. Let c(l) = 8*l + 8. Is 8 a factor of c(q)?
True
Suppose -t + 12 = 5*k, 3*k = 3*t - 0*t. Suppose 126 = 2*a - 5*y + t*y, y = 4. Does 14 divide a?
False
Let t(w) = -3*w**3 - 4 + 4*w - w**2 + 5*w**3 - w**2. Does 8 divide t(2)?
False
Suppose 0 = 5*z - 1466 - 1014. Suppose z = 4*y + 76. Is y a multiple of 10?
False
Let m be 1 + 0 + (2 - -23). Let y be (-944)/(-12) + 2/6. Suppose 5*s = m + y. Is s a multiple of 10?
False
Let w be 0/23*(0 - 1). Suppose -f = d + 4*d - 880, 5*d + 2*f - 880 = w. Does 29 divide d?
False
Suppose 2*d = 8*d + 234. Let p = d - -51. Is 6 a factor of p?
True
Suppose 5*o + 15 = 0, 0 = -u - 0*u + 5*o - 118. Let n = -82 - u. Let k = n - 30. Is 8 a factor of k?
False
Suppose 0 = 4*l - 4*s + 60, -4*s + 12 = -0*s. Does 4 divide (-13 - -7)*70/l?
False
Let f = 351 + -211. Suppose -4*d = -8 - f. Let y = d - 23. Is y a multiple of 14?
True
Suppose 2*r = 4*r - 16. Let a(i) = i**3 - 7*i**2 - 2*i - 10. Let w be a(r). Suppose 2*h - w = 12. Does 8 divide h?
False
Let h be 3 + 21/(-3) - -40. Is 20 a factor of (-3 - 0/(-3))*(-3120)/h?
True
Let o(r) = r**3 + 6*r**2 - 8*r - 1. Let x be o(-7). Suppose x*t - 20*t = -588. Is 6 a factor of t?
True
Suppose -4*w - 2 = -5*x, -7*w + 3*w + 10 = x. Suppose -n - 32 = -5*b, 5*n + 23 + 191 = -x*b. Does 21 divide (-2)/(-7) + (-1752)/n?
True
Let t be (12/42)/((-1)/7). Let a(c) = c + 6. Is a(t) a multiple of 4?
True
Let p = -120 + 162. Does 7 divide ((-16)/(-12))/(4/p)?
True
Let d(m) = m**2 - m - 4. Let c be d(0). Let a be 2 + c/4 - -1. Suppose 2*y = -q + 2*q + 18, -a*y + 6 = 2*q. Is 3 a factor of y?
False
Suppose 5*i + 68 + 132 = 0. Let q = i - -85. Does 17 divide q?
False
Suppose 353*b - 357*b = -4. Suppose 3*q + 2 = -4. Does 10 divide (1 - (q - 27))/b?
True
Let h(p) be the first derivative of -p**3/3 + 5*p + 7. Let u(k) be the first derivative of h(k). Is u(-16) a multiple of 17?
False
Let c(n) = -14*n + 123. Is c(-15) a multiple of 33?
False
Let g(n) = 3*n - 12 + 3 - 16 + 2. Does 3 divide g(14)?
False
Let l(w) be the third derivative of w**6/120 - w**5/60 - 7*w**4/24 + 5*w**3/6 + 2*w**2. Let y = -8 + 12. Is 17 a factor of l(y)?
False
Does 33 divide (-6)/10*-1 - (-19785)/25?
True
Suppose 5*p - 253 = -3*m, 0 = -3*p + 15 - 0. Let k be (-36)/24*m/(-6). Let l = k + -10. Is l a multiple of 3?
True
Let h(p) be the second derivative of p**3/6 - 3*p**2/2 - 8*p. Let a be h(5). Suppose 7*i + 46 = f + a*i, 0 = 2*f + 5*i - 17. Does 6 divide f?
False
Let b be (-1340)/(-8) - 1/(-2). Let c(u) = 206*u**2 + 2*u + 1. Let p be c(-1). Suppose 4*l - 3*o + 16 - p = 0, 0 = 3*l + 3*o - b. Is 14 a factor of l?
False
Let x be ((-13)/(-21) - 4/14)*0. Suppose x*o - 2*o = -3*c - 283, 2*o + 4*c = 276. Is 35 a factor of o?
True
Suppose 21*j = 4*j + 44982. Is j a multiple of 126?
True
Let n = 2359 + -1439. Is n a multiple of 101?
False
Let w(s) = 2*s**3 + 45*s**2 - 24*s - 17. Is 3 a factor of w(-23)?
True
Suppose 13 = 4*n - 7, -4*r + 2*n - 14 = 0. Let j = 7 + r. Suppose -j*z = -9*z + 63. Is z a multiple of 6?
False
Suppose 155*n - 152*n - 960 = 0. Is n a multiple of 64?
True
Suppose 19*u - 32 = 1222. Does 11 divide u?
True
Suppose 14 - 26 = -6*c. Suppose -61 = -c*m + 27. Is m a multiple of 22?
True
Let y be (24/30)/((-3)/15). Let k(t) = -3*t - 4. Let s be k(y). Does 13 divide (-78)/(-6*2/s)?
True
Let s(a) = -21*a + 25. Is s(-9) a multiple of 14?
False
Suppose 34*f = 5698 + 13172. Is f a multiple of 40?
False
Let z be 6 - (2 + 2) - 4. Is z/(0 - 1*(-1)/(-15)) a multiple of 30?
True
Let b(m) = -m**3 - 21*m**2 + 2*m + 39. Let a be b(-21). Is (1*2)/((-52)/(-17) + a) a multiple of 17?
True
Let x be ((-16)/24)/((-4)/30). Suppose -x*a = -79 - 21. Is 5 a factor of a?
True
Suppose 5*b = 2*s + 1412, -s + 856 = -0*b + 3*b. Does 10 divide b?
False
Let k(s) = 33*s**2 + 1. Suppose 4*y - y - 3 = 0. Let m be k(y). Suppose -a = 5*r - 0*a - m, -5*a = -3*r - 2. Is 6 a factor of r?
True
Let k(u) = u**3 - 7*u**2 + 8*u - 9. Let q be k(6). Suppose 3*r = 5*r - 120. Suppose 0 = -q*f + f + r. Does 15 divide f?
True
Suppose -3*x = 2*o - 4579, -2*x = 3*o - 7299 + 433. Is o a multiple of 16?
True
Suppose 2*l = 3*y + 7*l - 1825, 3*y - 1805 = 5*l. Is y a multiple of 55?
True
Let r(n) = -n**3 + 2*n**2 + 2*n - 15. Is r(-6) a multiple of 23?
False
Suppose s + 0*s = 4*a - 3, 2*s = -4*a + 18. Suppose -7 - s = -3*b. Does 3 divide b?
False
Suppose -m + 2*n = 