- (2 - 4))/(4/106). Suppose -49*b = -a*b - 1496. Let k = b - -558. Is k a multiple of 22?
False
Let c(f) = 42*f**3 - f**2 - 2*f - 3. Let o be c(2). Suppose 1107 = 3*n + 3*g, 2*n + 4*g - o = 413. Is 41 a factor of n?
True
Let u(n) = n**3 - 5*n**2 + 5*n - 7. Let g be u(5). Suppose -g*s + 6720 = 14*s. Is s a multiple of 14?
True
Suppose -92293 - 8254 = -96*n + 220477. Is 76 a factor of n?
True
Suppose 0 = -7*s + 555 + 1223. Let y = 494 - s. Does 69 divide y?
False
Is 23 a factor of ((736/24)/4)/(4/(-16488)*-3)?
True
Let y(b) = b**3 + 12*b**2 + 17*b - 28. Let d be y(-10). Suppose d*q = -19 + 79. Is q a multiple of 6?
True
Let k(i) = 2*i**2 - 11*i + 19. Suppose 2*t + y - 16 - 1 = 0, -2 = -2*t + 2*y. Let a be k(t). Let l = a + -21. Is 4 a factor of l?
True
Is 22 a factor of 19183/2 - (11 - -20)/(-62)?
True
Suppose -8*b + 59577 = 13*b. Suppose -3435 - b = -7*m. Is 31 a factor of m?
False
Let n(f) = 266*f - 4038. Is 2 a factor of n(16)?
True
Suppose -46*g + 108598 + 112481 = 14309. Is 31 a factor of g?
True
Let j be 40/(-12)*(-60)/25. Suppose 3*a = k + 8, -k - k = -4*a + j. Suppose -o - k*p = -13, 2*o - 4*p = 24 + 50. Is 10 a factor of o?
False
Let w be (-6)/(-6 - 45/(-10)). Let x(u) = u**3 - 7*u**2 + u - 9. Let i be x(7). Does 40 divide 238 + (-4 - i) + w?
True
Let s(o) = -569*o - 8003. Does 10 divide s(-15)?
False
Let w(v) = v - 55. Let r be w(0). Let y be 4*(r/(-20) - 0). Suppose -647 = -y*i - 119. Is 24 a factor of i?
True
Let l = -965 + 2052. Let s = l + 15. Is s a multiple of 8?
False
Let c = -13112 + 21443. Does 30 divide c?
False
Suppose s - 1 + 3 = 0, 2*s = -3*m + 215. Suppose -z = -m - 46. Suppose 417 + z = 4*k. Is 15 a factor of k?
False
Let s = 44 + 10. Let b = 50 - s. Let q = 58 + b. Does 18 divide q?
True
Suppose -7*i + 3*i = 4*a, 3*a + 10 = 2*i. Let o(u) = 2*u**2 - 2*u**3 - 2*u + u - 8 + 0*u. Is o(a) a multiple of 6?
True
Suppose -2*i = -3*f - 1634, 5*i + 51*f = 45*f + 4166. Is 59 a factor of i?
True
Let n(q) = 25*q**2 - 92*q + 3. Let g be n(4). Is 5708/10 - (-4 - (-133)/g) a multiple of 18?
False
Suppose 5*f + 19676 = 4*h - 5049, 6183 = h - 3*f. Does 10 divide h?
True
Suppose -4*b + 8204 = n, -25*b = -26*b + 3*n + 2064. Does 27 divide b?
True
Let w(b) = b**3 - 14*b + 12. Let q = -35 + 38. Suppose -5*v + 27 = -q. Is 18 a factor of w(v)?
True
Let q = -33 - -83. Suppose -5*a + 3*a + q = 0. Is 8 a factor of -21 + a + (-4)/(-1)?
True
Let g = -27929 - -35186. Does 333 divide g?
False
Suppose -4*s + 0*r - 2*r = -4, r = -4*s + 8. Suppose 2*x = -s*y + 459, -3*x + 5 = -4. Is 4 a factor of y?
False
Let o be 18/(-15)*2*15/(-4). Suppose -h - 1 = 3*v - o, -h + v = 0. Suppose -26 = -4*f + h*c, 4*c + 6 = -f + 26. Is 6 a factor of f?
False
Let o(v) be the first derivative of -13 + v**3 - 26*v + 9/2*v**2. Is 17 a factor of o(-11)?
True
Let l be 16/4 - -399 - 0. Let y = l - 277. Is y a multiple of 14?
True
Suppose -5*p - 41 = -5*f + 489, 0 = -2*f + 4*p + 220. Is 58 a factor of f?
False
Let i(l) = l**3 + 12*l**2 - 35*l + 8. Let h be i(-12). Suppose -2*w = 2*f + 178 - h, -w = -5*f - 101. Does 11 divide w?
True
Is 10 a factor of (-13 - -29) + -15 + 2876/4*1?
True
Let j(m) = m**3 - 3*m**2 - 7. Let o be j(6). Let n = -99 + o. Suppose 0 = 6*u + n*u - 328. Is u a multiple of 8?
False
Does 12 divide 4070/740 + (-12229)/(-2)?
True
Let m(b) = b**3 + 12*b**2 - 9*b + 24. Let v(u) = -u**2 - 1. Let w(z) = m(z) + 5*v(z). Let d be (-24)/(-3 + -1) - (70/5 + 0). Is w(d) a multiple of 27?
True
Let k(y) = y**2 + y - 10. Let i be 10*2/(2 - -2). Suppose -x - n = -i*n + 3, -2 = -2*x + 4*n. Is 10 a factor of k(x)?
True
Let z(v) = -4*v**3 + 7*v**3 - 6*v + 0*v + 41 - 16*v**2 + 23*v**2. Is z(5) a multiple of 11?
True
Does 59 divide (-2)/(-8) - (-2 - (-150752)/(-128))?
True
Let d(h) = 106*h**2 + 263*h + 1540. Does 10 divide d(-6)?
False
Let g = 6889 - 3493. Does 33 divide g?
False
Let r(y) = -37*y**2 - y + 6. Let u be r(5). Let z be 2/(u/232 - -4). Suppose 0 = 4*o + 4*t - z, 3*o + o + t = 128. Is 13 a factor of o?
False
Let c(m) be the third derivative of m**6/120 - m**5/10 - m**4/3 + 5*m**3/6 - 2*m**2 - 31*m. Is c(10) a multiple of 25?
True
Let b(d) = d + 6. Let g be b(-3). Let a be -1*g + (-234)/(-13). Suppose 0 = 11*y - a*y + 160. Does 20 divide y?
True
Let n(t) be the first derivative of -t**3/3 - 5*t**2 - 6*t + 5. Let w be n(-9). Suppose i + z + 0*z = 125, 0 = w*i + z - 367. Is 34 a factor of i?
False
Suppose -5*m + 5*y = 0, -3*y + 4*y = -5*m + 24. Suppose 0 = -5*l + 2*q + 1192, -q = m*l + 3*q - 948. Is 17 a factor of l?
True
Suppose b + 2*m - 4317 = -412, b - 3917 = m. Does 91 divide b?
True
Let x be 4 + (-310)/75 + (-10204)/(-30). Suppose -5*q + x = -q. Let j = q + 48. Does 19 divide j?
True
Suppose 58*i - 29*i = 261. Suppose -i*d - 9*d = -1008. Does 8 divide d?
True
Let g(r) = 17*r**2 - 24*r**2 - 4*r - 1 + 2 + 18*r**2. Let o be 3 - 9 - (-3 - 0). Is g(o) a multiple of 28?
True
Suppose 0 = a - 4*n + 3*n - 9, -4*a + 5*n + 37 = 0. Let v be (-24)/42 + a/14. Suppose -4*r + 16 = 0, -2*h + 4*h - 4*r - 160 = v. Does 22 divide h?
True
Let n(g) = 9*g**2 + 252*g + 1233. Let w be n(-5). Suppose -4*u + v = -1421, 2*u - 3*v = v + 728. Let z = u - w. Does 13 divide z?
True
Suppose 75*a - 18*a = -13566. Let q = a - -307. Does 3 divide q?
True
Suppose 2*w - 612 = -4*y, -5*w = 12*y - 9*y - 1551. Let r = w + -191. Does 7 divide r?
False
Suppose 15*v + 252 = -348. Let f = v + 89. Is f a multiple of 4?
False
Let q = -12 + 28. Suppose q*p - 11*p = 225. Is p a multiple of 15?
True
Let b = 51 + -45. Let y(x) = -2*x - 9 - 6 - 3*x**2 + b*x + 5*x**2. Does 7 divide y(4)?
False
Suppose 51*t = 47*t + 4*h + 91008, 91044 = 4*t + 2*h. Is t a multiple of 15?
False
Suppose -4*h + 8 = 0, 3*k - 4*h + 8 = 2*k. Suppose k = 2*j - 6, -3*j + 5 + 12 = -4*r. Is (-5)/r*(-24)/(-10) even?
True
Suppose -c = 35*c + 48*c - 224868. Is 14 a factor of c?
False
Suppose 10*k - 5*k = -20. Let v(p) = 5*p**3 + p - 11. Let d(c) = -9*c**3 - 2*c + 20. Let z(n) = 4*d(n) + 7*v(n). Is 20 a factor of z(k)?
False
Suppose -526*a + 2926348 + 3784832 = -5084370. Is 65 a factor of a?
True
Let a(o) = 4*o**3 - 5*o**2 - 15*o + 50. Let u be a(6). Suppose -8*f + 3180 = -u. Is 10 a factor of f?
False
Let h be (-2 + 186)*(-12)/(-16) + -2. Let g = h - 131. Suppose 14*t = -g*t + 3420. Is 30 a factor of t?
True
Let x be 1 + 2 + 1 + 6. Let m = x + -6. Let u(n) = n**2 + 2*n + 1. Is 13 a factor of u(m)?
False
Let u = 543 + -423. Is (58/(-4))/((-6)/u) a multiple of 10?
True
Suppose z = 3*g + 269, -3*g + 1060 = 4*z + g. Let y = -216 + z. Is y a multiple of 10?
True
Let f = 1606 + -440. Suppose 0 = -9*y + 4316 - f. Is y a multiple of 25?
True
Let l(t) = -465*t + 71. Let w be l(-9). Suppose -13*a = -27*a + w. Is a a multiple of 8?
True
Suppose 5*c - 5*h - 19130 = 0, 125*h = 126*h - 2. Is 11 a factor of c?
True
Does 45 divide -1*(-24 - 0 - 15591)?
True
Let o(y) = 274*y + 872. Is 22 a factor of o(25)?
True
Let r(m) = m**2 + 12*m + 35. Let t be r(-6). Let f be 4009/57 - t/(-3). Let a = f + -22. Is 4 a factor of a?
True
Suppose 3*n + 16 = 40. Let m be n/(-14) - 508/(-7). Suppose -t + 4*d + m = t, -71 = -2*t + 3*d. Does 17 divide t?
True
Let u = -6570 + 10915. Does 79 divide u?
True
Is 9 a factor of 5 + -10 + ((-2)/19 - (-811087)/323)?
False
Let i(o) = 127*o**2 - 359*o - 5410. Does 50 divide i(-15)?
True
Suppose -85527 = 59*y - 299284. Is y a multiple of 67?
False
Suppose 7*y - 132 = 3*y - 4*h, 2*y - 72 = h. Suppose 10*m = -4*w + 7*m + 79, -2*w + 3*m = -y. Is w a multiple of 6?
False
Let h(f) = -36*f + 3191. Is h(-94) a multiple of 75?
False
Let n(a) = -a**3 - a**2 + 3*a + 957. Suppose -3*p - 4 = -l, -4 = -5*p + 5*l - 24. Is 33 a factor of n(p)?
True
Let t = -18 + 35. Let z = t + 9. Suppose 13*p - z = 12*p. Does 13 divide p?
True
Suppose -426*h = 2*i - 428*h - 702, -705 = -2*i + 5*h. Does 5 divide i?
True
Suppose -v = 2*o + 3*o - 42, -12 = -o + v. Suppose 31 + o = 10*m. Suppose 5*d + 28 = -m*l + 307, -5*l + 5*d = -405. Is 38 a factor of l?
True
Suppose 110*y - 131*y + 12516 = -4998. Does 31 divide y?
False
Suppose 80*s - 204354 + 167316 = 335922. Is 59 a factor of s?
False
Let k(a) = a**3 - 6*a**2 + 6*a + 3. Let x be k(3). Let s be (-8)/x*-12*1/2. Let c(r) = r**3 + 10*r**2 - 2*r - 15. Does 17 divide c(s)?
False
Let c be 8/20*45/6. Let u(k) = 59*k**2 + 12*k - 1