
True
Let t be -1 - 75/(-3) - 3. Is 7 a factor of t/(-14)*(0 + -16)?
False
Suppose 5*w + m - 669 = 0, -3*m + 265 = 3*w - w. Is w a multiple of 12?
False
Let b = -1 - -1. Suppose -3*a - 2*a - 5*f = -45, b = -2*f + 10. Is 4 a factor of a?
True
Suppose -4*x = -m - 2*m - 151, 4*m - 116 = -4*x. Is x a multiple of 13?
False
Suppose 4*y = -4*a + 164, 3*y - 5*a = -3*a + 143. Does 15 divide y?
True
Suppose 8 = 4*r + 3*q, 4*r = -5*q - 0*q. Let v(k) = 4 + k**2 + 0 + k**2 - r*k. Is v(4) a multiple of 6?
False
Let t be ((-4)/10)/((-2)/(-20)). Let g(j) = j**3 + 5*j**2 + 3*j + 6. Is 4 a factor of g(t)?
False
Let o(m) = -m**3 + 7*m**2 - 8*m - 2. Is 7 a factor of o(5)?
False
Let f(a) = 5*a**2 + 5*a + 2. Is 17 a factor of f(4)?
True
Let p(h) = h**3 - 2*h**2 + h. Let w be p(2). Let i(d) = -d**2 - d + 5. Let z(t) = t - 1. Let c(b) = i(b) + 4*z(b). Does 2 divide c(w)?
False
Let q = 77 + 18. Is q a multiple of 7?
False
Let y be 0 - -1 - (3 + -3). Let z be (-2 + y)/((-3)/168). Suppose -5 + z = 3*p. Does 16 divide p?
False
Let s(j) = -4*j**3 + 9*j**2 + 5*j - 7. Let n(d) = 9*d**3 - 19*d**2 - 10*d + 15. Let f(o) = 3*n(o) + 7*s(o). Does 6 divide f(6)?
False
Suppose 0 = -0*m + 2*m + 2. Let d be 1 - m - (1 - 1). Suppose x - 2*a + 7*a = 44, -2*x = d*a - 104. Is x a multiple of 21?
False
Let y(j) = -j**3 + 5*j**2 + 4. Let o be y(5). Suppose o*x = 91 + 65. Is x a multiple of 16?
False
Suppose -4*h + 56 = -3*l + 5*l, 4*l - 5*h - 60 = 0. Is l a multiple of 10?
True
Suppose 0 = -8*t - 634 + 2026. Is t a multiple of 40?
False
Let n(l) = -7*l - 9. Is n(-5) a multiple of 5?
False
Let s = 3 + -4. Let f = 4 - s. Suppose 2*n + 18 = f*n. Does 3 divide n?
True
Let v = 4 + -8. Let g be -1*(-3 - (-2 - v)). Suppose -12 = -4*a + 3*u, g*a - 15 = -2*u - u. Is a a multiple of 3?
True
Suppose 2*x = 3*u + 4*x - 37, -8 = 2*x. Let c(t) = t**3 - 2*t**2 + 2. Let p be c(2). Let n = u - p. Is n a multiple of 8?
False
Suppose i - 6*i + 10 = 0. Suppose -6*a + 84 = -i*a. Is a a multiple of 7?
True
Suppose 0 = -5*z + 10. Let a = -11 - -12. Does 7 divide z + -1 + a - -15?
False
Suppose -5*h + 45 = -90. Does 9 divide h?
True
Let u(o) = -o**2 + 7*o + 7. Let y be u(7). Does 3 divide y*(-3)/(-6)*2?
False
Suppose -14 = 5*i - 44. Suppose 2*f - 105 = 3*h, 0 = -3*f + i*f - h - 175. Does 30 divide f?
True
Let u = 434 - 264. Does 10 divide u?
True
Suppose -5*q + a = -1, -4*a + 6 = 2*q - 3*a. Does 12 divide 73 + (-1 + q - 1)?
True
Suppose 5*g = -5*w + 285, -4*g + 2*w + 106 = -2*g. Does 20 divide g?
False
Let r = -11 - -15. Suppose 4*u + r*t = 164, 41 = u - 4*t + 2*t. Is u a multiple of 14?
False
Is 6 a factor of 6/(-33) - 431/(-11)?
False
Suppose -2 = k - 0. Is (k - 0)*3/(-2) even?
False
Let l = -19 - -23. Let d be (-2)/(-2) + (-1 - -3). Is 9 a factor of (-11)/(d + (-14)/l)?
False
Suppose 3*p - 2*m = 102 + 336, 4*p - 4*m = 584. Is 33 a factor of p?
False
Let v = -48 - -152. Is v a multiple of 26?
True
Does 25 divide (-50)/1*21/(-7)?
True
Suppose r + 2*t - 63 = 16, 0 = 5*r - 4*t - 353. Is r a multiple of 13?
False
Let v be 14 - (2 + (0 - 0)). Suppose 0 = -r - 1 + 2. Does 5 divide (0 - r) + v/2?
True
Let p = 144 + -86. Let a = p - 37. Is a a multiple of 7?
True
Let y = -29 + 56. Is (-453)/(-27) - (-6)/y a multiple of 9?
False
Let y = -31 + 12. Let z = y + 43. Is z a multiple of 8?
True
Suppose -2*l - 2*l = -16. Suppose 3*m = -5*o + 4*m + 19, o = l*m. Suppose 0 = -o*r + i - 2*i + 84, -r - i = -24. Is r a multiple of 15?
False
Let u = 77 + -151. Let b be u/(-4) + (-3)/6. Is 13 a factor of (b/(-1) + 3)*-3?
False
Let y(a) = a**3 + 12. Does 12 divide y(0)?
True
Let m(c) = 12*c - 3. Is m(2) a multiple of 21?
True
Let u = 38 + -18. Let c = u - 16. Is 3 a factor of c?
False
Let t be (-2658)/(-30) - (-6)/(-10). Suppose -3*g + 2*i = -t - 62, 2*g = -2*i + 90. Is g a multiple of 18?
False
Suppose 5*c - 39 = -2*g - 7, 2*c - g - 20 = 0. Is c a multiple of 3?
False
Suppose 2*b + 0*b = -5*r, 2*b + 4*r = 0. Let l = b + 10. Is 10 a factor of l?
True
Let t(l) = l**3 + 8*l**2 + 8*l + 11. Does 4 divide t(-7)?
True
Let t(v) = 2*v**2 + 8 + v - 2*v - 7 + v**2. Does 4 divide t(2)?
False
Is ((-60)/(-25))/((-2)/(-5)) a multiple of 6?
True
Suppose 75 = 5*n - 110. Let r = -15 + n. Is 18 a factor of r?
False
Let y(f) = f**3 + 13*f**2 - 3*f - 17. Let w be y(-13). Does 7 divide ((-2)/(-4) + 0)*w?
False
Let g(z) = z**3 - 10*z**2 + 9*z + 3. Let t be g(9). Is 1/t + (-1064)/(-12) a multiple of 34?
False
Let a be -2 - (-5 - (-1 + 1)). Suppose 0 = 4*l - a - 29. Does 12 divide 2/l - 79/(-4)?
False
Let m = 61 + -27. Does 8 divide m?
False
Let p(a) = 2*a. Let v be p(6). Suppose -h + v = 2*h. Is 4 a factor of h?
True
Let l(v) = -v - 8. Suppose -4*y = -1 + 17, 2*n - 4*y + 2 = 0. Let b be l(n). Is (-2)/(-4)*(25 - b) a multiple of 6?
True
Suppose -3*m + 58 = 4*k - 23, 2*k + 6 = 0. Suppose -5*h + m = -3*q + 13, 5 = 2*h + q. Suppose 4*b - h*b - 22 = 0. Is 11 a factor of b?
True
Let d(l) = -5*l + 12. Is 21 a factor of d(-6)?
True
Let j(n) = n**2 + n + 4. Suppose -4*h + 0 = 16. Does 8 divide j(h)?
True
Suppose 1 = g - 3. Suppose 0*n + f = g*n - 61, 0 = 4*f + 4. Is 15 a factor of n?
True
Let f(m) be the first derivative of 2*m**3/3 - m**2/2 - m - 1. Let k be f(2). Suppose -2*o = -3*p - 3*o + 16, 22 = k*p + 4*o. Is p a multiple of 3?
True
Let i(b) = -2*b**3 - b**2 + b + 2. Let n be i(-2). Suppose -3*a + n = 0, a + 53 = -5*m + 202. Is 25 a factor of m?
False
Let p(j) = 9*j**2 - 5*j + 2. Is 11 a factor of p(3)?
False
Suppose 0 = 5*o + 4*j - 81, -3*j + j - 2 = 0. Let v = 25 + o. Suppose 3*q = q + v. Is 13 a factor of q?
False
Suppose -2*g - 5*h = -0*g + 9, 4*g - 27 = 5*h. Is g a multiple of 3?
True
Suppose 3*z = 2*z + 13. Let g(n) = 2*n**3 + 2*n**2. Let r be g(-2). Let c = r + z. Does 4 divide c?
False
Let p(o) = o**3 - 2*o**2 + 2*o + 3. Let d be p(3). Suppose s + d = -t, -t + 0*t + s = 16. Let a = -4 - t. Does 8 divide a?
False
Suppose 3 = l + 11. Is 4 a factor of (1 - l) + 6/(-6)?
True
Let l = -2 - -13. Is 8 a factor of l?
False
Let q = 228 + -26. Is q a multiple of 34?
False
Let t(i) = -i**2 - 7*i - 5. Let w be t(-6). Let q = w - 2. Does 8 divide q/4 - (-65)/4?
True
Let l(j) = j**2 - 6*j + 9. Let t be l(8). Let r = t + -15. Is 10 a factor of r?
True
Suppose -4*f - 23 + 3 = 0. Let b = f + 10. Is b a multiple of 2?
False
Let k = 232 - 112. Does 12 divide k?
True
Suppose 0 = 3*w + 2*g - 72, 5*w - 120 = -4*g + 2*g. Does 7 divide w?
False
Suppose 6 - 4 = -b. Suppose 0 = h - 0*h + 2. Is (15 - b/h) + 0 a multiple of 14?
True
Suppose 0 = 4*l + 2*n - 302, 2*n = -3*n + 5. Is 15 a factor of l?
True
Let s be 5/((-2)/(-4)*2). Let j(a) = -a**3 + 5*a**2 + 3. Let l be j(s). Suppose -136 = -p - l*p. Is 15 a factor of p?
False
Is 7 a factor of (2*3/(-6))/((-1)/7)?
True
Let a = 8 + -4. Suppose -57 = -a*r + k, 3*k - 4*k = 5. Is r a multiple of 9?
False
Let b = -16 + 5. Let i(g) = -g**3 - 11*g**2 - 4*g - 10. Is i(b) a multiple of 17?
True
Suppose -3*i + 32 = -i. Let m(a) = a + 1. Let h be m(-3). Let g = h + i. Is 14 a factor of g?
True
Suppose -i = -5*i + 12. Let h be (i - 1)*15/10. Suppose -44 - 2 = -2*d - r, h*r - 18 = -d. Is d a multiple of 12?
True
Let k be 2/5 + (-632)/(-20). Suppose -3*c = -7*c + k. Does 3 divide c?
False
Let x(f) = 7*f**2 + 13*f + 10. Is x(-5) a multiple of 15?
True
Suppose 0 = -3*l - 0 - 18. Let s be (24/(-14))/(1/(-14)). Let a = l + s. Is a a multiple of 10?
False
Suppose 0 = -2*l + 5*w + 9, -93 = -3*l - w - 37. Let r = -5 + l. Is 8 a factor of r + 3/(-1) + 0?
False
Let g(u) = u**3 - 7*u**2 - u + 1. Let x be g(7). Let a = 9 + x. Suppose -17 = -a*o + 2*s - s, -o - 3*s = 1. Is 2 a factor of o?
False
Does 3 divide 3 - (-9)/(-3) - -6?
True
Let t(y) = -3*y**3 - y**2 + 2*y - 1. Let s be t(1). Let g = s + 3. Is 2 + -1 - (-6 + g) a multiple of 7?
True
Let s(d) be the third derivative of 31/6*d**3 - 1/60*d**5 + 0 - d**2 + 0*d + 1/24*d**4. Does 21 divide s(0)?
False
Let r(w) = -3 + 0 + 14*w - 4 - w**2. Is 13 a factor of r(11)?
True
Suppose -225 = 5*g - 685. Let q = g - 14. Is q a multiple of 26?
True
Let m = 145 + -76. Is 22 a factor of 3 + (1 - 1) + m?
False
Let a(u) = u + 1. Let j(c) = -3*c - 1. Let x(w) = 5*a(w) + 3*j(w). Does 13 divide x(-6)?
True
Let b(n) = n + 1. Let y be b(-4). Suppose -4*j = -2*x - 18, -6*x - j + 9 = -2*x. Is 10*(x + y + 3) a multiple of 7?
Fa