 -1 - (-1 + -79)?
True
Suppose 0*o - 17 = 2*o - 5*v, 0 = -3*o - v + 17. Suppose 5*s - 1 = 9. Suppose 2*i + 8 = o*a, 2*i + s*a - 7 = 3*a. Does 2 divide i?
True
Is -66*(-4*1 - (-11 - 159/(-6))) a multiple of 11?
True
Let v be (-153 - (3 + -10))*2/(-4). Suppose -o + v = 9. Is 16 a factor of o?
True
Let d(b) = 13*b + 1. Let u(o) = -1 + 6*o - 19*o + 6*o. Let s(c) = 6*d(c) + 11*u(c). Is s(9) a multiple of 2?
True
Suppose 2*u + 12*b - 113482 = 15*b, -283705 = -5*u - b. Does 25 divide u?
False
Does 209 divide -11*(-1 - 810 - 48/8)?
True
Suppose 0 = -2*t - f + 8033, 3*t + f - 2644 = 9405. Is t a multiple of 10?
False
Suppose -t + 4491 = 9*r - 4*r, -4*t = -4*r - 17964. Is t a multiple of 3?
True
Let m be (-10)/1*1060/(-8). Let v = m + -805. Does 20 divide v?
True
Let o = 88 - 75. Suppose -14*q = -o*q - 33. Does 19 divide (253/q)/(3/18)?
False
Let j(a) = a**2 - 5*a - 9. Let m be j(-7). Suppose 0*q + 3*q - 3*i = m, -2*q = 4*i - 80. Suppose -5*d - 52 = -n + q, -188 = -2*n - 2*d. Is 16 a factor of n?
False
Let q(y) = -48*y**3 - 8*y**2 + 2*y + 18. Does 21 divide q(-5)?
False
Let t(g) = -3*g - 22. Let x be t(-11). Suppose 8*b - x*b - 30 = 0. Does 28 divide (-24)/b*(4 - 590/(-15))?
False
Let u(t) = -t**3 + 9*t**2 + 2*t + 4. Let r be 5 - (-1 - (4 - 5))/1. Let w be u(r). Is 73/3*w/19 a multiple of 42?
False
Let b be ((-15)/7)/(6/(-42)). Suppose -417 = -b*t + 3468. Is t a multiple of 44?
False
Suppose 57 + 19 = h + 4*g, 2*h - 4*g - 212 = 0. Is 26 a factor of 3/4 + 37368/h?
True
Let j = -17 + 21. Let r be 0*j/12*-3. Suppose -3*t + 2*t + 136 = r. Is t a multiple of 30?
False
Does 17 divide (-9476700)/(-434) + ((-1)/5 - 85/(-175))?
False
Let h(b) = 141*b + 3043. Is h(12) a multiple of 5?
True
Let u = 131 - 39. Suppose -u*o + 104*o = 4140. Is o a multiple of 23?
True
Let y = -83 - 14. Let m = -82 - y. Is (((-9)/2)/(-3))/(m/520) a multiple of 18?
False
Suppose 3*h + 4031 = o - 1720, -o + 5*h = -5757. Is o a multiple of 66?
True
Suppose 20 = 5*h - 4*o + 6*o, 5*o + 16 = 4*h. Suppose -h*x + 297 = 5*x. Is x a multiple of 7?
False
Suppose -226 = -2*z + c, -10*z + 13*z - 3*c - 339 = 0. Suppose x - 2*x - g = -z, -2*g = 4*x - 452. Is 4 a factor of x?
False
Let v be 186 - (8 - 0)*19/76. Suppose 4*u - v = -2*m, 14*m + 180 = 4*u + 18*m. Does 7 divide u?
False
Does 22 divide (-16 + 6 - -48020)*4/8?
False
Let v(o) = o**3 - 3*o**2 + 2*o. Let u be v(2). Suppose m - 7*m = u. Suppose m*h + 48 = 3*h. Is h a multiple of 12?
False
Let y(r) = -5 + 24*r + 4 - 19. Does 4 divide y(2)?
True
Suppose 225214 - 401283 = -170*f + 355521. Does 53 divide f?
True
Let s(w) = -12*w + 53 - 45 + 0*w**2 - 4*w**2 + 0*w + w**3. Let p be s(9). Let l = -164 + p. Is 47 a factor of l?
True
Let o(b) = 6*b + 33. Let g be o(-6). Let j be -32 + (-4 + -5)/g. Let n = 40 - j. Does 17 divide n?
False
Suppose -5*n + n + 155 = 3*j, -5*n = 3*j - 160. Let y = j + -40. Suppose 67 = d - y. Is d a multiple of 9?
True
Let n be (-1)/(3/(-288)) - (-2 + 3). Suppose -n = -w - 5*u, 465 = 4*w + 2*u + u. Suppose 0 = -p + 15 + w. Does 19 divide p?
False
Suppose 11*r = 7*r + 4. Let f be r + 32/4 + -4. Does 5 divide 28/6*(f + -4 - -2)?
False
Suppose -4*p + 33*s + 17892 = 29*s, 4*p = 2*s + 17886. Is p a multiple of 52?
False
Let j(s) be the third derivative of 13*s**5/2 - 13*s**4/12 - 4*s**3 + 40*s**2 + s. Is 21 a factor of j(-1)?
False
Let a(r) = 134*r**2 - 130*r - 37. Is 25 a factor of a(13)?
False
Let m(j) = j**2 + 10*j + 20. Let p be m(-8). Suppose -3*v - 5*z - 196 = -p*v, -2*v - 3*z = -392. Let x = v + -112. Does 14 divide x?
True
Let d(a) = 662*a + 78. Let n be d(10). Suppose 23*s - n + 1178 = 0. Is 40 a factor of s?
True
Suppose -z = -2*t + 8, t - 4*t + 4*z = -7. Suppose -v - 1 = -t. Let r = v + 6. Is 10 a factor of r?
True
Let g(r) = 25*r**3 - 91*r**2 + 268*r - 384. Let z(w) = -9*w**3 + 30*w**2 - 90*w + 128. Let b(c) = 4*g(c) + 11*z(c). Is 8 a factor of b(32)?
True
Let a = -91 + 91. Suppose -2*o + 4676 = 4*k, -4*o + a*o - 5858 = -5*k. Does 20 divide k?
False
Let v = 2380 - 2250. Does 8 divide v?
False
Let z = -68 - -136. Suppose 30 + z = 7*m. Is 2/m + (-1740)/(-70) a multiple of 3?
False
Let g(t) = t**3 + 10*t**2 + 15*t + 3. Let m be g(-8). Suppose m*d - 7*d = 380. Does 2 divide d?
False
Let y(p) = 19*p**3 + 4*p**2 - 2*p - 8. Let u be y(3). Suppose 3*i - 1073 = -4*q, -i = 2*q - 0*q - u. Does 28 divide q?
False
Suppose 5*a + 2*d = 13, -5*a - 3*d - 4 + 16 = 0. Suppose -5*p + 912 = 2*k, -5*k - a*p + 2404 - 105 = 0. Is k a multiple of 4?
False
Suppose a + 5*p = 275, -5*p + 575 = 15*a - 13*a. Does 6 divide a?
True
Let j = -90 + 117. Suppose j = 8*a - 7*a. Suppose -a*v + 15*v = -1020. Does 5 divide v?
True
Let p be (259/2 - -1)*36/54. Let n(b) = -b**2 + 2*b**2 + 100 - 18*b - b - p. Is 5 a factor of n(21)?
True
Suppose -37315 = -5*b - 2*w, -4*w = 2*b - 10915 - 3995. Is 46 a factor of b?
False
Does 21 divide ((-435)/(-30) - 15)*(2 + -15080)?
True
Suppose 5*t = 7*t - 4. Let x be ((0/3)/(7/(-7)))/(-2). Suppose -t*p - 4 = x, p + 131 = m - 2*p. Is 26 a factor of m?
False
Let w = 26731 + -9054. Does 11 divide w?
True
Let d(u) = -u**3 - 33*u**2 + 21*u + 53. Does 95 divide d(-44)?
True
Is (-11153)/(-3) + 26/(-39) a multiple of 9?
True
Suppose -8*s - 6 = -3*s + 3*a, -3*a - 6 = -5*s. Let n(i) = -i**2 + 32*i - 54. Let p be n(14). Suppose -p = -s*l - 6*l. Is 18 a factor of l?
False
Suppose -2614 - 2377 = 7*v. Let q be v/3 - ((-24)/9 - -3). Let z = q + 466. Does 12 divide z?
True
Let c = -2777 - -5172. Does 66 divide c?
False
Suppose 3*h - 3*z = -0*z + 786, 3*h = -3*z + 768. Let b = h - 39. Does 44 divide b?
True
Suppose 11 = -2*d - 19. Let s(c) = -3*c**2 + 45*c + 24. Let j(p) = 5*p**2 - 67*p - 37. Let i(k) = -5*j(k) - 8*s(k). Is 11 a factor of i(d)?
True
Let w(a) = -17*a - 24. Suppose -15*j = -13*j + 14. Let t be w(j). Suppose y - 66 = -5*u, 0 = 5*y - 3*u - 179 - t. Does 10 divide y?
False
Let k be 1*(-2 + -1) + 5. Let g be (-312)/182 - k/7. Let s(m) = 21*m**2 + 3*m + 3. Is s(g) a multiple of 27?
True
Let a = -20 + 9947. Is 8 a factor of a?
False
Let c = -11 + 15. Suppose 0 = t + c*t + 15. Does 36 divide (-437 + -1)/t + -2?
True
Suppose -3*s + 0 = 9, 2*u - 430 = 4*s. Suppose 6*f + u = 2*r + 3*f, -3*f = -3*r + 312. Is r a multiple of 13?
False
Let b(a) = a**2 + 19*a + 7. Let z be b(-19). Let n(j) = j**3 - 3*j**2 - 26*j + 7. Is 2 a factor of n(z)?
False
Let z = -591 - -593. Suppose -4*j = -3*a + a + 1080, z*a - 3*j = 1078. Is a a multiple of 67?
True
Let d(r) = r**3 + 3*r**2 - 10*r + 11. Let i be d(-6). Let b = i + 52. Suppose -119 = 14*w - b*w. Is 42 a factor of w?
False
Let w(n) = -2*n**3 + 59*n**2 + 42*n - 88. Is w(30) a multiple of 47?
False
Let x = -516 + 524. Suppose -4*z - 5*u = -1549, 2*z - 770 = 4*u - x*u. Does 23 divide z?
True
Let q(f) = 300*f + 17. Let h(a) = a + 2. Let x(d) = 2*h(d) - q(d). Does 48 divide x(-2)?
False
Suppose 4*o = -10 + 30. Let b be 7*(-7)/((-294)/12). Suppose -11 = -b*f + o. Does 8 divide f?
True
Does 3 divide (3 + (-18)/56 + (-6)/14)*4036?
True
Suppose 5*q = 3*n + 29339, 5*q + 3*n - 30118 + 797 = 0. Suppose 0 = -30*m - 826 + q. Is 24 a factor of m?
True
Does 9 divide (9360/(-1365))/(2 - 4664/2331)?
True
Let c(j) = 9*j - 2*j**2 + 54 + 4*j**3 - 28 - 24. Is c(3) a multiple of 7?
True
Does 7 divide 10/5 + -6 + -3 + 3913?
True
Suppose 162107 = 11*n - 39963. Is 22 a factor of n?
True
Suppose -w - 3*w + 6 = -5*q, -16 = 2*q - 5*w. Suppose -q*j = -3*n + j + 945, 2*n - 5*j = 630. Is 7 a factor of n?
True
Let p(w) = 49*w**3 - 4*w**2 + 43*w - 218. Does 68 divide p(5)?
False
Let s = -8554 - -8858. Is 4 a factor of s?
True
Suppose 2*u + 4*u = -7*u - 260. Let a(t) = 17 + 9 + 2*t + 38. Is a(u) even?
True
Let x = -443 - -452. Is 15 a factor of x - (-6)/((-24)/(-3964))?
False
Let m = -2307 + 2412. Is 5 a factor of m?
True
Let g(d) = 7*d**2 - 8*d - 2. Let v(k) = -6*k**2 + 9*k + 3. Let u(a) = a + 11. Let n be u(-5). Let r(o) = n*v(o) + 5*g(o). Is 18 a factor of r(9)?
False
Let q = 6417 + -5700. Is 8 a factor of q?
False
Let j = 2674 - -3653. Does 82 divide j?
False
Suppose 0 = p - 0*p - 3*m - 16, -3*p - 3*m = -96. Suppose -p*d - 20 = -33*d. Suppose 0 = 2*u + d*w - 0*w - 156, -w = 5*u - 417. Is u a multiple of 9?
False
Let y be 6 - (2 - 3/(-4 + 1)). Is 22 a factor of 6 + (-141)/(y/(-3))?
False
Let b(c) = 16*c + 852. Suppose 5*y - 20 