= -2*c + o. Let r(w) = 8*w**2 + w - 2. Is 15 a factor of r(c)?
False
Suppose 3*d - 4*c = 23656, 3*d - c - 159 = 23494. Does 36 divide d?
True
Let k = 6546 - 3310. Does 86 divide k?
False
Does 46 divide (224/(-49))/((-14)/14651)?
True
Let v = 9 - 5. Suppose -3*x + 45 = -4*w, 5*w + 47 = v*x + 4*w. Is 5 a factor of x?
False
Suppose 17*m - 19*m = -52. Suppose 19*x - m*x + 49 = 0. Does 6 divide x?
False
Suppose 218*c - 49*c - 1858211 = 536181. Does 9 divide c?
False
Let g = 25 + -8. Let j(q) = q**3 - 13*q**2 - 40*q + 1. Let v be j(g). Let h = v + -252. Is h a multiple of 25?
True
Suppose 0 = -5*a - 5*s + 280, -2*a + 146 - 46 = -4*s. Is 3 a factor of a - (4 - -8)/(-3)?
False
Let l(q) = -q - 9. Let a be l(-19). Let s be 6/a - 1752/(-30). Let k = s - 42. Is 6 a factor of k?
False
Let j(g) = 72*g**2 + g - 2. Let v be -2 - (0 + (2 - 2)). Let s be j(v). Let d = s + -128. Is d a multiple of 39?
True
Let t(w) = -5*w - 21. Let d = 12 - 17. Let i be t(d). Suppose 0 = 3*p - i*p + 79. Does 9 divide p?
False
Let v(q) = 40*q + 12. Suppose 5*a - j - 50 = 0, 4*j = a - 29 - 0. Let k be v(a). Suppose 3*z - 372 = -2*w, w = z + 2*z - k. Does 13 divide z?
False
Let l(x) = -2*x - 36. Let g be l(-12). Let j be 3 - (4 + (-2)/(-1)) - g. Suppose -j*c + 252 = -6*c. Is 17 a factor of c?
False
Suppose p + 8*p - 63 = 0. Let r(x) = x**3 - 5*x**2 + 8*x - 6. Let b be r(3). Suppose b*h = h - p. Is 4 a factor of h?
False
Does 59 divide ((-39655)/(-165))/((-4)/(-216))?
False
Suppose 22*n = 31*n. Suppose -5*r - 4*m = -170 - 1268, n = -4*r + 3*m + 1169. Does 5 divide r?
True
Let g = -1120 + 446. Let b = -104 - g. Is b a multiple of 10?
True
Let q = -707 - -1580. Let i = -471 + q. Let w = i - 194. Is 16 a factor of w?
True
Suppose -25*q - q - 5980 = 0. Let f = q - -267. Does 2 divide f?
False
Let d(p) = -125*p + 9 + 259*p - 4 - 130*p. Let m be d(0). Suppose r = -4*r - 2*a + 1075, m*r = -5*a + 1090. Does 46 divide r?
False
Let a(v) = -v**3 - 21*v**2 - 26*v - 40. Let o be a(-20). Is (1824/o)/((-9)/(-30)) a multiple of 19?
True
Is (-101)/(-3)*(-40 - -130) a multiple of 48?
False
Let l be 220/121 - (-2)/11. Suppose l*q + 11 = 3*m, -3*q + 4*q = 5*m - 23. Suppose -5*a = -0*a - 2*c - 174, -a - q*c + 42 = 0. Does 18 divide a?
True
Suppose -5*i + 6*i - 7 = 0. Let t be -5 + 2 + (i - (4 + -3)). Suppose t*y - 139 = 14. Does 8 divide y?
False
Let z be 1/(8/(-9702)) + 85/(-340). Let u = z - -1885. Is 24 a factor of u?
True
Suppose 105129 = 38*r - 77271. Suppose 179*c = 174*c + r. Is c a multiple of 8?
True
Let t = 25444 + -15027. Is 13 a factor of t?
False
Is 11 a factor of (24/3)/(-16) + 58578/4 + -3?
True
Let n = 37 + -38. Is 133 - (10 - 5) - (n - -2) a multiple of 23?
False
Suppose -2*v + 4*i = -3606, 0 = v + 2*i + 1020 - 2831. Suppose 0*s + v = 2*x + s, 0 = 3*x + 4*s - 2718. Is 11 a factor of x?
True
Suppose s = -5*u + 257, 4*u - 5*u - 691 = -3*s. Is s a multiple of 3?
False
Does 50 divide 78*(15 + (-880)/(-48))?
True
Suppose 32 = 2*k + 20. Suppose k*a - 10*a = -28. Let r = 52 - a. Is 8 a factor of r?
False
Let x(v) = -30*v + 3362. Is x(84) a multiple of 29?
False
Let z = 10808 + -3088. Is z a multiple of 40?
True
Is 9 a factor of (-894578368)/(-18240) + (17/15 - 1)?
False
Let i = -479 - -647. Suppose -3*g = 3*h - 3, -4*h = h + 5. Suppose -g*f + i = -106. Does 17 divide f?
False
Suppose 0 = 5*w + 4*a - 1549, -9*w - 5*a + 932 = -6*w. Let p = 717 - w. Is p a multiple of 24?
True
Suppose -10344537 = -228*x - 115*x. Does 6 divide x?
False
Let r(q) be the second derivative of 5*q**3/6 + 5*q**2 + 30*q. Does 15 divide r(7)?
True
Let s(u) = u**2 + 3*u + 11. Let z be s(11). Let w be (-2)/1*z/(-5). Let h = w - 51. Does 6 divide h?
False
Suppose -c + 1270 = -5*v - 195, v - 4331 = -3*c. Does 3 divide c?
False
Suppose 0 = -70*i + 256411 + 125579. Is 4 a factor of i?
False
Let h = 5 - 1. Let m(z) = 5*z. Let l(j) = -16*j - 19. Let p(s) = l(s) + 5*m(s). Is 16 a factor of p(h)?
False
Let y(i) = i**2 + 15*i + 28. Suppose -13*w + 7 = -6. Let x be -17 - (w - (12/4)/3). Is 17 a factor of y(x)?
False
Let t(w) = 4*w + 97. Let m be t(-28). Is 5 a factor of m/(-6)*(96 - (1 - -1))?
True
Let g be (-104)/(-32) - (-2)/(-8). Suppose -o + 1 = -g. Does 7 divide o + 31 - (2 - 2)?
True
Let s(x) = -x**3 - 13*x**2 - 5*x - 16. Suppose -5*c - 20 + 35 = 0. Suppose 0 = c*m + 3*m + 78. Is 13 a factor of s(m)?
False
Suppose 0 = -z + 3, -2*h + 22*z + 57533 = 19*z. Does 219 divide h?
False
Suppose 5*h + 46*a = 43*a + 142059, 0 = -3*h + 4*a + 85276. Does 19 divide h?
False
Suppose -m = -5, 4*m = -2*j + 4*j + 4. Let z = 12 - j. Suppose 0*f = 3*f - 6, -5*d - z*f = -58. Is 5 a factor of d?
True
Let t be (-2*313/2)/(3 + -2). Let x = t - -1071. Is 56 a factor of x?
False
Let v(l) = -38*l - 35. Let h be v(-1). Suppose x = -x + 1080. Suppose -h*u = u - x. Does 15 divide u?
True
Suppose 18 = -8*o - 6950. Let g = 1521 + o. Suppose 3*f - g = -2*f. Does 27 divide f?
False
Let v(k) = -k**3 - 17*k**2 - 3*k - 11. Let d be v(-17). Let s = d - -58. Suppose -4*i + 314 = u + s, 3*i = 2*u + 162. Is 18 a factor of i?
True
Suppose -3 + 9 = -2*y, 52 = -g - 2*y. Is -44*g*(-5)/(-40) a multiple of 8?
False
Suppose 0*d + 32*d = 5*d + 6561. Is 81 a factor of d?
True
Let w(c) = -c**2 - 6*c + 13. Suppose 2*l = -5*h - 29, -4*l = -3*l + 5*h + 22. Let g be w(l). Suppose 290 = g*b - 502. Is 12 a factor of b?
True
Let i(d) = 166*d**2 - 56*d + 18. Is i(3) a multiple of 112?
True
Let g = 15655 - 7383. Does 3 divide g?
False
Does 84 divide (377/(-26) + 14)/((-3)/32484)?
False
Let z = 22520 + -22245. Is 2 a factor of z?
False
Suppose 10*b - 2313 = 2057. Suppose 0 = -8*p - b + 3765. Is 52 a factor of p?
True
Let f(p) = -p**2 - 19*p - 5. Let l be f(-15). Suppose 0 = l*i - 59*i + 4356. Does 20 divide i?
False
Let g = 118 + -219. Let m = -25 + g. Does 11 divide 3/(m/(-5826)) + 2/7?
False
Let h(l) = -l**3 + l**2 - 5*l + 144. Let r(b) = b**2 - 2*b. Let z be r(2). Does 16 divide h(z)?
True
Let k be (-3)/1 + 0/(5 + -6). Let l be 0 + (-2)/k - (-68)/6. Is 107*8/l*(-6)/(-4) a multiple of 27?
False
Let i(r) = -781*r - 1353. Does 23 divide i(-5)?
False
Does 35 divide -279*(3740/(-198) + 15)?
True
Suppose n = s - 46381, -3*n + 185524 = -100*s + 104*s. Is 21 a factor of s?
False
Let w be 23460/660 - 6/11. Let m(x) = -2*x**2 + 71*x + 75. Is m(w) a multiple of 2?
True
Let j = 898 - 623. Suppose 4*s - j = -s. Is s*(8/5 + 10 + -11) a multiple of 6?
False
Does 17 divide (-1)/(-2) - ((-13809)/(-12)*-2 + 6)?
False
Suppose 4*v - 5*w - 137712 = 0, 58*v - 55*v - 103249 = -5*w. Is 194 a factor of v?
False
Let d(m) = 7*m**2 + 51*m + 70. Let k be d(-20). Is k*(2/(-6))/((-20)/24) a multiple of 49?
False
Let q = 7412 + -6403. Is q a multiple of 15?
False
Suppose 561 = 7*t + 1618. Let v = -130 + 24. Let c = v - t. Is 9 a factor of c?
True
Let d(b) = -23*b**3 - 2*b**2 - 21*b + 166. Is d(-8) a multiple of 8?
False
Let y be 2 - (1 - 2 - -2). Suppose -4*w = -k - 9*w - 11, 2 = -w. Is -5 + y + (24 - k) a multiple of 15?
False
Let i(u) be the first derivative of -u**4/2 - 2*u**3/3 + 9*u**2 + 93*u - 175. Is i(-6) a multiple of 17?
False
Let r(x) = -756*x - 2936. Does 8 divide r(-6)?
True
Let l(n) = n - 33. Let b be l(33). Suppose b = 10*i - 4*i - 1008. Does 6 divide i?
True
Let u(h) = 423*h + 18. Let o be (-55)/165*(-3 - (0 + 0)). Is u(o) a multiple of 12?
False
Suppose 5*m - 23 = 3*a + 6*m, -4*m = -5*a - 61. Is (-33140)/(-90) - (1 + 7/a) a multiple of 46?
True
Let v = 10126 - 1450. Is v a multiple of 11?
False
Let z(r) = 9*r + 70. Suppose 5*k + 15*g - 19*g - 33 = 0, -5*k = -3*g - 36. Is z(k) a multiple of 26?
False
Let v(u) = 110*u**2 - 2*u + 1. Suppose 4*n + 25 = 5*h - 0, -2*h + 7 = -n. Let g = 2 - h. Does 6 divide v(g)?
False
Suppose 0*q + 3*q = -15, -3*r = -2*q - 2773. Suppose 3*f - r = -276. Does 43 divide f?
True
Suppose 274593 = 18*y + 15*y. Does 143 divide y?
False
Let a(g) = -46*g + 0*g**2 + 52*g - g**2. Let i be a(5). Is 1*18 + (3 - i) a multiple of 16?
True
Let y be (10/(-14))/((-1)/7). Suppose -y*v + 4*k = 806, -5*v = -3*v - 3*k + 321. Let x = v + 251. Is x a multiple of 29?
False
Let h(a) = 15*a**3 + 3*a**2 - 3*a - 1. Suppose -3*z - 28 = -4*y, -5*y - 3*z = -2*y. Does 55 divide h(y)?
False
Is 8 a factor of 1*(-1)/5 + (721027/(-115))/(-29)?
True
Let m be (0 + -11)/(3 - 8/3). Let u = 39 + m. Suppose 2