a factor of m?
True
Is 78 a factor of ((-21522)/12 + -3 + -2)*16/(-12)?
False
Let v(j) = j - 3. Let k be v(7). Let n be 2/k*(3 - 3/1). Suppose -4*r + n*r = -q + 70, -3*q + 275 = r. Does 30 divide q?
True
Is 215 a factor of -1*1*-1*(31 + -63 + 19486)?
False
Suppose -5*s + 2911 = -3*n, n = 7*s - 2*s - 2917. Does 111 divide s?
False
Suppose 0 = -4*f + 5*p + 865, -6*f - 445 = -8*f + 5*p. Is 6 a factor of (36/7)/(20/f)?
True
Let d be (-925)/(-55) - (-4)/22. Suppose d*v + 23*v = 57240. Is 53 a factor of v?
True
Let i(p) be the third derivative of -149*p**4/6 + 7*p**3 - 3*p**2 + 13. Is i(-1) a multiple of 11?
True
Let i(b) = 2*b + 45. Let x(v) = -v**2 - 7*v - 5. Let a be x(-9). Let c be i(a). Let l(g) = 41*g**2 + 3*g + 1. Does 2 divide l(c)?
False
Suppose 3*v = -2*a + 2, -2*a = -a - v - 6. Suppose 140 - 400 = -3*t - 2*s, a*s + 448 = 5*t. Is t a multiple of 11?
True
Let p be -1 - 0 - -3 - 176. Let i = -78 - p. Is i a multiple of 24?
True
Suppose 5*r - 2*c = c - 13, -5*c - 40 = 4*r. Let d(m) = m**2 + 4*m + 3. Let t be d(-6). Does 3 divide (-2)/(2*r/t)?
True
Suppose 483*q - 481*q + 5*o = 96994, -3*o = 18. Is q a multiple of 32?
True
Is (256/5)/((-442)/(-4200) - 60/630) a multiple of 8?
True
Suppose -b - 3*t - 35 = 0, -3*b = -2*t + 107 - 2. Let k = -33 - b. Suppose i + 75 = 3*i - 5*z, -k*z = 6. Is 11 a factor of i?
False
Let i(u) = u**2 + 7*u + 2. Let v be i(-7). Suppose -j - 847 = -v*d - 2*j, 5*j + 2140 = 5*d. Is 31 a factor of d?
False
Suppose 0 = 10*d - 36*d - 8918. Let w = -259 - d. Is 2 a factor of w?
True
Suppose -74673 = 147*r - 152*r + 3*g, 29872 = 2*r - 4*g. Is r a multiple of 3?
True
Suppose 5*s + 68 = 3*v, -5*s = 5*v - 0*v - 60. Suppose 4*x + v = 0, d = -4*d + 4*x + 406. Is 13 a factor of d?
True
Let j = 1059 + -512. Let v = -372 + j. Is 5 a factor of v?
True
Let g(s) = 610*s - 258. Let u(m) = -122*m + 48. Let l(b) = 3*g(b) + 16*u(b). Let j be 2*(-2)/(-4)*-1. Does 12 divide l(j)?
False
Suppose 160*s - 100656 = 107*s + 276015. Is s a multiple of 103?
True
Suppose -13*h + 77 = -1. Is 20 a factor of h/(-4) - -1 - (-3676)/8?
False
Let k = 87943 - 56695. Is k a multiple of 31?
True
Suppose 0 = -2*r + 7*c - 9*c + 18, r = -3*c + 7. Is 533*2 - (7 - r) a multiple of 17?
False
Let s(z) = z - 3. Suppose -7*a + 11 = -10. Let r be s(a). Suppose r = 2*v + 5*t - 96 + 8, -4*v = t - 212. Is 18 a factor of v?
True
Let l = -26 - 490. Let p = l - -804. Is 16 a factor of p?
True
Let p(k) = 78*k**2 - 353*k - 2070. Is p(-6) a multiple of 24?
True
Is 166 a factor of (-30379)/(-3) - ((-12)/45 + (-12)/(-20))?
True
Let k(s) = 26*s**2 + 165*s - 23. Does 12 divide k(17)?
True
Let b = -5 + 10. Suppose b*y - 442 = -3*i, -i - 4*y + 440 = 2*i. Let s = -76 + i. Is s a multiple of 17?
True
Let z(d) = 3*d**3 + d**2 - 2*d - 1. Let s be z(2). Suppose -s*t = -19*t + 24. Is (-33)/(-1) - (-7 - t) a multiple of 12?
False
Suppose -5*p + 4*d = d - 38, -31 = -5*p - 4*d. Is 192/9*((-296)/(-32) - p) a multiple of 2?
True
Suppose 15*i = 4*i + 7590. Suppose -15*m + 705 = -i. Is 3 a factor of m?
True
Suppose 99 = 13*s - 2*s. Let d be 56/(-21)*s/(-6). Does 24 divide ((-3)/((-6)/8))/(d/48)?
True
Is (249/(-6))/((-20)/640) a multiple of 83?
True
Let g(h) = -h**3 + 19*h**2 - 19*h + 27. Let n be g(18). Let u(s) = -30 + 13 - 9*s + n + 6. Is 4 a factor of u(-8)?
False
Does 45 divide (1641/(-2))/(135/90)*(2 + -9)?
False
Let z(y) = y**2 - 32*y + 257. Let h be z(15). Suppose 0 = 2*o + 3*n - 890, n + 87 - 981 = -h*o. Is o a multiple of 16?
True
Let w(h) be the third derivative of 13*h**5/60 - h**4/8 - 3*h**3/2 - 36*h**2. Is w(5) a multiple of 43?
True
Let z be (1 - -1) + (-3 - 9 - -82). Suppose -2*r - 80 = 214. Does 3 divide (-1)/(2 + r/z - 0)?
True
Let y(s) = s**2 - 6*s + 88. Does 24 divide y(7)?
False
Let z(q) = -q**2 + 3*q + 4. Let g(o) = 2*o**2 - 6*o - 9. Let s(l) = -3*g(l) - 7*z(l). Let m be s(5). Is ((-15)/m)/((-5)/18) a multiple of 5?
False
Suppose -19*g = -16*g - 57. Suppose -2*q + 2*k + 38 = 0, 4*k = -3*q - g + 104. Let z = 1 + q. Is 24 a factor of z?
True
Let u(d) = 2980*d - 5051. Is 144 a factor of u(10)?
False
Suppose -37*w + 19*w = 30*w - 465312. Does 74 divide w?
True
Let t = -6861 - -10808. Does 2 divide t?
False
Let f be 0/(-1*(-2 - -4)). Let p be f*2*(-5)/(-40). Does 4 divide (-2)/4*-22 + p?
False
Let x be 0 - ((-177)/2 + 5/10). Let w = 28 + x. Does 29 divide w?
True
Let c = 286 + -132. Suppose -c = 4*h - 2. Let g = h - -52. Is 3 a factor of g?
False
Is 37 a factor of 419468/21*(81/36)/3?
False
Let t be (-27 - 0)*(-2 - 12). Let p = t + -316. Does 23 divide p?
False
Let f(s) be the third derivative of -11*s**6/30 - s**5/15 + 5*s**4/24 - 5*s**3/6 + 10*s**2. Let o be f(2). Does 6 divide o/(-15) + (9/15)/(-3)?
True
Is 6 a factor of (-568)/4260 + 5762/15?
True
Let y = 334 + -168. Suppose 0 = -19*r + 291 + 640. Suppose y - r = 3*g. Does 3 divide g?
True
Suppose -4*q - 3*v + 84641 = 0, -3*v - 918 = -891. Is q a multiple of 83?
False
Let c(i) = 696*i**3 - 10*i**2 + i + 1. Is 43 a factor of c(1)?
True
Suppose -4*z = s - 16558, 3*z - 14737 = -2*s - 2316. Is z a multiple of 7?
False
Suppose -33*i = -28*i + 35. Does 24 divide (i/4 - (-1)/(-4)) + 362?
True
Suppose -16*y + 2470 = -3162. Is y a multiple of 8?
True
Let y be ((-4)/(-18) + 247/(-18))*-2. Let l = 29 - y. Suppose f - l*f = -12. Is 12 a factor of f?
True
Let m(d) = -2*d + 58. Let a be m(13). Let z = a - 13. Suppose z*h = 21*h - 126. Is 13 a factor of h?
False
Let h be 302*24/(-64)*-4. Let b = h - 277. Is b a multiple of 16?
True
Suppose -81*g + 303747 = -16669 - 29747. Is 33 a factor of g?
True
Suppose 4*b = 3*b + o + 30, 5*b = o + 138. Let v be (-72)/(-6)*b/12. Suppose -3*k + 3*l + v = 0, -l = 2*k - 4 - 14. Does 9 divide k?
True
Let o = 60 - 56. Suppose -2*z + 4*v = -34, -7*v - 60 = -o*z - 3*v. Is z even?
False
Let v(t) = t**2 + 4*t + 4. Let m be v(-4). Suppose 14 = m*f + 2*i, -5*f + 0*i - i + 22 = 0. Suppose 0 = -x - 5*d + 7*d + 148, f*d = x - 154. Does 21 divide x?
False
Let o be (-7)/(252/(-8)) + 208/36. Suppose -o*r = -r - 1210. Is r a multiple of 10?
False
Let b(x) = 180*x**3 + 6*x**2 - 200*x + 596. Does 8 divide b(3)?
False
Suppose -26 = -7*y + 212. Suppose 4 = -10*b + y. Suppose -2*g + 324 = b*z + 3*g, -g = -5*z + 512. Is 20 a factor of z?
False
Suppose -3*w + 24382 = f, 11028 = -3*w - 2*f + 35411. Is w a multiple of 11?
False
Let s(v) = 11*v**3 + 1275*v**2 - 342*v - 126. Is 145 a factor of s(-116)?
False
Suppose -7*p - 5*u + 5619 = -3*p, 2*p + 2*u - 2810 = 0. Does 5 divide (p/(-111))/(((-4)/(-6))/(-2))?
False
Let x(a) = a**3 + 10*a**2 + 6*a - 16. Let n be x(-9). Let z(d) = -d**3 + 10*d**2 + 21*d - 10. Is 16 a factor of z(n)?
False
Is 2/6*(5810 - 8) a multiple of 19?
False
Suppose -2*r + 6*r = -3*y + 192, 0 = 5*y - r - 320. Let g = 159 + y. Let q = -153 + g. Is q a multiple of 14?
True
Let b(g) = -1045*g + 1005. Is 17 a factor of b(-7)?
False
Suppose 0 = -3*h + c + 137789, -229627 = 57*h - 62*h - c. Does 11 divide h?
False
Let r(l) = l**2 + 3*l - 12. Let g be r(-5). Is 50 a factor of (-118 - -1)*(-66)/11 + g?
True
Suppose -14525 = 1081*n - 1086*n. Is n a multiple of 53?
False
Let n = 396 - 400. Let t(v) = -7*v - 5. Let q(l) = -6*l - 6. Let k(x) = 3*q(x) - 2*t(x). Does 8 divide k(n)?
True
Let j(w) = w - 5*w - 8 + 3562*w**2 - 3519*w**2 + 3*w. Does 83 divide j(-2)?
True
Let u be (2 - -1) + (0 + -9)/9. Suppose 3*w + 5*h - 2745 = 0, w + u*h - 925 = -3*h. Is 13 a factor of w?
True
Let d(q) = 29*q - 63. Let x be d(10). Suppose 207 = 2*y - x. Is 21 a factor of y?
False
Let x = 45 - 6. Let q = -36 + x. Suppose 0 = -2*r - q*r + 335. Does 14 divide r?
False
Let q(g) = -7*g**3. Let k be q(-1). Let o = 11 - k. Does 8 divide -3 + ((-1140)/(-5))/o?
False
Suppose -7*d - 743600 = -95*d + 23*d. Does 22 divide d?
True
Let z(q) = -5*q - 7. Let j(r) = 10*r + 14. Let v(n) = -4*j(n) - 10*z(n). Is 12 a factor of v(16)?
False
Suppose -158 = -o - 157, -2*g - 3*o = -14445. Does 87 divide g?
True
Suppose -5*p - 1792 + 5661 = t, 4*t + p = 15571. Let v = t + -2256. Is v a multiple of 52?
False
Suppose -7 = -2*s - 3. Suppose -3*t = -s*c + 255 + 1135, c + 3*t - 677 = 0. Is c a multiple of 53?
True
Let v = -898 + 1694. Let p = v - 508. Suppose 43 - p = -7*h. Does 7 divide h?
True
Let m(f) = 131*f + 24. Let o be m(-6). Let i = 972 + o. Is i a multiple of 5?
True