 a factor of f(m)?
True
Let v = 5 + 46. Is -2 + 5 + -1 + v a multiple of 14?
False
Let m be (-3)/(-12) - (-314)/(-8). Let d = 99 + m. Does 15 divide d?
True
Suppose -p - 8 = -5*p. Let a(h) = 3*h**3 + h**2 - h - 1. Does 9 divide a(p)?
False
Let y = 344 - 198. Suppose -2*t + 4*z + 80 = 0, z - y = -4*t + 2*z. Is t a multiple of 21?
False
Let w(v) = 5*v**2 - 3*v. Let k be ((-1)/(-3))/((-3)/(-18)). Is 14 a factor of w(k)?
True
Let a be -4 - (3 - (-3 + 12)). Let o be 192 + 4/(-6)*3. Suppose -w = 4*u - o, u - 5*u + a*w = -184. Does 15 divide u?
False
Suppose -4*o - 2 = 3*n, -o - 1 = 4*n + 6. Let z(q) be the first derivative of 13*q**2/2 + q + 1. Does 6 divide z(o)?
False
Suppose 0 = d + 3*d. Suppose d = -5*p - 49 - 1. Let c = p + 23. Is 5 a factor of c?
False
Suppose 0 = 4*a - 0*a - 4. Is (a - 1 - -21) + 3 a multiple of 9?
False
Let o be ((-6)/(-9))/(2/12). Suppose 0 = -o*z - f + 45, -3*z = -0*z - 2*f - 31. Suppose 2*l + l = u + z, -2*l - u = -14. Does 2 divide l?
False
Is (-6)/39 + (-1250)/(-13) a multiple of 12?
True
Let o be 0 - 2 - 110/(-5). Suppose o = 4*u - 0. Suppose -u*n = -3*k - 32, n - 20 = k + 3*k. Does 4 divide n?
True
Let v = 10 - -5. Does 8 divide v?
False
Let l(b) = 2*b**3 - 6*b**2 + 5*b - 3. Let n be l(4). Let t = -19 + n. Is 6 a factor of t?
True
Is 24 a factor of 5*-5*(-4 + 3)?
False
Suppose -v = v - 26. Is 2 a factor of v?
False
Suppose 3*h + 58 = -4*y, 6 = y + 2*y. Let t = h - -32. Is 10 a factor of t?
True
Let x = 31 - 22. Is x a multiple of 3?
True
Suppose -d + 10 = -6*d. Does 5 divide (-1)/2*40/d?
True
Does 9 divide (132/(-20))/((-2)/30)?
True
Suppose 0 = -k - 2*k - 6. Does 14 divide (-7)/((-15)/6 - k)?
True
Let k(i) = 23*i**2 - 1. Let p be k(-1). Suppose 5*o - 44 = -4*m, -3*m + 11 = o - p. Does 3 divide m?
False
Let g = -29 - -6. Let c = -11 - g. Is c a multiple of 6?
True
Is 3/5 - (-12978)/70 a multiple of 31?
True
Suppose -4*x - 5*d + 123 = 0, 4*x + 4*d - 53 - 67 = 0. Is x a multiple of 18?
False
Suppose 0 = 5*x + 4*h - 30, 0*x = 5*x - 3*h + 5. Suppose 3*c - 106 = -2*c - 4*m, c + x*m = 26. Is c a multiple of 18?
True
Suppose -j - j - 5*o + 100 = 0, 5*o = 5*j - 180. Is j a multiple of 13?
False
Suppose -2*q = -7*c + 9*c - 482, q - 479 = -2*c. Is c a multiple of 17?
True
Let z(o) = o**3 - 5*o**2 - 4*o + 10. Let p be z(7). Let q = -61 - -87. Let d = p - q. Does 27 divide d?
True
Suppose -18 = w + 26. Let l be (-6)/(-33) - 80/w. Suppose 4*d - l*d - 16 = 0. Does 8 divide d?
True
Let g(b) = 6*b**2 - 2*b + b - 2 + 3*b + b**3 + 0*b**2. Does 8 divide g(-4)?
False
Suppose 13 + 5 = 3*b. Suppose 0 = t - 5*o - 24, 2*t - b = t - 4*o. Does 4 divide t?
False
Let k be 84/(-8)*(-2)/3. Suppose k + 3 = 5*m. Suppose m*o + 18 = 3*p + 3*o, -p + 2*o + 13 = 0. Does 7 divide p?
True
Let a(q) = 7*q - 49. Is a(9) a multiple of 7?
True
Suppose 2*w - 10 = -0*w. Suppose -2*i - 12 = -i - 3*q, 0 = w*i - 3*q. Suppose 0 = -5*n - 2*z + 28, 2*n = -i*n + z + 16. Does 4 divide n?
True
Let f be 1/((-87)/(-42) - 2). Let l = f + 27. Let d = 58 - l. Is d a multiple of 15?
False
Let g = 456 + -281. Let o = g + -121. Let i = -28 + o. Does 11 divide i?
False
Let a(h) = -h**3 - 6*h**2 - 9*h - 1. Is 16 a factor of a(-6)?
False
Let r be 2/(3 - (-1 + 2)). Let i be (r/(-2))/(4/424). Does 18 divide i/((-2)/4*2)?
False
Suppose 5*o = g + 3*o + 21, 0 = -3*g - 5*o - 19. Suppose 135 = 27*j - 22*j. Let m = j + g. Is m a multiple of 14?
True
Let i = 14 + -11. Is 6 a factor of (-1 + -23)*(-3)/i?
True
Let q be (2/(-4))/((-1)/18). Suppose 3*g + 25 = -2*m, m + 25 = -4*m. Let c = g + q. Is c a multiple of 2?
True
Let i(f) = -f**3 + 81. Let g(c) = c**3 - 6*c**2 - 8*c + 7. Let s be g(7). Is 21 a factor of i(s)?
False
Suppose 5*x = -3 + 33. Is (-194)/(-6) + (-2)/x a multiple of 6?
False
Let b(s) = -s**3 - 7*s**2 - 4*s - 28. Does 34 divide b(-8)?
True
Let s be -2*(-2 - 3/(-2)). Does 17 divide ((-136)/4*-1)/s?
True
Suppose 0 = -3*p + 5*h - 15, 5*p - 12 = -2*h - 2*h. Suppose 84 = -4*c - 4*g, p*c - 5*c - 70 = -2*g. Is c/(-5 - -3) - 1 a multiple of 7?
True
Let p = 7 + -5. Let j = p - -27. Is 9 a factor of j?
False
Suppose -2*q - q + 131 = -5*m, 0 = 5*q - 4*m - 201. Is q a multiple of 9?
False
Let y(o) = -8*o - 4. Is y(-7) a multiple of 26?
True
Let h(y) = -2*y + 1. Let a = 0 + 0. Suppose 0 = -f - i - 9, a*i + 3 = -f + 2*i. Is 15 a factor of h(f)?
True
Let o be (105/28)/(2/8). Suppose 0 = 3*g + o - 3. Let j = g + 9. Is 3 a factor of j?
False
Let c(x) = -10*x + 8. Let q be c(-6). Let b be 1/4 - (-2)/(-8). Suppose 5*h - q - 62 = b. Is h a multiple of 13?
True
Let o = -33 + 29. Let y(x) be the second derivative of -x**5/20 - x**4/3 - x**3/2 - 5*x**2/2 + x. Is 4 a factor of y(o)?
False
Let s(f) = f**2 - 4*f - 2. Let z(q) = -q**3 + 4*q**2 + 5*q + 5. Let h be z(5). Let n be s(h). Suppose -27 = -n*i - 3*a, 52 = 2*i + i - 2*a. Does 7 divide i?
True
Suppose 6*u - u - h - 269 = 0, 0 = -2*u + 2*h + 106. Is u a multiple of 54?
True
Let j be -4 - (3 - 5 - 0). Let v be (-1 - -36) + j/2. Suppose 0 = 4*q - 3*x - 3 - v, 20 = 2*q - 2*x. Is 3 a factor of q?
False
Let f = 13 + -9. Does 2 divide f?
True
Let v(w) = w - 9. Let m be v(11). Suppose -b + 5*x = -230, 3*x = 3*b + 2*x - 634. Suppose m*p - b = -3*p + 4*f, -p - 4*f = -18. Is 15 a factor of p?
False
Let h = -145 + 207. Is h a multiple of 18?
False
Let m = 40 + -7. Suppose 107 + m = 4*b. Is 12 a factor of b?
False
Is (255/(0 - 5))/(-1) a multiple of 7?
False
Suppose -3*v - 2*y = 2*v + 57, -3*y = 5*v + 58. Let k = 3 - v. Is k a multiple of 7?
True
Suppose 3*m - 4 = y - 19, y - 2*m - 18 = 0. Does 16 divide (-20)/3*y/(-5)?
True
Let p = 7 + -25. Let z be p/(-12) + 17/(-2). Does 9 divide ((-2)/3)/(z/189)?
True
Let x(k) = 11*k + 2. Let q(h) = -5*h - 1. Let f(n) = 13*q(n) + 6*x(n). Let u be f(7). Suppose -u = -0*a - 2*a. Is 2 a factor of a?
False
Suppose -48 = 6*d - 7*d. Does 8 divide d?
True
Let s(g) = 20*g**2 + 3*g + 4. Does 66 divide s(-5)?
False
Let f(l) = 7 - 10*l - 4 + 1. Is f(-4) a multiple of 20?
False
Let s be 306*(6/(-4) - -3). Let v be (-8)/(-6)*s/18. Let j = -17 + v. Is j a multiple of 17?
True
Let z(w) = w**3 + 7*w**2 + 2*w + 6. Suppose 4*i + 18 + 6 = 0. Is 13 a factor of z(i)?
False
Let c(w) = -w**2 + w. Let f(p) = -4*p**2 + 9*p - 6. Let d(g) = 5*c(g) - f(g). Let t be d(-6). Let l(j) = -2*j + 4. Is l(t) a multiple of 6?
False
Suppose -4*i = -0*i - 8. Suppose 147 = c + i*c. Is c a multiple of 18?
False
Suppose 2*t - 4*t + 374 = 0. Is 27 a factor of t?
False
Suppose -o = -44 - 351. Does 57 divide o?
False
Suppose -7*c = -5*c - 18. Let j be 3/(c/(-6)) - -34. Suppose -11 = -u + j. Is u a multiple of 22?
False
Let m be (-6 - -7)*(101 + 2). Suppose 0 = -2*n + m - 35. Does 9 divide n?
False
Suppose 72 = -l + 4*l. Suppose 0 = 5*u + c - 2*c - 22, 4*c + l = 4*u. Does 2 divide u?
True
Let k = -25 - -42. Is k a multiple of 9?
False
Let b = -22 + 202. Is b a multiple of 30?
True
Does 25 divide (-3)/(-7) + (-1032)/(-42)?
True
Let f(g) = g**3 + 5*g**2 - 3*g - 9. Suppose 0 = 3*x - x + 10. Is 3 a factor of f(x)?
True
Let h(j) = 6*j + 1. Let c be h(4). Let v = -18 + c. Does 6 divide v?
False
Let b(p) be the first derivative of -6*p**2 + 1. Let y be b(-2). Suppose 2*o = y + 24. Does 12 divide o?
True
Suppose 2*y + 6 = 18. Does 14 divide (-118)/(-6) + 2/y?
False
Suppose 8*c = 12*c - 148. Does 22 divide c?
False
Let k(y) = 23*y + 8. Does 6 divide k(2)?
True
Let b be (-2)/1 + 6/6. Let y = b + 6. Is 3 a factor of y?
False
Let d be ((-3)/3 - -9) + 2. Is 7 a factor of (-1 + 1 - 3) + d?
True
Suppose -22 = -4*u + 3*u. Is u a multiple of 11?
True
Suppose q - 5 = 4. Is q a multiple of 8?
False
Suppose -i - i + 8 = -2*a, 3*a + 5*i = 4. Is 0 + 22*a/(-4) a multiple of 11?
True
Let t = 3 - -1. Let g be ((-10)/t)/((-1)/(-2)). Let o(a) = a**3 + 7*a**2 + 7*a - 1. Does 4 divide o(g)?
False
Let v = -4 + 9. Let m = v + -2. Let o(r) = 5*r - 3. Is 12 a factor of o(m)?
True
Let k(n) = -n**3 + 7*n**2 - 5*n - 4. Let d be k(6). Suppose 5*i - 8 = -d*g + 6*g, 2*i + g + 2 = 0. Suppose i = 8*c - 3*c - 25. Is c a multiple of 2?
False
Let j(y) = 3*y**2 - 2*y - 1. Does 25 divide j(8)?
True
Let m(k) = -k**2 + 10*k + 13. Let u be (-237)/(-27) + (-4)/(-18). Does 11 divide m(u)?
True
Let i = -15 - -5. Is i/(-1)*(0 - -2) a multiple of 5?
True
Suppose 5*i - 2*l = -3*l + 364, -2*i + 2*l = -136. Is 9 a factor