= j + -649. Does 2 divide w?
False
Suppose -14 = w - 2*d, 5*w + 2*d - 6*d + 40 = 0. Let s be w/(1 + -3) - 0. Is 10 a factor of 1694/21 + s/(-3)?
True
Let w = -4 + 11. Let c = w - 10. Is c*(-1 - -2) - -11 a multiple of 3?
False
Let d(l) = -l**2 - 19*l - 63. Let s = -169 + 156. Is 8 a factor of d(s)?
False
Let y = -4919 - -5283. Does 7 divide y?
True
Suppose -73*c - 34*c = -589570. Is c a multiple of 71?
False
Suppose -26*i = -14*i - 19*i + 306467. Is 8 a factor of i?
False
Let l be (-1)/(3/(-6)*1). Let n(g) = 19*g - 13*g + 5*g**l - 3*g**2 - 8. Does 12 divide n(-7)?
True
Let w(n) = 2*n**3 + 10*n**2 + 12*n + 18. Let f be w(-6). Let g = 616 + f. Suppose -10*p = -5*p + 5*m - g, 2*p - 2*m = 212. Is 12 a factor of p?
False
Let u = -4086 + 8709. Suppose 2*o + u = 5*j, -2*j - 2*o + 1705 + 147 = 0. Suppose 0 = 2*z + 145 - j. Is 39 a factor of z?
True
Let r be (8 - 9)/((-1)/3) + 3. Suppose 0 = 2*b - r*b + b. Suppose n - 4*n + 483 = b. Is 14 a factor of n?
False
Does 136 divide (-33301)/(-2)*(-554)/(-277)?
False
Let k = -3969 + 9438. Is k a multiple of 73?
False
Suppose 0 = 192*p - 191*p - 5. Suppose 20 = -x - 5*f, f + 8 = p*x - f. Does 19 divide x - (0 + 3 + -136)?
True
Let d = -271 - -276. Suppose d*z + 10 = 0, 2*r + z - 346 = r. Is r a multiple of 29?
True
Let w(s) be the second derivative of s**5/4 - s**4/6 + s**3/3 - s**2 + 1052*s. Let m be -6*(-1 - (-2)/3). Does 3 divide w(m)?
False
Let k(a) = a**3 + 12*a**2 + 13*a + 3. Let y be k(-12). Let m = 205 + y. Is m a multiple of 6?
False
Let c = -680 + 807. Let a(t) = 11*t - 3. Let w be a(-10). Let x = c + w. Is 5 a factor of x?
False
Let m = 191 + -361. Let u = m - -304. Let n = 179 - u. Is 3 a factor of n?
True
Suppose 317199 = 52*a + 17367. Does 62 divide a?
True
Let q(g) = 27*g + 45. Let o be q(-4). Let r = o + 91. Suppose 112 = 2*t - r. Does 7 divide t?
True
Suppose o + o = -0*o. Let y = 0 - o. Suppose y = 17*j - 21*j + 260. Does 13 divide j?
True
Suppose 188 = 5*d - 307. Suppose -2*g - 5*t = 1 - 67, -3*g = 2*t - d. Does 3 divide g?
True
Is 13 a factor of -1985*(-42)/30 - (1 + -4)?
True
Let u = -5121 - -10549. Is 19 a factor of u?
False
Let l = 2570 - 932. Does 65 divide l?
False
Suppose 15*z = 35 + 130. Suppose 11*d + z*d = 22154. Is d a multiple of 15?
False
Let j(b) = -247*b**3 + 14*b**2 + 24*b + 138. Does 43 divide j(-5)?
False
Let m(a) = -a**2 - 9*a - 5. Let c be m(-8). Suppose c*j - 30 = -2*j. Is 33 a factor of (826/(-35))/(j/(-15))?
False
Let f be (-116)/(-14) - (-8)/(-28). Let g(k) = -7 - 19*k - 4 - f + 4. Is 9 a factor of g(-5)?
False
Suppose j + 39100 = 4*m + 11425, -3*j - 27689 = -4*m. Is m a multiple of 25?
False
Suppose -f + 4*g - 4436 = -16138, -2*g = 10. Is 66 a factor of f?
True
Let q(b) = 56*b**2 + 111*b + 496. Is q(-4) a multiple of 12?
True
Suppose -3*n = 5*z - 135 - 200, 4*z = -3*n + 271. Suppose -z = 2*l + 26. Let k = l - -124. Is 12 a factor of k?
False
Suppose -173*d + 88*d = -112*d + 161190. Is 15 a factor of d?
True
Suppose 3*i = 4*w + 16, i - 6 = -4*w + 10. Suppose -2*m = 2*k - i, -k + 12 = k - 2*m. Suppose l = -3*t + 142, 0*t + k*t = 0. Is 22 a factor of l?
False
Suppose -153 = 8*a + 95. Let g = 97 + a. Does 33 divide g?
True
Let a = -17 + 29. Suppose a*l - 988 = 8*l. Suppose 0 = -6*x - 7 + l. Does 9 divide x?
False
Let c = 2215 + 273. Does 14 divide c?
False
Let d = 6164 + -4063. Is d a multiple of 16?
False
Suppose 10*z - 36 = 4*z. Let b(u) = -u**2 + 6*u + 7. Let l be b(z). Suppose 2*c - 378 = -l*c. Is 21 a factor of c?
True
Suppose 0 = 15*u - 25*u + 160. Suppose -2141 = -u*j + 627. Is 23 a factor of j?
False
Let v = 75 - 172. Let a = v + 101. Suppose 0 = 3*h + a*h - 371. Is h a multiple of 11?
False
Does 53 divide ((7 - 3)/(-4))/((-2)/3180)?
True
Let l(h) = 6*h + 120. Let g be l(0). Suppose -76*o = -74*o - g. Is o a multiple of 20?
True
Let o(j) = 12*j**2 - 17*j + 52. Let l = 496 - 493. Does 4 divide o(l)?
False
Suppose -z - 5*o = -0*z - 25, 5*z - 4*o = -20. Suppose -6*d + 1 + 11 = z. Suppose a = d*q - 43, -2*q - 4 = a - 41. Is q a multiple of 4?
True
Let f(i) = -3*i**2 - 5*i + 14. Let d be f(-8). Let c = d - -414. Does 13 divide c?
False
Suppose 8*p - 13*p = 40. Let v be -2*(-6)/p*-2. Suppose 3*r + 2*u - 42 = -2*u, v*u = 2*r - 45. Is r a multiple of 3?
True
Let a(d) = -4*d + 48. Let i be a(-17). Let q = i - 25. Suppose 0 = 5*j - q + 36. Is 2 a factor of j?
False
Is 82 a factor of ((-15)/3 - -90)*(-31)/(-5) - 5?
False
Suppose 3*d + 5*u = -0*d - 305, 2*d + 4*u = -200. Let s = 73 - d. Let l = -106 + s. Does 11 divide l?
True
Suppose 30 + 30 = -3*c. Let q(h) = h**3 + 20*h**2 - 5*h - 50. Does 50 divide q(c)?
True
Let d(b) = 3*b**3 - 23*b**2 + 7*b - 179. Is d(10) a multiple of 2?
False
Let j be 6/(-4)*(-8)/3. Suppose -3*y + 13 = 33*c - 35*c, -4 = y + c. Does 3 divide j + (0 - 0 - y)?
True
Suppose -4*x - 142 = 3*i, 4*x + 0*i - 5*i = -158. Let v be (-14)/49 - x/7. Suppose -3*c - 5*r = -67, -v*c + 167 = -3*r + 10. Is c a multiple of 2?
False
Suppose -3*o = r + 51, -o + 0*r - 6 = 4*r. Is (-22976)/(-288) + (-4)/o a multiple of 21?
False
Let c be 1/6 - 2*(-34)/24. Let y be (112/48)/(1/c). Suppose 3*l - y*l = -5*d + 74, 1 = -l. Is d a multiple of 7?
True
Let q = 21 + -25. Let x be 18/4 - 2/q. Suppose -i = -24 + x. Does 3 divide i?
False
Suppose 0*r - 100 = -5*r. Let c be 17*r/14 - (-6)/(-21). Does 14 divide (c/(-8))/((-3)/140 - 0)?
True
Suppose 3*r - 4470 = -3*c, 4*c - 4*r - 891 = 5085. Is 13 a factor of c?
False
Is 5 a factor of -8 + 35*(-13)/(273/(-2934))?
False
Let b(g) = -g**2 + 190. Let w(t) = 11*t**2 - 3*t - 3. Let q be w(-3). Let o = -105 + q. Is 18 a factor of b(o)?
False
Suppose 182*g - 72*g - 68880 = 90*g. Is g a multiple of 14?
True
Suppose -1057 - 3831 = -52*d. Does 47 divide d?
True
Suppose 0 = 4*s + m - 148, 0 = -m + 2 + 2. Let w be 81/s*(-4)/(-3). Suppose -225 = -2*a - w*a. Is a a multiple of 5?
True
Let i be 4/10 - (294576/(-30))/(-8). Let j = i + 2307. Is j a multiple of 72?
True
Let u(r) = -384*r**2 - 38 + 950*r**2 + 337*r**2 - 39*r. Is u(-1) a multiple of 16?
False
Let t(i) = i**3 + 14*i**2 - 30*i + 14. Let f be t(-12). Suppose f + 1354 = 3*p. Let d = p - 442. Is 12 a factor of d?
False
Let a = -57 - -51. Let j = a - -3. Let m(q) = 6*q**2 - 7*q - 11. Is 43 a factor of m(j)?
False
Let u = 513 - 472. Suppose 6*l - 25 = u. Does 2 divide l?
False
Suppose 4*s - 3*q = 6694, -4*s + 2273 = -4*q - 4419. Is s a multiple of 5?
True
Let y(o) = o**3 + 13*o**2 + 19*o - 29. Let c be y(-11). Suppose d - 3*d = -c*v - 388, 3*d - 586 = 2*v. Is d a multiple of 9?
False
Suppose 5*k + 134 = 4*g + 2*k, 2*k = 4. Suppose x + g = 2*w - 158, 5*w - 490 = -5*x. Suppose 5*q = d - w, -5*d + 302 = -3*q - 73. Is d a multiple of 18?
True
Suppose 32*m - 46*m + 42 = 0. Is 31 a factor of (279/(-12) + 0)/(m/(-8))?
True
Let i be ((-5150)/75)/(2 + 64/(-30)). Let t = -2 + i. Does 7 divide t?
False
Let k(b) = 10*b**2 - 41*b + 1 - b**3 + 3 - 29*b**2. Is 22 a factor of k(-17)?
False
Suppose 477 - 84253 = -29*b - 15*b. Does 17 divide b?
True
Suppose -6*x - 2*x + 31720 = 0. Suppose 5*f - x = -4*j, 2*f + 11*j - 1586 = 6*j. Is f a multiple of 61?
True
Suppose 22*c - 16*c - 1500 = -2*h, -c = -3*h + 2210. Is 41 a factor of h?
True
Let t be (-9)/(-4)*2/(-9)*-18. Suppose -30*z = -t*z - 4032. Does 19 divide z?
False
Let u(o) = 283*o - 2843. Does 211 divide u(60)?
True
Let b be (-192)/336 + 4/7. Is 19 a factor of b*(4 - (-3)/(-1)) + 693?
False
Is (376/16 - 7)*24 a multiple of 12?
True
Let p(t) = -t**2 - 4*t + 9. Let f be p(-5). Suppose 3*m - 172 = 5*a, f*a = -5*m + 3*m - 142. Let z = a - -45. Is z a multiple of 10?
True
Suppose x + 0*o + 2*o = 2, 4*o - 22 = -5*x. Let k(g) = 27. Let m(s) = -s + 28. Let h(u) = 4*k(u) - 3*m(u). Is 4 a factor of h(x)?
False
Is 493*2 + (-23 - -25 - -2) a multiple of 18?
True
Suppose -o = -4*o - 93. Let w = -103 - -44. Let g = o - w. Is 7 a factor of g?
True
Let b be -1 + 2 + -1 + 1. Suppose -3*k = -3*y + 27, -42*y + 3*k = -47*y + 61. Is y/1*(2 - b) a multiple of 8?
False
Suppose 35*q - 1080553 - 144972 = 0. Does 13 divide q?
False
Let t = 1785 - 1235. Suppose -4*j + 1120 = 5*d, -7*d - t = -2*j - 12*d. Let o = j - 156. Is 10 a factor of o?
False
Suppose -8*y = -7*y + 3. Let h be 0 + (-4)/12 - (-707)/y. Let u = -88 - h. Is 29 a factor of u?
False
Let d(r) = r**2 + 8*r + 20. Let g be d(-