-19 + 44. Suppose 0 = -g - 5 + w. Is 9 a factor of g?
False
Suppose -6*x + 126 = -3*x. Let v = x + 9. Is v a multiple of 15?
False
Let p(t) = t**2 - 8*t - 1. Suppose -3*n + 1 = -26. Is p(n) even?
True
Suppose -4*t = -38 - 74. Does 28 divide t?
True
Let s(k) = k**3 - 4*k**2 + 3*k - 3. Let c be 6/((-36)/(-8) + -3). Is s(c) a multiple of 3?
True
Let r be (-1)/(9/12 - 1). Suppose -2*v - 72 = -r*v + 2*l, 2*l = -5*v + 159. Does 11 divide v?
True
Suppose -161 = -b - 5*p, -3*p + 575 - 104 = 3*b. Is b a multiple of 39?
True
Let g(h) = h**3 + 7*h**2 + 6*h + 6. Let t be g(-6). Does 3 divide t/(-15) - 111/(-15)?
False
Suppose -2*t = -10*t + 1512. Does 37 divide t?
False
Suppose 4*f - 20 = 4*i + 376, 0 = 5*f - i - 515. Is 24 a factor of f?
False
Suppose 5*h - 415 = -3*o, 0 = -5*o + 2*h - h + 701. Does 14 divide o?
True
Let h = 34 + -28. Is h even?
True
Let w(i) = -8*i**2 + 3*i - 1. Let x be w(2). Let v be (-4)/(-18) + 465/x. Let n = v - -31. Does 8 divide n?
False
Suppose 2*d - 25 - 9 = -2*a, -4*a + 4 = 0. Suppose -w + 11 = -d. Suppose 4*f = 4*j - 116, 2*f + w + 89 = 4*j. Is 11 a factor of j?
False
Suppose -18*t + 10080 = 3*t. Does 30 divide t?
True
Let n(w) = -w - 6. Let h be n(-2). Let v = 1 + 0. Is (6*(-6)/h)/v a multiple of 9?
True
Suppose 2*z + z - 2*j - 8 = 0, -11 = -5*z + j. Let m(g) = -5*g**2 + 34*g**3 - z*g + 1 + 7*g**2 + 0. Does 16 divide m(1)?
False
Is ((-8)/30)/(4/10)*-18 a multiple of 3?
True
Let n(o) = -19*o - 7. Is n(-7) a multiple of 18?
True
Let z(y) = -y**2 - 9*y - 8. Let m be z(-6). Suppose 5*t = -m, -3*w - w + t = 2. Does 2 divide -1*(-1 - (w - -2))?
True
Let n = 161 - 112. Suppose 5*a = -4*g + 2*g + n, -g + 5 = -4*a. Is g a multiple of 12?
False
Let t(f) = -f**3 - 8*f**2 - 10*f + 1. Let o be t(-7). Is o + (-2 + 4 - 2) a multiple of 22?
True
Suppose 5*f = -2*s + 122, 4*s + f = -0*s + 262. Does 35 divide s?
False
Let j(k) = k**3 - 6*k**2 + 5*k + 5. Let g be (-5)/(-2)*(1 - -1). Is j(g) a multiple of 2?
False
Suppose -3*n + 28 = n. Let o(m) = -m**3 + 7*m**2 - 6*m + 9. Let j be o(n). Does 16 divide (-1 - 23)/(j/44)?
True
Suppose 8 = 4*q + 5*c - 4, -3*c + 15 = 5*q. Suppose 28 = x + q*x. Suppose -b = -x - 11. Is 10 a factor of b?
False
Suppose 14 + 42 = o - 4*s, -5*o + 365 = -3*s. Does 35 divide o?
False
Does 13 divide ((-1)/3)/(8/(-1248))?
True
Suppose 5*z - 4*z = 3. Suppose 0*p = -3*p + 9. Suppose z*h = -4*k + h + 70, 0 = p*k + h - 51. Does 8 divide k?
True
Suppose j - 4 = -j. Suppose j*l - 14 = 12. Is l a multiple of 11?
False
Let s be 2 + -4 + 0 + -5. Let k = s - -12. Is k a multiple of 4?
False
Let y = -2 - -5. Suppose h + 62 = y*h. Is 27 a factor of h?
False
Suppose 4*t = 6*t - 118. Does 12 divide t?
False
Let g(d) = -111*d**3 + 2*d + 1. Let r be g(-1). Suppose 3*k - 83 = c, -14 = -4*k + 4*c + r. Is 13 a factor of k?
True
Does 9 divide (-33)/(2/(-16)*6)?
False
Let f(a) = -a + 2. Let j be f(-7). Let t be (3 - j)*1/2. Let u = 7 - t. Does 5 divide u?
True
Suppose 14 = w - 15. Suppose -w = -5*f + 76. Is f a multiple of 7?
True
Suppose 0 = u - 4*u + 3, -2*g = 2*u - 312. Does 10 divide g?
False
Suppose 8 = 2*r - 28. Let z be 3*-3*3/9. Is -3*1/z*r a multiple of 9?
True
Let s = 167 + 27. Is 25 a factor of s?
False
Let v be 2/(-9) - (-562)/18. Suppose 0 = -0*j + j - v. Is j a multiple of 28?
False
Let q = 73 - 14. Let w = 105 - q. Is 21 a factor of w?
False
Suppose 4*m - 2*c - 436 = 0, -3*m + 3*c - 102 = -4*m. Is m a multiple of 12?
True
Suppose 0*z - 28 = -2*z. Does 11 divide z?
False
Let w be 3*(2 - (-8)/(-3)). Let p = 4 + w. Suppose 4*k = p*k + y + 24, k + 2*y - 22 = 0. Is 7 a factor of k?
True
Suppose -15*u + 5*u + 2460 = 0. Is u a multiple of 36?
False
Let k be 15/20 + (-25)/(-4). Suppose k*x = 11*x - 40. Does 3 divide x?
False
Let h(j) = j - 3. Let f be h(5). Does 27 divide 204/(-15)*(-7 + f)?
False
Let w(l) = l**3 + 8*l**2 + 4*l - 7. Is 28 a factor of w(-5)?
False
Let y = 9 - -23. Does 16 divide y?
True
Suppose 69 = 5*i - 126. Does 13 divide i?
True
Let q(i) = -2*i. Let y be q(-6). Let t = -7 + y. Is 3 a factor of t?
False
Let o(m) = -6*m - 33. Is o(-10) a multiple of 10?
False
Let a(c) = 0*c**2 - c - c**2 + c - 9*c. Is 8 a factor of a(-7)?
False
Let d be (-1 + -1)/(2 + -3). Suppose 0 = -6*b + 2*b + 2*h, d*b = -h. Is -6*-3*(b - -1) a multiple of 9?
True
Let m(z) = z**2 - z - 7. Is m(4) a multiple of 5?
True
Let n(h) = -2*h**3 - 4*h**2 + 2*h - 3. Let f be n(-4). Let g = f + -103. Let o = -26 - g. Is o a multiple of 12?
True
Let g = -18 + 37. Does 12 divide g?
False
Suppose 5*b = -2*a - 2*a + 271, a - 2*b = 71. Is 14 a factor of a?
False
Does 22 divide 1/(-3) - 3760/(-48)?
False
Let y be (-8)/(-10)*15/6. Let l be (1/y)/((-7)/168). Is (22/(-3))/(8/l) a multiple of 4?
False
Let p be (6/2)/((-6)/(-274)). Suppose -4*z + 319 = -p. Is 29 a factor of z?
False
Let x be -4*1/(-4)*41. Suppose -2*i = 2*b - 20, i - x = -4*i - 2*b. Does 2 divide i?
False
Suppose 3*f + 24 = 4*f. Is f a multiple of 3?
True
Let x(f) = 2*f**3 - 2*f**2 + 3*f - 1. Let u be x(2). Suppose 4*c = h - 8, -h - 1 = 5*c - 0. Is u - (-1)/(0 + c) a multiple of 12?
True
Suppose 0*l = 2*l - 3*v - 209, -3*v - 321 = -3*l. Is 7 a factor of l?
True
Let x(m) = -m**2 - 5*m - 2. Let n be x(-4). Suppose -4*s - 116 = -s + n*i, 2*s = -3*i - 79. Let t = s + 73. Is 12 a factor of t?
False
Is 14 a factor of (4 + (-37 - -5))*(-1)/2?
True
Let p(t) = -2*t + 2*t + 3 - t. Let n be p(-5). Is n/52 + 297/13 a multiple of 8?
False
Is 12*(0 - (-305)/20) a multiple of 27?
False
Let j(k) = -k - 5. Let b be j(-8). Suppose -2*g + 56 - 18 = -r, -5*r - 71 = -b*g. Is g a multiple of 17?
True
Let f(z) = 59*z**2 - 4*z + 1. Is 17 a factor of f(1)?
False
Suppose 2*o = 4*o - j - 322, 3*j - 314 = -2*o. Does 16 divide o?
True
Let k(s) = 4*s + 7. Let m be k(5). Suppose 3*y + m = 4*u - 33, 0 = 2*y - u + 45. Does 21 divide (y/(-20))/((-2)/(-70))?
True
Let l = -21 - -12. Does 12 divide l/(-3) + 105/5?
True
Suppose l + 4*t - 124 = 0, -l + 110 = -2*t - t. Let s = -70 + l. Does 11 divide s?
False
Suppose -9*h - 84 = -13*h. Is h a multiple of 17?
False
Suppose -2*r + r - 5*n = -19, 5*r + n - 47 = 0. Let w = r + -5. Does 4 divide w?
True
Suppose 0*g = 2*g + 8. Let k(f) = -6*f. Let c(m) = 6*m. Let p(t) = -5*c(t) - 4*k(t). Is 20 a factor of p(g)?
False
Let a = -47 + 89. Is 14 a factor of a?
True
Let l = 94 - 19. Is 7 a factor of (-3)/(-2) - l/(-6)?
True
Let j(g) = -g + 40. Suppose -n - 4*w + 13 = -3, 5*w - 15 = 0. Let c be 4/(-10) - n/(-10). Does 20 divide j(c)?
True
Let y(v) = 40*v - 4. Let w be y(2). Let p = -16 + w. Does 20 divide p?
True
Suppose -w - 4*w = -30. Suppose w*u = 5*u + 18. Is u a multiple of 18?
True
Suppose g = -3*w + 3*g + 144, 0 = -g. Is 12 a factor of w?
True
Let d(s) = s**2 - 1. Let a be d(-2). Let f(l) = 2*l**a - 4 - 4*l**2 + 5 - 3*l**3 + 8*l. Is f(-6) a multiple of 10?
False
Suppose 4*u - 50 = -h, 5*u + 27 = h - 23. Let w = h - 30. Does 7 divide w?
False
Let x(c) = -c**3 - 11*c**2 - 9*c + 12. Does 2 divide x(-10)?
True
Let r be (-84)/(-22) + 6/33. Suppose 13 = r*z + a, -a = z + 2*a + 5. Is 4 a factor of z?
True
Is 10 a factor of 3*-1*(-4)/(-6) + 32?
True
Let g = -51 + 109. Suppose f + 26 + g = 0. Is (f/(-18))/(2/6) a multiple of 7?
True
Let t be (0 + 75/3)*3. Suppose -3*f + 4*l - t = 47, 2*l - 112 = 3*f. Does 14 divide -2*3/3 - f?
False
Let w(d) = 58*d**2 + d. Is w(1) a multiple of 15?
False
Is (-1152)/(-120)*(-25)/(-2) a multiple of 20?
True
Let v = 70 + -14. Suppose m + v = 6. Does 2 divide (-230)/m - (-2)/5?
False
Let x(g) = -12*g + 6. Let n be x(4). Let y = n - -84. Is 21 a factor of y?
True
Suppose 5*u - s - 130 = u, -s + 94 = 3*u. Is 3 a factor of u?
False
Let u be 1/((9/(-6))/(-3)). Let z be u/(((-2)/(-2))/91). Suppose -62 = 4*x - z. Is 12 a factor of x?
False
Let z(p) = p**3 - p**2 - 2*p + 20. Does 10 divide z(0)?
True
Let p(f) be the third derivative of f**6/120 + f**4/12 - f**3/6 + 3*f**2. Let m be p(1). Suppose -w - m = -5. Is w a multiple of 3?
True
Is (-4)/(-4)*-1 + 22 + 0 a multiple of 7?
True
Let g = -32 + 23. Let i(p) = -p**2 + 2*p - 2. Let w be i(7). Let d = g - w. Is d a multiple of 14?
True
Suppose d = -16 + 6. Let w = 6 + d. Is w/((-6)/(-27)*-3) a multiple of 6?
True
Is (-18)/((-2)/((-16)/(-4))) a multiple of 15?
False
Suppose -2 = -l - 0. Suppose l*m - 38 - 26 = 0. Is 16 a factor of m?
