)?
False
Let g = -27 + 26. Let w be g + 2/1*4. Let a = 21 - w. Does 14 divide a?
True
Suppose 0 = 3*r - b - 268, 105 = r - 2*b + 19. Is 15 a factor of (-20)/18*-15*r/1?
True
Let u(p) = -36*p**2 + 2266*p + 52. Does 52 divide u(52)?
True
Suppose 7*c - 8 = 5*c. Let j = -17 - -19. Suppose 3*r = 2*a + 57, c*a + a = -r + j. Is r a multiple of 17?
True
Suppose j + 3 = 32. Suppose -53 = -3*v - 3*n - 17, 2*v - 12 = -5*n. Suppose -3*f = -j - v. Is 5 a factor of f?
True
Suppose 1951*y = 1946*y + 14715. Is y a multiple of 56?
False
Let w(a) = 46*a - 490. Does 7 divide w(11)?
False
Suppose x - 2*d - 382 = 0, 576 = 3*x + d - 514. Is x a multiple of 3?
True
Let h = -330 - -578. Suppose -41*g - h = -945. Is g a multiple of 17?
True
Let m = 452 - 425. Suppose 37*y - 4180 = m*y. Is y a multiple of 87?
False
Let u = 111 - 84. Suppose -5*v - g + u + 3 = 0, 4*v = -g + 25. Suppose -448 = -v*x - 3*x. Is x a multiple of 15?
False
Let b(u) = 13*u - 2. Let y be b(1). Suppose 0 = y*o - 13*o + 510. Does 12 divide o?
False
Is (3*211)/((36/(-84))/(-3)) a multiple of 50?
False
Suppose -10*t + 11*t = -2*x + 5, 0 = -2*t + 10. Suppose 21*s - 18108 + 3177 = x. Is s a multiple of 79?
True
Suppose -21*r + 23*r = -30. Is r/(-20) - (-2 - (-1700)/(-16)) a multiple of 2?
False
Suppose 10*d - 12*d + y - 1241 = 0, -4*y - 3122 = 5*d. Let s = d - -902. Is s a multiple of 33?
False
Let r(k) = 2*k**2 - 40*k - 240. Let i be r(24). Let c = -101 - -31. Let s = i - c. Is 4 a factor of s?
False
Suppose 0 = -3*f - v + 45 + 119, 3*v - 68 = -f. Suppose 59*c - 828 = f*c. Is c a multiple of 6?
True
Does 21 divide (-66192)/30*420/(-56)?
True
Suppose 0 = 27*z + 18*z - 53*z. Suppose c - 299 = -4*q, z = q - 3*c - 87 + 22. Is 44 a factor of q?
False
Let j(x) be the second derivative of -x**5/4 - 5*x**4/12 - 3*x**3 + 3*x**2 - 2*x + 20. Is 15 a factor of j(-4)?
False
Suppose j - 3 = 2*j, -3*n - 5*j + 21 = 0. Let u be n/20 - 6/10. Is (u + 26)/(8/12) a multiple of 11?
False
Let u(g) = g**3 - g**2 - 7*g + 23. Suppose 0 = -14*v + 10*v + 8. Suppose 2 = v*w - 4*s, 3*s - 33 = -5*w - s. Is 27 a factor of u(w)?
False
Let y(o) be the third derivative of o**6/120 - o**5/12 + 5*o**4/12 - o**3/6 - 5*o**2. Let r be y(9). Let x = -238 + r. Is x a multiple of 35?
True
Suppose -4845*r + 4800*r + 260775 = 0. Is 103 a factor of r?
False
Suppose 23 = 16*b - 89. Suppose -b*r = i - 6*r - 41, -5*i + 189 = -3*r. Is i even?
False
Suppose 2*w + 0*w = -3*j + 4, 5*w - 10 = -2*j. Suppose 590 = -5*a - 5*n - j*n, 0 = -4*n - 8. Let m = -79 - a. Does 11 divide m?
False
Suppose 10*y = -4*y - 238. Let l = 217 + y. Is l a multiple of 5?
True
Suppose 5*n - 3960 = 4*x, -5*n + 3*x + 1755 + 2205 = 0. Is 5 a factor of n?
False
Suppose 6*y + 36159 = 53559. Does 263 divide y?
False
Suppose -16*n - 33152 = -8*n. Is n/32*(-2 - 0) a multiple of 17?
False
Suppose -4*v + 9997 = -f, 3*v - 1171 = -3*f + 6308. Does 57 divide v?
False
Let j = -52 - -31. Let v be ((-48)/(-28))/((-1)/(j/6)). Let h = 24 - v. Is 4 a factor of h?
False
Suppose -19370 = 5*i + 8*i. Let x = -877 - i. Does 64 divide x?
False
Suppose -44940 = -2*v + 30*v. Is 5 a factor of 1/(15/527) + 214/v?
True
Let l = 6 + -3. Suppose -5*t + 2*t = -l. Let f(m) = 35*m**3 - 2*m + 1. Is f(t) a multiple of 22?
False
Suppose h = -0*h. Suppose -4*x + 30 - 10 = h. Suppose -148 - x = -3*i. Is 17 a factor of i?
True
Let w = 1908 - 1218. Suppose 5*a + 5*o - w = 0, 3*o - 507 = -4*a + 8*o. Is a a multiple of 19?
True
Suppose 7*f = 8*f - 5. Suppose 4*w = -t, -w - 23 = -4*w + f*t. Let i(v) = 46*v**2 - 3*v + 2. Is 29 a factor of i(w)?
False
Is 4 a factor of (-8)/(-5) - (-19)/(-190) - 12701/(-2)?
True
Let u be (-159920)/36 - (-14)/63. Is 24 a factor of -5*(-9)/(-225) - u/10?
False
Let s = -323 + 326. Suppose -12 = 3*d, -3*f - s*d - 125 + 518 = 0. Does 9 divide f?
True
Let f be 54/(-12)*6/(-9). Suppose -28 = f*j - 34. Suppose o = -4*a + 15, -3*o = j*o + a - 113. Is o a multiple of 7?
False
Let a(i) be the third derivative of -i**4/8 + 3*i**3 - 75*i**2 - 1. Does 12 divide a(-14)?
True
Suppose 3*j - 43 - 89 = 0. Let o = j + -41. Suppose 8*m = -o*m + 2145. Is m a multiple of 42?
False
Let f(k) = k**2 + 22*k + 42. Let z be f(-20). Let x(b) = 74*b**2 - 2*b + 4. Is x(z) a multiple of 8?
True
Suppose 63*d - 57*d + 1452 = 0. Let n = -136 - d. Is 23 a factor of n?
False
Suppose -3*w - 33 = -l, -6*l + 56 = -5*w - 4*l. Is 23 a factor of 15 + w + 5/((-15)/(-744))?
True
Is (-3692)/39*(271 + -1)/(-5) a multiple of 72?
True
Let z(s) = -93*s - 75. Let d = 510 - 516. Does 23 divide z(d)?
True
Suppose 69*k = 3*d + 64*k - 3957, -5*d = -4*k - 6595. Is d a multiple of 6?
False
Let x(l) = 8*l**2 - 27*l - 6. Let g be x(7). Let f = 300 - g. Does 3 divide f?
False
Does 16 divide (-292 - -1740)/(-2 + (-5)/(-2))?
True
Let v = 2134 + -1173. Suppose 1595 = 12*x - v. Is 24 a factor of x?
False
Let s(g) be the third derivative of g**7/504 - g**6/45 + g**5/12 - 25*g**4/24 - 8*g**2. Let w(n) be the second derivative of s(n). Is w(7) a multiple of 18?
False
Let r = 4716 + -3949. Does 78 divide r?
False
Let l be (-7 + 50)*(-2)/2. Let a = -38 - l. Suppose -108 = -5*h - 2*p, 4*p + 41 = a*h - 43. Is 6 a factor of h?
False
Let f be 85/102 + (-453)/(-18). Suppose 0 = -g + 11*t - 12*t + f, 0 = -2*t. Is g even?
True
Let q = 69501 - 34237. Is q a multiple of 232?
True
Let d(w) = -w**3 - 4*w**2 - 51*w + 1. Does 12 divide d(-12)?
False
Let k = -555 - -639. Suppose -k*q + 6975 = -69*q. Is q a multiple of 15?
True
Let d(i) = i**2 - 6*i + 27. Let u be d(-7). Let f = u - 8. Is 12 a factor of f?
False
Suppose -20 = -5*f + 2*z, 5*f + 1 = z + 21. Suppose 61 = -f*u - 5*i - 4, -46 = 3*u + i. Does 5 divide 267/15 - 3/u?
False
Let j(l) = -43*l**3 - 2*l**2 + 3*l. Let y be j(-2). Let f be -2*(1 + 209/2). Let k = y + f. Does 16 divide k?
False
Does 90 divide ((-17 - -23) + -456)*-82?
True
Suppose 157 = 5*d + 152. Let w be 3 + -2 + 2/d + 13. Does 14 divide (-189)/(-12)*w/3?
True
Suppose 85*n - 49 = 84*n. Suppose -5*o = -791 - n. Is 8 a factor of o?
True
Let q = -12 + -20. Let k = q + 119. Suppose -145 = -8*g + k. Is 10 a factor of g?
False
Let o(c) = 5*c**3 + c**2. Let x = -188 - -191. Is 7 a factor of o(x)?
False
Let v(m) = 12*m**2 - 59*m - 565. Is 10 a factor of v(-11)?
False
Let w = 20 + -77. Let p = 60 + w. Suppose 0 = -v + 2*v - p*f - 60, -5*v + 264 = 3*f. Is 27 a factor of v?
True
Let i(a) = 483*a + 8572. Does 46 divide i(22)?
False
Suppose 3*j - 2*j - 5*f = -410, 3*j = -3*f - 1176. Let s = -333 - j. Does 3 divide s?
False
Let f(h) = -32*h - 352. Let u be f(-11). Suppose -2*w + 3 + 3 = 0. Suppose 27 = 3*n + 2*t - 5, -2*n - 5*t + w = u. Is 2 a factor of n?
True
Let d = -25 - -27. Suppose -3*n + 253 = 4*g, -n - d*g - 30 + 111 = 0. Is n a multiple of 7?
True
Let c(g) = g**3 + 23*g**2 - 27*g - 83. Is 3 a factor of c(-19)?
False
Let y be 20106/(30/(-5)) - (2 + 1). Let q = y - -4824. Is 10 a factor of q?
True
Suppose -41*y + 1395 = -423 + 14. Does 41 divide y?
False
Let x(h) = 14*h**3 + 61*h**2 + 184*h - 179. Let a(r) = -5*r**3 - 20*r**2 - 62*r + 60. Let s(l) = 11*a(l) + 4*x(l). Is s(-20) a multiple of 32?
False
Let p be 3 - 7 - 4*2/(-2). Suppose -4*n = p, 5*j - 2*n = -3*n + 1540. Is 28 a factor of j?
True
Let a(y) = 309*y - 1045. Does 8 divide a(6)?
False
Let l(i) = -31*i - 28. Let h be l(-15). Suppose -433*x + h*x = 528. Is 39 a factor of x?
False
Let s be 87/(146/(-74) - -2). Suppose -13311 = -19*o + s. Is 16 a factor of o?
False
Let s = 27921 + -25238. Is s a multiple of 5?
False
Let o(z) = 374*z - 226. Does 12 divide o(2)?
False
Suppose -6 = -2*q - 5*n, -5*n - 4 = 4*q - 6. Is 0 + q/(-4) + (-24024)/(-112) a multiple of 55?
False
Suppose 7*f - 14*f + 42 = 0. Suppose -553 + 103 = -f*x. Does 3 divide x?
True
Let d be ((-6)/(-8))/((-4)/(-16)). Suppose -d*s = 12*s + 3420. Let z = 392 + s. Does 14 divide z?
False
Suppose 0 = -5*a + 2*t + 22, -4*a + 37 = 2*t + 5. Suppose 2*n + 3*v = a, -2*v + v - 11 = 5*n. Is (18/(-12))/(n/56) a multiple of 14?
True
Let d = 42386 + -30014. Is d a multiple of 12?
True
Suppose -2*w + 320125 = 13*q + 35855, -3*q + 65583 = 3*w. Is q a multiple of 14?
True
Does 8 divide (1076/(-3))/((-116)/357 + 52/182)?
False
Is 12 a factor of (4/(-10))/(5*2/(-5725))?
False
Let n = 3556 - 1708. Is n a multiple of 11?
True
Let i = 1340 - -187. Does 27 divide i