-3 - -2))?
False
Suppose 0 = -3*q - 0*q + 6. Suppose -25 = -q*x + 13. Does 11 divide x?
False
Suppose -89 = -4*o + 31. Let d(a) = -a**3 + 8*a**2 - 3*a - 3. Let s be d(6). Let k = s - o. Does 7 divide k?
True
Suppose g - 99 - 287 = -5*z, 8 = -2*g. Let t = z - 43. Suppose 4*x - 73 = t. Is x a multiple of 11?
False
Let t = -20 + -3. Suppose 5*f + 196 = -4*u + 3*u, 0 = -4*f + u - 155. Let m = t - f. Does 16 divide m?
True
Suppose 0*v + 3*v = 129. Does 12 divide 3 + (-1 + v)*1?
False
Is 29 a factor of ((-590)/(-4))/(-4 - (-54)/12)?
False
Let t be -1*(-1 + (-91 - 1)). Suppose t = 4*a - 99. Does 16 divide a?
True
Is 96/(1 + 3) + -2 a multiple of 17?
False
Let x(l) be the second derivative of 7*l**3/6 - 3*l. Let c be x(2). Let b = c - -1. Is b a multiple of 15?
True
Suppose -s - 1 = -5*b + 19, 3*s = 0. Suppose -x - 79 = -3*a, -x - 2*x + 101 = b*a. Does 13 divide a?
True
Let f be (-24)/(-10) - 2/5. Suppose 5*s = -3*v + 35, -f*s = 4*v - 11 - 3. Is 3 a factor of s?
False
Let t(a) be the first derivative of a**3/3 - 7*a**2/2 + 7*a - 2. Is 9 a factor of t(9)?
False
Suppose 7*d - 2*d = 20. Suppose -d*h = r - 58, -4*h - 191 = -3*r + h. Is r a multiple of 20?
False
Let w(z) = -8*z**2 - 2*z - 1. Let r be w(-1). Let q(l) = -10 - 5*l + 0*l - l. Is 13 a factor of q(r)?
False
Suppose -5*q + 2*q + 519 = 0. Is q a multiple of 36?
False
Let v(u) = -3*u - 19. Is v(-11) a multiple of 2?
True
Suppose -z - 23 = -78. Is 5 a factor of z?
True
Suppose -2*s + 5*o + 170 = 2*o, 4*o = -2*s + 142. Is 16 a factor of s?
False
Let h be (9/(-15))/((-1)/5). Suppose h*d - 36 = 2*d. Does 12 divide d?
True
Let p be (-3)/(0 + (-9)/6). Let h be ((-7)/(-2) + -1)*p. Suppose -28 = -3*v - h*n, 0 = 3*v - 0*v + 4*n - 29. Does 9 divide v?
False
Let f = -7 - -13. Is 22 a factor of (-2)/f + 725/15?
False
Suppose -5*v + 1 = 2*c, v + 2 = -c + 1. Let i = 34 + c. Is i a multiple of 16?
True
Let f = -35 + 59. Is f a multiple of 12?
True
Suppose -31 = o + 2*j, j - 166 = -0*o + 5*o. Is 46/6 - (-22)/o a multiple of 3?
False
Let v = 111 - 16. Suppose 4*c = -c + v. Is c a multiple of 10?
False
Let o(b) = 2 + 5 - b + 1. Let k be o(10). Is 10 a factor of ((-17)/(-3))/(k/(-6))?
False
Suppose c - 7*s + 5*s = 134, 5*s = 25. Is c a multiple of 13?
False
Let q(u) = -u + 22. Is 12 a factor of q(-14)?
True
Suppose -3*u = u, -5*u = -c + 56. Does 19 divide c?
False
Let u(c) = c**2 - 13*c - 13. Is 19 a factor of u(-9)?
False
Suppose -2*l = 3*l - 10. Suppose -5*t + 17 + 13 = 5*x, -l*x - t = -10. Suppose q - x + 1 = 0. Is q a multiple of 3?
True
Suppose -11*n + 475 = -3595. Is 14 a factor of n?
False
Suppose 2*b + b - 57 = 4*i, 0 = -i + 5*b - 27. Let n(x) = -x**2 - 19*x - 18. Does 18 divide n(i)?
False
Let u(a) = -a**3 - 12*a**2 - 14*a + 1. Is u(-11) a multiple of 14?
False
Suppose 2*n - 15 = -n. Suppose n*h - 39 = 2*h. Does 7 divide h?
False
Let d = -7 + 7. Suppose 3*v - 15 = 0, 390 = 5*n - d*v - 2*v. Is n a multiple of 20?
True
Let n(c) = -c**3 + 2*c**2 + 2*c + 1. Let o be (1 + -3)/(2 - 0). Let q be n(o). Suppose 0 = -q*u + 7*u + 3*m - 51, 3*u - 2*m = 42. Is u a multiple of 5?
False
Let b(a) = a**2 + 3*a - 2. Suppose -42 = -5*o + 38. Suppose 0 = -2*n + 5*h - o, -2*n + 14 = -5*n + 5*h. Is 7 a factor of b(n)?
False
Let g(c) = 2*c**2 - 2*c + 73. Let m(q) = -q**2 + q - 37. Let b(h) = 4*g(h) + 7*m(h). Let f be b(0). Let j = f - 19. Does 8 divide j?
False
Is 3/(-18) - (-1300)/24 a multiple of 4?
False
Suppose -o + 3*r + 13 = 0, -o + r = -3*o + 5. Suppose -2*d + 3 = -5*c + 8, c - 28 = -5*d. Does 14 divide 14/c*(o + -1)?
True
Let s(y) = -y**3 + 8*y**2 - y + 11. Let g(n) = n + 18. Let l be g(-10). Is s(l) a multiple of 3?
True
Let r(y) = -y**3 - 16*y**2 - 18*y - 21. Does 8 divide r(-15)?
True
Suppose 2*i - i - 1084 = -5*d, 867 = 4*d + i. Is d a multiple of 7?
True
Let s(z) = 5*z**3 - 3*z**2 + 8*z - 8. Is s(3) a multiple of 12?
False
Suppose -5*y - 281 = 3*d - 6, 0 = 4*y + d + 220. Let t = 17 - y. Suppose 4*j = 2*j + t. Does 18 divide j?
True
Suppose 0 = -r + 25 - 16. Is 9 a factor of r?
True
Let k(z) = -z + 7. Let v be k(-5). Suppose -v - 1 = -n. Does 5 divide n?
False
Let v(n) = 4*n + 3. Let b be 0 + (6 + -3)*1. Does 14 divide v(b)?
False
Let a = 47 + -22. Suppose 2*m + 3 = a. Is m a multiple of 8?
False
Let z(x) = x**3 + 9*x**2 - 12*x + 22. Is z(-10) a multiple of 14?
True
Let a(o) = o + 9. Suppose 21 = -3*b - 0*b. Let h be a(b). Suppose -h*j + 14 = -0*t + t, t + 3*j - 11 = 0. Is t a multiple of 10?
True
Let y be (4/(-5) - -2)*5. Let u be (y/(-5))/(7/(-35)). Suppose u*w - 12 = 4*w. Does 3 divide w?
True
Let x(m) = -10*m + 4. Let n be x(-4). Let z = n + -26. Does 12 divide z?
False
Let y = -37 + 117. Does 14 divide y?
False
Let p = -80 - -89. Is p a multiple of 9?
True
Let p be (-2)/(-1)*15/10. Suppose p*b = -b + 8. Suppose b = k - 17. Is k a multiple of 13?
False
Suppose -2*o = -0*o - 56. Let m = o - 10. Suppose c + 0 = m. Is c a multiple of 9?
True
Let t = -107 - -169. Is t a multiple of 12?
False
Suppose -k + 2*o + 2 = 0, -2*o - 8 = -5*k + 2. Suppose -b - 6 = -k*b. Does 3 divide b?
True
Suppose f - 3*f = 6. Let u be f/2 - 38/4. Let k = 3 - u. Does 14 divide k?
True
Let d = 69 + -163. Let t = -64 - d. Does 10 divide t?
True
Let k(c) = 5*c - 2. Let f(m) = -9*m + 4. Let n(u) = -4*f(u) - 7*k(u). Let p be n(8). Suppose p = 5*b - 9. Is 3 a factor of b?
True
Does 6 divide 12 - (4 + (1 - 5))?
True
Let c(a) be the second derivative of -a**4/12 + 13*a**3/6 - 7*a**2 + 6*a. Is 6 a factor of c(11)?
False
Suppose -3*g - 110 = -8*g. Is 11 a factor of g?
True
Let s be (6/8)/((-1)/(-8)). Let l(k) be the third derivative of k**6/120 - k**5/10 - k**4/24 + 4*k**3/3 + 4*k**2. Does 2 divide l(s)?
True
Let o = 92 - 30. Suppose o = l + l. Is l a multiple of 11?
False
Let d(p) = 3*p**3 + 7*p**2 + 3. Let k(r) be the first derivative of -4*r**4 - 12*r**3 + r**2/2 - 15*r - 4. Let o(x) = -11*d(x) - 2*k(x). Does 4 divide o(-5)?
False
Suppose b = -3*b - 8, 3*g = b + 32. Does 10 divide 90/(-4)*(-12)/g?
False
Let o be 6 - (2 - (3 - 4)). Let s = 7 + o. Does 4 divide s?
False
Suppose 5*v = -f - 0*f + 25, -4*f + 10 = 2*v. Let u = f - 0. Suppose j + 2*j - 27 = u. Is 9 a factor of j?
True
Suppose 2*j = -n + 6*n + 9, n - 2*j = 3. Suppose -4*c + 2 = -q - 3*c, -3 = 4*q + c. Is 1 - (q - (n - -13)) a multiple of 12?
True
Let m(f) = -f**2 - 6*f - 6. Let s = -14 + 10. Let u be m(s). Suppose -5*l + z + 3*z = -22, 0 = -u*l + 3*z + 6. Does 3 divide l?
True
Let q = -5 - 0. Let t = q + 5. Suppose t = 3*s - 14 - 34. Is s a multiple of 12?
False
Let p(m) = 23*m - 8. Does 18 divide p(5)?
False
Suppose p + 200 = d + 2*p, p = 3*d - 588. Is d a multiple of 31?
False
Suppose s = -d - 6, 0*d + 13 = -2*d - s. Let v(x) = x**3 + 8*x**2 - 1. Does 12 divide v(d)?
True
Let p(w) = -w**2 + 5*w. Let y be p(6). Let h = 15 + y. Is (6/(-8))/(h/(-396)) a multiple of 17?
False
Let f(j) = 6*j + 13. Is f(12) a multiple of 17?
True
Let f be 3 + -2*1 - 0. Suppose 3*z - 17 = -4*q, -2*q + 0*q = -z - f. Is (-16)/(-6)*3/q a multiple of 2?
True
Let s(f) = f**3 - 9*f**2 + 8*f + 2. Let j be s(8). Let g be 2 + j*(-2)/4. Let u = 18 - g. Is 17 a factor of u?
True
Let v(l) = l**3 - 5*l**2 - 7*l. Let g be (3*1)/((-24)/(-56)). Does 22 divide v(g)?
False
Let n(q) = 29*q**3 - q. Is 13 a factor of n(1)?
False
Suppose n + 16 = -2. Let d be (6/(-5))/(n/60). Suppose d*m - 42 = -2. Is 5 a factor of m?
True
Let m(h) = -h**2 - 2*h + 2. Let p be m(-2). Let w be p/(-8)*(-5 - -1). Is w*(-46)/4*-2 a multiple of 9?
False
Let c(j) = -j**2 - 8*j + 1. Let y be c(-8). Is 4 a factor of (8 + 8)*(y + 0)?
True
Let l be 4/(-10) - (-546)/(-35). Let p = l + 9. Let z(i) = i**2 + 4*i + 1. Does 22 divide z(p)?
True
Let r(h) = h**2 - 2*h - 4. Let z be r(3). Let x be z + 1 + -2 - 46. Let t = x - -84. Does 18 divide t?
True
Let b(h) be the third derivative of h**2 - 1/3*h**3 + 1/6*h**4 + 0*h + 0. Is b(3) a multiple of 10?
True
Let x be (-30)/(-5)*(-10)/(-6). Suppose -3*y - 63 = -x*y. Does 9 divide y?
True
Let f be (10/(-6))/(3/(-36)). Suppose 4*o - 9*g = -4*g + 102, f = o - 4*g. Does 8 divide o?
False
Let p(b) = b**2 + 5*b - 3. Let d = -7 - -12. Suppose 3*q + d*n = -13, -5*n + 6 = 31. Is p(q) a multiple of 17?
False
Suppose 0 = 8*g + 928 - 3808. Is 12 a factor of g?
True
Suppose 4*g + 3*j + 53 = 162, -2*g = 4*j - 62. Suppose a + 2*a = -