 = l - -379. Does 18 divide u?
False
Suppose f - 15148 - 8615 = -3*y, 0 = 3*y - 3*f - 23751. Does 90 divide y?
True
Suppose 8*c + 0*c = 88. Suppose 2*t = c + 5. Let o(q) = 21*q - 72. Does 11 divide o(t)?
False
Suppose -168 = 45*i - 57*i. Is ((-91)/i - -6)/(2/(-1248)) a multiple of 24?
True
Let z(u) = 481*u + 336. Does 4 divide z(4)?
True
Suppose 4*o - 37 - 111 = 0. Let n = o + -38. Does 25 divide 97 - (n + (-6)/(-4))*-6?
True
Suppose -3*v - 4*z + 222 = -v, -v - 3*z = -115. Suppose -98*k - 1360 = -v*k. Does 16 divide k?
True
Let w = 44789 - 31649. Does 18 divide w?
True
Let x = -71315 - -101596. Is 30 a factor of x?
False
Let y be (-102)/(-9) + -1 - 8/(-12). Let u = y - 9. Suppose -6*k = u*k - 320. Does 8 divide k?
True
Let f = 45 + -40. Suppose 0 = -f*w + 8*w - 12. Let j(a) = 6*a**2 - 2*a - 4. Is j(w) a multiple of 42?
True
Is ((-2)/(-4) - 3337/(-470))/((-2)/(-2880)) a multiple of 16?
True
Suppose -4*j = 4*f - 17188, -4*j - 5497 = 5*f - 26981. Is 46 a factor of f?
False
Let i = 902 + -1566. Let v = i + 1704. Does 13 divide v?
True
Suppose -15*m - 4434 = -4*q - 12*m, m + 2 = 0. Is q even?
False
Suppose 3*z = -2*o + 4904, -1985*z + 3*o = -1981*z - 6567. Is z a multiple of 69?
False
Let a be 72186/265 - (-4)/(-10). Suppose -11*s - 23*s = -a. Is s a multiple of 4?
True
Suppose 8 - 16 = -2*l. Let t be 45/(-5)*l + 1. Is 14 a factor of -2*(-3)/(-15) + (-2954)/t?
True
Let s = 4985 - 3248. Suppose s = 2*c + 3*i, 0 = -3*c - 5*i + 1233 + 1373. Is 15 a factor of c?
False
Suppose 3*z - 70 = 158. Suppose -z = -b + 26. Is b a multiple of 8?
False
Suppose 2*l = -k - 2, -4*k - 2*l = -5*l + 8. Is (402 + -12)*(3 + k) a multiple of 11?
False
Suppose 47*x - 35 = 52*x. Suppose -2*a = 2*h + 32, -99 = 2*h + 2*h - 3*a. Let y = x - h. Does 5 divide y?
False
Let u = 1649 + -1304. Is u a multiple of 15?
True
Let q be 117/(-12)*(2 - 94). Let w = q + -501. Suppose 6*z = -3*z + w. Does 11 divide z?
True
Suppose p + 8*q - 13*q - 32 = 0, 0 = -q + 6. Is 4 a factor of p?
False
Suppose -4*n = 0, -5*t - 7 - 408 = 3*n. Let o = t + 86. Suppose 5*u + o*h = 1272, -5*h - 988 = 2*u - 6*u. Is u a multiple of 31?
False
Let f(q) be the third derivative of q**5/20 + 7*q**4/3 - 8*q**3/3 + 32*q**2. Does 2 divide f(-19)?
False
Let i(c) = -29*c + 42. Let x be i(7). Let y = 251 + x. Is 26 a factor of y?
False
Suppose 2*v - 337251 = -10*v + 315753. Is 11 a factor of v?
True
Let u = 499 + 219. Suppose 31 = -g + u. Is 15 a factor of g?
False
Let o(i) = i**3 + 26*i**2 + 47*i - 21. Let w be o(-24). Suppose w*u - 5*u + 112 = -4*h, 3*h - u = -84. Let j = 46 - h. Is j a multiple of 37?
True
Let s be (-6)/(24/(-2492)) + -4. Let r = -468 + s. Is 23 a factor of r?
False
Suppose -2*h + 2*l + 339 = -103, 2*h - 3*l - 444 = 0. Is 19 a factor of h?
False
Suppose 2137*i = 2133*i + 4644. Is i a multiple of 9?
True
Suppose -25*x = 72*x - 0*x - 5028286. Is x a multiple of 8?
False
Let m(t) = t**2 + 284*t - 48. Is 6 a factor of m(14)?
False
Let b(t) = 273*t**2 + 371*t - 1097. Is 3 a factor of b(3)?
False
Let g = 39 - 34. Suppose 2*n + 34 = -g*u - 4, -22 = 3*u + n. Let s(y) = y**2 + 3*y. Is s(u) a multiple of 9?
True
Suppose -2*l = 3*d - 13, 2*l - d - 34 + 1 = 0. Let g be 4/(-14) + 4/14. Suppose 4*x + 118 = 5*k, g*k - 4*x = -k + l. Is 26 a factor of k?
True
Let q(h) = 0*h**2 - 4*h - 15*h - 55 - h**3 - 5*h - 15*h**2. Is q(-14) a multiple of 7?
False
Let p be 25 + -2 + 1 + 1*-2. Let w = p - 17. Suppose 3*y + w*u = 179, 3*y = -y - u + 267. Is 15 a factor of y?
False
Does 92 divide (20056/(-7))/(28/(-98))?
True
Suppose 0*a = -18*a - 2052. Let r = 24 - a. Does 23 divide r?
True
Let z = 25 - 16. Suppose 0 = 8*l - 5*l - z. Suppose l*v - 5 = 2*x, -2*v + 8 = 2*x - 12. Is x even?
False
Let d = -652 - -3127. Is 15 a factor of d?
True
Let m = 4 - -5. Suppose -z - 4*b + 467 = 0, 6*z - m*z + 5*b + 1486 = 0. Does 5 divide z?
False
Let l be (11 + -11)/((-2)/1 - -1). Suppose y - 47 - 2 = l. Let z = y + -10. Is 13 a factor of z?
True
Let i(q) = 249*q**2 - 134*q + 838. Does 6 divide i(7)?
False
Suppose 5*x - 2*n - 3*n = -55, -x - 5*n = -19. Is 5 a factor of x/(-18)*-5*(0 - 57)?
True
Let o(s) = -2066*s - 117. Is 7 a factor of o(-1)?
False
Let m = -28277 - -43397. Is m a multiple of 140?
True
Suppose -5*g + 58 = 8. Suppose -g + 2 = -2*l. Suppose 0*o - 172 = -l*o. Is 11 a factor of o?
False
Suppose -11*j + 6*j = j - 14508. Is 31 a factor of j?
True
Suppose i + 3*s = -0*i + 1, 4*s = 0. Let n be 143/44 + i + 1/(-4). Suppose -n = -2*q, 4*g - 3*g - 176 = -2*q. Is g a multiple of 43?
True
Let c(i) = -i**2 - 15*i - 19. Let v be c(-14). Let g(m) = -45*m - 6. Let j be g(v). Let f = -126 + j. Does 13 divide f?
False
Let k(b) = -73*b + 35. Let s be 4*(-4)/(-8)*(-42)/12. Is 48 a factor of k(s)?
False
Let q(j) = 197*j + 644. Does 28 divide q(28)?
True
Suppose -3*h - 4*m + 55 = 0, 6*h - 90 = 2*h - 2*m. Suppose 25 = 5*d + h. Let y(l) = -l**3 - 2*l**2 + l + 60. Does 12 divide y(d)?
True
Let y = -364 - 250. Let s = y - -1668. Is s a multiple of 17?
True
Suppose -9*b - 383 = -2084. Let c = b + -87. Is c a multiple of 6?
True
Let q(l) be the third derivative of 17*l**5/60 - 17*l**3/6 + l**2 - 11. Is q(5) a multiple of 51?
True
Suppose l - 4*u + 0*u = -46, 5*u + 289 = -4*l. Is 63 a factor of (-5 - l/18)*-378?
True
Suppose -26 = -4*c + s - 9, 4*c - 11 = -5*s. Suppose -3*r = -c*h - 27, 4 = -2*h - 4*r - 4. Is h/(-1 + 164/172) a multiple of 18?
False
Let l(i) be the third derivative of 11*i**5/60 - i**4/8 + 4*i**3/3 - 14*i**2. Is 56 a factor of l(-3)?
False
Let s(t) = -2*t + 2. Let n be s(1). Let r = 307 + -126. Suppose 310 = 5*l - x - 565, n = -l - x + r. Is 8 a factor of l?
True
Is 13/(182/(-540))*(-18 + -17) a multiple of 18?
True
Let w be 206/(-6) + 315/(-27) + 11. Let v(g) = -24*g + 48. Is v(w) a multiple of 12?
True
Let b be (1 + 1)*(3 - 141/6). Let w = b - -86. Suppose 50*s = w*s + 105. Does 2 divide s?
False
Let i = -28208 - -72351. Is 177 a factor of i?
False
Let f be (3 + 0)/(39/65). Suppose -122 = -2*a - 2*h + 88, f*a - 532 = 2*h. Is a a multiple of 48?
False
Suppose -2*m + 4 = -m - 4*b, 3*b = 2*m - 8. Suppose -m*w + 714 = 4*d + d, -5*w - d = -903. Suppose -4*f + w = 3*h - 269, -5*f + 560 = 5*h. Does 18 divide f?
False
Suppose -18*z + 8*z = -240. Suppose -17*c = -z*c + 910. Is c a multiple of 10?
True
Suppose 49 - 133 = -6*z. Is 3 a factor of 16/3*357/z?
False
Let q be 4*(4 + -2 + 0). Suppose -q - 34 = 6*a. Does 14 divide a*(4 - 20 - 4)?
True
Let q = 2407 + -1535. Is 40 a factor of q?
False
Suppose 16*k + 14 = 17*k. Let g(x) = 179 - 199 - k*x - x**2 - 2*x. Does 16 divide g(-13)?
False
Let r = -3972 + 4168. Is r a multiple of 14?
True
Let l(f) = 3*f**3 + 4*f**2 - 15*f + 26. Let n be l(4). Is (-990)/(-135)*n/4 a multiple of 26?
False
Let t(h) = 1227*h**3 + 4*h**2 - 11*h + 10. Is t(1) a multiple of 15?
True
Suppose -4*h - 20 = 0, 2*x = -81*h + 79*h + 7926. Does 16 divide x?
True
Let m be (86/3)/(-2 + 112/54). Let a = m + -251. Let r = -92 + a. Is 22 a factor of r?
True
Let d(t) be the third derivative of -t**6/30 - 7*t**5/30 + t**4/4 - t**3/6 - 57*t**2 + 1. Is 17 a factor of d(-5)?
True
Let h = -2349 + 7959. Is h a multiple of 33?
True
Let b be 781/(-15 + 4) - 1. Suppose 2*n = -2*r + 22, 2*r + n = -0*r + 17. Does 17 divide (-5992)/b - r/27?
False
Let i(u) = -11*u**2 + 3*u + 6. Let z be i(5). Suppose 2*j - 2*r - 397 - 327 = 0, 2*r = -8. Let y = j + z. Is y a multiple of 13?
True
Let c(y) = -y**3 - 21*y**2 + 23*y + 25. Let p be c(-22). Does 36 divide (-441)/(p/6*-3)?
False
Let o be 15*(-5 - -7 - (-156)/10). Let k = o + -49. Is 7 a factor of k?
False
Let v(j) = -4*j**2 - 2*j + 12. Let a be v(-4). Let b = a + 48. Suppose 6*x - 30 = b*x. Is x even?
False
Let c = -5365 + 22129. Suppose 0*m - 44*m = -c. Does 30 divide m?
False
Let s be 3/(5 - 16/4). Let u be (-46)/(-2 + s + -3). Suppose 26*z = u*z + 225. Is z a multiple of 25?
True
Let v(g) = -2*g**3 - 68*g**2 + 55*g - 63. Is v(-35) a multiple of 11?
True
Let j(w) = -20*w**2 + 37*w - 342. Let u(b) = 17*b**2 - 37*b + 342. Let o(k) = -6*j(k) - 7*u(k). Does 24 divide o(-54)?
True
Suppose 7*f = -0*f - 10633. Let o be 36/(-30) + 1 - f/(-5). Is (-954)/(-38) + 32/o a multiple of 21?
False
Suppose 3*t + 148 - 130 = 0. Is 0 + t + (28 - -319) a multiple of 33?
False
Suppose -3*d = r - 3, -5*d + 11 + 8 = 4*r. Suppo