uppose 46*r = 10*r + 16632. Let d = r - -126. Does 49 divide d?
True
Let x(l) = 8*l + 9 - 3*l - 3*l. Let g be x(-4). Does 2 divide g*(2 + 7)/(-3) + 11?
True
Suppose 0 = 24*p + 6634 - 264298. Does 11 divide p?
True
Let x be -6 + 12 + -1158 + 12. Let o = -480 - x. Is o a multiple of 44?
True
Let c(s) = 4406*s**2 + 6*s - 4. Does 19 divide c(1)?
True
Let b = -39 + 92. Let t = b + 39. Is t a multiple of 16?
False
Suppose 677*v - 2681208 = 569*v. Is v a multiple of 36?
False
Let w = 53 - 54. Let x be w + (1 - (4 + -1)) - -3. Suppose -5 + 2 = 3*s, x = 5*d + 5*s - 70. Is 5 a factor of d?
True
Suppose -4*w + 3*s + 35 = 0, -w - 1 = -4*s - 0. Is 3 a factor of (48/(-40))/((-2)/10)*w?
True
Suppose 9*l - 6557 = -1481. Let d = -365 + l. Is d a multiple of 21?
False
Suppose 11291*f - 27348 = 11285*f. Is f a multiple of 86?
True
Suppose -17*w + 39*w = 38*w - 24576. Is 6 a factor of w?
True
Suppose -2*s - 84 = -5*d - 330, 4*s - 462 = -5*d. Let f(p) = 183*p**2 + 25*p + 26. Let o be f(-1). Let g = o - s. Is 22 a factor of g?
True
Let q = 1309 + -3508. Is 45 a factor of 162/189 - q/7?
True
Suppose 2*j = 6*j - 4*q + 24, -3*j - 14 = -2*q. Is 7 a factor of (-36)/j*12/4?
False
Suppose 0*f - 274 = -4*f + b, -2*f + 2*b = -134. Let n = f - 69. Suppose n = 43*t - 45*t + 294. Is 21 a factor of t?
True
Let m be (-2)/(-5)*((-36)/(-2) + -8). Suppose 5*i + 160 = k, 440 = 3*k + m*i + i. Is 11 a factor of k?
False
Let m = -17 - -21. Let c(a) = 3*a**2 - 8*a - 4. Let v be c(m). Is 6 a factor of 11 - (v/54 + 4/(-18))?
False
Let z(g) = -29*g - 24. Let y(i) = -31*i - 23. Let q(h) = 3*y(h) - 4*z(h). Is q(9) a multiple of 13?
True
Suppose 14*r - 1341 = -12*r + 25*r. Is r a multiple of 3?
True
Suppose 5*h - 15 = 15. Suppose -1408 = h*i - 10*i. Is i a multiple of 44?
True
Suppose 61*v - 72*v + 14872 = 0. Is 36 a factor of v?
False
Suppose 3*c - 5 = -5*r + 42, -5*c = -20. Suppose 2*x + r*x = 1440. Does 16 divide x?
True
Suppose 0 = -11*s + 16335 + 51579. Is 147 a factor of s?
True
Let s be 2 - -1 - (-1 - -1 - 0). Suppose 625 = 4*n - 5*y, -s*n + 465 = -y - 4*y. Suppose 15*c - n - 1610 = 0. Is c a multiple of 7?
False
Is (76/(-8) - -10)*2192 a multiple of 41?
False
Let y(d) be the second derivative of -d**5/8 - d**4/6 + 3*d**3 + 4*d. Let w(b) be the second derivative of y(b). Is 29 a factor of w(-4)?
False
Does 16 divide (-2)/5*(-2452415)/82?
False
Let h be 4/10 + 2116/(-115). Does 17 divide 2672/((-12)/(h/3)) + -2?
False
Let y = -90602 + 132708. Is y a multiple of 20?
False
Suppose 5*c + 4*y - 78 = 0, -5*c + 74 = y + y. Let s = 10 - c. Does 18 divide (-16 - -1)*s*3/10?
True
Let k(j) = 1001*j + 2050. Is 13 a factor of k(8)?
False
Let n = -12409 + 27550. Is n a multiple of 20?
False
Let t(r) = -41*r + 235. Let c be t(5). Suppose 0 = o + 3, 3*m = 26*o - c*o + 2121. Is m a multiple of 38?
False
Let v(g) = 3*g + 62. Let f be v(-20). Suppose -f*y = 3*y - 7*y. Suppose 0*w - 5*h = -2*w + 172, 4*h + 16 = y. Does 8 divide w?
False
Suppose 4 = -o + 7. Suppose -o*t + 207 - 63 = 0. Is 730/4 - 24/t a multiple of 13?
True
Suppose 54430 = 5*n - 43*m + 47*m, 3*n + m = 32651. Does 10 divide n?
False
Suppose -17 = 7*b - 31. Suppose b*z + 4*u + 514 = 4*z, -z = -4*u - 251. Is z a multiple of 32?
False
Let x = -584 - -71. Let u = -121 - x. Does 98 divide u?
True
Suppose -b + 0*b + 3*q + 48 = 0, -9 = 3*q. Suppose 4*g - b = -c, -3*g - c + 39 = 3*c. Suppose 27 = 2*i + g. Is 2 a factor of i?
False
Suppose -206*m + 1540 = -200*m - 7370. Is 27 a factor of m?
True
Let q(i) = -27*i**3 - 133*i**2 + 11*i + 22. Does 83 divide q(-10)?
True
Let g(m) be the first derivative of m**3/3 - 31*m**2/2 + 327*m + 156. Does 4 divide g(15)?
False
Let q be ((-3)/1)/3*-1. Let v(t) = 19*t - 1. Let k be v(q). Suppose 348 = -14*w + k*w. Does 17 divide w?
False
Let r(w) = w**2 + 2*w - 3. Let k be r(-5). Suppose -4*u = -p - 224, -6*u + u + 280 = -5*p. Let m = u - k. Is m a multiple of 11?
True
Let f = -920 + 1675. Let n be (0 + -3)*(-4)/3. Suppose -583 = -5*y + 4*i + 345, -i + f = n*y. Is 40 a factor of y?
False
Suppose -22*p + 31*p = -765. Let o = p - -100. Is 22*(-3 - -1 - o/(-6)) a multiple of 3?
False
Suppose 2*z + 3*u = 6*u + 202203, -13*z - 5*u = -1314540. Is z a multiple of 15?
True
Suppose -28470 - 1588 = -19*j. Does 104 divide j?
False
Suppose -13*u = 3*w - 9*u - 10548, -4*w = 2*u - 14074. Is 160 a factor of w?
True
Suppose -2*d - 141 = -3*m + 6*m, 4*d + 5*m + 279 = 0. Let f = d - -134. Let w = f + 10. Is 13 a factor of w?
True
Let n = -2270 + 4974. Is n a multiple of 52?
True
Let r(j) = -j**3 + 5*j**2 + 3*j + 18. Let x be r(6). Let q(g) = 32*g - 45*g - g**2 - 5 + x*g**2. Is q(-8) a multiple of 7?
True
Let t be (-4)/(-22) + 106/22. Suppose 5*x = t*m - 2740, m + 3*x = -2*x + 560. Is 11 a factor of m?
True
Is (-235)/(-45) + -5 - (-401020)/90 a multiple of 19?
False
Let w = 7 - 342. Does 15 divide -6*w/45 - 3/(-9)?
True
Let c(t) = -5*t - 51. Let x be c(-12). Suppose -2*s + 4*n = -336, 3*s - 518 = x*n - 10*n. Does 12 divide s?
False
Let s = 1084 - -87. Let k = s + -168. Does 28 divide k?
False
Suppose -13*l - 62*l + 8475 = 0. Let m = -184 + 107. Let r = m + l. Is 36 a factor of r?
True
Suppose -140 = -6*p - 32. Let m be 580/p + 2 - (-6)/(-27). Let v = m + -12. Is 21 a factor of v?
False
Let t(c) = 4*c**3 - 12*c**2 + 5*c - 36. Let i(x) = -x**2 - 3*x + 113. Let b be i(9). Is 5 a factor of t(b)?
False
Suppose 255*m - 32*m - 1146199 = -343622. Is 79 a factor of m?
False
Suppose -2*w - 2 = -2*l - w, 5*l = -5*w - 25. Suppose 5*q - 3*m + 70 = -8*m, 19 = -q + 4*m. Does 25 divide (-3)/(q/(-10)) - 27*l?
True
Let u(f) = -12*f + 92. Let v be u(7). Suppose 1 = c - 4. Suppose v*g - 288 = c*g. Does 24 divide g?
True
Suppose -6 - 17 = x. Let p = x - -22. Does 12 divide 7959/189 + p/9?
False
Let b = 11229 + 4963. Does 46 divide (-5)/(-2)*b/80?
True
Let x be 18/10*(-50)/(-15). Is (2 - x)/(6/(-3)) a multiple of 2?
True
Let x = 93 + -164. Let c = -68 - x. Suppose 0 = -s + 5*z + 38, -c*s - z + 80 = z. Is 7 a factor of s?
True
Suppose 0 = -11*w - 10679 + 15453. Is w a multiple of 2?
True
Let t(i) = -i**2 + 99 + 106 - 235 + 38*i. Is t(23) a multiple of 45?
True
Suppose 5*s - 15 = 4*b + b, -5*s + 15 = 2*b. Suppose w - 8*w + 6384 = b. Is ((-12)/(-8))/(-3*(-3)/w) a multiple of 19?
True
Let d(b) = 19205*b**2 - 27*b. Does 32 divide d(-1)?
True
Let d = -1207 - -1738. Suppose -d = 314*b - 317*b. Is b a multiple of 19?
False
Let f = 169 - 159. Suppose f*x = 9*x + 351. Is x a multiple of 9?
True
Let s = -13 + 277. Let d = -47 + s. Is d a multiple of 31?
True
Suppose -a = 4*w - 14 - 3, w + 64 = 5*a. Let t(b) = b**3 - 11*b**2 + 4*b + 18. Let f be t(a). Suppose -4*o - v - v + f = 0, -3*o = 4*v - 306. Does 16 divide o?
False
Suppose 2*s - 6 + 24 = 0. Let t(d) = d**3 + 12*d**2 + 12*d + 22. Does 44 divide t(s)?
False
Is 25 a factor of (-4 + 29)*(-14 + 2640)?
True
Suppose -4*o - 1 + 0 = -l, 3 = 3*l. Let w(h) = 2 + 1 - 26 - 2*h + o*h. Does 12 divide w(-19)?
False
Let l be (3/6*65)/((-6)/(-60)). Let w be (-4)/18 - (-114)/27. Suppose l = u + w*u. Is 19 a factor of u?
False
Suppose 23*w = 2*w + 68439. Does 80 divide w?
False
Suppose 3*y - y - 1334 = 6608. Is 89 a factor of y?
False
Let g(a) = -12*a - 32. Let d(s) = -13*s - 26. Let v(r) = -3*r - 6. Let j(x) = 2*d(x) - 9*v(x). Let u(b) = 6*g(b) + 84*j(b). Is u(5) a multiple of 3?
True
Let h = -3 + 2. Let a be (-16 - -11) + h + 25. Let x(q) = -q**2 + 26*q - 15. Does 25 divide x(a)?
False
Let h = 1235 - 864. Does 9 divide h?
False
Suppose -2*k = -a - 311, 2*a - k - 1610 = 7*a. Let p = a - -530. Suppose -343 = -3*x + p. Does 23 divide x?
True
Let u(w) = -18*w**2 + 8*w - 25*w**2 + 55*w**2 - 28. Does 16 divide u(5)?
False
Let t(f) = 19*f**2 + 9*f - 9. Let q be t(6). Suppose 5*z - 24 + 64 = 4*c, -3*c + 23 = -2*z. Suppose c*x = -0*x + r + q, -x = 4*r - 150. Is 8 a factor of x?
False
Let k = 185 + -92. Let c be (35/28)/(20/384). Is 2*k*4/c a multiple of 15?
False
Let j = -45 + 75. Suppose 2*a + 6*p - j = 2*p, -2*a + 4*p + 70 = 0. Suppose -50 = -a*d + 24*d. Is 7 a factor of d?
False
Is 3 a factor of -21*(11*1 + (-74620)/246)?
False
Let i be (1/(-2))/((-1)/28). Let h(s) be the third derivative of s**5/60 - 13*s**4/24 + 4*s**3/3 + 9*s**2 - 2*s. Is h(i) a multiple of 6?
False
Is 82 a factor of 128/(-624)*(-3)/(-4) + 163984/13?
False
Let 