vide f?
False
Let r be ((-3)/((-15)/(-320)))/(-1). Let o be 0 + 1 + -2 - -123. Suppose -o = -3*u + r. Is 33 a factor of u?
False
Suppose -3*d - 5*x = -2035 - 5820, -4*x - 2624 = -d. Does 20 divide d?
True
Let i be 160/30 + 2/(-6). Suppose -i*c - 4 = -39. Suppose 705 + 30 = c*g. Is g a multiple of 10?
False
Suppose 0 = -19*y - 4456 + 36072. Does 26 divide (3 - 5)/((-4)/y)?
True
Suppose -4*x - w = -620, -2*x - 4*w = x - 465. Let c = 42 + x. Is 13 a factor of c?
False
Let l = 8939 + -5727. Suppose -2*b = b + 4*g - 1934, -g = 5*b - l. Suppose 5*k - b - 193 = 0. Does 8 divide k?
False
Let v = 46 + -15. Suppose -6*h + v*h = 8000. Is h a multiple of 32?
True
Let l(n) = n**2 - 2*n - 8. Suppose -13 = -3*o + g, 2*g - 18 = -3*o - 2*o. Let i be (9/(-6) + (-34)/o)/1. Does 14 divide l(i)?
True
Let r = 80 + -64. Suppose 23*a + r = 27*a. Suppose -a*x + 3*j + 960 = j, -5*j = 10. Is 18 a factor of x?
False
Let u(o) = -o - 15. Let a be u(-20). Suppose -2*t + 3*t + a*d - 69 = 0, -t + d + 87 = 0. Is 12 a factor of t?
True
Suppose 4*u + 56111 = 5*k, -45*u + 50*u = -45. Does 25 divide k?
False
Suppose 5*p - 386 + 1263 = 3*j, -862 = -3*j + 2*p. Suppose -5*t = -15, t + 108 + 5 = -2*m. Let i = m + j. Is 14 a factor of i?
False
Suppose 2*w + 3*y = 7*w + 2523, 2*y - 1010 = 2*w. Does 25 divide (-3 - 4) + (3 - w)?
True
Let s(t) = 39*t + 1554. Is s(4) a multiple of 10?
True
Let a = -23 + 150. Suppose a*q - 130*q = -1170. Is q + (-10)/4*16/20 a multiple of 60?
False
Let w(a) = -a**2 + 29*a - 138. Let x be w(13). Suppose 65*u + 1400 = x*u. Is u a multiple of 56?
True
Let g be (-160)/25*(-220)/8. Suppose 0 = 2*q - 5*w - 23, -26 = -2*q - 3*q + 2*w. Suppose q*x = 8*x - g. Is x a multiple of 11?
True
Let c = 197 + -137. Let p be (-3 + -7)*(-2)/(-4). Is (p/(-2))/5*c a multiple of 15?
True
Suppose f - 1321 = -445. Is 3 a factor of f?
True
Let y(j) = 11*j + 44. Let n be -1*(7 - (-2 - -5)). Let k be y(n). Is 30 a factor of -5 + (-740)/(-4 - k)?
True
Suppose 5*o - 10 = 5*m, 2*m + 0*m - 8 = -4*o. Let v(r) be the third derivative of r**6/30 + r**5/60 + 5*r**3/6 + 723*r**2 + 2. Does 8 divide v(o)?
False
Let i(f) = f - 33. Let c be i(21). Is 4312/24 - c/(-18) a multiple of 10?
False
Suppose 6 = 42*o - 120. Suppose -17*t = o*k - 13*t - 1220, 3*t = -k + 415. Is k a multiple of 20?
True
Suppose 0 = 4*h + 20, 0 = -3*c - 114*h + 109*h + 7022. Does 87 divide c?
True
Suppose 0*z + 2945 = 5*z. Suppose -4*o + 5*a = z - 2039, -o - a = -358. Suppose -o = -3*q + 162. Is 29 a factor of q?
True
Does 152 divide 342*((-412)/309)/((-1)/19)?
True
Suppose 0 = -54*d - 10*d + 744192. Is 4 a factor of d?
True
Suppose 3*h = -3*p + 864, -3*p - 866 = -6*p - h. Let f = p - 224. Does 3 divide f?
False
Suppose 2*d = -3*h + 184, d = -3*h + 18 + 170. Let t be (h/12 + -2)*3. Suppose 0 = t*q - 4*q - 636. Is q a multiple of 35?
False
Let h(d) = 0*d + 7*d - 6 - 6 + 0*d. Let f be h(-8). Does 7 divide ((-40)/(-6))/(f/(-60) - 1)?
False
Let j be 44/((3 - 212/36) + 3). Let k = -190 + j. Does 27 divide k?
False
Let r be (34/(-3))/(((-6)/9)/1). Suppose 0*x - 170 = -r*x. Let z(u) = -u**3 + 11*u**2 - 13*u + 35. Is z(x) a multiple of 2?
False
Suppose 4*j + 3 = p - 4, p - 5*j - 9 = 0. Let z be (-838)/(-6) + ((-6)/p)/18. Suppose 3*l + 6*m - m = 440, 5*m = l - z. Is l a multiple of 29?
True
Suppose -7*z - 21 = -56. Suppose l + r + 102 = 0, 0*l + l - z*r + 72 = 0. Let t = l + 144. Is t a multiple of 8?
False
Suppose 60*k - 65*k + 5*n + 5250 = 0, 2*k = 5*n + 2082. Does 22 divide k?
True
Let x(m) = -2*m**2 - 54*m - 134. Is x(-22) a multiple of 43?
True
Suppose -3*h + 4*h = 5*g - 3445, 3*h = 15. Let b = g - 130. Is b a multiple of 16?
True
Does 72 divide -5 + 3*(-36298)/(-12)*2?
True
Suppose -s + 2 = -3*s - 4*g, -s = 4*g + 5. Suppose z + 4 = 0, -h - 2*z + 1720 = s*h. Is h a multiple of 48?
True
Let j be 26/4 - 2/4. Suppose j*n + 804 = 12*n. Is 25 a factor of n?
False
Suppose 0 = -4*z - j + 197, -3*z + 134 = -j - j. Let k = 144 - z. Does 12 divide ((-5)/(-10))/(1/k)?
True
Suppose 2*g + 1990 = 5*z, -5*g - 1 - 24 = 0. Suppose 0 = -5*o + h + 401, 8*o - 3*o = -4*h + z. Does 20 divide o?
True
Let a be 7 - (-9 - -13) - (0 + 3). Suppose 4*s + t - 367 - 1965 = a, -3*t = -12. Is 25 a factor of s?
False
Let c = 16783 + -8823. Is c a multiple of 35?
False
Let g(f) = -9*f**3 - 4*f**2 - 7*f - 29. Let l be g(-5). Let q = l - 393. Is q a multiple of 46?
False
Let q(p) = -17*p**3 + 35 + 20*p**3 - 4*p**3 + 7*p**2 + 0*p**2 - 9 - 8*p. Is q(6) a multiple of 4?
False
Let x = -37 + 64. Suppose -305 = -6*h - 281. Suppose h*t + 38 = 3*j - 53, -x = -j - 2*t. Does 4 divide j?
False
Suppose 3*j + 3*a = -9, -4*a + 15 = -j - 9*a. Is j/1 + 27 + -3 even?
True
Let l(p) = -7*p**3 - 8*p**2 + 7. Let j be l(-4). Suppose 4*d - 347 = 3*b, 4*d = -2*b + b + j. Is d a multiple of 2?
False
Suppose -84*k + 41*k + 704641 = 0. Does 19 divide k?
False
Let x(h) = -159*h + 45. Let u(g) = -3*g**2 + 35*g + 10. Let y be u(12). Does 40 divide x(y)?
False
Suppose 37149 = -18*i + 49482 + 164103. Does 29 divide i?
True
Is (7 - (-12860 - 23)) + 1 a multiple of 63?
False
Let b(y) = -5*y**2 - 844*y - 962. Is 13 a factor of b(-119)?
False
Suppose -a - 232 = a + k, 0 = -3*a - 2*k - 346. Let z = 160 + -200. Let o = z - a. Does 20 divide o?
False
Let g be 21/6*(-6 - (-204)/42). Is 28 a factor of ((-854)/g - -2)*(-28)/(-14)?
False
Let l = 1014 - 502. Suppose 2*m = 5*o - l, 0 = m - 0*m + 1. Is 34 a factor of o?
True
Suppose 4*d - 88804 = -3*q + 27564, -5*d + 5*q + 145460 = 0. Does 14 divide d?
True
Let v(b) = 3 + 3*b**2 + 21*b - 2*b**2 - 6*b. Let t be 6*6/(-108)*60. Is v(t) a multiple of 13?
False
Let r(t) = -t**3 + 57*t**2 + 52*t - 4807. Is 111 a factor of r(52)?
False
Suppose 3*y = 18*k - 14*k - 1529, 0 = -4*k + 5*y + 1535. Let r = k - 314. Does 6 divide r?
True
Let i(c) = 4*c**2 - 36*c + 2. Let m(x) = -2*x**2 + 18*x - 1. Let s(v) = -4*i(v) - 7*m(v). Let l be s(6). Let b = 137 - l. Is b a multiple of 35?
False
Let c = -5287 - -6255. Does 44 divide c?
True
Let d(m) be the first derivative of 31*m**2 + 10*m**2 + 41*m + 20 - 47*m. Does 20 divide d(2)?
False
Suppose -w = 2*b - 9, 5*b + 5*w + 0 - 15 = 0. Does 4 divide b/(-12) - 387/(-6)?
True
Suppose -11*m - 102 = -80. Does 12 divide (-1)/m - (-8)/(48/1665)?
False
Let t(f) = -2*f**3 + 30 + f**3 + 7*f**3 - 15*f**2 + 12*f - 5*f**3. Let b be t(14). Suppose -5*h = -b*p + 63, -5*p - 5*h + 73 = -3*p. Is p a multiple of 18?
False
Suppose 0 = -4*q - 5*h + 28, 0 = -56*q + 53*q - 5*h + 26. Suppose 4*l = m - 108, 5*m + 3*l = q*l + 645. Is 32 a factor of m?
True
Is (-2125030)/(-1775) - (1/(-5))/(-1) a multiple of 57?
True
Let z(u) = 28*u**2 - 174*u - 903. Does 4 divide z(-9)?
False
Let t = -82 + 133. Let l be -38 + (-1 - 2) + 4. Let h = t + l. Is 7 a factor of h?
True
Suppose 12612 = 2*w - 2*u, -5*u + 12570 = -19*w + 21*w. Does 75 divide w?
True
Suppose 280*q - 281*q = f - 5581, 5*f - 11183 = -2*q. Does 6 divide q?
True
Let g be ((-883)/(-4))/(15/60). Suppose 4*h - g - 157 = 0. Is 13 a factor of h?
True
Suppose 106*x = 90*x + 864. Suppose -x*d + 14280 = -39*d. Does 56 divide d?
True
Suppose -3*c - 653 = -5*x - 5*c, -x + 126 = 5*c. Suppose a - 36 = -b, 4*b - x = -a + 1. Is 32 a factor of b?
True
Let c be 3/(-2)*(-110)/33. Suppose -5*l - 2*h - 399 = 0, -2*l - 168 = -0*l + c*h. Let r = l - -147. Is 17 a factor of r?
True
Let o(m) = 27 + 1 + m + m + 8. Let j be o(12). Let i = -49 + j. Is i a multiple of 6?
False
Let f be 16/10 - (2 - (-12)/(-5)). Let d be f + 70/(-2) + 15/(-5). Does 25 divide 247 - ((-2)/6)/((-4)/d)?
True
Let t(w) = -4*w - 51. Let n be t(-8). Let s(o) = -o**3 - 18*o**2 + 10*o + 25. Is s(n) a multiple of 7?
True
Suppose 14*q - 2070 = 9*q. Let f be q/(-4)*(-18)/27. Let a = f + 31. Is a a multiple of 13?
False
Let x = 1839 + -2654. Let s be x*23/(-4) - (-3)/4. Suppose 1915 = -12*n + s. Is 39 a factor of n?
False
Let b(s) = -37*s + 403. Let p(h) = 19*h - 198. Let w(j) = -6*b(j) - 13*p(j). Is w(-19) a multiple of 33?
False
Let b = 28 - 36. Let t be (3/6)/(b/(-336)). Let k = 31 - t. Is 10 a factor of k?
True
Let c(r) = -3*r**2 - 5*r - 2. Let o be c(-2). Let i be 4 - ((1 + 7)/o)/(-1). Is 16 a factor of -128*(i + -1 + -2)?
True
Suppose 636 = 3*r + d, 2*r - 278 - 124 = 3*d. Does 3 divide r?
True
Suppose 0 = 46*n - 38*n + 1440. Let d = 356 + n. Is d a multipl