 Suppose l*o = -15 - 1. Is 1 - (0 - -1)*o a multiple of 5?
True
Let m be (4/(16/44))/1. Suppose m = -2*f + 45. Let p = f - -5. Is 22 a factor of p?
True
Suppose 0 = -x + 3 - 0. Suppose -2*d - 5680 = x*d. Is 20/(-25) + d/(-20) a multiple of 14?
True
Let i = -1 - 4. Let o(n) = -33*n**2 + 7*n - 5 + 19 + 34*n**2. Is o(i) a multiple of 4?
True
Suppose -971 = -8*d + 2669. Is 13 a factor of d?
True
Let o(v) = -v**3 - 6*v**2 + 2. Let p be o(-6). Suppose 0 = p*f - 229 - 19. Suppose 5*b - f = 46. Is 13 a factor of b?
False
Suppose 3*g + t = -3*t + 2, 0 = -3*g + 3*t + 9. Suppose -g = -w, r - 2*w = 2*r - 20. Let z = r + -10. Is z a multiple of 6?
True
Let n(y) = -18*y**3 - 2*y**2 - 42*y - 129. Is n(-3) a multiple of 11?
False
Let h be (-2)/(((-20)/45)/(-2)). Is (5 + h)*(-27 - 1) a multiple of 13?
False
Suppose 0*r = -r. Suppose 4*i = -r*i + 4. Suppose -j = -6 - i. Is 6 a factor of j?
False
Let d(v) = -13*v + 8. Let r = -48 + 44. Is 15 a factor of d(r)?
True
Suppose -m + 3*m = 10. Let h = m - 2. Suppose -h*s - b = -62, -2*s + 4*b - 6*b = -36. Is 18 a factor of s?
False
Suppose -9 = 4*d - 17, -2*k = d - 80. Is 10 a factor of k?
False
Does 4 divide 30*(-13)/((-455)/84)?
True
Suppose 2*q - q = 5, 0 = -2*k + 4*q + 4. Is 2 a factor of k/3 - (-2 - -2)?
True
Suppose 5*h + 5*m = 3*h + 428, 2*h + m = 444. Suppose 0 = -p - 3*l + 136, -2*p + 38 = 4*l - h. Does 11 divide p?
True
Let v = 368 + -219. Does 3 divide v?
False
Let a(z) = z**2 - 7*z - 36. Let l be (-2)/(141/(-45) - -3). Is a(l) a multiple of 21?
True
Suppose 4*z - 2*t - 265 = -t, 4*t + 20 = 0. Is z a multiple of 31?
False
Let g = -132 + 134. Suppose -7*t - 4*l + 378 = -g*t, -l = 3. Is 10 a factor of t?
False
Let s(x) = 1 - 10 - 1 + 3*x + x. Let m = -5 + 9. Is 6 a factor of s(m)?
True
Let g = -2 - -4. Suppose 3*b - 3 = g*i, -3*i + 4*i - 4*b = -9. Suppose h - 54 = 5*m - i*m, 153 = 3*h - 3*m. Is 12 a factor of h?
True
Suppose -98*x = -101*x + 2790. Is x a multiple of 21?
False
Let a be (6/15)/((-2)/(-250)). Let w be 38/(-133) - 156/(-7). Suppose -3*y + w + a = 3*s, 3*s = 2*y - 43. Is y a multiple of 8?
False
Let q(c) = -c**3 - 5*c**2 - 3*c + 7. Let a be q(-4). Suppose w = 6*n - 2*n + 45, -310 = -5*w + a*n. Is 23 a factor of w?
False
Let c be (0 - (-4)/(-12))*-3. Let w be 0/(c + 1) - -196. Suppose 222 = 4*f - 2*d, -4*f - 3*d + w + 31 = 0. Is f a multiple of 14?
True
Let m(t) = 22*t**3 - t**2 - t + 1. Let h(o) = -o**2 + 3*o + 5. Let y = 1 + 3. Let x be h(y). Is 20 a factor of m(x)?
False
Let a = -58 + 58. Let f(y) = -y**2 + 3*y + 24. Does 12 divide f(a)?
True
Let u(r) = -2*r**3 - 16*r**2 + 17*r - 5. Let s be u(-9). Suppose 4*f - 1244 = s*w, 5*f + 3*w = -2*w + 1555. Is 17 a factor of f?
False
Suppose -2*q + 6*q - 248 = 0. Suppose -7*d = -5*d - q. Is d a multiple of 11?
False
Let k(y) = -79*y**3 + 1. Let h = -21 - -8. Let n = -14 - h. Is 37 a factor of k(n)?
False
Suppose -n + 2*u = -1141 + 13, 4*u + 16 = 0. Is n a multiple of 14?
True
Let f = 14 - 10. Suppose -139 + 15 = -f*m. Is 7 a factor of m?
False
Let z = 4 - 1. Suppose 0 = 5*x - 2*s - 13, -2*x - z*s = -3*x. Is 13 a factor of 21 + (-9)/x + 3?
False
Let b(t) = 3*t**2 + 3*t - 10. Let v(m) = -4*m**2 - 4*m + 9. Let q(d) = -3*b(d) - 2*v(d). Let x = -2 - -2. Is 3 a factor of q(x)?
True
Suppose 0 = 8*s - 2606 + 254. Does 21 divide s?
True
Suppose 1250 = 4*g - 382. Does 24 divide g?
True
Let w(f) = f**2 + 13*f + 11. Let y(a) = a**2 + 14*a + 11. Let m = -1 - -4. Let o(x) = m*y(x) - 4*w(x). Is 2 a factor of o(-8)?
False
Suppose 7*f = -3*f + 30. Suppose 2*s - 4 = -2*v, 3*v + 4 = 4*s - 2*s. Suppose -2*l = -4*n - v*n + 74, -23 = -f*n - 5*l. Does 16 divide n?
True
Let o(y) = 2*y - 15. Let f be o(0). Let z = f - -12. Does 7 divide (11 - 4)/((-1)/z)?
True
Suppose -15 = -2*n - 3*k, -5*n + 1 = -4*k - 2. Suppose 0 = -5*l - 5*i + 170, 2*l - n*i = 4*l - 65. Is 2 a factor of l?
False
Suppose f - w = -193 + 606, -4*w = 5*f - 2092. Is 16 a factor of (-2)/6 + f/6?
False
Suppose t - 4*s = -3*t + 12, 0 = s - 3. Let f(w) = 3*w**2 + 17*w - 21. Is 7 a factor of f(t)?
True
Let i be (7 - (3 - -76))/(4/(-90)). Suppose -31*o + 37*o - i = 0. Is o a multiple of 18?
True
Let o be ((-1)/3)/(4/(-876)). Suppose 0 = -2*g + 107 + o. Suppose 3*x + 84 = 2*c - 82, -5*x = -c + g. Does 23 divide c?
False
Let j(g) = -g**2 - 4*g - 1. Let y(z) = 2*z + 8. Let x be y(-5). Let n be j(x). Suppose -4*v + 20 = -3*v - n*b, 0 = -v - 2*b + 10. Is 14 a factor of v?
True
Suppose -3*z = -5*f - 34, 3*f + 2 = -4*z - 1. Does 23 divide 2/(-2) + f/((-25)/285)?
False
Suppose 3*r + 3*q = 1461, 2*q - 1 = q. Does 18 divide r?
True
Let p be 0 - (-2)/4 - (-164)/8. Suppose 2*x - 201 = -p. Is 10 a factor of x?
True
Suppose 5*n - 36 - 169 = 0. Let j = 192 + n. Is 10 a factor of j?
False
Let p(r) = -r**2 - 11*r + 14. Let y be p(-12). Is (2/((-20)/85))/((-1)/y) a multiple of 6?
False
Let j = -119 - -257. Suppose 0 = 8*n - 422 - j. Does 20 divide n?
False
Let l(t) be the first derivative of -t**4/4 + 8*t**3/3 + t**2/2 + t + 4. Let v be l(8). Let j = v - -5. Is j a multiple of 11?
False
Let n be ((-6)/(-4))/(1/2). Suppose n*s - 2*y - 38 = 40, 2*y = 4*s - 106. Is s a multiple of 14?
True
Let c = 155 - 139. Is 6*((-16)/(-3) + c/24) a multiple of 2?
True
Let r be (27/(-1))/1*3. Let f = -67 - r. Does 14 divide f?
True
Suppose -11*s + 9*s + 2814 = 4*p, 2*s + 3*p = 2814. Is s a multiple of 22?
False
Let y(b) = b**2 + b - 7. Suppose 5*u - 3*v = -6*v - 36, v = -4*u - 33. Is y(u) a multiple of 11?
False
Let g(o) = 43*o + 208. Is 8 a factor of g(8)?
True
Suppose -5 = 3*y - 353. Let n be 4 + -1 - ((2 - 2) + 0). Suppose -5*t = j - 139, -n*j + y = 4*t - 4. Is 9 a factor of t?
True
Let c = -204 - -230. Is c a multiple of 5?
False
Let w = 9 + 9. Let c = -10 + w. Is c a multiple of 4?
True
Let u be 4/(-10) - 243/(-45). Suppose 0*a = -u*a + 15. Suppose a*f + 28 = 5*f. Is 11 a factor of f?
False
Let x = -93 - -613. Does 6 divide x?
False
Let n = -232 - -568. Is n a multiple of 24?
True
Suppose 0 = 5*k - 5*f + 10, 0*f - 14 = -k - 3*f. Suppose j = -3, 5*z = -k*j - 2*j + 58. Let x = z - 7. Is x a multiple of 7?
True
Let x(i) = -i**3 + 7*i**2 + 10*i - 16. Let z be x(8). Let h be 1/(-2 + (-27)/(-12)). Suppose 3*c - 148 = -c + h*s, z = 3*c + 2*s - 106. Is c a multiple of 18?
True
Suppose 4*h = -3*x + 1420, -5*h = 15*x - 17*x - 1752. Is h a multiple of 22?
True
Let s = 377 - -13. Does 30 divide s?
True
Suppose 651 = -18*d + 7059. Is 26 a factor of d?
False
Let z(f) = -12*f - 4. Let s be z(11). Let c = s - -73. Let l = -29 - c. Is 8 a factor of l?
False
Suppose 5*p + 3*r + 20 = -0*r, -4*p - 43 = -3*r. Suppose 0 = 7*q - 110 + 453. Does 6 divide 2/p + (-1141)/q?
False
Let d = 30 + -15. Suppose -18*l = -d*l - 72. Is l a multiple of 11?
False
Suppose 3780 = 18*t + 9*t. Does 28 divide t?
True
Suppose 0 = -5*o + 4 + 21. Suppose -3*s + o*t + 589 = 113, 0 = 5*s + 4*t - 818. Does 27 divide s?
True
Let g(h) = -28*h - 92. Is g(-13) a multiple of 34?
True
Suppose 0 = 2*n + 7*k - 4*k + 18, 4*n + 3*k + 24 = 0. Let q = n + 5. Suppose 2*m = -2*p + 130, 81 = m - 5*p + q*p. Is m a multiple of 23?
True
Suppose 0 = k + k + 2*d - 6, 4*k - 5*d = -24. Let h be k*54/(-1)*5. Suppose -5*c - 60 = -h. Does 11 divide c?
False
Let u = 984 + -550. Is u a multiple of 56?
False
Is (-30)/(-24) + 4550/8 a multiple of 30?
True
Let i = -337 + 605. Is i a multiple of 23?
False
Let y = 2134 - 1395. Is 11 a factor of y?
False
Suppose 10*m + 384 = 84. Let a = -2 - m. Does 14 divide a?
True
Is 21 a factor of 2/(4/6)*(767 + 248)?
True
Suppose 3*i - 24 = i. Is (-12)/4*i*4/(-2) a multiple of 17?
False
Let t be (6/(-4))/(24/32). Is 13 a factor of t/9 + 980/36 - 1?
True
Suppose 68*f - 25*f - 31218 = 0. Does 75 divide f?
False
Let r = -221 - -139. Let d = r + 174. Is 6 a factor of d?
False
Suppose -7*d - 197 = 237. Let o = d - -114. Suppose -2*x + o = 2*m, -5*x - 3*m = m - 130. Does 7 divide x?
False
Suppose -4*x + 4*i = -i - 61, -3*x - 2*i + 63 = 0. Suppose -20 = x*y - 23*y. Suppose -5*b = c - 35, 2*c - 3*b - y = -0*c. Is c a multiple of 10?
True
Is 38 a factor of (-224)/(-21)*(-11)/(22/(-48))?
False
Suppose 5*y - o = 6934, -2*y + 1382 = -y + o. Does 77 divide y?
True
Let z(o) = -4*o + 44. Let v(m) = -5*m + 43. Let u(b) = -5*v(b) + 6*z(b). Is 7 a factor of u(0)?
True
Let p(o) = 223*o + 8. Let a be p(-1).