+ 39, 35 = -5*w + 2*c - 21. Is 2 a factor of f(w)?
True
Suppose 0 = 3*a - 2*a + 4. Is -18*(24/(-9) - a/12) a multiple of 6?
True
Let f(m) = 6*m**2 + 19*m - 4. Does 17 divide f(-5)?
True
Let t(m) = -m - 6. Let c be t(-11). Suppose x - c*x = 132. Is (-1*5)/(3/x) a multiple of 23?
False
Let r(q) = 148*q**2 - 6*q - 20. Is 14 a factor of r(4)?
True
Let t(o) = 6*o - 76. Does 2 divide t(16)?
True
Let q = -1 - -4. Suppose -j + 150 = 4*d, -2*d = -q*j - j - 66. Does 22 divide d?
False
Suppose 37 = t - 2*p - 379, -5*t + 4*p = -2056. Does 51 divide t?
True
Suppose -4*y - a + 581 = 0, 2*y - 289 = -a + 2*a. Suppose 5*i = 2*l - 162, -3*l - 2*i + 388 = y. Is l a multiple of 13?
False
Suppose -2*w - 17 = 4*q - 59, 0 = 5*q - 4*w - 20. Suppose 434 = q*a - 398. Does 26 divide a?
True
Let a(i) = -9*i - 62. Is 5 a factor of a(-23)?
True
Suppose -3*s + 5*s = 2. Is 11 a factor of 3/(-9)*-39 + s?
False
Suppose -102 - 2754 = -12*c. Is 34 a factor of c?
True
Suppose 2*z + 2*n + 2*n = 8, 2*z - 5 = -5*n. Is 156/z - (-40)/100 a multiple of 4?
True
Suppose 0 = -5*p + 2*f + 212, 4*p + 5*f - 214 = -18. Suppose -6*m + 88 = -2*m + 4*u, u = -2*m + p. Is 8 a factor of m?
False
Suppose -7*f = -0*f + 343. Let j = f + 105. Is 12 a factor of j?
False
Let n(h) = 17 + 2 + 6*h + 4. Does 19 divide n(12)?
True
Let l(p) = -p**2 - 7*p - 1. Let w be l(-7). Let h(y) = -61*y**3 - 2*y - 2. Is h(w) a multiple of 7?
False
Let b = -166 - -787. Does 23 divide (b/(-6))/(3/(-4))?
True
Is 21 a factor of 2 - (24/(-3) + -22)?
False
Suppose h = t + 9, -3*t + 33 = 4*h - 6*t. Suppose -h*f - 4*z + 232 = -2*f, -f + 54 = -3*z. Does 10 divide f?
False
Is 368 - 3 - -4 - -1 a multiple of 5?
True
Suppose -j + 5*g + 255 = 0, -j + 0*g + 285 = g. Is j a multiple of 14?
True
Let u(k) = 6*k**3 - 8*k**2 + 5*k - 3. Is 6 a factor of u(2)?
False
Let o be 22/2 - (-2)/1. Let v = 15 - o. Suppose -4*m = -v*l - 48, 2*m - m - 12 = -4*l. Is 6 a factor of m?
True
Let v(k) = -k**3 + 11*k**2 + k - 6. Let a be v(6). Let f be a/27 - 1/(-3). Suppose f*m = 4*m + 207. Does 15 divide m?
False
Let p be (-188)/60 - 2/(-15). Is 12 a factor of 65 + p + -3 + 1?
True
Let y(u) = 27*u - 14. Let j(w) = -w + 1. Let k(f) = -18*j(f) - 2*y(f). Does 19 divide k(-5)?
True
Let x = -14 + 61. Suppose -3*a - 2*t + 66 = a, 3*a + t - x = 0. Let c = a - 0. Is 6 a factor of c?
False
Suppose 16*t = -17*t + 10296. Does 52 divide t?
True
Suppose 655 = -4*c - 5*x + 6587, 2*c + x - 2972 = 0. Is c a multiple of 31?
True
Is 9 a factor of ((-387)/(-1))/(135/225)?
False
Suppose -15 = -l - 7. Let g(v) = -3*v**3 - 18*v**2 + 10*v - 7. Let h(a) = a**3 + 9*a**2 - 5*a + 3. Let p(d) = 2*g(d) + 5*h(d). Does 25 divide p(l)?
True
Let s = 2275 + -988. Does 13 divide s?
True
Is 1589 - (-6 + (-3)/(1 + 2)) a multiple of 8?
False
Let m(x) = -531*x - 11. Is 20 a factor of m(-1)?
True
Let q(d) = d**2 - 11*d + 31. Let x be q(10). Let j(b) = b**2 + 4*b - 3. Let t be j(4). Let h = t + x. Does 18 divide h?
False
Suppose 0 = -0*y + 3*y - 150. Suppose 3*t + 34 = 379. Let z = t - y. Is 19 a factor of z?
False
Let d = 4 + -5. Let o be d/(56/18 - 3). Does 2 divide (3 - -1)*(o - -10)?
True
Suppose 4*x - 4*n - 9176 = 0, 0 = x + 4*n - 2*n - 2300. Is x a multiple of 82?
True
Let n(u) = -28*u - 168. Does 4 divide n(-18)?
True
Let o = -36 - -149. Is 6 a factor of o?
False
Does 40 divide (-7 - -17)*(-552)/(-6)?
True
Is 8 a factor of (-4)/30 + (-539)/(-105) - -110?
False
Let a(g) = 18*g + 15. Let z(c) = -35*c - 31. Let d(k) = 5*a(k) + 3*z(k). Is d(-5) a multiple of 17?
False
Suppose -5*j = -s + 17, 0 = s + 4*j + 1 - 0. Suppose 2*r = l - s, 66 = 3*l + 5*r + 12. Is 8 a factor of l?
False
Let x(w) = -10*w**2 + 6*w - 6. Let b be x(4). Let l be b*(0 + 15/(-6)). Is (-2 + l/20)*8 a multiple of 29?
False
Suppose 3*q = 4*o + 427, -4*q - 9*o + 591 = -10*o. Suppose 3*w = f + 634, 3*w - 630 = -0*f + 3*f. Let j = w - q. Is j a multiple of 22?
False
Suppose 0*i - 44 = -i. Let n(u) = -22*u - 13. Let v be n(-1). Let q = i - v. Does 7 divide q?
True
Is 32 a factor of (2 - 4277/(-3)) + 1/3?
False
Let p(q) = 11*q**2 + 195*q - 12. Is 10 a factor of p(8)?
False
Let x = -25 - -26. Let w be 4 + x/(2/(-4)). Does 13 divide (-2292)/(-60) - w/10?
False
Let w(m) = m**2 - 6*m - 5. Let a be w(8). Let x = a + -7. Suppose x*r = -5*s + 99 + 85, 5*s = 4*r + 216. Is s a multiple of 14?
False
Let k = -4 - -11. Let j be ((-3)/9*2)/(32/(-48)). Is j*k*(-10 - -11) a multiple of 7?
True
Let d = 2126 - 1064. Does 31 divide d?
False
Let t = 1591 + -1115. Is t a multiple of 25?
False
Suppose 0*m = 2*c + 3*m - 25, -c + 5*m - 7 = 0. Suppose -c*z + 435 - 147 = 0. Does 4 divide z?
True
Suppose -4*d - 124 = w - 4*w, 4*d + 96 = -4*w. Let o be (-4)/(0 - -4) - d. Let r = o - 9. Is r a multiple of 6?
True
Suppose 0 = -4*d + c + 4, -4*d - 2*c = -1 - 3. Let p(r) = -4 - 2 - d - 8*r. Does 13 divide p(-6)?
False
Is 54 a factor of (-6139)/(-11) - -2 - 5/55?
False
Let w(y) be the second derivative of 17*y**5/10 + y**4/12 + y**3/6 - y**2/2 - 21*y. Does 7 divide w(1)?
True
Is (-168)/((-92)/13 + 168/24) a multiple of 91?
True
Suppose -3*p = -0*p. Suppose p = 2*t - 5*t + 162. Is t a multiple of 27?
True
Suppose 3*h = -3*m + 465, 3*m + h + 4*h - 455 = 0. Suppose -4*n = 4*c - 104, -5*n - 2*c = -3*c - m. Let x = 47 + n. Does 26 divide x?
True
Suppose 9*i + y = 4*i + 78, 4*y + 88 = 5*i. Is 15 a factor of i/(-12)*3*-23?
False
Suppose 4*p - 82 = -194. Let r = -25 - p. Suppose r*u = -0*o + 2*o + 81, 3*o = 4*u - 108. Is u a multiple of 27?
True
Let n be 4/30 - 4256/(-30). Let g = n + -77. Does 9 divide g?
False
Let u = 5 + -32. Let h = u + 30. Suppose -7 = -5*f + h, 5*f - 33 = -j. Does 11 divide j?
False
Let d = 542 + -62. Does 80 divide d?
True
Suppose -23*k + 11230 + 431 = 0. Does 78 divide k?
False
Let g be 4/((-6)/3)*-1. Suppose 0 = -3*r - g*r + 315. Does 21 divide r?
True
Suppose -2*m + 8 = 4. Suppose j - 2*a = -44, 4*a + 5 - 13 = 0. Let d = m - j. Is 9 a factor of d?
False
Let g(o) = -o**3 - 18*o**2 + 27*o - 14. Does 68 divide g(-26)?
True
Suppose 4*f + 95 = 5*f + 3*h, 4*f - h = 432. Let w = -46 + f. Does 31 divide w?
False
Suppose 0*q + 40 = -8*q. Is 3 a factor of ((-52)/q)/(14/35)?
False
Let u(g) = -g**2 - g + 2. Let q(k) = -2*k**2 - 2*k + 2. Let y(i) = -3*q(i) + 4*u(i). Let m be y(-5). Let v = 24 + m. Is 14 a factor of v?
False
Let a(d) = 2*d**2 + 8*d + 66. Is a(-15) a multiple of 12?
True
Let h(n) = -n**3 - 5. Let d = -3 + 3. Suppose 4*z + 0*z + 16 = d. Is h(z) a multiple of 18?
False
Let v = 68 - 72. Is 3740/40 + (2 - (-10)/v) a multiple of 22?
False
Let o(q) = -3*q - 8. Let h be o(-4). Suppose -n + 31 + h = 0. Is n a multiple of 5?
True
Let j = 1414 - 769. Is j a multiple of 15?
True
Let o(s) = -s**2 - 10*s - 11. Suppose -8*g - 24 = -4*g. Let c be o(g). Let n = 29 - c. Is 8 a factor of n?
True
Suppose 196 + 124 = 8*x. Let u = 95 - x. Is 11 a factor of u?
True
Let d(x) = 4*x + 14. Let r be d(-3). Let y = r - -52. Does 10 divide y?
False
Let d = -1 - -3. Is 18 a factor of (-2164)/(-18) + 1 + d/(-9)?
False
Let d = 6 + -3. Let k be 10/(-4)*34/(-17). Suppose -d*r - 3 = 0, k*r = -6*u + u + 125. Is 13 a factor of u?
True
Let n(o) = -o**3 + 14*o**2 + 9*o - 40. Does 2 divide n(13)?
True
Is 133/2*(98 + -94) a multiple of 13?
False
Does 113 divide 8/18 - (10 - (-20426)/(-9))?
True
Suppose -4*l = y - 3*y + 68, -5*l = 2*y + 94. Let o(p) = -p**2 - 3*p + 68. Let v be o(-8). Let q = l + v. Is q a multiple of 7?
False
Suppose 3*t = 3*z + 441, -2*t = 2*t + 3*z - 595. Is t a multiple of 9?
False
Let m = 2572 + -1380. Suppose 0 = 11*x - m + 312. Is x a multiple of 7?
False
Suppose 4*a - 3*m - 1043 = -362, 5*a - 3*m = 849. Suppose -4*p = -2*p - 2*s - a, 2*p - 5*s = 177. Is p a multiple of 9?
True
Suppose -11*u + 16*u = 760. Does 20 divide u?
False
Let a be (24/21)/4 + 80/14. Suppose -3*c = -a*c + 219. Is c a multiple of 18?
False
Let z be -7 + 14 + (0 - 3). Let y(x) = x**2 + z*x + 4*x**2 - 2*x. Is y(-3) a multiple of 24?
False
Suppose 9489 = 3*l + 2*w + 1020, -3*w + 5641 = 2*l. Is 19 a factor of l?
False
Let o be 35 + (-4)/(6 - 2). Let l = 2 + o. Is 6 a factor of l?
True
Let p(k) = 99*k - 25. Does 21 divide p(9)?
False
Let w be -1 - -11 - (26 - 23). Suppose 5*o - 21 = -f, -2*o + w*o = -2*f + 17. Is o even?
False
Let n(g) be the second derivative of -g**8/6720 + g**7/360 - g**6