
False
Suppose 8*w + 291 = 11*w. Is 9 a factor of w?
False
Suppose -4*z = -z - 3. Suppose 0 = -2*y - 5*d + 20, -y = -2*y + 2*d + z. Suppose 0 = 5*j - 0*j + y, -5*j = 2*i - 29. Is i a multiple of 8?
False
Let n = 16 - 9. Suppose n = -v - 4. Let y = 14 - v. Is y a multiple of 9?
False
Let p be ((-2 - -2) + -1)*-12. Does 3 divide 39/p + 2/(-8)?
True
Let u = 288 - 163. Is u a multiple of 25?
True
Let l(z) = -1 + 1 + 4 + z - 2. Is 6 a factor of l(4)?
True
Let g = 2 + 3. Suppose -g*n + 7 = -4*n. Let v(m) = m**3 - 8*m**2 + 8*m. Does 7 divide v(n)?
True
Suppose -g - 44 = -3*g + 4*r, g + 3*r + 3 = 0. Let z = g - -38. Is z a multiple of 21?
False
Is 41 - (0 + -3) - 3 a multiple of 11?
False
Let d be -98*(-1 - (-2)/(-4)). Suppose m - d = -2*m. Does 14 divide m?
False
Let t(m) = m**2 - m + 7. Let f = -18 + 12. Let k be f/(-2 + -1) + -2. Is 7 a factor of t(k)?
True
Let t(v) = -v**2 - 8*v - 1. Let z = -6 + 0. Let n be t(z). Suppose n = 5*x - 14. Does 2 divide x?
False
Let a be 2/(-8) + 25/4. Let x be a/(-15) + 144/10. Does 17 divide 4/x - (-1920)/42?
False
Suppose 2*q + 7 = 4*l - 21, 5*l + 2*q - 26 = 0. Suppose l*n - 10 = n. Suppose f = -n*i - 0*f + 30, 4*i + 3*f - 60 = 0. Does 15 divide i?
True
Does 13 divide (6 - 3) + 63 + -1?
True
Let u = -124 - -212. Suppose h + 270 - 58 = 4*r, 2*r - u = 5*h. Is r a multiple of 18?
True
Let t = -44 - -26. Let y be -40 - (-1 + -3 + 6). Let v = t - y. Is 24 a factor of v?
True
Let g(m) = -202*m - 2. Does 25 divide g(-1)?
True
Let b be 2/4 - 33/6. Let y(f) = f**2 + 2*f + 1. Is 16 a factor of y(b)?
True
Suppose -5*o + 18 = 2*g, o + 4 = g + 2. Let z = o - -14. Suppose -r - 6 = -z. Is r a multiple of 3?
False
Suppose 24 = -w - w. Let u = w + 35. Does 14 divide u?
False
Let a(f) = 8*f**2 + 6*f + 6. Let d(k) = -7*k**2 - 5*k - 7. Let u(i) = -6*a(i) - 7*d(i). Let x = 3 + -3. Is 7 a factor of u(x)?
False
Suppose 7*m - 95 = 24. Is 10 a factor of m?
False
Suppose 12 = 2*u - 84. Does 16 divide u?
True
Suppose 0*f - 24 = -f. Does 9 divide (16/f)/((-2)/(-27))?
True
Suppose 18*t - 13*t = 750. Does 26 divide t?
False
Let c(v) = 25*v**2 - 1. Is 23 a factor of c(1)?
False
Let v(o) = -1 + 1 + 7 + 5*o. Is v(9) a multiple of 13?
True
Is (1 - 182)*(-1)/(2 - 1) a multiple of 26?
False
Let j = 58 - -96. Is 11 a factor of j?
True
Let i(j) = j - 6. Let r be i(10). Suppose -r*d - 4*k + 36 = 0, -k = k + 6. Does 6 divide d?
True
Suppose 6 = -o + 7. Suppose -1 = -4*h - b, -3*b - 15 = -5*h - o. Suppose 2*t - 5*m - 75 = 0, t + h = -4*m + 6. Is t a multiple of 11?
False
Suppose 4*m = 2*j + 8 + 2, -5*m + 6 = 4*j. Suppose 5*i - 9 = x, m*i - i = -5*x + 33. Is x even?
True
Let y be (-2 + 40)*(2 + -1). Suppose 2*v + 2 = y. Does 9 divide v?
True
Suppose 3*w - 2 = w. Let l = 15 + w. Does 6 divide l?
False
Suppose -5*m = -r - 0*m + 23, 0 = 3*r - 3*m - 57. Let t = 32 - r. Is 9 a factor of t?
False
Suppose 0 = g + 3*u - 25, g - 2*u - 142 = -4*g. Is 6 a factor of g?
False
Let p = 41 - -10. Does 13 divide p?
False
Suppose 0 = 2*o - 5*o + 480. Suppose 8*v = 4*v + o. Suppose -h = 3*h - v. Is 10 a factor of h?
True
Suppose -5*p - 2*h = -410, 4*p - 2 - 338 = -4*h. Does 23 divide p?
False
Let v = -57 + 96. Is 4 a factor of v?
False
Suppose -3*t - 115 = -319. Does 17 divide t?
True
Let u(m) = -22*m - 1. Does 13 divide u(-3)?
True
Suppose 5*u = u + 80. Let v = u + 7. Does 15 divide v?
False
Let t = 19 - -3. Is 8 a factor of t?
False
Let d = -25 - -59. Is 34 a factor of d?
True
Suppose 6 = -6*o + 5*o. Let k(g) = -16 - 13 - 8*g + 21. Does 20 divide k(o)?
True
Let x(j) = -j**3 + 6*j**2 + 2*j - 3. Let n be x(6). Let l = n - -8. Let f = 1 + l. Does 9 divide f?
True
Let h(s) = -s**2 + 3*s + 2. Is h(2) a multiple of 4?
True
Let g(r) = 34*r**3 - 5*r**2 - 6*r - 5. Let w(f) = 23*f**3 - 3*f**2 - 4*f - 3. Let z(o) = -5*g(o) + 8*w(o). Is z(1) a multiple of 14?
True
Suppose -86 = -4*c + 98. Is 8 a factor of c?
False
Suppose 91 = 5*h - 2*a, 4*h - 77 = -2*a + 5*a. Suppose -4*v + 4*t = -32, v + 3*t + t + h = 0. Does 3 divide v?
True
Suppose 3*a - 252 = i, 0 = -a - a - 3*i + 168. Is 14 a factor of a?
True
Let x = 26 - 1. Does 17 divide x?
False
Suppose 5*d + 5*a - 27 = 23, 0 = -4*d + 4*a + 8. Let z(h) = h + 0*h + 2*h**2 - h**2 - 2. Does 15 divide z(d)?
False
Suppose m + 61 = 2*j, 97 = 5*j + m - 59. Let z = j + -11. Does 13 divide z?
False
Let c(f) = -2*f + 1 + 6*f + 0. Suppose -4 - 2 = -q. Is 11 a factor of c(q)?
False
Let f be (-4 + 1)*(-3)/(-9). Let l = 6 + f. Suppose l*n - 243 = 3*b, -5*n + 2*b = 5*b - 237. Is n a multiple of 25?
False
Suppose 0 = -2*b - 0*b - 28. Let a = b - -24. Does 5 divide a?
True
Suppose 3*y - 132 = -0*y. Suppose 0 = -5*c + 1 + y. Is c a multiple of 3?
True
Let l(z) = 10*z + 4. Let c(u) = -u - 1. Let p(y) = -8*c(y) - l(y). Suppose 4*j - j = -9. Does 4 divide p(j)?
False
Suppose -2*s + 0*s + 5*o = 10, -3*o = 4*s - 6. Let v(m) = -m**3 + m + 33. Does 8 divide v(s)?
False
Suppose 99 = 4*w - 45. Is 12 a factor of w?
True
Let d be 1/(4/(-3240)*-3). Suppose 0 = 7*l - 4*l - d. Does 29 divide l?
False
Let p(t) = 1. Let b(l) = -6*l + 10. Let c(u) = b(u) - 4*p(u). Let q be 138/(-30) + (-2)/5. Is c(q) a multiple of 18?
True
Let z be (3/3)/(-1) - -3. Suppose y = z*y - 35. Does 12 divide y?
False
Suppose 4*m - 55 = -3*n, -72 - 4 = -4*m + 4*n. Does 16 divide m?
True
Suppose q = -5*p + p - 237, 0 = -2*p - 3*q - 111. Let v = -29 - p. Is 7 a factor of v?
False
Let h(a) = a + 4. Let i be h(-2). Suppose i*w = -4*d + 148, -w = -5*d + 2*d + 121. Is d a multiple of 13?
True
Suppose -6*d + 90 = -234. Is 18 a factor of d?
True
Suppose 6*u - 389 = 139. Does 22 divide u?
True
Let h(z) = -z**2 + 6*z + 3. Let o be h(6). Let x be (-2 - -1) + o - -2. Suppose 150 = p + x*p. Is 10 a factor of p?
True
Suppose -g + 92 + 9 = 0. Let h = g - 40. Suppose -11 = -4*i + h. Is i a multiple of 8?
False
Suppose 0 = -5*c + 2*c + 234. Does 16 divide c?
False
Suppose 0 = -2*r - 3*l - 36, 24 = -r - 2*r + 3*l. Let y(c) = c**3 + 13*c**2 + 10*c - 6. Does 11 divide y(r)?
False
Is 7 a factor of 1 - (2 + -4) - -49?
False
Let q(b) = b**3 + 8*b**2 + 8*b + 9. Let v be q(-7). Let m = -1 - -1. Suppose -v*g - g + 21 = m. Does 7 divide g?
True
Does 8 divide 21 + (1 - -2)*1?
True
Let w(k) = k**3 - 7*k**2 - 2*k + 2. Let p be w(6). Let v = -26 - p. Does 10 divide v?
True
Let s(w) = 2*w + 0*w + 7*w**2 - w - w**2. Suppose -5*v = x - 11, -4*v + 16 = 5*x + 3. Is 5 a factor of s(x)?
False
Let r(q) = -7*q - 1. Does 3 divide r(-2)?
False
Let k = -17 + 8. Let j = 7 - k. Does 8 divide j?
True
Let t(s) = -2*s**3 - 4*s**2 + 6*s + 5. Let i be t(-4). Suppose i = 8*n - 3*n. Is 9 a factor of n?
True
Let v(z) = 15*z**2 + 2*z - 2. Let k be v(-2). Let t = -101 + k. Let c = 69 + t. Is 11 a factor of c?
True
Suppose -12 = -12*h + 14*h. Is 128/(-6)*h/4 a multiple of 24?
False
Suppose 3*c - 6 = -u - 4*u, 18 = 3*u - 3*c. Let p = 26 + u. Suppose 2*q - 5 = p. Is 7 a factor of q?
False
Let f(q) = q - 2. Let t be f(4). Suppose 4*m - 3*o = -7*o + 128, m = -t*o + 35. Is m a multiple of 17?
False
Let r(s) = 6*s**2 - 1. Suppose 2*m - 5 = -3*m. Let a = -2 + m. Is r(a) a multiple of 2?
False
Suppose -2*f = 4*m - 260, -m - 355 = -6*m + 5*f. Does 35 divide m?
False
Let c(h) = -h**3 + 11*h**2 - 4*h + 5. Let t be c(6). Let g = t - 50. Does 37 divide g?
True
Let f(c) be the third derivative of c**4/24 + c**3/6 + c**2. Let q be f(3). Let y(o) = 5*o - 1. Is y(q) a multiple of 7?
False
Let f = -17 - -35. Does 4 divide f?
False
Let i = -71 - -229. Does 19 divide i/4 + (-18)/12?
True
Does 14 divide 165/(-6)*12/(-10)?
False
Let q(j) = -5*j - 5. Let n = -2 + 1. Let s be (4 - n)*(-2 + 1). Is 15 a factor of q(s)?
False
Let p(x) = x**3 - 12*x**2 + 12*x - 10. Let j be p(11). Suppose a - 14 + 6 = -m, 2*a + 5*m - j = 0. Does 13 divide a?
True
Suppose 4*l + 53 = -3. Let k be -1 + (1/1 - l). Let d = 13 + k. Does 14 divide d?
False
Let h(t) = t - 4. Let w(q) = -q + 3. Let g be w(-6). Does 2 divide h(g)?
False
Let p(b) = b**3 + 8*b**2 - b - 3. Let j be p(-8). Suppose -j*k = -5*s - 10, 3 = -k - 2. Is 15 a factor of (-4)/(-14) + (-285)/s?
False
Let j(h) = -h + 6. Let g be j(6). Suppose -4*q + q + 99 = g. Does 17 divide q?
False
Let y be 27/3*(-2)/(-6). Suppose y*o + 15 = 0, r - 6*r + 3*o = -25. Suppose r*x - 40 - 8 = 0. Does 12 divide x?
True
Let j(m) = m**2 + 4*m + 3. Let c be j