r of m(6)?
False
Suppose -22*f + 18849 = -19343. Is f a multiple of 17?
False
Let x be (29*(-4)/8)/((-2)/(-4)). Let m = -17 - x. Is m a multiple of 8?
False
Let r be (2/(-5))/((-292)/(-290) + -1). Let v(c) = c**2 - 4*c - 6. Let l be v(6). Let d = l - r. Is d a multiple of 16?
True
Suppose -3*i + 5*z = -4, 33 = -5*i - 2*z - 12. Does 16 divide (-3 - i) + 152/2?
True
Suppose -2*t = 4, -3*c - t + 1068 = 374. Is 8 a factor of c?
True
Let b be 8/(-12) - 386/(-3). Suppose 273 = -9*f + 12*f. Let h = b - f. Is 12 a factor of h?
False
Let w = -174 + 203. Is w a multiple of 5?
False
Suppose 2*c + 2*c + 5*w - 61 = 0, 4*w = -3*c + 46. Suppose 0 = -4*s + c*s - 1030. Is 11 a factor of s?
False
Let j be (-93)/33 - (-4)/(-22). Is 10 a factor of 75*((-1)/j + 1)?
True
Let j = 16 + -14. Suppose 3*z - 13 = j. Suppose z*u + 4*i - 8 - 130 = 0, -2*u + 63 = -i. Is 10 a factor of u?
True
Suppose 18 = 7*a - 10. Suppose -3*o - 21 = -a*o. Is 6 a factor of o?
False
Let p be ((-9)/(-1))/3 - -6. Suppose 2*q - 9 = -3*m, -m = 3*m - 3*q - 12. Suppose 2*o = 0, -2*o = m*l + o - p. Does 3 divide l?
True
Suppose -5*o = -4*o + 2*y - 140, 3*y = -o + 138. Does 32 divide o?
False
Let o = -382 - -699. Is 17 a factor of o?
False
Is (1 + -2)/((-2)/704) a multiple of 32?
True
Let m(n) = -34*n**3 - 2*n - 2. Let q(j) = j**2 - 11*j - 27. Let b be q(13). Let p be m(b). Suppose 0 = -o - 4*g + p - 0, 5*o + 2*g = 98. Does 9 divide o?
True
Suppose -z = -0*z - 13. Let n = 9 - z. Let j = 6 + n. Is 2 a factor of j?
True
Suppose 0 = -z + 4*u + 43, -z = -5*u - 33 - 12. Is 16 a factor of z?
False
Is (-112)/(-252) - (-8852)/9 a multiple of 26?
False
Let x be 1 + (0 - -2) + 2. Let p(u) = -x + u**2 + 2*u**2 + 3 - 4*u. Is 10 a factor of p(4)?
True
Let m(c) = c + 15. Let r be m(-10). Suppose -30 = r*b - 7*b. Is b a multiple of 15?
True
Suppose 2*s = -5*m + 172, -60*m + 58*m + 60 = 3*s. Is 3 a factor of m?
True
Let q(h) be the second derivative of 5*h**4/12 - h**3 + 15*h. Does 24 divide q(6)?
True
Let n be ((-33)/(-9))/(1/3). Let d = 88 + -60. Let q = d - n. Is 17 a factor of q?
True
Let j be (-3 + 38/10)*5. Let p be (-4)/j + 12 + 1. Is p/(-8)*(-24)/9 a multiple of 4?
True
Let c(h) = h**2 - 2*h. Let i be c(5). Suppose 3*x = 39 - i. Is ((-18)/x)/(2/(-24)) a multiple of 5?
False
Let b be (-8)/2*(-10)/8. Suppose 0*f + b*h - 39 = -f, -f + 27 = 2*h. Suppose 5*k = -2*u + 71, 3*k - f = u - 60. Is 19 a factor of u?
True
Let n be 1/(3 + (-16)/6). Suppose z - n*z = -76. Let p = z - -19. Does 19 divide p?
True
Let j(z) = z**2 + 2*z + 13. Does 5 divide j(13)?
False
Suppose 88 - 18 = o + 5*y, -5*y + 205 = 4*o. Suppose 0 = -s - 3*h + o, 5*h = -4*s + 357 - 142. Is s a multiple of 15?
True
Let m(c) = 15*c - 84. Does 27 divide m(11)?
True
Let f = -32 + 28. Let a(c) = -2*c**3 - 3*c**2 + 4. Is 19 a factor of a(f)?
False
Let g(y) = 5*y**3 + 4*y**2 + 4*y - 9. Let v(w) = w**3 + w - 1. Let m(j) = -g(j) + 4*v(j). Let i be m(-4). Suppose 0 = -2*h + i*h - 36. Is 7 a factor of h?
False
Suppose 8 = 5*c - 4*p, 3*c + 5*p = 3 - 13. Suppose c = k - 2*k + 92. Does 5 divide k?
False
Suppose -46 = -d - 4*q, -226 = 4*d - 8*d - 2*q. Is d a multiple of 42?
False
Let i(b) = -2*b**2 - 2*b. Let o be i(-2). Let t be o + 102 - (1 - 1). Let w = t + -38. Is w a multiple of 15?
True
Let d(q) = -q**3 + 8*q**2 + 9*q + 1. Let n be d(9). Let h = n + -1. Suppose h*v - 80 = -v. Does 21 divide v?
False
Let z = 25 + -22. Let h be z/(-9) + 578/6. Let y = -68 + h. Does 28 divide y?
True
Let y be ((-6)/27)/(2/(-18)). Is (-7692)/(-30) - y/5 a multiple of 37?
False
Let y(b) = b**2 - 3*b - 4. Let a be y(8). Suppose -2*x = r - a, 4*x = 2*r + 16 - 56. Is 14 a factor of r?
True
Let w = -51 - -51. Suppose 5*o + 5*x - 1570 = w, -2*x - 299 = -o - 0*x. Is 14 a factor of o?
False
Let t be 12 + (2 - 0) + -4. Let o(v) = 0*v**2 - v**2 - 26*v - t + 18*v. Does 4 divide o(-4)?
False
Let u be ((1 + 2)*(-2270)/15)/(-2). Suppose 0 = -3*r - i + 511 + u, -3*r + 2*i = -747. Is r a multiple of 13?
True
Let k(u) = -34*u - 351. Does 5 divide k(-40)?
False
Let a(q) = -21*q - 6. Suppose 1 = 2*g + 9. Let j be a(g). Suppose j = 2*m + m. Is m a multiple of 13?
True
Let z(u) = -u**2 - 5*u + 3 - 5 + 2. Let w be z(-5). Suppose -t + 2*t - 10 = w. Does 10 divide t?
True
Let h = -190 - -365. Is h a multiple of 2?
False
Let r(x) = -x + 11. Let m = 10 - 5. Let l be r(m). Is 2 a factor of 45/l*10/15?
False
Suppose -2*b = 5*w - 41, -5*b = 6*w - 2*w - 145. Let p = -10 + b. Does 8 divide p?
False
Let y = 5 + 592. Is 14 a factor of y?
False
Suppose 0 = -3*f + 192 - 846. Let x = f - -312. Does 33 divide x?
False
Let p = 5931 + -3531. Is p a multiple of 40?
True
Let r(m) = 24*m - 8. Let g(t) = 8*t - 3. Let l(q) = 8*g(q) - 3*r(q). Let a be l(-3). Suppose -a = -2*n - n. Is n a multiple of 3?
False
Let v be -2 + -2 - -3 - (-3)/(-1). Does 34 divide 102/v*(-48)/18?
True
Let a(o) be the second derivative of -o**7/2520 + 11*o**6/720 - o**5/15 + 5*o**4/12 + 4*o. Let c(y) be the third derivative of a(y). Is 7 a factor of c(7)?
False
Let q(z) = 26*z**2 - 36*z - 4. Let n(h) = 5*h**2 - 7*h - 1. Let l(d) = 16*n(d) - 3*q(d). Is l(5) a multiple of 14?
False
Let f be 2/6*(8 - 5). Let r be (4 - f)/3*1. Suppose 5*n = -r + 21. Is 3 a factor of n?
False
Let t be -2 + 5 + -1 + -1. Let c(d) be the first derivative of 88*d**3/3 + d**2/2 - 2*d + 21. Is c(t) a multiple of 25?
False
Let h be ((-3)/(-2))/((-1)/6). Let m(t) = 2*t. Let s(c) = -28*c. Let n(y) = -16*m(y) - s(y). Is 9 a factor of n(h)?
True
Let h(x) = 2*x**2 - 12*x - 8. Let p be h(9). Let n(i) = -i**3 - 9*i**2 + i + 11. Let z be n(-9). Is p*(3/z)/3 a multiple of 4?
False
Let a(s) = 18*s**2 - 6*s - 16. Is 8 a factor of a(-8)?
True
Let x(a) = 3*a**3 + 8 + 5 - 4*a**3 - 20*a + 13*a**2 + 7*a. Let t be x(12). Suppose 5*d + 4*y - 11 = 0, -2*d + 2*y + t = -7. Is 2 a factor of d?
False
Let w(n) = 3*n + 2. Suppose 0 = 3*s - 4 - 2. Is 3 a factor of w(s)?
False
Let w(z) = -z**2 - 26*z - 13. Suppose 2*g + 2*g = -76. Is w(g) a multiple of 15?
True
Let i(o) = 6*o**2 - 15*o + 7. Is i(12) a multiple of 10?
False
Suppose -7*c - 76 - 43 = 0. Let w = c - -91. Does 26 divide w?
False
Let k(a) = -a**2 + 6*a + 68 + 68 + 2*a - 139. Let p be 20/(-6)*21/(-14). Is 12 a factor of k(p)?
True
Let k = -7 - 9. Let t = 76 - k. Let u = t - 64. Is 8 a factor of u?
False
Let l = -343 + 546. Is 41 a factor of l?
False
Suppose 13*j + 2*i - 808 = 9*j, 0 = -i + 4. Is 25 a factor of j?
True
Let m(b) = 18*b**2 - 7*b - 65. Is m(-9) a multiple of 14?
True
Let u(h) = 2*h**2 - 10*h - 144. Does 18 divide u(-22)?
True
Let t(r) = 9*r + 4. Let l be t(4). Is ((-18)/30)/((-2)/l) a multiple of 5?
False
Let j = 1481 - 855. Is j a multiple of 79?
False
Suppose -2*p - 3*o = -7, 3*o - 7*o + 16 = 4*p. Suppose 0 = p*m - 7 - 3, -144 = -2*t - 5*m. Suppose 0 = i - 2 - t. Is 18 a factor of i?
False
Suppose 0 = 5*z - x - 2571, 4*x - 2591 = -3*z - 2*z. Let o = z - 332. Is o a multiple of 33?
False
Suppose p - 2 = -5. Let v(d) = 19*d**2 - 9*d + 1. Is 17 a factor of v(p)?
False
Suppose -102 = 2*g + l, -5*g - 3*l - 255 = 2*l. Let t be 2*4*g/(-6). Suppose 0*y = 5*y + 3*v - 85, -4*y + 2*v = -t. Does 5 divide y?
False
Let n(i) = -i**2 + 84*i - 245. Does 20 divide n(42)?
False
Let o(v) = v**2 + v. Let b(q) = -q**3 + 19*q**2 + 10*q - 10. Let s(p) = b(p) - 6*o(p). Does 6 divide s(13)?
True
Let b(v) = 51*v - 41. Is b(6) a multiple of 6?
False
Let z(d) be the first derivative of -d**4/4 - 5*d**3/3 + 2*d**2 + 6*d + 37. Is z(-6) a multiple of 3?
True
Let d = -168 - -236. Suppose -5*y = -7*y + d. Suppose 14 = 4*q - y. Is 4 a factor of q?
True
Is 18 a factor of (-25135)/(-121) + 15/55?
False
Let g(d) = 9*d**2 + d + 0 - 1 + d. Let z(h) = -2*h**2 + 7*h - 7. Let c be z(1). Is 18 a factor of g(c)?
False
Let f(n) = -4*n**2 + 7*n**2 - 2*n**2 + 0 + 43. Let y be f(0). Let d = 75 - y. Does 11 divide d?
False
Suppose -5*y - 3*d - 12 = 0, -y = -3*d + 8 - 20. Suppose -r - r = y. Suppose r = 3*h - 4*h + 2*f + 38, 2*h = -3*f + 76. Is h a multiple of 11?
False
Is 32 a factor of 37446/39 - 2 - 24/156?
False
Suppose 9*s = 5*s. Let y be (s + 1)/(8/16). Suppose 0 = v - 2, 0*m - y*m - 3*v + 64 = 0. Does 15 divide m?
False
Let y = 104 - 97. Does 7 divide (y/(-3))/(1 - (-185)/(-180))?
True
Let k be -1 + (-1)/1*4. Let m(a) = -15 - 4*a - a**3 - 6*a**2 - 4*a + 9. Is m(k) a