v(a) = -100*a + 8567. Is 30 a factor of v(-92)?
False
Suppose 979110 = 21125*w - 21059*w. Is w a multiple of 129?
True
Suppose 0 = 3*f + 3*g - 37296, -5*f + 41552 = -g - 20572. Is 84 a factor of f?
False
Let r(m) = -m**3 - 15*m**2 - 8*m - 6. Let z be r(-16). Suppose 0 = 15*u - 1458 + z. Is u a multiple of 7?
False
Suppose -4*g = 3*z + 71, -2*g + 3*z - 8 = 5. Let n be 2/g - (-6)/42. Suppose 6*j - 116 - 124 = n. Does 23 divide j?
False
Let j(n) = -19*n**2 + 106*n + 9. Let h(p) = -5*p**2 + 26*p + 2. Let f(w) = -9*h(w) + 2*j(w). Is 6 a factor of f(7)?
False
Suppose -941 = p - 330. Let a = -326 - p. Does 15 divide a?
True
Suppose 472*x = 470*x - 4*y + 1340, 0 = -3*y - 6. Is 48 a factor of x?
False
Suppose 8*x - 11010 - 52158 = 0. Is 21 a factor of x?
True
Let u = -5 - -9. Suppose 2*s + 2 = -4*h, u*s - 5*h - 6 = 3*s. Is 5/s + (1 - -13) a multiple of 5?
False
Let g = 20329 + -18712. Is g even?
False
Let t = 172 - 1481. Let f = t + 2734. Does 15 divide f?
True
Let g(q) = 14*q**2 + 14*q - 205. Does 88 divide g(6)?
False
Let v be (1240/(-14))/(16/(-56)). Suppose -8*j = -13*j + v. Does 31 divide j?
True
Suppose 71*m = 70*m + 3539. Does 25 divide m?
False
Let n = 81 + -10. Suppose 720 = n*i - 59*i. Is 30 a factor of i?
True
Let u(k) = k + 21. Suppose 247 = -63*x + 76*x. Is 8 a factor of u(x)?
True
Let a(f) = -4*f**3 - 7*f**2 + 6*f + 14. Suppose 24 = -4*m - 4. Is a(m) a multiple of 13?
True
Let m(k) = 2*k**2 - 90*k - 83. Let h be m(46). Suppose -804 = -h*b - 3*b. Is b a multiple of 11?
False
Does 140 divide ((-144)/(-20))/((-2)/15)*(-7287)/42?
False
Let r(f) = -11*f**2 - 23*f + 17. Let g be r(6). Let t = g + 892. Is t a multiple of 25?
True
Let q = -2208 - -5120. Does 13 divide q?
True
Let m(d) = -40*d**2 + 5*d + 9. Let h be m(-2). Let k = -62 - h. Does 33 divide k?
True
Suppose 4*d + 5876 = 2*t, -5*t + 3*d = 8*d - 14660. Does 6 divide t?
True
Let g be ((-10)/(-10)*-2)/(1/(-2)). Suppose 3*l + p - 144 = -3*p, -g*p = 0. Is l a multiple of 16?
True
Let v(f) = f**3 - 6*f**2 + 5*f. Let a be v(6). Suppose 5*n + 52 = -4*m, -2*n - a = 2*m - 6. Is 4 a factor of (1 + (-33)/6)*m?
True
Let s(h) = h**3 + 15*h**2 + 13*h - 33. Let w be s(-14). Does 15 divide 57/w*(-1 + -124 - 0)?
True
Let y = 36617 - 18681. Is 241 a factor of y?
False
Let t = 6547 - 5148. Is t a multiple of 10?
False
Let n(i) be the third derivative of -i**6/90 + 23*i**5/60 - 5*i**4/4 + 26*i**2. Let u(f) be the second derivative of n(f). Is u(-17) a multiple of 26?
True
Suppose -6*v + 11 = -3*v - 4*g, 0 = v + 2*g + 3. Let x be 4 - -3*3/(v - -2). Suppose 810 = 22*u - x*u. Is u a multiple of 5?
False
Let k(t) = 3*t + 31. Let s be k(-17). Let m(p) = p**2 + 1. Let f(x) = 7*x**2 + 18*x - 11. Let i(c) = f(c) - 6*m(c). Does 8 divide i(s)?
False
Suppose -5 = -z, 40 = -4*n + 9*n - 4*z. Suppose 84*o - 104*o + 60 = 0. Suppose -5*m + 136 = u + o*u, -3*u = -m + n. Is m a multiple of 8?
True
Let u(p) = -p**3 - 15*p**2 - 47*p + 58. Let j be u(-14). Let i = -259 + j. Does 29 divide i?
True
Let m = -5621 - -5999. Is m a multiple of 54?
True
Suppose -10101 = -14*u + 4123. Let g = u - 249. Is 13 a factor of g?
True
Let v = -5 + -3. Let w be 2/8 + 13/(-4) - v. Suppose -5*p + 0*p - 3*t + 597 = 0, 3*p + w*t - 355 = 0. Is 15 a factor of p?
True
Suppose -11415 = -47*n + 7996. Suppose 0 = 2*g + n - 1493. Is g a multiple of 108?
True
Let y(s) = -685*s + 9775. Is 6 a factor of y(-17)?
True
Suppose 9*x - 10*x + 5*q - 8 = 0, 5*x - 5*q = 0. Does 8 divide (-4 - 12)*x*-6?
True
Let r(w) = -30082*w**3 - 28*w - 29. Is r(-1) a multiple of 141?
False
Suppose 9*d = -1262 - 1276. Is 36 a factor of 5 - (-7)/4*d*-2?
False
Suppose 0 = 83*j - 79*j - 8. Suppose 0 = w - 3*y - 340, j = -y - 0*y. Is w a multiple of 8?
False
Let j(g) = 17*g - 136. Let k(c) = -16*c + 139. Let f(y) = 4*j(y) + 3*k(y). Is 31 a factor of f(11)?
True
Let k = 337 - 476. Let n be (-2859)/(-12) - 2/8. Let x = k + n. Does 8 divide x?
False
Let p(o) = 11*o**2 + 12*o - 31. Let u = -256 + 249. Is 8 a factor of p(u)?
True
Suppose -4*m + g = -12221, -5*m = -21*g + 22*g - 15274. Is m a multiple of 9?
False
Suppose -3*q + 12*q - 81 = 0. Let f be (12/q)/(-2) - (-392)/3. Let y = f - 66. Is 16 a factor of y?
True
Let c(z) = 2*z**2 + z - 20. Let j be c(-8). Suppose -16 + j = w. Is 14 a factor of ((-9)/27)/((-2)/w)?
True
Let g be (-7)/21*-12 - 0/(-2). Suppose 5*u + 1343 - 3393 = 2*x, -g*x + 1204 = 3*u. Does 43 divide u?
False
Let r(b) = b**3 + 8*b**2 + 7*b + 7. Let i = 10 + -16. Let p be r(i). Let d = 72 - p. Is 4 a factor of d?
False
Let t be 14*(3 - 2) + -1. Suppose 132 = t*z - 1051. Suppose 12*f = -z + 463. Does 7 divide f?
False
Suppose -80154 = -40*m + 12246. Does 165 divide m?
True
Suppose t = -3*a - 209, 0 = -2*a - 0*t - 4*t - 136. Let r be (-84)/a*(-10)/3. Let y(z) = 14*z**2 + 7*z + 3. Is 8 a factor of y(r)?
False
Suppose -13*q + 10402 = -2312. Suppose -109*i + q = -107*i. Is 30 a factor of i?
False
Let j(w) = -w**3 + 10*w**2 - 13*w + 22. Let n be j(9). Let y = n - -443. Does 13 divide y?
True
Suppose -3*n + 86*c + 11559 = 90*c, -2*c = -3*n + 11595. Is n a multiple of 27?
True
Let j be 55 + (-3 - -8) - 0/1. Let p = j - -170. Is 7 a factor of p?
False
Suppose -17 = -v - 5*a + 15, -4*v = 5*a - 158. Suppose -244 = v*t - 43*t. Let r = -171 + t. Is 4 a factor of r?
False
Suppose -33*s + 50*s - 987309 = 0. Does 27 divide s?
True
Let f(i) = -i**2 - 22*i + 48. Suppose 3*o - u - 374 = -95, 0 = 3*o - 5*u - 279. Suppose -5*r + k = 106, 4*r + 4*k + o = -11. Is 8 a factor of f(r)?
True
Suppose -7*l + 10 = -4. Suppose l*b = 1 + 15. Let o(q) = 3*q**2 - 7*q - 15. Is o(b) a multiple of 16?
False
Let g = 122 + -67. Let i = g - 36. Suppose m = 13 + i. Is m a multiple of 32?
True
Let v = -582 + 1136. Let b = v + -502. Is b a multiple of 22?
False
Let p(u) = -4319*u - 109. Is p(-1) a multiple of 7?
False
Let j be (-24)/27*-3 - (-4)/(-6). Suppose -4*y = -j*l - 2, l + 3*l - 22 = -5*y. Is 4 a factor of (15/6)/(y/32)?
True
Suppose -h = b - 397, -b = 2*h + 101 - 495. Suppose -4*z + s + 756 = 0, 11*s - 6*s = -2*z + b. Is z a multiple of 10?
True
Let t(c) = 5*c**3 - 2 + 141*c**2 - 140*c**2 + 3*c - 3*c**3. Let i be 8/24*(-9)/(-1). Is 7 a factor of t(i)?
True
Suppose 55 = 5*y + 75. Is 0 - (-5 + (-2 - y) + -207) a multiple of 15?
True
Let y be -4*(-191 + 1) + (1 - -3). Suppose -y = -13*z + 2785. Is z a multiple of 7?
True
Let k(h) = 5*h**2 - 48*h - 408. Is k(-9) a multiple of 9?
False
Suppose 9*v + 11*v - 88704 = 8*v. Is v a multiple of 132?
True
Let f be (68/2)/((-32)/(-112)). Suppose -f*j - 2436 = -131*j. Is 29 a factor of j?
True
Is 69 a factor of 8469 + 216/((-36)/(-3))?
True
Suppose 4*h + 36 = 60, -p + 3*h = -5518. Is p a multiple of 8?
True
Let o(f) = -6*f**2 + 1 + 6*f**2 + 4*f**2 + 3*f + 0*f**2. Let y be o(3). Suppose p - y = -1. Is 9 a factor of p?
True
Suppose 5*z + 3*n - 5771 - 4817 = 0, 2*z - 4256 = 4*n. Is 8 a factor of z?
True
Does 25 divide (-259344)/(-54) - (-8)/6?
False
Suppose 2*f - i = 28, -4*f - i = -55 - 7. Let j(h) = -h**2 + 12*h + 11*h + 7 + 6*h - 11*h. Is 13 a factor of j(f)?
True
Let c be (-46779)/(-124)*(-6 - -2). Let g = -837 - c. Is 67 a factor of g?
False
Let l = 1128 + 391. Is l a multiple of 6?
False
Suppose 5*j - 500 = 250. Suppose -j = -2*g - 4*g. Does 8 divide g?
False
Suppose 0 = -7*l + 8*l - 10. Let q(h) = 26*h - 7*h**2 + l*h**2 - 4*h**2 + 17. Does 9 divide q(21)?
False
Suppose 0 = 37*w - 42*w + 300. Suppose w = 3*q + 2*q. Suppose 210 = q*u - 9*u. Is u a multiple of 14?
True
Suppose 0 = -q - 4*q + 3*u + 28, 0 = -5*q - 3*u + 22. Is 1159 - 1 - 0/q a multiple of 15?
False
Let h(r) = r**2 - 4*r - 5. Let b be h(11). Suppose -p + 43 = 3*u + p, 0 = -4*u + p + b. Suppose 22*x - 505 = u*x. Does 32 divide x?
False
Suppose 82*l - 94*l = -7548 - 74292. Is l a multiple of 31?
True
Let f(g) = -g**3 - 5*g**2 + 37*g + 10. Let t be f(-9). Suppose 5*v - t - 19 = 0, -4*v = -4*w + 456. Does 58 divide w?
False
Let t be (0 - -2) + (9 - 3)/3. Suppose -t*z - 136 = -3*f + 62, 0 = 3*z + f + 142. Let s = z + 58. Is s a multiple of 5?
True
Let w be 4/((-10)/5) + 16. Suppose -2*k + 3*u + w = 5*u, -k + 5*u = -19. Suppose -k*p - 7*p = -1232. Is p a multiple of 11?
True
Is 0 + 1 - (-1 + -8 + -5164) a multiple of 63?
False
Let y(l) = 107*l + 139. Let j be y(13). Suppose 70*g + j = 76*g. Is 17 a factor of 