 + -2)/((-12)/12). Let w be 4/(-1) - (r - -57). Let h = w - -131. Is h a multiple of 20?
False
Let x = 448 + -441. Suppose 4*q - 2*n = -x*n + 237, 230 = 4*q - 2*n. Does 58 divide q?
True
Let x(t) = 6*t - 2 - 13*t**2 + 5*t**2 + 9*t**2 + 6 + 3*t**3. Let r be x(3). Let j = -106 + r. Is 2 a factor of j?
True
Let n = -81 + -1965. Is ((-8)/3)/(22/n) a multiple of 8?
True
Let i(k) = -k + 16. Let c be i(-9). Let t = c + -36. Does 38 divide (1 + 151)*t/(-11)?
True
Suppose 129*f = 133*f - 20880. Does 9 divide f?
True
Let l = 10 + -55. Let u be 1830/l + (-4)/(-6). Let k = -31 - u. Is 9 a factor of k?
True
Let p(h) = -43*h + 2551. Does 5 divide p(-75)?
False
Let s(c) = 6*c - 30. Let j be s(6). Suppose 4*r = j*r - 10. Suppose 3*f + f = r*d + 161, -5*f - 4*d + 232 = 0. Does 4 divide f?
True
Let y(m) be the third derivative of m**5/60 + 7*m**4/24 + 3*m**3 - m**2. Let p be (-14)/42*37 + (-2)/3. Is 24 a factor of y(p)?
True
Suppose 0 = -5*u - 134 - 246. Let c be u/57*(-6)/2. Suppose -3*g + 45 = q + g, -c*q + 5*g = -117. Does 11 divide q?
True
Let p(i) = -i - 1. Let v be p(7). Let d be (-3)/v - (-1155)/56. Suppose -5*c + 134 = -d. Does 10 divide c?
False
Is 14 a factor of ((-20)/(-12))/((-405)/(-6641919))?
False
Let q = -1182 + 1830. Is 24 a factor of q?
True
Is (-1 - 4 - -70)/(5/900) a multiple of 75?
True
Let z(x) = -x**2 + 16*x - 24. Let h be z(14). Suppose -4*r + 0*r + 25 = 3*l, -r = h*l - 16. Let i = r + 18. Is i a multiple of 20?
False
Let m(q) = q**3 - 4*q**2 + 5*q - 8. Let n(d) = -d**3 - 9*d**2 - d - 4. Suppose -9 = 13*f - 12*f. Let i be n(f). Is m(i) a multiple of 21?
True
Suppose -4*p + 45384 = -3523*x + 3519*x, 0 = -4*p - 3*x + 45328. Is 28 a factor of p?
False
Suppose 67*o = 70*o - 18. Let g(i) = -8*i**2 + 4*i. Let y(b) = -7*b**2 + 5*b - 1. Let u(r) = 2*g(r) - 3*y(r). Is 12 a factor of u(o)?
False
Let m = 2623 - 1090. Does 21 divide m?
True
Let t be 323 - (-2 + 4*(-5)/(-4)). Suppose -96*m + 88*m = -t. Does 40 divide m?
True
Suppose -s + m + 21 = 4*s, -3*m = s - 1. Suppose 5*r = 4*y - 37, -2 - 1 = s*y + 3*r. Suppose 2*u + 2*f = y*u - 220, -4*f + 1072 = 5*u. Is 54 a factor of u?
True
Let r = -72 - -80. Suppose -r*t + 3*t + 17 = 4*x, 0 = -3*x + 4*t + 5. Suppose 0 = -3*b + 2*g + 513, g + 534 = x*b + 6*g. Is 20 a factor of b?
False
Let y(q) = q**3 - 10*q**2 + 23*q - 2. Let z be y(4). Is 7 - (-7 - (z - -58)) a multiple of 11?
True
Suppose -j - 107 = -110. Let t(y) = 28*y**3 - 2*y**2 - 17*y + 36. Is t(j) a multiple of 22?
False
Let s(m) = -m**2 + 11*m - 7. Let g be s(10). Let p = g - -37. Let l = p + -23. Is 8 a factor of l?
False
Suppose -77*x + 190258 - 88993 = -110254. Does 3 divide x?
False
Suppose 50*g - 42*g - 2536 = 0. Suppose 9*s + g = 14*s + w, 8 = 4*w. Is s a multiple of 3?
True
Let c = 105 - -528. Is c a multiple of 7?
False
Let d(z) = 8 + 2*z**2 + 12*z - z**3 + 2 - 3*z**2. Let o(k) = k**3 + 2*k**2 - 11*k - 11. Let l(x) = 7*d(x) + 6*o(x). Does 15 divide l(6)?
False
Let n(v) = -397*v + 715. Is 48 a factor of n(-33)?
False
Is (1193 - (-5)/5) + -8 + 8 a multiple of 27?
False
Let m = 52 + -53. Let o be m*4/6*-3. Suppose -2*s + o*q + 18 = 0, 2*s = -2*s + 5*q + 35. Does 2 divide s?
True
Suppose -24742 + 468550 = 69*c. Does 45 divide c?
False
Let m = 490 + -176. Suppose l = 180 + m. Is 20 a factor of l?
False
Let s = -332 - -228. Is 4 a factor of (s/(-10))/((-30)/(-450))?
True
Let a be (5/6)/(-5) - 1900/(-456). Suppose 4*c = 3*l + 418, 4*c - 550 = -a*l - 146. Is c a multiple of 10?
False
Let r = 22219 - 10579. Is r a multiple of 194?
True
Suppose -2885*v + 2889*v - 25520 = 0. Does 44 divide v?
True
Let t(h) be the third derivative of h**5/15 - h**4/6 - 11*h**3/6 - h**2. Suppose 3*n + 18 = 6*n. Does 27 divide t(n)?
False
Let s(u) = -u**2 + u - 1. Let v(q) = -6*q**2 + 21*q - 22. Let f(n) = 5*s(n) - v(n). Let k be f(15). Suppose k*b = 6*h - 2*h + 142, -1 = h. Does 18 divide b?
False
Suppose 434 = 12*l - 5*l. Suppose -4*q = -k - 267 - l, -q + k = -86. Let p = -15 + q. Is 22 a factor of p?
True
Let c = 72 + -68. Suppose -c*d + 0*d = 384. Let u = 181 + d. Does 22 divide u?
False
Let b = -484 - -1215. Is 43 a factor of b?
True
Let k = 11 - 49. Let c = -13988 + 14004. Let p = c - k. Does 6 divide p?
True
Let y = 6120 - -11730. Is 238 a factor of y?
True
Let w = 6475 - 4117. Let q be (3/9)/(6/w). Let n = -73 + q. Is n a multiple of 8?
False
Let t(p) = p - 1. Let j(i) = 12*i**2 - 5*i + 6. Let y(w) = j(w) + 5*t(w). Let m(g) = -g. Let d(r) = -2*m(r) + y(r). Is 23 a factor of d(3)?
True
Suppose -13*g = -15*g + 38. Is (11041/g)/1 + (-4)/38 a multiple of 7?
True
Suppose 0 = 9*r - 21*r + 2256. Suppose -17*w + r = -15*w. Is w a multiple of 36?
False
Let o be 4/(-10) + (-114)/(-10). Let u = o - 9. Suppose -u*f + f = -5. Is 5 a factor of f?
True
Suppose 3*p - 4*f - 303 = 0, -229 = -4*p - f + 156. Does 14 divide ((-5)/1)/(-5)*p?
False
Suppose -5*r + 527 + 7133 = 0. Is 3 a factor of r?
False
Suppose -3*f + 2*f = 0. Let c be (f*5/(-15))/(-3). Suppose c = g - 67 - 23. Does 15 divide g?
True
Let v(z) = 2*z**2 + 8*z. Let y be v(-6). Let s = 77 + -37. Let o = s + y. Is 26 a factor of o?
False
Let i be (-222)/518 - 75939/(-7). Suppose i = 35*u - 6162. Does 18 divide u?
True
Suppose 0 = 12*a - 3806 - 1930. Does 59 divide a?
False
Let n = -1237 + 1900. Is 13 a factor of n?
True
Suppose 3*i + 3*q + 2*q = 60, 0 = -i + 5*q. Suppose -1190 = -i*a + a. Suppose -3*w = -a + 7. Does 4 divide w?
False
Suppose -32812 = -41*n - 11*n. Suppose i + 1218 = -2*i. Let x = n + i. Is x a multiple of 45?
True
Let r be 768/12*6*(-1)/(-8). Let w = r + -44. Suppose l - 90 = -2*j, 0*l + w*j = -l + 86. Does 26 divide l?
False
Let z = 89460 + -43700. Is z a multiple of 176?
True
Suppose f + 20 = h, -3*f = 5*h - 1 + 77. Let j(l) = -l - 16. Let c be j(f). Is 11 - -2 - (2 - c) a multiple of 17?
True
Suppose -3 = -c + 2. Suppose -c*t - 1 + 81 = 0. Let y = t + 2. Is y a multiple of 9?
True
Suppose 0 = 6*a - 3*a + 4*g - 25846, 3*a - 25826 = g. Is a a multiple of 35?
True
Suppose -2*k - 10 = -3*x, 5*x - 8 = -k + 13. Suppose 0 = 4*v - x, -2*i - v = -443 - 116. Is 31 a factor of i?
True
Let k(u) = 97*u**2 + 59*u + 564. Is 25 a factor of k(-8)?
True
Suppose 6*g + 2*s + 10 = 2*g, s = -3*g - 6. Is 47 a factor of (-2 + g)*(-1 - 249/9)?
False
Suppose -s = -14 - 36. Let q = -7 - s. Let b = 106 + q. Does 7 divide b?
True
Is (1746 + 97)/(2/14) a multiple of 23?
False
Suppose -12*s = -8*s - 8. Suppose -640 = -s*u + 2*x, -6*x + 8*x + 1600 = 5*u. Is u a multiple of 40?
True
Let n = -24 + 26. Suppose n*k + 3*f - 218 = 42, 2*k + 5*f - 260 = 0. Is k even?
True
Suppose 5*l - 574 - 86 = 0. Let p(y) = -y**2 - 26*y + 8. Let t be p(-12). Suppose -2*d = -2*i - i + l, -2*d - t = -4*i. Is i a multiple of 11?
True
Let z = 31 - 38. Let w(n) = 2*n**2 - 4*n - 30. Let p be w(z). Suppose 2*q - 4*x - p = 0, -2*x - 3*x = 5*q - 255. Does 10 divide q?
True
Let l(f) = -735*f**3 + 2*f**2 + 26*f - 12. Does 86 divide l(-4)?
True
Let q = -16377 + 18093. Is q a multiple of 66?
True
Suppose 3*c - 13395 = -3*j, -110*j + 115*j + 3*c = 22335. Suppose -49*n = -j - 69618. Does 28 divide n?
True
Does 37 divide 2 + 1 + 4 + 10933 + -425?
False
Let v(m) = 139*m + 5834. Is v(51) a multiple of 8?
False
Let l = 7 - 4. Let p be (312/91 - 4) + (-36)/(-14). Suppose -v = p*f - 194, -7*v = -l*v - 8. Is f a multiple of 10?
False
Suppose -16*m + 8*m = -5472. Suppose 15*a = -m + 6294. Does 22 divide a?
True
Suppose -4*u - 3*c + 5179 + 33467 = 0, -4*u = -c - 38622. Is 9 a factor of u?
True
Let t(g) = -3*g**3 + 25*g**2 + 23*g - 33. Let k(d) = 2*d**3 - 13*d**2 - 11*d + 16. Let h(y) = -5*k(y) - 3*t(y). Is 21 a factor of h(-11)?
True
Suppose p - r - 30384 = 0, 2*p - 10*r = -13*r + 60748. Is 196 a factor of p?
True
Let x(r) = 25*r + 130. Let m be x(-20). Let c = -312 - m. Is 7 a factor of c?
False
Let w be ((-64)/96)/(1/(-54)). Is (-135)/12*(-96)/w a multiple of 5?
True
Suppose -22*j + 28460 + 30302 = 0. Suppose -26*p = -1983 - j. Does 5 divide p?
False
Suppose 233 = p + 107. Suppose 4*j + j - 210 = -5*v, -p = -3*j + 5*v. Is 14 a factor of j?
True
Let z = 461 + -419. Is 81 a factor of z*(667/(-115))/(4/(-10))?
False
Suppose -7*s - 13*s = -22*s + 30550. Does 65 divide s?
True
Suppose 0 = 4*j + 5*a - 1283, -3*j + 3*a + 850 = -119. Suppose -143*f = -121*f + 2134. Let g = j + f.