6 divide v?
True
Let g = 43 - -1. Is 22 a factor of g?
True
Let u = 4 - 2. Suppose -3*d = -3, -17 - 4 = -u*y + 5*d. Is 13 a factor of y?
True
Suppose 2*o - 20 = -3*o. Let t be (1*-2)/(o/(-48)). Suppose 0*f + t = 2*f. Is 7 a factor of f?
False
Let s(t) = t**2 - 4*t + 2. Let q be s(6). Does 14 divide (q/(-8))/((-1)/8)?
True
Let g(f) = f**3 + 9*f**2 + 8*f - 2. Let d be g(-8). Let x be (-5)/d*(-24)/(-20). Does 6 divide (2 - x) + 13*1?
True
Let y = -2 - -18. Suppose -7 - y = -v. Suppose h - v = 1. Does 12 divide h?
True
Does 25 divide (-44 + 5)/(2/(-4))?
False
Let z be (4/(-6))/((-6)/45). Suppose -7*d - 78 = -4*d + 2*g, 0 = -z*g. Let x = 39 + d. Is 10 a factor of x?
False
Is (-4 - 0/(-2)) + (-11 - -42) a multiple of 9?
True
Let w = -104 + 200. Suppose -3*u = r - 15 - 17, 0 = 5*r - u - w. Let t = 65 - r. Does 18 divide t?
False
Let f be (-3)/(3 + -2) + 2. Let g be 5/((-15)/18) - f. Does 4 divide g/10 - 9/(-2)?
True
Let m = 296 - 160. Is m a multiple of 13?
False
Let y(i) = -7*i**2 - i - 6. Let m(c) = -4*c**2 - 3. Let z(q) = -5*m(q) + 3*y(q). Let f be z(-2). Is (40/(-5))/(2/f) a multiple of 4?
True
Suppose -5*p - h = -434, 4*p + 4*h = 3*h + 348. Let t = -38 + p. Is 12 a factor of (-2 - 2)/2 + t?
False
Let i(l) = 6*l - 10. Does 8 divide i(7)?
True
Suppose 3*s - 22 + 5 = -4*o, 5*s + 2*o = 19. Suppose -g = 0, -h = s*g - 19 + 7. Is 12 a factor of h?
True
Suppose 0 = d + 5*d - 30. Is 72/60*d*1 even?
True
Let m(d) = -d**2 + 3*d - 48. Let s(g) = g**2 - g - 1. Let c(n) = -m(n) - 2*s(n). Suppose -2*q - o - 3*o = -12, -2*q - 15 = -5*o. Does 20 divide c(q)?
False
Let a = -25 - -43. Is a a multiple of 9?
True
Is 19 a factor of (79 - 1) + 2/(-1)?
True
Let x(z) = z**3 + 4*z**2 - 8*z - 6. Let r be x(-5). Suppose -12*w = -r*w - 270. Does 30 divide w?
True
Suppose -10*p - 336 = -14*p. Is p a multiple of 13?
False
Let h be (-39)/2*12/(-18). Let g = h + -5. Does 4 divide g?
True
Suppose 5*n - 4*n = 7. Is 5 a factor of (-10)/(-8)*(11 - n)?
True
Suppose 3*v + 113 = -2*j + 311, -2*v = -j - 132. Does 22 divide v?
True
Suppose 2*r + 7 = -x, 0 = -3*x - 6*r + 4*r - 5. Does 4 divide 33/4 + x/(-4)?
True
Suppose 2*r + 107 = 323. Suppose -r = -11*c + 8*c. Is 18 a factor of c?
True
Suppose 4*w - 50 = 102. Does 7 divide w?
False
Suppose p = -4*p + 30. Suppose 5 = q, 25 = k + 2*q - p. Is 21 a factor of k?
True
Let u(o) = 7*o - 1. Does 2 divide u(1)?
True
Suppose -3*x + 2*n + 218 = 0, -3*x = -7*n + 3*n - 214. Is 12 a factor of x?
False
Let l = 603 + -350. Is 16 a factor of l?
False
Suppose -s - 2*s = -15. Suppose 2*c - s*z = -3 + 4, 5*c - 37 = z. Is 5 a factor of c?
False
Let a(h) = -47*h**2 + h. Let s be a(-1). Suppose q + 342 = 5*j, 4*j - 3*q = -5*q + 268. Let b = j + s. Is 7 a factor of b?
False
Let l(n) = -n**3 + 6*n**2 - 4*n - 2. Let w be l(5). Let c = 5 - w. Suppose 60 = c*h + h. Does 10 divide h?
True
Let i(j) be the first derivative of 2*j**3/3 + j**2/2 - 6*j - 10. Is 10 a factor of i(-6)?
True
Suppose -o = 5*i - 3*i - 36, i = o - 30. Is 8 a factor of o?
True
Does 40 divide (-6)/(-48) - 959/(-8)?
True
Let g(q) = 7*q + 17. Let h(a) = -4*a - 9. Let l(d) = 3*g(d) + 5*h(d). Let w be l(-6). Suppose w = c - 4*c + 60. Is 9 a factor of c?
False
Let c(a) = -a**2 - 9*a + 14. Let l be c(-10). Suppose r - l*r = -72. Is 8 a factor of r?
True
Let i = -12 - -15. Let l(h) = 2*h**3 - 2*h**2 + h + 4. Is 13 a factor of l(i)?
False
Let h(g) = g**3 + 9*g**2 + g - 5. Is h(-8) a multiple of 13?
False
Suppose 2*d + m - 2 - 3 = 0, 0 = -d - 5*m - 11. Suppose i - d = 5. Is 9 a factor of i?
True
Let h be (-4)/(-2 - 12/(-8)). Suppose -l + h = -26. Does 18 divide l?
False
Let w = -41 - -76. Let g = w + -20. Does 10 divide g?
False
Suppose 0 = -5*a + 140 - 55. Let y be a + (4 + -3 - -1). Suppose y + 9 = 2*h. Is 10 a factor of h?
False
Let z be (-6)/(-9) + 2/(-3). Let v be -6 - (z + 1*-2). Let t = 25 + v. Is t a multiple of 9?
False
Let v be 4*1/(-5)*-5. Suppose 53 + 43 = v*b. Is 12 a factor of b?
True
Let j(n) = n**2 + 1. Let t be j(0). Let f = 19 + t. Suppose r + r = f. Is 4 a factor of r?
False
Let o(b) = 10*b - 7. Let x = 3 - -2. Let y be o(x). Suppose 4*p + 4*v - 33 = y, 0 = -v. Is p a multiple of 11?
False
Let o be 4*2 - (9 - 6). Suppose -o*q = -49 - 41. Is 9 a factor of q?
True
Let d = 47 - 29. Is 18 a factor of d?
True
Suppose 4*n - 1230 = -3*x + 5*x, -290 = -n - 3*x. Does 33 divide n?
False
Let n be (-217)/(-21) - 4/(-6). Let w = n - 7. Suppose c = 1, -y + w*y = c + 17. Does 3 divide y?
True
Let y(g) be the first derivative of -g**3/3 + 5*g**2/2 - 2*g - 1. Let r be y(4). Suppose 6*c = r*m + c - 25, -42 = -3*m + 3*c. Does 15 divide m?
True
Let u = 10 - 10. Suppose u*k - 24 = -4*k. Does 4 divide k?
False
Let s = 62 + 18. Is 16 a factor of s?
True
Let s(j) = 4*j + 24. Does 9 divide s(3)?
True
Suppose -153 = -2*s - s. Does 7 divide s?
False
Suppose 2*r = -0*r + 150. Is 25 a factor of r?
True
Let b be 2/8*-2*2. Let n be (-1 - -5)/(b + 3). Let r = n + 23. Is 11 a factor of r?
False
Does 3 divide (49 - (5 - 7))/1?
True
Suppose 3*q - 10 - 2 = 0. Suppose 4*t - 2*f = 224, -q*t + 0*t + 200 = 4*f. Is t a multiple of 15?
False
Let l be (-4)/(-2) - 2/(-1). Suppose -5*i = 2*y - 57, -l*y + 4*i - 18 + 62 = 0. Suppose c - y = 5. Is 11 a factor of c?
False
Let g(y) = -12*y + 3. Let t be g(-4). Suppose -t = -4*w + 89. Does 11 divide w?
False
Let j be (-6)/(9/(-6) - 0). Suppose -72 = -2*u - j. Does 17 divide u?
True
Let b(x) = x**2 + 4*x - 8. Let j be b(-6). Suppose -j*n + 56 = -0*n. Is n a multiple of 7?
True
Suppose 167 = 4*i - 165. Is 22 a factor of i?
False
Let y(z) = -2*z**3 - 2*z**2 + 1. Let s be y(-1). Let p be (-5)/(5/(-12)) - s. Let h = p - 1. Is h a multiple of 9?
False
Suppose 5*z = -2*x + 50 - 20, 4*z - 5*x - 57 = 0. Suppose 3*m - 5*a = 10 - 3, -5*m - 5*a = -65. Let v = m + z. Is 17 a factor of v?
True
Suppose 5*u + 365 = 4*f, -4*f + 4*u + 600 = 236. Is 30 a factor of f?
True
Let h(k) = k**3 + 8*k**2 + 7*k + 10. Let a be h(-7). Let j = 20 - a. Does 5 divide j?
True
Suppose -3*q + 132 = 3*n + q, 3*q = -5*n + 231. Is 6 a factor of n?
True
Let s(t) = 2*t + 1. Let f be s(3). Suppose -4*z = 3*n - f*z - 123, 4*z = -n + 26. Is n a multiple of 19?
True
Let g(f) = -14*f**3 + 3*f**2 - 4. Does 30 divide g(-2)?
True
Is 240/(-50)*20/(-6) a multiple of 8?
True
Let c(z) = -z**3 + 13*z**2 - 11*z + 10. Does 11 divide c(12)?
True
Is 22 a factor of (-11)/((-33)/18)*11?
True
Let w be 688/56 - (-2)/(-7). Suppose 8*z = w*z - 92. Is 11 a factor of z?
False
Let a(o) = 61*o - 10. Let s be a(9). Suppose 0*w = 3*j + 2*w - s, -913 = -5*j + 4*w. Suppose -4*z + 196 = 4*f, 0 = -f - 3*f - z + j. Is f a multiple of 19?
False
Let v(j) = -j**2 + 3*j - 1. Let z be v(4). Is 8/20 + (-268)/z a multiple of 25?
False
Let k = 54 - 0. Is k a multiple of 27?
True
Let n = 82 + -59. Let w = -5 + n. Suppose 6*z = 3*z + w. Is z a multiple of 3?
True
Let v(j) = 5*j - 9. Let k be v(6). Suppose -4*x + 141 = k. Is x a multiple of 8?
False
Let f(a) = a**3 - 7*a**2 + 8*a - 8. Let l be f(6). Let i(d) = d**2 - 6*d - 7. Let z be i(7). Suppose n + z*m - 14 = -l*m, 4*n + 3*m = 56. Is n a multiple of 14?
True
Suppose -2*q = 4*k + 15 + 1, -3*q = 2*k + 8. Suppose q = -14*w + 9*w + 30. Does 3 divide w?
True
Let s(u) be the third derivative of 7/6*u**3 + 0*u - 1/24*u**4 + 0 + 2*u**2. Does 12 divide s(-5)?
True
Does 30 divide (-25 - -1)/(2/(-3 - 17))?
True
Let f(l) = -16*l**3 - 2*l**2 + l + 2. Is f(-1) a multiple of 2?
False
Suppose -2*y = -2*i - 16, 2*i = 4*y - 3*i - 33. Is y a multiple of 3?
False
Let y = 0 - -3. Let n(b) = 1 - 6 + 2*b**2 + 4*b**3 - 3*b**3 + 1 - b. Is 19 a factor of n(y)?
True
Let f = 51 - 23. Does 15 divide f?
False
Does 2 divide ((-25)/(-20))/((-2)/(-24))?
False
Let w be (-1 - 2)*1/(-3). Suppose -2*u - 2 = -d, -2*u + 5*u + w = d. Is 9 a factor of 18/(-4)*(u + -3)?
True
Let t(a) = 2*a + 42. Does 16 divide t(0)?
False
Let c = 212 - 122. Suppose 2*s - s = c. Suppose -2*w + l = -6*w + s, 0 = -4*w + 2*l + 84. Is 11 a factor of w?
True
Suppose -5*a - v - 3 = -19, -5*v = -4*a + 7. Suppose -w - s = -3*s - 11, a*w + s = -2. Is w + 0 + -2 + 27 a multiple of 13?
True
Suppose -5*f = -3*k - 13, k - 1 = 2*k. Let s be 9/2 - f/4. Suppose 3*z + s*q - q = 57, 3*q = -3. Is 10 a factor of z?
True
Let t = -5 - -10. Suppose 0 = -t*a - 3*v + 69, a - 7 + 2 = -5*v. Is 1