 -h + 14 = m*o. Is h a multiple of 12?
False
Let i(v) = 27*v**2 - v. Suppose -5*u + 3*u = 0. Let q = 1 + u. Is i(q) a multiple of 13?
True
Suppose -5*z + 20 = -4*y, 2*y - 3*z = -y - 12. Suppose 0 = -o + 5*j - 1, 3*o + 2*j = -j + 15. Does 8 divide o/(-4)*(-26 + y)?
False
Suppose -3*u + 2*t = t, 0 = -3*u - 4*t + 15. Let n = 8 - u. Let y(m) = m**3 - 6*m**2 - m + 5. Is y(n) a multiple of 15?
False
Let g(l) = 2*l. Let w be g(-8). Does 4 divide w/6*(1 - 4)?
True
Is (-3 + 90)/(-2*(-1)/2) a multiple of 42?
False
Let p = -11 + 11. Suppose -3*u + u + 24 = p. Does 6 divide u?
True
Let g = 0 - -6. Does 4 divide 46/6 + g/18?
True
Let j = 4 + -5. Let g be 0*(-2 - j - -2). Suppose 4*t = 5*x - x + 112, g = 3*t - 4*x - 89. Is 16 a factor of t?
False
Let m(h) = h - 4. Let r be m(3). Let o(v) = 29*v**2 + 0*v - 7*v**2 - v. Does 8 divide o(r)?
False
Let u = -3 + 4. Let y = u + 2. Suppose -51 = -y*g + 15. Is 11 a factor of g?
True
Let c(p) = -3*p**2 - 3*p - 6. Let o(s) = -2*s**2 + 4*s**2 + 11*s**2 + 25 + 13*s. Let z(y) = -9*c(y) - 2*o(y). Is z(-4) a multiple of 6?
False
Let n be ((-1)/(-2))/(2/56). Let t(o) = o**2 + 14*o + 2. Let w be t(-14). Suppose -n - 16 = -w*y. Does 13 divide y?
False
Let d be ((-69)/(-3))/(-2 - -1). Let m = 89 + d. Is 18 a factor of m?
False
Let o = -15 - -49. Suppose 82 = 4*d + 3*m - m, -d = 5*m - o. Is 4 a factor of d?
False
Let v = 214 + -150. Is v a multiple of 12?
False
Suppose -4*p - 5*h = -80 - 265, 5*p - h - 395 = 0. Is p a multiple of 16?
True
Suppose -3*d = -2*u + 15, -4*u + 2*d + 20 = -2*d. Suppose u*x = x - 8. Does 8 divide x?
True
Let x be ((-12)/(-8))/((-2)/(-4)). Suppose -b = -x*i - 5, 0 = 5*i - 3*i - 2*b + 6. Is 12 a factor of -2 + (i - -37) + 2?
True
Let z(n) = n + 36. Let t be z(0). Let y = 63 - t. Is 12 a factor of y?
False
Suppose 2*x = -3*n - 5, -29 + 4 = 4*x + 3*n. Suppose -12 = -4*j + 8. Does 3 divide (-12)/x*j/2?
True
Let l = -6 - -10. Suppose -3*f + 46 = -l*t + 202, -f + 39 = t. Is t a multiple of 14?
False
Suppose -3 - 15 = -2*j. Suppose -7 - j = -2*m. Does 7 divide m?
False
Let t be ((-6)/(-2))/((-3)/(-57)). Suppose 3*k = 21 + t. Is 19 a factor of k?
False
Let q = 36 + 14. Is q a multiple of 19?
False
Suppose -b + 4*b - 12 = 0. Suppose b*s - 35 + 15 = 0. Does 2 divide s?
False
Is ((-18)/(-10))/(1/45) a multiple of 33?
False
Let k(c) be the second derivative of c**4/12 + c**3/6 + 7*c**2 + 4*c. Is 7 a factor of k(0)?
True
Let t be -1 + 5 + -3 - -281. Does 6 divide (-12)/(-66) - t/(-22)?
False
Let b(y) = 11*y**2 - 2*y + 37. Does 15 divide b(-5)?
False
Let k = 44 - -60. Let u = k - 66. Is 12 a factor of u?
False
Suppose 2*n = -5*o + 250, -2*n + 5*n - 159 = -3*o. Is o a multiple of 12?
True
Let u = 64 + -39. Suppose 4*s - u = -s. Is s a multiple of 2?
False
Let q = 1 + -3. Is q*(-1)/(4/42) a multiple of 6?
False
Suppose 4*i - 20 = 0, -2*i + 7 = -2*z - 3*i. Let v = z + 8. Is (v - 0) + 1 + 9 a multiple of 12?
True
Let a(d) = -d**2 - d + 4. Let l be a(-3). Suppose -15 = -2*g - 3*g. Is 3 a factor of (l/g)/(6/(-63))?
False
Let k = 82 - 52. Suppose 4*t - 3*h = 31, 5*t + 4*h + 8 = 2*t. Suppose -t*o + 18 = -k. Is 12 a factor of o?
True
Suppose -g - 5*c + 41 = 12, 3*g - 49 = 4*c. Is 10 a factor of g?
False
Is 42 a factor of (-1262)/(-10) - (-2)/(-10)*1?
True
Let a(q) = -39*q - 6. Is 33 a factor of a(-5)?
False
Suppose -38 = h + 21. Let n = -31 - h. Is n a multiple of 14?
True
Let j(m) = 18*m - 20. Does 13 divide j(5)?
False
Suppose 5*z = 2*i - 4, 0 = 2*i + 2*z - 6*z. Let f(h) = -5*h + 1. Let x be f(-4). Let c = i + x. Does 9 divide c?
False
Suppose 9 = 4*q + 1. Suppose l + t = 6, -q*t = -4*l - 4 + 16. Suppose 0 = 4*h - 0*h, -l*f + 12 = h. Is f a multiple of 3?
True
Suppose -3*p - 18*q = -14*q - 12, 5*p = -q + 20. Does 4 divide p?
True
Let k = 3 - -4. Let n(m) = m**2 - 8*m + 9. Let v be n(k). Suppose -v*a - 3*f = -88, -2*a + 10 = -3*f - 66. Is a a multiple of 17?
False
Let b(y) = y**3 + 8*y**2 + 6*y - 6. Let g be b(-7). Does 6 divide 3 + 0 - (g + -16)?
True
Let x(m) = -12*m - 28. Does 7 divide x(-7)?
True
Let n(s) = -3*s**3 - 2*s**2 - 2*s**3 + 3*s**3 - s. Let d = -9 - -7. Is 4 a factor of n(d)?
False
Let i(m) = -5*m - 1. Suppose -1 + 2 = -l. Is i(l) a multiple of 3?
False
Let d = 1 + 4. Let w = d - 3. Suppose 3*h - w*h - 34 = 0. Does 17 divide h?
True
Does 8 divide 4/(-28) + 2 + 1992/28?
False
Suppose -3*g - 9 = -6. Let j = 23 - g. Does 12 divide j?
True
Let h be (-6)/(-39) + (-111)/(-39). Suppose h*v = -2*v + 20. Does 2 divide v?
True
Let h(s) = 2*s**2 - 12 - 3*s**2 - 2*s - 7*s. Let n be h(-9). Let z = -4 - n. Is 8 a factor of z?
True
Let h = 6 + -4. Suppose 95 = 4*s + 4*m + 307, -h*s - 5*m - 109 = 0. Let l = -34 - s. Is 9 a factor of l?
True
Let b(i) = i**2 - 2*i - 5. Let z be b(4). Suppose 3*x + z*n - 15 = 0, -2*x - 3*x + 70 = -4*n. Is 6/3 - (0 - x) a multiple of 10?
False
Suppose 3*y = -m + 9, m + m - 9 = -3*y. Suppose 0 = -y*q - 0*c + c + 245, 0 = 3*q + 4*c - 265. Is q a multiple of 17?
False
Suppose -2*z = 3*z - 35. Is 3 a factor of z?
False
Is 23 a factor of (-138)/(-4)*6*15/27?
True
Let k be (-3*(-12)/9)/(-2). Let i = 13 - -1. Let h = k + i. Is 12 a factor of h?
True
Let c(w) = w**2 + 1. Let h be c(-1). Let m be (2 + 12)/(h/8). Let s = m - 39. Is s a multiple of 17?
True
Does 16 divide ((-4)/(-2))/(4/96)?
True
Is 15 a factor of 35/(-175) + (812/10)/1?
False
Let j(x) be the first derivative of x**4/4 - x**3 - 3*x**2 + 5*x - 6. Does 14 divide j(5)?
False
Let v(r) = 2 - 9*r + r**2 - 4 + 1. Is 3 a factor of v(10)?
True
Suppose -3*p - 2*r - 53 = -r, r = -2*p - 34. Let f = -30 - p. Let d = f - -26. Does 8 divide d?
False
Suppose -2*k - i + 183 = 2*i, 3*i = -5*k + 453. Suppose k = -4*b + 34. Is 3*(b + 2)/(-3) a multiple of 7?
False
Let b(l) = -l**3 + 4*l**2 - 3*l + 2. Let i be b(3). Suppose -3 = -5*r + i. Is (r - 2)*-6 - 0 a multiple of 5?
False
Suppose -2*h + 5*m - 233 = -5*h, 5*h - 382 = -2*m. Is 17 a factor of h?
False
Suppose 0 = n - 7*n + 420. Does 12 divide n?
False
Let z(h) = h + 9. Let t be z(-6). Is (6/t + 1)*12 a multiple of 13?
False
Suppose 4*a - 3*g = 1280, 5*g + 23 - 689 = -2*a. Is 24 a factor of a?
False
Let j = 5 + -3. Let o(v) = -v + 15 + 2*v - j*v. Does 15 divide o(0)?
True
Let r(y) = -y**2 + 11*y + 33. Is 10 a factor of r(11)?
False
Suppose -5*w - 21 = 14. Let m(n) = -3*n + 11. Is m(w) a multiple of 21?
False
Let y(o) = -2*o + 13. Let a be y(10). Let b be (1 - (-7)/(-5))*-25. Let v = b - a. Is 7 a factor of v?
False
Suppose -4*p + 1185 = -2*f + 7*f, -p = 5. Suppose -4*c - 3*y = -f + 55, 3*c - 145 = -5*y. Is c a multiple of 8?
False
Suppose -o = 5*t + 2*o - 24, -t + 9 = 2*o. Let z = -17 - t. Is 6 a factor of -2 - z*(-3)/(-3)?
True
Let s = 26 + -14. Suppose -d = d - s. Does 2 divide d?
True
Suppose 4*b - 1049 = 275. Does 32 divide b?
False
Suppose -2*w = y, 5*w - w - y = 12. Suppose -4*k - k + 8 = 2*j, -5*j = -2*k - 20. Suppose k*z = w*z - 18. Is 9 a factor of z?
True
Is 9/(3 - (-117)/(-42)) a multiple of 42?
True
Let a = -1 - -6. Suppose 3*o - s = 66, 3*s + 8 = a*o - 102. Does 14 divide o?
False
Suppose 60 = -10*w + 7*w. Let c = -17 - w. Is 2 a factor of c?
False
Suppose -41*y = -37*y - 304. Is 4 a factor of y?
True
Let c = 21 - 34. Let n be c/3 + (-4)/6. Let f = n + 12. Is 6 a factor of f?
False
Let c = -9 + 14. Suppose c*x - 12 = -3*b, 0 = 2*b + 3*x + 5 - 13. Is b a multiple of 2?
True
Suppose -195 = -0*q - 5*q. Does 32 divide q?
False
Suppose h - 6 = 4*l, 0 = -4*h + 3*l - 6*l - 14. Let m be h/7 + (-4)/(-14). Suppose 24 = -m*a + 4*a. Does 6 divide a?
True
Let x = 31 + -13. Does 17 divide x?
False
Suppose 2*y = 6*y - 8. Suppose x = y*s - 0*s + 101, -391 = -4*x - 5*s. Does 29 divide x?
False
Is 6 a factor of -2*(3 - 4)*7?
False
Let u(k) = -k**2 + 5*k - 3. Let g be u(6). Let o(y) = y**2 + 7*y + 4. Is 11 a factor of o(g)?
True
Suppose -15 = -5*d, -u - 4*d = -0*d - 68. Is 28 a factor of u?
True
Suppose -2*g = -2*i - 364, -5*g + 2*i = -7*g + 376. Is g a multiple of 25?
False
Suppose 0*l + 200 = 5*l. Is l a multiple of 8?
True
Let c be (-1)/(-1 - 2/(-3)). Let u(a) = -a**3 + 9*a**2 - 8*a - 5. Let h be u(6). Suppose y - 85 = -3*x - x, c*x - y = h. Does 20 divide x?
True
Suppose 3*d - 15 - 120 = 0. Is 9 a factor of d?
True
Let t(z) = 0*z**2 + 1 + 2*z**3 - z**2 - z**2. Let w be t(1). Does 6 divide w/((-75)/(-36) - 2