ose 2*d - 1 + r = 0. Is 3 a factor of 14 + (-7 - -3 - d)?
True
Suppose 47 = -c + 11. Let z = 4 - c. Suppose 303 = 7*v - z. Does 10 divide v?
False
Let t(y) = y**3 + 31*y**2 - 34*y - 58. Let h be t(-32). Let v(b) = 17*b - 10. Is v(h) a multiple of 46?
True
Does 39 divide (-5294)/(-8) + (-15)/(-12)?
True
Suppose -4*g - 3*x = -2*x + 19, 29 = -4*g + x. Is 3 + 52/(-6)*g a multiple of 11?
True
Let r(a) = 17*a - 2. Let z be r(-5). Let s = -28 - z. Is s a multiple of 24?
False
Let s = 621 + -432. Does 25 divide s?
False
Let s = 101 + -59. Suppose 3*b = -3*h + 7*h + 63, -2*b + s = 2*h. Is 9 a factor of b?
False
Suppose -35*k = -37*k + 4. Does 14 divide 211/3 - (16/(-12))/k?
False
Let v = 93 + -145. Let a = v + 76. Is a a multiple of 4?
True
Suppose 12 = -3*y, a + 11*y = 7*y + 164. Is 5 a factor of a?
True
Let u be (24/42)/(4/14). Suppose -4*d + 200 = u*y + y, 5*y = -3*d + 348. Is y a multiple of 36?
True
Let t(v) = -4*v - 10. Let q be t(-4). Suppose -2*u - 2*j = -4*j, j = -4*u. Suppose -r + q*r - 175 = u. Does 10 divide r?
False
Suppose 450 = -4*x - 286. Let l = 290 + x. Is l a multiple of 16?
False
Suppose 5*c - 4*d - 810 = -2*d, -4*c + 625 = 3*d. Suppose -3*t + 74 + 15 = 2*r, r - c = -5*t. Does 3 divide t?
True
Let o(d) = 107*d**2 + d - 1. Let s be ((-4)/(-6))/(138/(-18) - -7). Is o(s) a multiple of 35?
True
Is 8 a factor of -6 - -3*67*(8 - 4)?
False
Suppose 5*b + 2*t - 766 = 0, -4*b + b + 464 = -t. Suppose k - 3*m = 86, 2*k + m - b = -2*m. Let p = k + -50. Does 15 divide p?
True
Let n be (-2)/(-5) - (-594)/15. Suppose 2*u + y = 56, 3*u - n = -2*y + 42. Suppose q + q = u. Is 6 a factor of q?
False
Let l = 133 + -123. Is 14 a factor of (-1116)/(-20) - (-2)/l?
True
Let c = 32 + 13. Is c a multiple of 7?
False
Is (6171/44 - -1)*4 a multiple of 57?
False
Suppose 0 = o + 48 - 54. Suppose -49 = -o*c + 41. Does 5 divide c?
True
Let n(w) be the second derivative of -w**5/20 + 7*w**4/12 + 7*w**3/3 + 3*w**2 - 4*w. Let s be n(10). Is 25 a factor of (-45)/(-6)*s/(-21)?
False
Let c(b) = b**3 + 15*b**2 - 31*b + 20. Is 31 a factor of c(14)?
True
Suppose 3*k - 241 - 227 = 0. Let n = 114 + 114. Let j = n - k. Is j a multiple of 24?
True
Suppose f - 3*o + 302 = -0*o, 2*f + 582 = -5*o. Let l be (9/6)/((-12)/f). Does 8 divide -4 + l - (0 + 1)?
True
Let o(s) = 23*s - 6. Suppose y - 33 + 32 = 0. Is o(y) a multiple of 17?
True
Suppose 3*u - 2*y - 3660 = 0, -y = 4*u + 1136 - 6016. Does 11 divide u?
False
Let i = -2654 - -4470. Does 82 divide i?
False
Does 9 divide ((-3297)/(-42))/(2/36)?
True
Let y = -23 + 11. Let u(r) = -r**3 - 13*r**2 - 17*r - 30. Is u(y) a multiple of 30?
True
Let p be 0/10 + 32/(-1). Let o = p + 75. Is o a multiple of 8?
False
Let i = -146 - -304. Is 51 a factor of i?
False
Suppose -n - 4*n = 0. Suppose l + 2*l + 9 = n. Is (l/(-3))/(3/81) a multiple of 7?
False
Let l = 1109 - 588. Is 17 a factor of l?
False
Suppose 5*g = -2*b - 0*g + 210, 4*b = -2*g + 436. Is 35 a factor of (b - 4)*6/4?
False
Suppose -2*x + 4*x = 5*f + 83, 0 = -3*x - 4*f + 67. Is x a multiple of 29?
True
Suppose -o + 5*l + 413 = 33, 5*o = 2*l + 1808. Is o a multiple of 64?
False
Suppose 13*w = 2*w + 1859. Is w a multiple of 20?
False
Suppose 17 = 5*x - 53. Suppose -c = -4*q - 7, 2*c - 5*q + 0*q - x = 0. Is c a multiple of 7?
True
Let a(x) = x**3 + 9*x**2 - 22*x + 29. Is a(-11) a multiple of 2?
False
Suppose -3*k + 2*r = 2, -3*r + 6 = k - 8. Suppose -3*s = -s + b + 62, 0 = k*b + 4. Is 7 a factor of 3 + -6 - s/2?
False
Let s(y) = -y**2 + 69. Suppose -4 = -5*r + 2*c, -2*c - 3*c - 10 = -3*r. Suppose 2*n - 3*n = r. Is s(n) a multiple of 18?
False
Let t(c) = -c**2 - c + 9. Let d be t(-4). Let v = 187 - d. Is v a multiple of 42?
False
Let s(t) = -t**3 + 19*t**2 + 24*t - 1. Suppose -q - 4 = 0, -2*y - q + 33 = -3. Is s(y) a multiple of 17?
False
Does 52 divide 4/26 + (-16)/312*-9123?
True
Let c(x) = -3 + 3 + 2*x - x**2 + 2. Let g be c(2). Suppose -48 = -g*u + 4*f, -69 = -4*u + 2*f + 45. Is u a multiple of 10?
True
Suppose -154 = -5*m - c, -m - 2*m + 106 = 4*c. Suppose m = 3*n - 177. Is 23 a factor of n?
True
Suppose 10*c = 10650 - 1930. Does 36 divide c?
False
Let j = 1490 - 1030. Is 20 a factor of j?
True
Suppose -5*c = -3*t + 39, -2*t + c + 26 = 2*c. Let z be (1 - 2)*(-136 + 1). Suppose z = 5*r + 3*w, -38 = -r - w - t. Is 10 a factor of r?
True
Let b(g) = -g**3 - 6*g**2 - 6*g - 2. Let x be b(-5). Suppose -x*t = -4*t + 3. Suppose t*s + 228 = 7*s. Is s a multiple of 19?
True
Let x(j) = -j**3 + 8*j**2 + 10*j - 2. Let c be (-4)/2 + (1 - -1). Let b = 9 + c. Does 7 divide x(b)?
True
Let i(m) = m**3 - 9*m**2 - 9*m - 3. Let x be i(10). Suppose 0 = -0*n - x*n + 56. Does 5 divide n?
False
Suppose 0 = 2*s - 51 - 1. Suppose 5*l = 4*l + 39. Suppose -5*p + l = -s. Does 9 divide p?
False
Let h(m) = -47*m - 60. Is h(-12) a multiple of 72?
True
Let p(a) = 10*a**2 - 9*a - 47. Does 11 divide p(-4)?
False
Let g(o) = 2*o**3 - 33 - 10*o**3 + 11*o + 6*o**3 + 3*o**3 + 20*o**2. Does 7 divide g(-19)?
True
Is 272 - 13/(52/(-16)) a multiple of 19?
False
Let c = 7 - 14. Let z = c - -8. Is 252/7 - 1/z a multiple of 8?
False
Let u(f) = f**2 - 5*f - 10. Let p be u(7). Suppose -b = p*b - 320. Is b a multiple of 16?
True
Let b be -2 + 12/3*1. Suppose -2*v - 16 = -b*n - 0*v, 5*v = -2*n + 2. Is 2 a factor of n?
True
Let z = 62 - -60. Is 10 a factor of z?
False
Let a = 21 - 39. Let s be (a/(-1))/(-3 - -4). Suppose -3*t + 30 + s = 0. Is t a multiple of 16?
True
Suppose -3*x + 1595 = -4*f, x - 505 = -8*f + 4*f. Does 35 divide x?
True
Let p(v) = -14*v - 10. Let r be p(-5). Suppose -4*w = w - r. Let i(a) = -a**3 + 13*a**2 - 8*a + 5. Is i(w) a multiple of 14?
False
Suppose 18*j - 552 = 6*j. Is j a multiple of 6?
False
Let p(a) = -a**3 + a**2 - a + 1. Let d(b) = -5*b**3 + 3*b**2 - 4*b + 76. Let t(x) = d(x) - 4*p(x). Is t(0) a multiple of 25?
False
Suppose 12 = 2*y - 0*y. Suppose -3*r = 4*q - 0 - y, 9 = -3*q. Suppose r*h - 5*h = 18. Does 4 divide h?
False
Let s be 1/(2/440) - 3. Suppose -n = 7*c - 3*c - 606, 594 = 4*c - 5*n. Let t = s - c. Is 17 a factor of t?
False
Let s = -216 - -320. Is 4 a factor of s?
True
Let c(l) = 36*l**2 + 3*l. Let d be c(-2). Suppose 0 = 5*p + 4*n + 462, 0*n = -2*n - 6. Let k = d + p. Is 12 a factor of k?
True
Let j(z) = z + 9. Let m be j(-5). Suppose m*q + 35 = -3*g + 8*g, -4*q = g + 17. Suppose -g*f = -0*f - 81. Is 7 a factor of f?
False
Suppose -15*r = -22*r + 4319. Is r a multiple of 7?
False
Let m be ((-6)/10)/(-2*(-5)/50). Does 10 divide (2 - -41)*(1 - (3 + m))?
False
Is 1325 - (-1 + -11 + 6) a multiple of 23?
False
Suppose -24*l = -31*l + 483. Is 23 a factor of l?
True
Suppose -2*y + 12*y - 510 = 0. Is y a multiple of 24?
False
Let w(c) = 8*c + 25. Let u(j) = j - 1. Let h(x) = -5*u(x) - w(x). Is 36 a factor of h(-14)?
False
Suppose -3*n - 159 = -2*w - 1514, 2261 = 5*n - 2*w. Does 5 divide n?
False
Suppose -2*k = -k - 196. Does 7 divide k?
True
Let z(h) = -5 - 8*h + 2*h**2 - 2 + 11*h. Let l be z(-6). Let u = -13 + l. Does 17 divide u?
True
Suppose 5*s = 13056 + 164. Is 8 a factor of (-4)/(-26) - 6/((-312)/s)?
False
Let k be 3 + (-50*3 - -3). Let i = 226 + k. Let p = 124 - i. Is p a multiple of 14?
True
Is 26 a factor of (-24)/9*135*91/(-28)?
True
Let n = 12 + -10. Let k(b) = -7*b + 4 + b**2 - 3*b - b - n*b**2. Is 3 a factor of k(-10)?
False
Suppose -z + 6*z - 22 = -3*d, 18 = 3*z - 3*d. Suppose 2*c + 97 = z*b - 30, 4*b - 105 = 5*c. Is b a multiple of 2?
False
Let j(d) = 19*d**2 - 2*d - 1. Let q be j(-1). Suppose a - q = -3*a. Suppose a*o - 12 = 4*o. Does 12 divide o?
True
Let l = 2 + 2. Suppose -6 = -l*u + 134. Let z = -1 + u. Does 31 divide z?
False
Let v = 143 + 117. Is 20 a factor of v?
True
Suppose 29 = 7*i - 244. Let q = -25 + i. Does 13 divide q?
False
Let c be ((-8)/6)/4 - 93/(-9). Suppose 10*y = 5*y - j + 373, c = -5*j. Is 15 a factor of y?
True
Suppose 5*u - 25 = 5. Let p be (-2)/u*(33 + -12). Is 9 a factor of 14/p + (-1 - -50)?
False
Is ((-2141)/7)/(-10*7/490) a multiple of 18?
False
Suppose 0 = 43*u - 63*u + 19380. Is u a multiple of 28?
False
Let x(r) = 7*r + 66. Let t be x(-9). Let w(a) = 47*a + 27. Is 8 a factor of w(t)?
True
Let g(j) be the second derivative of 4*j**3/3 - 13*j**2/2 - 15*j. Does 6 divide g(5)?
False
Let y = 19 + -9. Suppose 0 = 3*q + 2*r - 56, -q = 5*r - 13 - y. Is 13 a