 h(w) = -8*w - 1. Does 8 divide h(j)?
False
Suppose 4*n + 43 = 275. Let i be (-34)/(-8) + 1/(-4). Suppose -5*v - 10 = 3*r - 86, -i*v - r = -n. Is v a multiple of 7?
True
Let k(w) = -w**3 - 8*w**2 - w - 6. Let b be k(-8). Let o(u) = 13*u**2 - 3*u + 3. Is 13 a factor of o(b)?
False
Let b(k) = 17*k + 10. Is 19 a factor of b(6)?
False
Suppose m - 9 = -1. Let h be ((-18)/m)/(4/16). Is 18 + 3/(h/6) a multiple of 10?
False
Let o(r) = 6*r - 2 + 12*r + 12*r. Is o(1) a multiple of 20?
False
Let j = 9 - 25. Is 21 a factor of 6*2*(-28)/j?
True
Let b(w) = 22*w. Is b(1) a multiple of 8?
False
Let o(z) be the first derivative of -4*z - 5/3*z**3 - z**2 + 1/4*z**4 - 2. Is o(6) a multiple of 13?
False
Let m(t) = 3*t**3 - t**2 + 7*t - 16. Is m(4) a multiple of 14?
False
Let l = 12 - 8. Suppose l*x - 95 + 39 = 0. Does 9 divide x?
False
Suppose 2*b - 73 = 125. Does 6 divide 1*-2*b/(-18)?
False
Let l(a) = 50*a. Let k(u) = -u**3 + 7*u**2 - 6*u + 1. Let b be k(6). Let z be l(b). Suppose 2*v - z + 18 = 0. Does 11 divide v?
False
Is 45 - (2 + -1 + -4) a multiple of 24?
True
Let z(n) = n**2 - 3*n - 1. Let c be z(-2). Suppose 5*k = c*k - 168. Suppose -k - 66 = -4*o. Is 12 a factor of o?
False
Let g(p) = -2*p - 8. Let b be g(-6). Let m(h) = 4*h**2 - 5*h + 4. Let v be m(b). Suppose -5*l + 2*l = -v. Is l a multiple of 8?
True
Is 1/(3 + -1)*26 a multiple of 6?
False
Is 5 a factor of (-14 - -3 - -3)/(-1)?
False
Suppose z + 4*z - 10 = -2*y, -z - y = 1. Suppose 0 = -z*g - 3*v + 29, 9 = 3*g - 3*v + v. Suppose -w + 32 = -o - 3*o, g*w - 126 = 3*o. Does 12 divide w?
True
Suppose 4*d = -4*k + 256, 4*d + 2*k - 341 = -91. Does 19 divide d?
False
Let f = 24 + -15. Let t(k) = 2*k - 4. Does 7 divide t(f)?
True
Let x be 1/(-5) - (-1819)/(-5). Let v be x/(-10) + 8/(-20). Let i = v + -18. Is 6 a factor of i?
True
Let t = -5 - 1. Is 12 a factor of -12*(1 - t/(-3))?
True
Let z be 6/3 + 2 - 1. Let v(o) = -13*o + 1 - 7*o + z*o. Does 9 divide v(-1)?
True
Suppose 0 = -3*w - 4*c + 442, w - 6*w + 790 = -4*c. Is 7 a factor of w?
True
Suppose 2*j + 650 = 4*j. Is j a multiple of 25?
True
Suppose -7*q + 259 = -399. Is 6 a factor of q?
False
Let v(t) = 6*t**2 - 6*t + 6. Let j be v(5). Let g be (8/6)/((-2)/6). Is 5 a factor of g/(-10) + j/10?
False
Suppose v = -4*s - 0*v + 341, 3*v - 15 = 0. Is 11 a factor of s?
False
Let j(n) = -3*n - 29. Let v(m) = -m - 10. Let k(b) = -3*j(b) + 8*v(b). Is 7 a factor of k(0)?
True
Let n = 2 - -16. Is 4 a factor of n?
False
Let a = 7 - 0. Suppose -a*f + 76 = -3*f. Suppose -3*i = -5*v + 5, v - f = -i - 2*i. Is i a multiple of 3?
False
Suppose 2*g + 469 = 3*k - 0*k, 4*g - 147 = -k. Suppose 0 = -5*m + 5*f + k, 0 = -m - 2*f - 2*f + 26. Does 7 divide ((-3)/(-2))/(3/m)?
False
Let x = 201 + -115. Let r = 61 - x. Let k = r + 36. Is k a multiple of 5?
False
Suppose l + 4*l = 10. Suppose 5*u + 2*o = 126, l*u = -0*u - o + 51. Is 12 a factor of u?
True
Suppose 2*y - 230 = 2*x - 5*x, -x = y - 114. Is y a multiple of 30?
False
Suppose -12*n = -15*n + 216. Suppose -n = -2*o - o - 3*b, -4*o - 3*b + 98 = 0. Does 26 divide o?
True
Let a(u) = -u - 1. Let x be a(-6). Suppose x*l = l + 204. Is 11 a factor of l?
False
Let v be (-16)/(-6)*6/4. Suppose 9*l + 2*x - 46 = v*l, -x = 2. Is 10 a factor of l?
True
Suppose 9 = -p + 4*z, z - 3 = 5*p - 15. Suppose -m + 4 = -p*m. Let w = m + 9. Is w a multiple of 5?
False
Is -15*(80/12)/(-4) a multiple of 10?
False
Suppose 25*q = 26*q - 10. Is q even?
True
Let z(u) = -4*u**3 + 4*u**2 + 20 + 13*u**2 + 3*u - 4*u**3. Let a(y) = -3*y**3 + 6*y**2 + y + 7. Let t(r) = 11*a(r) - 4*z(r). Is t(-4) a multiple of 11?
True
Let t = 4 - -1. Is t a multiple of 5?
True
Suppose 4*u - u - 4*z + 5 = 0, 4*z - 35 = -3*u. Suppose -9 = -u*l - 29, -2*a + 4*l = -28. Let s(y) = 2*y**2 - 8*y + 1. Is 12 a factor of s(a)?
False
Suppose 4*b + 9 + 31 = 0. Does 4 divide (-38)/95 - 84/b?
True
Let o = -31 + 87. Let t = o + -30. Is 13 a factor of t?
True
Suppose -6 = -b - 0. Suppose 5*o + v - 64 = 0, -64 = 2*o - b*o - 4*v. Does 12 divide o/(((-3)/6)/(-1))?
True
Suppose 4*y = b + 2*y - 62, y = b - 60. Is b a multiple of 6?
False
Is 9 a factor of (-2)/(-6) - 59/(-3)?
False
Suppose 11*i - 14*i = -3*k + 303, 2*k = i + 197. Is 24 a factor of k?
True
Let k(o) = o**3 + 3*o**2 - 4*o - 4. Let y be k(-4). Does 4 divide 15 + (-4 - 0/y)?
False
Let d(k) = 4*k**2 - 3*k - 4. Let i be 152/40 + (-2)/(-10). Is 15 a factor of d(i)?
False
Suppose x + 25 = 2*d, 4*x - 63 = -5*d + 7*x. Is 4 a factor of d?
True
Let p(k) = 9*k - 35. Does 13 divide p(16)?
False
Suppose -3*h = -3, 6*s = s - 3*h + 218. Does 20 divide s?
False
Let k(z) = -z**2 - 6*z - 1. Let h be k(-5). Suppose 5*j - 2*n - 58 = 86, 0 = 4*j - h*n - 108. Is j a multiple of 15?
True
Suppose 679 = 4*l - 725. Is l a multiple of 39?
True
Let x = -20 + 63. Let a = -18 + x. Is 14 a factor of a?
False
Let j be (-26)/(-7) + 2/7. Suppose -2*t - 5*c = -23, 3*t - 45 = -j*c - 0*c. Is 12 a factor of t?
False
Let a(l) = -l**3 - 8*l**2 - 11*l - 10. Let u = -8 + 27. Suppose 2*o = -u + 5. Is 9 a factor of a(o)?
True
Is 28 a factor of (4/6)/((-20)/(-930))?
False
Let y = 2 + -1. Suppose s - 6*s + 16 = 4*b, -s - 5*b = y. Suppose -38 = -6*r + s*r. Is 7 a factor of r?
False
Suppose -3*b + 18 = -b - 2*k, -b + 39 = 5*k. Let y = b - 1. Does 13 divide y?
True
Let v = -108 - -59. Let w(o) = -o**2 - 7*o + 7. Let s be w(-7). Does 17 divide (-847)/v + (-2)/s?
True
Let x(b) = -b**3 - 4*b**2 + 6*b + 7. Let n be x(-5). Let c(w) be the third derivative of -w**6/120 + w**5/15 - w**4/8 + w**3/2 + w**2. Does 5 divide c(n)?
True
Let o be (4/(-2) - -2)/3. Suppose o*q + 44 = 4*q. Is 6 a factor of q?
False
Suppose -5*z = -3*z - 10. Suppose -103 = -2*v - z. Let p = v + -20. Does 14 divide p?
False
Let a(n) = n + 5. Let x be a(0). Suppose 5 = c - x. Is 8 a factor of c?
False
Is 29 a factor of 218 + (-4 + 3)*0?
False
Let g(l) = 76*l**3 - 2*l**2 + 5*l - 1. Let s(m) = -75*m**3 + 2*m**2 - 4*m + 1. Let r(j) = -2*g(j) - 3*s(j). Is 24 a factor of r(1)?
True
Let f = 40 - 4. Does 13 divide f?
False
Let b(j) = 17*j + 4. Let k(m) = -42*m - 10. Let f(i) = 12*b(i) + 5*k(i). Is 6 a factor of f(-2)?
False
Let g = 30 - 16. Is 10 a factor of g?
False
Is 4 a factor of (-2)/12 + 165/18?
False
Suppose 0*t - 9 = -3*t. Suppose 2*i = -3*z - 6, t*z + 10 = 4*i - 2*z. Is 40/5 - (0 - i) a multiple of 7?
False
Suppose -a - 119 = -3*w + w, -3*a + 156 = 3*w. Is w a multiple of 19?
True
Let g(x) = -2*x**3 + 4*x**2 - 3*x + 2. Let u be g(2). Let s = u - -7. Suppose 4*w = s*z - 13, 0 = 5*z - 4*w - 4 - 23. Does 3 divide z?
False
Let n(x) = 2*x - 5. Let m be n(4). Suppose 5*t = -2*y + 68, 0 = -2*y - y + m*t + 60. Does 17 divide y?
False
Suppose 60 + 9 = j. Is j a multiple of 23?
True
Suppose -f - 189 = -4*l, 4*l - 2*f + 7*f - 207 = 0. Suppose 0*d - 2*d = -4. Suppose d*z - l = -z. Is z a multiple of 10?
False
Let u be (3/(-2))/(2/(-204)). Suppose 0 = -o - 2*v + 61 - u, -4*o - v = 340. Let p = o + 126. Is p a multiple of 21?
True
Let f = -16 - -20. Let m(x) be the second derivative of x**4/12 - x**3/3 - x**2 + 3*x. Does 3 divide m(f)?
True
Suppose 0 = -2*u + 66 + 38. Does 4 divide u?
True
Let m(x) = -2 + x**2 + 5 - 2 + 3*x - 2. Let y be m(-4). Suppose 5*k - 5*n - 20 = -0*n, 5 = 2*k - y*n. Is k a multiple of 3?
False
Suppose 46 = 3*i + 2*g, -g = -i - 0*i + 7. Is i a multiple of 6?
True
Let q(z) = 3*z - 6. Let r be q(-6). Let b = r - -40. Does 8 divide b?
True
Suppose -2*k + 177 = 3*f, -5*f + 273 = 2*k - 6*k. Is 57 a factor of f?
True
Suppose 0 = -3*p - 4*f + 3, 5*p + 16 = 4*f + 53. Let j = p + -2. Suppose 0 = -a + j*d + 38, -56 = -4*a + 2*a + d. Is 13 a factor of a?
True
Suppose 0 = 2*d - 3*d. Suppose -42 = -3*i + 4*h, 3*i - 2*h + 5*h - 21 = d. Suppose -4*q + 106 = 3*w, 0 = w - 4*q - q - i. Is 15 a factor of w?
True
Let d(k) = -15*k + 22. Does 26 divide d(-8)?
False
Let x = 309 + 27. Is 24 a factor of x?
True
Suppose -17 = 4*x - 5. Let s(k) = k**3 + 3*k**2 + 3. Let r be s(x). Let w = r + -1. Is 2 a factor of w?
True
Suppose 0 = 5*k + 3*m + 5, -4*k + 4*m + 37 - 9 = 0. Let y = k - 2. Suppose y = 3*i - 3*t - 150, -4*i - 2*t + 4*t + 194 = 0. Is 17 a factor of i?
False
Suppose 4*x + 52 = 4*d, 0*x + 3*x = 2*d - 31. Is d a multiple of 2?
True
Let m(u) = 3*u - 10. Let w be m(12). Let p = w + -14. Suppose -h + p = 1. Is 4 a factor of h?
F