 (6/28)/((-636)/(-124999546)) + (-9)/12?
False
Is 135250/14 + 20 + 1932/(-98) a multiple of 61?
False
Let s = 11 + -35. Let d be (-126)/s - (-1)/(-4). Suppose -p + d*p - g - 203 = 0, 5*g = 3*p - 165. Does 12 divide p?
False
Suppose -154*g + 611841 + 253176 = 247477. Is g a multiple of 3?
False
Let c(s) = s + 1. Let d(j) = 731*j**3 + 3*j**2 + 4*j + 2. Let q(i) = 3*c(i) - d(i). Let k be q(-1). Suppose 2*r - 7*r = -k. Does 25 divide r?
False
Suppose -3*n + 212 = -0*n - m, -3*n + 206 = 2*m. Is 1932/n - -3 - (-6)/(-10) a multiple of 19?
False
Suppose 4*v + 3*p - 823 - 27489 = 0, v - 7069 = -3*p. Is v a multiple of 85?
False
Suppose 0 = 2*h + 3*q, -5*q + 6*q = h. Suppose g + 3*g - 8 = h. Suppose g*i - 460 = -50. Is 21 a factor of i?
False
Suppose 2 = -k - 2*x, -4*k - 53 = -x - 0*x. Let h = 63 + -21. Let a = k + h. Is a a multiple of 16?
False
Suppose 2*o - 7510 = -3*i, 2*i + 2*i - 10005 = -o. Does 83 divide i?
False
Is 35/((-35)/(-18)) - -4182 a multiple of 120?
True
Suppose -4*m + 13 = -2*f + 3, 5*m - 13 = 3*f. Suppose 3*v = 2*v - b + 14, m*v + b = 33. Let c = v - -267. Is 26 a factor of c?
True
Suppose -11*y - 2 = -6*y - 2*c, 5*y + 22 = -3*c. Let b(t) = -6 + 0*t - 3*t - 2*t + 4*t + 10*t**2. Does 9 divide b(y)?
True
Let k(f) = 3 - f - 7*f**3 + 0*f - 5*f**2 + f**3 + 2. Let y be k(-4). Suppose -2*g + 5*a = -212, -3*g + 2*a = -27 - y. Is g a multiple of 11?
False
Suppose 37*j - 425005 = -17820. Is 209 a factor of j?
False
Suppose 2*x = 33 - 23. Suppose 3*s - 420 = 3*u, 23 = x*u + 3. Is s a multiple of 36?
True
Let m(n) = -926*n + 43. Does 17 divide m(-1)?
True
Let l be (3708/30)/((-5)/(375/(-6))). Suppose -4*n + 7*n - b = 927, -5*n - 4*b = -l. Does 11 divide n?
False
Let o = 1969 - 3456. Let l = -1003 - o. Let n = -330 + l. Is 6 a factor of n?
False
Let q(y) = -2*y**2 - 49*y - 26. Let b be q(-24). Is 20 a factor of (-45)/((-18)/b) - -408?
False
Does 41 divide (-854924)/(-38) - (-2 + 6 + -5)?
False
Let r = 59 - -4. Suppose 2*d = -3*j + 220, -3*j + d + 169 = -r. Is j a multiple of 5?
False
Let v = 580 - 576. Let f(h) = 49*h**2 + 20*h - 10. Is 50 a factor of f(v)?
False
Suppose 11*a + 3*z = 8*a + 6, 18 = 3*a - 3*z. Let y(q) = 6*q**2 - q + 41. Is 8 a factor of y(a)?
False
Let c = -1537 - -6401. Is 38 a factor of c?
True
Suppose 2*u = -0*u + 12. Let c = -2440 - -2438. Is 31 a factor of 90/(c*(-3)/u)?
False
Suppose q - 14 = -q. Let n(b) = 2*b**2 - 13*b - 4. Let k be n(q). Suppose -v + k*x = -128, 3*v - 406 = -x - x. Is v a multiple of 9?
False
Suppose -19*z - 179799 = -575208. Is z a multiple of 86?
False
Suppose -n - 21 + 15 = 0. Let x be 27/n - 9/(-6). Does 27 divide -17*2/(2/x)?
False
Is 178 a factor of 23 + (-666)/36 - 99315/(-2)?
True
Suppose 10 = -4*q + 26. Let l be q + 4/((-4)/1). Is 87/2 - l/6 a multiple of 11?
False
Does 3 divide 2475/4 + 6/(-8)*(-2 + 3)?
True
Let o(h) = 67*h - 47. Let v be o(5). Does 9 divide (15/30)/(2/v)?
True
Let z be -1 - (5358/(-18) - 10/(-6)). Let f = z + -187. Does 6 divide f?
True
Is (-2693004)/(-357) + (-16)/(-28) a multiple of 164?
True
Let b(n) = n**3 + 91*n**2 + 75*n + 395. Is b(-90) a multiple of 3?
False
Does 90 divide 4*15/(-10) - -6756?
True
Suppose -182 = -5*s - 42. Suppose -s = -13*z + 6*z. Suppose -5*h + z*i - 5*i = -160, 2*i - 41 = -h. Is h a multiple of 5?
False
Let a(b) = 228*b - 29. Let p = -336 + 337. Does 44 divide a(p)?
False
Is 10 a factor of -18*(20637/(-27) + 1)?
True
Let f be (19 + -19)/(2/((-6)/9)). Suppose -4*q + 2*w = -1398, 5*q - w + 0*w - 1749 = f. Is q a multiple of 50?
True
Suppose -260*v - 4*x - 30716 = -262*v, -4*v = 4*x - 61408. Is v a multiple of 32?
False
Let z(i) = -117*i - 1869. Is 6 a factor of z(-51)?
True
Suppose -2*z + 540 = -11*z. Let g = 72 + z. Is g a multiple of 12?
True
Let y = 28619 + -18854. Is 31 a factor of y?
True
Suppose -13 = -5*h - 3. Let q be (-2)/((5/(-5))/h). Is (-2)/q*2 + 25 a multiple of 24?
True
Let t be 5/2*(-24)/(-15). Suppose 4*b + 2*p = -4 + 2, 2*b + 4*p + t = 0. Suppose w + 5*f = 37, b*f + 4 = -2*f. Is 42 a factor of w?
False
Let f = -8490 - -13980. Does 90 divide f?
True
Let f(n) = -n**3 + 41*n**2 - 39*n + 31. Is 166 a factor of f(34)?
False
Let v(z) be the first derivative of 49*z**2/2 + 6*z - 63. Is v(7) a multiple of 20?
False
Suppose -5*g + 70002 = -13*u, 5*u - 4621 = -g + 9425. Does 7 divide g?
False
Let m = -268 - -2008. Does 112 divide m?
False
Suppose -4*x = -5*x + 4*r + 17, 4*x + 4*r = -32. Let z(y) be the second derivative of -10*y**3/3 - 3*y**2 + 22*y - 4. Is z(x) a multiple of 9?
True
Let x = -1 + 3. Let j(q) = 3*q - 4. Let f be j(x). Is (5/2 + -2)/(f/100) a multiple of 20?
False
Let g(b) = -5*b - 38. Let t be g(-8). Let q(l) = -16 - 3*l - 14*l + 4*l**2 + 12*l**t - 17*l**2. Does 6 divide q(-10)?
True
Suppose -3*w + 264 = -0*w - n, n = -2*w + 176. Let o(s) = s**3 - s**2 + s - 2. Let l be o(2). Suppose k - 4*r + w = 3*k, 0 = -l*k - 3*r + 181. Does 18 divide k?
False
Suppose -2*m - 5*f + 18 = -4*m, 7 = -m + 2*f. Let n be (5 + m)*(146/(-4) - -5). Is 8 a factor of (n/28)/(51/(-16) - -3)?
False
Let p(r) = r**3 + 8*r**2 + 4*r - 39. Let u be p(-7). Let k be ((-5)/3)/(u/54). Suppose -5*h = -m + 125 + 58, 0 = -h + k. Does 34 divide m?
False
Suppose 440*j - 443*j = -9, -2*j - 24906 = -3*q. Is q a multiple of 24?
True
Let w = -35 - -37. Suppose 0 = -w*g - o - 4 - 0, -o = 4. Suppose g = 5*y - 107 - 198. Does 15 divide y?
False
Suppose 8 = 4*v + 5*z, -z - 2*z + 6 = 3*v. Let i = 203 - v. Let g = i - 105. Does 12 divide g?
True
Let p = -524 + 537. Suppose -2*h + 4*d + 496 = 0, 5*h - 16*d - 1247 = -p*d. Does 21 divide h?
False
Let v(t) = 2*t**3 - 11*t**2 - 20*t + 9. Let o be v(11). Suppose 4*w - o = -5*b, 4*b = 4*w + 297 + 599. Is b a multiple of 23?
False
Let u(s) = -39*s**3 + s**2. Let b(g) = 7*g + 7. Let t be b(-5). Let w = t - -27. Does 4 divide u(w)?
True
Let k = 5614 - 1447. Suppose 53303 = 35*h - k. Is h a multiple of 36?
False
Let k = 157 - 154. Suppose k*u - 133 = -s + 8*u, -9 = 3*u. Does 40 divide s?
False
Let w(k) = 3*k**2 - 6 - 2*k + k**2 - k**3 - k. Suppose -43*l + 42*l = -4, 4*d + 5*l - 4 = 0. Is w(d) a multiple of 12?
False
Suppose 0 = 4*a + 2*i - 8669 - 277217, -5*a = -4*i - 357325. Is 192 a factor of a?
False
Suppose k - 5*k = 3*i + 25, -8 = -4*i + 5*k. Does 12 divide ((-186)/(-4))/(i/(-26))?
False
Suppose -u + 3128 = 3*b, 3*u = -11*b + 3*b + 9392. Does 8 divide u?
True
Let y = 868 - -582. Is y a multiple of 13?
False
Suppose 11*k + 14*k = 10900. Suppose k*n + 5632 = 444*n. Does 11 divide n?
True
Let o(h) = h**3 - 10*h**2 + 15*h + 8. Let u be (-3 - (-3)/((-3)/(-19)))/2. Let q be o(u). Suppose -3*s + 135 = -q*s. Is 9 a factor of s?
True
Is -1*(99/12)/(9/(-408)) a multiple of 22?
True
Suppose -2*a + 5*n - 7 - 3 = 0, 3*a - 3*n - 3 = 0. Let f be ((-8)/a)/((-30)/75). Is 29 a factor of (-5)/2*-28 - (-2 + f)?
False
Let y(g) = 42*g - 647. Is y(38) a multiple of 29?
False
Suppose -5*b = i - 18, -3*b = i - 7*b. Is 30 a factor of (i/16)/(1/998)?
False
Let f = 141 - 139. Suppose 0 = u - f*s - 30 - 99, 0 = 5*u + 2*s - 585. Is u a multiple of 7?
True
Let l = -37 - -34. Let w be (-200)/15*1/(l/9). Let f = w - 29. Is 11 a factor of f?
True
Let u(h) = -h**3 - 4*h**2 + 5*h + 3. Let w be u(-5). Suppose 4*t = -5*v - 55, -w*t - 40 = -0*t + 5*v. Let x = t - -53. Does 12 divide x?
False
Let t = 36 - -2. Let d = 106 + t. Is 16 a factor of d?
True
Let o(r) be the first derivative of 11*r**2/2 - 52*r + 1207. Suppose 12 = 3*w - w. Is 7 a factor of o(w)?
True
Let v be (11 - 3) + (-2 - -5). Suppose 0 = 4*y + v - 107. Does 18 divide (282/(-24) - -5)/((-1)/y)?
True
Suppose 177*s - 1539072 = -209*s + 52*s. Is 18 a factor of s?
True
Let l(c) = 4 + 4*c**2 + 2*c - 3*c**2 + 11*c. Let d be l(-13). Suppose -2*p = -4*p + u + 89, -27 = -p + d*u. Is 7 a factor of p?
False
Is 44463/6 + 16/(-32) a multiple of 130?
True
Let s = -37 + 44. Suppose 2*u - s - 3 = 0. Suppose 5*q = u*k + 205, -5*q - 35 = k - 234. Does 5 divide q?
True
Suppose 18*c - 22*c + 12 = 0. Suppose -2*s = -4*b + 682, c*b + 358 = 3*s + 871. Is 5 a factor of b?
True
Suppose -31 = -5*b - 3*w, 4*b - 3*b = -4*w - 4. Let v(j) = -j**3 + 8*j**2 - 9*j - 18. Let z be v(b). Is z/(-4) - 3/6 a multiple of 4?
False
Let t = -2740 + 2935. Does 3 divide t?
True
Let g = 11 + -8. Suppose g*k - 5*l - 343 = 9, 4*k = l + 458. Is k a multip