divide i?
False
Let o = -59 + 34. Let x = o + 73. Let n = x + -32. Is n a multiple of 8?
True
Let u(x) = -3*x + 8 - 3*x - x**2 - 12 - x**3. Is 13 a factor of u(-3)?
False
Does 17 divide 33/(-55) - 1316/(-10)?
False
Suppose -10 = 5*i - 25. Suppose -l = 2*f - 142, 5*l + 156 + 44 = i*f. Does 24 divide f?
False
Let i(c) = -c**2 + 6*c + 8. Let a be i(6). Let n be (1 - 2)/((-11)/22). Suppose -2*v - 5*f + 31 + a = 0, 4*v - n*f - 42 = 0. Is v a multiple of 6?
True
Suppose -3*y + y + 78 = 0. Is 13 a factor of y?
True
Let g be (2/(-3))/((-3)/(-9)). Does 13 divide 0 + 14 - (-1 - g)?
True
Suppose 10*q + 240 = 15*q. Is 24 a factor of q?
True
Suppose 0*u = u + 12. Is (6*1)/((-8)/u) a multiple of 2?
False
Suppose v + 2*v - 3 = 0. Does 2 divide (4/14)/(v/7)?
True
Let t(y) be the third derivative of -25*y**4/24 - y**3/3 + y**2. Suppose 2*b - 1 = -7. Is 21 a factor of t(b)?
False
Suppose -2*m - 70 = -4*s, -6 = 2*s + 2*m - 26. Does 14 divide s?
False
Suppose -4*b + 64 = h, -5*h = 3*b - h - 35. Let z = -3 - 2. Let s = b + z. Does 12 divide s?
True
Suppose -3*q + 202 - 55 = 0. Is 7 a factor of q?
True
Let o be 3/((-5)/(-2) + -1). Let k(a) = 2*a + 0*a**2 - 4 + a**o + 0*a**2. Is k(-4) a multiple of 4?
True
Suppose -6*d = -584 - 826. Does 47 divide d?
True
Let m(i) = 9*i - 5. Is m(6) a multiple of 10?
False
Does 14 divide 1044/10 + -6 + 4/(-10)?
True
Let y(a) = -a**3 - 8*a**2 - a. Let m be y(-8). Suppose -h + m = -2. Suppose 2*g - h = -2*k - 2*k, 5*k = 4*g - 33. Is g a multiple of 3?
False
Let t = 1 + 1. Let q be 376/3 + (-5)/15. Suppose -3*j = t*j - q. Is 12 a factor of j?
False
Suppose 9*m - 9 = 8*m. Let u = -12 + 61. Suppose m - u = -4*p. Is 4 a factor of p?
False
Let z = -3 + 8. Suppose -93 = -z*w - 8. Does 14 divide w?
False
Let z(k) = -k**2 + 20*k - 6. Is 26 a factor of z(14)?
True
Let n(h) = 209*h**3 + h**2 - 2*h + 2. Is 14 a factor of n(1)?
True
Let i(l) = 2*l**3 - 4*l**2 - 5*l + 6. Does 10 divide i(4)?
True
Let c(y) = y**3 - 10*y**2 + 11*y - 24. Does 51 divide c(10)?
False
Suppose -v = -5*w - 377, v - w - 140 = 245. Suppose 0 = 5*o + r - v, r + 306 = 2*o + 2*o. Suppose -4*y + 5*b + 46 = 0, 5*y - 4*b = o - 15. Is y a multiple of 7?
True
Suppose 2*m + 3*m + 15 = 0. Let d be 92/6 + (-2)/m. Suppose d = 3*g - g. Is 8 a factor of g?
True
Suppose 3*p + 2*p + 4*y = -1, 13 = -p - 4*y. Suppose -h + 9 + p = 0. Is h a multiple of 6?
True
Let u(x) = -5*x**3 - x**2 - 3*x + 23. Let l(y) = 2*y**3 + y - 8. Let k(v) = 11*l(v) + 4*u(v). Does 7 divide k(3)?
False
Suppose -2*d + 27 - 9 = 0. Is 3 a factor of d?
True
Suppose -2*j = -8, -2*j = -3*v - 5*j + 168. Does 26 divide v?
True
Suppose 3*d = -y - 2*y - 171, 225 = -4*d - 5*y. Does 14 divide (d/14)/(1/(-7))?
False
Let n = 68 - 38. Does 15 divide n?
True
Let u = 24 + -7. Let i = 32 - u. Is i a multiple of 7?
False
Let r = 17 + -6. Does 11 divide r?
True
Let g(t) = -t**2 - 5*t. Let h be g(-5). Let w be (1 - 32)*(-1 + h). Suppose -9 - w = -5*z. Does 4 divide z?
True
Does 5 divide 6/(-30) + 52/10?
True
Suppose -6*j = -j - 75. Suppose 17 + j = s. Is 16 a factor of s?
True
Let k be 19/3 + (-14)/(-21). Suppose 4*f - 27 + k = 0. Is 5 a factor of f?
True
Suppose 3*u = 0, -2*i - 136 = 4*u - 364. Is 15 a factor of i?
False
Let t(x) be the first derivative of -x**4/2 - 4*x**3/3 + x**2/2 - x + 2. Is t(-3) a multiple of 11?
False
Does 31 divide (-15)/(-20) + 329/4?
False
Let m(o) = 4*o**2 + 2*o. Let t be 10/(-35) - (-19)/(-7). Does 13 divide m(t)?
False
Suppose 0 = 5*z - a + 10, -z - 2*a + 3 + 6 = 0. Let k = 4 - z. Suppose 5*j + k*t - 78 = j, 3*t = -5*j + 91. Does 17 divide j?
True
Is (-4)/(-14) - (-1 + (-3222)/42) a multiple of 16?
False
Is 72540/273 + (-2)/(-7) a multiple of 33?
False
Suppose -6*w = -84 - 48. Does 5 divide w?
False
Let j be (7 - 2)*5 + -1. Let u(a) = -a**3 - 5*a**2 + 3*a - 8. Let n be u(-6). Let r = n + j. Does 17 divide r?
True
Suppose 0 = 4*o - 0*o - 8. Suppose 3*d - 3*t = -111, -d + o*t = -2*d - 28. Let g = -1 - d. Is 14 a factor of g?
False
Suppose -2*g - 4*n - 36 = -4*g, 0 = 4*g + n - 81. Suppose 4*d - 8*j - 34 = -3*j, 4*j = 2*d - g. Is 3 a factor of d?
True
Suppose -8 = 2*h + 4*y, -h - 8 = -0*h + 3*y. Let k = h + 0. Suppose k*n = -5 + 33. Is 7 a factor of n?
True
Let c(h) = -h**3 - 1. Let j be c(-2). Suppose 5*l = 2*m - 18, m + 4*l + 10 = -j. Is 2 + 1*(-1)/m a multiple of 3?
True
Suppose 2*z + 4*m = 3*m + 227, -z = 2*m - 109. Is z a multiple of 21?
False
Let r = -4 + 4. Suppose -w = 3*g - 15, r*g + g - 5 = -2*w. Is g a multiple of 5?
True
Is (32/(-10))/((-6)/45) a multiple of 12?
True
Let j(i) = 2*i**2 - 12*i - 2. Does 13 divide j(10)?
True
Let o(s) be the third derivative of s**6/24 - s**5/20 + s**4/6 - s**3/3 + 3*s**2. Is o(2) a multiple of 16?
False
Let d(z) = -z**3 - z**2 - z - 1. Let j be d(-2). Suppose 5*w = -j*l + 40, w + 1 = 3*w - 3*l. Does 7 divide -1 + (22 - (2 - w))?
False
Suppose -387 + 147 = -10*n. Is 6 a factor of n?
True
Suppose 68 = 6*a - 2*a. Is a a multiple of 17?
True
Let m = -13 - -18. Suppose -m*b + 306 = 2*u, -2*b = u + 3*u - 116. Does 13 divide 3 + 4/(8/b)?
False
Let l(n) = -n + 77. Let g = 8 - 8. Does 22 divide l(g)?
False
Let b(y) be the first derivative of -3*y**2/2 - 2*y - 1. Suppose 0 = -3*m + 2*a - 27, 6*m - m = 4*a - 47. Is 7 a factor of b(m)?
False
Let i(g) = g + 5. Let p be i(-5). Suppose p = 4*w + w - 95. Does 19 divide w?
True
Is 73*(0 - -1)/1 a multiple of 21?
False
Is 3 a factor of 6/(24/52) - 0?
False
Suppose 2*y = 38 + 34. Suppose 5*v - 24 = y. Is v a multiple of 4?
True
Let r(p) = 5*p**2 + p. Let a be r(1). Suppose 0*g = 2*g - a. Suppose 0 = g*k - 4*f - 28 - 27, -k = 2*f - 35. Is 7 a factor of k?
False
Let s(k) = -k**2 - 10*k - 1. Suppose 3*p - 6 + 33 = 0. Is 3 a factor of s(p)?
False
Let p be (-10)/(-6) + 2/(-3). Let u be 60 + (p - 2/2). Suppose 0*n = 4*n + 5*c - 27, -5*n = c - u. Does 13 divide n?
True
Suppose -3*f + 3 = 0, -b = b - 5*f - 17. Suppose -y = -b - 22. Is 11 a factor of y?
True
Suppose 2*v + 20 = 7*v. Suppose 4*t + x = -0*x - 3, -4*x - 12 = v*t. Is 8 + 3 + t/(-2) a multiple of 6?
False
Suppose 6*k + 0*k = 72. Is k a multiple of 12?
True
Suppose 10*l - 5*l - 5 = 0. Does 5 divide l/5 - 79/(-5)?
False
Suppose -4*w = -2*u + 144, -w - u - 23 - 19 = 0. Let f = -9 - w. Is f a multiple of 15?
False
Let w(a) = 4*a + 14. Let v be w(7). Suppose 0 = -3*h - 0*h + v. Does 14 divide h?
True
Is ((-4)/6)/(36/(-5022)) a multiple of 31?
True
Suppose 2*a + 9 = 3*u - a, a + 7 = 3*u. Does 17 divide 939/21 - u/(-7)?
False
Let j(p) = -4*p**2 + 1. Let c be j(-1). Let z be (-2 + (-2)/(-3))*c. Is 5 a factor of z/(-14) - 72/(-7)?
True
Let v(l) = -8*l + 3. Let g be v(-3). Suppose d - 22 - g = 0. Is 10 a factor of d?
False
Suppose 19 = -3*n + 277. Suppose 5*i - 44 = n. Is 17 a factor of i?
False
Suppose 0 = -3*d + 85 + 245. Suppose b = 3*b - d. Is b a multiple of 17?
False
Suppose -27 = -4*v + 5. Let y(t) = -t**2 + 10*t + 2. Is 13 a factor of y(v)?
False
Suppose n = -f + 106 + 33, -701 = -5*f + n. Is 14 a factor of f?
True
Let j = -3 - -6. Let n(h) = -h**3 - h. Let k be n(j). Let l = -9 - k. Is l a multiple of 10?
False
Let d = 20 - 10. Is 2 a factor of d?
True
Let y(n) = 7*n. Let s be y(1). Suppose s*u - 2*u = 670. Suppose u = 3*h + 11. Is 16 a factor of h?
False
Is 12/18 - 164/(-6) a multiple of 7?
True
Let x(z) = -z - 15. Let h be x(-6). Is 6 a factor of (-70)/(-21)*h/(-2)?
False
Suppose -4*y - 4 = -12. Is y/7 - (-2044)/49 a multiple of 14?
True
Suppose -4*k + 2*f + 0*f = -26, 0 = k - 2*f - 11. Let l be 0*(2 - 3/2). Suppose q + 7 = 4*i - 28, -2*i - k*q + 45 = l. Does 5 divide i?
True
Let k = -177 - -122. Is 13 a factor of k/(-2) + 3/(-2)?
True
Let u(f) be the first derivative of -2*f**2 - 5*f + 1. Let v(r) = 8*r + 11. Let j(m) = 7*u(m) + 3*v(m). Is j(-6) a multiple of 8?
False
Let g(k) = -k**3 - 4*k**2 + 3*k - 5. Suppose -h + o = 7, 0 = h + 4*o - 4 + 1. Let u be g(h). Is 9 a factor of 2/(-10) + 91/u?
True
Let c(v) = -v + 22. Let h be c(10). Is -48*(-2 + 16/h) a multiple of 25?
False
Suppose -5*x = 4*w + 1, 4*x + 0*x + 44 = 4*w. Let k = w - -1. Is k a multiple of 5?
False
Is ((-90)/63)/(2/(-14)) a multiple of 5?
True
Suppose 5*a + 2*w - 672 = w, 5*w = a - 150. Does 45 divide a?
True
Let j(q) = q**2 - 6*q + 6. Let f be j(5). Let u be (0 + -3)/(f/(-23)). Suppose -3*l - 3*s + 141 = 0, -l = 