ose -3*x + 1089 = -3*s, -5*x - 2*s + n*s = -1809. Is x a multiple of 18?
True
Is (-2418)/4433 + 118592/22 a multiple of 34?
False
Let h = 20 - -122. Suppose -2*u - h = -862. Suppose 5*i = x + u, 4*x - 2*x + 223 = 3*i. Does 22 divide i?
False
Suppose 1086*k = 1081*k + 40. Suppose 0 = -k*t - 3*t + 3971. Is 30 a factor of t?
False
Let w be 63*(-2)/(-1 - 5). Suppose 17*y - 3724 = -w*y. Does 15 divide y?
False
Suppose -3687 = -p - t + 18372, 5*p - 4*t = 110214. Is p a multiple of 35?
True
Suppose -7*s = 16 + 12. Does 8 divide (-25585)/(-68) + 1/s?
True
Let d = 44 - 56. Let z(j) = -2*j**2 - 14*j + 11. Let o be z(d). Let g = o - -206. Is 41 a factor of g?
False
Let s(a) = 3*a - 2. Let x be s(25). Suppose -i = 2*b - 5*b - x, -77 = -i + 2*b. Suppose -4*y - 85 = -5*c - 9*y, 3*y - i = -5*c. Does 10 divide c?
False
Suppose 31*n + 4*q - 1346 = 30*n, 0 = -5*q - 25. Is n a multiple of 27?
False
Let y(l) = 55*l**3 + 12*l**2 - 139*l + 1046. Is y(7) a multiple of 18?
False
Does 18 divide -1 + (-4)/(-5) + 294310/50 + 18?
True
Is (((-288)/15)/16)/(2/(-720)) a multiple of 14?
False
Suppose 3066 = 8*x - 2238. Does 51 divide x?
True
Let k be -809*-2*(66/12 - 5). Let h = k - -129. Is 12 a factor of h?
False
Let l(z) be the first derivative of -z**4/4 - 3*z**3 - 5*z**2 - 12*z - 4. Let k be l(-8). Let m = k - -10. Does 7 divide m?
True
Let g be 1 + 500 + -1 + 0. Suppose -g = m + m. Is -4 - m/9 - 2/(-9) a multiple of 12?
True
Suppose 30*b = 861072 - 171552. Is 68 a factor of b?
True
Let r(l) = -91*l + 24. Suppose -45 = 2*i - 53. Let q be r(i). Let z = -217 - q. Is z a multiple of 15?
False
Suppose -32*q + 98597 = -42274 - 66713. Does 3 divide q?
False
Is ((0 - 14)/(-14))/((-4)/(-5440)) a multiple of 340?
True
Suppose 3*r - 18 = v, 22 = 4*r + 3*v - 2. Is 6 a factor of 196/12 + (0 - (-4)/r)?
False
Let b(r) = -3*r**3 - 171*r**2 + 348*r + 59. Is 30 a factor of b(-59)?
False
Let w(a) = a**2 + 0*a**2 - 6 + 2*a**2 - 2*a**2 + 29*a**3 - 11*a. Is 26 a factor of w(3)?
False
Is 23 a factor of -112*790/(-15 + 10)?
False
Suppose 31*i + 14*i - 5381 = 4159. Is i a multiple of 6?
False
Suppose 4*n = -5*v + 6038, -n + 1081 = -4*v - 397. Is 8 a factor of n?
False
Let x be (30/(-8))/((-26)/104). Is 4 a factor of 1396/8 + (105/(-14))/x?
False
Suppose 277*t + 64944 = 310*t. Is t a multiple of 16?
True
Let s = -925 - -1417. Suppose -3*a = -0*a - s. Is a a multiple of 8?
False
Let d(n) = n**3 - 16*n**2 - 11*n - 48. Let x be d(17). Is 11 a factor of (16/(-10))/(x/(-14985))?
False
Does 19 divide 211/(((-45)/(-30) + -1)/(19/2))?
True
Let w be (32/(-40))/((-2)/15). Let l(k) = 10*k**2 + k - 7. Let v(z) = 10*z**2 + z - 8. Let h(o) = w*l(o) - 5*v(o). Does 19 divide h(2)?
False
Let h = -43 + 224. Suppose h = 3*r + 25. Suppose 0 = -r*l + 55*l - 384. Is 64 a factor of l?
True
Suppose j = -3*j - 3*c - 175, 2*c = -4*j - 174. Let h = -6 + j. Let d = 0 - h. Is 13 a factor of d?
False
Suppose 0 = -13*b + 20*b - 5754. Is 45 a factor of b?
False
Let c = -22885 + 36665. Is c a multiple of 52?
True
Let g = 99 - 128. Does 16 divide (16 + 0)/(g/(-580))?
True
Let i(h) = -504*h + 502*h + h**3 - 2*h**3 - 4 + 15*h**2. Does 28 divide i(10)?
True
Let b(r) = 13*r - 44. Let d be b(9). Let u = -70 + d. Suppose c = l + 9, -l + 8 = u*l. Is 4 a factor of c?
False
Let u(c) = 1167*c**2 + 3*c + 5. Does 120 divide u(-2)?
False
Suppose j + 20032 = -2*j + 88906. Does 13 divide j?
True
Suppose 6*q - 1085 = -197. Let p = q + 644. Does 22 divide p?
True
Let t(u) = -3554*u + 202. Is 22 a factor of t(-2)?
False
Suppose -2*v + 3*f + 41900 = 0, 2*f + 15750 = 3*v - 47100. Does 20 divide v?
False
Let o(s) = 16*s**2 + 8*s + 1. Let y be o(-8). Suppose 2*r = -5*w + y, -2*r = -5*w - 5*r + 964. Is 4 a factor of w?
False
Suppose 3*a - 2*a - 30 = 0. Let i(z) = -7 - a + 8 + 2*z. Does 3 divide i(17)?
False
Let d(t) = 31*t + 3. Let z(q) = 61*q + 5. Let k(r) = 11*d(r) - 6*z(r). Let m be k(-13). Let c = -232 + m. Is 12 a factor of c?
True
Suppose -15*j = -7*j + 200. Let v be (-20)/j*85*(3 + -2). Suppose 2*o + v = q, q = 4*q - 5*o - 205. Is 7 a factor of q?
True
Let m = 59352 - 35016. Is m a multiple of 78?
True
Let q = 64 - 62. Let f(s) = -7*s**2 - 3*s + 7*s**2 - 1 + 2*s**3 - s**3 + 9*s**q. Does 17 divide f(-7)?
False
Let x = -36 - -34. Let d be (-1 + x)/((-2)/6). Suppose d*c - 150 = 6*c. Is c a multiple of 7?
False
Let r(k) = k**3 - 2*k**2 - 5*k - 9. Let l be r(4). Suppose 3*f = -t + 6*f - 24, -3*t - l*f = 132. Let w = t - -64. Is 5 a factor of w?
True
Let i be (-525)/(-28)*(-156)/(-65). Suppose 118 = 3*k + 19. Let f = i - k. Is f a multiple of 6?
True
Let z = 112 - -122. Suppose z*o - 193 = 233*o. Is 62 a factor of o?
False
Let a be 2 - 7 - (-25 + (4 - 5)). Suppose -70*p = -a*p - 4557. Does 43 divide p?
False
Suppose -2*o = -3*u + 3070, u - 464 - 582 = -5*o. Is u a multiple of 19?
True
Let x be 2/(-4) + ((-1071)/(-18))/(-17). Let f(h) = -2*h**3 - 7*h**2 - 11*h - 13. Is f(x) a multiple of 9?
False
Does 13 divide 97901/423 + 4/(-9) - -3?
True
Let m(n) be the third derivative of -17*n**4/24 - 25*n**3 - 113*n**2 + n. Does 10 divide m(-32)?
False
Let h(p) = 3*p**3 - 87*p**2 + 86*p + 23. Does 86 divide h(29)?
False
Let w = -378 + 531. Suppose 5*x = -n - 2*n - 330, n + 111 = -2*x. Let s = w + n. Is 13 a factor of s?
False
Let b(j) = j**3 - 19*j**2 + 17*j - 64. Let q be b(19). Suppose 0 = 4*m - 20, 5*h - 4*m - 131 = q. Does 15 divide h?
False
Is 29343/15 + (2 - 1)*27/(-135) a multiple of 7?
False
Does 3 divide 3/(-11)*597154/(-381) - 12/(-22)?
False
Let z(q) = 1265*q - 22. Is z(7) a multiple of 183?
False
Suppose 8 + 72 = -20*q. Is (-2)/q - 225/(-6) a multiple of 6?
False
Is 109 a factor of (-2 - (-11 + 4))*((-35408)/10)/(-8)?
False
Let b = 505 - 502. Suppose -b*j + 1029 = -216. Does 11 divide j?
False
Let n(y) = -3*y**2 - 20*y + 4. Let g be n(-7). Does 35 divide (80/(-32))/((-6)/(-196))*g?
True
Let y(t) = t**2 + 6*t + 204. Let k(s) = -s**2 - 34 - 11 + 5 - 13*s. Let f be k(-8). Does 34 divide y(f)?
True
Let l(h) = 310*h - h**2 - 292*h + 17 + 0*h**2. Is 21 a factor of l(13)?
False
Let m = -1440 - -2874. Is m a multiple of 5?
False
Let f = -12678 + 23136. Is f a multiple of 14?
True
Let f be (-6)/6*(-35)/(-5). Let v(i) = i**2 - 20*i - 108. Is v(f) a multiple of 11?
False
Let s be 8 + -1 + -2 + -1. Suppose -2*h + 3*h = s*o + 66, 4*h = 3*o + 329. Suppose -3*q + h = -3*j - 52, -4*q + 160 = 4*j. Is 16 a factor of q?
False
Suppose -136*g + 131*g - 3466 = -2*q, -5*g = 0. Does 83 divide q?
False
Let i = -3250 - -3350. Is 100 a factor of i?
True
Let z = -14 + 8. Let i(a) = 5*a**2 - 5*a - 18. Is 12 a factor of i(z)?
True
Suppose 16330 = 4*n + 2*h, -2*h - 20380 = -5*n + 2*h. Is n a multiple of 68?
True
Let u(a) = 2*a**2 - 4*a + 5. Let j be u(7). Let z = 135 + j. Does 15 divide z?
True
Let m(q) = -q + 5. Let u = -46 + 48. Let v be m(u). Suppose 0 = -n - v*n - 3*y + 386, -2*y - 494 = -5*n. Is 19 a factor of n?
False
Let t(d) = 338*d + 1588. Does 204 divide t(46)?
True
Suppose 118*q - 459114 = -40*q + 155822. Does 7 divide q?
True
Let o be (-4804)/18 + (-4)/36. Let c = o + 688. Does 8 divide c?
False
Let v(u) = 4558*u - 4463. Does 23 divide v(3)?
False
Let x(r) = 1096*r - 1704. Does 10 divide x(9)?
True
Suppose 3*h + 13365 = 5*m, -259*m = -255*m + 4*h - 10724. Is m a multiple of 4?
True
Suppose -400 = -y + 4*j, -6*y - 5*j = -2*y - 1705. Does 21 divide y?
True
Suppose 193*z - 2342535 = -12*z. Does 13 divide z?
True
Let r be 8/6 + (-2)/(-3). Suppose -5*k - 8 = 2*v - k, -r*v - k + 1 = 0. Suppose -8*w + v*w = -270. Is 15 a factor of w?
True
Let x = -11128 + 18954. Is 14 a factor of x?
True
Suppose 4*x - 120 = -20*x. Let a(m) = 59*m + 48. Is 23 a factor of a(x)?
False
Suppose 17181*f - 106488 = 17113*f. Is 6 a factor of f?
True
Let a(k) = -k**2 - 6*k - 5. Let u be a(-4). Suppose -155 - 112 = -u*b. Suppose 3*j + 101 + 112 = 2*p, 2*j - b = -p. Does 9 divide p?
True
Suppose -2*f = -33*m + 28*m + 32152, 3*m - 19280 = 4*f. Is m a multiple of 32?
True
Let d(a) = 2277*a**2 - 37*a - 22. Is d(-2) a multiple of 65?
False
Suppose 43*x - 10*x = 165. Suppose -2*n = -5*k - 0*k + 616, -259 = -2*k + x*n. Is k a multiple of 45?
False
Suppose -2*i + 143429 = -13*i + 439439. Is 115 a factor of i?
True
Let p(l) = 284*l**2 - 154*l + 1270. Is 10 a factor of p(10)?
True
Is 7 a factor of (-22)/(-