 21 divide f?
False
Let s(m) = -3*m**2 - 33. Let y(w) = 2*w**2 + 32. Let t(u) = 3*s(u) + 4*y(u). Let z be t(-5). Does 18 divide 21*(z + (-104)/(-28))?
True
Let o be 104/32 + 1/(-4). Suppose -o*f - 106 = -5*x + f, 20 = x - 2*f. Does 25 divide 3 + 1918/22 + (-4)/x?
False
Let j(a) = 2*a**3 + 17*a**2 + 9*a + 6. Let p be j(-8). Let w be (p - 8)*((-3)/(-2) + -1). Let r(o) = -20*o + 23. Is r(w) a multiple of 21?
False
Let v be (-29)/(-58) + (-2)/4. Suppose -1 - 7 = -2*o, v = -5*q - 4*o + 1281. Is q a multiple of 11?
True
Let r(x) = -7*x - 65. Let o be r(-12). Suppose -b - u + o = 0, -6*b + 4*b + u + 53 = 0. Is b a multiple of 3?
True
Suppose -2*m - 5*q + 47373 = 0, 3*q + 118324 = -5*m + 10*m. Is 74 a factor of m?
False
Let g(m) = -12*m - 14. Let y be g(-1). Let h(t) = -152*t + 20. Is 9 a factor of h(y)?
True
Let d(u) = 5*u**3 - 16*u**2 + 3*u + 4. Let l be d(3). Suppose -216 = -p + l*s + 1012, 4*p - 4899 = 3*s. Does 102 divide p?
True
Suppose 121*f - 2069784 = -31*f. Does 89 divide f?
True
Does 56 divide (12 + 1 - 3) + -7 + 1 - -38114?
False
Let y = 72 - 48. Let n be y/(-96) + -1*2/(-8). Is n/1 - (6/(-2) + -53) a multiple of 14?
True
Let q(f) = -7044*f - 114. Is q(-1) a multiple of 15?
True
Suppose -4*w - 2*w = 174. Let l = -20 - w. Let j(p) = -p**3 + 12*p**2 - 16*p - 11. Is j(l) a multiple of 8?
True
Let u = 374 + -573. Let f = u - -297. Does 15 divide f?
False
Suppose -j - 17249 = 8*d - 9*d, 69038 = 4*d + 3*j. Is d a multiple of 145?
True
Let x(c) = -c**2 - 17*c + 22. Let p be x(-18). Suppose p*d = 20 - 4. Suppose 212 = -d*s + 644. Is s a multiple of 18?
True
Let i(p) = 7669*p**2 + 75*p + 74. Is 71 a factor of i(-1)?
True
Let k(w) = 22*w + 5 - 26 - 66. Is 37 a factor of k(12)?
False
Let d be ((-6)/5)/((-7)/(247275/10)). Suppose -f = -3*g + 4239, -7*f + 5*f - d = -3*g. Is 26 a factor of g?
False
Suppose -i - 847 = -8*j + 5*j, 5*j = -2*i - 1727. Let s = -492 - i. Is 26 a factor of s?
True
Suppose -15 = 3*t + 5*v - v, -4*t = -2*v + 42. Let i = -128 - t. Let h = i + 217. Does 17 divide h?
False
Suppose 4*b = 0, 3*m + b - 51336 = -6*m - b. Is 25 a factor of m?
False
Suppose 0 = 99*c - 93*c - 12. Suppose -4*s + 156 + 827 = 3*i, s - c = 0. Suppose -6*b + i = -b - 2*m, -3*b + 174 = 3*m. Is b a multiple of 9?
True
Let r(h) = -h**3 - 26*h**2 - 27*h + 424. Does 41 divide r(-33)?
True
Let j(l) = 6*l**3 + 3*l**2 + 89*l - 2. Let s(u) = -2*u**3 - u**2 - 30*u + 1. Let i(m) = -4*j(m) - 11*s(m). Is i(-5) a multiple of 16?
True
Let z = 22876 - 15504. Is z a multiple of 14?
False
Let g(q) = -236 + 25 - 48 - 21*q. Is 65 a factor of g(-34)?
True
Let y(a) = -9*a - 1. Let t be y(-1). Suppose -2*u - 4 - 4 = 0. Does 22 divide (-581)/u - t/(96/(-9))?
False
Let a = 3046 - 239. Is a a multiple of 20?
False
Let r be 1/(2/8) - (0 - -2). Suppose 4*y - 148 = -4*x, -27 = -5*x - r*y + 152. Does 9 divide x?
False
Suppose 5*m = 2*o - 31577 + 1424, 3*o + 3*m - 45177 = 0. Does 41 divide o?
False
Let a be (110/4 - 2)*(-40)/(-15). Suppose u = a - 66. Suppose -153 = -3*n - 5*y - 61, 2*n + u*y - 64 = 0. Is 17 a factor of n?
True
Suppose 3*s = -3*t - s + 11, 3*t = -2*s + 19. Suppose 0 = 14*o - t*o + 45. Is 21 a factor of o/6*-154*3/3?
True
Let x = -106 - -122. Let u(z) = z**3 - 15*z**2 - 10*z + 21. Let l be u(x). Let q = l - 114. Does 2 divide q?
False
Let o be -1 - (-1*6 - -1). Suppose o*b = c + 328, 0 = 2*c + b - 404 + 1087. Let f = -226 - c. Is 19 a factor of f?
True
Suppose -i + y + 3 = 0, -i = 4*y - 2*y. Suppose 0 = -i*q - 3*b + 377, 2*b = -0*q - 4*q + 742. Suppose 3*g - q = 71. Is g a multiple of 17?
True
Let p be 48/(-12)*((-3)/2)/3. Suppose p*k - 328 = 70. Suppose -a - t + k = a, 196 = 2*a + 2*t. Is a a multiple of 7?
False
Suppose -5*q - 205 - 350 = 0. Let c = q - -115. Suppose -c - 74 = -z. Is 8 a factor of z?
False
Suppose 10*u = 5*u + 25. Suppose -4*s - 5*m + 213 = -2*s, -u*m = 4*s - 421. Suppose 5*c = 2*p - s, p - 104 = -p + c. Is 5 a factor of p?
False
Is 23 a factor of 75/10*(-828)/(-45)?
True
Let s = -79 - -50. Suppose 0 = 5*w - 4*y - 316, 53*w = 50*w - 5*y + 197. Let k = w - s. Is k a multiple of 22?
False
Let w(l) = -3*l + 21. Let h be w(7). Suppose 3*d = -4*f + 88, 2*f + f - d - 79 = h. Let q = f - 17. Is 8 a factor of q?
True
Does 7 divide (-23 + 22)/(2/(-2636))?
False
Let r = -5 - -10. Suppose -4*c + 24 = -0*c - 4*w, 2*w = r*c - 24. Is 15 a factor of ((-238)/(-18) - c/18)*13?
False
Let l(u) = -12*u + 45. Let z be 0/187 - (2*4 - 0). Is 9 a factor of l(z)?
False
Suppose -12*r + 44 + 124 = 0. Let u(i) = -i**3 + 17*i**2 - 32*i - 30. Does 15 divide u(r)?
False
Let b = -4394 - -14414. Is b a multiple of 12?
True
Let x be ((-582)/12)/((-1)/4). Suppose 0 = -5*m - 69 + x. Suppose -5*k = -m - 0, 0 = -3*w - 2*k + 289. Is w a multiple of 31?
True
Suppose 37*g + c = 35*g + 18434, -2*g - 4*c + 18440 = 0. Is 48 a factor of g?
True
Let x(b) = -4*b**3 - 10*b**2 + 4*b + 6. Let w(t) = -5*t - 5 + 12*t**3 - 6*t**3 - t**3 + 9*t**2. Let l(j) = -3*w(j) - 4*x(j). Is 4 a factor of l(-13)?
True
Let k(o) = 189*o**2 + 5*o. Let t be k(-3). Suppose -5*b - 5*q - 381 = -t, -5*q - 285 = -b. Does 13 divide b?
False
Suppose -7*q + 55658 + 117290 = -2*y, -98844 = -4*q - 3*y. Does 12 divide q?
True
Let a(y) = -8*y**3 + 2*y + 2. Let x = 108 - 109. Is a(x) a multiple of 4?
True
Suppose m = -0*m - 2. Let a be 3 + 2 + (m - (4 - 3)). Suppose -3*p + 30 = -5*l, -a*l + 10 = p - 6*l. Does 2 divide p?
True
Let t be 17 - 17/((-34)/8). Let m(w) = w + 123. Does 11 divide m(t)?
False
Suppose 63*y - 2*q + 54956 = 68*y, 2*q = -4*y + 43966. Is y a multiple of 68?
False
Suppose 0 = -z - 5*h + 18305, 18*z + 4*h - 54970 = 15*z. Is z a multiple of 30?
True
Suppose 26*t - 74073 = -15833. Is t a multiple of 7?
True
Let a = 104 + -104. Suppose 3*r - 4*u - 314 = 0, a = -2*r - 0*u - 4*u + 236. Does 11 divide r?
True
Let v be (-4)/(-10) + 4/(-20)*-18. Suppose 9 - 29 = -v*d. Suppose -5*o + 3*j + 429 = 4*j, 4*o - 349 = d*j. Is 4 a factor of o?
False
Suppose -10684*n + 10692*n = 23392. Is 34 a factor of n?
True
Let o(j) = -5*j**3 - 8*j**2 + 16*j + 53. Let z be -11 + 15 + 3 + -11 + -3. Does 16 divide o(z)?
True
Suppose 5*q - 5870 = -5*b, -227*b + 222*b - 2376 = -2*q. Is q a multiple of 15?
False
Let c = -993 - -475. Let m = -155 - c. Is m a multiple of 33?
True
Suppose 4*a - 23 = -15. Suppose 0 = 2*m - 3*x - 781 - 93, -a*m = 2*x - 874. Does 23 divide m?
True
Suppose 4*h - 5*w + 14 = 0, 3*w - 10 = -4*h - 8. Let i(l) = 14*l - 1. Let u(x) = -28*x + 2. Let t(p) = -9*i(p) - 4*u(p). Does 5 divide t(h)?
True
Let o(a) = -21*a - 40. Let l be o(-2). Let i = 59 - 23. Suppose 76 = l*s - i. Is s a multiple of 22?
False
Let x = 21 + -24. Let i = 1 + x. Is i + (-80)/(-45) + 1120/18 a multiple of 12?
False
Let s(f) = f**2 + 91*f + 2608. Does 22 divide s(-60)?
True
Is 3 a factor of ((-1592)/(-5))/(216/540)?
False
Let p = 372 + -424. Is (p - 0)*(-3 + 1) even?
True
Suppose 1490 - 549 = -4*p - 5*x, 0 = -p + 5*x - 204. Let y = -223 - p. Does 6 divide y?
True
Let j(v) = -v**3 + 34*v**2 - 27*v - 17. Let h be j(17). Suppose 24*o = -5*o + h. Is 17 a factor of o?
True
Let q(o) = 1674*o - 1685. Is q(5) a multiple of 253?
False
Let h(y) = -34*y**2 + 21*y - 66. Let o be h(3). Let n = 445 + o. Is 8 a factor of n?
True
Let a(t) = 2*t + 220. Let j be a(-13). Let m = 142 + j. Is m a multiple of 7?
True
Let l(x) = 4*x**2 + 110*x + 11. Let b(c) = 3*c**2 + 55*c + 6. Let s(t) = 5*b(t) - 3*l(t). Does 27 divide s(24)?
True
Let n(v) = -92*v + 789. Is n(2) a multiple of 3?
False
Suppose 4*t = t. Let m be (-30)/(-70) + -2 + 50/14. Suppose -m*o = -1 - 3, 2*h - 2*o - 116 = t. Does 30 divide h?
True
Suppose 4*s = 24, -3*p - 57*s + 64554 = -62*s. Is 138 a factor of p?
True
Suppose 5*r + 4*y = -37, 6 - 9 = y. Let t = r + 191. Is t a multiple of 22?
False
Suppose 75*k = 74*k + 2. Suppose 5*h = -5*t + 485, 2*h = k*t + t - 306. Is 5 a factor of t?
True
Let c = -338 + 353. Let f(g) = -g**3 + 18*g**2 - 36*g + 36. Is 16 a factor of f(c)?
False
Let a = 7975 + 1852. Is a a multiple of 123?
False
Suppose -4*w - 1 - 19 = 0, -3*w + 9553 = 4*k. Does 46 divide k?
True
Let w = -2959 - -6787. Suppose 17*p - 29*p + w = 0. Does 5 divide p?
False
Suppose -2*p + 13*q + 486 = 11*q, 3*q - 231 = -p. Is p a multiple of 20?
True
Let s be (-3340)/(-2)*4/8. Suppose 0 = 6*v - 599 - s. Is v a multiple of 80?