 7424. Is u a multiple of 43?
True
Suppose -l + 2*c + 222 = l, -2*l - c = -222. Does 10 divide -6*(l/(-9) + 6)?
False
Let u(r) = 246*r + 6. Suppose 4*h = -w + 9, -5*h + 7*w = 4*w + 10. Does 21 divide u(h)?
True
Suppose 4*x - 42 = -4*f + 2, -2*f - 11 = -x. Let h(v) = 33*v - 14 - v**2 + 0*v**2 - 18*v. Does 3 divide h(x)?
True
Let i(k) = -k**2 - 6*k + 14. Let b be i(7). Does 19 divide -1 + 5598/14 + (-11)/b?
True
Let a(n) = 2*n**2 + 40*n - 20. Let w be a(-20). Let f be 3*w/9*(-2085)/20. Does 12 divide f/(-5)*(3 + -4)?
False
Suppose -6*c = -20*c + 3472. Suppose 3*z + 3*t + 699 = 0, c = -2*z + z - 4*t. Let h = 376 + z. Does 27 divide h?
False
Let v = 73 - 56. Suppose -3517 = v*b - 17678. Is 23 a factor of b?
False
Let b(r) = r**3 - 19*r**2 + 21*r - 53. Let s be b(18). Let l(t) = 241*t**2 + t - 1. Is 7 a factor of l(s)?
False
Suppose -b = 4, 4*p + b - 72 = 3*b. Suppose 0 = -8*f - 0 + p. Suppose f*n + 0*n = -2, 463 = 4*g + n. Does 25 divide g?
False
Let j = 325 - 321. Does 2 divide ((-4)/12)/(j/(-432))?
True
Let d(f) be the second derivative of 61*f**5/2 + f**3/6 - f**2/2 - f - 92. Does 25 divide d(1)?
False
Suppose 96*y - 38*y - 68080 = 35*y. Does 103 divide y?
False
Let z(p) = 10*p + 2. Let q be z(-1). Let w be (-30)/q*(-104)/(-39). Is 5 a factor of (-15)/(-25) + 44/w?
True
Let j be 24/72 - (-599)/3. Is 14 a factor of 16/4 + j + 6?
True
Suppose -2*l - 3*k = -2523, -3*l - k + 3775 = -6*k. Suppose l = 22*x + 6*x. Does 8 divide x?
False
Suppose 0 = -242*h + 250*h + 25080. Is 26 a factor of (-1)/(((-75200)/h)/8 + -3)?
False
Let y be (-96)/(-2) - 4 - 3. Suppose 0 = 11*h + 3 + y. Is 2 a factor of (-16)/(-3)*(-6)/h?
True
Let c = -16978 - -17124. Does 73 divide c?
True
Let y = -421 + 424. Suppose 5*t = 4*h - 2230, 326 = y*h - 5*t - 1344. Is 56 a factor of h?
True
Suppose i + 10 = 4*i - z, 0 = 2*z + 2. Suppose i*v + 6 + 0 = -5*g, 0 = -3*v + 9. Let u = 69 - g. Is 18 a factor of u?
True
Suppose 7*n + 4*n - 101132 = -18500. Is 6 a factor of n?
True
Let r(v) = -34*v - 5. Let m be r(-4). Suppose 215*q + 330 = 220*q. Let p = m - q. Is p a multiple of 37?
False
Let t(q) be the third derivative of q**5/30 + 5*q**4/24 - 2*q**3/3 - 47*q**2. Is 14 a factor of t(-8)?
True
Suppose -2880800 = -51*i + 14*i - 43*i. Is 12 a factor of i?
False
Suppose -37316 + 14415 - 92830 = -167*w. Is w a multiple of 33?
True
Let q(s) = -8*s**2 + 4*s + 0*s**2 + 434 - s**3 - 408 + 23*s. Does 40 divide q(-13)?
True
Let b be 6/15 - (-4)/(-10). Suppose o + 5*m - 203 = b, -5*o + 5*m + 1775 = 670. Does 14 divide o?
False
Suppose 3*z = 2*t - 20008, -20002 = -2*t - 5*z + 9*z. Is t a multiple of 19?
True
Let r(h) = -h**3 + h**2 - 2*h + 10. Let f be r(0). Suppose -5*t + 40 = -f. Does 35 divide 65 - 3/(-6)*t?
True
Suppose -28 = v - 3*l - l, -5*l = -3*v - 70. Let p be (v/16)/((-5)/20). Suppose 158 = 4*j + 5*f, p*j - 31 = f + 152. Is 22 a factor of j?
False
Let q(f) = 43*f**2 - 186*f + 1296. Is q(7) a multiple of 234?
False
Is 17 a factor of (1645/(-21) + 7)*(-9 + 6)?
False
Let q(x) = -244*x + 1020. Does 4 divide q(-13)?
True
Let z be (-2)/(6/11) - (-4)/(-12). Let n(m) = m - 17. Let f(q) = q - 17. Let l(r) = z*f(r) + 3*n(r). Does 3 divide l(-8)?
False
Let u(t) = t**2 - 7*t - 8. Let j be u(8). Suppose -3*q = -j*q + 4932. Is q/(-33) - (-8)/44 a multiple of 16?
False
Suppose 4*r + 5*j = 11309, -2*r - j + 2945 + 2702 = 0. Is r a multiple of 31?
True
Does 95 divide 6*12/(-9) - (11 + -2372)?
False
Suppose -2218 = -271*q + 270*q. Is q a multiple of 9?
False
Let h = -8373 + 41597. Does 16 divide h?
False
Is -2*-1653*-3*1/(-3) a multiple of 79?
False
Suppose 2*g + 255 = -3*l, 4*g + 2*l + 514 = -0*g. Let m be (-9)/(-1)*(-170)/(-6). Let t = g + m. Does 21 divide t?
True
Let p(n) = 8*n**2 + 76*n + 12. Let l be p(25). Suppose -11*v = v - l. Is v a multiple of 16?
True
Let b(f) = -f**2 + 7*f + 13. Let u be b(8). Suppose 0 = 2*w + 3*p + 19, 11 = -u*w + 4*p - 2. Let g(z) = z**3 + 8*z**2 + 5*z + 2. Does 29 divide g(w)?
False
Let c = 554 - 550. Suppose -c*h + 228 = -h + 4*u, -135 = -2*h + 3*u. Does 3 divide h?
True
Does 133 divide 15/3*-1 + (7 - 11) + 8255?
True
Does 11 divide (-31)/((-248)/(-48))*(-77)/3?
True
Let y = -419 - 562. Let d = -552 - y. Is d a multiple of 11?
True
Let u = -63 - -69. Suppose l + 7 - u = -5*w, 7 = l - 3*w. Suppose 0 = d + 5, 1002 = l*a - 0*d + 2*d. Does 23 divide a?
True
Let o(g) = -g**2 - 13*g + 16. Let j(n) = n**3 - 8*n**2 + 12*n + 1. Let f be j(5). Let r be o(f). Suppose -y + r = -22. Does 5 divide y?
False
Let x(q) = 47*q**3 - 2*q**2 - 34*q + 152. Is 88 a factor of x(4)?
True
Let h = 446 + 2185. Does 11 divide h?
False
Let n be ((-6 - -5)*6)/((-4)/(-142)). Let h = -120 - n. Does 31 divide h?
True
Let m = 414 + -406. Let j = 314 - m. Is j a multiple of 18?
True
Suppose -4*q - 3*y + 724 = -10124, 4*q = 5*y + 10880. Suppose -3*u - 2*x = -2690, -q = -3*u + 4*x - x. Does 18 divide u?
True
Let u(k) = 8*k - 15. Let f be ((-13)/((-39)/21))/((-2)/(-8)). Does 26 divide u(f)?
False
Suppose 19*z = 23*z - 76. Suppose 0 = v + 4 - 3, -2*j + 3*v = -z. Suppose 0 = -q + j. Is q even?
True
Suppose -31806 = -31*a + a - 24*a. Is a a multiple of 4?
False
Let x = -156 + 164. Is (-144)/384 - (-731)/x a multiple of 2?
False
Let l = -198 + 197. Does 20 divide l*(-557)/4 + (-45)/(-60)?
True
Suppose -5*r + 3*g = 1080, -2*g = -r + 3*r + 432. Let z = r + 377. Does 20 divide z?
False
Suppose 2*p = -3*u + 140, 4*u - 87 = -p - 27. Let x = p - 19. Suppose b - 3*z = x, -4*b + 0*z + 261 = -z. Is 9 a factor of b?
False
Suppose -2*j = -0*j + 10, -4*s = -3*j - 267. Suppose -3*n + x = 4*x + 90, -2*n - s = x. Let l = n - -81. Is 9 a factor of l?
False
Suppose w + 238 = 5*x, 0 = 8*x - 4*x - 3*w - 186. Is 475/4 - (-12)/x a multiple of 7?
True
Suppose -3*p - 1 + 4 = 0. Let q be 17/(-34)*(0 - (2 - 2)). Is (0 + 41)/p + q a multiple of 13?
False
Let l be (0 + -3)/(3/(-4)). Let u be (-5)/(-4) - (-494)/(-104)*-1. Suppose -u*i + 264 = -l*i. Is 12 a factor of i?
True
Let y(t) = -1028*t + 37. Does 46 divide y(-9)?
False
Let k be 7 + -13 + 13 + -4. Suppose -3*x + 4128 = -3*g, 3*x + k*g = -0*g + 4110. Is 50 a factor of x?
False
Let g = 122 + 67. Suppose 4*i - g = l, -26 = -i - 3*l - l. Is 4 a factor of i?
False
Suppose 0 = 2*s + 2*m, 4*s = -0*m + m + 10. Suppose -f = 0, 3*b = s*b - 5*f + 30. Is b a multiple of 10?
True
Suppose -23*m - 4560 = -83*m. Is 28 a factor of m?
False
Let h(a) = a**2 + 4*a. Let w be h(-6). Let x be 870/(-4)*w/(-10). Is (-3)/(-6) + x/6 a multiple of 26?
False
Let f(i) = -46*i - 46. Let k be 9 + (1 + 3)*1/(-2). Let q(j) = -31*j - 31. Let c(d) = k*q(d) - 5*f(d). Is c(11) a multiple of 13?
True
Suppose 0 = -4*k + 5*p + 4516 + 11524, 0 = -5*k + 2*p + 20033. Is 45 a factor of k?
True
Suppose -142*f - 47880 = -262*f. Is f a multiple of 57?
True
Suppose -13*l + 0 + 13 = 0. Does 15 divide (-6 + 8 - 1*-163)*l?
True
Let f be (-225)/(-135) + (-2)/3. Is (29/(-4))/((-427)/420 + f) a multiple of 32?
False
Suppose 4*s + 73228 = 4*k, -3*k - 2*s + 7*s + 54913 = 0. Is 15 a factor of k?
False
Suppose -48*y = 266 + 118. Does 28 divide (-48096)/(-28) - 3*y/84?
False
Suppose -15 = -218*d + 223*d, -3*d + 1027 = v. Is v a multiple of 14?
True
Let z = 173 - 171. Suppose z*o = 571 + 1. Is 13 a factor of o?
True
Suppose -62*f + 71712 = 14*f + 7*f. Let w(p) = 7*p - 4. Let b be w(3). Suppose b*o - 25*o = -f. Is o a multiple of 13?
False
Let d = -354 - 481. Let q = -66 - d. Is 35 a factor of q?
False
Suppose -5*s + 2*u + 2323 = -0*s, -s + 470 = 5*u. Is s a multiple of 6?
False
Let q be 2 + (-9)/3 - -8. Suppose 14*b - 77 = q*b. Suppose -b*a + 7*a = -416. Does 29 divide a?
False
Suppose u - 6*u = 0. Suppose 0 = 113*w - 116*w + 198. Suppose -2*q + 5*q - w = u. Is 11 a factor of q?
True
Let k(p) = -p**3 - 9*p**2 + 21*p - 6. Let t be k(9). Let o = t + 2354. Is o a multiple of 13?
True
Let h(w) = w - 13. Let p be h(12). Let o be (p + -17)*(-13 - -3). Suppose -o = -3*r - r. Does 18 divide r?
False
Let t = 213 + -208. Suppose 5*b + 815 = t*a, -4*a = 2*b - 545 - 89. Is a a multiple of 20?
True
Let b(i) = 1 - 31 + 11 - 8*i - 29. Suppose 29*k = 11*k - 288. Is b(k) a multiple of 8?
True
Let m(s) = -63*s**2 + 7*s + 8. Let p be m(-1). Let j = p + 101. Is 13 a factor of j?
True
Let r = 248 + -158. Let i be (-20)/(-6)*(-324)/r. Let h(n) = n**3 + 13*n**2 - 3*n 