 7 a factor of h?
True
Let v(y) = -y**3 - 5*y**2 - 3*y - 5. Let w be v(-5). Let s = 14 - w. Suppose -5*g + 50 = s*h, -4*g = -2*g + h - 20. Does 9 divide g?
False
Is 30 a factor of -2*(0 + (-298)/4)?
False
Let s be (-2 - -4) + (-22 - 2). Does 13 divide 2/(-11) + (-1170)/s?
False
Let u = 12 - 10. Suppose u*h = h + 19. Is h a multiple of 8?
False
Suppose 5*c - 40 = 4*c. Does 20 divide c?
True
Suppose -15*o + 24*o - 927 = 0. Is o a multiple of 15?
False
Suppose -111 = -2*k - 11. Suppose 155 = 5*t - 5*l - k, 2*l = -4*t + 188. Does 13 divide t?
False
Let c be 3 - 1/((-3)/(-6)). Let r = 3 + c. Suppose 5*w - 50 = -5*s - 10, -r*s + 3*w + 18 = 0. Is 4 a factor of s?
False
Suppose 0 = -5*y - 5*o, 2*o + 4 + 5 = y. Let p(g) = g**3 - 3*g + 2. Is p(y) a multiple of 10?
True
Suppose 0 = -2*z - z. Suppose z = -4*j + 61 + 15. Does 9 divide j?
False
Let p be (20/(-6))/(-5)*-9. Let q(i) = -3*i + 3. Is q(p) a multiple of 14?
False
Let t be ((-3)/(-6) + 0)*10. Does 9 divide 43/t + (-10)/(-25)?
True
Let j(y) = -y**2 - 2*y + 4. Let h be j(-3). Suppose 3*r - 7 = -h. Suppose w - 33 = -r*w. Is 7 a factor of w?
False
Let r = -292 + 490. Suppose -5*d + r = -122. Does 21 divide d?
False
Suppose -5*y + 3*y - 20 = 0. Let m be 30/(-12)*16/y. Suppose -p + 150 = m*p. Does 15 divide p?
True
Suppose 3*g + n = 1077, n - 3*n = -3*g + 1086. Suppose h + 507 = 5*z + 177, 5*z - g = -5*h. Is 24 a factor of z?
False
Let d be (-1)/1 + 0 - -8. Suppose 5*h - d = 3. Is 17 a factor of 2644/52 - h/(-13)?
True
Let j = 17 - 23. Let z(t) = t**3 + 7*t**2 - 6. Does 15 divide z(j)?
True
Let k be 75/5 - (-1 - -1). Let a = 17 + k. Is 16 a factor of a?
True
Let w(x) = -x**2 + 6*x - 2. Let i be w(5). Suppose -u = -i, 34 - 12 = -5*s + 4*u. Does 11 divide s + 12 + 2 + -1?
True
Suppose -3*f + 44 = -85. Let r = f - 10. Is 11 a factor of r?
True
Suppose -4*k = -3*h - 96, k - 5*k + 96 = 4*h. Is 12 a factor of k?
True
Let b(o) = -o**3 + 12*o**2 + 2*o + 15. Let z be b(12). Suppose z = 2*x + 3*q, 0*x - 4*q + 76 = 4*x. Is 17 a factor of x?
False
Suppose c + 2*c = -27. Is 12 a factor of (-222)/c + 2/(-3)?
True
Suppose -1375 = -5*l - 2*m, -930 = -4*l + 5*m + 170. Is 11 a factor of l?
True
Let l = 1 - -1. Suppose 3*h - 70 = -4*u, -4*h + 24 = l*u - 86. Let a = h + -4. Does 13 divide a?
True
Let h = 44 - 5. Is h a multiple of 8?
False
Let p be ((-7)/(-21))/(2/6). Does 7 divide (-1*p)/(4/(-84))?
True
Suppose -j = -0*j + 5. Let l be (-103)/j - 6/(-15). Is 3 a factor of (12/14)/(3/l)?
True
Let s(l) = 21*l - 41. Does 31 divide s(10)?
False
Suppose -54 = -t - 4*m, -t - 4*m = -2*m - 54. Is 27 a factor of t?
True
Let v(a) = -a**2 + 8*a + 3. Let z be v(8). Suppose 5*r = -5*b - 10, b + z*b + 22 = 3*r. Is 13 a factor of 0*r/(-6) + 30?
False
Let y = -6 - -4. Let d = y + 5. Suppose 2*z = d*n - 14, -17 = -4*n - z - 2. Is n a multiple of 4?
True
Let a(t) = -t**3 - 5*t**2 - 6*t - 1. Let c be a(-4). Let z(w) = w**2 - 3*w - 4. Is z(c) a multiple of 12?
True
Suppose 0*f + 3*f - 24 = 0. Let n be (f/1)/(-1) - 0. Let x(d) = d**2 + 7*d - 1. Does 7 divide x(n)?
True
Does 6 divide (-4)/(-6) + 170/15?
True
Suppose -3*x - 46 = 2*y + 64, 220 = -5*x + 4*y. Does 34 divide (-78)/(-4)*x/(-6)?
False
Let d be (-3 - 1)/((-4)/6). Does 10 divide 6/(-9) + 100/d?
False
Let u(y) = 12*y + 3. Is 15 a factor of u(1)?
True
Does 5 divide 71/1 + (-24)/(-3 - 3)?
True
Suppose -4*b + 78 = 2*n, 4*n - 3 = 1. Is b a multiple of 19?
True
Let g(t) = -9*t + 3. Let p(i) = 4*i - 1. Let v(f) = -3*g(f) - 5*p(f). Does 20 divide v(8)?
False
Does 23 divide ((-9)/(-18))/(2/272)?
False
Let c(m) = m**3 - 6*m**2 + 7*m - 2. Let g(k) = -k**2 - 7*k - 1. Let s = -14 - -8. Let t be g(s). Does 8 divide c(t)?
True
Suppose y + 15 = 14. Let v(a) = -20*a**3 - 2*a**2 - 3*a + 3. Let n(f) = 19*f**3 + f**2 + 2*f - 2. Let p(g) = -3*n(g) - 2*v(g). Is 9 a factor of p(y)?
True
Suppose l + 4 = 5*j + 2, 5*l = -4*j + 19. Suppose -20 = -c - 4*q, 0 = -l*q + 9. Is c a multiple of 3?
False
Suppose -2*p + 4*p - 6 = 0. Suppose 19 = 3*a - j, 3*a - 1 = 4*j + p. Is a a multiple of 4?
True
Let p = -109 - -182. Does 14 divide p?
False
Let c be 2/3 + 644/6. Let h = c - 42. Is 11 a factor of h?
True
Let h = -4 - -48. Is 22 a factor of h?
True
Let a = 8 + -8. Suppose 2*y - 4*y + 30 = a. Is 5 a factor of y?
True
Suppose 4*l + 27 = 267. Does 12 divide l?
True
Let z be -1 + -1 - (-90 + -1). Suppose -5*q + 3*q - 62 = 2*t, 0 = 3*q - t + z. Is 3 a factor of (18/(-10))/(6/q)?
True
Suppose -5*k - 337 = -m, -k = 5*m - 0*k - 1555. Does 8 divide m?
True
Let g(u) = u**2 + 2*u + 24. Is 24 a factor of g(10)?
True
Let z(b) = b + 5. Let f be z(-5). Suppose 4*m + m - 85 = f. Is m a multiple of 6?
False
Suppose -105 = -0*h - 5*h. Suppose -3*l - q = -2, 4*q - h = -l + 2*l. Does 5 divide 9/(-6)*6/l?
False
Is 13 a factor of (4/(-10))/(2/(-170))?
False
Let o(h) be the first derivative of h**2/2 + 11*h - 1. Suppose -5*g - 4*n + 45 = 0, -5*g + 4*n + 22 + 23 = 0. Does 9 divide o(g)?
False
Let h be 5*(-5)/(75/(-6)). Is 3 a factor of -3 - (-1 - 18/h)?
False
Suppose 4*h = 0, -5*n - 9 + 34 = 2*h. Suppose -o + n = -4. Is 9 a factor of o?
True
Let q be 1/1 - (4 + -3). Suppose q = v - 13 - 111. Suppose 94 = 4*p + 5*m, 15 - v = -5*p - 2*m. Does 10 divide p?
False
Let i = 36 + 81. Does 13 divide i?
True
Suppose -l + 2*l = 40. Is 5 a factor of l?
True
Let z(o) = o - 16*o - 13 + 7*o. Does 7 divide z(-6)?
True
Let g(w) = 6*w**2 + 7*w + 4. Let u be g(-4). Suppose -2*t = -3*t + u. Is 23 a factor of t?
False
Suppose f + 3*u = 14 - 11, -21 = -3*f - 3*u. Is 9 a factor of f?
True
Let n(p) be the third derivative of p**6/120 - p**5/15 - p**4/6 - p**3/2 + 3*p**2. Let c be n(6). Let i = c + -27. Does 9 divide i?
True
Suppose 12 = 3*y - y. Let q(g) = g - 10. Let f be q(11). Let o = y + f. Is o a multiple of 7?
True
Suppose -4*d + 118 = -5*d. Let s = d - -202. Suppose 0 = -3*t - 0*t + s. Is t a multiple of 14?
True
Suppose -3*t + 5*q + 78 = 0, 5*t - 2*q - q = 114. Is 21 a factor of t?
True
Suppose -16*q = -12*q - 140. Is 11 a factor of q?
False
Suppose -b = b + q - 34, 5*q = -2*b + 34. Is b a multiple of 3?
False
Let s be -1 + 6/(1 - -1). Suppose -u = -4, s*o + 28 = 3*o + 4*u. Let r = o + -2. Is r a multiple of 5?
True
Let t be 14 - 2 - (-2 + 5). Let w = 3 + t. Is w a multiple of 3?
True
Suppose 10 = -0*o + 5*o. Suppose 0 = 5*y - o*y - 117. Is y a multiple of 13?
True
Let w = -43 - -66. Let x = 14 - w. Let n = -5 - x. Is 2 a factor of n?
True
Is 16 a factor of (12/10)/((-12)/(-390))?
False
Suppose 12*u - 1411 = 629. Does 17 divide u?
True
Suppose 3*p = -5*f + 133 + 112, 0 = -p + 3*f + 77. Does 20 divide p?
True
Suppose 7*x - 10*x + 96 = 0. Does 17 divide x?
False
Let k(a) = -2*a. Let c be k(-3). Suppose -2*q - c - 8 = 0. Let t = q + 14. Does 7 divide t?
True
Suppose 4*z - 17 = -5. Does 4 divide (-5)/((-5)/z) - -2?
False
Let a(f) = f + 79. Does 3 divide a(-33)?
False
Suppose 9*k + 20 = 10*k. Is 11 a factor of k?
False
Suppose 4*r = 3*r + 3. Suppose -o - r*o - 2*g + 116 = 0, -20 = 5*g. Does 13 divide o?
False
Suppose -2*q - q + 3*h = 0, 0 = 5*h. Suppose j + q*j = 17. Is 9 a factor of j?
False
Let q(m) = -m**3 - 8*m**2 - 11*m - 7. Suppose -y = 4 + 3. Is 21 a factor of q(y)?
True
Suppose -5*d + 1345 = -3*l, 2*l + 32 = d - 230. Is d a multiple of 16?
True
Let v(b) = 2*b**2 + 4. Let h(a) = a**2 - a. Let t(d) = 3*h(d) - v(d). Let p = 34 + -29. Is 4 a factor of t(p)?
False
Let v = -1233 + 810. Is v/(-27) + 2/(-3) a multiple of 15?
True
Let b(f) = f**2 + 3*f + 1. Let l be b(-4). Let w = 0 + 1. Suppose -s = w - l. Does 4 divide s?
True
Let w(b) = -b**3 - 13*b**2 - 9*b. Is 9 a factor of w(-13)?
True
Let g be 12/3 - 3/1. Let a be g/(((-2)/2)/(-6)). Suppose -p + a*p - 75 = 3*z, -4*p = 4*z - 28. Does 7 divide p?
False
Suppose -q + 5*u - 11 = -3, -q - 4 = -u. Is 2 a factor of (-10)/q*(-3)/(-2)?
False
Suppose -2*j - 6 = 0, -7*h + 2*h = 2*j + 11. Let t be (1/(-2))/(h/10). Suppose -4*f = 5*a - 30, t*f + 5*a - 2*a - 44 = 0. Is f a multiple of 5?
True
Let b(q) = q + 5. Let s(o) = 4*o - 12. Let x(n) = 5*n - 13. Let a(p) = -6*s(p) + 5*x(p). Let k(y) = -5*a(y) + 8*b(y). Is k(7) a multiple of 11?
False
Let j(g) = -g + 12. Let t be j(8). Is 8 a factor of 75/4 + 1/t?
False
Is 21 a factor of (-57)/(4 + 19/(-4))?
False
Is (2*-2)/(-4) + (5 - 3) even?
False
Suppose 3*r - 11 - 3 = d, -5*r