6 - (-3)/2)*-879?
False
Is ((-6830)/8)/((-4120)/59328) a multiple of 7?
False
Let h(g) = -2*g - 38 + 49 + 31. Let i be h(18). Suppose -i*k = -14*k + 1008. Is 19 a factor of k?
False
Suppose -3*p = -15, 4*k = 3*p - 0 - 11. Let h(u) = -7028*u**3 + 14098*u**3 - 2*u**2 + u - 6969*u**3. Does 18 divide h(k)?
False
Suppose -58*q + 53*q - 25 = 0, 0 = 3*a + 4*q + 14. Suppose a*r + 3249 = 4*l + 439, r = 4*l - 2805. Does 50 divide l?
True
Suppose -3*n + m - 3*m + 8757 = 0, 2*m = 0. Is 7 a factor of (6/9)/(14/n)?
False
Suppose 0 = -2*c - f + 6, c - f = -4 + 1. Suppose -a + c = -1. Suppose -l + n - 63 = -a*l, 0 = 3*l - 2*n - 204. Does 33 divide l?
True
Let q = 3 - 13. Let n = 15 + q. Suppose 0 = 3*w - n*w - f + 425, 4*f + 1095 = 5*w. Is 24 a factor of w?
False
Suppose 0 = 3*p + 18, -3*z + 4*p = -84868 - 20321. Does 213 divide z?
False
Let z(s) = 89 - 29 - 2*s + 9*s - 37 + 26*s**2. Let h be z(-9). Is (-10)/(-55) - h/(-11) a multiple of 17?
False
Let f be (3/(-5))/(5/(-25)). Suppose -2*g - 12 = -4*t, -f*t - 2*g = -3*g - 8. Suppose -d + 3*d = 2*q - 30, -4*d = -t*q + 34. Is q a multiple of 5?
False
Let u = 194 - 202. Let c(x) = -128*x + 241. Is c(u) a multiple of 41?
False
Is -5*8/((-520)/31863) a multiple of 9?
False
Let f = 27667 + -16528. Is f a multiple of 130?
False
Does 2 divide -565*(11 + 372/(-30))?
False
Let y(c) = 3*c - 49. Suppose -3*v + 97 = 4*q, -2*q + 0*q + 32 = -4*v. Let g be y(q). Suppose -2*w - 3*i = -g, 6*w - w - 75 = -i. Is w a multiple of 16?
True
Let s = -542 - -561. Suppose -2*w - 5720 = -5*g, -5750 = -5*g - 23*w + s*w. Is 37 a factor of g?
False
Let s(a) = -2*a**3 + 15*a**2 - 7*a + 2. Let w be s(7). Let c(i) = -2*i + i**w - 5*i**2 - 6 - i**3 + i**2. Is c(-6) a multiple of 19?
True
Suppose 3*v = v + b + 11548, 23068 = 4*v + 5*b. Suppose f - v = -11*f. Is 37 a factor of f?
True
Suppose -186*d + 36 = -187*d. Is 26 a factor of ((-172)/(-14))/(d/(-252))?
False
Let l be 8 + ((-4)/6 - 2/6). Suppose 2*y + 20 - l = -s, 4*s = y - 16. Is 11 a factor of y/(((-50)/(-17) - 3)*1)?
False
Suppose z - 13797 = 3*s, 3*z + 0*s + 5*s - 41447 = 0. Is z a multiple of 31?
False
Suppose 0 = 4*g + 3*u - 3262, 0*g + 4*g + u - 3258 = 0. Suppose -8*i - g = -2222. Is 8 a factor of i?
True
Suppose -3*r - 6 = -12. Suppose 1325 = 5*n - r*q, 3 = -q - 2. Does 66 divide n?
False
Suppose 2*v - 14 = 64. Let r = v + -32. Suppose r*m - 10 = 88. Is 3 a factor of m?
False
Suppose 77*w - 90443 = 11*w + 99307. Is w a multiple of 25?
True
Suppose -2*i = 5*q - 16, 0 = 4*i - 4*q - 6 + 2. Suppose i*l - 255 = -2*l. Suppose 3*b - 109 = -5*s, 3*b - b = s + l. Is b a multiple of 13?
False
Let a = 8231 + -7114. Does 13 divide a?
False
Let k(x) = x**3 + 25*x**2 - 86*x - 36. Does 24 divide k(-23)?
True
Suppose 2*n + 5*h - 755 = 0, -5*n + 1672 + 190 = 4*h. Let f = n + 150. Is f a multiple of 13?
True
Suppose 0 = 10*u - 5*u - 2965. Suppose 5*s - 589 = -0*s - v, -5*s + u = 2*v. Is s a multiple of 13?
True
Let h = -44 + 89. Let i = 88 - h. Does 21 divide i?
False
Suppose -15 = -3*m, -4*a + 0*m + 2*m = -378. Suppose p + 291 = -a. Does 3 divide (-6)/(-9) + p/(-12)?
True
Let b(g) = -63*g + 1620. Is b(16) a multiple of 2?
True
Let o(x) be the first derivative of -163*x**5/120 - x**4/8 - 5*x**3 + 3. Let a(u) be the third derivative of o(u). Is a(-1) a multiple of 32?
True
Suppose 4*f - i = 10106, -2*i - 4 + 16 = 0. Does 8 divide f?
True
Let v(d) = 3*d**2 + 13*d + 46. Suppose 4 + 5 = 3*g + 5*q, -3*q = 9. Is 55 a factor of v(g)?
False
Suppose 9*m + 35805 = 42*m. Let s = m + -139. Is s a multiple of 24?
False
Let p be ((-6)/9)/(8/(-36)). Suppose -2*v = 7*v - p*v. Suppose v = 4*u + n - 72, n - 5*n = 0. Does 3 divide u?
True
Let n(z) = -52*z + 480. Is n(-33) a multiple of 25?
False
Let o be (0 + 462/10)/(9/90). Let k = 906 - o. Suppose -6*s + 252 + k = 0. Is 29 a factor of s?
True
Let u(h) = 117*h**3 - 3*h**2 - 15*h - 3. Let c be u(-3). Does 36 divide 6/2 - c/(4 - -4)?
True
Suppose -1165*b - 84133 = -1226*b + 311391. Is b a multiple of 18?
False
Suppose 56*m - 59*m + 5*x + 160597 = 0, -m + 5*x = -53519. Is m a multiple of 37?
True
Suppose -49138 - 32590 = 3*b - 11*b. Does 12 divide b?
False
Suppose -17072*o + 48260 = -17067*o. Is o a multiple of 76?
True
Let q = -1386 + 4166. Does 10 divide q?
True
Let b = 6 - 48. Let y = b - -42. Suppose 6*p - 7 - 23 = y. Is p even?
False
Suppose 11*d + 5*d - 4*d = 0. Is ((-2)/(d + 2))/(15/(-7935)) a multiple of 18?
False
Let l be 15 + (-8)/(1 - 3) + -4. Suppose -2*m = -m + 4*k - 228, 3*k = -l. Is 31 a factor of m?
True
Suppose k = 2*w - 73, -10*k = 2*w - 9*k - 71. Suppose -w*j + 931 = -17*j. Is j a multiple of 7?
True
Let w(n) = -11*n**3 - 7*n**2 - 19*n - 61. Does 17 divide w(-7)?
True
Let l = -226 - -211. Is 28 a factor of (3 + (-289)/3)*36/l?
True
Is (-2)/51 + 39084912/3672 a multiple of 6?
True
Suppose 0 = 4*u + g - 10, -2*u - 5*g - 22 = -6*u. Let h(c) = 58 + 38 + c - 19 + 44 + c**u. Is 23 a factor of h(0)?
False
Let w = -509 + 872. Let v = w - 75. Does 9 divide v?
True
Suppose -3*r + r = -l - 76, -6 = -3*l. Suppose -r*h + 41*h = 274. Does 7 divide h?
False
Let i(q) = 8*q + 4. Let x be i(2). Let z = 319 + -227. Suppose 5*r = 0, -z - x = -2*d + 3*r. Does 16 divide d?
False
Let x be 65 - (2 - 3/((-1)/(-1))). Suppose -x - 14 = -8*c. Is 12/c*((-1600)/(-12))/10 a multiple of 2?
True
Suppose -3*w = 2*f - 16, 5*f - 3*w + 4*w - 27 = 0. Suppose -f*p = -3*x - 4*p + 1754, 0 = -4*x - p + 2327. Is x a multiple of 53?
True
Let s(g) = g**3 - 55*g**2 - 373*g - 161. Is s(63) a multiple of 28?
True
Let q = 11114 + -10014. Does 100 divide q?
True
Suppose x + 29 = -5*k, -3*x - 3*k - 74 - 1 = 0. Let y be (-276)/(-6) - 6/2. Let n = x + y. Does 3 divide n?
False
Suppose 18*r - 35*r = 0. Suppose 5*l + 2*z - 4658 = r, -2*l - 2*z + 1868 = -0*l. Is 15 a factor of l?
True
Suppose -88494 = -29*t + 8*t. Is 7 a factor of t?
True
Let k(y) be the first derivative of -y**4/4 - 4*y**3/3 - 3*y**2 - 5*y - 15. Let j be k(-3). Suppose 0 = -2*c - j + 22. Does 3 divide c?
True
Let z be (-9)/(36/16) + 1. Let l(m) be the second derivative of -2*m**3 + 7*m**2/2 - 16*m + 2. Is 24 a factor of l(z)?
False
Suppose 10*c - 4205 = 9*c - 3*z, -4*z + 21003 = 5*c. Does 17 divide c?
True
Let w(o) = 103*o**3 + 4*o**2 - 5*o + 5. Is 10 a factor of w(2)?
False
Suppose -3096 = -14*q + 2*q. Is 5 a factor of (-1*(-3)/(-3))/((-2)/q)?
False
Let s be ((-15)/12)/((-3)/12). Let k be (-15)/60 + (-9)/(-4). Suppose -s*a + 2*y + 81 = -k*y, 4*a - 63 = 5*y. Does 17 divide a?
True
Let q(y) be the second derivative of y**4/12 - 7*y**3/6 + 6*y**2 - 16*y. Let g be q(5). Suppose -128 = -g*c - 0. Is c a multiple of 12?
False
Suppose -74*a = -46*a + 202*a - 17876060. Is a a multiple of 137?
False
Suppose 2*k - 2*v = 10, 0*k + k - 2 = -2*v. Suppose 0 = 2*h - k, -3*d - 5*h = -h - 344. Suppose 0 = 9*q - 8*q - d. Is 16 a factor of q?
True
Let r be (8/14)/(-2) + (-8856)/168. Does 7 divide 1 + (2/(-2)*-2 - r)?
True
Suppose 0 = -2*t - 3*t + 4*p + 5, -5*p - 2 = -2*t. Is 16 a factor of t*(1 + (6 - 11) - -29)?
False
Let w = 83 - 90. Let o be (2*(-2)/(-8))/(w/(-84)). Suppose 2*t + 3*p + 630 = o*t, -5*t - 2*p = -799. Is t a multiple of 32?
False
Let s(x) = -33*x**2 - 26*x + 280. Let u(y) = -16*y**2 - 12*y + 140. Let p(h) = 4*s(h) - 9*u(h). Does 14 divide p(9)?
True
Suppose -37173 - 25779 = -183*f. Is f a multiple of 13?
False
Suppose 4377 = 7*q - 15041. Does 50 divide q?
False
Is 153 a factor of (54/(-15))/(1697264/106080 - 16)?
True
Let u = -6778 + 9063. Is u a multiple of 9?
False
Let f(c) = 3*c**3 + 350*c**2 - 167*c - 462. Does 12 divide f(-117)?
True
Is 48 a factor of (-123183)/(-12) - (((-30)/8)/(-15) + 0)?
False
Let b(o) = -2*o**2 - 2 - 89*o**3 + 86*o**3 + 4. Let w be b(-1). Is 29 a factor of w + 113 - (0/(-1) + 0)?
True
Suppose -45*i + 49*i = 7348. Suppose i + 3415 = 26*o. Is o a multiple of 4?
False
Suppose -4*g + 30 = 2*m - 278, -2*m = -5*g - 353. Suppose -165*u + 352 = -m*u. Is u a multiple of 22?
True
Let u(q) = -2*q**2 - 30*q - 27. Suppose 13 = -4*f + 3*f. Does 3 divide u(f)?
False
Let y be (24/16)/((-6)/80). Let n be y/3*(-78)/4 - 0. Let b = n - 58. Does 8 divide b?
True
Suppose -d = 4*x - 1398, 2*x + 2*d + 2*d = 706. Suppose -463 - x = 4*n. Let f = -4 - n. Is f a multiple of 40?
False
Let z(x) = x**3 - 11*x**2 + 15*x + 27. Let h be z(12). 