))/(3/50140)?
True
Let h(p) = 3*p**2 + 15*p - 125. Let o be h(9). Let x = o + -193. Is x a multiple of 12?
True
Is (253/33)/((-21819)/(-5454) + 2 + -6) a multiple of 101?
True
Suppose -2*c + 16 = 2*i, 4*i = 2*i - 3*c + 14. Let b = 1863 - 1403. Suppose -8*v = -i*v + b. Is v a multiple of 34?
False
Let t = -602 - -1250. Is t even?
True
Suppose 17*a - 113*a + 1813320 + 736056 = 0. Is 14 a factor of a?
False
Let b(n) = 3*n**3 + 84*n**2 - 27*n - 5. Is 3 a factor of b(-27)?
False
Let f = -34727 + 48724. Is f a multiple of 212?
False
Suppose -9484 = -j + 17*z - 16*z, 4*z = -j + 9484. Does 4 divide j?
True
Suppose -4*n + 2*o = -n - 29, n - 7 = -2*o. Is 19 a factor of 324 + -1 + (5 - (n - 3))?
False
Let w be 6/(-9) - (1578/9 + 0). Let b = 206 + w. Is 6 a factor of b?
True
Suppose -x + 4 = 3*x. Let q(c) = -c**2 - 7*c + 91. Let h be q(-13). Is (-52)/h + (x - -12) a multiple of 2?
False
Let q(l) be the second derivative of 5*l**4/12 - l**3/2 - 75*l**2 + 69*l. Is q(-15) a multiple of 30?
True
Suppose 131*x - 815785 = 1345715. Is x a multiple of 44?
True
Let h = 3844 - 1365. Is 67 a factor of h?
True
Suppose 31*v + 210 = 24. Let b(u) = -11*u - 15. Let p(d) = -11*d - 15. Let f(h) = 6*b(h) - 5*p(h). Does 16 divide f(v)?
False
Suppose -78*x = 87*x - 153*x - 161244. Is x a multiple of 161?
False
Let o(z) = 12137*z - 269. Is 11 a factor of o(2)?
False
Let q(n) = 90*n**2 + 20*n - 180. Does 23 divide q(7)?
True
Let u = 3371 - -2522. Suppose -u - 582 = -7*w. Let n = -625 + w. Is 50 a factor of n?
True
Suppose -4*o = -93 + 17. Let l = -10 + o. Suppose -v = -l - 2. Is v a multiple of 11?
True
Let l be 1*(-3 + -1) - -39. Suppose -u = -l - 29. Let g = u + -35. Is 5 a factor of g?
False
Let v = 548 + -517. Suppose 4*k - v = 5*f + 1507, -f = -3*k + 1148. Is 28 a factor of k?
False
Let h(g) = -2*g**2 + 25*g + 6. Let x be h(13). Let b be 7*(1 - (-1)/x). Let i = 51 + b. Is 5 a factor of i?
False
Suppose -23*c = -17*c - 30. Suppose c*s = -v - 3*v + 365, 5*v + s - 451 = 0. Is v a multiple of 18?
True
Suppose -12*b = -104 - 148. Suppose -5*f = 7 - 2, 4*f + 18 = 2*t. Does 26 divide (2 - t/(b/18)) + 185?
False
Suppose -68917 + 489772 = 13*r - 64955. Is 10 a factor of r?
True
Is 240 a factor of (25/75)/(-1*((-14)/(-66138))/(-7))?
False
Is 6/39 + ((-4071900)/(-585) - (-6)/(-9)) a multiple of 29?
True
Suppose -1780 = -4*p + l, -2204 = 2*p - 7*p - 4*l. Suppose 5*u = -2*o + 242, -57*o + 61*o = 5*u - 266. Is 13 a factor of p/5 + 10/u?
False
Let k(c) = -3*c**2 + 34*c + 11. Let p be k(6). Suppose 0 = 5*z - s - p - 118, -15 = -3*s. Is z a multiple of 4?
False
Let a be -2*(138/28 + (-6)/14). Let s(i) = -26*i + 26. Let j be s(a). Suppose 6*q = q + j. Does 4 divide q?
True
Is (-15)/(-24) + (-499075)/(-200) a multiple of 78?
True
Let x be (-6172)/(-14) - 78/91. Suppose -x - 440 = -8*w. Does 3 divide w?
False
Suppose 4*f - 8008 = -4*l, 5*l + 2*f - 10013 = -0*f. Suppose -17*q + l = -17105. Is q/(-6)*(-3)/2 + -1 a multiple of 28?
True
Suppose 2 = k - 4. Let j(p) = -p**3 - 20*p**2 - 92*p - 2. Let q be j(-7). Suppose 0 = -3*v - 2*c + 24, 0 = -v - q*c + k + 2. Does 4 divide v?
True
Let c(w) = w**2 + 8*w - 15. Let l be c(-35). Suppose 0 = -4*d + l - 258. Is 30 a factor of d?
False
Let t = 2696 + -2456. Does 8 divide t?
True
Suppose -3*y = 2*y + 15, -2*d = -5*y - 7145. Suppose 5*h = -5*f + d, -5*f + 1512 = 3*h - 631. Does 28 divide h?
False
Suppose 0 = 26*n - 20*n + 12. Is 30 a factor of 29/((-232)/(-1440)) + 2 + n?
True
Let x(z) = -2*z**2 - 31 + 36 - 10*z + 6*z + 196*z**3. Is 25 a factor of x(1)?
False
Let n = 4217 + 480. Does 61 divide n?
True
Let l be -2 + 7 + 0/(-20). Suppose l*p - v = 66 + 283, 0 = 2*p + 2*v - 130. Does 6 divide p?
False
Let r(i) = 181*i**3 + 4*i**2 + 15*i - 44. Is r(3) a multiple of 98?
False
Let i(u) = 5*u - 12. Let s(g) = 15*g - 35. Let a(w) = -15*w + 35. Let j(t) = 6*a(t) + 5*s(t). Let h(n) = -17*i(n) - 6*j(n). Is h(9) a multiple of 13?
True
Suppose f - 3661 = -2*s, -3*s + 5*f = -7*s + 7325. Suppose 0 = 8*r - 3914 - s. Is 24 a factor of r?
False
Let x(w) = -5*w**3 - 16*w**2 + 37*w + 17. Let i(f) = 6*f**3 + 16*f**2 - 37*f - 17. Let l(h) = -4*i(h) - 5*x(h). Does 92 divide l(-17)?
False
Suppose 4095 = s - 5*k - 5187, -5*k = -4*s + 37098. Is 38 a factor of s?
True
Let m(q) = 2*q**2 + 29*q - 154. Let g(o) = 10*o**2 + 2*o + 2. Let b be g(-1). Does 14 divide m(b)?
True
Let s = -99 - -166. Suppose -2*t + 2*f = s + 93, -t = -5*f + 84. Let r = t + 219. Is r a multiple of 28?
True
Suppose -280023*d + 280030*d = 86520. Is d a multiple of 60?
True
Let f(n) = 3*n - 13 - n + 2*n - 2*n. Let i be f(8). Let b(z) = 56*z - 3. Does 33 divide b(i)?
True
Let a(l) = l**3 + 5*l**2 + 8*l + 14. Let n be a(-4). Let i be (2/5 - n)/(1/(-5)). Let u(r) = r**2 + 4*r. Does 48 divide u(i)?
True
Suppose 2*d = 16*d + 155*d - 873730. Does 10 divide d?
True
Does 139 divide ((-2085)/(-10))/(2470/(-620) + 4)?
True
Suppose -4*i - 76212 = -4*j, 2*j = 7*j - 2*i - 95262. Is 214 a factor of j?
False
Let w(b) = -4104*b**3 + b**2 - 2. Is w(-1) a multiple of 49?
False
Let r(t) be the second derivative of -t**5/60 + 13*t**4/8 - 4*t**3/3 - 41*t. Let z(f) be the second derivative of r(f). Is 2 a factor of z(5)?
False
Let o(r) be the third derivative of r**4/12 + 10*r**3/3 - 4*r**2 - 3*r. Is 24 a factor of o(4)?
False
Let d(i) be the second derivative of 275*i**4/12 - 2*i**3/3 - 3*i**2/2 + 58*i. Let x be 0 - ((-3)/(-6))/((-1)/(-2)). Is 23 a factor of d(x)?
True
Let i(t) = t**3 + 36*t**2 - 172*t + 172. Is i(-32) a multiple of 190?
False
Let y be -80 - -100 - 8/1. Suppose -5*c + j = 5*j - 1709, -1704 = -5*c + j. Suppose -y*f + c = -f. Does 23 divide f?
False
Let b = 39 + -34. Suppose 0 = -4*t + t + 4*y + 343, -b*y + 361 = 3*t. Does 13 divide t?
True
Let v(t) = 30*t + 105. Let b be v(18). Is (-4)/6*b/(-10) a multiple of 6?
False
Suppose 230 = 235*h - 237*h. Let x = 114 + h. Is 26/(((-6)/(-3))/(x + 5)) a multiple of 4?
True
Does 29 divide 24/60*-5 - -11829?
False
Let p = 39 - 46. Let m = p - -21. Does 13 divide m + -13 - 32*-2?
True
Suppose 19*l - 76523 - 19009 = 32718. Is l a multiple of 18?
True
Let g be (-14)/(-2) + (-1 - 2) + 1. Suppose -l = -10 + g. Suppose 57 = q + l*f, 0*q = -3*q - f + 185. Does 11 divide q?
False
Let n(r) = 15 + 5*r - 3*r + 3. Let k be n(-8). Suppose -k*t = 5*t - 868. Is t a multiple of 14?
False
Let i(x) be the third derivative of 0*x + 13/24*x**6 + 6*x**2 - 1/6*x**3 + 0*x**4 + 1/30*x**5 + 0. Does 33 divide i(1)?
True
Suppose -4*y - 3*d + 4686 = 0, -4*y + d = -5120 + 410. Is 12 a factor of y?
True
Let v = 11 + 49. Let p = v - 22. Suppose -4*t + p = -230. Does 10 divide t?
False
Let o(i) = i**2 + 5*i - 7. Let z be (-2)/8*-2*(4 - 0). Let k be o(z). Does 11 divide (k + 1)/(-2 + 48/22)?
True
Let k(c) = c**2 - 33*c - 229. Let t be k(-6). Suppose -5*i = -t*l + 475, -8*i + 5*i = 5*l - 467. Is l a multiple of 9?
False
Suppose c + 22*f = 19*f + 1031, 3*c + 4*f = 3113. Does 2 divide c?
False
Let w(i) = i**2 + 13*i + 10. Let y be w(-12). Let m be (-36)/y + (-5 - -9) + -2. Suppose -37*k + 42*k = m. Does 4 divide k?
True
Let y(a) = a + 39. Suppose 0 = -6*w + 5*w - 25. Let p be y(w). Suppose -p*o + 1260 = -5*o. Does 18 divide o?
False
Suppose 58*i - 59*i + 55 = 0. Let d = i - 52. Suppose -5*g - 2*x + 417 = x, -d*x = 3. Is 5 a factor of g?
False
Suppose -5*d = 4*t - 2 - 71, 4*t - 4*d = 100. Suppose -432 = 20*c - t*c. Is 27 a factor of c?
True
Let w be (6 + -2)/4 + 5. Let z be 4/w + (-2)/6*-19. Let v = z + 6. Is 13 a factor of v?
True
Let q be 0/(10/12 - 110/60). Suppose q = 52*s - 8*s - 70312. Is 17 a factor of s?
True
Suppose -228 - 258 = -9*q. Is (-4 - 100/(-15))*q a multiple of 8?
True
Suppose 3*f + 5*x - 2950 = 0, -3930 = -102*f + 98*f - 5*x. Does 16 divide f?
False
Let c be (-6)/(-2) - (-6 - 3). Suppose c*z = 2389 - 589. Suppose -12 = -6*k + z. Does 2 divide k?
False
Suppose -2*a - 339 = a. Suppose -618 = -19*i + 507 + 186. Let o = i - a. Does 26 divide o?
True
Let k(l) = l**2 - 5*l - 2. Let f be k(7). Suppose f*d = 24*d - 7776. Is 18 a factor of d?
True
Is 7496 - (43 + -25) - (-4 - 0/1) a multiple of 29?
True
Suppose -7658 - 5128 = -3*t. Is t a multiple of 9?
False
Let t be (-418)/(-3*(-2 + (-5)/(-3))). Is 14 a factor of t/(-3) - 36/(-54)?
True
Let u(w) = -w**3 + 8*w**2 + 16*w + 27. Let k be u(11). Let g = k