et d be z(-11). Suppose -d*i = 2*m - 2588, -5*m - 41 = -31. Is 72 a factor of i?
True
Suppose 543 = -4*f + 1323. Let w = -13 + f. Is 9 a factor of w?
False
Suppose -78*y = -86*y + 5688. Suppose 0 = 713*t - y*t - 1104. Is t a multiple of 12?
True
Suppose 2*p = -37 + 47. Suppose 0 = 3*h - 0*n + 5*n + 18, 0 = p*n. Does 14 divide 2/3 - (3 + 518/h)?
True
Suppose -2*a - 87789 = -15*a - 26*a. Does 10 divide a?
False
Let l = 7073 - 1637. Does 6 divide l?
True
Suppose 5*f - 11 - 10 = -j, 0 = 3*f - 2*j - 10. Suppose 27 = f*y + 3. Suppose -y*t = 4*t - 1660. Does 32 divide t?
False
Suppose 0 = 2*r + 4*t - 20, 3*r + r - 28 = -2*t. Suppose -47 = -r*k + 19. Let g = k + 76. Is 21 a factor of g?
False
Let j(q) = -41954*q**3 + q**2 + 107*q + 106. Is j(-1) a multiple of 28?
False
Suppose -14*n + 3 = -13*n. Suppose -4*a - 29 - 19 = -n*y, -3 = -a - 3*y. Let l = 50 + a. Is 18 a factor of l?
False
Let b = -69 + 102. Let y = 12 - b. Let r = y + 66. Is 14 a factor of r?
False
Let i(u) = 80*u**2 + 520*u + 5256. Is 19 a factor of i(-10)?
True
Let i be (-3 - 138/14)*-7. Suppose s - r = i, 253 + 93 = 4*s + 3*r. Is s a multiple of 2?
True
Let i(z) = -12*z - 48. Let n be i(-4). Suppose -2*r + 3362 - 1022 = n. Is 9 a factor of r?
True
Let n(q) be the first derivative of 2/3*q**3 - 3*q + 1/4*q**4 + 2*q**2 - 10. Is n(3) a multiple of 23?
False
Let k = -3170 + 3571. Does 20 divide k?
False
Let q(h) = -h**2 + 11*h + 13. Let g be q(12). Let d(i) = 46*i**2 - 2*i + 2. Let u be d(g). Let l = u - 11. Does 35 divide l?
True
Let w = 74635 + -37145. Is w a multiple of 16?
False
Let d = 298 + -123. Suppose 3 = -3*v + 3*n, -4*n + 8 = -8. Suppose t = 3*o + v*t - 505, -t - d = -o. Is o a multiple of 20?
False
Suppose 0 = 95*j - 78*j - 799. Suppose -5*u + 3*z = -0*z - 396, 0 = 2*u - 3*z - 162. Let s = u - j. Is s a multiple of 4?
False
Suppose -2*d + 4*d = 4*b + 18, 4*b = d - 19. Let k be d/(130/(-43) - -3). Let u = 90 - k. Does 10 divide u?
False
Let z be (0 - 1) + 2 + (-136)/34. Let i be (1 + 7)*(z - -21)*-1. Is 27 a factor of (i/28)/((-10)/105)?
True
Suppose -5888 = -r - 4*a, 3*a + 2*a = r - 5960. Does 29 divide r?
False
Let z = 5655 + -2096. Is z a multiple of 12?
False
Suppose -3*n - 5*j + 51 = 0, 9*n - j - 21 = 7*n. Suppose 19*v - 595 = n*v. Is v a multiple of 17?
True
Let d be (12/18)/((-2)/(-963)). Let w = 122 - d. Let v = -64 - w. Is v a multiple of 27?
True
Suppose -7*u + 33 = 33. Suppose 0 = -w + n + 3 - 2, u = 4*w + 3*n - 39. Does 3 divide w?
True
Suppose -15*k + 19*k - 5*n - 2763 = 0, -4*n = -5*k + 3447. Let v = -157 + k. Is 5 a factor of v?
True
Suppose 0 = 3*b - 4*j - j + 113, -82 = 2*b - 2*j. Let m = b + 90. Does 11 divide m?
True
Suppose 7*l - 95 = -12*l. Suppose -2*w + 3*p + 195 = 0, 4*w - 308 - 27 = -l*p. Does 18 divide w?
True
Let n(s) = -3*s - 2*s**2 - 2*s - 61*s**3 - 2 + 2*s. Let a be n(-1). Suppose -d + 5*d = a. Is 15 a factor of d?
True
Let h = 27423 - 27175. Is h a multiple of 2?
True
Suppose 9*b - 8*b + 3*v = 5092, -v + 20357 = 4*b. Is 7 a factor of b?
True
Let l(u) = -5*u - 49. Let m be l(-6). Let b = m + 36. Suppose b - 177 = -z. Is 40 a factor of z?
True
Let b(m) = 29*m - 423. Let w be b(15). Let z(y) = y + 288. Is z(w) a multiple of 25?
True
Suppose 0 = 3*g - 5*u - 54214, -3*g + 44089 = 3*u - 10133. Is g a multiple of 18?
False
Let c be (-4)/(-14) - 288/(-21). Suppose 2*g - 2*m = 2*m + c, 5*m = -20. Let i(z) = -41*z + 3. Is i(g) a multiple of 22?
True
Suppose 104*a = 146*a - 24221 - 10765. Is a a multiple of 17?
True
Suppose 3254 = -12*p + 9974. Suppose -219 = -2*j - 5*y + p, 4*y = -5*j + 1990. Is j a multiple of 35?
False
Is -2*1 + ((-8)/10 - 681252/(-390)) a multiple of 8?
True
Let n(t) = 105*t. Let x be n(3). Let a be 9/18 + 1/(-2). Suppose a = 3*s - 3*m - x, 0 = 5*m - 10. Is s a multiple of 23?
False
Let z = 11379 + -897. Does 79 divide z?
False
Let y be (20/8 + -2)/(2/12). Suppose -83 = y*b + 64. Does 18 divide (-2)/14 - 0 - 3731/b?
False
Suppose 2*r - 3*q + 17 = 0, 2*r + 15 = 5*q - 12. Let w be (338 + -5)*r/(-1) + -3. Suppose 7*i + w = 10*i. Is i a multiple of 5?
True
Suppose -338 - 858 = 4*v. Let j = 120 - 331. Let i = j - v. Is i a multiple of 22?
True
Is (12 + -2)*849*(-10)/(-3) a multiple of 100?
True
Let c = 722 + 22652. Does 26 divide c?
True
Is 6 a factor of ((-10)/(-6)*129/215)/(1/660)?
True
Let g(j) = 26*j**3 - j**2 + 1. Suppose -6*a + 4*a = 8. Let h(k) = k**3 + 4*k**2 + 1. Let n be h(a). Does 13 divide g(n)?
True
Suppose x + 3004 = 4*b + 350, 0 = 2*b + 2*x - 1332. Does 83 divide b?
True
Let u = -2550 - -4875. Does 75 divide u?
True
Let q = -5003 + 7328. Does 15 divide q?
True
Let y = 143 - 236. Let h = y - -479. Is 42 a factor of h?
False
Let t(m) = -m**3 - 27*m**2 - 117*m - 3096. Is t(-40) a multiple of 101?
False
Let a = -158 - -82. Is 129*a/(-44) - (-2)/11 a multiple of 26?
False
Let u(b) = b**2 + 27*b + 153. Let l be u(-8). Is 5 a factor of 41 - (5 - (4 + -1) - l)?
True
Let d(h) = 2*h**2 + 50*h - 83*h - 37 + 2*h**3 - h**3 + 42*h. Is 15 a factor of d(8)?
True
Suppose -v + 3958 = -p, -6*v + 19790 = -v - p. Is v a multiple of 2?
True
Suppose 4*v + 3*m = 11793, 4*m = -12*v + 7*v + 14743. Is 109 a factor of v?
True
Let g be -2*(-1)/(-2)*(-25)/5. Suppose q - g = -5. Suppose -3*b + b + 106 = q. Is 9 a factor of b?
False
Suppose 4 = 6*k + 46. Let h be (-74)/(-2) - ((-35)/k - 3). Does 2 divide 1005/h - 6/(-21)?
False
Suppose -5*o - 94 = 16. Let f be 64/22 - 2/o. Let x(d) = d**3 + 4*d**2 - 11*d + 5. Is 5 a factor of x(f)?
True
Let y(g) be the first derivative of g**4/4 - 22*g**3/3 + 3*g**2/2 - 54*g - 70. Is y(22) a multiple of 12?
True
Suppose 5*l = -4*n + 9*n + 25000, -2*l + 9998 = -n. Is 42 a factor of l?
True
Let w(l) = l**2 - 6*l + 11. Let c be w(3). Let j(h) = -7*h - 2*h - 15*h**c - h**3 + 20*h - 12 - 9*h. Is j(-16) a multiple of 26?
False
Suppose -3096000 = 29*h - 98*h - 60*h. Is 24 a factor of h?
True
Let l(j) = -8*j**2 + j + 687. Does 97 divide l(0)?
False
Let v = -51 + 51. Suppose -2*l + r = -0*r - 6, v = 4*l + r - 18. Suppose -l*i + i = 3*j - 396, 3*j = i - 120. Does 44 divide i?
False
Let n = 9330 - 6633. Does 93 divide n?
True
Suppose 0 = 4*m - 6 - 10. Is (m*7/21)/(1/48) a multiple of 8?
True
Suppose 0 = -22*x + 481 + 3. Suppose -21*k - 29 = -x*k. Is k a multiple of 29?
True
Suppose -5*t + 3*t = 3*i - 345, 5*i = -2*t + 575. Let x = i + -26. Let l = x - 35. Is 22 a factor of l?
False
Let b = 826 - 831. Let k(o) = -5*o**3 - 5*o**2 - 3*o - 11. Is 36 a factor of k(b)?
True
Let b(l) = -5*l**3 + 8*l**2 + 44*l + 148. Is 24 a factor of b(-9)?
False
Let h(m) = -m**2 + 24*m + 3. Let l be h(17). Let j = 190 - l. Let d = 164 - j. Is d a multiple of 32?
True
Let g(w) = w**3 + 8*w**2 - 22*w - 11. Suppose 100*f = 111*f - 66. Is g(f) a multiple of 41?
False
Suppose 2*m - 13866 = 6*b - 7*b, -5*b = 3*m - 20778. Is 6 a factor of m?
True
Let d = 16132 - 11405. Is 27 a factor of d?
False
Let h be 2*-2*3/(-12)*5. Suppose -h*z + 485 = -285. Suppose 4*o = 2*o + z. Is o a multiple of 10?
False
Suppose 1295 = 105*t - 98*t. Let m(f) = -f - 99. Let b be m(0). Let z = t + b. Is z a multiple of 21?
False
Suppose -h - 5*w = -4 - 61, 4*h + w = 222. Suppose h*r = 56*r - 250. Suppose 3*i - r = -2*i. Is 8 a factor of i?
False
Let n(x) = 2*x**3 + 2*x**2 - 4*x + 6. Let g(o) = 2*o**3 + o**2 - 5*o + 7. Let d(p) = 6*g(p) - 5*n(p). Let f be d(6). Suppose v - f = -2*v. Is 10 a factor of v?
True
Suppose 0*q - 8 = -2*q - 5*l, 16 = -4*l. Let w = 6 - q. Is (92/w + -3)/(4/(-32)) a multiple of 18?
False
Let k = 26156 + 12071. Is 103 a factor of k?
False
Let l = -238 - -242. Suppose 4*p + 5*j = 195, -61 = -p + l*j + 14. Does 11 divide p?
True
Suppose a + 2*h - 43 = 0, a = -2*a - 3*h + 117. Suppose -4*t = -5*s + 52, 0 = -3*t - s - a - 4. Let d(q) = -q**3 - 14*q**2 - 15*q + 10. Is d(t) a multiple of 7?
False
Let q be -13 + 2 - (-25)/5. Let o(m) = -28*m - 76. Is 4 a factor of o(q)?
True
Let v(q) = q**3 + 21*q**2 - 21*q + 29. Let d be v(-22). Suppose -d*a + 595 = -3*a - l, a - 4*l - 130 = 0. Is 8 a factor of a?
False
Let i(f) = -f**2 + 20*f + 42. Let g be i(22). Let q be 6 + g*(-2 - -3). Suppose -1056 = -q*z - 176. Does 11 divide z?
True
Let d = 9351 - 3162. Is d a multiple of 24?
False
Suppose -2*d - 2*s = -29592, -2*d + 210*s - 206*s = -29580. Is 13 a factor of d?
True
Let a(r) = r**3 