se 0 = -l + 10 + x. Is 7 a factor of l?
False
Suppose -3*u - 1470 = -3*g, -g + 3*u + 388 + 94 = 0. Is g a multiple of 7?
False
Let r(q) = -7*q**2 + 12*q + 1. Let b(d) = -8*d**2 + 12*d + 2. Let k(i) = 6*b(i) - 7*r(i). Does 13 divide k(-6)?
False
Is 3*91/(-21) - -63 a multiple of 18?
False
Let q(g) = -2*g**3 - 2*g**2 + 2*g + 1. Let n be q(-2). Suppose r - 32 = -4*f, -n*f = -f - r - 32. Suppose f*h - 3*h = 440. Is 26 a factor of h?
False
Let b be ((-6)/5)/((-6)/(-15)) + 195. Suppose 0 = 5*q + 3*q - b. Is 5 a factor of q?
False
Let i(j) = 98*j**2 + 7*j - 19. Does 10 divide i(2)?
False
Suppose 4*z - 2*k - 4 = 0, z - 3*k + k + 2 = 0. Suppose 4 = z*t - 6. Suppose 5*b = -3*g + 400, -t*b = -b - 4*g - 288. Is b a multiple of 16?
False
Does 48 divide (18/12)/(3/1338) + 3?
True
Suppose 245 = -v - 4*v. Let l = v + 28. Let m = l - -44. Is m a multiple of 21?
False
Suppose -2*u + 17 = -5. Let t = -4 + u. Suppose -t*f + 70 = -2*f. Is 8 a factor of f?
False
Let z = 170 - 75. Suppose z + 1 = -3*k. Let j = k + 41. Is j a multiple of 2?
False
Suppose -3*y - 2*y = -25. Suppose 2*l - y*z = 95, 4*l - 4*z - 90 - 130 = 0. Does 12 divide l?
True
Let z(t) = 18*t + 2. Let l be z(-1). Is 20 a factor of (l/6)/((-15)/495)?
False
Suppose 0 = -5*r - 2*q + 7, 4*r - 4*q = 8 + 20. Let c be 1 + (8 - r) + -3. Suppose -y = -0*y - c*g - 12, -y = -5*g - 14. Does 2 divide y?
False
Suppose -2*j + 3*c = -25, -50 = -5*j - 2*c + 7*c. Is 5 a factor of 13 - (2 + (1 - j))?
True
Let j = -1108 - -3840. Is j a multiple of 24?
False
Suppose 3*y = 7*y - 612. Suppose k = 5*f - y, 0 = 4*f - 5*f + 2*k + 27. Is 5 a factor of f?
False
Let s(j) = -1 - 5 + 0 + 5*j. Let w be s(-4). Let q = -16 - w. Is q a multiple of 3?
False
Let k(i) = 9*i + 30. Let x be k(-4). Is 4 a factor of (45/x)/(4/(-8))?
False
Let p = 5 - -31. Does 9 divide p/(-2 + (2 - -2))?
True
Let f be 50 + (3 - (-2 + 2)). Suppose g + 202 = 3*g. Let c = g - f. Is c a multiple of 16?
True
Suppose 2*w + 2*w + 372 = 0. Let q be (-1)/6 - w/18. Suppose 0 = 3*z - q*a - 27, 3*z + a = 6 + 3. Does 2 divide z?
True
Let x(f) = -26*f + 5. Let o(a) = 10*a - 2. Let s(c) = -5*o(c) - 2*x(c). Let t(m) = m**2 + 3*m + 2. Let l be t(-5). Is s(l) a multiple of 8?
True
Let n(v) = -2*v**3 - 2*v**2 + v**3 + 5 - 2 - v. Does 4 divide n(-2)?
False
Let t = -9 + 14. Suppose 220 = 5*y + 5*z, y + t*z - 3 = 25. Suppose -3*r = -0*r - y. Does 4 divide r?
True
Let l(r) = -r**3 + 22*r**2 - 19*r - 27. Let y be l(21). Suppose -6*k - 5*b + 75 = -k, -k = -b - y. Is 13 a factor of k?
False
Let q(v) = -2*v**3 - 16*v**2 - 11*v - 17. Let m be q(-8). Suppose t - 5*k + 30 = 73, -134 = -4*t + k. Let u = m - t. Is 5 a factor of u?
False
Let t(n) = -n**2. Let l be 9/2*(-4)/6. Let b be t(l). Is 28 a factor of 250/3 + (-6)/b?
True
Suppose -22*x = -17*x - 690. Suppose 0*l - 1 = l, -2*l = -y + x. Is 37 a factor of y?
False
Let y(x) = -2*x. Let s be y(0). Let k(t) = -t**2 + 2*t + 6. Does 6 divide k(s)?
True
Let n(t) = 11 - 16*t - 10*t + 25*t. Let q be n(11). Suppose -3*p - 20 + 101 = q. Does 9 divide p?
True
Suppose 3*r = 2*a + 306, -3*a = -5*r - 247 + 757. Suppose t - r = 5*g, 6*t = 2*t + 3*g + 357. Does 29 divide t?
True
Let g be (-4)/6 + 2035/33. Let v = g - 18. Does 43 divide v?
True
Suppose -6*a + 20 = -10*a. Does 15 divide (1 + (a - 5))/(1/(-3))?
False
Suppose 2*d + 110 - 326 = 5*n, -5*n - 3*d - 226 = 0. Let r = n + 72. Suppose 0*k - k - m = -28, k - 3*m - r = 0. Does 12 divide k?
False
Let v(p) = 3*p**3 - 2*p**2 - 3*p + 13. Does 3 divide v(3)?
False
Let g(j) = -2*j + 212. Is g(10) a multiple of 6?
True
Let d(p) = -3*p**2 + 8*p - 18. Let i be d(6). Let c = -50 - i. Is c a multiple of 14?
True
Suppose 10*s = 7*s + 3*r + 69, -4*r + 8 = s. Is s a multiple of 4?
True
Suppose -348 + 1416 = 3*s - 3*t, t + 1430 = 4*s. Does 26 divide s/3 + 6/(-18)?
False
Let k(o) = 5*o + 4. Let n be 2 + 6 + (-9 - -5). Does 6 divide k(n)?
True
Let a(d) = 7*d + 1. Let g be a(3). Suppose 4*j - 90 = -g. Suppose 23 + j = 5*u. Does 8 divide u?
True
Let k(z) = z**2 - 204. Is 20 a factor of k(-22)?
True
Let m(g) = -g - 4. Let c be m(-9). Let f(t) = t**2 - 8*t + 7. Let j be f(c). Let d = 3 - j. Is 11 a factor of d?
True
Let c(m) = -82*m - 235. Is 15 a factor of c(-8)?
False
Suppose -2*v - 2*i = i - 42, 2 = i. Let k be ((-6)/9)/((-4)/v). Suppose k*l + s - 15 = -0, l - 3*s = 5. Is l a multiple of 2?
False
Let q(i) = i**3 + 6*i**2 - 13*i - 3. Let j be q(-7). Suppose -j = -p - 8. Is 5 a factor of p?
False
Suppose -11*a + 3*a = -1056. Is a a multiple of 12?
True
Let f(u) = 40*u**2 + 12*u - 4. Is f(2) a multiple of 16?
False
Suppose -t = 4*p - 3, 4*p - 7 = 2*t - p. Let z(f) = -6*f + 2. Is z(t) a multiple of 3?
False
Suppose 10*z = 7*z + 51. Let b(r) = r**3 - 16*r**2 - 14*r + 3. Is 34 a factor of b(z)?
False
Let b(w) = 14*w + 4. Let t(v) = 43*v + 13. Suppose 35 = 20*n - 25*n. Let x(k) = n*b(k) + 2*t(k). Is 14 a factor of x(-6)?
True
Suppose 4*t - 2*c = 404, 0*t + t + 3*c = 94. Is t a multiple of 25?
True
Let s(k) = k**3 + 8*k**2 + 7*k + 3. Let i be s(-7). Suppose -o + i*o - 84 = 0. Let z = -19 + o. Is 8 a factor of z?
False
Let u(w) be the third derivative of -w**5/60 + 3*w**4/4 - 19*w**3/6 - 2*w**2. Is 9 a factor of u(13)?
False
Let w = 337 + -201. Suppose 4*o - w = -4*x - 0*o, 0 = 3*o + 3. Does 2 divide x?
False
Let c(g) = g**3 - 16*g**2 + 7*g - 21. Suppose 32 = 7*l - 5*l. Is c(l) a multiple of 22?
False
Let g = 8 - 4. Let a = -11 + g. Does 30 divide ((-78)/(-7))/(a/(-49))?
False
Suppose -6*b + 23 = -49. Let g = 34 - b. Does 8 divide g?
False
Suppose 228 = 3*h - 3*s, h + h - 148 = 3*s. Is 8 a factor of h?
True
Suppose 4*o = 4*r - 2788, -1391 = 2*r - 4*r - o. Is r a multiple of 8?
True
Let w = 27 + -20. Suppose -330 = -w*q + 2*q. Is q a multiple of 22?
True
Let f(x) = 2*x + 9. Let z be f(-5). Let j = z - -6. Suppose o - j*i = 8, 6*o - 14 = o - i. Is 3 a factor of o?
True
Let l(i) = -27*i - 26. Is 3 a factor of l(-3)?
False
Is (203/(-3))/(((-184)/(-24))/(-23)) a multiple of 7?
True
Suppose 0 = 11*d - 18 - 4. Suppose -3*t + 121 = -d*t. Does 27 divide t?
False
Let l(t) = -t**2 + 14*t + 10. Let x be l(14). Suppose -4*y + x*y - 126 = 0. Does 21 divide y?
True
Let z = -305 + 310. Let s = -4 - -6. Suppose m = s*l - 48, -4*m + 54 + 53 = z*l. Is 5 a factor of l?
False
Let p(g) = 3 + 2*g - 100*g**2 - 3*g + 0*g - 1. Let z be p(1). Let d = -47 - z. Is d a multiple of 13?
True
Let i(l) = -2 + 0 + 28*l - 4*l. Is 13 a factor of i(1)?
False
Let r = 11696 + -7340. Is r a multiple of 44?
True
Let t(h) = -h + 8. Let p be t(4). Let d(z) = 4*z**2 - z - 1. Let q be d(-1). Suppose -3*j + 58 = -f - 93, -p = q*f. Is j a multiple of 25?
True
Suppose 0 = k, 4*z + 2*k + 3*k - 3844 = 0. Is 54 a factor of z?
False
Suppose 5*v = -2*u + 1387, -3*v = v - 4*u - 1132. Is 7 a factor of v?
False
Let d(b) = 3*b**2 + 8*b - 61. Does 37 divide d(-10)?
False
Let k = 12 + -10. Suppose k*z - 3*u - 102 = 5, 4*z = -u + 221. Suppose 5*r - z - 65 = 0. Is r a multiple of 6?
True
Suppose 0 = -2*t - 4*a + 432, 6*a - 1075 = -5*t + a. Is t even?
True
Suppose -8*t = -4569 - 3631. Is t a multiple of 13?
False
Does 105 divide 1/((-56)/(-58448)) - (-4)/14?
False
Let x(q) = 7*q**2 + 4*q + 3. Let v = -7 - -1. Let r be (v/(-9))/((-2)/6). Is 14 a factor of x(r)?
False
Does 6 divide 504/8 + (-3 - -2 - 2)?
True
Suppose 8*c - 375 = 3*c. Suppose -2*a + 0*t = -3*t - 47, t - c = -5*a. Is 7 a factor of a?
False
Let c = -8 + 17. Suppose 0 = c*r - 11*r. Suppose -6*n + 4 + 62 = r. Is 3 a factor of n?
False
Let o be 3 + -3 + -1 + 95. Suppose 0 = -2*w - 0*w. Suppose -3*z - 2*d + o = 0, -3*z + 3*d = -w*d - 69. Is 14 a factor of z?
True
Suppose 2*d + a + 51 = 0, 16 = -4*d - a - 85. Suppose 0 = -j - 1 - 0. Let r = j - d. Is 21 a factor of r?
False
Suppose g + 0*g = 15. Let y(l) be the second derivative of l**4/12 - 2*l**3 + 5*l**2/2 + 27*l. Is y(g) a multiple of 25?
True
Suppose -5*y + 4*v + 420 = -v, -2*y + 4*v = -168. Suppose 4*s - y = -24. Is 15 a factor of s?
True
Suppose 9 = -4*l - 3, -2*f + l + 1339 = 0. Is 20 a factor of f/9 - 2/9?
False
Let k be (2/4 + (-5811)/26)/1. Let m = 134 - k. Is m a multiple of 43?
False
Let g(b) = b**3 - 17*b**2 + 16*b + 2. Let q be g(16). Suppose q*x - 383 = -107. Does 18 divide x?
False
Suppose 10 = y - 3*y. Suppose -u + 4*k + 11 + 11 = 0, -4*u - 2*k = 2. Does 2 