703/j + (-3)/42 a multiple of 6?
False
Suppose 0 = z + 6, -11*z + 71760 = 6*n - 9*z. Is 176 a factor of n?
False
Let d be (0 + -3)/(4/76). Let q = d + 60. Suppose 4*f = q*k + 104, 3*k + 32 = 5*f - 101. Is 29 a factor of f?
True
Let x(z) = 11*z**2 - z - 1. Suppose w = -2*a + 12 + 6, 0 = a + 5*w. Suppose -a = -n - 12. Does 14 divide x(n)?
False
Suppose 0*r - 16 = -r + 4*f, 3*r - 30 = 3*f. Suppose -1779 = -r*u + 1101. Is u a multiple of 30?
True
Let j = 15 - 27. Let y = -19766 - -19805. Let k = y - j. Is k a multiple of 3?
True
Suppose -59*y - 215 = -k - 61*y, -y - 603 = -3*k. Suppose 0 = 3*a + 4*n - 25, 0 + 18 = 2*a + 4*n. Suppose k = a*g - 0*g. Is 6 a factor of g?
False
Suppose 0 = 4*u + 4, -13*u = 3*z - 10*u - 39. Suppose 4302 = z*h - 948. Is h a multiple of 49?
False
Suppose -3*w = -3*o + 3862 + 3545, -2*w - 9866 = -4*o. Is 16 a factor of o?
True
Let h be ((-96)/18 - -5)*-9. Suppose -h*r = 12, 3*z - 1092 = -z - r. Does 12 divide z?
False
Suppose -5*b + 2*o - 4*o - 6 = 0, 5*b = -5*o. Let f be 24/b + (-1 - -1). Is (0 - -2)*(-330)/f a multiple of 11?
True
Suppose 53*o - 58*o = -105. Suppose 0 = -2*k - k - o. Is 2/8 + 1185*k/(-84) a multiple of 15?
False
Suppose 10 = 3*a - 5*y - 9, 2*a = -5*y + 21. Suppose -s + 36 = a*s. Suppose -189 = -s*w - 3*p, p = -3*w + 73 + 65. Does 8 divide w?
False
Let w(y) = -3*y + 43. Let r be w(12). Let b(t) = 16 - r*t**2 - t**3 + 11*t + 3*t**2 - 6. Is b(-7) a multiple of 10?
True
Let l(c) be the first derivative of 20*c - 27*c + 15 + 27*c**2 + 18*c. Does 23 divide l(3)?
False
Let v be (38/(-57))/((-2)/9). Let o(k) = 3*k**3 + 3*k**2 + 7*k - 9. Is o(v) a multiple of 10?
True
Suppose -4*m - 70 = -5*t, -5*m = -t + 13 + 1. Let g(q) = q**3 - 13*q**2 - 8*q + 9. Let u be g(t). Is 49 a factor of 7/(7/u) - -5?
True
Let x = -12 - -14. Suppose -27 = -s + 3*a + x, 2*a = 2*s - 38. Does 36 divide -2 + (-1548)/(-21) - (-4)/s?
True
Let c(f) = 2 + 8*f - 6 - 10. Let j(l) = 6*l**3 - 23*l**2 + 21*l + 1. Let b be j(1). Is 13 a factor of c(b)?
True
Let h = 618 + -367. Suppose 2*l - 37 = h. Suppose -2*t = -5*t + l. Is 48 a factor of t?
True
Let g be 1/(-3)*3*-1. Let u be ((1 - 2) + g)/(-1). Let k(z) = z**2 + 2*z + 49. Is 9 a factor of k(u)?
False
Suppose -765*x - 468660 = -838*x. Does 10 divide x?
True
Suppose -4*t + 4 = 20, -o + 46 = 2*t. Suppose -a - o - 206 = -n, 2*n - 3*a = 520. Does 26 divide n?
True
Suppose -3*d - 3*j + 37506 = 0, -29*d + 33*d - 5*j - 49990 = 0. Does 41 divide d?
False
Let f(g) = 0 - 1 - 6 - 12*g - 3*g**2 + 33*g. Let d be f(6). Suppose -y + 8 = -d. Does 19 divide y?
True
Suppose 3*x = u + 14, 8*u = 2*x + 6*u - 8. Suppose -l = -5*p - x*l + 867, 2*l + 507 = 3*p. Is p a multiple of 78?
False
Let n be 30/5 - (0 + 12) - -195. Suppose -182*o - 4515 = -n*o. Does 43 divide o?
True
Let g = 79 - 66. Does 34 divide g/((-39)/(-340))*3?
True
Suppose 58 = 3*s - 41. Let j(m) = 231*m**2 - 288*m + 288. Let n be j(1). Suppose -n = -2*a + s. Does 23 divide a?
False
Let p = -595 - -384. Let z be (-7)/(-14) + (p/2 - 0). Is (-4)/30 + (-5054)/z a multiple of 12?
True
Suppose -235*v + 233*v - 264 = 0. Let i = v - -137. Let h = i - -193. Is 22 a factor of h?
True
Suppose -21*q = 17*q - 2204. Does 25 divide q/(-3)*4/16*-54?
False
Let i = -32 + 27. Let x = 0 - i. Suppose 3*n = -4*y - 0*n + 321, -227 = -3*y - x*n. Is 15 a factor of y?
False
Let r = 4885 - 4130. Does 5 divide r?
True
Suppose 4*t - 6332 = 2*y, 0*t - t + 2*y + 1586 = 0. Does 14 divide t?
True
Suppose 8*i = 7*i - 5*z + 961, 4*z + 2845 = 3*i. Let y = i - 648. Is y a multiple of 9?
False
Let z(s) = -2*s**3 - 4*s**2 - 2*s + 10. Suppose 6 = -4*n - 10. Let o be z(n). Suppose 0 = 3*c - 5*c + 4, x - o = c. Is 12 a factor of x?
True
Suppose -14*p + 2 = 2. Suppose p = -5*s + 2*n - 148, 4*s + 5*n + 67 = -25. Let x = s + 32. Does 4 divide x?
True
Let n(l) = -3*l + 2*l + 8*l + 71 - 147 + 448*l**2 + 75. Is 20 a factor of n(-1)?
True
Let t(r) = 7 - 17*r - 12*r - 19*r - r**2 + 40*r + 2*r**2. Is t(-3) a multiple of 8?
True
Let j be 25/5 + (20 + -5)/(-5). Suppose -3*c = 4*p - 196, 0 = 4*p - j*c + 4*c - 196. Does 7 divide p?
True
Let p(i) = -19*i + 300. Let b be p(10). Suppose -2*o - 2*r = -b - 36, -2*r + 71 = o. Is o a multiple of 3?
True
Suppose -57*s + 1712 = -49*s. Let l = s + -5. Is 19 a factor of l?
True
Suppose 2*u = l + 47, -5*u + 118 = -l - l. Let n = u - 39. Is 6 a factor of (-110)/n - (-3)/(-9)?
False
Suppose -57*y + 1266652 = -1118456. Is 87 a factor of y?
False
Suppose 5*b + 5030 = -5*k + 6*k, -2*k + 4018 = -4*b. Let o = b - -1839. Is 52 a factor of o?
True
Let w = 5690 - 5228. Is w a multiple of 21?
True
Let l = 40011 - 19375. Does 268 divide l?
True
Let u(k) = 33*k + 32*k + 12*k + 8 - 58*k. Suppose -3*h = 2*h - 15. Is 6 a factor of u(h)?
False
Let n = 31777 - 21963. Does 100 divide n?
False
Suppose u + 190 = 3*r, -r = 4*r + 2*u - 302. Let z = -268 + 365. Let h = z - r. Does 7 divide h?
True
Let k(z) = 2836*z**2 + 55*z + 50. Is k(5) a multiple of 55?
True
Does 30 divide (10/3 - 0)/((512/53856)/16)?
True
Let t(m) = -m**2 + 5*m. Let w be t(4). Let g(i) = 132*i + 2. Let h(f) = 24*f. Let z(b) = -g(b) + 6*h(b). Does 21 divide z(w)?
False
Let y = 3071 - 854. Is y a multiple of 6?
False
Let f = 1258 - 711. Let o = -291 + f. Is 8 a factor of o?
True
Suppose 0 = 5*x - 23280 + 6855. Is 73 a factor of x?
True
Suppose 13 = 3*z + 2*j, 5*j - 30 = -5. Let u(y) = 19*y**3 - 5*y + 5. Is u(z) a multiple of 9?
False
Let l(j) = 31072*j**2 - 44*j + 42. Is 65 a factor of l(1)?
True
Let c(i) = 295*i + i**2 + 32 + 289*i - 560*i. Is c(-32) a multiple of 32?
True
Suppose u = -4*n + 1315, 1819 + 3497 = 4*u + 2*n. Let i(q) = 2*q**2 - 2*q + 1. Let p be i(1). Is 27 a factor of -4*p*u/(-22)?
False
Let z(a) be the third derivative of -3*a**4/2 + 2*a**3 + 9*a**2. Suppose -6*k = -2 + 14. Does 8 divide z(k)?
False
Let j be 1980/(-54)*1/(5/6). Let d = j + 81. Is 34 a factor of d + 4/((-4)/3)?
True
Let w(q) = 34215*q - 67. Is 20 a factor of w(1)?
False
Let z(k) = 123*k**3 - k**2 + 5*k + 4. Let c(n) = n**2 - 2*n - 46. Let a be c(8). Is 10 a factor of z(a)?
False
Let c be (-408)/28 - (-8)/14. Let t(w) = -w**3 - 14*w**2 + 2*w + 30. Let l be t(c). Suppose 3*b = 4*j - 330, -5*j - 4*b + 235 = -l*j. Is j a multiple of 27?
True
Suppose -4*y = -2*i + 14, 4*i = 2*y - 5*y - 27. Is 468 - (5 - (-45)/y) a multiple of 11?
False
Let m(i) = -2 + 10 - 4*i + 0*i + 101. Is m(5) a multiple of 6?
False
Let n(p) = -p**2 - 5*p + 65. Let x be n(-10). Suppose -x*y = -18*y + 1371. Does 5 divide y?
False
Suppose 0 = 88*f - 96*f + 48896. Does 19 divide f?
False
Let z = 568 - 532. Suppose -3*i = -0*i - 60. Let u = z - i. Is 16 a factor of u?
True
Suppose -2*p + 3*j = -11277, 5*j = 64*p - 60*p - 22561. Does 18 divide p?
False
Let n(o) be the third derivative of o**6/120 - o**5/60 + 11*o**4/12 - 3*o**2 - 7. Does 14 divide n(5)?
True
Let s(t) be the second derivative of -t**4/12 - 43*t**3/6 + 28*t**2 - 65*t. Is s(-24) a multiple of 16?
True
Suppose 51 = -2*z - 10*g + 9*g, -4*z + 4*g = 84. Does 8 divide ((-48)/9)/(-7 + (-164)/z)?
True
Suppose 5*j - 8 = 3*l - 6*l, j - 20 = 4*l. Let m = 13 - l. Let y = 48 + m. Is 13 a factor of y?
True
Does 15 divide (-18)/(-10) + -2 + -12*539408/(-480)?
True
Let z be 11084/16 + 3 - (-3)/12. Suppose -5*q + 865 = 3*v, -3*q + 735 = 5*v - z. Let y = v - 61. Is y a multiple of 16?
True
Suppose -141*f = -181*f + 1019200. Does 35 divide f?
True
Suppose -155*z - 1338 = -158*z. Does 15 divide z?
False
Suppose -3*q + 1 = 19. Let j = q - -11. Suppose -j*a + 248 = 13. Does 8 divide a?
False
Let a(v) = -3*v**3 - 283*v**2 - 261*v - 42. Is a(-94) a multiple of 146?
False
Let z be (-1)/((-1)/(-8)*2). Let t(g) = -340*g + 4. Is t(z) a multiple of 62?
True
Let a(l) = -2*l**2 - 19*l - 20. Let r be a(-16). Let t = r - -669. Suppose -5*m + t = -m + 3*j, -3*m + 322 = 4*j. Is 34 a factor of m?
False
Suppose u = -2*a + 26835, -56227 + 15957 = -3*a - 4*u. Is a a multiple of 34?
False
Let b = 27426 - 25257. Is 2 a factor of b?
False
Let t = 37 + -486. Let r = t + 462. Is 13 a factor of r?
True
Let o = -14692 + 22134. Does 122 divide o?
True
Let k(g) = -g**2 + g + 7. Let f be k(3). Let j be (-1 - f) + 7 - 1. Let u(a) = a**3 - 2*a**2 - 4*a - 1. Is u(j) even?
False
Let p be 17 + -18 + (4 - -2). Suppose 5*a + 3*s = 2311, -p*s - 479 = 2*a - 3*a. Is a a