 - 96201/(-91). Let g = -544 + f. Is g a multiple of 32?
False
Suppose 37*w + 30*w = 37546 + 251894. Is w a multiple of 76?
False
Suppose -g - 50 = l, 3*g - 214 = 3*l + l. Let s = l - 3. Let c = s + 82. Is 27 a factor of c?
True
Let a = -83 - -88. Suppose -4*l + 1944 = a*l. Is l a multiple of 9?
True
Let a(n) = n**2 + 7*n + 12. Let w = 6 + -16. Let o be a(w). Let q = o - -2. Is q a multiple of 7?
False
Suppose -2*a - 69*g = -76*g - 25272, a - 2*g = 12642. Is 253 a factor of a?
True
Let q(w) = -39*w + 2949. Does 60 divide q(31)?
True
Let r = -55721 + 98813. Is r a multiple of 11?
False
Suppose -5 = -6*u - 5. Let c be 0 - 2*(u - 11/2). Let v(q) = q**2 - 9*q + 14. Is v(c) a multiple of 6?
True
Let d = 2216 - 2209. Let n = 13 - -1. Is 4 a factor of d/n*(-36)/(-1)?
False
Let d(n) = n**3 - n**2 + 2*n - 24. Suppose 4*t = -0*t + 4, -3*a + t - 1 = 0. Suppose 3*x + g - 17 = -a*g, 0 = -g + 5. Does 4 divide d(x)?
True
Let u(p) = -2*p**2 - 10*p + 131. Let x be u(6). Let m(j) = -j**3 + 6*j**2 + 4*j + 1. Let d be m(5). Let k = x + d. Does 16 divide k?
False
Let v(a) = -10*a**3 - 29*a**2 - 61*a - 12. Is 42 a factor of v(-6)?
True
Let w(j) = 102*j - 24. Let l be w(2). Suppose -l*d = -187*d + 994. Does 7 divide d?
False
Suppose 30 = 21*o - 16*o. Let n be ((-8)/o)/((-3)/(-36)). Let y = 2 - n. Does 10 divide y?
False
Let v = 40 - 62. Let s = v + 33. Is (-289)/6*-4 - s/(-33) a multiple of 37?
False
Suppose 2005 = -o + 2*o - 425. Does 120 divide o?
False
Let b(j) = j**3 + 7*j**2 - 78*j + 1031. Is 24 a factor of b(14)?
False
Let r(u) = -u**3 + 2*u**2 + 2*u + 5. Let a be r(3). Let y be (-2)/10*a - (-16)/40. Suppose 4*o + 3*w - 353 = y, -5*o = 2*w - w - 433. Is o a multiple of 19?
False
Suppose 70*o - 218*o = -1113700. Is o a multiple of 175?
True
Suppose -4*u + 7 = v - 29, -3*v - 2*u = -68. Suppose -16*k = v*k - 29160. Is k a multiple of 30?
True
Suppose z + 5*l = -10, l - 4 = -3*z + 8. Suppose 2*b + 136 = z*a + 503, 2*a = -4*b + 698. Does 44 divide b?
True
Let i = 1875 - 613. Does 33 divide i?
False
Suppose 4*w = 2*u - 0*w - 1456, 5*w = -2*u + 1420. Suppose -u = -8*x - 96. Let n = x - 64. Is n a multiple of 6?
False
Let f be (1/3)/((-4)/(-6))*10. Suppose 2*r - w = f*r - 1751, -w = -r + 589. Is 15 a factor of r?
True
Does 76 divide (3352 - -3) + -2 + -7 + -2?
True
Is (819/585)/(1/305) a multiple of 6?
False
Suppose -15*n = -8226 - 2811 - 2943. Is 11 a factor of n?
False
Suppose 4*b = -l + 1719 + 7937, 2*b = -l + 4828. Is 34 a factor of b?
True
Suppose -5*v = -3*m + 72762, -4*m = -4*v - 97701 + 693. Is m a multiple of 177?
True
Suppose 4*h - 34 = 2*h. Let f be (1 + h)*3/(-6). Let b = f - -11. Is b even?
True
Is 19 a factor of ((-27357)/(-66))/(5*5/350)?
False
Let l(h) = -34*h - 455. Is l(-18) a multiple of 2?
False
Is 8/(16/1095)*736/115 a multiple of 15?
False
Suppose 22 = 2*w - 108. Suppose -49 = -2*m + w. Is 28 a factor of m?
False
Let m(g) = g**2 - 17*g - 67. Let d(j) = -5*j**2 + 67*j + 271. Let s(y) = -2*d(y) - 9*m(y). Is 9 a factor of s(-26)?
True
Let b(r) = 25*r + 132. Let o be b(6). Let w = -210 + o. Is w a multiple of 11?
False
Let n(k) = -19366*k**3 + 4*k**2 + 3*k + 1. Let b be n(-1). Suppose 23*p = -13*p + b. Is 12 a factor of p?
False
Let d = -1399 - -3234. Is (5 - d/10)/((-1)/2) a multiple of 33?
False
Let b be (-504)/7 - 1*-7. Is (-56)/(-10)*(1 + b/(-10)) a multiple of 7?
True
Let z = 78 + -136. Let i = -174 + 284. Let g = z + i. Is 21 a factor of g?
False
Does 14 divide 12/8 + 1740/24 + -10?
False
Let b = 11964 - -12512. Is b a multiple of 8?
False
Let y = -18 - -41. Let f = y + -21. Is 11 a factor of 329/6 + f/12?
True
Let c be ((-16329)/15)/(1/(-10)). Suppose -c = -20*q - 4046. Does 12 divide q?
False
Let u(x) = -11*x**2 - 171*x + 13. Let t be u(-15). Suppose -g - 5*w + 357 = 0, 0 = -2*g - 3*w + 604 + t. Is 16 a factor of g?
True
Let f(h) = -21*h + 43. Let m be f(-3). Suppose m + 94 = w. Does 50 divide w?
True
Is 90 a factor of 8 - ((-61464)/12)/1?
True
Let a be 4/16 + (-26)/8 + 4. Does 21 divide 9588/24 - (0 + a/2)?
True
Suppose -5*c + 8 = 293. Let y(t) = t**2 - 11*t - 34. Let n be y(-9). Let r = n + c. Is r a multiple of 22?
False
Let x = 300 + -59. Suppose -3*q - x + 295 = 0. Is q a multiple of 8?
False
Suppose 9*h - 65 - 16 = 0. Let x = h - 9. Suppose x*u = -3*u + 15. Is 4 a factor of u?
False
Let n = -1780 - -2330. Does 5 divide n?
True
Let b be 6 - 0 - 8 - (-7 - 0). Is 1 - (-1)/((-3)/(-945)*b) a multiple of 8?
True
Let h = 13779 + -2822. Is h a multiple of 26?
False
Suppose -z = -g - 2, g + 4 = 6*z - 4*z. Suppose -z*j + 5*m = -20, 3*j + 0*j - 3*m - 48 = 0. Is j a multiple of 5?
True
Let x(m) = -m**2 + 19*m + 21. Let u(l) = l**3 + l + 2. Let g be u(0). Suppose 50 = g*w + 3*c, -5*w + 23 = 2*c - 80. Is x(w) a multiple of 2?
False
Is 41 a factor of -3 - (6808516/(-1092) + 4/(-42))?
True
Let x(a) = -307*a - 6. Let h be x(3). Let d = 1551 + h. Suppose -5*q = q - d. Is 26 a factor of q?
True
Let b = 25 - 11. Let r = b + -33. Let v = r - -184. Is v a multiple of 44?
False
Suppose 394 = 25*w - 1931. Let t = 115 - w. Does 6 divide t?
False
Let c = 186 + -200. Let l = 438 - c. Is l a multiple of 29?
False
Suppose 4*a - 1062 + 133 = 5*h, 2*a + 368 = -2*h. Let b(n) = -100*n + 3. Let x be b(-3). Let m = h + x. Is 8 a factor of m?
False
Suppose u = f - 350, -4*f + f + 1022 = 4*u. Suppose h + 375 = 4*g - f, 0 = 3*g - 3*h - 543. Is g a multiple of 15?
True
Suppose -57408 = -20*l - 19*l. Is 3 a factor of l?
False
Let q = -591 + 1157. Let v = -388 + q. Is 12 a factor of v?
False
Suppose 8*r + 10 = 74. Suppose 103 = -r*v + 1303. Is 15 a factor of v?
True
Let h(v) = -v**3 + 11*v**2 + 51*v - 16. Let q be h(-5). Let n = -81 + q. Is 24 a factor of n?
True
Let a(p) = 37*p**3 + 41*p**2 - 21*p - 9. Does 176 divide a(9)?
True
Let q(l) = 41 - 18*l + 54*l**2 - 59*l**2 + 68*l**2. Is 70 a factor of q(3)?
False
Suppose 4*u + 2*m = 2296, -18*u = -20*u + m + 1144. Let d = 950 - u. Is d a multiple of 29?
True
Suppose 39*o - 34718 = 97219. Is o a multiple of 8?
False
Let x(u) = -u**2 + 8*u + 17. Let r be x(10). Let y be 3 + 18/(-12) + r/2. Suppose 3*g = 2*g, p + g - 26 = y. Is p a multiple of 13?
True
Let m(t) be the third derivative of t**6/24 + t**5/60 - 2*t**3/3 - 3*t**2. Let n(a) = a**3 - 23*a**2 + 44*a - 39. Let z be n(21). Does 13 divide m(z)?
False
Let o(t) = 23*t + 3*t**2 - 12 + 0*t + 2*t**2 + 23*t - 9*t. Does 10 divide o(-14)?
True
Let d = -1445 - -2469. Let b = 1663 - d. Does 55 divide b?
False
Suppose -5*f + 2*g + 37312 = 0, 4*f = 9*f + g - 37309. Does 52 divide f?
False
Suppose -32*s + 81190 = -88538. Does 39 divide s?
True
Suppose 16*m + 4*y = 19*m - 169482, 3*y = -3*m + 169524. Is 86 a factor of m?
True
Let u(n) = -2*n + 2. Let j(a) = -55*a + 35. Let s(d) = -3*j(d) + 75*u(d). Is s(0) a multiple of 3?
True
Suppose w - 3*n = 3*w - 6, w - 4*n = 3. Suppose -3*f = -a + 3*a - 2392, 0 = w*f - 2*a - 2408. Is 80 a factor of f?
True
Let l(k) = 63*k - 124. Let m = 575 + -555. Is 34 a factor of l(m)?
False
Suppose -2*y = -3*w - 25111, -60 = 4*w - 40. Is y a multiple of 56?
False
Is (-4335)/(-90)*8*102/4 + 2 a multiple of 39?
True
Let a be (63/6)/(15/80). Suppose 3*u = -3*x + 63, u - a = -3*x + 5*u. Is x a multiple of 17?
False
Let r(k) be the third derivative of 27*k**4/8 + 5*k**3/2 - 70*k**2. Does 14 divide r(5)?
True
Let c(x) = x**2 - 2*x. Let y be c(4). Let a(o) = 9 + y + o - 2*o. Does 26 divide a(-9)?
True
Suppose -5*t = -3*w - 120, 7*t - 79 = 3*t - w. Suppose t = -r - y + 209, -2*y + 752 = 4*r. Is r a multiple of 13?
False
Suppose b + 1328 = 3*t, 5*b + 2 = 22. Let g = -245 + t. Suppose 3*k + 3*a - 121 = 2*a, 5*k + a = g. Is k a multiple of 39?
True
Suppose 2*j = -5*r + 3208, -2*r - 1578 = -j + 2*r. Let l = j - 154. Suppose 3*z + l = 18*z. Is 15 a factor of z?
False
Is ((-2)/4)/((21 - 9)/(-502896)) a multiple of 132?
False
Does 33 divide 5512 + (-11)/(-55)*-5?
True
Let l(t) = 2*t**3 + 18*t - t**3 - 12*t**2 - 16*t - 5. Is 35 a factor of l(13)?
False
Let s = 2170 - 2128. Let b be -1 - (2/2 + 24). Let v = b + s. Does 6 divide v?
False
Suppose -22*g - 7679988 = -141*g - 148*g. Does 48 divide g?
False
Suppose -3*p = 4*j - 0*p - 221, 0 = 5*j + 5*p - 280. Suppose -50*k + j*k - 36 = 0. Let y(z) = 12*z - 39. Is 35 a factor of y(k)?
True
Let l = -152 - -154. Let x(y) = 29*y**2 + 3