 w = 6534 - 4286. Is 70 a factor of w?
False
Let w(l) = -6 - 6 + 1 - 9*l - 128*l**2 + 130*l**2. Does 34 divide w(9)?
False
Is 110*96/84*7 a multiple of 10?
True
Let c(u) = 2*u - 21. Let p be c(13). Suppose -p*b = 163 + 902. Let n = -78 - b. Is 27 a factor of n?
True
Suppose -3*a = 5*o + 1213, 14*a = 19*a - 3*o + 1999. Let j = a - -473. Is j a multiple of 9?
True
Suppose 6 = h + 2*h, -2*v - h + 12 = 0. Suppose v*y - 252 = 268. Let b = y + -50. Is b a multiple of 10?
False
Suppose 0*y + 1176 = 3*y + 3*g, 4*g = -3*y + 1172. Suppose -n = 1 - 4, 0 = -3*l + n + y. Let h = -93 + l. Does 3 divide h?
False
Let c = 4612 - 4077. Is c a multiple of 107?
True
Let z(q) = 13*q**2 - 16*q - 9. Is 11 a factor of z(-4)?
False
Suppose -12*c + 9*c + 3 = 0. Let f be -2 - (-5 + -2 + c). Suppose 84 = x - f. Does 19 divide x?
False
Suppose 10743 + 2624 + 28345 = 8*c. Is c a multiple of 158?
True
Suppose 21*w - 55 = 16*w. Suppose -21 = -3*t + 3*p, -w*p - 8 = t - 7*p. Suppose 3*r - 138 + 357 = t*s, -r = -3*s + 168. Is 19 a factor of s?
True
Let i(u) = u**2 - 37*u + 106. Let y be i(34). Suppose -y*r - 3*a + 1467 = 0, 3*a + 12 = 15. Does 33 divide r?
False
Suppose 3*y + 10 = -g, 2*y - 3*y + 6 = 5*g. Let o be (-7 + 23)/(y/(-2)). Suppose -13*v + o*v + 100 = 0. Is 4 a factor of v?
True
Suppose -84*k + 24050 = -22*k - 36*k. Does 4 divide k?
False
Let a(c) = -c**2 + 3*c + 9. Let y be a(-2). Let p be ((-652)/10)/y + (-17)/85. Let s = 156 - p. Does 14 divide s?
False
Let a be ((2259/6)/3)/(12/(-24)). Let h = 601 + a. Is h a multiple of 35?
True
Let q(k) = -2*k**2 + 11*k + 45. Let t be q(-3). Let i(w) = -2*w**3 - 10*w**2 - 9*w + 9. Is i(t) a multiple of 9?
True
Let m(v) = 1. Let q(c) = -c - 1. Let i(r) = 5*m(r) + q(r). Suppose 0 = -5*o + 3*y - 30 - 16, -2*o + 3*y - 22 = 0. Does 2 divide i(o)?
True
Let s = 17 - 4. Suppose 0 = -4*b + 2*i + 1154, -4*i = s - 1. Suppose 59 - b = -3*n. Is n a multiple of 19?
True
Suppose 0 = -6*u + 19*u - 156. Suppose 0 = -u*w + 5 + 1123. Does 2 divide w?
True
Let x(m) = 567*m - 486. Does 45 divide x(8)?
True
Suppose -3*g - 3*j - 3 = 0, -3*g + j = -2*j - 3. Suppose g = -5*r + 10, 2*r = 2*x - 4*x - 354. Let a = x - -327. Does 37 divide a?
True
Let r = 3261 - 3299. Suppose 2*u - 87 = 39. Let j = r + u. Is j a multiple of 25?
True
Does 10 divide (100/90)/(2/18756)?
True
Let z(r) = 6*r**2 - 150*r + 5502. Is z(62) a multiple of 114?
True
Let c = 2179 + -747. Suppose -16*t + 1272 + c = 0. Is 13 a factor of t?
True
Let r(y) = -2*y**3 + 84*y**2 - 91*y + 116. Is r(40) a multiple of 6?
False
Let x(n) = 9*n**2 - 4*n + 2. Suppose 3*h - 4*w - w - 27 = 0, -2*h + w + 18 = 0. Let j be h/5 - 2/(-10). Does 6 divide x(j)?
True
Suppose 2*z - 140 = 6*z. Let v be (z/14)/((-10)/8). Is 44 a factor of (v*179/2)/1?
False
Let h be (243/(-18))/((-6)/300). Suppose -19*r + h = -10*r. Is r a multiple of 3?
True
Let l(t) = -185*t - 3759. Is l(-73) a multiple of 84?
False
Let k = 36245 + -16345. Does 50 divide k?
True
Does 43 divide (8/(-36) - 25/(-45)) + (-2066850)/(-81)?
False
Suppose 0 = -2*w + 42 - 2. Let p = w - 15. Suppose 3*x = 0, -2*o + 4*o + p*x = 86. Does 43 divide o?
True
Let w(u) = -u**3 - 4*u**2 + 3*u + 1. Let m be w(-5). Suppose -m*r + 116 = -269. Suppose -3*p = -10*p + r. Is p a multiple of 4?
False
Let j(u) = -29*u**2 - 1193*u - 45. Does 3 divide j(-36)?
True
Let b = -22790 - -43328. Is b a multiple of 14?
True
Let y be (84/(-16))/(1/(-4)). Suppose -166 = -y*b + 20*b. Is 43 a factor of b?
False
Let w = 2405 - -6891. Is 4 a factor of w?
True
Let o = 11862 + -6389. Does 7 divide o?
False
Suppose -29*z = 8*z - 638139. Does 52 divide z?
False
Suppose 4*t = -16, 2*z - 2*t = -22 + 44. Suppose -40 = -n + 5*u, -z*u = 4*n - 2*u - 235. Is n a multiple of 42?
False
Does 12 divide 366833/6 - (665/(-546) + 8/156)?
True
Let x(f) = f**2 + f - 8. Suppose -4*o = -4*y - 44, 64 = 4*o + 3*y - 2*y. Let v(z) = -z**3 + 15*z**2 + z - 20. Let k be v(o). Is x(k) a multiple of 4?
True
Let i(h) = h**3 + 9*h**2 + 30. Suppose 3*l - b - 4*b - 109 = 0, -2*l = -b - 68. Let r = l - 40. Is 16 a factor of i(r)?
True
Suppose 11632 = 4*c - 5*v - 542, 6090 = 2*c - 3*v. Is c a multiple of 46?
True
Let u(s) = 17*s**3 + 229*s**2 - 16*s - 2. Is 76 a factor of u(-12)?
False
Let a(b) = -b**2 + b - 231. Let v be a(0). Let z be 4*(-3)/(-1)*(-1395)/(-36). Let i = v + z. Does 17 divide i?
False
Suppose 8*l - 7*l = -2. Let g be l/(-5) + 444/15. Is ((-78)/g - -3)*(-1 + 111) a multiple of 8?
False
Suppose -30 = 7*d - 2. Is (0 - 0) + 31 + d even?
False
Let z = 4291 - 3242. Is z a multiple of 21?
False
Suppose -125944 = -24*p + 300656. Is p a multiple of 25?
True
Suppose -5*c + 76 = -3*v, -7*c + v + 48 = -4*c. Suppose -9*y - c*y + 20280 = 0. Is y a multiple of 52?
True
Suppose -a = 4*a. Suppose 3*y - 3*o = -0 + 18, -5*o - 20 = a. Let n(l) = 19*l**2 + l + 1. Does 14 divide n(y)?
False
Suppose -7*a = 13 - 27. Suppose -a*g + 3*t = -t - 4, 4*g - 5*t - 5 = 0. Is 23 a factor of (g - 5)*(1 + -47)?
True
Let u(f) = 111*f + 10. Let g(i) = -110*i - 10. Let s(l) = 3*g(l) + 2*u(l). Is s(-1) a multiple of 9?
False
Let t be 607*(5 - (-1 + 5)). Suppose 41 + t = 8*a. Does 9 divide a?
True
Let i(m) = -m - 9. Let u be i(-15). Suppose 0 = 39*t - 38*t - u. Let c = t - -107. Does 20 divide c?
False
Let a(x) = -4*x + 111. Let g be a(26). Suppose 492 = g*j - 3*j. Is 18 a factor of j?
False
Suppose 14259 - 84969 = -4*m - k, 0 = m + k - 17676. Does 24 divide m?
False
Let k(g) = 298*g - 5524. Is k(40) a multiple of 17?
False
Let h = -37 - -39. Suppose -1730 = -3*d - 2*j, h*d - 3*j - 1148 = j. Is 24 a factor of d?
True
Suppose -259 = 3*i - 949. Let l = i + 138. Is 11 a factor of l?
False
Suppose -50 = -5*z + 2*h, 4*z = 3*z + h + 10. Let j(n) = -n**3 + z*n - 56*n**2 + 2*n**3 + 12 + 68*n**2. Does 11 divide j(-11)?
False
Let z be (-2)/(-8) + 475/20. Suppose -4*m = -m - z. Suppose m*x - 539 = -19. Is 13 a factor of x?
True
Suppose 3*o - 3*c = 21 - 6, 4*o - 2*c = 30. Suppose -617 = -o*m - 217. Is m a multiple of 4?
True
Let b = -6910 - -10961. Is b a multiple of 16?
False
Suppose -n = 4*b - 2174 - 398, -5*b + 3*n + 3232 = 0. Does 14 divide b?
True
Suppose -110*d - 14608 = 95*d - 221*d. Does 6 divide d?
False
Let r(k) = 74*k - 13. Suppose u - 6*u + 2*v = -12, 4*u - 13 = 5*v. Does 5 divide r(u)?
True
Suppose -5 = -5*h, h + 50 + 39 = 3*w. Suppose k - 3 = -5*i - 9, -5*i - w = -5*k. Suppose n - 126 = k*l, -4*n - 346 = -7*n + 4*l. Is 6 a factor of n?
False
Let h(t) = -t**2 + 14*t + 31. Let b be h(16). Let q be 13/26 - b/(-2). Suppose q = -2*d - 49 + 149. Is d a multiple of 10?
True
Let r(d) = -8*d + 4. Let q(v) = -23*v + 12. Let a(u) = -3*q(u) + 8*r(u). Let f be a(1). Let w(z) = 21*z**3 - 2*z**2 + 1. Is 5 a factor of w(f)?
True
Suppose 0 = -9*h + 5*h + 4*j - 4, 3*h + 2*j + 8 = 0. Is (-10)/((-60)/(-9)) - 187/h a multiple of 9?
False
Suppose -25*o + 118 = -23*o. Let w = o - 329. Is w/(-24) + 2/(-8) a multiple of 11?
True
Suppose 208 = -9*o + 5*o. Let k = -47 + o. Let r = k + 243. Is 24 a factor of r?
True
Let g(r) = 4*r + 2. Let u be g(-2). Let c be (-2)/3 + -6*35/(-126). Is 2 a factor of (10 + -13)/(c - u/(-5))?
False
Let n(x) = x**3 + 11*x**2 - 9*x - 6. Suppose -4*f = 11 + 37. Let j be n(f). Let z = -3 - j. Is 21 a factor of z?
False
Let k be 0 - (-34)/6 - (-12)/9. Suppose -3*i - 9*o + k*o + 10 = 0, 3*i + 5*o + 2 = 0. Is 6 a factor of i?
True
Let b be 140/(-8) - (7/2 - 2). Let y = 9 + b. Let t = y + 37. Does 7 divide t?
False
Suppose 28634 + 14107 + 30411 = 18*v. Does 16 divide v?
True
Suppose 4*h + 16 = -k, -6*h - 16 = -3*k - 2*h. Suppose -11*w + 78 - 23 = k. Suppose -4*u - 5*j = -111, -w*j = -4*u + 45 + 36. Does 6 divide u?
True
Is 10 + (-616)/70 + -1 + 111258/10 a multiple of 88?
False
Suppose 993 = -12*k + 8949. Is 12 a factor of k?
False
Let r = -8373 + 12999. Is 96 a factor of r?
False
Let r = 372 - 392. Let b(y) = -y**3 - 17*y**2 + 25*y + 1. Is b(r) a multiple of 10?
False
Suppose -5*q - 198 + 58 = 0. Let l be -4*((-35)/q)/((-2)/(-18)). Let j = 130 + l. Does 21 divide j?
False
Let o(y) = -y**2 - 41*y - 382. Let m be o(-26). Let x(u) = -u**3 - 8*u**2 - u - 5. Let g be x(-8). Does 33 divide (-1*m)/(g*5/(-120))?
False
Let v(i) = -i**3 + 6*i**2 - 3*i + 1. Let c(l) = 3*l**3 - 17*l**2 + 8*l - 3. Let z be (-15 + -7)*2/4. Let p(h) = z*v(h) - 4*c(h). Does 3