-1174. Suppose -m = -4*v + 464. Is 17 a factor of v?
True
Let m = 14274 + -3601. Is m a multiple of 13?
True
Suppose -1891*x + 1894*x - 1005 = 0. Let z = -153 + x. Does 7 divide z?
True
Let a be 168/4*(-3)/2. Let t = -63 - a. Suppose 0*l = 4*l - 4*m - 496, t = l - 2*m - 128. Does 12 divide l?
True
Let c = 1030 + -2561. Let x = -740 - c. Does 6 divide x?
False
Let o(y) = 25*y**3 - 14*y**2 + 3*y - 9. Let w be o(-9). Is w/(-120) - (-9)/24 a multiple of 24?
False
Let y = 132164 + -82136. Is y a multiple of 33?
True
Suppose -y = -5*m - 127 - 368, 5*y = -m + 2657. Is 10 a factor of y?
True
Let s(b) = -b**2 + 18*b - 8. Let g be s(16). Suppose -5*t = 4*d + g, -4*d - 2*t + 3*t = 24. Is (-1)/(-2)*89*d/(-3) a multiple of 20?
False
Let z be (10 + 520/12)*(-1 - 5). Is 256/z - (-314)/5 even?
True
Suppose -4*j = -2*l + 94412, -82288 = -3*l - j + 59281. Does 17 divide l?
True
Let s(k) = -25*k + 188. Does 49 divide s(-19)?
False
Suppose 0 = 43*q + 19*q - 48644 - 31336. Is 10 a factor of q?
True
Let g(f) = 67*f - 152. Let j(m) = -68*m + 156. Let l(c) = -4*g(c) - 3*j(c). Does 22 divide l(-4)?
True
Let w = -62 - -66. Suppose 0 = 5*j - r + 4*r - 7, 4*j = -w*r + 4. Is ((-69)/(-6))/(j/8) a multiple of 12?
False
Let n = 2314 + 30701. Is n a multiple of 49?
False
Suppose 4*t - 5*i + 4*i = 24, -33 = -3*t - 3*i. Let s(r) = -r**3 + 8*r**2 + 2*r - 4. Let h be s(t). Let d = h - -6. Is 36 a factor of d?
False
Let x(q) = -2*q**2 - q + 1. Let a(b) = -3*b**2 - 2*b + 1. Suppose 4*v = -9 + 25. Let c(l) = v*a(l) - 7*x(l). Is c(-3) a multiple of 6?
True
Suppose 3*j - 5233 = -2*z - 0*z, 0 = 5*z + 2*j - 13088. Is z a multiple of 119?
True
Suppose 3*l + 55545 = 5*v, -12*l = -v - 17*l + 11081. Is v a multiple of 8?
False
Let z be (-20)/5*1*4. Is -3 - 298*24/z a multiple of 74?
True
Let d = -527 - -519. Is 14316/48 - (-10)/d a multiple of 10?
False
Let w = 510 - 297. Let r = 525 - w. Is r a multiple of 26?
True
Let c(n) = -32*n**3 - 3*n**2 - 3*n - 2. Let k be c(-1). Is k/6 - -154 - -3 a multiple of 18?
True
Let f = 19537 + -8449. Suppose -12*o = -o - f. Does 24 divide o?
True
Suppose -2*i - 14885 = -0*i - 32853. Does 8 divide i?
True
Let k = -15 + 17. Suppose 5*m = k*m. Suppose -204 = -t - m*u + 2*u, u + 1029 = 5*t. Does 36 divide t?
False
Let v be 1 - 58/(-4)*32. Suppose 5*t - 516 - v = -4*b, 8 = 2*b. Is 35 a factor of t?
False
Let t(y) = y + 24. Let z be t(-15). Suppose 11*n = z*n + 44. Let i = n - -8. Does 5 divide i?
True
Let s(y) = y + 1. Let h(w) = -42*w + 6. Let x(v) = h(v) - 6*s(v). Does 19 divide x(-1)?
False
Suppose 6*o - 60584 = 6*j - 11*j, 4*o = -3*j + 40388. Does 70 divide o?
False
Let b(x) = 25 - 1 - 11*x + 2*x + 2*x**2. Let n = -2064 + 2073. Is b(n) a multiple of 15?
True
Let z be 63/12 - -3*(-4)/(-16). Let v be z*(-5)/(-75) - 4434/(-15). Let w = v + -146. Is w a multiple of 32?
False
Let r = -37 + 39. Suppose 5*y = 3*j + 3, 3*y = 4*j - r*y - 1. Suppose 0*k + 5*x = 2*k - 108, 2*x = j*k - 200. Is 13 a factor of k?
False
Let x = -15 + 21. Is 362/2 + (0 - (-6)/x) a multiple of 26?
True
Let l(h) = -7 + 23 - 13 + 3*h + 28*h. Let y be l(7). Let f = y + 32. Is f a multiple of 28?
True
Let k = -11631 - -20591. Suppose f + 8968 = c + 3*c, 4*c + f = k. Is 17 a factor of c?
False
Let x be (3 - 6*(-3)/12)*1044. Suppose -11*t + 131 = -x. Does 29 divide t?
False
Let u(l) = -l**2 + 152*l - 2172. Is u(48) a multiple of 141?
True
Let j = 299 + -226. Suppose 2*a + j = -4*k + 2109, -5*k + a = -2552. Is k a multiple of 34?
True
Does 7 divide 29568/20 - 10/(-300)*-12?
False
Suppose -3*x = 5*t + 17, -4*x = -4*t - 2*x - 18. Suppose 4*s + 1448 = -4*r, -r + 5*s - 689 = r. Is (r/1)/((-2)/t + -2) a multiple of 14?
True
Let j = -98 + 206. Suppose -2*l - l + 3*m = -j, 2*m = 8. Suppose 60 + l = 5*n - 4*z, 5*z = -3*n + 60. Is n a multiple of 10?
True
Let y = -41 - -41. Let t be 74/444 - (y - 683/6). Suppose -2*a + 208 = -t. Is 47 a factor of a?
False
Let g(v) be the third derivative of v**5/12 - 7*v**4/24 - 5*v**2. Let q be -2 + 0 - (2*-3)/(-2). Is g(q) a multiple of 20?
True
Let f(u) = u**2 + 6*u + 3. Let o be f(-6). Suppose -4*t = -3*x + 1224, -3*t + o*x = -x + 918. Does 17 divide t/(-9)*(-1)/(-2)?
True
Suppose -61*h + 793003 = -874493. Is h a multiple of 70?
False
Suppose 50*q = 53*q + 165. Is 5 a factor of (11/(-165)*q)/((-2)/(-30))?
True
Suppose -5*u + 8897 = 74*w - 71*w, -8*w = -5*u + 8908. Does 356 divide u?
True
Suppose -2*v = 5*t - 3, -4*v + 5 = 2*t - 9. Let w be (-319)/(-2) + 2/(-4)*t. Suppose 0 = 3*j - 7*j + w. Is j a multiple of 11?
False
Suppose -2272 = -4*k - 4*t - 488, k = -5*t + 430. Does 18 divide k?
True
Suppose 2*r + 19 = 5*c + r, 32 = 4*c - 5*r. Let p be 9/21*(4 + c). Suppose -2*q = -3*x + 534, -p*q + 112 = x - 77. Does 12 divide x?
True
Suppose -7608 = -17*j + 1062. Is 9 a factor of 3/2 + j/4?
False
Let n(q) = -14*q**2 - 5*q - 2. Let h(s) = -6*s + 27. Let z be h(4). Let w be n(z). Does 28 divide w*(-4)/10 - 3/15?
False
Let f = -38 + 28. Let c = 8 - f. Suppose 0 = 23*d - c*d - 360. Does 7 divide d?
False
Suppose 3*v + 5*p = 31131, 5*v + 9*p - 51901 = 6*p. Is 58 a factor of v?
True
Let w = -647 - -976. Is w a multiple of 14?
False
Let z(a) = -a**2 + 4*a - 4. Let s be z(4). Let l be 1/(-2)*s*8. Does 18 divide (-2)/(-5)*(119 + l)?
True
Let g(a) = -a**3 + 108*a**2 - 2023*a + 140. Does 192 divide g(73)?
True
Suppose -18*y + 1249332 = 399*y. Is y a multiple of 45?
False
Suppose 3*j = -w - 15, 4*w = -w + j + 5. Suppose w = -3*d + 3 + 6. Suppose -8*r + d*r + 300 = 0. Is r a multiple of 12?
True
Suppose 0 = 2*j - 10*j - 144. Is (-60)/j*102 - -1 a multiple of 15?
False
Let o(p) = p**2 + 14*p. Let v be o(-14). Suppose v = -j + 460 + 584. Does 25 divide j?
False
Let t = -725 - -730. Suppose -5 = t*y + 5, 5*q + 4*y = 8492. Does 68 divide q?
True
Let m(c) = -2*c**3 - 8*c**2 - 6*c - 4. Suppose -5*r + 3*r - 5*f + 16 = 0, 0 = 5*r - 5*f - 5. Suppose 2*p = -8, -2*p + r = 3*a + 26. Does 18 divide m(a)?
False
Suppose -39*b + 40*b = -2*g + 1531, 0 = 2*b + 2*g - 3060. Does 20 divide b?
False
Let w be (16/(-6))/(2 + 7/(-3)). Suppose -7 = -5*q + w. Suppose 12*u - 504 = q*u. Is 7 a factor of u?
True
Does 6 divide 35/(-4)*(5 + -129) + 1?
True
Let n be 862/3 + ((-2)/6 - 1). Let o = n + 14. Is o a multiple of 15?
True
Let s = -86 + 152. Let z = -36 + s. Is ((-24)/z)/((-2)/60) a multiple of 12?
True
Is 90 a factor of (0 - 270/20)*(0 + -20)?
True
Let h be (-2 - (0 + -261)) + -3 + -4. Suppose 0*c = -4*c + h. Is 5 a factor of c?
False
Let g = -222 + 226. Let m(b) be the first derivative of 4*b**2 + 6*b + 2. Does 10 divide m(g)?
False
Suppose -50 = -26*s + 28. Suppose 3*w - 789 = 3*p, s*p - 543 = 4*w - 1596. Is w a multiple of 33?
True
Let r be (18/15)/(2/40). Let s = 1351 - 1349. Let a = r + s. Does 13 divide a?
True
Let x = 21 - 17. Suppose 3*g = -x*s - 1, 0 = g - s - 2*s - 17. Suppose -4*p = -7*p - g*m + 281, -4*m + 190 = 2*p. Is 8 a factor of p?
False
Let r be -4*6*(40/15 + -3). Suppose -2*g = -r*g + 2610. Does 4 divide g?
False
Let s(b) = 323*b - 943. Is 78 a factor of s(17)?
False
Let a = -1629 + 2139. Does 17 divide a?
True
Suppose -3*h - 10 = p + 3, 4*h = -5*p - 32. Is 24 a factor of ((-336)/10)/(h/15)?
True
Let v be (5 - 1) + 16/(-4). Suppose 12*j + 2*j - 42 = v. Does 15 divide -8*(-4 + j/6)?
False
Let k = 118 - 116. Suppose -3*c + 8*c - 217 = 4*t, -131 = -3*c + k*t. Let o = c - 15. Does 16 divide o?
False
Let a = 105 - 98. Suppose -a*t - 392 = -1092. Is 4 a factor of t?
True
Suppose -84563 = -113*w + 137708. Does 7 divide w?
True
Let n = 17777 + -17405. Is 72 a factor of n?
False
Suppose 14*t - 25*t = -30899. Is 7 a factor of t?
False
Suppose 2*y + 6*y = 3*y. Suppose y = 18*r - 17*r + 45. Is 18 a factor of (-3 + 12/(-3))*r/5?
False
Let p be 4/(-6)*21/(-2). Let v(a) = 7*a**3 + a**2 - 15*a + 88. Let g be v(4). Suppose -p*x = 5*x - g. Is x a multiple of 15?
False
Let n(z) = -z**2 - 14*z + 7. Let r be (-18)/14 - 12/(-42). Let b be 4 + -12 + (1 + r)/(-1). Is 11 a factor of n(b)?
True
Suppose 130*l - 3454215 - 6068161 = -3195146. Is 11 a factor of l?
False
Let w(o) = -2*o**3 - 6*o**2 + 7*o + 1. Let l be w(-4). Suppose -5*i + 4*p + 6756 = 0, l*i - 14*p = -11*p + 6757. Does 13 divide i?
True
Let g be (34/8)/(5/20). Suppose g*t - 421 = 956. Is 3 a factor of t?
True
Let k be 214 - ((-20)/4 - -7). Suppose -29*q