es 54 divide x?
False
Let b = 4 + -2. Suppose -17*s + 1424 = 370. Suppose 3*n - s = b*n. Is 24 a factor of n?
False
Let a = 16 + -12. Suppose -4*x - a*c + 10 = -130, -101 = -3*x - 2*c. Let o = x - -5. Is 9 a factor of o?
True
Let y(g) = -18 + 10 + 7. Let f(h) = -h**3 - h**2 + h - 25. Let u(k) = -f(k) - 3*y(k). Is u(0) a multiple of 28?
True
Let w = -497 - -1618. Does 63 divide w?
False
Suppose 2382 = 2*l - 3*b, -7*b = 2*l - 3*b - 2382. Does 18 divide l?
False
Suppose -2*s = -4, -w + 5*s = 3*s - 379. Is 3 a factor of w?
False
Let b(v) = 235*v**2 + v - 12. Does 10 divide b(-3)?
True
Suppose 133 + 25 = 2*g. Let p = g + -35. Let t = p + -14. Does 8 divide t?
False
Let h = 8 + -8. Let l = 3 - h. Suppose -l*s = 3*x - 93, x - 33 = -4*s + 106. Does 12 divide s?
True
Let c be -1 + (72/2 - -2). Let r = c - 22. Suppose s - 9 - 15 = -i, 2*s + r = i. Does 5 divide i?
False
Suppose -2*k = 3*i + 163, -i = 4*k + i + 314. Let z = k - -187. Let v = z + -66. Does 22 divide v?
True
Let b be 2/3 - 2132/(-6). Suppose 2*g - 213 = -5*y, 0*g - b = -4*g + 4*y. Is 24 a factor of g?
False
Let p(h) be the second derivative of -h**3 + 8*h**2 + 15*h. Is p(-6) a multiple of 13?
True
Let i(d) = d**2 - 5*d + 5. Let v be i(4). Suppose -o - v = -3. Suppose -o*p = -p - 100. Does 25 divide p?
True
Is 304/3*6210/184 a multiple of 90?
True
Is 6 a factor of (-34)/6*294/(-49)?
False
Suppose -10051*u - 315 = -10052*u. Does 13 divide u?
False
Let d be (-26)/(-6) - (40/(-12))/(-10). Let i = -7 - -10. Suppose u = -i*u + d*n + 144, -n - 176 = -5*u. Is u a multiple of 7?
True
Suppose 33*q + 560 = 35*q. Does 10 divide q?
True
Let r = -8 - -2. Let k(i) be the third derivative of -i**5/60 - i**4/3 + i**3 - 3*i**2. Is k(r) a multiple of 18?
True
Let j(x) = -x**3 + 20*x**2 + 38*x - 44. Does 46 divide j(12)?
True
Let l(f) = -8*f + 4. Let b be ((-36)/8)/(9/12). Let z be l(b). Suppose -4*h - u + 5*u = -z, 3*u - 16 = -2*h. Is 5 a factor of h?
False
Let o(l) = l**3 - 34*l**2 - 22*l - 247. Is 16 a factor of o(35)?
True
Suppose -13*v + 8*v + 2*x + 8055 = 0, 5*v - x - 8050 = 0. Is v a multiple of 21?
False
Let w = 62 - 62. Suppose w = -v - 0*v - 5, -5*v - 175 = -3*g. Is g a multiple of 6?
False
Suppose -7518 = 17*w - 7756. Does 5 divide w?
False
Suppose -5*a + 2 = 2*u - 308, 0 = -3*a - u + 187. Suppose a = -0*g + 4*g. Is (g/(-6) - -3)*54 a multiple of 9?
True
Let l(f) = 8*f + 5. Let z(q) = q - 1. Let m(w) = 2*l(w) + 10*z(w). Let j be 0 - (1 - (3 + -1)). Does 15 divide m(j)?
False
Let h(z) = 36*z**3 + 2*z**2 + z - 31. Is h(3) a multiple of 13?
True
Let d = 1 + 3. Suppose 5*w = 3*u + 16, -17 = -d*u + w - 2*w. Suppose -m = -k + u, -3*m = 4*k - 0*m - 19. Is 2 a factor of k?
True
Let z(c) = -137*c + 179. Is z(-5) a multiple of 4?
True
Let u(c) = c**2 + c - 13. Let f(q) = -2*q**2 - 2*q + 26. Let t(l) = 6*f(l) + 13*u(l). Does 7 divide t(4)?
True
Suppose -6722 = -18*d + 10504. Is 87 a factor of d?
True
Let g(m) = -254*m - 164. Is g(-24) a multiple of 25?
False
Let g(o) = -2*o**3 - 18*o**2 - 10*o - 6. Does 14 divide g(-10)?
True
Let l(a) = 30*a**2 + 4*a - 2. Let p be l(2). Suppose 4*k - v - 171 = 0, 3*k - 4*v + v = p. Is 11 a factor of k?
False
Suppose 5*c - 35 = -0*c. Let i(d) = -17*d**3 + 3*d**2 + 4*d - 2. Let x(t) = 34*t**3 - 7*t**2 - 9*t + 5. Let k(s) = c*i(s) + 3*x(s). Is k(-1) a multiple of 8?
False
Suppose -3*n - 19 = -532. Is 9 a factor of n?
True
Let n(t) = 3*t**2 + 9*t + 42. Does 5 divide n(-9)?
False
Suppose 2 = 2*z + 3*z - 4*c, 4 = 5*z - 3*c. Suppose -4*a + 3*q = -0*q - 313, 161 = z*a + 3*q. Suppose 0 = 4*x - a - 17. Is x a multiple of 24?
True
Let b(d) = 4*d**3 - d**2 - 12*d - 3. Let i(w) = -12*w**3 + 3*w**2 + 35*w + 9. Let h(t) = 17*b(t) + 6*i(t). Is h(-2) a multiple of 9?
True
Let b(w) = 52*w + 26. Does 26 divide b(12)?
True
Let r = 111 + -111. Suppose -3*p + 543 = -r*p. Is 17 a factor of p?
False
Let v = -35 + 32. Let j be (-8)/(-1 - v) - -4. Suppose p - 31 - 13 = j. Is p a multiple of 22?
True
Is -4 - -258 - 10 - (1 - -3) a multiple of 16?
True
Suppose -2*h - h = 0. Suppose h = 4*r - 7*r. Is 14/(2 - (r + 1)) a multiple of 7?
True
Suppose 25 = 5*j + 10. Let p(q) = -j*q - 1 + 3 - 8*q - 4*q. Does 16 divide p(-2)?
True
Is ((-2)/(-3))/((-8)/(-1344)) a multiple of 8?
True
Let w be 2/(-6)*-6 + -4. Let a(o) = -2*o**3 + 2*o**2 - 3. Does 3 divide a(w)?
True
Is ((-425)/(-100))/(2/16) even?
True
Let z(j) = 6*j - 104. Let n be z(12). Let m = 66 + -26. Let t = m + n. Does 4 divide t?
True
Let p(k) = -5*k**2 + 5*k + 7. Let r be p(8). Let s = 468 + r. Let q = s + -123. Is 12 a factor of q?
True
Suppose -2*g + r - 10 = 3*r, 0 = 2*r. Let n be (g + -16)*(-6)/21. Let x(o) = 3*o**2 - 6*o - 3. Is x(n) a multiple of 16?
False
Let p be (-99)/(-21) + 8/28. Suppose -549 = -p*u + 136. Is 12 a factor of u?
False
Let g be (-8)/(-3)*3/2. Suppose 2*b + 4*p = 0, 0 = g*b - 2*p - 0*p + 40. Is 6/2 + (-6 - b) a multiple of 3?
False
Let v(u) = -u + 277. Is v(-8) a multiple of 3?
True
Suppose -3*o + 5*n + 553 = 0, 2*o - 4*n + 354 = 4*o. Is 10 a factor of o?
False
Suppose -6*f + 4 = 4. Suppose -4*m - m + 20 = f, i + 3*m - 24 = 0. Is 6 a factor of i?
True
Suppose -3*o = 2*n - 132, 3*o + 67 = 2*n - 89. Suppose n*g - 25 = 71*g. Is 5 a factor of g?
True
Let m(o) = 3*o**2 - 2*o + 61. Is 6 a factor of m(-23)?
False
Let u be 59 - (-3 - (-4)/(-4)). Suppose -29 = -4*x + u. Is x a multiple of 4?
False
Suppose 5 = 3*a + 2*m - 5, 8 = 5*a - m. Suppose 3*d - 46 = -4*s + d, -6 = a*d. Does 5 divide s?
False
Let q(f) = -f**3 - 5*f**2 + 6*f. Let g be q(1). Suppose g = 6*r - 597 - 639. Is r a multiple of 16?
False
Let p be (6/(-4))/((-6)/8). Suppose q + 15 = -2*u, -4*u + 24 = -6*q + p*q. Let i = 42 + q. Is 13 a factor of i?
False
Let n(z) = -4*z**3 - z**2 + 2*z - 9. Let w be n(-4). Let h = w - -25. Is 21 a factor of h?
False
Let r be (-36)/(-24) + 3/2. Suppose -y + 20 = -r*i + y, y - 4 = 0. Is 3 a factor of (i/6)/(7/(-189))?
True
Suppose 0 = 2*h - h - 2*o - 48, 0 = 5*h + 2*o - 252. Let n be (-19)/5 + (-10)/h. Is (2/n)/(1/(-84)) a multiple of 7?
True
Suppose -8*p + 5108 + 1228 = 0. Does 24 divide p?
True
Let w = 443 - 154. Suppose -4*g - y = w, 2*y - 152 = 4*g + 146. Let j = 129 + g. Is 7 a factor of j?
True
Suppose 0 = -2*z + 3*z. Suppose 3*x - 106 - 2 = z. Suppose -x = -8*t + 5*t. Is 3 a factor of t?
True
Let q be (6/15)/((-1)/370*-1). Is 15 a factor of (q/(-20))/(1/(-5))?
False
Let l = -166 + 166. Suppose 6*u - 240 = u. Suppose 5*o + 86 = 3*y, l = 3*y - 5*y + o + u. Is y a multiple of 11?
True
Let w(n) = 318*n - 168. Is 4 a factor of w(2)?
True
Let w(t) = 2*t**3 - 20*t**2 + 18*t + 8. Does 10 divide w(11)?
False
Let q = 208 + -36. Is 16 a factor of q?
False
Suppose 4*n + 18 = 2*f, -3*n - 2*f - 15 = -3*f. Let j be (-1)/2 + (-33)/n. Suppose -3*y = 2*g - 73, 2*g - 3*g + j*y = -17. Is 16 a factor of g?
True
Let b(d) = d**3 - 3*d**2 + 4*d - 2. Let m be b(1). Suppose m = k + 2*k - 60. Does 5 divide k?
True
Suppose -4*y - 4*q + 80 = 0, 26*q - 21*q + 90 = 5*y. Is y even?
False
Let n(t) be the second derivative of 3*t**5/10 - t**4/4 + t**3/2 - t**2 + t. Let z be (-28)/49 - (-18)/7. Does 8 divide n(z)?
True
Suppose 23*r - 6*r - 5610 = 0. Does 15 divide r?
True
Let z = -146 + 207. Is z a multiple of 7?
False
Let i(n) = -200*n + 329. Is 12 a factor of i(-5)?
False
Suppose w = -5*t + 22, t - 1 = -2*w - 2. Let g = t + -3. Suppose 5*s = -0*q + q + 46, -2*s + g*q = -20. Is s a multiple of 3?
True
Suppose 73*h - 79*h + 3192 = 0. Does 28 divide h?
True
Let l(y) = 14*y + 13. Let t be l(4). Let i = t - -37. Is i a multiple of 15?
False
Let h(y) = -2*y**2 - 61*y + 57. Does 8 divide h(-31)?
False
Does 53 divide (-98)/3*(-105)/10?
False
Let u = 621 - -68. Is 86 a factor of u?
False
Let c(v) be the third derivative of -13*v**4/12 + 6*v**2. Let f be c(1). Let s = 30 + f. Is 4 a factor of s?
True
Suppose 8 = 2*h - 3*u, -4*h = 4*u + 10 + 14. Is (18 - 0)/h*14/(-6) a multiple of 7?
True
Suppose 419 = -4*q + 1523. Is 16 a factor of q?
False
Let b(f) = 8*f**3 + 21*f - 41. Is 38 a factor of b(5)?
True
Let j(f) = -38*f + 47. Is 23 a factor of j(-3)?
True
Is -12 - (-2075)/1 - (3 - 4) a multiple of 6?
True
Suppose b + 2 = -n - 1, 18 = 2*n - 4*b. Let a be (n/2)/((-7)/42). Let l(u) = -11*u - 5. Does 11 divide l(a)?
False
Suppose -2*m + 2*t + 530 = 6*t, -4*t + 265 = m. Is m a multipl