 Let w = f + g. Is 8 a factor of w?
False
Let g be ((-4 + -353)/3)/1. Suppose j - 390 = -j. Let a = g + j. Is a a multiple of 16?
False
Suppose -2*r + 78 = 2*p + p, -3*p + 3*r = -63. Suppose p*l = 17*l + 4669. Is l a multiple of 12?
False
Let q(t) = -t**3 - 16*t**2 - 3*t - 15. Let h be q(-16). Suppose -3*f - 4*x - h = -272, -f - x = -79. Is 13 a factor of f?
False
Suppose 0 = -3*c + 5*f + 9 + 10, -2*c - 4*f - 2 = 0. Suppose w - c - 4 = 0. Suppose 3*m + 88 = w*m. Is m a multiple of 16?
False
Suppose 0 = 8*c + 2396 + 428. Does 35 divide -3*(-2)/3 + (43 - c)?
False
Suppose -q + 3*l = -6966, -83*q + 78*q - 2*l = -34915. Does 13 divide q?
True
Let o = -62 + 75. Let r(l) = 0*l - o*l + l**2 - 21 + 3*l. Is r(-5) a multiple of 17?
False
Suppose 7*b - 3*b = 1008. Suppose 3*y - 152 = -c, 9*y - 4*y + 3*c = b. Is 17 a factor of y?
True
Let h = 1175 + -83. Is 42 a factor of h?
True
Suppose c - 17 = 4*f, 4*c - 2*c - 2*f = 10. Suppose -3*z + 21 = u, -2*z + 3 = -u - c. Is ((-585)/60)/(u/(-32)) a multiple of 12?
False
Suppose 0 = -1357*g + 1326*g + 399528. Is 18 a factor of g?
True
Suppose -4*n + 212 = 1408. Let g = -133 - n. Suppose 4*f + 3*b - 212 = 0, -50 = 2*f - b - g. Does 7 divide f?
True
Let l = -96 + 92. Let n be 745/2 - (2 + 2/l). Suppose 10*u - 9 = n. Is u even?
True
Suppose 53*p - 245 = 4*p. Suppose p*w - 5930 = -5*o - 630, -o = -3*w + 3196. Is w a multiple of 13?
False
Let g(a) = 5*a - 8. Let h be g(2). Suppose h*x + x + 66 = 0. Let c = 8 - x. Is c a multiple of 15?
True
Suppose 0 = -2*i - 3*i - 2*s + 31, -s = 5*i - 33. Suppose i*c - 1256 = 11*c. Let f = c + 496. Does 13 divide f?
True
Let b(w) = -9*w + 20. Suppose -154 + 28 = 6*n. Let m = -26 - n. Is b(m) a multiple of 13?
True
Let d = -214 + -340. Let w = d + 1217. Does 51 divide w?
True
Let z(k) = 135*k**3 - 5*k**2 + 1263*k - 3781. Is z(3) a multiple of 11?
True
Suppose p + 4910 = 3*z - 21719, -17751 = -2*z - p. Is z a multiple of 14?
True
Let l = -3511 - -7274. Is l a multiple of 52?
False
Let d(f) = f**2 - 22*f + 4. Let t be d(0). Suppose 0 = -3*k + t*u + 496, 10 = -u + 6*u. Does 7 divide k?
True
Suppose -28 = -4*n - 4*y, 2*n + 5*y - 2 = 24. Suppose n*t + 1348 = -2. Does 19 divide -2*5/40 - t/8?
False
Let l be (-2)/((-4)/3)*78/9. Suppose l*g - 148 - 281 = 0. Does 3 divide g?
True
Let h(d) = 39*d + 4. Let b be h(0). Is (8/(24/5) - b)*-72 a multiple of 28?
True
Suppose -7 = -m - 4*x, 0*x - 8 = -4*m + 4*x. Let h(j) be the third derivative of 7*j**4/24 - j**3/6 - 8*j**2 - 130. Is h(m) a multiple of 12?
False
Let w(t) = 96*t - 374. Is w(24) a multiple of 17?
False
Let b(l) = l**2 - 3*l + 14. Let r be b(4). Does 10 divide 6*(-6)/r + 202?
True
Let v = -10294 - -12339. Is v a multiple of 4?
False
Suppose -31*y = -38*y + 182. Let v(k) = -k**2 + k + 2. Let s be v(-2). Let t = y + s. Is 11 a factor of t?
True
Suppose 4*t + 10 = 2*t, 5*m - 10 = -2*t. Suppose 0 = -3*d, 5*n - 561 = -d + 819. Suppose 2*o - 100 = m*y - 0*y, 5*o - n = -3*y. Is 18 a factor of o?
True
Let w(c) = -c**2 - 4*c + 5. Let j be w(-10). Let o = j + 50. Let m = 35 - o. Is 16 a factor of m?
False
Suppose -r = -3*f - 0*f + 46, -5*f + 86 = -4*r. Suppose -4*j = -2*o + 50, -j + o + 4 = f. Is j/2*(2 + -14) a multiple of 18?
True
Let w(c) = -56*c + 334. Is w(-4) a multiple of 93?
True
Suppose 0 = 164*q - 160*q - 3736. Is q a multiple of 2?
True
Suppose 3007118 = 129*h + 736460. Is h a multiple of 40?
False
Let z be (-2*(-1)/2)/(-1). Let f be 948/28 + z - (-4)/28. Suppose -2*i = -f - 7. Is i a multiple of 20?
True
Let s(q) = 894*q - 749. Is 7 a factor of s(3)?
False
Let x be (-1 - 9/(-6))/((-3)/(-174)). Let a = -17 + x. Suppose -a*o = -o - 594. Is o a multiple of 17?
False
Let n(g) = -g**3 + 11*g**2 + 2*g - 6. Let o be n(9). Suppose -i - 711 = -m - o, -512 = -m - 4*i. Does 27 divide m?
False
Suppose -7*p - 1955 = -30*p. Let k = -2 + 57. Let w = k + p. Is w a multiple of 20?
True
Suppose 29*i - 590 = 27*i. Does 4 divide i?
False
Suppose 13*x = -2*x + 5*x + 20490. Is 30 a factor of x?
False
Is 11 a factor of ((-887920)/(-140))/((-34)/(-119))?
True
Suppose -3*z + 6048 = -12*z. Let o = -357 - z. Is o a multiple of 13?
False
Let t = 695 - 435. Let a = -228 + t. Does 5 divide a?
False
Suppose 119483*m - 119490*m + 1596 = 0. Is m a multiple of 10?
False
Let m = -2390 - -8168. Is 27 a factor of m?
True
Suppose -4*c + 45311 = -3*v, -14*v + 17561 = -4*c + 62839. Is c a multiple of 3?
False
Let i = -7 - -32. Let p = -15 + i. Suppose 3*w + 409 + 65 = 3*n, 0 = -5*w - p. Is n a multiple of 42?
False
Let l = -14150 - -21541. Is 19 a factor of l?
True
Let p be 14/3*(-78)/(-91). Is -3*((-777)/9 + 4/p) a multiple of 55?
False
Let v(g) = -2*g + 45. Let x be v(-8). Let o = x + 31. Is o a multiple of 17?
False
Let u(z) = 886*z - 852. Is u(3) a multiple of 6?
True
Suppose 4*c - 9790 = -162*u + 164*u, 5*c - 12237 = 2*u. Does 3 divide c?
False
Let f(m) be the first derivative of 56*m**2 - 123*m + 221. Is 9 a factor of f(12)?
False
Let n = 54377 + -26362. Does 97 divide n?
False
Is ((-289)/(-17))/(-68) + (-2369)/(-4) a multiple of 52?
False
Let s = 59 + -126. Let y = s + 67. Suppose 4*r - 4*c - 62 = 6, y = -2*c - 4. Does 9 divide r?
False
Suppose 14*u - 16 = 10*u. Suppose 0 = 3*i - 7*i - u. Does 20 divide 7/(56/90)*(-4)/i?
False
Suppose -988*n + 943*n = -108900. Does 15 divide n?
False
Let h(x) = 4*x**3 - 2*x**2 + 11*x - 11. Let r be h(1). Suppose 3*p - r*g + 56 = 169, 4*p - 3*g = 152. Does 2 divide p?
False
Suppose -4*q = 14 - 22. Let a be (8/(-3))/(q*1/(-6)). Suppose 14*l = a*l + 336. Does 14 divide l?
True
Let l(b) = 59*b**3 + 1368*b**2 - 14*b + 36. Is 9 a factor of l(-23)?
False
Suppose 0 = 10*g - 43554 - 8776. Is 54 a factor of g?
False
Suppose 14*d = 4*d + 20. Suppose d - 30 = -b. Suppose -116 = -8*c + b. Does 5 divide c?
False
Let t = -3678 - -2297. Let a = -583 - t. Does 10 divide a?
False
Let v(q) = -279*q - 111. Is 83 a factor of v(-12)?
True
Suppose 6*q = 3956 + 796. Suppose -12*k + 18*k = q. Is k a multiple of 69?
False
Let c(d) = 4 + 95*d**2 + 21*d**2 - 58*d**2 - 5*d - 2. Is c(2) a multiple of 35?
False
Let p be 244 + 1*(4 + 2)/6. Is 25 a factor of p/((-30)/(-75)*2/4)?
True
Let r = 12099 + -10029. Is 90 a factor of r?
True
Let s = 4814 + -4809. Let k(w) = 5*w**2 - 4*w + 3 + 27 - w**2. Does 10 divide k(s)?
True
Let y = 1854 + 6036. Is y a multiple of 6?
True
Suppose 301 = 18*w - 11*w. Suppose -w*m + 17*m + 3120 = 0. Is 20 a factor of m?
True
Suppose -2*u + 20 = -0*u. Let b = -467 + 175. Is ((-5)/u)/(2/b) a multiple of 10?
False
Let w(m) = 2*m + 19. Let h be w(-9). Let j be (1/h)/(11 + -12). Let u(f) = 150*f**2 - 2. Is u(j) a multiple of 14?
False
Suppose -2*o + 4*x + 80418 = 0, 14 = 3*x - 10. Does 32 divide o?
False
Let r(v) = 2*v**3 - 59*v**2 + 359*v - 96. Does 48 divide r(32)?
True
Suppose -75*g - d = -74*g + 1, -g - 2*d - 4 = 0. Is -4 - (g + -1) - -129 a multiple of 13?
False
Suppose -31*q - 364 = -15 - 8. Let x be (2 - -4)*(-22)/(-4). Let w = x - q. Is 11 a factor of w?
True
Let q(h) = 3*h - 33. Let j be q(11). Let m(d) = 17*d + 108. Is m(j) a multiple of 12?
True
Suppose -206*i = -5*b - 204*i + 132521, 3*i = 5*b - 132519. Is b a multiple of 285?
True
Let y(p) = 380*p - 1. Let r be 3/(25/20 - 2) + 5. Is y(r) a multiple of 21?
False
Suppose -5*v = -2*o - 3, -4*o + 0*v = v - 5. Let s(g) = 125*g**2 - 4*g + 5. Is 42 a factor of s(o)?
True
Let a be (-10)/(-6)*18/15. Does 7 divide a/(1*(-2)/(-56))?
True
Let b(d) = -119*d**3 - 15*d**2 - 92*d + 16. Is 96 a factor of b(-5)?
True
Let c = -293 + 294. Let j(i) = 213*i**2 - 26*i + 26. Is j(c) a multiple of 45?
False
Let p = -3864 + 41629. Is p a multiple of 29?
False
Suppose -27306 = -o - 3*v - 4409, -2*o + 2*v = -45802. Is o a multiple of 236?
False
Suppose 4*p - 10742 = -3310. Suppose 2*y - 6*y + 1480 = 4*o, o = -5*y + p. Does 12 divide y?
True
Let v(o) = -o**2 + o + 32. Let f be v(6). Suppose 3*l = 4*z + l - 2140, 3*z = f*l + 1605. Is 12 a factor of z?
False
Suppose 0 = -5914*j + 5962*j - 2800012 + 570316. Is j a multiple of 12?
True
Let u be (-6)/(96/(-3404)) + (-9)/12. Let h be 10/(-30) + u/6. Suppose -697 = -4*n + h. Is 21 a factor of n?
False
Let w(d) = -d - 3. Let c be w(-7). Suppose -140 = -22*h + 27*h. Is (-3871)/h - (-3)/c a multiple of 13?
False
Let n = 135 - 42. Suppose -4*l + 283 = -n. Suppose l = x