
Suppose -4*x = -2*r + 602, -r + x - 310 = -2*r. Suppose 4*h - j + 1152 = -4*j, -h = -4*j + r. Does 10 divide h/(-15) - (-9)/15?
True
Let k(r) = r**2 + 2*r. Let t be 3*(0 + 1)*-1. Is 3 a factor of k(t)?
True
Let q(c) = -1. Let o(g) = -31*g + 1. Let w(m) = o(m) + 2*q(m). Does 14 divide w(-1)?
False
Suppose -2*k + 4*q = 34, 5*k + 96 = 3*q - 4*q. Let b = k - 1. Does 10 divide (42/(-5))/(6/b)?
False
Let w be 0/(2 + (-2)/2). Let x(b) = b**2 + b + 16. Does 16 divide x(w)?
True
Is (630/49)/((-1)/(-7)) a multiple of 18?
True
Let x(n) = -4*n + 1. Let i be x(1). Is 25 a factor of (-958)/(-14) - i/(-7)?
False
Let m(b) = -b - 6. Let w be m(-6). Suppose w*y - y - 2*i = -11, 4*y + 4*i = 40. Is 9 a factor of y?
True
Let q(g) = -g**3 + 13*g**2 + 17*g + 6. Is q(14) a multiple of 12?
True
Let j = 201 + -25. Is 11 a factor of j?
True
Let s be (-2)/(-4)*0/(-5). Suppose s = x - 5*b + 18, 2*x + 8*b - 34 = 4*b. Is x a multiple of 3?
False
Is 3 + ((-260)/(-5) - 1) a multiple of 13?
False
Let u(w) = w**3 + 3*w**2 - 3*w - 2. Let v be u(-4). Is (-2)/v - 123/(-9) a multiple of 14?
True
Is (-95)/2*(-8)/10 a multiple of 13?
False
Let g(p) = -p + 4. Let i be g(-5). Let k = -5 + i. Suppose 3 = k*a - 13. Is a a multiple of 4?
True
Let s(t) = -9*t + 10. Is 2 a factor of s(-2)?
True
Let d be 8/4 + (4 - 0). Suppose -d*v + v = -25. Suppose 3*w = 3*m + 2*m + 10, 2*w + v*m = 40. Does 5 divide w?
True
Is 2 a factor of ((-18)/(-4))/((-3)/(-6) + 0)?
False
Let n = -13 + 9. Is 14 a factor of 37 + n/((-16)/(-4))?
False
Let x(g) = 4*g - 4. Let a be x(6). Let o be 2*-1*a/(-8). Suppose -90 = 2*d - o*d. Does 15 divide d?
True
Let l = 0 + -3. Let h(n) = n + 3. Let z be h(l). Suppose z = -5*b + 12 + 3. Is 2 a factor of b?
False
Let g(h) = -2*h**2 - 4*h. Let n be g(-4). Let a = n - -34. Does 18 divide a?
True
Suppose u + 8 = -3*u. Is (31/u*2)/(-1) a multiple of 12?
False
Let z(v) = 26*v**2 + 6*v + 3. Is 11 a factor of z(-2)?
False
Let u(m) = -m**2 - 10*m - 2. Let y(h) = h**3 - 8*h**2 - 10*h + 12. Let a be y(9). Suppose 4*p - 15 = a*x + 4, 3*x + 33 = -3*p. Does 3 divide u(x)?
False
Suppose 4*b - 5*h = 369, b + 2*h - 90 = 4*h. Suppose -7*v + 5*j + 170 = -2*v, 0 = 4*v + 4*j - b. Does 10 divide v?
False
Let v be (2 + 16)*21/(-6). Let k = 281 - v. Is k/44 + 2/11 a multiple of 8?
True
Does 9 divide (-1)/(-2)*158 + -14 + 11?
False
Let z be 2 + (2 - (0 - 2)). Let p(y) = -10*y**2 + y**2 - 2*y**2 - 11*y - y**3 + z. Is p(-10) a multiple of 13?
False
Let a be -2 - (-8 + (0 - 1)). Let y(h) = -h**3 + 8*h**2 - 8*h + 3. Let x be y(a). Is 13 a factor of x/6 + 186/9?
False
Suppose 6*q = 2*q. Suppose -12 = -2*o - q*o. Does 4 divide 0 - (-1 - o/2)?
True
Suppose 0 = 4*p - 7*p + 27. Suppose 2*o + 3 - p = 0. Is o even?
False
Suppose 0 = 3*q - 32 - 58. Suppose 0*n = -2*j - n + q, 2*j - 3*n = 14. Is 13 a factor of j?
True
Let b(m) = m**2 - 2*m - 3. Let u be b(-2). Suppose -185 = u*k + 305. Is k/(-6) + (-1)/3 a multiple of 8?
True
Let m(t) = 2*t - 2. Does 5 divide m(6)?
True
Suppose -5*o + 4*o = -19. Does 3 divide o?
False
Let z be (-21)/(-27) + 2/9. Does 14 divide (9/(-3) - -42)*z?
False
Let r = -4 - -8. Suppose -r*c - 4*f = -76, -72 = -4*c + f - 4*f. Does 13 divide c?
False
Suppose 69 = b - 2*m + 3*m, -4*b + 249 = -5*m. Does 22 divide b?
True
Suppose 4*t - 1 = 11. Suppose -t*u + 25 = 2*u. Is u a multiple of 3?
False
Let f be ((-4)/(-6))/(2/(-69)). Let t be -2 + f - 1*-1. Is 21 a factor of ((-90)/t)/(2/16)?
False
Let k(p) = -9*p - 12*p - 1 + 6*p. Let v be k(-7). Suppose -v + 24 = -4*y. Is 20 a factor of y?
True
Suppose -10*n - 87 = -13*n. Does 8 divide n?
False
Let b be (2/4)/((-3)/30). Let f be (-98)/6 + b/(-15). Let o = -11 - f. Is o a multiple of 5?
True
Suppose 7*o - 194 = 114. Is o a multiple of 5?
False
Suppose 8 + 4 = 4*v. Suppose v*x = -o + 277, -5*x + 459 = 6*o - 3*o. Suppose 3*w + 21 - x = 0. Is 12 a factor of w?
True
Let b(o) be the first derivative of o**2 + 1/4*o**4 - 3*o + 5/3*o**3 - 4. Does 5 divide b(-4)?
True
Suppose -5*b + o = -2*b - 5, 5*b - 4*o = 6. Suppose s = -b*s - 12. Let w = s - -9. Is w even?
False
Let g = 21 + -4. Suppose -5*j = c - g, -4*c - 3*j + j + 122 = 0. Suppose -w + k = -c, 4*w - 4*k - 92 = w. Is 11 a factor of w?
False
Let b(z) = 8*z**2 + z - z**2 - z**2. Let s be (-63)/28 + 2/8. Is b(s) a multiple of 11?
True
Let h(n) = n**3 - 6*n**2 - 12*n + 9. Does 15 divide h(8)?
False
Suppose 0 = 5*a - 4*u - 0*u - 50, 3*a + 7 = -5*u. Let q(w) = w - 6. Let n be q(a). Suppose n = -z + 4*g + 46, z + 4*g - 24 = -2. Is z a multiple of 16?
False
Let y = 3 - 3. Let u be (-2)/2 - (-1 - y). Suppose -4*t + 91 + 85 = u. Does 16 divide t?
False
Is 9 a factor of (-2)/(-7) + 1496/56?
True
Let b = -69 - -111. Does 6 divide b?
True
Let f(s) = -3*s + 6. Let p be f(6). Let a = p - -31. Is 19 a factor of a?
True
Let g(h) = -h**2 + 5*h + 11. Let i be g(6). Does 4 divide 91/i + (-6)/30?
False
Let j(i) = -3*i**3 + i**2. Let k be j(-1). Suppose 0 = m - k*z - 12 - 6, -z = -5*m + 14. Is 6 a factor of 0 + m + 6 - -2?
False
Let b = -5 - 2. Let n = 14 + b. Does 3 divide n?
False
Suppose 259 - 655 = -9*o. Is 7 a factor of o?
False
Suppose -3*y = -0*y - 318. Suppose -82 - y = -4*h. Is h a multiple of 7?
False
Is 20 a factor of 1/(-6) - 121/(-6)?
True
Let o(j) = j**3 + 5*j**2 - 6*j. Let a be o(-6). Suppose 2*z = -a*z + 54. Is z a multiple of 9?
True
Let q(w) = w - 5. Let l be q(0). Let h be -3 - l - -1 - -7. Does 11 divide (-165)/(-6)*12/h?
True
Let s = 11 - -194. Suppose 0 = 4*l + 2*x - 164, -7*l + 2*l + 3*x = -s. Is l a multiple of 13?
False
Let i be 2/(-1) + -6 + 2. Is 17 a factor of i/(-4) + (-282)/(-4)?
False
Let s(m) = -m**3 + 8*m**2 - 8*m + 6. Suppose 34 = 5*q + 4. Is s(q) a multiple of 10?
True
Suppose 2*h - 1 = 7. Does 9 divide (-54)/h*(-12)/9?
True
Let l = 4 - 2. Suppose l*m + m = 12. Suppose -m*b + 2*b + 38 = 0. Is 19 a factor of b?
True
Let l(x) be the first derivative of x**4/4 - x**3 + 2*x**2 - 6*x + 3. Is 14 a factor of l(5)?
False
Suppose -2*v + 17 = 3*z, -4*z = -0*z + 5*v - 32. Suppose 0*x - z*x = -30. Is x a multiple of 10?
True
Suppose 4*y = -4*a + 3*y + 20, 4*y - 5 = -a. Suppose -a*u = -10*u + 90. Is u a multiple of 6?
True
Let h = -1 + -6. Let o(q) = -q**3 - 7*q**2 - 3*q - 5. Is o(h) a multiple of 5?
False
Let a(v) = 3*v + 2. Is 7 a factor of a(23)?
False
Suppose -2*w = 2*p - 14, 3*w - 2*p + 0*p - 46 = 0. Suppose 0*u - w = -2*u. Is 3 a factor of u?
True
Suppose 1 + 31 = 4*r. Let h = r - 11. Is 3 a factor of (-8)/(-3)*(6 + h)?
False
Suppose -5*i + 1610 = -3*i. Let h = i - 503. Is 10 a factor of 8/36 - h/(-18)?
False
Suppose 5*z + 2*b = 28, 7*z = 2*z + 5*b. Let g(r) = r**2 - r + 2. Does 7 divide g(z)?
True
Let q be 1/(-5) - (-128)/40. Let x be (22/q)/((-2)/3). Let t = 1 - x. Does 12 divide t?
True
Let f = 4 - -1. Is (f/2)/((-3)/(-30)) a multiple of 11?
False
Let k be (-8)/(-12) + (-61)/(-3). Suppose -c + 6 = r + 3*c, -r = c - k. Does 13 divide r?
True
Suppose 4*w - 66 = w. Is 18 a factor of w?
False
Let h = 15 + -4. Is 4 a factor of h?
False
Let m(z) = -z**3 - 10*z**2 - 2*z - 11. Let j be (-2)/(-7) + (-5)/(-7). Let n be (6 + 4)*(-2 + j). Does 3 divide m(n)?
True
Let x = -15 + 11. Does 14 divide x/(-8) + 55/2?
True
Let n(t) = -2*t**2 - 4*t. Let u be n(-6). Let w = -26 - u. Let z = w + -14. Does 4 divide z?
True
Let i be (3 - 2)*1 - -4. Let t = i - 3. Suppose t*p - 100 = -0*p. Is 18 a factor of p?
False
Let i(j) = 21*j - 5. Is 13 a factor of i(4)?
False
Suppose -3*n - 17 + 44 = 0. Suppose n = z - 1. Is z a multiple of 5?
True
Suppose 0 = -z - 4*z - f - 16, 5*f + 14 = -3*z. Let o = 21 - z. Is 15 a factor of o?
False
Let p(t) = -t**3 + 12*t**2 - 7*t - 3. Let f(d) = d**3 - 11*d**2 + 7*d + 2. Let c(s) = 6*f(s) + 5*p(s). Does 4 divide c(5)?
False
Is (-7 - 6)/(2 - 3) a multiple of 3?
False
Let w(v) be the first derivative of v**3/3 - 3*v**2 + 6*v + 2. Does 9 divide w(7)?
False
Let m be 2/(20/(-7) - -3). Let u(o) = 4*o - 15. Is 17 a factor of u(m)?
False
Suppose -5*k - 12 = 4*t, t + 2*k - 2 = -5. Is 10 a factor of t*(0 - (-10)/(-3))?
True
Let k be -1*(-2 - -1)*0. Suppose k = 4*o - 159 + 59. Does 5 divide o?
True
Let i = 3 + 1. Suppose 6 = -4*f - 2*g - 0, -2*f = 5*g + 15. Suppose i*q - 3*q - 26 = f. Is q a multiple of 18?
False
Suppose -6*d = -5 - 43. Is 4 a factor of d?
True
Let n(s) = s**3 + s**2 - s - 1. Let 