2*6/18?
False
Suppose 0 = -413*d + 405*d + 3416. Does 4 divide d?
False
Suppose 84*h - 1522 = 83*h. Suppose -m - 529 = -t - 15, -m + h = 3*t. Is 16 a factor of t?
False
Let c(h) = -227*h + 3. Let j be c(-1). Suppose -11*x = 12*x - j. Does 5 divide x?
True
Let h = 15 + 15. Let i(j) = 16*j - 259. Let x be i(16). Let f = x + h. Is 4 a factor of f?
False
Let u(d) = 49*d**2 + 60*d - 554. Is 7 a factor of u(13)?
False
Let i(b) = -19*b**2 - 6*b + 64. Let y be i(8). Is (-30)/25*y/4 a multiple of 15?
True
Let h be ((-3)/3)/(4/((-9648)/(-4))). Let x = h - -786. Is x even?
False
Suppose 2*x - 77 = -1. Suppose x*u - 36*u = 4. Suppose -u*f + 4*r + 258 = 0, 9*f - 5*r - 501 = 5*f. Is f a multiple of 13?
False
Is 10 a factor of (-6)/(-9)*163722/52?
False
Suppose 0 = 62*l - 136*l + 152292. Is 42 a factor of l?
True
Let a = 57362 - 18913. Does 51 divide a?
False
Suppose 5*w = -3*o + 1865, 5*o - 3170 = 8*w - 4*w. Is 5 a factor of o?
True
Let r(b) = 13*b - 9. Let z be (63/(-48))/7*4*-4. Let f be r(z). Does 23 divide (f/12 + -2)*46/1?
True
Does 29 divide 8/(16/6922) - (-4 + 0)?
False
Does 109 divide (-73581)/(-5) + (-312)/260?
True
Let s = 58678 + -36736. Is 119 a factor of s?
False
Suppose 10 = -5*n + 10*n. Let l be (27/4)/(1/(18 - n)). Suppose 19*y - l = 16*y. Does 12 divide y?
True
Let x = -1425 - -2815. Suppose 2*f = -4*i + x, 3*f - 8 + 359 = i. Is 36 a factor of i?
False
Suppose -88*a = 35*a - 5128731. Does 13 divide a?
False
Suppose h - 13 = 4*m, 0*m = 5*m - 3*h + 18. Let y be (m - 1)/(4/18*-3). Suppose y*d - 1010 = -4*d. Does 10 divide d?
False
Suppose -9*w = 3*w. Suppose -4*r - 31 - 45 = w. Let h = 43 - r. Is h a multiple of 16?
False
Let d = 505 - 153. Suppose -3*u + 2333 = 7*k - 111, k - d = -u. Is k a multiple of 20?
False
Let k = 38678 - 20687. Does 9 divide k?
True
Suppose 2*n + h = 41, -97 = -4*n - 0*n + 3*h. Let g = n - -168. Does 10 divide g?
True
Let a(w) = 1905*w - 19. Let v be a(3). Suppose 0 = -32*u + 7680 + v. Is 75 a factor of u?
False
Suppose 0 = 3*g + 6, 0*g = 5*h - 2*g + 11. Let u = -1 - h. Is 20/70 - u*(-41)/7 a multiple of 6?
True
Suppose 107 + 40 = 7*l. Suppose -l = -43*f + 36*f. Suppose c - 2*s = -f*c + 28, c - 13 = -s. Is 9 a factor of c?
True
Let v(y) = 30*y**3 - 34*y + 92. Is 8 a factor of v(5)?
True
Let n(p) = -19*p**3 + 19*p**2 - 2*p + 122. Let q(v) = 12*v**3 - 13*v**2 + v - 82. Let s(g) = 5*n(g) + 8*q(g). Is s(11) a multiple of 14?
False
Let u be (1 + -22)*(40/7 - 6). Suppose -u*d - 960 = -11*d. Is d a multiple of 20?
False
Suppose -4*w + 5*k + 780 = 0, -2*k = -2*w - 3*w + 992. Suppose 0 = -11*q + q - w. Let y = 52 + q. Is 4 a factor of y?
True
Let q(o) = 112*o - 5. Let f be q(-1). Let m = f + 117. Suppose 0 = -3*u + 5*w + 403, 5*u - 4*w - 650 = -m*w. Is u a multiple of 15?
False
Suppose 101*g = 100*g + 319. Is g a multiple of 42?
False
Suppose 0 = -y - 7*y - 5456. Let w = y - -1005. Is 12 a factor of (3 - w)/(-5) - 2?
False
Let y(g) = -g**3 + 9*g**2 + 61*g + 24. Is y(-14) a multiple of 26?
False
Let j be 61/9 + 4/18. Suppose -r - 2758 = -3*m - 573, -4*r = 5*m - 3636. Suppose 0 = j*z - 0*z - m. Does 34 divide z?
False
Suppose 4*o + 405 = 2145. Suppose j + 3*x = 67, -5*j + x + 4*x = -o. Suppose 4*q - j = -3*b, -4*b + 56 = 3*q - 44. Does 11 divide b?
True
Suppose 9*s - 2*m - 5 = 4*s, 5*s = -5*m + 5. Suppose -17 = p - 2*k - 8, p + 3*k - 6 = 0. Does 4 divide p/s - -4 - -31?
True
Let x = -7 - -1. Suppose -5*u + 103 = y - 5, 56 = 3*u + 5*y. Let c = x + u. Does 16 divide c?
True
Let s = -4934 - -5552. Is 3 a factor of s?
True
Let b(x) = -535*x**3 - 5*x - 5. Let n be b(-3). Suppose n = 14*d + 21*d. Is d a multiple of 59?
True
Let b = -15782 + 28640. Is 71 a factor of b?
False
Let o(f) = -15*f - 199*f**2 + 97*f**2 - 8 + 104*f**2. Is o(-8) a multiple of 40?
True
Suppose 16*w = 869 + 123. Suppose 0*c = 3*c + d - w, 2*c = -3*d + 46. Is 4 a factor of c?
True
Does 3 divide (-2)/(-2)*30033/(-94)*-18?
True
Suppose 4*r + 5*k - 10735 = 0, -2*r - 5385 = -4*r + k. Is 5 a factor of r?
True
Let h = -93 + 116. Suppose 22*r = h*r + 3*x - 223, -3*r - 3*x + 645 = 0. Does 6 divide r?
False
Suppose -73*c + 690713 = 21683 - 121122. Does 12 divide c?
True
Let f = 47 + -43. Suppose -f*h = 5*h + 18. Is 8 a factor of 36/h*(-7)/(63/30)?
False
Suppose -387 = 19*d - 2572. Let u = 457 - d. Does 19 divide u?
True
Let i(x) = -2*x**2 - 17*x - 5. Let d be i(-8). Suppose 203 = 4*l + d*l. Suppose 0 = -q + 4*w + l, -2*q + 0*q - w = -40. Is 7 a factor of q?
True
Suppose 132*k - 43*k - 742438 = 0. Is k a multiple of 97?
True
Suppose -21*y + 18*y + 5*n = -98, 5*y - 146 = 4*n. Suppose y*b + 100 = 27*b. Does 27 divide b?
False
Suppose -5*f + 18 = -2*m, -3*m = f - 5*f + 20. Let h(q) = -5 - 53*q - q**f + 62*q + 7*q**2. Does 38 divide h(3)?
True
Let f = -38 + 52. Let n(b) = 2*b - 25. Let i be n(f). Suppose -518 = -i*r - 173. Is 28 a factor of r?
False
Suppose -60 = 91*d - 81*d. Does 53 divide 94/4*((-18)/d + 9)?
False
Suppose -17*c = -6*c - 770. Suppose d + 3*p = 0, 2*p + 3*p = 3*d - c. Is d a multiple of 15?
True
Suppose -5*x = -3*m - 15, x - 2*m = 2*m - 14. Suppose 9*a - 195 = x*a. Is a a multiple of 51?
False
Is (70/75)/((-4)/(-8380)) + (-14)/(-21) a multiple of 12?
True
Suppose 0 = 18*f - 22*f + y + 5332, 5*f - 2*y - 6668 = 0. Does 9 divide f?
True
Suppose -3*j + 8769 = -3*f - 5976, 4*f = 3*j - 14747. Does 128 divide j?
False
Suppose -4*y - 287 = -3*q, 2*q + 392 = 6*q - 3*y. Suppose -2*l = 5*b - 623, -q + 327 = 2*b - 5*l. Does 41 divide b?
True
Let q(t) = 42*t**2 - 140*t + 2175. Does 19 divide q(26)?
False
Let g(u) = -206*u + 252. Is 12 a factor of g(-18)?
True
Let b(f) = -11 - 4 - 15*f + 15. Let z be b(4). Let s = 6 - z. Does 10 divide s?
False
Let q(s) be the third derivative of -s**5/60 + 5*s**4/12 - 2*s**3 - 56*s**2. Is 11 a factor of q(6)?
False
Let t = 3199 + -1937. Let h = t + -729. Does 6 divide h?
False
Let u(r) = 4639*r**3 + 3*r**2 - 9*r + 8. Does 11 divide u(1)?
False
Let z be 4 + 48 - 32/(-8). Suppose 0 = -2*u + 5*w + 13, -4*u + 11 = -w - 6. Let o = z - u. Is 30 a factor of o?
False
Suppose 5*q - 3*o - 489 = 3*q, -4*q + 5*o = -979. Suppose 5*g = 5*i + 202 + 123, -4*i - 4*g - 276 = 0. Let d = q + i. Is d a multiple of 14?
False
Let v(k) = -7*k - 5. Let g(y) = 155*y + 110. Let a(s) = 2*g(s) + 45*v(s). Is 3 a factor of a(-10)?
True
Let i be 9 + -57*12 + -8. Let k = i - -775. Is k a multiple of 28?
False
Suppose -4*j = 30 - 42. Suppose -2*m = -2*x - 0*x + 780, -1176 = -j*x + 5*m. Is 43 a factor of x?
True
Let j = -7747 + 8901. Is j a multiple of 4?
False
Suppose 5*p = 3*p - 2. Let d be -2*p/(-10) + (-62)/(-10). Suppose d*g = 12*g - 90. Is g a multiple of 3?
True
Suppose 5*o - 2*v - 32 = o, 4*o - 4*v - 40 = 0. Suppose 2*f - 24 = o*f. Is 16 a factor of (((-24)/(-7))/2)/(f/(-63))?
False
Let p(a) = -20*a**3 - 10 - 25*a + 19*a**3 + 14*a**2 + 3*a**2 - 2*a**2. Let w be p(13). Suppose 4*v + 209 = 3*j, -3*v - w = 12. Does 10 divide j?
False
Suppose -5*z = 3*g - 21, 19 - 3 = 4*z + 2*g. Suppose -4 = -27*k + 104. Is k/26 + (z - 969/(-39)) a multiple of 4?
True
Suppose -3*f - 2*n + 6019 = -18498, 5*f - 3*n - 40887 = 0. Is 109 a factor of f?
True
Does 37 divide 407 - -3976 - (-2 + -18)?
True
Suppose 0 = -6999*v + 7028*v - 929624. Is 17 a factor of v?
False
Suppose -9*h = -3*g - 5*h + 19948, 0 = -2*g - 2*h + 13322. Does 32 divide g?
True
Suppose -39*u - 39 = -26*u. Does 38 divide (-516)/16*4/u?
False
Let f(k) = 105*k**2 + 128*k + 14. Is f(-13) a multiple of 15?
True
Let o(b) = -b**3 + 29*b**2 + 4117*b - 5. Is o(80) a multiple of 12?
False
Let y(z) = -z**2 + 6*z - 4. Let u be y(7). Suppose -176 - 304 = -5*r - 5*n, 213 = 2*r - 5*n. Let j = r + u. Does 30 divide j?
False
Let r(v) be the second derivative of -v**8/6720 - v**7/315 - 3*v**5/40 + v**4/2 + 4*v. Let a(s) be the third derivative of r(s). Is 36 a factor of a(-9)?
True
Suppose 0*b = b + 3*j - 21, -3*j + 30 = 2*b. Let i be b + -3 + (2 - 3). Suppose -4*v = n - 49, -6*v = -i*n - v + 245. Is 13 a factor of n?
False
Suppose -4*h = t - 174, 0*t = -5*h + 2*t + 211. Suppose h*w = 38*w + 10. Does 17 divide (3 - w)*(1 - -84)?
True
Let q(d) = -51*d - 6. Let u(o) = -7*o**2 + 3*o. Let i be u(1). Let n be q(i). Suppose n = 2*r + 4*t, -r + t - 189 = -3*r. Is 16 a factor of r?
False
Suppose -7*b = -8*b + 6. Suppose 0 = -b*c - 8*c + 994. Su