f 10?
False
Suppose -91 = -4*p - 7. Let n = p - 16. Is 3 a factor of n?
False
Is 24 a factor of (229 - 3)*4/4?
False
Let i(q) = q**3 + 7*q**2 + 2*q + 13. Let o be i(-7). Let k(g) = -143*g**3 + g. Is k(o) a multiple of 34?
False
Let t(h) = -h**2 - 12*h - 7. Let o be t(-12). Let m = o - 15. Does 22 divide m*(-5 + (1 - -2))?
True
Let n = -248 - -161. Let k = n + 146. Is 9 a factor of k?
False
Let m(z) be the first derivative of -5*z - 1/4*z**4 + 3 + 2*z**2 - 2*z**3. Is m(-7) a multiple of 7?
False
Let o be ((-16)/14)/(16/(-56)). Suppose -o*g - 3 = -7*g. Suppose g = -i + 8. Is 5 a factor of i?
False
Let f be (-1)/(-1 + 11/10). Let i = f + 4. Is 4 + i - (-40 + -1) a multiple of 15?
False
Suppose -3*u + 0*q - 6 = -3*q, -5*q = 4*u - 37. Is 35 a factor of (15/(-10))/(u/(-186))?
False
Let b be -1 + 1 - 4*25/20. Let w(y) = -11*y + 6. Is 15 a factor of w(b)?
False
Suppose 3*s = -460 + 2530. Is 17 a factor of s?
False
Suppose y = -5*g + 7533, -2*g + 2*y + 798 = -2220. Is g a multiple of 61?
False
Suppose 2668 - 998 = -5*i. Is 7 a factor of (-3)/(-12) + i/(-8)?
True
Let v(m) = 8*m**3 + 3*m**2 + m + 2. Let f be v(-2). Let a = 17 - -73. Let x = f + a. Is 7 a factor of x?
False
Let c be 8/36 + 7/9. Let r be (0 - -1) + -4 + c. Is 912/18 + r/(-6) a multiple of 17?
True
Suppose -31 + 0 = -r + 5*m, 3*r = -m + 13. Suppose 0 = -f + 5*x - r, 4*f + 5*x = f + 22. Suppose t - f*t = -132. Does 22 divide t?
True
Let j = -19 - -23. Let i(c) = 1 + 0*c - j*c + c + 0. Is i(-3) a multiple of 5?
True
Let w = -1992 + 3994. Is w a multiple of 26?
True
Let y(k) = 18*k**3 + 3*k**2 + 5*k. Let d(x) = 9*x**3 + 2*x**2 + 3*x. Let m(f) = 5*d(f) - 3*y(f). Does 6 divide m(-1)?
False
Suppose 2*d = b + 4, 4*d = -5*b - 1 - 5. Let t(r) = 6*r**2 - 6*r**2 - r - 9*r**3 + d + 44*r**3. Is t(1) a multiple of 14?
False
Let w = 6259 + -4271. Does 102 divide w?
False
Suppose 0 = 6*k - 12*k. Suppose k = -2*f + 2*r + 38, -3*r - 33 = -0*f - 2*f. Is 12 a factor of f?
True
Suppose 0 = -4*q + 7 - 3. Let g(w) = 2*w**3 - w**2 + w - 1. Let b be g(q). Suppose -v + b + 3 = 0. Does 2 divide v?
True
Suppose 5*k - 507 = 4*g + 70, -5*g = -10. Is 34 a factor of k?
False
Let n = 23 - 11. Let o be (-4 - n/(-4))*-7. Suppose o*g - 200 = 3*g + 2*s, -5*g + 257 = s. Does 20 divide g?
False
Suppose -3*d = 3 - 15. Suppose 3*t = -d*t + 525. Does 25 divide t?
True
Let f be (6 + -4)/((-2)/(-8)). Let t be f/(-6)*(-15)/4. Suppose -200 - 120 = -t*l. Does 12 divide l?
False
Let a = -286 + 698. Let b = -220 + a. Is 48 a factor of b?
True
Let v be ((-4)/(-6))/((-10)/(-255)). Let n(p) = v*p - 16*p + 6 - 5. Does 6 divide n(8)?
False
Let l be 1 - (4 - (-15)/(-3)). Let x be 11008/112 - l/7. Let f = 165 - x. Does 11 divide f?
False
Let v(n) = 3*n**2 + 5*n + 12. Does 31 divide v(-5)?
True
Let g = 14 + 34. Is (-3 + -1)/((-4)/g) a multiple of 4?
True
Let d(t) = -2*t**3 + 12*t**2 - t + 4. Let h be d(5). Suppose 8*x = -5*r + 5*x + h, -2*r - 2*x + 22 = 0. Is 4 a factor of r?
True
Suppose -3*i + 348 = -5868. Is 111 a factor of i?
False
Suppose -4*k + 16 = 4*h, -h = 3 - 4. Suppose 0 = 4*t - 2*t + 8, -22 = k*r + t. Does 18 divide (-424)/r + 2/(-3)?
False
Is (-250)/(-2) + -50 + 48 a multiple of 34?
False
Suppose -4*a - 3*d + 23 + 4 = 0, -d - 4 = -3*a. Suppose 0 = 10*l - a*l - 154. Is 4 a factor of l?
False
Suppose -8*l + 4 - 4 = 0. Let c be (-982)/(-7) + 10/(-35). Does 4 divide (l - -1)/(7/c)?
True
Let o(c) be the third derivative of c**6/120 - 2*c**5/15 + 5*c**4/24 + 2*c**3/3 + 19*c**2 - 2. Let t be 116/14 + (-4)/14. Is o(t) a multiple of 19?
False
Does 59 divide -3 - ((-3892)/12 - (-4)/(-6))?
False
Let v(a) = a**3 + 9*a**2 + 14*a + 7. Let w be v(-7). Let d = 13 - w. Suppose 0 = -d*r + r + 80. Does 6 divide r?
False
Suppose 0 = 7*m + 12*m - 14250. Is m a multiple of 25?
True
Let x(n) be the first derivative of -n**4/4 - 2*n**3/3 + n**2 - 2*n - 4. Let p be x(-3). Does 16 divide (21 + (p - 1))*3?
False
Let g(k) = 82*k + 1. Let w be g(-1). Let y be 4/3*w/(-2). Let f = -37 + y. Is 5 a factor of f?
False
Does 2 divide (-15)/((-160)/210 - (-2)/6)?
False
Let t(i) = -18*i - 126. Does 15 divide t(-17)?
True
Let d = -10 - -12. Suppose 60 = d*o + o. Suppose 5*f - 102 = f - 3*s, 2*s + o = f. Does 15 divide f?
False
Let a = -192 + 615. Is a a multiple of 25?
False
Let m(z) = z + 2. Let r be m(-5). Let q(c) = -6*c**3 + 4*c**2 + 2*c - 4. Let a be q(r). Suppose -8 = 5*b - a. Is 12 a factor of b?
True
Let w = 16 + 51. Does 14 divide w?
False
Let p be (1 - -2)/((-6)/(-110)). Let z be (-10)/p + 48/22. Suppose l + 3*m = -z*l + 204, -l + 4*m = -43. Does 11 divide l?
False
Suppose -243 + 27 = 4*y. Is (-5)/((-15)/(-6)) - y a multiple of 13?
True
Suppose k - 9 = -4*b, -3*k + 4 = b + 10. Let q be ((-19)/(-4) + -2)*4. Suppose -r + 2 = 3*u, -q = -5*r + b*u + 53. Does 11 divide r?
True
Suppose -6*c + 5*c = 0. Suppose c = 2*w - 49 - 161. Is 21 a factor of w?
True
Let d(o) = o**2 - 2*o - 20. Let l be d(0). Let k(v) = -7*v - 56. Is k(l) a multiple of 12?
True
Let f(l) = 30*l**2 - 5*l - 5. Let u be f(-3). Suppose 3*i = o - 76, 8*o = 3*o - 5*i + u. Is o a multiple of 4?
False
Suppose 0*w = -2*w - 90. Is (4/(-3))/(48/w + 1) a multiple of 4?
True
Let v = -29 + 53. Suppose 0 = -5*q + 5*o + 35, 2*o + 2*o = 2*q - v. Is (-2)/(-4)*q*71 a multiple of 21?
False
Suppose 3*q = 2*b - 809, 2*b - q - 813 = -2*q. Does 9 divide b?
False
Let o(v) be the second derivative of -13*v**3/6 + 14*v**2 - v. Let i(d) = -3*d + 7. Let l(y) = -9*i(y) + 2*o(y). Does 6 divide l(13)?
True
Suppose -15*p + 3300 = 10*p. Is 24 a factor of p?
False
Let o(r) = -r + 1. Let x(q) = q**3 + 10*q**2 - 4*q - 14. Let i(h) = -h**2 + 18*h - 18. Let w be i(17). Let u(z) = w*x(z) - 3*o(z). Is u(-11) a multiple of 8?
False
Let y(s) = s**3 + 3*s**2 - 3*s - 6. Let v be y(-2). Let o(b) = 10*b - 15. Does 12 divide o(v)?
False
Let q = 44 + -44. Suppose 2*i + q*i + 3*w = 91, 0 = -5*i - 5*w + 240. Is i a multiple of 6?
False
Let k be 4 - ((-3 - -9) + -2). Suppose o - 5 - 55 = k. Is 20 a factor of o?
True
Suppose -7*r = -12*r - 5. Let w(v) = -87*v - 3. Is 13 a factor of w(r)?
False
Let w(c) = 69*c - 63. Does 121 divide w(38)?
False
Let u be -2 + 0 + (-12)/3. Let y be (-4)/u - 2188/(-12). Suppose 0 = -4*v + t - 0*t + 203, -4*v + y = -5*t. Is 13 a factor of v?
True
Suppose 3*v + 5*l = 21, -6*v = -2*v - 4*l + 4. Let z(y) = -7*y - v*y**2 - 2 - 6*y + 0*y**2 + y**2. Does 17 divide z(-6)?
False
Let g(u) = -236*u**3 + 2*u**2 + u. Is 7 a factor of g(-1)?
False
Suppose 5 - 53 = -3*s. Suppose 0 = 3*x - h - s, -x = -0*x + h - 4. Suppose -x*k + 3*k - i + 70 = 0, 2*i - 106 = -3*k. Is 18 a factor of k?
False
Let s = -8 + 6. Is 23 a factor of s + 80 - (-5 + 1)?
False
Does 16 divide (-684)/117 + 6 - 15960/(-26)?
False
Let t be 56/24 + 4/6. Suppose -2*f + d + 16 = 0, 5 = -2*f + t*f - 2*d. Is 9 a factor of f?
True
Suppose -d - d = p - 7, 2*d + 4*p = 4. Is 9 a factor of (d/(48/114))/(2/20)?
False
Suppose 0 = -20*k + k - 57. Is 35 a factor of (-10)/k*(290/4 + 1)?
True
Let p = -110 + -69. Let g = -127 - p. Does 13 divide g?
True
Suppose -3*d - 2*d = -2610. Does 10 divide 9/18 + (2 - d/(-4))?
False
Let a = -276 - -496. Suppose 6*t - 50 = a. Is t a multiple of 10?
False
Let a = -2695 - -4493. Does 26 divide a?
False
Suppose -12*w + 37198 + 4214 = 0. Is w a multiple of 119?
True
Let r(p) = p**2 + p + 1041. Let f be r(0). Suppose -5*d = 5*c - 13080, -5*c - 9396 = -4*d + f. Is 20 a factor of (-8)/(-6)*d/26?
False
Suppose 264 = 3*b - 3*p, -11*b - 3*p = -8*b - 282. Does 32 divide b?
False
Suppose m - 2*m = -335. Suppose 7*p = 1637 - m. Is 30 a factor of p?
False
Suppose x - 117 = 5*w, 501 = 4*x - 4*w - 31. Is x a multiple of 2?
False
Suppose 2*f + f = 2121. Let u = -472 + f. Does 14 divide u?
False
Let b = 0 + 39. Suppose 2*h - b = 83. Is h a multiple of 14?
False
Let u = 6611 - 3493. Is 86 a factor of u?
False
Let t be (-4)/(-2)*(-8 - -4). Let g = -24 + 11. Is (18/t)/(g/156) a multiple of 27?
True
Let x(h) = 6*h**2 - 29*h - 52. Is 30 a factor of x(16)?
True
Let d(p) = p**2. Let z be d(-2). Suppose 2*u - 3*r - 15 = 0, -z*u + 10 = -2*u - 2*r. Does 4 divide 3 - (-3 + (1 - u))?
False
Let t(o) = 4*o + 22. Let a be t(-5). Suppose a*b = h - 0*b - 6, 2*h = -3*b + 26. Is 7 a factor of h?
False
Suppose 0 = -2*w - 65 + 93. Suppose w*u = 23*u - 153. Is 2 a factor of u?
Fal