 19*r - f*r. Is 12 a factor of r?
True
Let s = 2487 - 530. Let p = 3300 - s. Is 17 a factor of p?
True
Suppose 184*d = 190*d. Suppose 3*f - 3 = d, -5*g + 924 = -4*f - 452. Does 24 divide g?
False
Suppose -8*a + 792 = 3*a. Let g = 79 - a. Let f(u) = u**2 + 9*u - 22. Is f(g) a multiple of 9?
True
Suppose 37*o - 36*o + 5*r - 890 = 0, 0 = -r - 2. Does 18 divide o?
True
Let q be (((-3)/9*0)/1)/(-1). Suppose 5*w - 154 - 151 = q. Let h = -51 + w. Is h a multiple of 10?
True
Let g(w) = -11*w + 103. Let k be g(9). Suppose 3*v - 7438 = -k*o, 24*o - 5*v - 7454 = 20*o. Does 13 divide o?
False
Let p(d) = -2*d - 4. Let g be p(-3). Suppose o - 2 = 3*x, 3*o + x + g*x = 18. Suppose -3*i = o*i - 800. Does 20 divide i?
True
Suppose 2*q = 5*a - 2*a + 102, -3*q - 5*a = -115. Suppose -6*g - q = -11*g. Suppose g*k - 4*k = -4*p + 377, -4*k - 5*p + 307 = 0. Is 13 a factor of k?
False
Let b(l) be the third derivative of -l**6/120 + l**4/12 + 160*l**3/3 + 46*l**2. Suppose -3*i - 15 = -3*r, -4*r + 30 = 5*i + 10. Is 42 a factor of b(i)?
False
Let u = -97 - -100. Suppose 0 = i + 4*j - 125, -5*j - 445 = -u*i - 3*j. Is 7 a factor of i?
False
Suppose f - 17 = -18. Let u be 6 - 786/(-30) - f/(-5). Suppose 115 - u = 2*k + c, 20 = 4*c. Does 33 divide k?
False
Let k = 290 + -290. Suppose 12*g = 4*p + 14*g - 394, -p + g + 97 = k. Is 4 a factor of p?
False
Let m = 8790 - -2890. Is 10 a factor of m?
True
Let v be -5 + ((-6)/(-5))/(42/700). Does 8 divide (18/v)/(15/2700)?
True
Let m(v) = 0 - 1 - 24*v + 3 - 41*v. Let w be m(2). Let r = w + 300. Is 43 a factor of r?
True
Let u = -2556 - -9104. Is 12 a factor of u?
False
Let l(u) = u**2 - 326. Let v be l(0). Let r be 128/20*(-4 + v/(-4)). Suppose -7*f + 64 = -r. Is 10 a factor of f?
True
Let m be 5 + (-228)/44 + 62966/11. Suppose 235*d - m = 223*d. Does 13 divide d?
False
Let l = 1786 + -1772. Suppose 0 = 3*i + 2*s + 11 - 38, -2*i = 3*s - 13. Suppose -i*y = -l*y + 114. Does 25 divide y?
False
Suppose -5*z = -4*w + 35, 0*w + 50 = 3*w + z. Suppose 11*h - 6*h = w. Suppose -6*o + 2*o - 169 = -l, -h*l + 4*o + 483 = 0. Is l a multiple of 24?
False
Let m(j) = -j**2 + 44*j - 103. Let l be (-6)/6*(1 + -40). Is 4 a factor of m(l)?
True
Does 217 divide 15/(((-20792)/(-10398))/(-2) + 71 + -70)?
False
Suppose 1467*c + 246945 = 1535*c - 242655. Is c a multiple of 100?
True
Let p = 284 - 277. Is 9 a factor of 153*(p + -5)*3/2?
True
Let y = -7696 + 9491. Does 6 divide y?
False
Suppose 0*v + 36 = v. Suppose 3*s + d = -15 - 2, 3*d = -4*s - 31. Is (48/v)/(s/(-162)) a multiple of 9?
True
Let q = 239 + -129. Suppose 3*i - 4*s - 630 + q = 0, -2*s = 4*i - 730. Is 15 a factor of i?
True
Let x = -417 - -438. Suppose x*z - 20*z = 300. Is 25 a factor of z?
True
Does 11 divide (-1 - ((-1215)/18)/(-15))*-456?
True
Let o = -5281 - -7132. Does 115 divide o?
False
Let d(h) = -3*h**2 + 66 - 4*h**2 + 2*h + 6*h**2 + 60. Is 7 a factor of d(0)?
True
Let c be (-54)/9 - (-10)/1. Suppose -c*i - 20 = 0, x + 0*i - 3*i - 39 = 0. Is x a multiple of 24?
True
Let t = -4656 - -2355. Is 13 a factor of (68/(-60) - 24/(-30))*t?
True
Let q(p) = 33*p - 228. Let a be q(7). Suppose 436 = a*s - 374. Is 76 a factor of s?
False
Let v = 194 + -191. Suppose -v*m + 1440 = 3*m. Is 15 a factor of m?
True
Let x be -7 + -1 - (-6)/12*6. Is 21 a factor of 4/x + 5270/25?
True
Let w(d) = d**2 - 8*d + 16. Let c be w(6). Let o be (-2562)/(-28) + (-1)/2. Suppose 0 = i + c, o = 3*t + 3*i - 113. Is 12 a factor of t?
True
Let s(p) be the first derivative of -p**4 - 4*p**3/3 - p**2/2 + 2*p + 4. Let f = -138 + 136. Is s(f) a multiple of 11?
False
Let s(r) = -r**3 - 17*r**2 - 15*r + 18. Let k be s(-16). Suppose k*i = -21 - 7. Let h = i + 50. Is 25 a factor of h?
False
Let p = 6408 - 3586. Suppose -p = -11*d + 478. Is d a multiple of 20?
True
Let h = -2191 - -3975. Is 4 a factor of h?
True
Let t = -312 - -329. Suppose 3094 = -0*i + t*i. Is i a multiple of 13?
True
Let x = -18149 - -23027. Is x a multiple of 3?
True
Let w(j) = -5*j. Let h be (258/(-172))/(5/6 - 1). Let p be (-2)/3*h/2. Is 2 a factor of w(p)?
False
Let y = -54 - -55. Suppose i = 5*x + 5 + 160, 0 = -x + y. Does 10 divide i?
True
Suppose -18 = -5*f + 4*r, 2*f + 2*r + 6 = 4*f. Let c = 153 - f. Is 49 a factor of c?
True
Let g = -312 - -317. Suppose 6*k - 4*v - 3116 = 2*k, -g*v - 1561 = -2*k. Does 17 divide k?
False
Let g = 36616 + -20392. Does 30 divide g?
False
Suppose s + 58 = 4*i, 0 = 7*i - 6*i + 3*s - 8. Let c(f) = -f**3 + 18*f**2 + 22*f - 36. Does 70 divide c(i)?
False
Suppose -2*m + 4618 = 4*x, 0 = -2*m + 2*x - 7*x + 4622. Suppose 3*i + 546 = m. Is 27 a factor of i?
False
Suppose -57*u - 46*u - 10500 = -108*u. Is u a multiple of 6?
True
Let d = 632 + -632. Suppose 29*u - 17*u - 4152 = d. Is u a multiple of 4?
False
Let q be 13604/(-323) + (-2)/(-17). Does 4 divide 4/q - (-125698)/357?
True
Let k be ((-1)/(-2))/((-423)/72 + 6). Suppose 8*q - 2528 = k*q. Suppose -q = -39*g + 31*g. Is 14 a factor of g?
False
Let f = 15968 - -1382. Is f a multiple of 48?
False
Let m be 6/(-4)*(-48)/18. Let b = m - -27. Is 8 a factor of 3 + 8/(-4) + b?
True
Suppose 0 = i + 4*i - 25, 5*z - 3*i - 10 = 0. Suppose k = -3*u - 9, -4*u + 7 = z*k - 2*u. Does 3 divide k?
True
Let n(z) be the second derivative of 7/3*z**3 + 0 - z + 1/12*z**4 - 25/2*z**2. Is n(-17) a multiple of 4?
False
Let a = 2606 + -459. Does 113 divide a?
True
Let k = 129 + -127. Suppose 1920 = 4*l - 3*v, 2*l + k*l - 4*v - 1920 = 0. Does 48 divide l?
True
Is 0 - (30/80 + -1 + (-12827)/8) a multiple of 7?
False
Suppose -z + 2559 = -5*h, 2*z + 2*h - 3667 = 1439. Is z a multiple of 16?
False
Suppose 0 = -g + 2*g. Let f be (-1 + 2 + g)*(-16905)/(-69). Let q = 432 - f. Is 11 a factor of q?
True
Suppose 2*j = -y + 9, -j + 2*y = 3*j + 2. Suppose 0 = -5*h, -24*o - 2604 = -26*o - j*h. Is 21 a factor of o?
True
Suppose -2 = 2*h, 3*h + 2 = 2*o - 9. Suppose -5*i + 2725 = o*l, 3*i - 967 - 1079 = -3*l. Is 53 a factor of l?
False
Suppose 39660 = 17*z - 15*z. Is z a multiple of 30?
True
Let f(c) = 5*c - 4 + 272*c**2 + 0 - 274*c**2. Let q be f(2). Let s(a) = -7*a + 10. Is 8 a factor of s(q)?
True
Let o(r) = 2*r**2 - 73*r + 38. Let q be o(36). Does 15 divide ((-357)/(-14) - 3)/(q/140)?
True
Let d(q) = q**3 + 29*q**2 - 41*q - 39. Does 230 divide d(-29)?
True
Let f = -192 - -366. Suppose -185*h + 7480 = -f*h. Does 17 divide h?
True
Let a(k) = k**3 + 6 + 17*k**2 + 0*k**2 - 13*k**2 + 20*k + 12*k**2. Suppose t = -2*t - 42. Is 32 a factor of a(t)?
False
Let j = 55396 + 46. Is 18 a factor of j?
False
Suppose 0 = 2*l - 5*a - 394, -2*l + 2*a + 347 + 41 = 0. Does 20 divide l?
False
Suppose 143*v - 829002 + 2150096 = 8078988. Does 270 divide v?
False
Let c(o) = o + 6. Let l be c(-3). Suppose -37 = l*w - 667. Is 14 a factor of w?
True
Let v(m) = -2*m - 5. Let s be v(-3). Let j be s/3 - (-400)/(-48). Is 20 a factor of 1*79 - (-2)/(-6 - j)?
True
Let d = -40 - -82. Let b = d - -33. Is b a multiple of 4?
False
Let r = 37 + -35. Suppose r*d = -2, 0 = i - 2*d - 206 - 93. Does 11 divide i?
True
Let a(q) = 2*q**3 - 70*q**2 + 41*q - 235. Is 35 a factor of a(36)?
False
Let w = 64 - 68. Suppose -i = 2*i. Is i + 22 - (w/(-2) - 1) a multiple of 7?
True
Suppose -5*f - 17 = 2*a - 48, -2*f = -10. Suppose -2550 = 3*w + a*w. Let d = -239 - w. Is 14 a factor of d?
False
Let r = 3279 + 185. Does 41 divide r?
False
Let r = 3534 - 1133. Is 117 a factor of r?
False
Let z = -5 + 4. Let s(k) = 50*k - 3. Let f be s(z). Let r = f + 120. Is 11 a factor of r?
False
Suppose 10653 + 51548 = 4*q - 4959. Does 10 divide q?
True
Let p be (-1146)/18 - (-2)/3. Let q be 258/3 - (5 - 6). Let l = p + q. Does 2 divide l?
True
Let l = 21254 + -13667. Does 215 divide l?
False
Let y be ((0 - 0)/(1 - -1))/(-1). Let n(a) = a**2 + 192. Is 16 a factor of n(y)?
True
Suppose 31*i = 137 - 44. Suppose 5*s + 4*y = 348, -49 + 251 = i*s - y. Is 34 a factor of s?
True
Suppose 10*k - 2766 - 9299 = -415. Is 5 a factor of k?
True
Let a(z) = -7*z**2 + 4*z - 28. Let f be a(3). Let t = f - -411. Does 11 divide t?
False
Is 1/(1 - (-7138)/(-7139)) a multiple of 121?
True
Let a = -84 - -81. Let c be (-2)/a + (-8)/(-6). Suppose c*m - 20 - 114 = 0. Is m a multiple of 8?
False
Let u = -877 - -1057. Is 5 a factor of u?
True
Let g(w) = w**2 + 7*w - 5. Let k be g(-8). Suppose -k = 3*u, -9*o + 3*u + 11