y). Is 3 + (32*-15)/v a multiple of 42?
False
Suppose 12821 + 28842 = 14*t - 108487. Does 25 divide t?
True
Let y(h) = -21*h - 5. Suppose 0 = 6*g - 9*g + 12. Let b be -1*(-5 + 10 - g). Does 16 divide y(b)?
True
Let v be (-6)/(-9) + 66/(-9)*-13. Suppose v + 54 = l. Does 2 divide l?
True
Suppose 322*w - 323*w + 12 = 0. Suppose 1039 = w*v + 271. Does 6 divide v?
False
Let k(f) = -8*f - 6 - 11 - 16. Let q(j) = -j**2 - 2*j - 12. Let c be q(0). Is 11 a factor of k(c)?
False
Let j be 935 + -5 + (-10)/(-1). Suppose 145*r - 125*r = j. Is r a multiple of 47?
True
Let i(t) = 6*t**2 - 6*t + 16. Let k(g) = g**3 - 7*g**2 + 5*g. Let j be k(7). Suppose n = 5*v - 30, -5*v = -10*v + 2*n + j. Is i(v) a multiple of 25?
False
Is 16 a factor of -1 + (-6)/(408/(-1486268)) + (-14)/(-119)?
True
Let a(x) = 23*x + 111. Let n(g) = 70*g + 332. Let h(z) = -10*a(z) + 3*n(z). Is 40 a factor of h(-26)?
False
Is 48/(-108) - 108900/(-81) a multiple of 32?
True
Let z(f) = -15 - 2*f - 4*f + 4*f. Is 14 a factor of z(-16)?
False
Suppose -2*s = -g - 4006, -15*s - 1994 = -16*s - 4*g. Is 153 a factor of s?
False
Let y be -48*((-64)/(-12))/(-8). Suppose -y*o - 1976 + 6904 = 0. Is 23 a factor of o?
False
Let x = 4067 - 2243. Is 19 a factor of x?
True
Let y(z) = 5836*z**2 - 174*z + 345. Is 17 a factor of y(2)?
True
Let t be (-12 + 13)/(3/6). Suppose 0 = -3*x + t*z + 615, -4*x + 5*z + 809 = 6*z. Is 29 a factor of x?
True
Suppose 852*m = 802*m + 92900. Is 45 a factor of m?
False
Let q = 11076 - 11065. Does 3 divide q?
False
Let r = 2099 - -4981. Does 20 divide r?
True
Let y be (2 - (0 - 5)) + 2405. Suppose 4 + 4 = 2*k, -2*k = -5*w + y. Is 10 a factor of w?
False
Let l = -1162 + 2403. Suppose -155 = 3*x + 5*m - l, -2*x = 5*m - 724. Does 8 divide x?
False
Let g = 2626 - -26732. Does 9 divide g?
True
Suppose -28*j - 54 = -34*j. Does 22 divide (j - 18)*(-440)/6?
True
Let a(o) = -o**2 + 4*o + 38. Let t be a(8). Suppose w - 1093 = -4*i, t*i = i - 3*w + 1361. Does 70 divide i?
False
Let d(h) = -h**3 - 11*h**2 + 2*h + 22. Suppose 2*w + 10 + 12 = 0. Let j be d(w). Suppose j = 2*s - 9*s + 273. Is s even?
False
Suppose 16*j - 16763 = 8522 + 60603. Is 2 a factor of j?
True
Suppose 0 = 4*v - 3*h - 10801, 57*v + 3*h - 5405 = 55*v. Is 37 a factor of v?
True
Suppose 5*y - 3*p - p = -12, 3*p - 14 = 5*y. Let k be -6 + 7 - y/(-1). Is 34 - ((-5 - k) + 6) a multiple of 3?
True
Let j = 78 + -72. Let c = j - 61. Does 9 divide (c/1)/(6 + -7)?
False
Let c be (35/(-10))/((-2)/(-4)). Let m be (-1)/c - 1034/(-14). Suppose h = -3*s + 31, h - 5*s - m + 3 = 0. Does 23 divide h?
True
Let i(a) = 75*a**2 + 6*a + 4. Let p be -3*((-2)/(-3))/(6/(-9)). Is 71 a factor of i(p)?
False
Suppose 4*r + 640 = -4*w, 340 = -2*r + 5*w + 34. Let d = r - -250. Is d a multiple of 46?
True
Suppose -3 = -3*v + 4*v. Let h(k) = 14*k**2 - k + 1. Let n(i) = -29*i**2 + 3*i - 2. Let p(y) = 5*h(y) + 2*n(y). Is p(v) a multiple of 11?
False
Suppose -48*m = -2302892 + 140657 - 1105605. Is 115 a factor of m?
True
Suppose -5*h - 8752 - 12270 = -3*i, -h = -4. Does 143 divide i?
False
Suppose -179*d - 63*d + 1097631 = -31057. Is d a multiple of 5?
False
Let d(f) = 4*f**2 - 2*f - 6. Let p = -12 + 0. Let q be 1*-2 + 30/p*-2. Does 7 divide d(q)?
False
Suppose 0 = -c - l + 2, -6*l = -5*c - 3*l - 22. Does 8 divide c/(-3) + 5590/30?
False
Let y(n) = 15*n**2 + 17*n + 18. Let r be y(-1). Suppose 1172 = 4*o - 7*s + 2*s, -4*s = r. Does 16 divide o?
True
Let c = 154 + -146. Let w(r) = 70*r - 138. Does 32 divide w(c)?
False
Let s(c) = c**3 + 6*c**2 - 1 + 7 + 26*c - 22*c. Let o(m) = -m + 3. Let l be o(7). Does 11 divide s(l)?
True
Is (-4)/(-92) - 13997248/(-2116) a multiple of 63?
True
Let v(h) = 11*h**3 + h**2 + 2*h - 3. Let x be 6/(-1)*(196/(-8) - 4). Let a be 6/8 + -1 - x/(-76). Is 8 a factor of v(a)?
False
Let m = -1054 - 155. Let y be (-5 + 6)/(-2*1 - -1). Does 27 divide (-3)/((-13)/(m/90) + y)?
False
Suppose -47*t - 7553 = -48*t - u, -30148 = -4*t + 4*u. Does 5 divide t?
True
Is 7 a factor of 252512/24 - (-14)/3?
False
Let g = 40 - 38. Suppose -24 = -5*h - y, 4*y = -g*h + 6*h. Suppose -16 = -v - s, h*v - s - 32 = 3*s. Is 4 a factor of v?
True
Let k(o) = -4*o - 4*o - 392 + 263. Is 5 a factor of k(-23)?
True
Let j = -213 + 216. Does 3 divide (-1695)/(-12) + j/(-12)?
True
Suppose 1151652 = -152*a + 3856796. Does 13 divide a?
True
Let b(c) = 2*c**2 + 10*c + 12. Let g = 432 + -442. Is 8 a factor of b(g)?
True
Let b(y) = y**3 + 41*y**2 - 182*y + 192. Is b(22) a multiple of 46?
True
Let m = 1412 - -408. Is m a multiple of 9?
False
Suppose -2*j - 3*x = -532 + 19, 0 = -5*x + 15. Is 21 a factor of 56/(((-14)/j)/((-1)/3))?
True
Let q be (8/36 + 271/9)*3. Let c = 81 - q. Is 6 a factor of (-125)/c + 2/(-4)?
True
Let g(h) = 287*h**2 - 64*h + 4. Is g(3) a multiple of 54?
False
Suppose -3*q - 53206 = -7*g, -2*q = 2*g + 3*q - 15231. Is 3 a factor of g?
False
Let a(i) = i**3 + 19*i**2 - 16*i + 83. Let q be a(-20). Let o(u) = 35*u**3 + 4*u**2 - 22*u + 1. Does 16 divide o(q)?
False
Let j be (-15)/(-6)*-12*6/5. Let h = j + 122. Does 8 divide h?
False
Let g(u) = u + 8. Let w be g(-8). Suppose 8*c - 13*c + 10 = w. Suppose -1 = -c*j + 25. Is j a multiple of 3?
False
Let x(t) = 19*t**3 - 8*t**2 - 14*t + 63. Is x(7) a multiple of 105?
True
Suppose 17*g + 18 = 20*g. Suppose 9*s = g*s - 3*f + 3741, -2*s + 2501 = -5*f. Does 12 divide s?
True
Let u = 877 - 593. Suppose u = 43*t - 42*t + 4*w, -1036 = -4*t + 4*w. Is t a multiple of 66?
True
Let y = -14708 - -26573. Is y a multiple of 97?
False
Suppose 28 = 4*d, -h + 9*d = 13*d - 9717. Is 79 a factor of h?
False
Let z(t) = 519*t - 121. Let g be z(3). Suppose -4*p = -9864 + g. Is p a multiple of 49?
True
Suppose 0 = -15*u + 24*u - 108. Is 6 a factor of (u/(-11))/(13/(-143))?
True
Let c(g) = -61*g**3 - 19*g**2 + 24*g - 5. Is 5 a factor of c(-6)?
False
Suppose -172*l = -168*l - 2*q - 9862, 2*l - 4*q = 4922. Is l a multiple of 30?
False
Let c(p) = p**3 + 5*p**2 + 4*p - 4. Let j be c(-4). Let x be 1196/(-20) - j/(-20). Does 6 divide (945/x)/((-11)/8 - -1)?
True
Let p(z) = -2*z + 17. Let f be (4/(-14))/(-1) - (-130)/35. Suppose -4 = h, -f = 2*g - 2*h + 4. Is p(g) a multiple of 8?
False
Let k = 7233 + -2126. Is k a multiple of 6?
False
Let n(w) = -2*w**2 - 73*w - 67. Let a be n(-35). Is ((-38)/4)/((-1)/a) a multiple of 13?
False
Let a(m) = 3*m**2 - 64*m - 1476. Is 83 a factor of a(-60)?
False
Let r = -11566 + 26645. Does 21 divide r?
False
Let i = -72507 - -107040. Is i a multiple of 11?
False
Suppose -2*d + 848 = -d - v, 5*d + 2*v = 4275. Suppose 526 = 5*p - 4*n - d, 3 = -3*n. Is 15 a factor of p?
False
Let k(c) be the first derivative of -2*c**3/3 - 3*c**2/2 + 51*c + 78. Suppose -5*q - 15 = -q - 3*i, 0 = q + i - 5. Does 11 divide k(q)?
False
Let u(f) = f**3 + 86*f**2 + 21*f - 196. Is 114 a factor of u(-85)?
True
Let q = -32548 - -48046. Is q a multiple of 22?
False
Let m(y) = -209*y**2 + 3*y + 2. Let p be m(-1). Let j = -111 - p. Suppose -i + j = 4*o - 77, -5*i = 0. Does 11 divide o?
True
Suppose 0 = -68*i + 107*i - 3978. Is i a multiple of 4?
False
Suppose 4*q = 3*g + 12831, 7*g - 3448 + 217 = -q. Is q a multiple of 9?
False
Suppose 0 = -169*u - 36*u + 6244264 + 1075261. Does 193 divide u?
True
Does 6 divide (1 - (-5)/25)*25*808/20?
True
Does 58 divide ((-309)/(-206))/((-3)/(-12028) - 0)?
False
Let f(n) = 8*n**2 + 98*n + 849. Is 9 a factor of f(-42)?
True
Let t(g) = -3*g**3 + g**2 - g + 14. Let l be t(5). Let y = -94 - l. Is y a multiple of 13?
True
Let p be 92 + (-6)/(-2) + -18 + 15. Let d = 113 - p. Is d a multiple of 21?
True
Suppose -25*m + 24*m = 45. Is (-294)/((-48)/270 + 10/m) a multiple of 24?
False
Let s(q) = q**2 - 3*q + 5. Let c(g) = g**2 - 4*g + 8. Let j be 4 + (-3)/9*-9. Let d(m) = j*s(m) - 5*c(m). Is d(-5) a multiple of 14?
False
Is 12 a factor of (-148759702)/(-7657) - 2/(-31)?
True
Suppose 39*j + 7*j = -121*j + 264361. Is j a multiple of 38?
False
Let m(l) = 3*l**2 + 18*l + 5. Let y be m(10). Suppose -7*d + y = -2*d. Suppose -n + 58 = -d. Is 9 a factor of n?
False
Let p(j) = -3*j + 27. Suppose 10*b - 273 = 3*b. Let s be (b/(-12) + 2)*(2 - -10). Is 8 a factor of p(s)?
True
Suppose 0 = j + 11*r - 10*r + 26, -57 = 2*j + 3*r. Let z be (-141)/j + (-10)/(-35). Suppose z*h - 2073 = -617. Is h a multiple of 13?
True
Suppose 2*v - 26 = b