47401 = 17*q + 12041. Is q a multiple of 51?
False
Let w(v) = v**3 - v**2 + v. Let i be w(0). Suppose i*f - 498 = -5*f + j, 411 = 4*f - 5*j. Is f a multiple of 5?
False
Suppose 2*u = -3*i + 5, i + u - 11 = -2*u. Is (i - (-209 - -4))/(3/4) a multiple of 8?
True
Suppose 4*h - 165024 = -3*o, 22*h + 54984 = o + 26*h. Is o a multiple of 12?
True
Let s = -166 + 556. Let r = -255 + s. Is 12 a factor of r?
False
Suppose -a + 2 = -0*a, -3*a = 3*y - 66. Let j = -10 - y. Does 8 divide (2 - (-411)/4) + j/40?
True
Does 14 divide 2/(-14) - ((-14898)/14)/(209 + -208)?
True
Suppose 0 = 12*p - 39264 - 51216. Suppose -2*r - g + 3016 = 0, 3*g + g = -5*r + p. Does 21 divide r?
False
Let y(d) = 515*d + 489. Is 170 a factor of y(3)?
False
Let k = -22025 + 22115. Suppose 2*o + 3*o + 30 = 0. Let c = o + k. Is 21 a factor of c?
True
Suppose -183073 = -9*t + 17465. Is t a multiple of 70?
False
Let l = 12924 + -12921. Let p(k) = 10*k**2 + 2*k - 3. Let z be p(-4). Suppose -2*m + l*m = z. Does 16 divide m?
False
Let x be (-135)/(4/(16/(-4))). Suppose -5*l + h = -213, -3*l + x = h + 2*h. Is 13 a factor of l?
False
Suppose 4*x - 30 = -5*w, -6*x = -x + 25. Let o(j) = -9*j**2 - 8*j - 31. Let b be o(w). Is (-10)/50 - b/5 - 1 a multiple of 19?
False
Suppose -4*n = -3*n + 1. Let x = 3 + n. Suppose -a - x*a + 73 = 4*h, -3*h - 2*a + 54 = 0. Is 8 a factor of h?
True
Suppose -648 + 2502 = 6*n. Does 27 divide n?
False
Suppose -47*c + 50*c - 360 = 0. Let t be ((-96)/c)/(2/5). Does 2 divide -22*t*(-2)/(-8)?
False
Let a be 33/88 - (-299)/(-8). Let d = a - -41. Suppose w - d*l + 32 = 3*w, l = 5. Does 3 divide w?
True
Let h(p) = -3*p**2 - 75*p - 37. Let x be h(-30). Let s = 6 - x. Is 48 a factor of s?
False
Let t = 602 + -599. Does 3 divide ((-1254)/(-16) - t) + (-3)/8?
True
Suppose 0 = 17*i - 20*i + 30. Suppose -i*b + 465 = -3335. Does 34 divide b?
False
Let m be -1*(-19)/3 - 3/9. Suppose -3*a + m*a + 9 = 0. Is 2 a factor of 4*1*(-6)/a?
True
Let d(s) = 2*s**2 + 5*s + 5. Let u be d(-4). Let h(a) = -a**2 + 15*a + 34. Let g be h(u). Suppose 4*x + 5 - 117 = g. Does 28 divide x?
True
Suppose 15*v = 5559 + 1701. Let o = 876 + v. Does 80 divide o?
True
Let h be (8/10)/((-6)/(-75)). Let w(o) = 10 - 12 + o**3 + h + 14 + 2*o. Does 3 divide w(0)?
False
Suppose 54*a - 52*a = 2812. Suppose -a + 11 = -5*h. Is h a multiple of 50?
False
Let d be (45/30)/((-2)/(-8)). Let q(m) = -m**3 + 9*m**2 - 2*m + 9. Let c be q(d). Suppose 6*k - c - 219 = 0. Is k a multiple of 9?
True
Let i = -5173 - -29573. Is i a multiple of 61?
True
Suppose 4*r + 1961 + 7007 = h, 3*h - 26982 = -r. Is h a multiple of 111?
False
Let x(m) = -3*m**2 - 16*m - 24. Let h be -1*4*5/(-10). Let r(p) = 10*p**2 + 48*p + 72. Let s(o) = h*r(o) + 7*x(o). Does 8 divide s(-8)?
True
Let s(r) = -5*r**3 - 5*r**2 - 5*r - 20. Suppose -28*d - 80 = -8*d. Does 16 divide s(d)?
True
Let j = 186 + 409. Does 35 divide j?
True
Suppose 6 - 30 = 6*t. Is 10 a factor of -255*(-3 - t)*-1?
False
Let z(i) = 159*i**3 - 3*i**2 - i + 8. Let x be z(2). Suppose -14*l + 13*l = -x. Is 58 a factor of l?
False
Suppose 11*v - 23*v + 1409922 = 17*v. Is v a multiple of 9?
True
Suppose -41*i + 12*i + 341952 = 10*i. Does 32 divide i?
True
Let t = 82662 + -43077. Does 13 divide t?
True
Let g = -65 - -74. Let o(i) = 14*i - 7*i**3 + 12*i**3 - 6*i**3 - 6*i**2 - 6 + 14*i**2. Does 13 divide o(g)?
True
Is (2/((-2)/(-223)))/((-2024)/(-60720)) a multiple of 70?
False
Suppose 0 = -3*m + 2*h + 1072, -3*m + 1426 = m - 2*h. Suppose 3*b = -u + 122, u + m = 4*u - 3*b. Is 17 a factor of u?
True
Suppose 4*b - 4*z = 65083 + 88681, -4 = z. Is b a multiple of 70?
False
Let x(i) = -i**2 - 21*i + 34. Let v be 3 + 6 + -15 + -4. Is 3 a factor of x(v)?
True
Suppose 5*b + 4164 = 11*b. Suppose -1 = -7*f - b. Let k = -71 - f. Is 14 a factor of k?
True
Let i be (-64)/(-30) + (0 - 4/30). Does 7 divide 79 + (2/(-2) - i)?
False
Let v(c) = c**2 + 14*c + 37. Let g be v(-18). Let u be 10 + (2 - (1 + -2)). Suppose s - g = u. Does 13 divide s?
False
Let i = -9727 - -15339. Is i a multiple of 46?
True
Let z(x) = -x**2 + 8*x + 25. Let v be z(10). Suppose v*l - 11 = 4. Suppose -j = -4*q + 3*j + 296, 4*j - 187 = -l*q. Does 33 divide q?
False
Let s = 135 + -115. Suppose 10106 = s*f + 706. Is 18 a factor of f?
False
Let p be (3 - 2)*(-10 + (-1 - -1)). Let a(v) = v**2 + 12*v + 18. Let b be a(p). Is 19 a factor of 60 - 6/(-4)*b?
True
Let w be (-120)/(-14) - 3 - (-6)/14. Suppose b - 3*b + 56 = a, -46 = -2*b + 4*a. Suppose 0 = -3*t + w*t - b. Is 3 a factor of t?
True
Suppose 5*b = 2*t - 0*t + 303, 3*b + 2*t = 169. Suppose -5*y + 3*d = b - 8, 0 = -2*y + 2*d - 18. Is y/4 + 29 + -1 even?
False
Let f(r) = -2*r**3 - 3*r. Let g = 127 - 129. Does 6 divide f(g)?
False
Let z(m) = -m**3 - 7*m**2 - 10*m + 4. Let l be z(-5). Is 18 - (l + -8 + 7) a multiple of 2?
False
Let x be (-2)/3 - 70*(-8)/48. Let o(j) = -11 - 11 - x*j + 21 + 0*j. Is o(-6) a multiple of 7?
False
Suppose -2*c + 4 = -4. Let k(p) = 2*p**2 - 7*p + 4. Let q be k(c). Is (q/(-4) - 0)/(-1) - -62 a multiple of 23?
False
Let l = -30 + 34. Let r be (1 - 9)/((-8)/l). Is 26 a factor of 4/(-2) - -32 - r?
True
Let d(p) be the third derivative of 13/24*p**4 - 1/60*p**5 - 4/3*p**3 + 0*p + 30*p**2 + 0. Does 4 divide d(8)?
True
Suppose 18*c = 17*c + 21. Let b(j) = -j**2 + 45*j + 48. Is b(c) a multiple of 24?
True
Let m = -382 - -630. Let w = 385 - m. Is 10 a factor of w?
False
Let a(u) = -2*u**3 - 12*u**2 + 8*u - 30. Let b be a(-9). Suppose 2*z - 186 = 4*p - 3*p, -4*z + b = -5*p. Does 19 divide z?
False
Let m be (-696249)/45 + 3/15. Is 18 a factor of (-8)/(-20) - m/20?
True
Suppose 2*w + 302 = -4*p, 2*p - w + 97 = -60. Let l = p + 574. Suppose 11*y = 4*y + l. Is 5 a factor of y?
False
Is 15 a factor of (84/(-8) - 4)*324*(-8)/3?
False
Suppose 112920 + 67190 = 7*q. Is q a multiple of 16?
False
Let i(c) = -8*c**2 - 16*c - 170. Let f(z) = 4*z**2 + 9*z + 85. Let y(p) = -7*f(p) - 4*i(p). Does 34 divide y(-10)?
False
Suppose -17 = 3*b + 3*c - 4*c, -4*c + 32 = -3*b. Let u be ((-1812)/(-18))/(b/(-6)). Let i = u - 61. Is 6 a factor of i?
True
Suppose 3*k + 5*j - 27062 = 0, -5*j + 21750 = 4*k - 14326. Is 44 a factor of k?
False
Suppose 122*s = 105*s - 1683. Is 16 a factor of -6 - (s + (15/(-5) - 3))?
False
Suppose -49*l = -85*l + 260496. Is 112 a factor of l?
False
Let a(v) = -90*v**3 - 8*v**2 - v + 20. Does 5 divide a(-2)?
True
Let y be (6/1)/3 - 1. Suppose -h = g - 3 + 4, 0 = -h - y. Suppose g = -4*a + 3*j + 208, -2*j = a - 35 - 28. Does 12 divide a?
False
Let j(a) = 0*a**3 - a**3 - 11*a - 2*a + 1 - a**2 - 3*a**3. Let w(z) = z**3 - z**2 + z - 1. Let x(q) = j(q) + 3*w(q). Is x(-5) a multiple of 31?
False
Let z(p) = 5*p**2 + p - 12. Let b be z(9). Suppose 0 = -2*o - 4*o + b. Suppose -k + 5 = -o. Is k a multiple of 24?
True
Let f be 24/(-42) - 325/(-91). Let o = -27 - -95. Suppose 7*b - f*b = -20, -o = -4*v - 4*b. Does 9 divide v?
False
Let u = 77 + -75. Suppose -u*t - 3 + 9 = 0. Suppose r + 4*o - 31 = 0, -2*r + 91 = t*r + 4*o. Does 3 divide r?
True
Is (-24 - 11901)*(54/(-90) - (-4)/(-10)) a multiple of 53?
True
Suppose 0 = -3*f - b + 5*b + 33, 4*b = 4*f - 40. Suppose -4*a = y - 3388, 2*a + 5*y - 716 = 996. Suppose 0 = -l + f*l - a. Does 47 divide l?
True
Suppose -12234 - 45816 = -25*l. Is l a multiple of 86?
True
Suppose 6*o = o - 2*h + 19, 0 = h - 2. Suppose -o*a - 116 = -4*f - 2728, 2*a + f = 1734. Suppose -u + 15 = -6*u, 0 = 4*d + 4*u - a. Is 38 a factor of d?
False
Let p = -278 + 483. Let q = -163 + p. Is q a multiple of 4?
False
Let m(z) = 2*z**3 - 2*z**2 + 6*z + 6. Let s(w) = -w**2 + 1. Let b = 49 - 46. Let q(f) = b*s(f) - m(f). Does 15 divide q(-3)?
True
Let f be ((-2 + 3)/3)/(2/552). Let g = 104 - f. Suppose 20 = 5*w, -9*w + 88 = 5*r - g*w. Does 16 divide r?
False
Let k(u) = 5*u**3 + 6*u**2 + 7*u + 115. Let s(h) = -9*h**3 - 11*h**2 - 13*h - 229. Let i(x) = -11*k(x) - 6*s(x). Suppose 0 = 8*w - 3*w. Does 14 divide i(w)?
False
Let a = 43 + -37. Suppose -125 = -a*j - 5. Does 26 divide 928/j - 1*6/15?
False
Suppose 0 = 4*m + 12 - 4. Let f(q) = -143*q**3 + 13*q + 26. Does 14 divide f(m)?
False
Suppose -2*b - h + 1498 = -3*h, -3721 = -5*b - h. Suppose -3*a - 20 = -8*a - 2*p, -a - 2*p - 4 = 0. Suppose 0 = a*m - 71 - b. Does 23 divide m?
False
Suppose 5*o - 22 = -97. Let f be (-136)/10 - (0 + (