 10?
True
Suppose -2*v = -81 - 183. Is v a multiple of 44?
True
Let x(a) = a**2 + 6*a + 2. Let y be x(-6). Suppose h + 19 = y*h. Is h a multiple of 19?
True
Let a be ((-2)/(-3))/(2/(-6)). Does 12 divide a/13 + (-3768)/(-156)?
True
Let l be -15 + 4 + (2 - 2). Let c = 20 + l. Is c a multiple of 4?
False
Suppose -2*v = -y + 70, 0*y = 3*y + 3*v - 219. Is (-1)/(2*(-1)/y) a multiple of 18?
True
Let t(u) = u**2 + 7*u + 6. Let x be t(-6). Suppose x = -2*g - g + 51. Does 17 divide g?
True
Let d = 8 - 5. Suppose 0 = 4*j - l - d, 2*j - 5*l + 27 = 3*j. Suppose i + 17 = j*i. Does 5 divide i?
False
Suppose z - 4*z - 21 = 0. Does 12 divide (-7)/(z/(-12))*-2?
True
Let g(u) = 4*u**2 - 2*u + 168. Is g(0) a multiple of 24?
True
Let r = 35 - -19. Does 9 divide r?
True
Suppose 2*f + 0 = 14. Let s = -7 - -7. Let a = f - s. Is 4 a factor of a?
False
Let b(o) = -10*o**2 + 3. Let z(i) = -120*i**2 + 35. Let s(g) = 70*b(g) - 6*z(g). Does 12 divide s(1)?
False
Suppose 0 = 5*n - 5*j - 115, 0*n = n + j - 29. Let y be 2 + (-1 + 2 - -1). Does 6 divide n/y - 1/2?
True
Suppose 30 = -3*x - 2*x. Let j be (-18)/(-5) + x/(-15). Suppose -j*h - r = 2*r - 38, -30 = -5*h + 5*r. Does 7 divide h?
False
Let k(c) = c**2 + 2*c + 1. Is 8 a factor of k(7)?
True
Suppose -2*x = 3*z + 2*x + 81, 0 = -3*x. Let i = 40 + z. Is i a multiple of 13?
True
Suppose -9*f = -5*f - 16. Does 2 divide f?
True
Let j = 81 + -45. Is 6 a factor of j?
True
Is 14 a factor of 2*-14*(-1)/2?
True
Let p = 129 - 61. Is 14 a factor of p?
False
Let k be (-36)/(-10) + (-2)/(-5). Suppose 0 = -k*t + 7*t - 9. Is 3 a factor of t?
True
Let k(j) = -118*j**3 + j**2 + 2*j + 1. Is 44 a factor of k(-1)?
False
Suppose i - 2 = -0*i. Suppose 88 = -0*o + i*o. Suppose -6 - o = -5*a. Does 4 divide a?
False
Let d(i) = i**3 + 6*i**2 - 2*i + 2. Let z = 1 + -7. Is d(z) a multiple of 7?
True
Suppose -4 = -4*d + 4. Suppose -d*o + 75 = -7. Is o a multiple of 12?
False
Let u = -60 - -176. Is u a multiple of 29?
True
Let h(u) = -6*u - 3. Does 8 divide h(-6)?
False
Let d = -4 - -9. Suppose 113 = d*m - 12. Is m a multiple of 10?
False
Let k(x) = 5*x - 1. Is 5 a factor of k(2)?
False
Suppose -y = -0 - 2. Suppose -3*w = 5*c - 40, -3*c - 7 = -4*w - y. Is 5 a factor of c?
True
Let v(o) be the second derivative of -o**5/20 + 5*o**4/12 + 5*o**2/2 + 3*o. Does 5 divide v(5)?
True
Suppose -d = 3*d - 4*x - 4, -d - 5*x = 11. Does 13 divide (-490)/(-20) + d/(-2)?
False
Suppose 0*p + 36 = c + 3*p, -97 = -3*c + 2*p. Is c a multiple of 11?
True
Let x be ((-2)/6)/1*-9. Suppose 5*i = 3*b + 1096, 2*b = -i - 0*i + 227. Suppose x*t - 158 = 4*r, -2*t - 2*t + i = 5*r. Is 18 a factor of t?
True
Let p be (9/(-6))/((-2)/4). Is 6 a factor of -1*(-18)/p - -1?
False
Let m(x) = 2*x**2 - 5*x + 7. Does 26 divide m(8)?
False
Let o be (2/(-2) + 0)*-5. Suppose o*m - 17 = -2. Suppose 2*b + m*b - 170 = 0. Is b a multiple of 17?
True
Let b = -2 - -48. Is 2 a factor of b?
True
Suppose -5*f + 0*f = -5*t - 45, -4*f - 2*t + 12 = 0. Suppose -r + f*o - 2*o = -14, o - 2 = -3*r. Is r a multiple of 2?
True
Let i be 8/6*6/(-4). Is 4/3*(-63)/i a multiple of 14?
True
Is -3*(-16)/12 + 2 a multiple of 2?
True
Let b be 1/1*-3 + -3. Let i = b - -17. Suppose 15 = y - i. Is 13 a factor of y?
True
Suppose 2*j + 3*j = -50. Let o = 12 + j. Suppose -5*z + 40 = v, 5*v - 5 = -o*z + 11. Is 8 a factor of z?
True
Let m be 634/6 - (-1)/3. Let f be 1/(-3) - m/6. Let t = 32 + f. Is 14 a factor of t?
True
Let n = 139 - 122. Is n a multiple of 6?
False
Let u(f) = f + 1. Let l be u(2). Let n = l - 0. Suppose q - 3*c = 2*c - n, -4*q - 3*c = -57. Does 4 divide q?
True
Let i(x) = -5*x - 10. Let a(v) = -4*v - 9. Let d(w) = w**2 + 2*w + 2. Let p be d(-3). Let l(t) = p*i(t) - 6*a(t). Does 2 divide l(2)?
True
Let o = -19 + 55. Is 6 a factor of o?
True
Let v = 5 - 3. Suppose 0 = v*s - 0 - 10. Is 3 a factor of s?
False
Let x = -87 - -39. Let f = 97 + x. Suppose -2*i + 36 = 2*i - 4*a, -5*i + f = -3*a. Does 11 divide i?
True
Let z(y) = -y**3 - 8*y**2 - y - 5. Let c be z(-8). Suppose -26 - 28 = -c*l. Is l a multiple of 9?
True
Let y = 21 + 35. Is y a multiple of 14?
True
Let q be ((-3)/2)/(2/(-4)). Suppose s = -q*s - 384. Let f = 152 + s. Does 22 divide f?
False
Let d be (-34)/(-6) - (-3)/9. Let m(i) = -i**2 + 7*i + 1. Is m(d) a multiple of 6?
False
Suppose -8*r + 5*i = -3*r, r = 2*i - 4. Suppose m - 5*o - 11 - 3 = 0, 0 = -r*m + 3*o + 90. Is 24 a factor of m?
True
Is (-316)/(-7) + (-4)/28 a multiple of 45?
True
Is 1*((-7 - -3) + -1)*-55 a multiple of 25?
True
Let g(d) = -3*d**3 + 4*d**2 + 2*d - 4. Let b be g(3). Let s be 64/(-3 - -2) - -2. Let h = b - s. Is h a multiple of 9?
False
Let x(k) = 15*k**3 + 1. Let m(q) be the second derivative of -q**5/20 - 7*q**4/12 + 7*q**3/6 - 7*q**2/2 + 2*q. Let n be m(-8). Is 9 a factor of x(n)?
False
Let q(b) = b + 3. Let x be q(-2). Suppose 3*z + 33 = 3*d, 4*d = z - 3*z + 38. Is 11 a factor of 3*d + x/1?
False
Let b be ((-2)/8)/(5/(-40)). Suppose -7*i + b*i = -50. Does 5 divide i?
True
Let b(x) be the second derivative of 5*x**3/6 - 3*x**2/2 + 2*x. Does 6 divide b(2)?
False
Suppose c = -2*u + 6, 4*c = -2*u - 4 - 2. Let r(v) = 3*v - 25. Let l be r(10). Suppose u*o - 121 = -4*m, 5*m - 68 - 57 = -l*o. Is 18 a factor of o?
False
Let f(j) = 22*j - 1. Let b(g) = 11*g - 1. Let a(u) = 5*b(u) - 2*f(u). Let w(h) = -h**3 - 3*h**2 - 2*h + 2. Let l be w(-2). Does 12 divide a(l)?
False
Let u = 182 - 126. Is u a multiple of 8?
True
Let n be (2 - 0/4)*1. Suppose -175 = -n*j - 3*j. Does 11 divide j?
False
Let w(p) = -3*p - 1. Let o be w(-2). Suppose o*n = 3*n + 98. Is 19 a factor of n?
False
Suppose 15 = -3*i, -3*a + 4*a - i = 44. Is 13 a factor of a?
True
Suppose -5*u - 102 = 38. Let n = u - -49. Is n a multiple of 7?
True
Suppose 2*n + 11 = 67. Let k = n + 1. Suppose -f + 5*p + k = 8*p, -4*f - p = -61. Is f a multiple of 9?
False
Let x(n) = 5*n**2 - 3. Let y be x(3). Let d = -22 + y. Does 8 divide d?
False
Suppose 0 = -2*v + 9 - 3. Suppose -2*l + 4*l = -5*s + 14, -4*l + 42 = v*s. Is 6 a factor of l?
True
Suppose -177 = -2*o - 3*j, 230 = 4*o + 5*j - 129. Suppose -18 + 6 = -4*g, 5*d = 3*g + o. Does 11 divide d?
False
Let g = -25 - -37. Let y = g + -9. Is 3 a factor of y?
True
Let f be 2/(-1) - (-12 + 1). Does 3 divide f/(-18) + (-25)/(-2)?
True
Let v = 11 - 11. Suppose v = 3*g - 4*x - 35, 6 = g + x - 15. Is g a multiple of 5?
False
Let o = -6 + 12. Is o even?
True
Let s(n) = -n**3 - 2*n**2 + 3*n + 2. Let q be s(-3). Suppose -11 + 37 = q*y. Let f = 32 - y. Does 7 divide f?
False
Does 45 divide (-108)/(-135)*295*1?
False
Let i be 1/(0 - -3)*-6. Let j(r) = -5 + r - 15*r + 2. Does 9 divide j(i)?
False
Is 5 a factor of (23 - 20) + (28 - (1 - 0))?
True
Let k be (-2 - -4) + -18 + 0. Let r be (-3)/(-12) + 87/4. Let n = k + r. Is n a multiple of 3?
True
Let d(g) = -3*g - 12. Let t be d(-5). Suppose -39 = -2*o - q, -5*o + t*q + 84 = q. Does 5 divide o?
False
Let f(q) be the third derivative of q**5/60 - q**4/6 - q**3/6 + 2*q**2. Is f(7) a multiple of 10?
True
Let j be (-4)/6 + (-20)/(-3). Suppose -o = -j - 1. Does 7 divide o?
True
Suppose 0*s + 120 = 5*s. Suppose -q + 4*q = s. Does 8 divide q?
True
Let a(w) be the first derivative of w**4/2 - 5*w**3/3 + 7*w**2/2 - 4*w - 2. Let v be a(4). Suppose -3*y - 14 = -r, -3*y - v = -3*r - 0*y. Is 16 a factor of r?
False
Suppose -2*l - 7 = 11. Let g be -1*l/6*2. Suppose 2*q - t - 30 = 0, -g*t = -7*q + 3*q + 62. Is q a multiple of 12?
False
Suppose -t = -z - 0*z + 17, 5*z + 2*t - 85 = 0. Is z a multiple of 2?
False
Suppose 104 + 14 = y + 2*c, 5*c = -3*y + 349. Suppose 4*h - 90 = -2*i, -5*h = -0*h + i - y. Is h a multiple of 7?
True
Let q(h) = h + 1. Let y be q(-3). Is (-1)/(2/40*y) a multiple of 4?
False
Let i(a) = 3*a**2 - 7*a - 2. Let x be i(7). Let d = x - 43. Is d a multiple of 18?
False
Let v = 367 + -259. Is v a multiple of 12?
True
Let u(l) = 2*l**2 - 7*l. Is u(6) a multiple of 10?
True
Let p(q) = -q - 7 - 3 - 6*q**2 + 2*q - q**3. Let n(o) = o**3 - 5*o**2 - 7. Let y be n(5). Is 16 a factor of p(y)?
True
Let v = 4 + -4. Suppose x = -v*x + 1. Does 19 divide (160 - x)*2/6?
False
Suppose -4*s + 0*w = 4*w - 92, 0 = s - 3*w - 15. Is (s/2)/((-5)/(-10)) a multiple of 21?
True
Suppose -4*w = k - 5, 0*k = -2*w - 5*k - 11. Suppose w*q - 2*j + 4 = 52, -2*j = 3*q - 87. Does 19 divide