 = 4*u + 5*r - 242, a*u + r - 187 = -u. Is 21 a factor of u?
True
Let p = 80 + -36. Suppose 3*z - 4 - 8 = 0. Suppose 5*v + 104 = 3*b, v = 2*b + z*v - p. Is b a multiple of 18?
False
Let h(w) = 10*w**3 + 3*w**2 + 3*w - 9. Is h(3) a multiple of 11?
True
Is 10 a factor of (-3)/(-18) - 12232/(-48)?
False
Suppose 4*h - 2*g = 2*g - 32, 2*g = 5*h + 55. Let l(j) = j**3 - 4*j - 2*j + 4*j - 13 + 13*j**2. Does 13 divide l(h)?
True
Suppose 3442 = 5*n + 1177. Is n a multiple of 18?
False
Let y = -102 - -145. Let x = 85 - y. Suppose -3*b - b - x = -5*u, 4*u + 3*b - 15 = 0. Is u a multiple of 3?
True
Let o be (9 - 10)/((-1)/41). Let p = -138 - o. Let i = -126 - p. Is i a multiple of 19?
False
Does 59 divide (-44)/286 + 716/(-13)*-15?
True
Suppose -1413*f = -1423*f + 23980. Is 11 a factor of f?
True
Let u be (3/3)/(-1 + 2). Let s = 21 - u. Suppose 0*j - s = -j. Does 10 divide j?
True
Suppose -4*y + 3*s = -19, -2*s - 5 = 2*y - 11. Suppose 15 = y*q - q. Suppose -15 = -q*b + 55. Is 6 a factor of b?
False
Suppose -140 = -4*y + 280. Let n = 165 - y. Is 12 a factor of n?
True
Suppose 0*w - 156 = 2*w. Let m = 6 - w. Let q = m + -54. Does 11 divide q?
False
Let u = 40 - 31. Let p(f) = f**3 - 8*f**2 - 8*f - 3. Is 3 a factor of p(u)?
True
Let z(p) be the first derivative of -31*p**2 - 2*p - 5. Does 12 divide z(-1)?
True
Let b(r) = r**3 + 13*r**2 + 15*r + 14. Suppose 5*w + 58 = -3*c, w - 3*w = -5*c + 17. Let j be b(w). Is 1624/j + 2/13 a multiple of 5?
False
Let g be (-34)/10 - 6/(-15). Let h = 139 - g. Is h a multiple of 13?
False
Let q = 72 - 67. Suppose 0 = q*j - 5*p - 30, -j + 5*p + 4 = 2*p. Does 2 divide j?
False
Is 30 a factor of (45/2)/((-39)/(-260))?
True
Let w(u) = -167*u + 95. Is 34 a factor of w(-9)?
True
Let f = -836 + 873. Is f a multiple of 6?
False
Let a = 102 - 85. Suppose a*z - 61 = 16*z. Does 7 divide z?
False
Suppose 8*q - 1 = 7*q. Suppose 4*p + 2 = -2*g, 2*g + 5 = -5*p + q. Suppose g*y - 2*y - 26 = 0. Is 13 a factor of y?
True
Suppose 4*c - 1095 = -a, -3*a + 3112 = -5*c - 258. Is 46 a factor of a?
False
Let j be 0 - -4 - (-2 + 3). Suppose j*s + 149 = 4*s. Let v = s + -87. Is 24 a factor of v?
False
Let a(h) = h**2 - 4. Suppose 4*k + g - 16 = 0, -k - 2 + 6 = -5*g. Suppose k*c - c = 30. Is 32 a factor of a(c)?
True
Suppose 0 = -2*l - 47*l + 12544. Is l a multiple of 8?
True
Let j = -2134 + 3898. Does 35 divide j?
False
Let z(k) = k**2 + 4*k - 2. Let n(i) = i**2 + 7*i - 4. Let c(d) = -6*n(d) + 11*z(d). Let x be c(-1). Suppose -4*r + x = -47. Is 4 a factor of r?
False
Suppose 6*u - u = -15. Is ((-30 - -3) + 3)*19/u a multiple of 8?
True
Let y(a) = -682*a - 148. Does 26 divide y(-3)?
True
Suppose 11*x - 7*x = 4*u - 696, 0 = -5*u - 2*x + 849. Does 3 divide u?
True
Let k(y) = y**3 - 6*y**2 + 7*y + 4. Is 4 a factor of k(6)?
False
Let w be 3 + -8 - -2*1. Let z(c) = -12*c + 7. Is z(w) a multiple of 14?
False
Suppose -3*v - 4 = 5. Let d be 2/v*(-3 - -6). Let c(r) = -16*r - 3. Is 13 a factor of c(d)?
False
Suppose -12 = -4*o, 4*d + 5*o = o + 76. Suppose 18*p - 16 = 16*p. Suppose p = 2*l - d. Is l a multiple of 6?
True
Suppose 0 = 4*v - 5 - 227. Suppose t - v = 89. Let c = t + -67. Does 37 divide c?
False
Suppose 4*f - 1701 = -y, 26 - 6 = 4*f. Does 52 divide y?
False
Suppose -4*t + 3*j = -368, 0 = -t + 2*j + 2*j + 105. Suppose -5*w = -4*d + 111, 2*w = -4*d + d + t. Does 17 divide d?
False
Let u(b) = -35*b**3 + 2*b**2 + b. Is u(-1) a multiple of 6?
True
Suppose 0 = o - t + 41 + 67, 0 = 3*o + 4*t + 359. Let u = o - -162. Is 36 a factor of u?
False
Suppose d + 0*d = 4. Suppose d = 2*n - 2. Does 24 divide (0 + n)*(-2 - -18)?
True
Let m(p) = p**3 + 5*p**2 - 7*p - 12. Let c be m(-6). Let q(u) = 2*u**2 + 5*u + 12. Does 9 divide q(c)?
True
Let y be (22/2)/(-1 + -1 + 3). Suppose -p = -3*q + 1 - y, -p - 2*q + 20 = 0. Is p a multiple of 3?
False
Suppose -12*z - 2 = -13*z. Suppose -z*u = s - 8 - 1, -2*s + 38 = -u. Let h = -3 + s. Does 10 divide h?
False
Suppose -34 = 6*h - 4. Let n(v) = v + 12. Let j be n(h). Suppose -j = -2*m + 1. Is m a multiple of 2?
True
Let r = 45 + -18. Suppose -4*j + 212 = 3*v + r, 5*j - 226 = -2*v. Does 3 divide j?
False
Let p(x) = -x**3 - 2*x**2 - x + 1. Let u be p(-2). Suppose u*y = 40 + 23. Is 20 a factor of y?
False
Suppose 0*l + 4*l = 4. Let v be l*0/(3/1). Suppose -4*d - i + 91 = v, 0 = d + 4*i + 3 - 22. Does 23 divide d?
True
Let r(i) = 4*i + 4. Let u be r(4). Let a = 85 + u. Let z = -56 + a. Is z a multiple of 9?
False
Let m(l) = 6*l**3 + l - 1. Let g be m(1). Let i be ((-4)/(-7))/(g/42). Is 17 a factor of 62/(i*4/24)?
False
Let y be (-2)/(-6) + (-409)/3. Let c = y + 251. Is c a multiple of 23?
True
Let s = -572 + 3578. Is s a multiple of 57?
False
Let y(g) = -71*g**3 + 6*g**2 + 2*g - 6. Is 55 a factor of y(-2)?
False
Let t(r) = -2*r**2 + 4*r - 14*r**3 - r - 3*r. Let g be t(2). Let s = 171 + g. Is s a multiple of 17?
True
Suppose 6 = -2*u + o, u + 4*o = -o - 25. Let t = 44 - u. Does 28 divide 14/t + 586/7?
True
Let a = 684 + 1428. Does 11 divide a?
True
Let g(h) = -3*h**3 - 36*h**2 - 24*h. Does 18 divide g(-14)?
True
Let q(b) = b**3 + 8*b**2 - 9*b + 4. Let w be q(-9). Suppose 0 = w*g + 14 + 38. Let m(u) = -u**3 - 12*u**2 + 12*u + 6. Is 15 a factor of m(g)?
False
Let b = 2787 - 1482. Does 45 divide b?
True
Suppose 2*t - 3*t + 3*s = -21, -5*s = 20. Let g = -7 + t. Suppose -g*l + 48 = -2*k, -107 = -3*l - 3*k - k. Is 29 a factor of l?
True
Let m be ((-86)/8)/((-11)/44). Let f = 138 - m. Does 19 divide f?
True
Suppose 10*h = -27*h + 6993. Is 11 a factor of h?
False
Let p be (-1 + 8 - 4)*(-4)/6. Is 22 a factor of (-123)/(-2) + p - (-21)/(-14)?
False
Does 18 divide (-4*18/20)/(7/(-420))?
True
Let k = 16 + -12. Let g be -4*((-8)/k + 6). Let i = 13 - g. Is i a multiple of 19?
False
Let q be (6/(-12))/((-2)/8). Suppose 0*x - 2*h = 5*x, 3*h = q*x. Let a(w) = w**2 + w + 36. Is a(x) a multiple of 28?
False
Suppose -3*c + 2*c = 3*g - 163, 5*g - 4*c = 283. Does 18 divide g?
False
Let v = -12 + -8. Let j = v + 23. Suppose 184 = j*r + 55. Is 12 a factor of r?
False
Suppose -3*c - a + 7 + 2 = 0, 3*c = -4*a. Is 26 a factor of (-37 - 2)/((-6)/c)?
True
Suppose 0 = 4*h + 5*h - 18. Suppose -38 = -h*n + 2. Does 2 divide n?
True
Let a = -224 + 264. Is 2 a factor of a?
True
Let z be (-8)/(2*(2 - 3)). Suppose -17 = 3*h - z*y, -5*y - 1 + 5 = 2*h. Is 7 a factor of ((-51)/h)/1 + 4?
True
Let a(y) = 3*y + 1. Let f be a(-3). Let s be ((-27)/(-18))/((-3)/f). Suppose s*n = -n - 3*w + 150, n - 4*w - 7 = 0. Is n a multiple of 9?
True
Let u be 4 + (-5 - -2) + 2. Let c be (-2 + u)*(15 - 2). Let m = 34 - c. Is 5 a factor of m?
False
Let d(k) = -2*k**2 + 75*k - 70. Is 95 a factor of d(30)?
True
Suppose 11*c + 177 = 1112. Suppose -c = -3*k + 17. Does 17 divide k?
True
Suppose 4*l + 26 = 2*l. Let t = 7 - l. Does 3 divide t?
False
Suppose -480 = -5*i + 545. Is i even?
False
Suppose -4*i = -2*i. Suppose i = -5*p + 25 - 5. Suppose -t = 2*n - 46, 5*t = -p*n + 93 + 167. Is 19 a factor of t?
False
Suppose 14*g - 26*g = -252. Is 3 a factor of g?
True
Let k(t) = -2*t - 12. Let y be k(-9). Suppose y = -2*m, b + m - 45 = -2*m. Does 7 divide b?
False
Let p be 1 + (0/5)/1. Does 2 divide 3/(-6 + 7) + p + 1?
False
Let z be 1/((3/15)/1). Suppose -z*c = -0*c - 410. Suppose -3*q = -4*v - c, -3*q - 4*v = -2*q - 38. Is q a multiple of 6?
True
Let y(u) = 4*u**2 - 9*u. Let b(n) = -n**2 + n - 1. Let v(f) = -f**2 - 5*f - 1. Let g be v(-5). Let m(s) = g*y(s) - 3*b(s). Does 4 divide m(5)?
True
Suppose 0 = 5*z + 4*i - i - 4, 2*z - 4*i - 12 = 0. Suppose 7 - 25 = z*d. Is 8 a factor of (-3)/d - 94/(-6)?
True
Let y(z) be the first derivative of 2/3*z**3 - 1/2*z**2 - 6*z - 1. Is 17 a factor of y(6)?
False
Let x be ((-15)/(-9))/(3/9). Suppose 0 = -5*s - 20, -2*n - x*s = -4*n + 2. Is 16 a factor of (-6)/n + 332/6?
False
Does 6 divide (28/16)/((-580)/(-576) - 1)?
True
Let k be (29*(-1)/2)/((-3)/6). Suppose -756 = k*q - 36*q. Does 12 divide q?
True
Let c(m) = 2*m + 810. Let d be c(0). Suppose -d = -6*v - 3*v. Does 30 divide v?
True
Suppose w + 5*x + 26 = 0, 0*x - 19 = -w + 4*x. Does 19 divide 170/(-4)*w*2?
False
Let i = -74 + 74. Suppose i = -2*o + 121 + 45. Is o a multiple of 30?
False
Let h be 288/27*(-186)/(-4). Suppose -3*b = 5*p - h, -b - p + 834 = 4*b. Is 15 a factor of b?
False
Let r = 779 - 433. Is r a mul