factor of i?
True
Suppose 4*u = -2*m + 60, -5*m + u + 58 = -37. Is m a multiple of 5?
True
Let q = 34 - 23. Does 11 divide q?
True
Let l(q) = -79*q + 2. Let j be l(-2). Suppose 0 = -2*o + 6*o - j. Is o a multiple of 21?
False
Is 8 a factor of (-4)/(24/3)*-48?
True
Is 4 a factor of 126/(-10)*140/(-42)?
False
Let k be (3/(-6))/(1/(-12)). Let n(u) = u + 1. Does 2 divide n(k)?
False
Let f = 1 + -3. Is -2*(f + 3/6) a multiple of 2?
False
Let i(v) = -v**3 - 10*v**2 + 6*v - 6. Let h(q) = 4*q**3 + 31*q**2 - 19*q + 19. Let b(y) = -2*h(y) - 7*i(y). Let g be 3 - (-5 + 2)/3. Does 18 divide b(g)?
False
Suppose -29*v + 25*v = -240. Is v a multiple of 10?
True
Suppose 9*b - 20*b = -990. Is b a multiple of 8?
False
Let i(n) be the first derivative of -n**2 + 2 + 0*n**2 + 2*n + 0*n**2. Is 8 a factor of i(-3)?
True
Let p(h) = -h**3 - 5*h**2 - 4*h - 9. Does 6 divide p(-5)?
False
Suppose -m + 11*m = 1070. Is m a multiple of 7?
False
Let i = 3 - -5. Does 5 divide i?
False
Suppose 0 = -24*i + 18*i + 456. Is 3 a factor of i?
False
Let g(j) = j - 4*j + 4*j + 11. Does 4 divide g(-7)?
True
Let z = 13 - 9. Let m(l) = -2 + l**3 - l + z*l**2 - 4*l + 0*l. Is 16 a factor of m(-4)?
False
Let y be 7 + -8 + 1*25. Let i = y + -13. Is 7 a factor of i?
False
Suppose s - 4*z = 3*s - 88, z = 5*s - 220. Is 11 a factor of s?
True
Suppose 832 = 5*k + 3*y, 4*k - 4*y + 148 = 788. Is 13 a factor of k?
False
Let c be (1/(-1))/(3/6). Let q = c + 3. Let w(x) = 11*x**3 + 2*x**2 - 1. Does 8 divide w(q)?
False
Suppose 2*j = -5*k + 22 - 68, k + 16 = 3*j. Let i = k + 14. Suppose -4 = -i*b + 64. Does 15 divide b?
False
Suppose a + 2*j + 62 = 0, 0 = 2*j - 0*j. Let w = -2 - a. Is w a multiple of 18?
False
Suppose -r + 2 = -1. Suppose 9 = 4*i + 1. Suppose 90 = 2*l - r*j, -5*l + 214 = -0*j - i*j. Is 12 a factor of l?
False
Is 16 a factor of 2 + 2 + 27 + 0?
False
Suppose -2*s - 32 = -166. Is s a multiple of 30?
False
Suppose -2*h + 3*f = -9, f + 3*f + 2 = h. Let y = 10 - h. Suppose -y*k - k = -70. Is k a multiple of 14?
True
Suppose 0 = 5*k + 24 + 21. Let r be k*(-1 - (-6)/9). Suppose 30 = 3*l - l + 4*w, 0 = -r*w. Is 15 a factor of l?
True
Is 19 a factor of 0 + (-8)/(-2) + 76?
False
Let l be 20/8*(-16)/(-10). Suppose s = -4*z + 12, -l*z + s = -0*s - 4. Is z a multiple of 2?
True
Let u be 0 + (-6)/(-3 + 0). Let t be u*(-1)/((-2)/(-15)). Let o = t - -52. Does 13 divide o?
False
Let q be 2/(-6) - (-134)/6. Suppose k + 9 = -2*l, -4*k + 9*k + 3*l + 10 = 0. Is 7 a factor of q/(-4)*(k + -3)?
False
Suppose -5*r + 8 = 2*t, 0 = t + 4*r - 7*r - 4. Let c = -33 + t. Let s = -13 - c. Is s a multiple of 16?
True
Let z = 87 - 61. Suppose 0 = -5*l - 4*b + 22, 0*b - 14 = -l + 4*b. Suppose -p = -5*x + z + l, -2*x - 4*p + 26 = 0. Is x a multiple of 7?
True
Let f(w) = -w**2 + 3 - 3 + 7*w - 2. Is f(5) a multiple of 4?
True
Suppose -135 = -3*w - 2*i, 1 = -2*i + 7. Is w a multiple of 12?
False
Let x = 31 + -21. Is (x - 10) + (14 - 0) a multiple of 5?
False
Let g = 14 - 6. Suppose 1 = -o + g. Is 3 a factor of o?
False
Let h = 96 - 39. Suppose -8*k + 3*k = 15, 0 = -4*n - 5*k + h. Does 9 divide n?
True
Let g be 10 - (1 - 4 - -3). Let k = g - 4. Is k a multiple of 5?
False
Suppose 10 = 3*p + 2*p. Let n be -1*(2 - 44*p). Suppose 4*t - 2*y + n = 246, -3*t - 4*y + 120 = 0. Is 25 a factor of t?
False
Let a = 4 + -4. Suppose b = 3*m - 9, -5*m + a = -4*b - 15. Suppose 4*h = -b*h + 20. Is 2 a factor of h?
False
Suppose 3*i + 4 - 16 = 0. Suppose i*v = -v + 60. Is 4 a factor of v?
True
Suppose 4*y - 5*n - 1 = 18, -3*n - 21 = -4*y. Suppose y*c - 260 = 2*c. Suppose -c = -4*m - 17. Is m a multiple of 6?
True
Let u be (-18)/9*(-6)/(-2). Is 23 a factor of (2 - 10)*69/u?
True
Suppose 4*q - 6*q = -4. Suppose -q*i = -4*s - 78, -2*i + 0*i + 78 = -s. Is 13 a factor of i?
True
Let g = 177 - 105. Is g a multiple of 18?
True
Let l(a) = -a**3 + 6*a**2 + 7*a + 3. Suppose 4*o + 20 = 0, -q - 5*o - 15 = -1. Let t = 18 - q. Is l(t) even?
False
Let j(d) be the second derivative of d**5/20 - 7*d**4/12 + 5*d**3/6 + 4*d**2 - 2*d. Is 15 a factor of j(7)?
False
Let u be 1/(0 + -1 - -2). Let l be (-4 - -5)/(u/23). Let n = -1 + l. Does 11 divide n?
True
Let g = -13 + 18. Let m = g - 5. Suppose -5*s - 4*n + 10 + 72 = m, -65 = -4*s - 3*n. Is s a multiple of 7?
True
Is 7 a factor of (5*-14)/((-8)/4)?
True
Let l = 10 + -1. Is l a multiple of 4?
False
Let s(p) be the third derivative of -p**6/120 + 4*p**5/15 + 5*p**4/24 - 10*p**3/3 - 6*p**2. Is s(16) a multiple of 15?
True
Let i = -7 + 17. Let h = 14 - i. Suppose 4*l - 3*u - 21 = -l, 0 = h*l - 5*u - 22. Is 3 a factor of l?
True
Suppose 106 = 4*x - f, x = 5*f + 19 - 2. Is x a multiple of 27?
True
Let t(l) = l**3 + 6*l**2 + 4*l + 7. Suppose -2*o + 4*o = -10. Is t(o) a multiple of 12?
True
Let j(c) = -7*c**2 - 2*c + 1. Let g be j(1). Does 5 divide ((-34)/(-4))/((-4)/g)?
False
Let i(b) = -67*b - 2. Is i(-1) a multiple of 11?
False
Suppose 3*y = -5*k + 8, -5*y - k - 8 = 2*k. Let q(p) = 5*p - 25. Let m(h) = -3*h + 13. Let d(z) = y*q(z) - 7*m(z). Is d(10) a multiple of 11?
False
Let s(t) = -11*t - 37. Is 4 a factor of s(-6)?
False
Suppose -77*u = -73*u - 64. Is u a multiple of 4?
True
Let q = 371 + -264. Is 21 a factor of q?
False
Let k = -20 + 35. Is k a multiple of 5?
True
Let v(i) = 5*i**3 + 3*i - 3. Let n be v(2). Suppose 46 = q - 3*z, 0*z + 117 = 2*q - z. Let w = q - n. Does 9 divide w?
True
Let v = 5 + 8. Suppose -v*f + 64 = -9*f. Does 15 divide f?
False
Let l(i) = -i**3 + 8*i**2 + i - 5. Is 3 a factor of l(8)?
True
Suppose -4*k + 2*s - 6 = 2, -5*k = s - 4. Let t = -8 + 13. Suppose -o = -k*o - t. Does 2 divide o?
False
Let w(z) = 11*z. Let n be w(1). Let d be n - 3/1 - -1. Suppose -21 - d = -2*h. Is h a multiple of 12?
False
Let v(q) = -27*q - 11. Let p be v(-4). Suppose 4*f - 98 = 5*h + 71, -2*f = -5*h - p. Is 12 a factor of f?
True
Let g(z) = -6*z**3 - z**3 - 6 - 27 + 2*z**3 + 5*z. Let l(w) = 14*w**3 - 14*w + 98. Let k(s) = 11*g(s) + 4*l(s). Is k(0) a multiple of 10?
False
Let b(p) = -7*p**3 + 3*p**2 + 3*p + 1. Is 9 a factor of b(-2)?
True
Let g(q) = -q**2 + 9. Let h be g(0). Suppose -h - 11 = -5*n. Does 2 divide n?
True
Let s(o) = o**2 - 5*o - 1. Let j be s(6). Suppose -25 + 5 = -j*p. Suppose 2*h = 3*g + 25, 5*g = 3*h - p*h - 20. Is 2 a factor of h?
False
Suppose -2*r = -3*n + r + 42, -4*r + 39 = n. Let t(y) = y - 1. Let h be t(5). Suppose h*z - n = 37. Is 14 a factor of z?
True
Let c = 4 + -4. Suppose 5*z - 389 + 134 = c. Suppose 4*j = 5*d - z, d + 3*j + 0*j + 5 = 0. Is d a multiple of 3?
False
Let i(b) = -4*b**2 + 4*b**2 + 2*b**2 + 6*b. Suppose -5*s + 11 = 31. Does 8 divide i(s)?
True
Let z = 38 + -10. Is z a multiple of 5?
False
Let r = -2 + 4. Suppose 3 = r*x - w, 0 = 4*x - 5*w + 9. Suppose -z = 5*g - 103, -x*z - 48 = -5*g + 2*g. Does 10 divide g?
True
Let f be 2 + (1 + 0 - 1). Suppose 26 = -s + f*s. Is s a multiple of 18?
False
Suppose 3*h - 2*y - 11 = 2*y, 6 = 2*h - 4*y. Suppose -h*x = b - 46 + 3, 0 = -5*b + 5*x + 65. Is b a multiple of 18?
True
Let m(y) = y**2 + 12*y. Let v be m(-12). Is (v - -5)*(-60)/(-25) a multiple of 3?
True
Suppose -u = -2, s + u + 1 = -u. Let w(h) = h**3 + h**2 + h + 1. Let t(c) = -5*c**3 - c**2 - 8*c - 12. Let v(b) = t(b) + 6*w(b). Does 4 divide v(s)?
True
Suppose -4*h + 77 = -x, -5*h + 5*x = 2*x - 98. Is h a multiple of 11?
False
Suppose -3*y + 2*q + 19 = 0, -2*q = -y - 4*q + 9. Does 7 divide y?
True
Let x(g) = g**2 + 5*g. Suppose -4*d + w = 4*w + 26, w = -d - 6. Let h be x(d). Suppose -2*i + 6*i = h. Is i a multiple of 5?
False
Suppose 30 = -5*h - 0*h. Let m be (-9)/6*(-32)/h. Is (m/(-3))/((-1)/(-6)) a multiple of 16?
True
Suppose 0 = -4*d - 4*l + 56, -5*d + 0*l + 5*l + 120 = 0. Is 19 a factor of d?
True
Suppose 2*b + c = 28, -4*c - 4 = -3*c. Is b a multiple of 3?
False
Suppose -2*v - 3*v = -10. Suppose -9 + 1 = -v*y. Is y a multiple of 2?
True
Let b(p) = -p**3 + 3*p**2 + 6*p - 2. Let u be b(4). Let a = -3 + u. Is 3 a factor of a?
True
Let f be 1*(0 + 2 + -2). Suppose -2*g - 8 + 34 = f. Does 5 divide g?
False
Suppose -12 = -m + 9. Is 7 a factor of m?
True
Suppose 2*a - 3*y = 519, -3*a - y + 741 = 2*y. Let u = -97 + a. Suppose 5*z - 149 = -4*g, 7 = -4*g - 4*z + u. Does 12 divide g?
True
Let o = 11 + -27. Let w be -1*(2 + o + 2). Suppose -3*j = -24 - w. Is 12 a factor of j?
True
S