?
False
Let w = -8 - -6. Let d(q) = -q + 1. Let r be d(w). Suppose 0 = -f - 5*c - 19, r*f - 2*c + 0*c - 28 = 0. Is 3 a factor of f?
True
Let q(l) = 5*l**2 + 6*l - 4. Let i(v) = -11*v**2 - 13*v + 8. Let b(w) = 6*i(w) + 13*q(w). Let x be b(0). Is 9 a factor of 25 + (-4)/((-16)/x)?
False
Let x = -123 - -274. Suppose 5*u - x = -1. Suppose h = -h + u. Is 5 a factor of h?
True
Suppose -42*o + 47*o - 2*i - 1112 = 0, -3*i = -3*o + 660. Is o a multiple of 3?
False
Suppose -3*z + 3 = 6. Is 2 a factor of (-14)/91 + (-54)/13*z?
True
Suppose 0*m = m, 4*q + 40 = m. Let v = 31 + q. Suppose h = -2*j - 2*j + v, 200 = 5*h + j. Does 8 divide h?
False
Suppose 5 = 3*d - 4. Let x(f) = -13*f**2 + 14 + 4*f + 51*f**d - 50*f**3 + 2*f. Is 31 a factor of x(13)?
False
Suppose -a + 673 = -7*t + 2*t, 2*a + 2*t - 1346 = 0. Does 10 divide a?
False
Let a = -39 - -66. Suppose 2*k = -3*k - 40. Let c = a + k. Is c a multiple of 6?
False
Let l = 40 - 30. Suppose 0 = -2*h + 4*w + 256, -4*h + l*w = 5*w - 512. Is 19 a factor of h?
False
Is 33 a factor of (-10291)/(-4) + (5 - (-361)/(-76))?
False
Let k(g) be the second derivative of -7*g**5/20 - g**4/6 - g**3/6 + g**2/2 + 7*g. Suppose -2*c - 4*o = 0, 0 = -2*c + 2*o - 0*o - 6. Does 17 divide k(c)?
True
Let n = -20 - -23. Suppose 3*w - 42 = -3*v, -4*v - 8 - 27 = -n*w. Let t = w - -1. Is t a multiple of 7?
True
Let j(o) = 5*o**3 - 7*o**2 + 10*o + 4. Is j(4) a multiple of 10?
False
Suppose -4*l = 2*z - 2, z = -z - 3*l + 4. Let k(y) = -2*y + 13 + 6*y - z*y - 4*y. Does 16 divide k(-10)?
False
Let a be (-85)/(-3) + -1 - 12/36. Let w = a + 45. Is w a multiple of 6?
True
Is 2/16 - 149728/(-256) a multiple of 12?
False
Let o be ((-3)/1 + 2)/((-1)/(-14)). Let h = o + 23. Is h a multiple of 2?
False
Suppose 126 = -2*t + 392. Is t a multiple of 5?
False
Let h(g) = -g**2 + 10*g + 3. Let b = -4 - -11. Does 13 divide h(b)?
False
Let f = 2088 - 540. Is 69 a factor of f?
False
Let m = 38 + 6. Let b = 60 - m. Is 13 a factor of b?
False
Suppose -4*f - 4 = -100. Let q be 2*(44/8 - 3). Suppose -l + q = -f. Does 22 divide l?
False
Suppose 4*h - h + 48 = 0. Let g = 68 - h. Is g a multiple of 18?
False
Suppose 2*q = -4*s + 78, 2*q = -s + 3*s + 96. Let w = -13 + q. Does 11 divide w?
False
Let z(t) = 2*t**2 + 5*t - 8. Let a be z(4). Let l = a + -16. Let f = -15 + l. Is f a multiple of 6?
False
Let o = 256 - -2. Is 6 a factor of o?
True
Let i = -339 - -707. Suppose -i = -5*c - 3*p - 132, -3*c = 3*p - 138. Is c a multiple of 7?
True
Suppose -712 = -5*p - 152. Is p a multiple of 8?
True
Suppose 5*x = 3*z + 4*x - 68, 32 = 2*z - 4*x. Let u = 7 + -13. Let q = z + u. Is q a multiple of 6?
True
Does 19 divide -3 + 2 + 431 + -1 + -4?
False
Let r = 1351 - 919. Suppose 0 = 7*u - u - r. Does 18 divide u?
True
Suppose 15 = 5*z, z = 3*m - 0*z - 18. Let i(o) = 3*o**2 - 3*o + 9. Is 15 a factor of i(m)?
True
Suppose 0 = 3*a + 2*a - 40. Let m(u) = u**3 - 10*u**2 + 18*u - 10. Does 6 divide m(a)?
True
Suppose 0*g - 425 = -5*g. Does 5 divide g?
True
Let n be (4 + -1 - 2)*0. Suppose n = -5*q - s + 781, 4*s + 464 = 2*q + q. Is q a multiple of 31?
False
Let j(y) = -y**2 + 16*y + 87. Is j(19) a multiple of 6?
True
Let b = -63 + 66. Suppose -245 = -4*v - b*v. Does 9 divide v?
False
Let g = 1027 + -881. Is 13 a factor of g?
False
Suppose -15*c = 14*c - 1595. Does 25 divide c?
False
Suppose -u - 47 = 4*h, -4*h - 32 = 5*u - 9*u. Let m(k) = 3*k**2 + 10*k - 20. Is 9 a factor of m(h)?
False
Let l(s) = 10*s**2 + 2*s + 1. Suppose -5*j + 3*q - q = 2, -q + 4 = -4*j. Let k be l(j). Suppose b - 2*b = -k. Does 20 divide b?
False
Let o = 714 - 668. Is o a multiple of 46?
True
Let y = -904 - -586. Let h = 570 + y. Does 42 divide h?
True
Is 171 + -8 + -1 - (0 + -2) a multiple of 6?
False
Suppose 54*q = 31*q + 10465. Is q a multiple of 91?
True
Suppose 9 = 2*g + g. Let c(u) = u**g + 4*u**2 + 2*u**2 - 12*u**2 + 4 + 3*u. Is 7 a factor of c(6)?
False
Suppose -4 = -n - 1. Suppose 2*q - 3*q = n. Is 6 a factor of (q - -1)/(1/(-3))?
True
Let w(u) = -u**2 + u - 1. Let d(z) = -11*z - 10*z**2 + 9 + 30*z**2 - 14*z**2. Let m(j) = d(j) + 4*w(j). Is m(4) even?
False
Suppose 8*d - 13 = 3. Suppose -2*a + a + d*i + 18 = 0, -a + 3*i = -13. Is a a multiple of 9?
False
Is 14 a factor of (-14025)/(-20) + 0 - 9/(-12)?
False
Let x = 38 - 36. Is 34 a factor of (-4)/2*x - -106?
True
Suppose -r + 5*o = -1671, 0 = -105*r + 101*r + 3*o + 6667. Is 7 a factor of r?
True
Let g = -1 - 7. Is 37 a factor of g/(-28)*1 - (-4136)/28?
True
Let n = 13 + -8. Suppose 2*q = -n*q + 315. Is 15 a factor of q?
True
Does 16 divide 90/165*11*169/3?
False
Let g = -108 + 626. Is 16 a factor of g?
False
Let c(o) = -o**3 - 6*o**2 + 12. Let t be c(-6). Let f = 28 - t. Is f a multiple of 4?
True
Suppose 0 = -126*c + 109*c + 29614. Is c a multiple of 48?
False
Suppose 2 = 4*q - 3*q. Let k = -162 - -167. Suppose 2*y = k*g - q*g + 111, -3*y = g - 139. Is y a multiple of 16?
True
Let a(h) = -h**3 + 8*h**2 - 7*h + 2. Let d be a(7). Suppose 3*g - 6 - 21 = 3*b, -3*g = d*b - 2. Is g a multiple of 2?
True
Let j(w) = -w**2 - 27*w - 15. Is j(-20) a multiple of 25?
True
Suppose -3*k = -4*k - 106. Let c = -198 - k. Does 16 divide (-2)/(-3) - c/6?
True
Let r(o) = 6*o - 5. Let h be r(7). Suppose -n + 2*n = 3*u - h, -u = -n - 13. Does 7 divide (0 + 28/u)*3?
True
Let w = 1345 - 412. Is 15 a factor of w?
False
Let k = 166 - 110. Let b = k - 30. Is 26 a factor of b?
True
Let m = -8 - -17. Let h = m + -1. Suppose -3*q = g - 2*q - h, -4*q - 12 = 0. Does 3 divide g?
False
Suppose y = -h + 21, 0*y - 121 = -5*h + 3*y. Let t = h + -26. Let m = 72 + t. Does 18 divide m?
False
Suppose 0 = -k + 7 - 1. Let w(s) = 3 - s**2 - 4 - k - 13*s. Does 23 divide w(-10)?
True
Let m = -22 + 24. Suppose -r + m*x + 5 = 3*x, 0 = 5*r + 4*x - 23. Suppose 0 = -p + 2*c + 7, -2*p + r*c + 0*c = -17. Is 12 a factor of p?
False
Let u(c) = -3*c**3 - 2*c**2 - c + 254. Let p be u(0). Let a = -128 + p. Is 21 a factor of a?
True
Let s = -6 - -9. Let f(x) = x - x**3 + 5*x**2 + 5*x - s + 3*x. Is f(6) a multiple of 15?
True
Let f = 2181 + -1923. Is 13 a factor of f?
False
Let r be 163/15 + 2/15. Suppose 5*k = u + 153, 5*u + 10 = k - r. Is 31 a factor of k?
True
Let k = -106 + 120. Suppose -k*v + 480 + 234 = 0. Is 4 a factor of v?
False
Let t(r) be the second derivative of 3*r**4/4 + 2*r**3/3 + 3*r**2/2 + 35*r. Is t(-4) a multiple of 41?
False
Suppose -4*b - 565 = -5*b + 2*s, -b + 4*s + 565 = 0. Let v = -313 + b. Does 12 divide v?
True
Let h be (36/(-14))/(-5 - 201/(-42)). Suppose -h*z + 558 = -6*z. Is 8 a factor of z?
False
Does 106 divide (-13)/(65/(-13790)) - (-3 + 5)?
True
Let z(m) = -m**3 - 6*m**2 + 7. Let u be z(-5). Is (-2 - (0 - 0))*u a multiple of 15?
False
Let w(b) = 3*b**3 - 7*b**2 - 2*b - 2. Let p = 30 - 26. Is 14 a factor of w(p)?
True
Let b(y) = 10*y - 4*y + y - 36 + 49. Let u be b(-4). Is 15 a factor of u/4*120/(-9)?
False
Let q(x) = x**3 - 9*x**2 + x - 6. Let n be q(9). Suppose -5*k - n*j + 49 = 0, 4 = 4*k - 2*j - 22. Is 3 a factor of k?
False
Suppose g + 2*o - 1619 = 0, -3*o - 3248 = -4*g + 3228. Is 41 a factor of g?
False
Suppose 61*l - 1432 = 53*l. Does 4 divide l?
False
Let n(y) = -211*y + 77. Is 8 a factor of n(-1)?
True
Let o = 174 + -106. Does 17 divide o?
True
Suppose -6*n - 110 = -n. Let y be n/8 + 1/(-4). Does 8 divide 4 - (-12)/y - -24?
True
Let b = 580 - -834. Does 10 divide b?
False
Let g(u) = -u**3 - 6*u**2 + 3*u - 1. Let v be g(-7). Let x = v + 16. Is 8 a factor of x?
False
Suppose 2966*m = 2968*m - 1778. Is m a multiple of 3?
False
Suppose -42 = -4*o + 7*o. Let i = o - -12. Is (25 + -11)*i/(-4) a multiple of 6?
False
Is ((-7)/(-2))/(-10*(-10)/1200) a multiple of 14?
True
Suppose 0*v + 4*i + 6 = -5*v, 26 = 5*v - 4*i. Suppose -4*b + 0*b + 196 = -2*f, 0 = 5*f + 10. Suppose 2*d = -h + 48, v*h - b = h - d. Does 24 divide h?
True
Let b(i) = 2*i**2 + 5*i - 9. Let d(h) = -h + 1. Let u(f) = b(f) + 6*d(f). Let t(k) = -k**3 - 6*k**2 - k - 8. Let s be t(-6). Is 7 a factor of u(s)?
True
Suppose -22*x + 74566 = -63440. Does 16 divide x?
False
Suppose 0 = -6*a + 5 + 115. Let r = 18 - a. Let j = r + 42. Is j a multiple of 18?
False
Suppose -31*q + 5326 + 2579 = 0. Does 17 divide q?
True
Let d = -29 - -58. Suppose 2*g - 5*i = d, 2*g - 56 = -3*g - 4*i. Is 4 a factor of g?
True
Suppose 10 = -2*t, 0