w + 102 + 375 = 2*u, 0 = -5*u. Is 2 a factor of w?
False
Suppose 22 = 3*a + 52. Let v = a - -10. Suppose 16*g - 18*g + 702 = v. Is 13 a factor of g?
True
Let s be (-5 - -6)/(2/12). Suppose 3*p = -4*k + 5 + s, 2*k - 16 = 2*p. Does 22 divide 15/p*198/(-5)?
True
Let x = 529 - 341. Let c = x + 392. Suppose c = 11*h - 1202. Is 27 a factor of h?
True
Suppose -9 = u - 13. Is ((-135)/(-120))/((-3)/u)*-70 a multiple of 15?
True
Is 105 a factor of 2 - (-20514)/4 - (432/32)/27?
False
Let a be 275/6 - 8/(-48). Suppose -5 = -4*p - 13, 0 = -4*w + 3*p + a. Does 3 divide w?
False
Suppose -4*v + 2*o = -48828, -5*v + 3*o - o = -61036. Is v a multiple of 142?
False
Let q(x) be the second derivative of -x**2 + 0 + 31*x + 1/12*x**4 - 4/3*x**3. Is 11 a factor of q(11)?
False
Suppose 0 = -5*r + 4*r - 1. Let k(v) = v**3 + 1. Let l be k(r). Suppose -7*t + 187 + 177 = l. Is 26 a factor of t?
True
Let r(s) = 2*s**2 + 9*s - 37. Let y be r(-7). Is 41 a factor of y + (-13347)/(-27) + (-2)/6?
True
Let w = 280 - 276. Let k(q) = -q**3 + 9*q**2 - 4*q - 3. Let s be k(7). Suppose -w*c + s - 31 = 0. Does 2 divide c?
False
Suppose -990*j + 994*j = -3*f + 3705, 0 = 3*j. Is f a multiple of 5?
True
Let u(v) = -4 + 43*v + 1 - 16*v + 4. Let y be u(-1). Let o = 61 + y. Is 7 a factor of o?
True
Let o be (15/3)/(1/9)*1. Suppose -a + 10*a - o = 0. Suppose 0 = 5*m - h - 249, a*m - 5*h + 0*h - 265 = 0. Does 7 divide m?
True
Suppose 4*r - 15 = -r. Suppose r*c - 4*o = 2, o = 2*c - 3*o. Suppose 3*v - 167 = c*x - x, x = 5*v - 281. Is v a multiple of 19?
True
Let n be 325/13*(-6)/(-35)*91. Is (n/(-24))/5*-136 a multiple of 15?
False
Is 25 a factor of ((-42834)/(-660)*(-12)/1)/(2/(-25))?
False
Let b(i) = -i**2 + 2*i + 4. Let z be b(0). Suppose 0 = 9*j + z*j - 2249. Suppose -3*q = -2*m - 3*m + j, 4 = q. Is m a multiple of 11?
False
Let h(t) = -t**3 + 5*t**2 + 12*t - 11. Let w be h(7). Is (-9)/15 + (-12615)/w a multiple of 14?
True
Let y = 134 - -84. Let u = y - -67. Is u a multiple of 17?
False
Let t(g) = 2*g + 23. Let b be t(-10). Does 3 divide 77 - -19 - 3/(b/2)?
False
Suppose 14*i - 10*i - 57780 = -14*i. Does 27 divide i?
False
Let y(b) = b**3 - 18*b**2 + 19*b + 8. Let v be y(17). Suppose 2*z + 2*n - 38 = 0, -3*n = -2*z - n + v. Does 20 divide z?
True
Suppose i - 257254 = -16*t + 153803, 4*t - 2*i = 102762. Is 15 a factor of t?
False
Suppose -24*h + 2961 = -3*h. Suppose h = n - 4*w - 13, -4 = -4*w. Is n a multiple of 19?
False
Let t = 3600 - 1762. Suppose -3*r = -0*g - 4*g - t, 4*r = 4*g + 2448. Is r a multiple of 20?
False
Let f = -161 + 175. Let p(d) = d + 9. Is 13 a factor of p(f)?
False
Let i = -731 - -1309. Is i/2 - (-22 + 24) a multiple of 51?
False
Suppose y + 18 = -2. Let l = y + 21. Does 30 divide -2 + ((-5)/l - -197)?
False
Let r(i) = 14*i**2 + 160*i - 5256. Does 24 divide r(46)?
True
Let d = 1841 - 2587. Let m = -259 - d. Is 41 a factor of m?
False
Let w be 1*(-1)/2*-8. Suppose -3*j + 204 = -2*z + 4*z, -w*j + 496 = 5*z. Is z a multiple of 16?
True
Suppose 25 = 2*u - 7*u. Let r(d) = 2*d**2 - 142*d + 23. Let f(c) = -6*c**2 + 389*c - 71. Let y(t) = -4*f(t) - 11*r(t). Is y(u) a multiple of 3?
True
Let a = 38 + -20. Suppose 0 = -2*m - 0*m - 4*u - 20, 0 = 4*m - 3*u + a. Let q(i) = -i**2 - 14*i - 5. Is q(m) a multiple of 6?
False
Let v(l) = -58*l**2 + 11*l - 3. Let s(z) = 60*z**2 - 9*z + 3. Let r(h) = 4*s(h) + 3*v(h). Is 25 a factor of r(2)?
False
Let i(j) = 5*j - 6. Let y = -59 - -65. Let f be i(y). Let c = f - -8. Is c a multiple of 32?
True
Let q = 1874 - -10485. Is q a multiple of 13?
False
Suppose 2*m - 4*m + f + 71 = 0, -2*f = -2. Does 37 divide 2504/6 + (-12)/m?
False
Let f(n) = 7*n + 47. Let d be f(-4). Suppose -d*a = -11*a - 3904. Is a a multiple of 54?
False
Let i(w) = 16*w - 81. Let z be i(5). Is 31 a factor of (z*4/6)/(100/(-55800))?
True
Let a(c) = -21*c**3 - 4*c**2 - 3*c + 10. Let r be a(-3). Let g = -350 + r. Is g a multiple of 19?
False
Let j(g) = 234*g + 442. Let t(z) = 47*z + 88. Let m(x) = -2*j(x) + 11*t(x). Does 42 divide m(12)?
True
Is 38 a factor of 3475/(-10)*(16 - 17)/(10/304)?
True
Suppose -6*o = -5*o - 1233. Does 9 divide o?
True
Let s(b) = 2*b**2 + 21*b + 3. Let z be s(-16). Let w = 195 - z. Is 12 a factor of w?
False
Let b(y) = y**2 - y - 39. Let r be b(-6). Let f(o) = 9*o - 15. Let j(z) = -8*z + 15. Let v(s) = r*f(s) + 2*j(s). Does 26 divide v(14)?
False
Let y(a) = 3631*a - 3869. Is y(5) a multiple of 9?
False
Suppose -3*o + 31 = u, 13*u = -o + 12*u + 7. Is 4 a factor of 45*((-16)/o)/(-4)?
False
Let y(k) = k**3 + 17*k**2 - 18*k + 2. Let z be y(-18). Suppose -u - 6*t + 3*t = -374, -z*u = 5*t - 748. Suppose 3*s = s + 8, -3*c + u = -s. Is 18 a factor of c?
True
Let n be (-3)/9 + (-35)/(-15). Suppose -c + 0*z + 8 = -n*z, -3*c + 9 = -z. Does 6 divide 52/c - (-3 - (3 + -9))?
False
Let f(g) = 32*g**2 + 3*g - 10. Let z be f(2). Suppose -4*m = -9*m + h + 668, 0 = -m + 5*h + z. Is m a multiple of 34?
False
Let y(i) = i - 2. Let t be y(3). Is 17 a factor of 111*(t + 3) + -8 + 6?
True
Suppose 1579 + 28965 = -8*t + 16*t. Is t a multiple of 23?
True
Let p be 8 + -2 - (-2 + -1). Let z = -6 + p. Suppose 166 - 21 = 2*w + z*a, -335 = -4*w + 3*a. Is 20 a factor of w?
True
Does 11 divide ((-6)/(-10))/((-78)/(-25) + -3) - -20532?
True
Let p(i) = -11*i**3 - i**2 + i + 1. Suppose -4*d + 11 = 3*n, -7 = -3*n - d - 2. Let m be p(n). Is 7 a factor of -14*(45/m)/9?
True
Suppose 168*g - 26 = 167*g. Suppose -31*l + 765 = -g*l. Is 25 a factor of l?
False
Let b = -8 + 8. Suppose j + 5*z = 425, 4*j + b*j = -2*z + 1646. Is 6 a factor of j?
False
Let x(c) = -c**3 + 7*c**2 - 4*c. Let i = 6 + 0. Suppose -5*z - i = -31. Does 5 divide x(z)?
True
Suppose 0 = -2*l + 2 + 6. Suppose -l*b - 3*r + 42 = 0, 3*b - 8*b + 4*r + 68 = 0. Is 23 a factor of b/(-5)*(-105)/2?
False
Let n(w) = -2*w**2 - w + 7. Let k be n(0). Suppose 0 = k*t - 4*t - 2322. Suppose -15*f + 441 = -t. Is 14 a factor of f?
False
Does 4 divide (-1483 - 18)*((-1)/3)/(3/9)?
False
Let p be (-16)/176 + 532/44. Suppose p*u - 1161 = 1083. Is 16 a factor of u?
False
Suppose 0 = -19*m + 11*m + 48. Is 1/(5385/897 - m) a multiple of 6?
False
Suppose -5*a = -25, 136 = 2*k - 2*a + 6*a. Let c = -322 - -461. Let h = c - k. Is h a multiple of 14?
False
Let c = 5 - 8. Let w be (2/c)/(26/3471). Let k = 138 + w. Does 5 divide k?
False
Let x = 222 + -222. Let c be 6/(-15) - 6/(-15). Suppose x = 5*t - 25 - c. Is t a multiple of 5?
True
Let d = -4417 + 6589. Let p be -6 + d/(-9) - (-4)/(-6). Let f = 428 + p. Does 10 divide f?
True
Let x(l) = 18*l + 4*l**2 + 6*l**2 + 103*l**3 - 52*l**3 - 20 - 52*l**3 + 0*l**2. Suppose -5*b + 70 = 3*s, -4*b - 3*s + 4*s = -39. Is x(b) a multiple of 7?
False
Let v(c) = c**2 + c - 4. Let n be v(0). Let m be 2 - 233/n - 2/8. Suppose 5*q = -5*x + m, x + 33 = 2*q + 2*q. Does 2 divide q?
False
Let z(q) = 12*q**2 - 7. Let r be z(-6). Let y = -394 - r. Let g = -581 - y. Does 16 divide g?
False
Let l(b) = b**2 - 6*b - 36. Let q(k) = 1. Suppose a = 80 - 79. Let m(u) = a*l(u) + 5*q(u). Does 26 divide m(15)?
True
Let y be 6/9 - 476/(-51). Suppose -1005 = y*r - 15*r. Is r a multiple of 10?
False
Suppose -4*k = 5*y - 14694, 5*k - 18400 = 51*y - 41*y. Is k a multiple of 49?
False
Suppose -j - 4*n = -564 - 178, -3*j + 5*n + 2107 = 0. Is j a multiple of 119?
True
Suppose -4*t = -4*w + 12, 3*w + t - 2*t = 3. Does 31 divide (-4)/(-16)*w + 3844/4?
True
Suppose -805*v + 389*v + 398*v = -107730. Is v a multiple of 86?
False
Let r(o) = 2451*o + 115. Does 51 divide r(1)?
False
Is 6 a factor of (-2629)/110*-5*20?
False
Let c be (-6)/(-9) - (-1074)/9. Suppose -9*l + 555 + c = 0. Let f = -17 + l. Is 18 a factor of f?
False
Suppose -156 = 60*l - 72*l. Suppose 16*w - l*w - 2019 = 0. Is 39 a factor of w?
False
Let z be ((-7848)/30)/((-2)/10). Let s = -734 + z. Is 18 a factor of (1 - -1)/10 - s/(-5)?
False
Suppose -2*b - 3*b = 2*n + 22, -3*n - 51 = 3*b. Let p = 298 + n. Is p a multiple of 10?
False
Let f be ((-1)/3*-1)/(7/(-1743)). Does 6 divide (8/10)/(28/70) - f?
False
Suppose -5*j + 5 = 2*q, -j = q - 2*j - 6. Let z(d) = 132*d + 1. Does 18 divide z(q)?
False
Suppose 33941 = 65*s - 54849. Does 6 divide s?
False
Let a(m) = 693*m + 13104. Does 144 divide a(0)?
True
Does 164 divide (5373/(-36))/(2/(-56)) - (-30)/6?
False
Let c(q) = -3*q**3 + 151*q**2 + 9*q + 3