)/((-16)/t)?
False
Suppose 7186 + 20678 = 36*g. Does 18 divide g?
True
Suppose 5*m + 3*d - 81 = 334, d = 2*m - 177. Let u = m + -44. Is 21 a factor of u?
True
Suppose 6*y - 2*y = 3*w + 808, 0 = -5*w - 2*y - 1338. Let q = w - -448. Suppose -x + 6*x - q = 0. Is 12 a factor of x?
True
Let b = 46 + -195. Let t = b + 220. Is 10 a factor of t?
False
Is 2668/6*((-527)/34 + 17) a multiple of 3?
False
Suppose 3*r - 274 = 14. Is r a multiple of 19?
False
Suppose 3*q - 2 = 3*a - q, q = -4*a + 10. Suppose -a*w = -82 - 2. Is 13 a factor of w?
False
Let o = -304 - -209. Let f = 120 - o. Is 20 a factor of f?
False
Let y = 28 - 29. Is 28/36 + y + 3408/27 a multiple of 20?
False
Let i be 52/24 - 3/18. Suppose 84 = -i*q + 3*q. Is q a multiple of 17?
False
Let j = 2290 + -1132. Suppose -4*f - 82 = -j. Suppose 2*a = -5*z + 272, 4*z - a = -z + f. Is 13 a factor of z?
False
Let r = 56 - 24. Suppose 0 = -5*d + 118 + r. Does 9 divide d?
False
Let w be (-25)/(-20)*(212 + 0). Is 11 a factor of w/25 + 10/25?
True
Let a(h) = 2*h**2 + 3*h + 284. Is a(-15) a multiple of 53?
True
Suppose 16*l = 10*l + 1884. Is 10 a factor of l?
False
Let y(z) = 6*z - 19. Let w(c) = 13*c - 37. Let b(m) = 4*w(m) - 9*y(m). Does 5 divide b(0)?
False
Suppose 4*f - 2*r = 14818, 359*r - 356*r + 7419 = 2*f. Does 31 divide f?
False
Let i(b) = -b - 18. Let z be i(-20). Suppose -4*s - a = -z*a - 251, 2*a = 2. Does 9 divide s?
True
Suppose -22 + 7 = -5*t. Suppose 0 = -4*j + 4*l - 56, -t*j - 34 = 2*l - l. Is 16 a factor of -1*5*(j - -5)?
False
Let s(f) = 283*f - 524. Is s(8) a multiple of 15?
True
Suppose o - 2*r = 1174, 5902 = -7*o + 12*o - 2*r. Is 16 a factor of o?
False
Let v(a) = 12*a**2 + 13*a + 12. Is v(6) a multiple of 9?
True
Suppose -1473 = -h + 4*k, k + 2005 = 3*h - 2447. Is h a multiple of 15?
True
Let z = 103 - 158. Let b = z + 124. Is b a multiple of 23?
True
Is 11 a factor of -26*(1 + (-6)/1)?
False
Let i = 74 + -83. Let n(a) = a**3 + 3*a**2 - 3*a. Let z be n(-3). Let d = z - i. Is 18 a factor of d?
True
Suppose -6*d = -38 + 8. Let l = -16 - -22. Suppose 2*z + l*k - 100 = k, -2*z + 80 = -d*k. Is 15 a factor of z?
True
Suppose 4*y - 5 = 3. Suppose -y = n + 2. Let p = n - -6. Is 2 a factor of p?
True
Let q = 130 + -114. Suppose 3*s + 24 = -s. Let j = s + q. Does 10 divide j?
True
Let b be 1/(-2) + (-3)/(-2). Let q(z) be the first derivative of 27*z**4/4 + z**3/3 - z**2/2 + 7. Does 9 divide q(b)?
True
Suppose 770 = 2*r + 4*v, 63*v = 66*v + 3. Is 9 a factor of r?
True
Let d(i) = 7 + 2*i + 9 + 2 + 1. Let g be d(-8). Let l = 5 + g. Is l a multiple of 4?
True
Let l be ((-184)/28 + 7)/(1/7). Suppose 4*a = 3*p - 13 - 31, l*p - a = 56. Is 9 a factor of p?
False
Is 34 a factor of (-325)/26 + 12 - 3670/(-4)?
False
Let b(k) = 3*k**2 + 34*k + 19. Let n be b(-11). Let f = 4 - 1. Let t = n - f. Is t a multiple of 4?
False
Suppose 3*t + 3*t - 24 = 0. Is (77 + t + 0)/1 a multiple of 27?
True
Let g be (57/18)/(4/24). Let s = g + -10. Is s a multiple of 9?
True
Does 20 divide 4/(-22) + 3128/22?
False
Let q(b) = 4*b**2 + 5 - 3 + 3 - 4. Let y be q(1). Suppose 0 = -j - 2*f + 31 + 18, y*j = 4*f + 245. Does 19 divide j?
False
Suppose 4*y + 4 = -2*c, -y = 5 - 2. Let k(n) = n**3 - 5*n**2 + n - 1. Let g be k(c). Let x = 40 + g. Does 9 divide x?
True
Let o(p) = 29*p**2 - 1. Suppose 38 = -5*u + 3*x - x, 0 = 2*x - 8. Let s be (2/u)/((-6)/(-18)). Does 8 divide o(s)?
False
Let x = -8 - -12. Let v = 6 - x. Is (63/v)/(15/20) a multiple of 14?
True
Let d = 65 + -66. Does 15 divide (-225)/(-60)*(0/d - -4)?
True
Suppose -26 = 4*s + 9*s. Does 33 divide ((-8)/(-6) + s)*-3 + 156?
False
Let z be (1/(-2))/(11/(-6842)). Suppose 0 = -5*w - 2*g + g + 515, -3*w + z = g. Is w a multiple of 17?
True
Let p(o) = 69*o - 69*o + o**2 - 1. Let b be p(-4). Suppose 0 = -4*k - 0*s - 4*s + 44, 5*s = b. Is 6 a factor of k?
False
Let o(g) = g**3 - 14*g**2 + 19*g - 19. Does 16 divide o(15)?
False
Let f(b) = b**3 + 8*b**2. Suppose 0 = 5*y - 2*y + 24. Let z be f(y). Suppose -2*j + 86 = 4*k, 3*k - 77 = -z*k + j. Does 8 divide k?
True
Let c(t) = t - 1. Let l be c(4). Suppose -28 + 112 = 5*x + 4*k, -x = -l*k - 13. Does 6 divide x?
False
Let w(q) = q**3 + 20. Suppose 0*m + 0*m = -3*m. Is 5 a factor of w(m)?
True
Suppose -37 = -y - 13. Is y/36 + (-404)/(-6) a multiple of 10?
False
Let o = 8400 - 5025. Is o a multiple of 125?
True
Let m(s) = -s**2 + 2*s + 3. Suppose q + 1 = -4. Let j be m(q). Does 12 divide 31*-4*16/j?
False
Suppose -5628 = -y - 6*y. Is y a multiple of 12?
True
Let y be (-590)/(-40) + 2/8. Is 22 a factor of 2/(6/y) + 17?
True
Let z be (-62 - -1)*(-1)/1. Suppose -3*d + 70 = -4*s, 5*s = -2*d + d - 97. Let q = z + s. Does 21 divide q?
True
Let v(h) = h + 3*h**2 + h - 2 - 3*h - 5*h. Is 15 a factor of v(-5)?
False
Suppose 0 = -m + 2*f + 10, 3*m + f + 0*f - 16 = 0. Suppose 0 = 2*d + m - 4. Let j = d + 16. Is j a multiple of 5?
True
Suppose 11 = 5*r - 2*q - 2*q, -3*q = -2*r + 10. Is 38*r/(-4)*-2*-1 a multiple of 7?
False
Suppose 2*s - 2*r - 10 = 3*r, -s - 9 = r. Suppose -4*z = 10*w - 5*w + 7, -2*w = -2*z + 10. Is 2 a factor of s/z*(-12)/5?
True
Let b = 30 - 24. Let c = 9 - b. Suppose -3*q = c*w - q - 350, 4*w = 5*q + 436. Is w a multiple of 23?
False
Let k = -1015 - -2257. Is 23 a factor of k?
True
Let s be ((-5)/(-2))/(5/(-10)). Let i(x) = x**2 - 7*x - 14. Is 7 a factor of i(s)?
False
Suppose -36 = -4*i - u - 0*u, 3*i - 5*u = 4. Suppose 3*w - 218 = 5*o, -5*o = -3*o + i. Is w a multiple of 22?
True
Let s be ((-540)/(-8))/((-3)/(-6)). Suppose -20 + 0 = -4*x. Suppose -2*c - s = -x*c. Is 15 a factor of c?
True
Let m(s) = -s**2 + s + 2. Let b be m(-1). Suppose -4*y + b*y = -4*o + 392, y + 286 = 3*o. Suppose -o = -4*v + 30. Is v a multiple of 31?
True
Let b be 56 - (2 - -1)*15/(-45). Suppose 520 = 61*j - b*j. Is 33 a factor of j?
False
Suppose -3*y = -2*y + 2. Is 9 a factor of -18*((-44)/12 - y)?
False
Does 14 divide 7686/9*(-36)/(-14)?
False
Suppose 2*q + 2*q + 2*n = -122, -4*n - 99 = 3*q. Let t = q + 47. Does 3 divide t?
True
Suppose -g - 9*g = -50. Suppose -f - h - 41 = -2*f, -4*f + g*h + 159 = 0. Is f a multiple of 6?
False
Let b = -37 + 66. Let k be -5 + b - (-3 + 3). Suppose 16 = 2*j - k. Is 10 a factor of j?
True
Suppose -7*g + 3*c - 7 = -3*g, -4*g = -2*c + 2. Suppose -g*h + 144 = h. Suppose -2*j = 2*j - h. Is 3 a factor of j?
True
Let p(i) = -2 - 2*i + 4 - 6 + 3. Let s be p(17). Let q = 4 - s. Is 13 a factor of q?
True
Let v be 14/4 - 9/(-6). Suppose 353 = v*k + q, 0 = -2*k + 2*q - q + 137. Suppose -2*z + 7*z - k = 0. Does 3 divide z?
False
Let u(b) be the second derivative of -5*b**2 + 2*b + 0 + 2/3*b**3. Is 10 a factor of u(7)?
False
Let a be 6/10 - (-621)/15. Let u = a + -28. Is u a multiple of 13?
False
Let b be (1 + -2)*18 - -1. Let y = 15 + b. Is 19 a factor of (64/20 + y)*55?
False
Suppose 5*l - 36 = -3*d, 0*d - 15 = 5*d. Let f be 34/(-18)*-3*l. Suppose 3*h - 6*h = -f. Is 17 a factor of h?
True
Is -5*48/40 + 1086 a multiple of 45?
True
Suppose -268 = -4*x + 164. Suppose -2*o + 39 + 13 = 4*j, -j = -5*o + x. Does 11 divide o?
True
Suppose o - 40 = -5*s - 15, 0 = -4*o + s - 5. Let c be (0 - 3)/3*o. Let u = 12 - c. Does 4 divide u?
True
Let h be 1/(-3) - (-48)/9. Suppose -h = -x + 1. Is 2 a factor of x?
True
Is ((-20)/6)/(7/(-798) + 0) a multiple of 18?
False
Suppose -5*t + 3*g + 27 = 0, 3*g = 4*t - 39 + 15. Does 19 divide ((-268)/(-16) - t)/((-4)/(-48))?
False
Suppose 4*c - 509 = -3*r, 5*c - 171 = -r + 4*c. Is 52 a factor of r?
False
Let x = -114 - -197. Is 35 a factor of x?
False
Let l = 2255 - 1490. Does 85 divide l?
True
Let o(d) = 0*d - 193 + 148 + 0*d + 6*d. Is o(18) a multiple of 35?
False
Suppose -2*v + 8 = -4*g, -3*g = -6*v + 7*v + 1. Suppose 199 = v*f - 205. Is f a multiple of 33?
False
Let f be (4 + -4 - 4) + 7. Is f - -175 - (-5 + 2) a multiple of 12?
False
Suppose -3*o + 164 = h - 58, -8 = 4*o. Is h a multiple of 57?
True
Suppose -271 = -6*d + 1097. Does 57 divide d?
True
Suppose 14*b + 190 = 946. Let t = -24 + b. Is 10 a factor of t?
True
Suppose -15*m + 24*m = 6462. Does 68 divide m?
False
Suppose -18*d + 26*d = 5760. Is 45 a factor of d?
True
Let h = -1491 - -2194. Is h a multiple of 6?
False
Is 4/22 - (-17)/(1496/48736) a multiple of 21?
False
Let v = -10 - -10. Suppose f - 2 - 1 = v. Suppose -f*d - 14 = -110. Is d a mul