ppose -3*f = 4*a - 441 - 199, -a + y*f = -179. Is 35 a factor of a?
False
Is 10 a factor of 0/(-3) - 1/((-10)/6280)?
False
Suppose -3*c = 4*k - 30, 4*k + 2*c = 2*k + 16. Let s(b) = -b**3 + 5*b**2 + 3*b + 3. Let j be s(3). Suppose 0 = a - k*a + j. Is a even?
True
Suppose 2*l = -4*n + 90, l + 14 - 84 = -3*n. Let v = n - 17. Is 226/v - 1/4 a multiple of 7?
True
Suppose -20*y + 27645 = -6755. Is y a multiple of 40?
True
Let l = 108 + -108. Suppose l = 153*x - 158*x + 540. Does 18 divide x?
True
Does 3 divide 4 + 1 - (3 + -44)?
False
Let q = -19 - -22. Suppose 0 = 5*v + c - 76, -q*v + 48 = -2*c - 8. Does 8 divide v?
True
Let c be (153/9)/(1/(-2)). Let l = c + 45. Is l a multiple of 11?
True
Let l = 160 - 240. Let x = l + 91. Is 4 a factor of x?
False
Is 16134/24 - 7/28 a multiple of 14?
True
Let t be -2 - 2/(-4 + 3). Let i(u) = -u**2 + u - 32. Let x be i(t). Let n = -18 - x. Does 6 divide n?
False
Is -1 - (1 + (-5 - 1957)) a multiple of 40?
True
Let z(l) = -l**2 + 12*l - 9. Let m be z(11). Suppose -3*v - 2*r = m*r - 248, 0 = -3*v + 2*r + 254. Suppose 3*p + 0*p = v. Is 28 a factor of p?
True
Suppose 5 = -2*p - 5. Does 32 divide ((-64)/(-6))/(p/(-60))?
True
Let h be (-8)/3*12/(-8). Suppose 0*v - 5*v + 5*m = -605, -2*v + 260 = h*m. Is 19 a factor of v?
False
Suppose -x = 4*x - 10. Suppose 2*k - 106 = k - x*t, -4*k = t - 389. Does 28 divide k?
False
Let f = 4009 + -1174. Does 27 divide f?
True
Let m be (-1)/(-5) - (-5 + (-112)/40). Is 1822/m - (1 - 20/16) a multiple of 32?
False
Let m = 31 + -31. Suppose 4*q + q + 105 = -2*h, m = -3*h - 15. Let i = q - -32. Does 11 divide i?
False
Let h(t) = -t**3 - 11*t**2 + t - 4. Let y be h(-14). Suppose 9*q + q = y. Is q a multiple of 4?
False
Let h(u) = 3*u**2 - 1 + 4 + 8. Is 17 a factor of h(6)?
True
Let g(y) = y**2 + 3*y - 10. Let j be g(-5). Suppose j*h + 7*h - 546 = 0. Is 27 a factor of h?
False
Suppose -5*g + 6 + 14 = 2*m, -5*m = 3*g - 31. Suppose -10 = g*r - 4*r. Suppose -k = -4, -r*k - 7 = -v - 4. Is 7 a factor of v?
False
Suppose g + x + 3 = -1, 0 = 2*g - 2*x. Let f be ((-69)/g)/(1/2). Let i = f + -39. Is i a multiple of 9?
False
Let a be (-8)/(-36) - (-1487)/(-9). Let h be (-1)/4*0 - 104. Let w = h - a. Is 18 a factor of w?
False
Suppose 830 = 2*q - 466. Does 36 divide q?
True
Suppose -5*z + 61 + 4 = 0. Let b = z - -61. Let y = b - -34. Is y a multiple of 27?
True
Suppose -3*i + 18915 = 10*i. Is 97 a factor of i?
True
Let f(v) = -35*v - 35. Let w(m) = 3*m + 3. Let x(q) = 2*f(q) + 25*w(q). Is x(5) a multiple of 15?
True
Let v be 4/(-28)*2*-14. Suppose h - 22 = -v*p, -3*p - 2*h = 2*h - 23. Suppose p*c + 30 = 4*y - 29, 3*y - 48 = 3*c. Is y a multiple of 3?
True
Suppose 0 = -8*w + 3*w - 10. Does 37 divide (7 - 3)/w + 55?
False
Let w(y) = -12*y + 104. Is 5 a factor of w(5)?
False
Is 63 a factor of (-2256)/32*(8/(-3))/2?
False
Suppose 4173 = -21*f + 11397. Does 8 divide f?
True
Suppose 0 = -3*f - 5*w + 155 + 873, 5*w = 2*f - 677. Is 31 a factor of f?
True
Let v(g) = -g + 9. Let m(a) = a - 1. Let t(j) = 7*j + 10. Let p(w) = 5*m(w) - t(w). Let k be p(-10). Is v(k) a multiple of 4?
True
Suppose -17*l - 8*l + 31200 = 0. Is 96 a factor of l?
True
Let n(b) = b**3 - 5*b**2 - b - 4. Let j be (0 - -6)/((-3)/(-2)). Let h be n(j). Is 5 a factor of 60/h*(-36)/10?
False
Let k(n) = -11*n**2 - 7*n + 0 + 16 - 2 + n**3. Is 15 a factor of k(12)?
False
Let m(k) = -2*k**3 + 15*k**2 + 35*k - 43. Let g(v) = -v**3 + 7*v**2 + 18*v - 22. Let d(l) = -7*g(l) + 4*m(l). Is d(12) a multiple of 3?
True
Suppose -s = 5*k - 149, 0*s - 486 = -4*s + 2*k. Let w = s - 34. Does 6 divide w?
True
Suppose 0*r = 3*r - 12, -l + 14 = 3*r. Suppose -l*g + c - 165 = -49, -296 = 5*g - 4*c. Let z = 106 + g. Is 7 a factor of z?
False
Let z(u) = -u**2 - 4*u + 3. Let q be z(-8). Let f = -49 - q. Let p = f + 47. Is p a multiple of 25?
False
Suppose 9*n - 55*n + 23046 = 0. Is 24 a factor of n?
False
Suppose 14592 = -43*i + 59*i. Is i a multiple of 15?
False
Let z(m) = m**3 + 3*m**2 + 2*m + 2. Suppose -5*n + 0 = 10. Let p be z(n). Suppose -l + 44 = -2*a, -p*l - a = -0*l - 83. Is l a multiple of 21?
True
Does 20 divide (-29)/((-29)/420) + 0?
True
Let g = 57 + -41. Suppose -2*k + 6*k = g. Does 28 divide -56*(14/4 - k)?
True
Suppose -53*f + 59*f - 54 = 0. Does 3 divide f?
True
Suppose 0 = 5*z + 4*p - 150, -3*z = z - 3*p - 120. Is 5 a factor of z?
True
Let q(h) = 2*h**2 - 10*h + 20. Is q(6) a multiple of 2?
True
Let w(n) = -4*n - 27. Does 24 divide w(-27)?
False
Is ((-294)/8)/(135/(-360)) a multiple of 7?
True
Suppose a - 77 = 640. Suppose -5*l = -n - a, 7*n - 156 = -l + 3*n. Is 23 a factor of -2 - (-7)/(21/l)?
True
Let c = 1392 - 1184. Is 8 a factor of c?
True
Suppose -3*b - 29 = -4*j - 6*b, -3*b = -2*j + 1. Suppose -5*y = 2*w, -j*w - 5*y = -2*w. Suppose 0 = 2*o - w*o - 104. Is o a multiple of 13?
True
Let v(f) = 3*f + 19. Let t = -27 + 36. Does 23 divide v(t)?
True
Suppose -3*h = -4 - 62. Let q = 12 + h. Is 13 a factor of q?
False
Let g = -12 + 13. Suppose 0 = -h + 6 - g. Suppose 5*c - 3*u = 426, h*c + 5*u = 247 + 163. Is c a multiple of 33?
False
Is 3 a factor of -6 - ((1 - 80) + 5)?
False
Let x = 1 + 25. Suppose -43*w = -47*w + 8. Suppose 0 = -4*j + x - w. Does 3 divide j?
True
Suppose 0 = 14*s - 7*s - 826. Suppose 3*x - x - s = 0. Does 9 divide x?
False
Let j(m) = m**3 + 12*m**2 + 4*m + 1. Does 8 divide j(-10)?
False
Let l = -921 + 1425. Is 42 a factor of l?
True
Suppose -31*s + 2320 = -2*s. Does 10 divide s?
True
Suppose -4*o - 22 = -2*q, -5*o = -5*q - 2*o + 62. Suppose 2*n + q = 43. Is n even?
False
Suppose -2*p - 6 = -2, 0 = 5*r + p - 23. Let q(u) = 5*u + 1. Is 13 a factor of q(r)?
True
Let y(h) be the third derivative of h**4/12 - 3*h**3/2 + 2*h**2. Let j be y(6). Is (j - (1 - -3)) + 24 a multiple of 11?
False
Let j(m) = 27*m**3 - m**2 + 1. Let h be j(1). Let g = -23 + h. Suppose g*z = 3*q + 196, 150 = 3*z - 5*q + 2*q. Does 23 divide z?
True
Does 16 divide (6/4)/(1*15/1760)?
True
Let l be (4 - 1) + 1 + -2. Let j = l + 2. Suppose 101 = 3*i - 2*n, -2*i - j*n - n = -80. Is 11 a factor of i?
False
Suppose 0 = 4*q - 3*j - 2631, 0*q = 4*q - 2*j - 2630. Is q a multiple of 102?
False
Suppose -4*u - 3*r = -9, -1 - 14 = -5*u - 5*r. Suppose u*b + 182 = 2*b. Is b a multiple of 22?
False
Does 36 divide (-15026)/(-55)*4*25/40?
False
Let u = 9 + -8. Is (0 - (u - -7))*-10 a multiple of 16?
True
Let u = -9 + 8. Let x be (-8)/16*(-4)/u. Is ((-3)/x + 0)*26 a multiple of 8?
False
Suppose -3*t - 44 = -n + 62, t - 476 = -4*n. Let w = n + -24. Is w a multiple of 15?
False
Let h be -4 + 2 - (-142 - 0). Let s = -77 + h. Is s a multiple of 16?
False
Let p(x) = -x**3 + 11*x**2 - 10*x - 17. Does 7 divide p(9)?
False
Suppose 2*r = 4*w - 32 + 162, -3*r + w = -210. Is 17 a factor of r?
False
Suppose -10 - 18 = -4*u. Let d(g) = -6 + 1 - u*g - 10*g. Is d(-2) a multiple of 11?
False
Suppose -5*a + 115 = 4*c - 2*a, -4*a = -20. Suppose 5*t = 10*t - c. Suppose 3 = t*h - 12. Does 3 divide h?
True
Suppose 5*r - 3 = 4*r. Let u(l) be the second derivative of 5*l**4/12 + l**3/3 + l**2/2 + 29*l. Is 11 a factor of u(r)?
False
Suppose 5*i - 84 = -i. Is 44 a factor of (i/8)/((-604)/304 + 2)?
False
Suppose -1949 = 29*m - 12157. Is 13 a factor of m?
False
Suppose -240*h + 234*h + 1674 = 0. Is 30 a factor of h?
False
Suppose 0 = 5*c + 13 - 3, -5*n + 20 = -5*c. Suppose n*m - 2 = 4*k, -5 = 4*k - m - 4*m. Let a(l) = -l**3 - l**2 + l + 24. Is 6 a factor of a(k)?
True
Is 18 a factor of ((-262)/(-3))/((-2)/(-6))?
False
Let k be 3/(-5) + 8/(-20). Let o = 2 - k. Suppose o*d = 8*d - 430. Does 25 divide d?
False
Let u be -1*3*33/9. Let p = 354 - 353. Is 36 a factor of u/(p + 7/(-6))?
False
Let c = 3174 + -1124. Does 41 divide c?
True
Let w(f) = 6 + 5*f**2 - 1 + 2*f**2 - 7*f - 7 - f**3. Is w(5) a multiple of 3?
False
Let u be (30/9)/((-149)/(-75) - 2). Let b = 393 + u. Is 11 a factor of b?
True
Let o(u) = -u**2 + 14*u + 11. Suppose 3*b = -2 + 23. Is o(b) a multiple of 5?
True
Let q be (2 + 3)/((-2)/(-2)). Suppose -3*b + 5*f = -0*b - 190, -q*f = -4*b + 255. Does 13 divide b?
True
Let w(b) be the second derivative of -b**6/240 + 3*b**5/20 + 7*b**4/12 - 7*b. Let u(o) be the third derivative of w(o). Is 9 a factor of u(-11)?
False
Suppose -3*r - 5*v + 4*v + 393 = 0, r + v - 131 = 0. Is r a multiple of 42?
False
Does 3 