/n)/((-1)/34) a multiple of 10?
False
Let l(f) = 4*f**2 + 9*f + 10. Is l(-5) a multiple of 13?
True
Let k be (-3)/(-3) - 6*-3. Let n = 23 - k. Is 2 a factor of n?
True
Let u = 132 - 78. Is u a multiple of 27?
True
Let m(i) = 220*i**3 - i**2 + 3*i - 2. Is 55 a factor of m(1)?
True
Let c(b) = -5*b**2 + b + 5. Let h = 9 - 15. Let z(i) = i**2 + i - 1. Let w(t) = h*z(t) - c(t). Is 5 a factor of w(-6)?
False
Let n(l) = 95*l**3 - l + 2. Is n(1) a multiple of 10?
False
Let n(x) = -x**2 + 8*x - 12. Let l be n(3). Let j(t) = 5*t**3 + 4*t**2 - 2*t + 3. Let s be j(3). Suppose r - s = -l*r. Is 11 a factor of r?
False
Suppose 3*w = -3, 0*o = -2*o + 5*w - 1. Let m(u) = 12*u + 2. Let j be m(2). Is j - (3 + 15/o) a multiple of 14?
True
Let a = 1 + 3. Let h(t) = -5*t**2 - 1 - a - 3*t + 3 + t**3. Is 8 a factor of h(6)?
True
Let w be ((-10)/(-6))/(2/6). Suppose -p + 2 = -5*n, 4*n - 5*p = -2*p + w. Does 7 divide 19 - -2*(2 + n)?
True
Let l be ((-3)/(-2))/((-18)/(-24)). Suppose -s = -2*a - 2, 2*s = -3*a - 3 + 14. Is 2 a factor of a/((l + -1)/2)?
True
Suppose 29*o = 36*o - 1456. Does 45 divide o?
False
Let o(a) = -a**3 - 2*a**2 + 4*a + 5. Let h be o(-4). Let q = -4 + h. Does 9 divide q?
False
Does 13 divide 431/11 + (-10)/55?
True
Let i(y) = y**2 - 7*y + 2. Let j = 19 + -12. Let s be i(j). Suppose 20 = 3*x + s*x. Is x even?
True
Does 7 divide (4*6)/((-4)/(-6))?
False
Is 26 a factor of ((-2)/3)/(2/(-348))?
False
Suppose 44 = 4*x - 104. Let g = -21 + x. Does 8 divide g?
True
Let i(o) = -1 + 1 + 7*o - 4. Suppose 5*q - 16 = q. Is 9 a factor of i(q)?
False
Let n(k) be the first derivative of 0*k - 5/4*k**4 - 1/2*k**2 - k**3 + 1. Is n(-2) a multiple of 15?
True
Let g(j) be the first derivative of 7*j**2/2 + 3*j + 2. Let k be g(3). Suppose -3*o + k = -o. Does 6 divide o?
True
Let v be 4*(-1 + 3/2). Suppose 0 = 4*g - v*g - 42. Does 13 divide g?
False
Suppose 0 = 2*w + 5 - 1. Let v be (10/(-8))/(w/8). Suppose m - 3*m = -b - 18, 3*m - 53 = -v*b. Does 3 divide m?
False
Does 64 divide 14/35 + (-683)/(-5)?
False
Suppose 2*q + 3*q = -2*a + 740, -2*a - 444 = -3*q. Let l be (-1)/(-2)*(-1 - -1). Suppose -c - c + q = l. Does 19 divide c?
False
Let y be 295/(-20) + (-2)/8. Let p = y + 28. Is p a multiple of 13?
True
Let i = -14 + 11. Does 4 divide 22/i*33/(-11)?
False
Suppose 10*r + 4*q - 69 = 5*r, 5*q - 18 = -r. Is 3 + r/3*3 a multiple of 11?
False
Let y = -8 - -13. Suppose 0 = -y*t + 32 - 7. Suppose 2*v + 1 = -t*b + 53, 28 = 4*b + 5*v. Does 12 divide b?
True
Let b be 2 + -10 + 2/(-2). Let j be 3/b - (-185)/(-3). Let g = 96 + j. Does 17 divide g?
True
Let f(l) = -32*l - 1. Let x be f(2). Let v = x + 109. Does 22 divide v?
True
Suppose -2 = -2*v + 2*q + q, -4*v - 3*q = -22. Suppose 3*b + v*y = -52 - 51, -2*b - 3*y = 67. Let j = -26 - b. Is j a multiple of 15?
True
Suppose 3*u - 5*u = 0. Suppose u*k + 3 = m - 4*k, -5*m + 32 = -3*k. Let o = -3 + m. Is 4 a factor of o?
True
Let o = 46 + -25. Is o a multiple of 4?
False
Let s be (1 - 0) + 1 + 1. Suppose 0 = -5*m - 4*l + 70, -s*m + 5*m = l + 41. Is m a multiple of 12?
False
Is (-307)/(-4) + 6/24 a multiple of 11?
True
Is 6/33 - -757*(-2)/(-22) a multiple of 23?
True
Let b(a) = 4*a - 12*a + 4*a - 5*a - 5 - a**2. Suppose 16 = -2*z - 2*k, 5 = -2*k + 1. Is b(z) a multiple of 13?
True
Let j(z) = -z - 9. Let a be j(-11). Let g(s) = -2*s**3 + 2*s**2 - s. Let u be g(a). Let q = u + 37. Is 9 a factor of q?
True
Let j be 1/(2 + 15/(-9)). Suppose 2*i = -j*h + 40, -h + 3*i + 1 = -27. Is h a multiple of 6?
False
Suppose 0 = 2*o - o - 4*p + 19, 3*o = p - 35. Let w = 21 + o. Is (-2)/10 - (-122)/w a multiple of 6?
True
Let q = -182 - -275. Is 19 a factor of q?
False
Suppose -11*s = 85 - 283. Is s a multiple of 5?
False
Let i(z) = 2*z + 5*z**2 - 2 - 5*z**3 + 0 + 4*z**3. Suppose 0*v - 2*v + 10 = 0. Is 4 a factor of i(v)?
True
Suppose -3*y + 0*v = 4*v + 8, 6 = -2*y - 2*v. Let s(x) = 4 + 12*x**2 + 6*x + x**3 - 5*x**2 + x. Does 12 divide s(y)?
True
Let s be (-129)/(-15) - (-4)/10. Let l(b) = -b**2 - 6*b - 5. Let f be l(-4). Suppose -15 - s = -f*x. Is x a multiple of 8?
True
Suppose z = -11 + 27. Does 4 divide z?
True
Is (4/(-12))/((-2)/924) a multiple of 22?
True
Suppose 9*k - 4*k = -80. Let w = k + 26. Is 10 a factor of 6/(23/w + -2)?
True
Suppose -2*f = 10, 5*g - 4*g + 18 = -4*f. Let a(r) = 7*r + 4. Is 6 a factor of a(g)?
True
Let j be (-1)/3 + 19/3. Suppose 3*c + 3*o - 36 = 0, 32 = 3*c + 7*o - 2*o. Let n = j + c. Does 9 divide n?
False
Is 39 a factor of 117 + 4 + (-9)/(-3) + -7?
True
Let s(f) = 2*f**2 + 3*f**3 - 2 + 1 + 3. Is s(2) a multiple of 20?
False
Let y(x) = 0*x + 6*x + 4 - 8. Is y(3) a multiple of 14?
True
Let x(u) = -u**3 + 10*u**2 - u + 8. Let k be x(10). Is (-3)/4*208/k a multiple of 21?
False
Let r(p) = 2*p**3 - 3*p**2 + p - 2. Let c be r(3). Let x = c - 17. Suppose 3*y = y + 2*l + 10, x = 3*y + l. Does 2 divide y?
True
Let q be (4/(-5))/(4/(-10)). Suppose q*l - 7*l = -10. Does 18 divide 86/4 + l/(-4)?
False
Suppose 12 = 4*r, r = -f + 2*f. Let a(p) = p**3 - 3*p**2 - 2*p + 2. Let y be a(f). Is 835/20 - 1/y a multiple of 21?
True
Suppose 0*d = -4*d + 20. Suppose 81 = d*h - 4. Is h a multiple of 9?
False
Suppose 2*a - a - 7 = 0. Does 6 divide a?
False
Let g(p) = 3*p**3 - p**2 + 3*p - 1. Is 25 a factor of g(2)?
True
Let b = 15 + -13. Suppose 3*s - b - 52 = 5*g, 0 = -5*s - 5*g + 50. Does 9 divide s?
False
Let x = -1 - -7. Let l be (-4)/(-1)*3/x. Suppose l*o - 33 - 35 = 0. Is 15 a factor of o?
False
Let d = 580 - 340. Suppose 3*l - 167 = -4*f, 0*f = 5*l - f - d. Let y = l - 18. Is 17 a factor of y?
False
Suppose -4*a + 6*a = 182. Let j be 55 - (2 - 2/1). Let c = a - j. Is c a multiple of 18?
True
Let w(a) be the first derivative of a**3/3 - 7*a**2/2 - 10*a - 3. Let z be w(7). Is 13 a factor of (124/(-20))/(2/z)?
False
Let z = -3 + 4. Suppose -5*x + 4 + z = 0. Let i = x + 8. Is 9 a factor of i?
True
Let l = -18 + 39. Let t = l - 15. Is 6 a factor of t?
True
Let f be ((-1)/3*0)/(-2). Suppose 78 = 3*c - f*c. Is 10 a factor of c?
False
Suppose 12 = 2*l - 0. Let d = -1 + l. Is d even?
False
Let r be 2 + 0/(2 - 0). Let f be 1 - r - (-62)/2. Let g = f + -16. Does 6 divide g?
False
Let s = -8 + 6. Is 13 a factor of ((-1)/2)/(s/128)?
False
Let n(a) = 3*a**3 - a**2 + a - 1. Let d be n(1). Suppose 0 = 2*j - 0 - 6. Suppose d*u = j*u - 35. Is 15 a factor of u?
False
Let f be (5/(-2))/((-1)/2). Suppose -5*z + 155 = 5*p, f*p - 129 = p - 5*z. Is p a multiple of 13?
True
Let z = 13 - 7. Let d(n) = 3*n + 6. Is d(z) a multiple of 10?
False
Suppose -2*b - 4 = b + 4*h, 4*h - 4 = -5*b. Suppose -12 = -r - 2*u, -b*r = 5*u - 0*u - 54. Is r a multiple of 8?
True
Let l = 85 - 43. Is 4/(-14) - (-264)/l a multiple of 6?
True
Let j(a) = 1 - 9*a - 62*a + 13*a. Is j(-1) a multiple of 24?
False
Let a(q) = -q**3 - q**2 - 2*q + 50. Is 25 a factor of a(0)?
True
Let c = 0 + 1. Suppose -n + 44 = 3*n. Suppose c = o - n. Is 3 a factor of o?
True
Suppose -5*v + 290 = -5*z, 4*v - z - 244 = -3*z. Let q = v - 4. Is q a multiple of 14?
True
Suppose -7*s + 2*s = 225. Suppose -2*z + 5*z + 9 = 0. Is 9 a factor of (-8)/z*s/(-12)?
False
Let f(o) = 55*o - 1. Let u be f(1). Is (-4)/(-14) + u/7 a multiple of 3?
False
Is (-114)/(-10) + 6/10 a multiple of 6?
True
Let y be ((-9)/3 + 3)/(-2). Is -1 + 12 + y/(-4) a multiple of 3?
False
Suppose -2*p - p - 36 = 0. Let v = p + 54. Does 13 divide v?
False
Let i be (-6)/(-2)*(-1 + 2). Let h = 13 - 4. Let f = i + h. Does 8 divide f?
False
Suppose 0*g + k = -4*g + 640, 0 = -5*g + 4*k + 800. Is 8 a factor of g?
True
Let z(d) = 4*d - 12. Let k be z(10). Suppose -4*c + k = t, 2*c + c = 2*t + 10. Suppose -o - 65 = -c*o. Does 13 divide o?
True
Suppose 0 = 4*a - 2 - 86. Does 4 divide a?
False
Suppose 0 = -5*r + r + 96. Does 4 divide r?
True
Suppose 7*d = 2*d + 140. Let p = d - 18. Does 10 divide p?
True
Let l be -1*(-69)/(2 + 1). Suppose 4*o - 8 = 3*t + 36, t = 3*o - l. Let z = t + 33. Is z a multiple of 14?
False
Let b(u) = -u**3 + 6*u**2 - 4*u - 5. Let g be b(5). Suppose g*p + p - 70 = -5*q, 2*p + 40 = 2*q. Is 5 a factor of q?
True
Suppose 4*z - d = 3*d - 4, -4*z - 4 = 3*d. Let i(h) be the first derivative of 5*h**3/3 + h**2/2 + 2. Is i(z) a multiple of 4?
True
Let n be (15/(-25))/((-1)/85). Suppose 0 = 3*v - 2*v - 3*q - n, -2*q = -5*v + 190. Is v a multiple of 12