False
Let q(p) = 3*p. Let j be q(1). Let l be (-4)/5 + (-2286)/(-45) + -3. Suppose l = 5*f + 2*g, -f - j*f + 41 = 5*g. Does 9 divide f?
True
Let i(p) = -375*p**3 - 2*p**2 + 3*p + 1. Is i(-1) a multiple of 3?
False
Suppose 3*u + 5*a - 2805 + 501 = 0, 4*a = -u + 775. Does 57 divide u?
False
Let a = -25 - -29. Suppose -a*h + 12 = 4*j, -4 + 16 = -h + 4*j. Suppose -90 = -5*q + 6*b - b, -3*b = h. Is 18 a factor of q?
True
Let x = 412 + -216. Suppose 4*c + x = 8*c. Is c a multiple of 10?
False
Suppose 0 = 14*c - 17*c + 9. Suppose -a + c*b + 15 = 0, -3*a - 10 = 4*b - 107. Is a a multiple of 7?
False
Suppose -6 = 3*x - 36. Suppose -x*q + 6*q + 20 = 0. Suppose q*a + 33 = 208. Is a a multiple of 18?
False
Let u = -1145 + 1916. Does 9 divide u?
False
Suppose 21*v - 23*v = -498. Let y = -137 + v. Is y a multiple of 14?
True
Suppose 9*n = 20*n - 176. Suppose 14*o + n - 394 = 0. Is 9 a factor of o?
True
Let r = -1761 + 3057. Does 72 divide r?
True
Let v = -19 - -22. Suppose 0*g = -g - 2*t + 6, v*t - 6 = 0. Suppose 2*o = -4*d + 30, -g*o - 3*d + 18 = -11. Does 13 divide o?
True
Let r(q) be the third derivative of -q**5/60 - 7*q**4/12 + 2*q**3/3 + 2*q**2. Suppose -9*z = -18*z - 81. Is r(z) a multiple of 9?
False
Let l(o) be the first derivative of o**4/4 + o + 5. Let s be l(-1). Suppose s = -2*y + y + 59. Is y a multiple of 22?
False
Let q(r) be the third derivative of -r**6/120 + r**5/12 + r**4/12 + r**3/2 - r**2. Is 22 a factor of q(4)?
False
Is 10 a factor of 888 + -1 - (-7 - -4 - -3)?
False
Let n(j) = j**3 - 10*j**2 + 16*j + 19. Suppose 0 = 2*h - 99 + 83. Does 8 divide n(h)?
False
Does 45 divide ((-870)/(-75))/((-3)/(2370/(-4)))?
False
Let l(h) = -h**3 + 23*h**2 - 40*h + 2. Is l(7) a multiple of 44?
False
Suppose 7*t - 9234 = -20*t. Is 57 a factor of t?
True
Suppose 3*f + 96 = 5*z, 12 = z + 3*f - 0*f. Suppose -4*h = -74 + z. Suppose 0 = -2*c + l + 6 + h, 0 = -2*c + 5*l + 4. Is 12 a factor of c?
True
Let c = 37 + -30. Let x(d) = 6*d - 9. Does 5 divide x(c)?
False
Suppose -20 = -6*d + 2*d. Suppose -d*y = -42 - 48. Let j = y + -6. Is j a multiple of 4?
True
Let i = 8 - 10. Is 11 a factor of (117/(-6) + i)*-4?
False
Suppose 12 = -3*k, 3*o - k - 1 = 3. Suppose 2*y + 0 - 4 = o. Suppose -90 = -d + 4*l, y*l + 2 = l. Does 24 divide d?
False
Suppose -127*k - 14796 = -145*k. Is k a multiple of 59?
False
Suppose 0 = 2*f + 14 - 32. Let z(r) = r**3 - 10*r**2 + 10*r + 12. Is 9 a factor of z(f)?
False
Let i be 0/5 + 60*3. Let u = -116 + i. Is (9 + 1)*u/20 a multiple of 8?
True
Let c be 12/5 - 18/45. Let u = -316 - -504. Suppose -5*a + u = 4*q, -a + 12 = c*a. Is q a multiple of 14?
True
Suppose -5*w - 5*a = -25, 4*a = w - 4*w + 17. Suppose 18 = t - 4*n - 14, 0 = -n + w. Is 22 a factor of t?
True
Let i(m) = 10*m + 28. Is i(10) a multiple of 16?
True
Let d(v) = -6*v - v + 8 - v. Let h be (2/(-2))/(0 + 4/20). Does 24 divide d(h)?
True
Let p = -235 + 1099. Is 24 a factor of p?
True
Suppose 2377 = -7*b + 6542. Does 40 divide b?
False
Is 9 a factor of (-2106)/(-18) - (-5)/(-1)?
False
Suppose -3*h - 123 = -0*h. Let k = 122 + h. Is k a multiple of 14?
False
Let v(y) = y**2 + 11*y - 18. Suppose a = -0*a - 5*g + 16, g - 2 = 0. Is 42 a factor of v(a)?
True
Let z = -766 + 2131. Does 31 divide z?
False
Let k be ((-40)/15)/(4/6). Is 6 a factor of 1 + k + 0 + 24?
False
Suppose -5*j + 15 = -2*j. Let p = 41 + -39. Suppose 2*b - 74 = -2*k - p, 2*b - j*k = 37. Does 10 divide b?
False
Is (-4)/48 - 118949/(-204) a multiple of 32?
False
Let q(c) be the second derivative of c**3/2 - 7*c**2/2 + c. Suppose -2*r + m = -17, -r - 2*r + 28 = -m. Is 13 a factor of q(r)?
True
Suppose -3*z - 10*v + 5*v + 6154 = 0, -2*z - v = -4091. Is z a multiple of 76?
False
Let k = -479 - -633. Does 77 divide k?
True
Is 22 a factor of -1 - (-182245)/63 - (-6)/27?
False
Let q = 9226 + -6006. Is q a multiple of 46?
True
Let l(u) = -u**3 - 5*u**2 + 11*u + 43. Does 13 divide l(-6)?
True
Let r be ((-273)/4 + 1)/(6/(-24)). Suppose 668 - r = 3*z. Does 15 divide z?
False
Let b(q) = 6*q**2 - 31*q - 44. Is b(9) a multiple of 4?
False
Let i(p) = -p**2 - p. Let n be i(-1). Suppose 4*v - 8 = 2*v. Suppose -5*m - 4*j + 392 = n, -v*m + 93 + 233 = -3*j. Does 16 divide m?
True
Let t be 2 + (17 - (-4 + 8)). Suppose w - 3*w - 9 = 5*i, -4*w + i = -t. Does 14 divide -2 - (-1 - 203)/w?
False
Let i be (2 + -4 - -3)/((-2)/(-10)). Is 41 a factor of (i/(-4) + 2)/(12/3216)?
False
Suppose -l = 3*r - 16, 8*l - 5*l - 68 = -4*r. Suppose 2*c - l = -4*v + 62, 2*c - 4*v = 130. Is c a multiple of 11?
True
Suppose -3*r - t - 13 = -8*r, 5*t = 5*r - 25. Let m(f) = -1 + 24*f + 4*f**r - 29*f + 6 + f**3. Is m(-5) even?
False
Let i(t) = -24*t - 16. Let b be i(-5). Suppose 8*p - 40 = b. Is p a multiple of 5?
False
Suppose -c + 2*c = -3*j + 975, 0 = j - c - 325. Suppose -7*b + 2*b = -j. Is b a multiple of 3?
False
Suppose -10*u + 2*v - 9198 = -14*u, 5*v - 6895 = -3*u. Is 115 a factor of u?
True
Let s be (-1)/2 + (6 - 35/10). Suppose -10 = -2*c - s, -3*z + 87 = 3*c. Is z a multiple of 10?
False
Let f be ((-60)/2)/((-161)/28 - -5). Suppose -2*p = -3*q - 60, 0*p - f = -2*p - 2*q. Does 8 divide p?
True
Suppose -b - 14 = -5*r, -r = -0*r - 4*b + 1. Suppose 0 = 4*x - 3*u + 57, 0 = -r*x - 5*u - 2 - 48. Let g = x - -59. Is g a multiple of 15?
False
Let n(r) = -5*r**2 - 4*r - 1. Suppose 0 = -3*m + 4*c - 6 + 4, 0 = -4*m - 3*c - 36. Let w(g) = -g**2 - 1. Let d(q) = m*w(q) + n(q). Does 27 divide d(-7)?
False
Suppose 49*p + 322 = 3*p. Let h(g) be the first derivative of g**2/2 + 11*g + 1. Is 2 a factor of h(p)?
True
Let p = 461 + -292. Is p a multiple of 24?
False
Let g = 2112 - 996. Suppose g = 16*z - 10*z. Is z a multiple of 31?
True
Suppose -14*v - 72 = -15*v. Suppose -4*x - 2*d = -21 - 51, -4*d + v = 4*x. Is x a multiple of 7?
False
Is 27/3 - 8 - 7*-7 a multiple of 18?
False
Let k(d) be the first derivative of -d**3/3 - 7*d**2 - 27*d - 2. Is 3 a factor of k(-9)?
True
Suppose 0 = 2*s - 0*s - 12. Let g be -7*2198/(-637) - 2/13. Suppose 4*v = s*v - g. Is v a multiple of 12?
True
Let b(x) = 7*x**2 - 6*x + 4. Let l be b(2). Suppose 4*y + p = 20, -4*p + 0*p + l = 4*y. Does 2 divide y?
False
Suppose 3*y - 2 - 25 = i, 5*i = 2*y - 5. Does 3 divide y?
False
Suppose 8243 = 11*k - 10644. Is 17 a factor of k?
True
Let z = 3 + -12. Let a(g) = -g**3 - 8*g**2 + 7*g - 12. Is a(z) a multiple of 6?
True
Does 49 divide (-1*911/5)/(12/(-60))?
False
Does 14 divide -1*(-7 + 4 + -725)?
True
Let t = -69 + 71. Does 15 divide (256/24)/(t/9)?
False
Suppose 68*o = 73*o + 5*l - 4625, 0 = -o - 3*l + 927. Does 44 divide o?
True
Suppose 5*b - 168 = -38. Let z = 64 - b. Is 18 a factor of (-4)/((-8)/3)*z?
False
Let k be (3 + 10/(-5))*263. Let g = k + -159. Is 26 a factor of g?
True
Suppose 3*o - 446 = -5*a + 7*a, 20 = 4*a. Is 19 a factor of o?
True
Let g be (-10)/(-4) + 7/14. Suppose g*s - 6 = -21, 5*h = 3*s + 30. Suppose h*w - 110 = -2*c + w, 4*c + w - 208 = 0. Is c a multiple of 11?
False
Let d(o) = -o**3 - 22*o**2 + 18*o - 7. Let r = -125 - -102. Is 9 a factor of d(r)?
True
Suppose -5 = 4*x + x + a, 3*x - 19 = -5*a. Let w be 12/((-1)/x + 1). Suppose v = t - w, -t - v + 7 = t. Does 2 divide t?
False
Suppose -29745 = -35*g - 65. Is g a multiple of 16?
True
Let m(z) = z**3 + 5*z**2 - 6*z. Let d be m(-6). Suppose 2*b + 3*b + 4*i - 260 = d, -2*b - i + 107 = 0. Is b a multiple of 7?
True
Let h = 83 - 4. Suppose -349 = -3*u - h. Does 15 divide u?
True
Let r = 8 + -15. Let f be ((-5)/(-2))/(r/14). Does 3 divide 5/(f/3) - -7?
False
Suppose 3*a - 4*h = 100, -3*a + 3*h - 4*h = -95. Does 14 divide (a/20 + 4)/((-2)/(-5))?
True
Let r(c) = -72*c - 288. Is 69 a factor of r(-12)?
False
Suppose -t + 293 = 5*q + 2*t, -t - 173 = -3*q. Suppose -s - q + 23 = -i, -2*s - 40 = -i. Is 4 a factor of i?
False
Let l be 42/18 - 2/(-3). Suppose z + z = 5*i + 99, -l*i - 219 = -4*z. Suppose 2*c - z = 1. Does 8 divide c?
False
Let l(j) = -11*j**3 - 3*j**2 - 2*j - 2. Let y(b) = -b**3 + b**2 + b + 1. Let o be y(-1). Let d be 0 + 8/(-2) + o. Does 26 divide l(d)?
True
Let q(o) = 8*o - 7. Let i(x) = x**3 - 5*x**2 - 4*x - 10. Let z be i(6). Suppose g = 5*u + 15, g = z*u - 6*u - 3. Does 6 divide q(g)?
False
Let z(n) = 46*n - 374. Does 12 divide z(23)?
True
Suppose 4*b - 4*p - 5268 = 0, -5*b - 4*p = 1045 - 7621. Does 12 divide b?
False
Let 