divide v?
True
Let u be 2 + (3 - 1) - 1. Suppose -2 = -u*h + 2*h. Suppose y = -2*q + 4, -y - q + 2 = -h. Is y a multiple of 2?
True
Is 8 a factor of -74*(-5 + 2 + 2)?
False
Does 7 divide 2/12 + (-2182)/(-12)?
True
Let c = 11 - 13. Is 6 a factor of (c/3)/(3/(-81))?
True
Let o = 7 + -2. Is o*(-7)/((-28)/16) a multiple of 5?
True
Suppose 7 + 7 = -2*a - d, 2*a = -2*d - 14. Is (-2)/a + 360/14 a multiple of 13?
True
Suppose -5*n + 2*n = -12. Is 134/10 - n/10 a multiple of 6?
False
Let y(t) = 3*t**2 + 11*t - 18. Does 12 divide y(6)?
True
Suppose 2*z + c - 2*c + 95 = 0, -4*z - 5*c = 197. Let l = -24 - z. Is 7 a factor of l?
False
Let l = -48 - -55. Is 2 a factor of l?
False
Suppose 52 + 44 = 4*i. Suppose -4*p - i = -4. Does 12 divide (2/(-5))/(p/150)?
True
Let d(n) = -n**3 - 7*n**2 + 12*n + 4. Let b be d(-8). Is 12 a factor of 21/b + (-99)/(-4)?
True
Let l(p) = -p + 33. Does 3 divide l(21)?
True
Suppose -s + 45 = 23. Is 3 a factor of s?
False
Let d be (9/(-6))/1*-6. Let s = d + -6. Suppose -s*t - 6 + 30 = 0. Is 8 a factor of t?
True
Let j(x) = -x**2 - 7*x + 4. Let r be j(-7). Suppose -2*f - r*n + 88 = 0, 0*f = f - 4*n - 32. Suppose 2*t - 24 - f = 0. Does 17 divide t?
False
Suppose 4 = 3*k - 2*m, -k - 2*m - 4 = 2*k. Suppose 3*l = -3*c + 11 + 10, -8 = -2*c. Suppose k = -0*h + l*h - 102. Is h a multiple of 17?
True
Let i = -22 + 15. Suppose 0 = 2*s + 2*s - 100. Let j = i + s. Is 9 a factor of j?
True
Let u(n) = n**2 - 3*n**2 - 6*n + 4*n**2. Suppose -22 = -4*y + 4*v - v, 5*y - 24 = 2*v. Is 8 a factor of u(y)?
True
Let d(b) = b**3 + 5*b**2 - 4*b - 5. Does 15 divide d(-5)?
True
Suppose -3*a - 12 = -84. Is a a multiple of 11?
False
Suppose -40 = 2*t + 3*t. Does 3 divide (-507)/(-52) - 2/t?
False
Suppose -3*b = -73 + 4. Is b a multiple of 11?
False
Let y be 2 + (-1 - 0) + 3. Let m be 1/(1/6*2). Suppose -5*b + h + m*h = -55, 0 = y*b + 4*h - 44. Is 4 a factor of b?
False
Suppose 3*h - 11 + 5 = 0. Let r be (-232)/(-12) + h/3. Is 7 a factor of (56/r)/((-2)/(-10))?
True
Let s = -68 + 100. Let b = s + -15. Does 7 divide b?
False
Suppose 0 = 38*l - 33*l - 440. Is 8 a factor of l?
True
Suppose 0 = -2*a + 5*p + 153, 5*a - 2*p + 3*p - 315 = 0. Suppose -j = -3*j + a. Is 16 a factor of j?
True
Let g(k) = 73*k**2 + 4*k - 3. Is 6 a factor of g(1)?
False
Let c = -3 - -4. Let x be 7/3 - (-8)/12. Let q = c + x. Is q even?
True
Let x(t) = -t**2 + t + 5. Let i be x(-7). Let j = i - -71. Let f = 47 - j. Does 10 divide f?
False
Let p(a) be the first derivative of 2*a**3/3 + 5*a**2 + 7*a + 1. Suppose 0 = o - 0*o + 6. Is 12 a factor of p(o)?
False
Let x(p) = -p**2 + 8*p + 4. Suppose 2*s + 28 = 4*q + 3*s, -4 = -4*q + 5*s. Does 16 divide x(q)?
True
Let s be (3/1)/((-9)/(-6)). Suppose 3*y - 2 = 3*r + 4, -r = s*y - 13. Suppose -4*f - 26 = 3*q - 94, 5*q = -y*f + 90. Does 14 divide f?
True
Suppose -2*t = -5*t + 150. Is 10 a factor of t?
True
Suppose 3*c - 236 = -4*j + 257, -5*c - 4*j = -811. Does 37 divide c?
False
Is 10 a factor of 2/1 + 4 + -4 - -58?
True
Let a be (-2 - -3)/(-2)*-16. Suppose -3 = x + a. Let r = 12 - x. Is r a multiple of 14?
False
Suppose 3*n + 21 = 2*j, 0*j - j = -5*n + 7. Suppose -17 = -0*q - 4*q - h, 2*h = -4*q + j. Suppose -q*c - 34 = -2*d, 2*c + 1 = -9. Does 3 divide d?
False
Let r(j) = -2*j**3 - 21*j**2 - 3*j - 4. Is 15 a factor of r(-11)?
True
Let n = -11 + 12. Let y(z) = -z - z**3 + 6*z**3 + 0*z**2 + z**2. Is 2 a factor of y(n)?
False
Suppose 0 = -s - s + 2. Let a(q) = q**3 - 2*q + 1. Let z be a(s). Suppose z = -2*k - 2 + 16. Does 6 divide k?
False
Let p(o) = o**2 - 6*o + 5. Let w be p(6). Suppose w*i = 2*i. Suppose -4*c + 157 = -b, i*b + 2*b - 104 = -3*c. Does 19 divide c?
True
Suppose -6*h + 95 = -h. Let d be (-26 - 3)*2/(-2). Let j = d - h. Is j a multiple of 4?
False
Let y(r) = r + 22. Is 14 a factor of y(-8)?
True
Suppose 5*h - 72 = -2*c, -2*c = -4*c + h + 96. Let g = c + -16. Is g a multiple of 15?
True
Let l = 8 + -14. Let t be (-32)/l - (-3)/(-9). Suppose -4*w + t*w - 18 = 0. Is 7 a factor of w?
False
Suppose q = -2*q. Suppose 4*n + 4 = q, -5*n - 35 = 5*i - 140. Is i a multiple of 22?
True
Let w = -12 - -18. Suppose 2*g - 5*f + 72 = w*g, -3*f = 0. Is 76/18 - 4/g a multiple of 4?
True
Suppose -2*l = -2, 3*l - 2*l = p - 12. Let i(f) = f**2 - 11*f - 18. Let s be i(p). Let z(u) = u**2 - 3*u - 6. Is 19 a factor of z(s)?
False
Let o(m) = m**2 + m + 2. Is 3 a factor of o(-4)?
False
Let x(r) = -2*r**3 + 3*r**2 - 2. Let j be x(2). Let o = -3 - j. Suppose o*p = 34 - 7. Is p a multiple of 9?
True
Let d = 150 + -94. Does 14 divide d?
True
Let k(f) be the first derivative of f**3/3 - 3*f**2 + 2*f + 3. Let g be k(6). Does 13 divide g/(-3) - 41/(-3)?
True
Let p(w) = 2*w**3 - 10*w**2 + 7*w - 2. Does 16 divide p(6)?
True
Suppose -222 - 110 = -3*a - 2*l, 4*a = -4*l + 448. Is a a multiple of 18?
True
Does 8 divide 62/5 + (-4)/10?
False
Let z = -9 + 29. Is z a multiple of 10?
True
Suppose 0 = -k + 14 + 24. Does 7 divide k?
False
Let x(m) = -2*m + 1. Let l be x(2). Let f(o) = 2*o**2 + 3*o - 4. Let s be f(l). Let r(i) = 6*i - 2. Is r(s) a multiple of 14?
True
Let j(l) = -l**3 - 5*l**2 - 4*l + 2. Let n be j(-4). Let h(d) = -3 + 0*d**n + 5 - d**3 + 9*d**2 + 4*d. Does 18 divide h(9)?
False
Let d(k) = -30*k**3 + 2*k**2 - 1. Let z = 2 - 3. Let h be d(z). Suppose -h = -3*a + 56. Is a a multiple of 13?
False
Let w = 3 + 5. Suppose -2*y + w = 2*y. Is 13 a factor of (4/(-8))/(y/(-52))?
True
Let x(v) be the second derivative of v**4/6 - v**3/2 - v**2 - 2*v. Is x(-4) a multiple of 21?
True
Let k(o) = o - 4. Let z be k(6). Suppose 16 = z*d - 4*i - 6, 5*i + 55 = 5*d. Is d a multiple of 6?
False
Let l = 13 - 10. Suppose 9 = -l*m + 81. Does 8 divide m?
True
Suppose 441 = 286*r - 283*r. Is r a multiple of 14?
False
Suppose -4*k + 2*s + 104 = -2*k, 3*s + 208 = 4*k. Suppose 7*t - 3*t = k. Suppose 0*o - t = -o. Is o a multiple of 13?
True
Let b(l) = -133*l + 13. Let q be b(7). Is 38 a factor of 12/(-21) + q/(-14)?
False
Let s(x) = -7 - 6*x + 7*x**2 - 3*x**2 + 7*x - 3*x**2. Let l be s(0). Is 13 a factor of (-240)/l + 2/(-7)?
False
Suppose 0 + 1 = -o. Does 19 divide 24 - (o - -4)*1?
False
Let g be (1/2)/((-1)/12). Let z be (4/g)/((-2)/9). Suppose z*o - p = 64, -112 = -4*o - 7*p + 3*p. Does 17 divide o?
False
Is 6 a factor of 120/(-4)*((-27)/15 - -1)?
True
Suppose 4*n - 9 = 7. Suppose d = -n + 9. Suppose d*h - 104 = h. Is h a multiple of 8?
False
Let g be 431/2 - 6/(-4). Suppose 5*k = g - 37. Suppose -d = -3*d + k. Is d a multiple of 9?
True
Suppose 8 = z + 3*q, 4*q + 20 = -q. Does 4 divide (12/(-10))/((-3)/z)?
True
Let n(f) = f**2 - 5*f + 4. Let i be n(3). Let r be i + (-2 - (-1 + -19)). Suppose -5*q + r + 34 = 0. Is q a multiple of 5?
True
Let v(o) = -o**2 - 2*o + 8. Let f be v(-7). Let l = f - -11. Let z = 27 + l. Is z a multiple of 4?
False
Let i(c) = c**2 + 2*c - 5. Suppose -2*n + 18 = 4*p, 0 = 2*n - p - 3*p - 10. Let j be n*(-3)/(-6)*-2. Does 15 divide i(j)?
True
Suppose -3*x - 60 = -7*x - 4*b, 16 = 2*x - 5*b. Is x a multiple of 5?
False
Let j be 3/(-2) + (-2)/(-4). Let z be 1/j*(-1 + -2). Suppose -4*t + 117 = -z*a - 28, 0 = 5*t + 5*a - 155. Is 12 a factor of t?
False
Let s = -13 + 56. Is s a multiple of 7?
False
Let l(s) = 9*s**2 - 3*s. Let m be l(3). Suppose 7*y - 3*y = m. Let v = y + -10. Is 5 a factor of v?
False
Let t(b) = -b**3 - 2*b**2 - 2*b. Let a be t(-2). Suppose 3*f = -f + a. Does 8 divide ((-4)/(-10))/(f/20)?
True
Let w = -11 - -27. Does 12 divide w?
False
Let d = 2 + 4. Let l be 46/d + 4/(-6). Let t = l - -3. Does 5 divide t?
True
Suppose 2*s - t + 5*t - 42 = 0, s - t - 21 = 0. Let i = -14 + s. Suppose i - 1 = 2*m. Is 2 a factor of m?
False
Suppose -v = 3*v - 40. Is v a multiple of 2?
True
Let g be 2 + 44 - 1*2. Let h = g - 28. Is 16 a factor of h?
True
Let v(b) = -b**2 + 3*b - 6. Let j(l) = 5*l**2 - 14*l + 31. Let k(h) = -2*j(h) - 11*v(h). Let s be k(6). Does 13 divide 7/((-1)/s*-2)?
False
Suppose 4*c - 4*s - 44 = 0, -2*c = 4*s - 0 + 2. Does 8 divide 26 - 0 - (-7)/c?
False
Let i(h) = 5*h**2 + 2. Suppose 18 + 22 = 5*q. Suppose -t - 3*t = q. Is i(t) a multiple of 11?
True
Suppose f = -3*f + 4*x + 28, -4*x = 5*f - 26. Let p(a) = a**2 + 5. Is 14 a factor of p(f)?
False
Let p(d) = -d**2 + 1 - 2*d - 1 + 1. Let q be p(1). Is 12 a factor of (q/4)/((-5)/240)?
True
Let x(v) = 2*v**