ppose 3*h + 4*w = 163, 2*w = 3*h + 7*w - 167. Suppose 5*o - 94 = 3*f, f - 4*o + 3 + 33 = 0. Let j = f + h. Is 11 a factor of j?
False
Suppose 0 = -9*c + 145 + 179. Suppose 0 = 3*m + m - 8. Suppose m*o - 50 = 4*t + c, -o + 31 = 2*t. Does 8 divide o?
False
Is 8/(-6) - -14*(-6)/(-9) even?
True
Suppose 4*g + 15 = 7*g. Suppose -3*c - 10 = h - 24, 32 = 2*c - g*h. Is 3 a factor of c?
True
Let y be (-4 - 39/(-6))*-2. Let g = y - -18. Is g a multiple of 4?
False
Let d(p) = 45*p**3 - p**2 - 2*p - 4. Is 9 a factor of d(2)?
False
Suppose 0 = -4*z + 1366 - 234. Is z a multiple of 7?
False
Let p(b) = -b**2 - 22*b + 92. Does 6 divide p(-20)?
True
Is 23 a factor of 1065 + (-1)/3*21?
True
Let h(f) = 2*f**2 + 3*f + 10. Let j be h(5). Suppose -3*l = -k + 15, -5*l - j = -k - 4*k. Does 15 divide k?
True
Suppose 3*s + t = 197, t - 2*t = -2*s + 133. Does 3 divide s?
True
Let g = -75 + 125. Suppose 0 = -w - 10 + 1. Let z = g - w. Does 16 divide z?
False
Let p(b) be the second derivative of -8*b**3/3 + b**2 + b. Let j be p(1). Let s(f) = f**3 + 16*f**2 + 21*f + 3. Is s(j) a multiple of 13?
False
Suppose 0 = t + 2*p - 149, -2*t + 0 = 3*p - 293. Is 3 a factor of t?
False
Let g(x) = x**3 + 6*x**2 - 6*x + 10. Let f be g(-7). Let i = -41 - -47. Suppose f*q - 81 + i = 0. Is q a multiple of 5?
True
Suppose -11*r + s = -7*r - 402, 299 = 3*r - 2*s. Is 38 a factor of r?
False
Let h(i) = 3*i**2 - 1. Let w be h(-1). Let o(g) = -g**3 + 2*g**3 - 5*g**2 - 9*g + g**w + 15. Is 16 a factor of o(6)?
False
Suppose p = -5*o + 22, -2*o - 4 = -3*p - 6. Suppose 0*g - 145 = -5*g + s, o*s + 116 = 4*g. Is 10 a factor of g?
False
Let f be 2*(3 + -4 + 3). Suppose -f*n + 4 = 4*s, 0 = -5*s + 5*n - 0*n + 25. Suppose s*k - 202 = -5*y - 27, -20 = -4*y. Is k a multiple of 20?
False
Suppose 0 = -5*t + 735 - 185. Suppose 0*g = -5*g + t. Is (1 - 0)*(g - -5) a multiple of 11?
False
Let y(r) = -2*r - 16. Let d be y(-12). Suppose -l = -d*l + 833. Is 17 a factor of l?
True
Let i(z) = -z**2 - 9*z - 7. Let o be i(-3). Suppose 739 = o*p - 966. Is p a multiple of 31?
True
Suppose -7*r + 20 = -22. Suppose -3*o - 225 = -r*o - 3*k, -3*k - 6 = 0. Does 11 divide o?
True
Let w be (-2)/(-4) + 72/16. Suppose -3*r - 3*n = n - 739, w*n = -r + 250. Does 41 divide r?
False
Suppose 2*d = -2*d. Suppose d = -6*m + m + 25. Is 12 a factor of (-5)/(-2)*102/m?
False
Let q(o) = 10*o**3 - o**2 + o + 1. Let p be q(-1). Let z = 15 + p. Let s(h) = -h**2 + 9*h - 5. Is s(z) a multiple of 5?
True
Suppose 6 = -o - 3. Let u(l) = -17*l + 18. Let y be u(o). Suppose 5*r - t - 2*t - y = 0, t + 141 = 4*r. Is r a multiple of 12?
True
Let m = -166 + 827. Is 3 a factor of m?
False
Let h(c) = 2*c**3 + 27*c**2 - 14*c - 18. Is h(-13) a multiple of 28?
False
Suppose -2*z + z + 1 = 0. Let w(y) = 2*y**3 + y**2 + y - 1. Let n be w(z). Suppose -n*x + 36 = -2*x. Is 9 a factor of x?
True
Let q = 229 - 425. Let g = q - -287. Does 32 divide g?
False
Let u be (4/8)/(1/8). Suppose 2*f = 8, -u*o - 4*f + 8*f + 284 = 0. Does 15 divide o?
True
Suppose -3*d - 483 = y, -3*y = d - 0*y + 169. Does 14 divide d/15*30/(-4)?
False
Suppose 0 = -4*c + c + 1389. Does 37 divide (-6)/10 - c/(-5)?
False
Let p = 609 - 324. Does 19 divide p?
True
Suppose 987*g - 990*g = -1155. Does 7 divide g?
True
Let t = -1140 - -1994. Does 7 divide t?
True
Suppose -2*y - 2*j + 22 = 0, 0 = -y + j + 2 - 1. Suppose 0 = -2*r + y*r - 392. Is 14 a factor of r?
True
Let h = 431 + -124. Is 36 a factor of h?
False
Is -11 - -187 - 2*2/4 a multiple of 9?
False
Let v = 125 - 97. Suppose 0 = -v*r + 13*r + 1680. Is 16 a factor of r?
True
Suppose -266 + 2030 = 3*d. Is 3/2 - d/(-8) a multiple of 15?
True
Let h(u) = u**3 - 3*u**2 - 3*u. Let x be h(4). Suppose -616 + 122 = -x*n + 2*m, 0 = n + 5*m - 118. Suppose 0 = 4*d + n - 415. Does 16 divide d?
False
Let o = 7 - 5. Suppose -2*h = 103 - 133. Let g = h - o. Does 3 divide g?
False
Let c = 43 + -38. Let j(r) = 5*r - 12. Is j(c) a multiple of 13?
True
Suppose -4*a + 73 = 5*r + 761, r - 5*a = -126. Let q = 191 + r. Is 9 a factor of q?
False
Let n(o) = -o**3 + 2*o**2 - 2*o - 1. Let h be n(-1). Suppose -h*w + 376 = 3*l, 321 - 85 = 2*l - w. Is l a multiple of 5?
True
Suppose k - 3*l = 837, -19*l + 4137 = 5*k - 22*l. Is 55 a factor of k?
True
Let s(o) = -o - 2. Let q be s(5). Let x = q + 5. Let c = x + 35. Is c a multiple of 13?
False
Let m be -3 + 0 + -1 + (4 - 0). Suppose 4*z - 3*z - 77 = -2*i, m = 4*i - 5*z - 161. Is 7 a factor of i?
False
Suppose -2*z = 3*j + j - 12, -z - 3*j = -3. Is z/4 + (-2)/((-6)/321) a multiple of 22?
True
Let t = 879 - 610. Is 6 a factor of t?
False
Let w = -49 + 47. Does 26 divide -1 + (w + 1 - -28)?
True
Let n(b) = b**3 + 9*b**2 + 10*b + 4. Let w(g) = -g**2 - 11*g - 15. Let r be w(-10). Is 9 a factor of n(r)?
True
Let z(f) = 14*f. Let i = 12 + -10. Suppose i*c = 3*c - 2. Is z(c) a multiple of 6?
False
Suppose m + 2*m - 1377 = -2*c, 2*m = c + 918. Is m a multiple of 4?
False
Suppose 0 = 9*v - 17*v + 752. Is 3 a factor of v?
False
Let m be (8/(-5))/(6/(-15)). Suppose 0 = -2*z + 5*w - 5, -m*z + z + 3*w = 3. Suppose z = 2*b - 2*i - 2*i, 5*i = -2*b + 18. Is b a multiple of 3?
False
Let s(b) = b**2 - 60*b + 3. Is 16 a factor of s(-16)?
False
Suppose -5*f + 14083 = -4*p + 6*p, -11280 = -4*f - 5*p. Does 66 divide f?
False
Let d(p) = -3*p**3 - 2*p**2 - p - 2. Let x be d(-3). Let j = 86 - x. Does 3 divide j?
False
Suppose 11*m = 26*m - 4380. Is 3 a factor of m?
False
Suppose 8*o + 40 = 4*o. Let z = 16 + o. Let q = 18 + z. Does 6 divide q?
True
Let j(c) = -c**3 + 3*c + 3. Let k be j(3). Let s = -9 - k. Is 16 a factor of 98/s - 10/30?
True
Let y = -27 + 29. Let k(v) = v**3 - 3*v**2 + 3*v. Let i be k(y). Suppose -3*g + 180 = i*g. Is 23 a factor of g?
False
Suppose 5*s - 3*n = 471 + 692, -3*s + 5*n = -685. Is s a multiple of 16?
False
Suppose 3*u = -5*j + 7335, -16*u = -20*u - 20. Does 30 divide j?
True
Let d be 45/6*(-8)/(-10). Let s(r) = 27*r - 26. Does 34 divide s(d)?
True
Suppose 0 = -2*z + 246 + 72. Does 53 divide z?
True
Let n(b) = 24*b**2 + 9*b - 24. Is 15 a factor of n(2)?
True
Suppose j = 1 - 6. Let i = j - -9. Suppose 0 = 2*a + 5*y + i - 66, 4*a = y + 124. Does 11 divide a?
False
Let a = 687 + -192. Is a a multiple of 33?
True
Suppose 4*k - 9*k - 80 = 0. Let r(s) = -s**3 - 16*s**2 - s - 1. Does 3 divide r(k)?
True
Suppose 3*d - 4 = 5*d. Let z(q) = -2*q + 2*q - 2*q + q. Does 2 divide z(d)?
True
Let w(l) = 8*l - 20. Let a(c) = 25*c - 60. Let k(j) = 3*a(j) - 8*w(j). Does 4 divide k(4)?
True
Suppose 2*p - 1385 = -5*d, d = -d - 6. Is 50 a factor of p?
True
Let p(c) = 2*c + 8 + c - 7*c - c**2 - 2*c. Let z be p(-6). Is 3 a factor of (6/9)/(z/108)?
True
Suppose -2*t + t - 311 = -v, 5*t - 25 = 0. Suppose 11*o = 1603 - v. Does 39 divide o?
True
Suppose -5*l = -0*l - 3675. Suppose q + 73 - 212 = -y, l = 5*q - 5*y. Suppose d + 2*z - 47 = 0, z - q = -3*d - 4*z. Is 17 a factor of d?
True
Suppose 3*t = 2*r - 6438, 0 = 24*r - 25*r - 6*t + 3234. Is r a multiple of 9?
True
Suppose 0 = -2*w + y - 6, -5*w + 2*y = -0*y + 15. Let f(l) = -l**2 + 17. Let z be f(0). Let x = w + z. Is 7 a factor of x?
True
Suppose 5*j = 3*u - 391, 128 + 20 = -2*j - 3*u. Let b = 155 + j. Is b a multiple of 26?
True
Let l(n) = -36*n**2 - 17*n + 14. Let b(m) be the first derivative of 4*m**3 + 3*m**2 - 5*m + 5. Let a(v) = -17*b(v) - 6*l(v). Is 12 a factor of a(-1)?
False
Let u(x) = -2*x + 12. Let r be u(5). Suppose -r = b - 3*b. Suppose 7*w + b = 22. Does 2 divide w?
False
Let v be ((-2 - -1) + -8 + 0)*-48. Suppose 5*a = 2*a + v. Is 27 a factor of a?
False
Suppose 4*m - 4 = 4*w, 0*w - 4*w = -12. Let a(c) = c**2 - 4*c + 3. Let b be a(m). Suppose 5*x - 2*k = 173, -b*x + 3*k + 101 = -k. Is 7 a factor of x?
True
Let q be (-77)/(-33) - (-2)/3. Suppose 0 = -4*a - 3*c - 2 - 1, -q = -2*a + 3*c. Let s(d) = -2*d**2 + d + 24. Does 10 divide s(a)?
False
Suppose -3*s + 8 + 4 = 0. Let t be 79/1 - 12/s. Suppose -2*x - 3*z + 44 = 0, -x + 5*z + t = x. Does 26 divide x?
False
Let h = -8064 - -11535. Is 126 a factor of h?
False
Does 75 divide (-707872)/(-363) - (-10)/(-165)?
True
Let a = 1396 - -2909. Does 21 divide a?
True
Suppose -4*d = -r + 4, -4*r - 5*d - 8 + 3 = 0. Suppose r*b = -8*b + 480. Does 12 divide b?
True
Suppose -2*s + 0*x + 718 = -x, -5*s = 3*x - 1806. Is s a multiple of 18?
True
Let n(m) 