*v - 4*v. Suppose -n + 40 = -2*r + 7*r, 0 = 2*n - 2*r - 20. Let q = p - n. Is 2 a factor of q?
True
Let i(w) = -w**2 + w + 1. Let x(s) = 32*s**2 - 3*s - 4. Let z(d) = -2*i(d) - x(d). Let r be z(-4). Does 9 divide (-10)/(-45) + r/(-18)?
True
Let h(u) = -8 + 2*u**2 + 160*u - 160*u - 3. Is h(5) a multiple of 13?
True
Let h(t) = 2*t + 19. Let o(q) = -2*q - 20. Let p(w) = -2*h(w) - 3*o(w). Does 5 divide p(-7)?
False
Let c(z) = 6*z + 8. Let m(v) = -7*v - 9. Let k(t) = -4*c(t) - 3*m(t). Is 8 a factor of k(-23)?
True
Let q = 2 + 1. Suppose -n + 4 = 2*w, 0 = -3*w + 3*n - n + 20. Suppose -d = -z - 28, -8*d + 142 = -q*d - w*z. Is d a multiple of 15?
True
Let j(l) = -111*l - 7. Let b be j(-5). Suppose -2*w = -6*w - b. Let t = -34 - w. Does 26 divide t?
False
Let j(v) = 32*v + 6. Let n be j(3). Let u = n + -54. Is 24 a factor of u?
True
Suppose 194 + 292 = u + 3*z, -2*z + 1465 = 3*u. Let q = u + -268. Is q a multiple of 17?
True
Let n(v) = v**2 + 4*v + 6. Let i be n(-6). Is ((-4)/i + 1719/81)/1 a multiple of 7?
True
Let l = -271 + 408. Suppose 2*a - l - 145 = 0. Is 14 a factor of a/2 + (-4)/8?
True
Let s = -199 + 303. Does 8 divide s?
True
Suppose -8*m = 12*m - 3360. Does 24 divide m?
True
Let f(v) = -2*v - 7. Let n be f(-5). Suppose 0 = -n*j + 8*j - 15. Is 1*j - (1 - 2) a multiple of 2?
True
Let v be -708*((0 - -4) + -5)*-1. Let h = 998 + v. Is h a multiple of 29?
True
Suppose 5*j = -4*r - 8, -5*j - r - 10 - 7 = 0. Let l(h) = -12*h - 6. Is l(j) a multiple of 29?
False
Let o be 1/4 - (45/20 + -6). Let k = -4 - -4. Suppose -6 = 2*g - o*d - 54, k = d + 3. Does 6 divide g?
True
Let i(m) = -739 + 4*m - m**2 + 765 + 0*m**2. Is i(0) a multiple of 4?
False
Suppose 78*z + 756 = 105*z. Is z a multiple of 7?
True
Let p = -2415 + 3283. Is p a multiple of 62?
True
Let a = -435 + 707. Is 8 a factor of a?
True
Suppose -7 = 4*g - x + 14, 2*x - 2 = 0. Does 15 divide (-125 - -1)*g/10?
False
Suppose 6*i - 337 = 473. Is 5 a factor of i?
True
Suppose -2*v = 8, -15*j + 5*v + 160 = -13*j. Is 10 a factor of j?
True
Suppose -d - 5 + 1 = -2*k, 3*k - 3*d - 12 = 0. Suppose -2*p + 40 + 16 = k. Is p a multiple of 14?
True
Suppose -4*i = 2*s - 0*s - 38, -2*s - i = -44. Suppose 6*a - s - 61 = 0. Is a a multiple of 5?
False
Let i = -878 - -1344. Does 6 divide i?
False
Let b(o) = o**3 - o - 52. Let x be b(0). Let g be x/(16/(-4))*1. Let h(v) = 3*v - 14. Does 13 divide h(g)?
False
Let c(g) = g**3 - 15*g**2 - g + 11. Let v be c(15). Let n = v - -7. Suppose -3*t - 51 = -3*y, -y + n*t = 8*t - 41. Does 7 divide y?
True
Suppose 2*j = 6 - 4. Suppose -9 = -5*f + j. Does 10 divide f/(232/(-60) - -4)?
False
Suppose -13748 = -3*q + 2*b - 1142, 0 = -2*q - b + 8397. Does 9 divide q?
False
Let d = 527 + -527. Let t(c) = 18*c - 1. Let l be t(2). Suppose -2*g - 8 = 0, f + 0*f - 3*g - l = d. Does 5 divide f?
False
Let v be ((-134)/6)/(2/(-30)). Suppose -4*f + v - 73 = 3*p, -3*p = -4*f + 250. Does 15 divide f?
False
Suppose 129 = 3*f + 5*t, -f + t + 147 = 2*f. Let q = 144 - f. Is q a multiple of 12?
True
Let k be 32/(-6)*(-3 - 9/(-12)). Let r(g) = -g**3 - 7*g**2 + g + 2. Let m be r(-7). Let f = m + k. Does 4 divide f?
False
Let u(i) = i**2 + 9*i. Let q(w) = w**2 + 9*w. Let b(o) = -4*q(o) + 3*u(o). Let h(d) = -d**3 + 5*d**2 + 5*d - 1. Let r be h(6). Is 14 a factor of b(r)?
True
Is (-857)/(-15) + (-4 - 290/(-75)) a multiple of 12?
False
Suppose -r + 2*r + 12 = 0. Let y(o) = -o**3 - 13*o**2 - 14*o + 6. Is 15 a factor of y(r)?
True
Let b = 986 + -511. Is 5 a factor of b?
True
Let z(r) = -r**3 + 11*r**2 + 14*r - 10. Suppose 0 = 5*m - 5*g - 3 - 2, -g - 1 = -2*m. Suppose d - 1 - 11 = m. Is 9 a factor of z(d)?
False
Let d be 4/6 - (-64)/12. Let m be (-279)/d + (-1)/(-2). Let p = 94 + m. Is 14 a factor of p?
False
Let a(v) = 5*v - 11. Let p be a(-9). Let l be (-8)/p - (-1)/(-7). Suppose 132 = -l*u + 4*u. Does 11 divide u?
True
Let q(z) = 18*z + 5. Let k be q(-11). Let c = 285 + k. Does 23 divide c?
True
Let o = 7 + -3. Suppose -o*h = h - 155. Suppose w - 9 - h = 0. Is w a multiple of 14?
False
Let c = 3306 + -783. Is 101 a factor of c?
False
Suppose 2*o + 5*t = 1089, t = 4*o + 5*t - 2148. Is o a multiple of 17?
False
Suppose 9*q = -876 + 2433. Is 27 a factor of q?
False
Suppose 5*o - 4*h - 1463 = 0, -4*o + 1192 = -0*o + 4*h. Suppose o - 100 = 3*c. Is c a multiple of 20?
False
Let w = -860 - -1217. Does 31 divide w?
False
Suppose 4*t + t = 10. Suppose -6 = -t*p - 2*b, -7*b - 4 = -4*p - 3*b. Suppose 9 = 5*f - p*f. Is f a multiple of 2?
False
Let z(i) = i**2 + 6*i + 3. Let v be z(-5). Let b be 813/9 + v/6. Let j = -37 + b. Does 13 divide j?
False
Suppose 0*f + 2*j = 3*f - 764, 3*f - 3*j = 768. Let l = f - 147. Is l a multiple of 35?
True
Suppose -8*v = 10*v - 17010. Is v a multiple of 15?
True
Suppose 4*m - 2*f - 242 = m, 2*m = -4*f + 156. Suppose m*r - 816 = 76*r. Does 16 divide r?
False
Let m = -999 + 1699. Does 10 divide m?
True
Let m(j) = j**3 + 19*j**2 - 2*j - 18. Let a be m(-19). Suppose -a = -5*d, p + 3*p = 4*d + 556. Is p a multiple of 13?
True
Suppose 3225 = 2*g - b, -32*g = -29*g - b - 4837. Is g a multiple of 55?
False
Let h = -7 + 23. Suppose -w - w + 56 = 4*m, 4*m - h = 0. Is w a multiple of 10?
True
Let j = 21 + 49. Suppose 5*k = 85 + j. Is 9 a factor of k?
False
Let w be (0 + 2)/2 - -8. Let h(z) = z**3 + 3*z**2 - 10*z - 20. Let v be h(-4). Does 13 divide w - (0/4 - v)?
True
Let m(a) = -5*a + 206. Is 8 a factor of m(11)?
False
Let l be 2 - 2 - -36 - -4. Is 19 a factor of (-2)/(-5) + 4584/l?
False
Let u be (1 - 42) + 14 + -15. Let x = u - -73. Is 31 a factor of x?
True
Let y be 3/(3/(-7)) - -1. Let r be (-506)/(-34) - 26/(-221). Let i = r + y. Is i a multiple of 9?
True
Suppose 680 = 7*q - 1280. Is q a multiple of 6?
False
Let p be (1*48)/((-16)/(-96)). Is (1/3)/(-4*(-2)/p) a multiple of 5?
False
Suppose 0 = -2*s - 5 - 1, -z = 4*s + 10. Suppose z*m + m = 12. Suppose 0 = -m*d + 5*a + 187, a = d - 3*d + 97. Is d a multiple of 10?
False
Suppose 5*k = 2*u + 615, -3*k + 5*u + 215 + 154 = 0. Is k a multiple of 17?
False
Let a = 23 - -33. Suppose -a = -5*f + 344. Is f a multiple of 27?
False
Let v(k) = -74*k + 335. Is v(-42) a multiple of 23?
False
Suppose 0 = -l + 31 - 11. Suppose x + l = -x. Let q(j) = -7*j - 4. Is q(x) a multiple of 11?
True
Let n = 51 - 30. Suppose -974*t = -975*t + 27. Suppose g - n = t. Is g a multiple of 24?
True
Let a = 8 - 19. Let u = 14 + a. Suppose 4*d = -4*g + 168, -u*g - 14 + 138 = 2*d. Is 10 a factor of g?
True
Let q = -11 - 8. Let l = -9 - q. Is 10 a factor of l?
True
Suppose 618*h - 960 = 608*h. Does 4 divide h?
True
Let b = -14 - -18. Suppose 4*w = -b*j + 52, 4*w + 5*j - 33 = 20. Is ((-4)/w - 0)*-30 a multiple of 5?
True
Suppose 20847 = 21*b - 19221. Is 18 a factor of b?
True
Let y = 98 + -62. Suppose 6*x - 2*x = -c - 46, 2*x + 140 = -5*c. Let j = c + y. Is j a multiple of 9?
False
Let t = 104 + -104. Suppose 7*b - 1164 - 383 = t. Is 17 a factor of b?
True
Let b = -1 + 13. Suppose -b = l + 2*l. Let q = l + 11. Does 7 divide q?
True
Let z = -986 + 1613. Does 57 divide z?
True
Let t be -56*5/((-5)/3). Let m = t + -56. Is 14 a factor of m?
True
Suppose 1734 = 2*a - 3*x, -4*x = 4*a - 8*x - 3464. Is 16 a factor of a?
True
Suppose 1 = -3*t + 16. Suppose -3*x - 5*o = 0, -t*x = -2*x - o. Suppose x = 5*h - 55 + 15. Does 8 divide h?
True
Let a(b) = -5*b + 1. Let s be a(-2). Let h(z) = s*z**2 + 4*z + 104*z**3 - 105*z**3 - 4 + 0*z. Does 20 divide h(11)?
True
Suppose 0 = -2*z + 2*m + 2952, -12*z + 5*m = -15*z + 4396. Is 16 a factor of z?
True
Suppose w = 658 + 1679. Is w a multiple of 62?
False
Let q(p) = p**3 + 15*p**2 + 12*p - 18. Let a = 11 - 9. Suppose 13 = a*k + 41. Is q(k) a multiple of 10?
True
Suppose 0 = -2*y - 2*q - 52 + 188, -2*y + 138 = 4*q. Is y even?
False
Let s be (-1*(-2)/(-3))/(6/279). Let i = s + 68. Does 7 divide i?
False
Let t(g) = 22*g - 4. Is 12 a factor of t(6)?
False
Let u(m) = -m**2 + 27*m + 62. Does 43 divide u(22)?
True
Is 18 a factor of 4/10 - 11/(605/(-213873))?
False
Suppose -415 - 6809 = -21*r. Is 9 a factor of r?
False
Let v(q) = -2*q**3 + 32*q**2 + 35*q + 65. Is v(16) a multiple of 19?
False
Let b be (-117)/(-18)*(-2)/1. Let q = 26 + b. Is 13 a factor of q?
True
Let s = 1486 - 881. Suppose -44 = -4*k - 4*j - 12, 3*k + 2*j = 21. Suppose s = k*h + 135. Doe