5*g - 3*f - 135 = 0. Is g a multiple of 9?
True
Does 50 divide 0 + 1 - (0 - (-3 - -541))?
False
Suppose -335 = -4*t + 5*c + 158, -2*t + 260 = 2*c. Is 12 a factor of t?
False
Let r = 7479 + -5142. Is 19 a factor of r?
True
Let t(k) = k**3 + 5*k**2 - 8*k + 3. Let x = -16 + 21. Suppose -3*b - 9 = -5*z + 24, -x*z = -b - 21. Does 3 divide t(b)?
True
Let d be (3 + -3)*1/(1 - 0). Suppose -9*r + 4*r + 240 = 5*a, d = 2*a + r - 91. Is a a multiple of 19?
False
Suppose 3*r + 0*f = -5*f + 2412, -2*r - 2*f + 1612 = 0. Is r a multiple of 9?
False
Let w(l) = 66*l**2 + 36*l + 123. Is w(-4) a multiple of 45?
True
Suppose -25 = -5*q, 4*s - 3*s - 2*q = 111. Does 14 divide s?
False
Suppose 3*v - 5*j - 182 = -3*j, -4*v + 240 = -2*j. Let n = 540 + -571. Let m = v + n. Does 9 divide m?
True
Let x(s) = 23*s**2 + 3*s + 2. Suppose 2*v + v - 4*t = -4, 4*v + 5*t = 36. Suppose -v = -m + 5*c, 4*m = m + 3*c. Does 11 divide x(m)?
True
Suppose 259 = -3*y - 3*z + 1801, -4*z - 2552 = -5*y. Is y a multiple of 32?
True
Suppose -44*a + 617132 = 62*a. Does 26 divide a?
False
Let b(o) = 1. Suppose 2*h = 5 + 5. Let c(z) = 19*z + 6. Let p(d) = h*b(d) - c(d). Is 14 a factor of p(-3)?
True
Suppose -14*n + 1155 = -29*n. Let h = n + 90. Does 13 divide h?
True
Let b(y) = 85*y + 5. Let q be b(4). Let r = 84 + -78. Suppose 2*s + 3*s = -4*h + q, 2*s = -r. Is h a multiple of 18?
True
Let f = -1116 + 1593. Is 53 a factor of f?
True
Let s(i) = 1021*i**2 - 3*i + 5. Is 21 a factor of s(1)?
False
Let k(z) = -4 - 22*z**2 + 8*z - 6 + 4 + 21*z**2. Let a = 15 + -9. Is k(a) even?
True
Let s(f) = f**2 + f + 11. Let c be s(0). Is (c + -9)/((-2)/(-35)) a multiple of 7?
True
Let a = 20 + -22. Let t = 8 + a. Is 6 a factor of t?
True
Suppose -b = -4*p - 268, -6*b + 240 + 1395 = 3*p. Does 4 divide b?
True
Let o(b) = -32*b - 16. Suppose -k + 7*k = -42. Is 26 a factor of o(k)?
True
Let l = -107 - -95. Does 3 divide (15/6)/((-6)/l)?
False
Suppose 372 + 387 = 2*q - 3*d, 4*q - 2*d - 1514 = 0. Is 7 a factor of q?
True
Is 57 - (-10)/((-80)/(-24)) a multiple of 14?
False
Let x = -851 + 1194. Let i = x + -118. Is 15 a factor of i?
True
Let x(o) = -3*o**2 - 40*o + 7. Is x(-10) a multiple of 7?
False
Suppose -5*w - 1 = -4*w, 4*w - 916 = -4*q. Suppose -3*n - 2*n = -q. Does 8 divide n?
False
Let p = 55 - 52. Suppose 0 = m - 2*g - 62, 5*m - p*g = -0*g + 296. Does 8 divide m?
False
Suppose 7*f = 2*f. Suppose -2*g + g + 5 = f. Is 13 a factor of (-2)/((20/(-52))/g)?
True
Let u(o) = -122*o**3. Let r be u(-1). Let z = r - 72. Is z a multiple of 25?
True
Let f be 2/(-4 - (-12)/2). Let y be ((-2)/f - -1)*-23. Suppose -2*j = -y - 137. Does 20 divide j?
True
Suppose -5*t - 2*h = -111, 5*t = -4*h + 47 + 60. Let m = t + 12. Is 2 a factor of m?
False
Is 43 a factor of (2*(-9 + 8))/(2/(-1333))?
True
Let b be 0*(-4 + (3 - -2)). Suppose b = 3*g - g - 320. Is 40 a factor of g?
True
Suppose 2*i = 2*g - 12, -3*g + g - 4*i + 42 = 0. Suppose -3*s - g + 62 = 0. Is s a multiple of 3?
False
Let v(t) = -4*t**3 + 49*t**2 - 45*t + 17. Let o(x) = -x**3 + 16*x**2 - 15*x + 6. Let s(d) = 7*o(d) - 2*v(d). Does 2 divide s(-15)?
True
Is (3 - 486/9)*(-14)/3 a multiple of 47?
False
Suppose -3*o + 7*o = 16. Suppose 4*t - 260 = 8*t + 4*f, o*t - 2*f = -284. Does 28 divide (2 + 0)/((-3)/t)?
False
Let q = 315 + 235. Is q a multiple of 50?
True
Let m(f) = -f**3 - 11*f**2 + 13*f + 8. Let v be m(-12). Is 194 + 1 + 1/v*-12 a multiple of 26?
False
Let i = -60 - -129. Does 21 divide i?
False
Let x = -5 - 35. Let d = -12 - x. Is 13 a factor of (3 - (-3 - -6)) + d?
False
Let p be (-3 - -3) + -2 + 12. Let j = p - 2. Suppose -4*u + 92 = 4*a, -4*a - 91 = -j*a - 5*u. Is 8 a factor of a?
True
Suppose -2*a - 62 = -4*p, -5*p + 2*a + 56 = -21. Let x = 20 - p. Suppose -5*c - 4*o = -43, 3*c + 70 = 8*c - x*o. Does 11 divide c?
True
Let u = 6 - 4. Suppose 98 = 2*b + b + 2*s, u*b - 3*s - 61 = 0. Let h = 94 - b. Is 15 a factor of h?
False
Suppose 4*o + 1529 - 3081 = 0. Does 24 divide o?
False
Suppose -44*z + 43*z = -166. Suppose 478 = 2*m + z. Does 52 divide m?
True
Let c(m) = m**2 + 26*m + 24. Is c(-28) a multiple of 12?
False
Let y be 1 - (-14 - (-4 + 3)). Suppose -5*d = -u - 84, -5*u = -2*d + y + 38. Let w = 27 - d. Is 2 a factor of w?
False
Suppose -3*v = 12, 2*p - 5*p + 5*v = -596. Is 14 a factor of p?
False
Let o = 279 + -207. Is o a multiple of 72?
True
Suppose 33*z = 44*z - 5489. Does 14 divide z?
False
Let x(k) = k**3 + 5*k**2 + 4*k + 2. Let n be x(-4). Suppose -201 = -n*b + 4*o - 23, 2*b = 3*o + 173. Suppose -5*g + 2 = -3, 3*m = -g + b. Is m a multiple of 12?
False
Suppose 0 = 10*q - 19*q + 5670. Is 14 a factor of q?
True
Let v(s) = -116 - 13*s + 36 + 39 + 35. Suppose 0 = 4*n + 8. Does 13 divide v(n)?
False
Let z(k) = 103*k**2 + 3. Does 12 divide z(-2)?
False
Is 14 a factor of (-3)/3*-177 - -5?
True
Suppose -16*h + 15*h - 3*r = -4182, r = 5*h - 20830. Does 100 divide h?
False
Let a = 1905 + -1737. Is a a multiple of 8?
True
Suppose -3*x + 596 = -868. Is x a multiple of 61?
True
Let o = -54 - -50. Let d(m) = 6*m + 5. Let t(h) = 30*h + 24. Let c(b) = -16*d(b) + 3*t(b). Is 4 a factor of c(o)?
True
Let m be (-35)/(-15)*-3 - -3. Let d(u) = -21*u - 10. Is d(m) a multiple of 12?
False
Suppose 3*s - 5 = -4*i + 5*i, -5*i + 26 = 2*s. Suppose -5*t - s*p = -96, 5*p - 2*p = -3*t + 60. Is t a multiple of 3?
True
Let b = 31 + -29. Suppose -b*i + 165 = i + 3*x, 5 = 5*x. Does 6 divide i?
True
Suppose 0 = -2*n + 4*d + 878, -3*n + 14*d = 16*d - 1325. Is n a multiple of 21?
True
Suppose -m + 5*s = -928 - 2427, 4*s + 16733 = 5*m. Is m a multiple of 25?
False
Let l be 0 + -1 + (0 - -1). Suppose -6*o + 5*o + 75 = l. Is 27 a factor of o?
False
Let t(n) = 6 - 33*n + 3*n - 2. Does 16 divide t(-2)?
True
Suppose 0 = -5*a + 81 + 359. Let f be (-2)/(-16) + 165/a. Suppose 82 = f*i + 2*p, -3*p + 10 = -p. Is 12 a factor of i?
True
Suppose -163 + 64 = 11*n. Let i(f) = 2*f**2 - 4*f + 12. Does 42 divide i(n)?
True
Suppose -101 = 2*t - 301. Suppose -123*y + 118*y + t = 0. Does 2 divide y?
True
Let h(t) = t**2 - t + 3. Let d = -52 + 49. Is h(d) a multiple of 10?
False
Suppose -2*h = -0*h - 10. Suppose p = 3*p - 6. Suppose -p*o + 177 = 5*b, -b + o = h*o - 49. Does 11 divide b?
True
Suppose -v - 12 = 10. Let o be (-6 + -46)/(4/v). Is 10 a factor of o/10 + 8/20?
False
Let j(a) be the second derivative of 5*a**4/6 - a**3/3 - 5*a**2/2 + 14*a. Does 13 divide j(-3)?
True
Let m = 785 + -389. Does 38 divide m?
False
Suppose -3*c + 2 - 5 = 0. Let a be (-18 + c - 2)*1. Is 19 a factor of (-6)/a + (-304)/(-14)?
False
Let r = -50 - -52. Suppose -3*m = -r*m - 21. Does 7 divide m?
True
Suppose -3*r = r - 156. Let p = r - 21. Suppose a - 4*a + p = 0. Does 6 divide a?
True
Suppose x - 2330 = -5*l, -3*l + 7*l + 3*x - 1875 = 0. Is 31 a factor of l?
True
Let h = 144 + -131. Is h a multiple of 2?
False
Let d(y) be the first derivative of -8*y**2 - 10*y - 5. Does 19 divide d(-4)?
False
Suppose -t + s = -0*s - 40, -t + 34 = s. Let u = t + -13. Suppose -26*n = -u*n - 98. Is n a multiple of 7?
True
Let f be (15 + -10)*(-76)/5. Let y be (-8)/(-2) + f + -5. Let w = 108 + y. Is w a multiple of 7?
False
Let p(r) = -6*r - 1. Let c be p(-4). Suppose 3*l = 4*a + 9, c = -5*l - 4*a + 6. Is 10/7*(l - -8) a multiple of 6?
False
Let s(o) = -43*o + 324. Is 27 a factor of s(-3)?
False
Let n = 36 + -21. Suppose 4*m - n = 5*j - 10*j, -3*j + 9 = -2*m. Suppose 4*y = -m*y + 100. Is y a multiple of 14?
False
Is (2/4 - 2)*10634/(-39) a multiple of 86?
False
Let b = -7 + 23. Let h = -11 + b. Suppose h*c - 20 = 0, -2*g + 1 = -5*c - 75. Is 16 a factor of g?
True
Let s(a) = -4*a**3 - a**2 + 5*a - 4. Let z = 1 - 3. Let y(t) = 11*t**3 + 3*t**2 - 16*t + 13. Let k(i) = z*y(i) - 7*s(i). Is 16 a factor of k(2)?
True
Suppose 375 + 732 = 3*t. Suppose t + 166 = 5*n. Is n a multiple of 24?
False
Suppose -6*x + 3*x - 4044 = -9*m, 5*m - 4*x - 2256 = 0. Is m even?
True
Is 5 a factor of -20*(-90)/(-5)*4/(-12)?
True
Does 23 divide (-415)/(-15) + (-5)/(-15)?
False
Suppose 517 + 113 = 2*j. Suppose -5*t - v = -t - 621, -2*t + j = -v. Is t a multiple of 12?
True
Let y = 148 - -1608. Suppose -2*a = -d + 353, -y = -5*d + 2*a - a. Suppose -8*c + d = 31. Is c a multiple of 21?
False
Suppose -5*o - 3*u + 245 = -70, u - 5 = 0. Is 2 a factor of o?
True
Let j = -6948 - -10287. Is 22 