r?
False
Let g = -3 - -8. Let n = -16 - -48. Suppose -g*k + 4*k + n = 0. Is 16 a factor of k?
True
Let l = -602 - -868. Is 38 a factor of l?
True
Suppose 27*z = -607 + 1606. Let j be (-2)/(-5) - (-284)/(-10). Let h = z + j. Does 7 divide h?
False
Is ((-7)/(42/100))/((-8)/72) a multiple of 15?
True
Suppose -3*k - 49 = -4*m, m - 13 = k + 2. Let c be k/(44/48) - 1. Let l = c + 24. Is l a multiple of 9?
False
Let w = 4 + -1. Suppose 2*k = f - 7, -5*f = k + w*k + 21. Is 12 a factor of (-8 - -32)*(0 - f)?
True
Let g(t) = 10*t**2 + 6*t - 17. Let j be g(-7). Suppose -2*z + w = -6*z + j, -3*w = z - 105. Is z a multiple of 36?
True
Let j be 73/(-7) + 3/7. Does 12 divide (-909)/(-15) - (-6)/j?
True
Suppose -30*h = -31*h + 29. Suppose -534 = h*n - 32*n. Is n a multiple of 8?
False
Suppose -2*b - 3*b + 60 = 0. Suppose 7*s = b*s. Suppose s = 4*k - 2*g - 48, 3*k + 2*g + 0*g - 50 = 0. Is k a multiple of 13?
False
Suppose 13 = 5*l - 12. Suppose -l*o + 134 = -3*o. Does 12 divide o?
False
Suppose 20*x + 108 = 24*x. Is x a multiple of 2?
False
Let n(r) = -r**3 - 20*r**2 + 9. Let m be n(-20). Suppose 135 + 756 = m*z. Does 39 divide z?
False
Let x(h) = 37*h - 462. Does 8 divide x(22)?
True
Let k(u) = -5*u - 10. Let q be k(-8). Suppose 0 = -3*t - 0 + q. Suppose -3*w + t + 38 = 0. Is w a multiple of 16?
True
Let f = -469 + 1063. Does 66 divide f?
True
Is 54 a factor of 5/(-20) + (-6632)/(-32)?
False
Let j = -36 - -63. Suppose 30*r = j*r + 9. Suppose -3*g + 6*g = -d + 21, 0 = -5*d + r*g + 123. Is 12 a factor of d?
True
Suppose 0 = -4*a - 7*a + 66. Let q be 12/(-5) - (-4)/10. Let g = a - q. Is 8 a factor of g?
True
Suppose -7*q + 2*q = -23285. Is q a multiple of 13?
False
Suppose -3*w - 4*o = -406, 1 = -o + 5. Let j = -29 - 41. Let k = j + w. Is 32 a factor of k?
False
Is 2 + -7 - (16 + -20) - -441 a multiple of 88?
True
Let h(a) = 2*a**3 - 3*a**2 + 6*a - 6. Let g be h(4). Suppose -3*r = 5*o - 4*r - 124, 4*o - 2*r - g = 0. Does 3 divide o?
False
Suppose 7*t = 4967 - 1145. Is 26 a factor of t?
True
Let f = -192 + 316. Is f a multiple of 12?
False
Suppose 0 = -4*b - 3 - 1. Is 470/40*(-4)/b a multiple of 11?
False
Suppose 0 = -15*b + 37443 - 12963. Is b a multiple of 32?
True
Let b(i) = -25*i. Let c be (-106)/12 - (-8)/(-48). Is 15 a factor of b(c)?
True
Suppose 485*v - 478*v = 5180. Does 37 divide v?
True
Let q(h) = -h**3 + 7*h**2 - h. Suppose -3*l = -4*k + 9, 5*l + 0*k = k - 15. Let x be (9/(-4))/(l/8). Is q(x) a multiple of 20?
False
Let c(y) = -10*y + 2. Let r(i) = i + 1. Let o(p) = -c(p) - 4*r(p). Let k be o(8). Suppose -4*u = -7*u + k. Is 7 a factor of u?
True
Let g(f) = 4*f**2 - 7*f + 2 - f**2 - 4. Does 9 divide g(-5)?
True
Suppose -300 = -7*n + 554. Is n a multiple of 23?
False
Suppose -3*x - 2*i = -820, -10*i + 264 = x - 14*i. Is 38 a factor of x?
False
Suppose 3*k = -2*k + 5*d - 305, 0 = -3*k + 4*d - 178. Does 19 divide (-12)/k - 1875/(-33)?
True
Let i(x) = x**3 + 6*x**2 - 3*x - 7. Let z = -29 + 41. Suppose 2*b + z = -0*b. Is i(b) a multiple of 7?
False
Let h = 134 - 39. Suppose 11*l + h = 16*l. Suppose l - 72 = -t - c, 5*t - 5*c = 255. Is 8 a factor of t?
False
Suppose 338 + 593 = -7*y. Let w = 257 + y. Is 24 a factor of w?
False
Suppose 3205 + 579 = 8*o. Is 10 a factor of o?
False
Does 4 divide -1*(-17 - (10 + -7))?
True
Let d(z) = z**3 + 17*z**2 + 17*z + 7. Let i(o) = -4*o**3 - 52*o**2 - 52*o - 20. Let t(b) = -7*d(b) - 2*i(b). Does 5 divide t(16)?
False
Is 19 a factor of (-95)/(12/18 + 68/(-84))?
True
Suppose n + 283 = 3*b, -2*b - 2*n = 3*n - 217. Is b a multiple of 30?
False
Suppose -50 = -3*r + 28. Let m = r - 22. Suppose 0 = -4*h + b + 36, h - 3*h + m*b + 32 = 0. Is h a multiple of 8?
True
Suppose 2*m + 4*n = 12, -m - 12 = -3*m - 2*n. Suppose -3*z = -4*k + 4, 2*z - m - 14 = -3*k. Suppose 0*o + z*o - 56 = 0. Is o a multiple of 14?
True
Let g = 1522 + -952. Does 38 divide g?
True
Suppose 4*c - 2*m = -c + 130, -104 = -4*c + m. Suppose 3*i + c = 4*x + 175, 2*x = -2*i + 118. Is i a multiple of 14?
False
Suppose 0 = 3*l - q - 9, 2*q = 9*l - 4*l - 14. Does 54 divide 12/(-24) - (-1490)/l?
False
Let t = 24 + -14. Suppose t*w - 239 = -19. Does 10 divide w?
False
Let v be (3 + (-10)/6)*3. Suppose 5*l = 5*y - v*y + 133, 3*y - 2*l = -412. Is ((-22)/(-33))/((-4)/y) a multiple of 11?
False
Let s(g) = g**3 + 7*g**2 - 5. Let w be s(-7). Let h be w/15 + 5043/9. Suppose 6*x - 11*x + h = 0. Is x a multiple of 22?
False
Let k = -9 + 16. Let o(u) = 4*u**2 + 1 - k - u**3 - 8*u**2 + 3*u. Is 12 a factor of o(-6)?
True
Suppose -8*y = 4*g - 5*y - 15613, 0 = 3*g - 3*y - 11694. Does 83 divide g?
True
Let z = 15 - 10. Suppose z - 1 = 2*o. Suppose 68 = 2*n - 0*n + 4*x, -64 = -o*n - 3*x. Is n a multiple of 13?
True
Let u(i) be the first derivative of -6 - 2*i**3 + 3*i + 5/2*i**2 + 1/4*i**4. Is u(6) a multiple of 6?
False
Let g(d) = -2*d - 7. Let w be g(-10). Let o = w - -26. Let m = -19 + o. Is 12 a factor of m?
False
Is 2 a factor of (-399)/(-14) - (-6)/(-12)?
True
Suppose -12*c - 11*c = -20309. Is c a multiple of 37?
False
Let o(c) = -7*c + 11. Suppose t - 5*q = -14, 3*t - 4*q + 31 = -0. Does 21 divide o(t)?
False
Let f = 1259 - 744. Is f a multiple of 20?
False
Let v(d) = d**3 - 8*d**2 - d + 11. Let u be v(8). Suppose -u*l + 113 = -n, -3*l + n + 3*n = -128. Does 5 divide l?
False
Suppose 0 = -4*s - y - 2*y - 13, 11 = -4*s - 5*y. Is 18 a factor of s/(12/(-3))*-1*-113?
False
Suppose 311808 = 65*x + 31*x. Is 56 a factor of x?
True
Suppose 4*t - 3 = 5. Let r = t + 36. Is r a multiple of 19?
True
Let p = -15 - -30. Let f be 100/p*(-54)/(-4). Is 14 a factor of 5028/f + 2/15?
True
Does 10 divide 16/(15 + -7) + 493?
False
Suppose -4*z + 37 = 4*b - 15, 0 = -3*b + 5*z + 55. Suppose -17*j + b*j + 274 = 0. Does 11 divide j?
False
Suppose 0 = -5*i - 2*g + 52, 4*g - 44 = -8*i + 3*i. Let q be 1 - i/(1 - 4). Suppose q*w - 190 = -0*w. Is w a multiple of 19?
True
Let j = -117 + 308. Is 27 a factor of j?
False
Let h(r) = 3*r + 9. Let j be h(-4). Let w be -4*j/24*-18. Let t = -5 - w. Does 3 divide t?
False
Suppose 146 = 3*g - 259. Let h = -84 + g. Does 17 divide h?
True
Let r(g) be the first derivative of g**3/3 + 11*g**2/2 - 14*g - 2. Let t be r(-12). Does 14 divide (-1)/((-58)/28 - t)?
True
Suppose 105 = v - 0*v. Suppose -r + v + 61 = 0. Let z = 253 - r. Is z a multiple of 22?
False
Suppose 3*d = -d + 96. Suppose -2*f = -f - d. Let s = f + -18. Is s a multiple of 2?
True
Let u be (-144)/(-78) + 4/26. Suppose 4*o + 4*g = 80, -3*o - 27 = u*g - 88. Is 7 a factor of o?
True
Suppose 4*h + 3*o = 664, 0 = -h - 2*o + 22 + 149. Let a = h - 51. Suppose 0 = -5*b - 3*t + 270, 0 = -4*b - 5*t + a + 117. Is b a multiple of 17?
True
Suppose 2*q - 2 - 10 = 4*o, -2*q + 14 = -5*o. Suppose 1 = p, q*f = 4*p - 2 + 14. Is 2 a factor of f?
True
Let j be (-4)/4*0/(-2). Suppose 3*h + 3*x = -6, j = 5*h + 3*x + 8 - 0. Is 7 a factor of h + 0 + -3 - -22?
False
Let g(c) = 7*c**2 - 5*c - 55. Is 11 a factor of g(-11)?
True
Let s(d) = 12*d**2 + 20*d + 7. Let r(v) = -2*v**2 - 3*v - 3. Let p be r(-2). Is s(p) a multiple of 23?
True
Let b be (-10)/(-25) - (-23)/5. Is 8 a factor of 2/(-10) - (-321)/b?
True
Suppose 24*v - 230 = 3370. Is v a multiple of 30?
True
Let j = 97 + -47. Suppose -j - 78 = -4*g. Let t = g + -23. Does 5 divide t?
False
Let l(h) = -3*h + 18. Let d(i) = -4*i - 8. Let r be d(0). Does 22 divide l(r)?
False
Suppose 8367 = 6*u + 1377. Suppose 14*c = -101 + u. Is 14 a factor of c?
False
Suppose 4*r + 44 = -5*z, -r - 2*z = -0 + 14. Let v(l) = l**2 + l + 4. Is 10 a factor of v(r)?
False
Suppose -4*k + 2236 = 3*j - 9*k, -3720 = -5*j + 5*k. Is 14 a factor of j?
True
Let c be 4*(-3)/(-24)*46. Let q = c - 9. Suppose 3*z - 10 = q. Is z a multiple of 7?
False
Let y = 30 - 15. Let b = -11 + y. Suppose -b + 66 = 2*f. Is 18 a factor of f?
False
Suppose 6*u - 2099 = 901. Suppose -w = -1, 2*m - 3*w - w - u = 0. Is m a multiple of 57?
False
Suppose -6*s - 1360 = -11*s. Is 8 a factor of s?
True
Is 40 a factor of (76/171)/(6/4563)?
False
Suppose 3*k - 7 = -y - 5, -13 = -2*k - 3*y. Let p be 5 - (1 + 1 + -1). Does 7 divide p - (-3 + k) - 1?
True
Let w(n) = 10*n**3 + 9*n**2 + 10*n + 11. Let d(m) = -9*m**3 - 10*m**2 - 11*m - 12. Let a(u) = -5*d(u) - 6*w(u). Is 13 a factor of a(-2)?
False
Let u(b) = -b - 2. Let a be u(-3). Let q be (1 - a)*