 = -567 - -326. Let f = l + 473. Does 15 divide f?
False
Suppose 3*m - m = 84. Suppose -43*l = -m*l + 7. Let g = l + 21. Does 3 divide g?
False
Let y be 3/(-1 - (-26)/20). Is -75*(4 - 46/y) a multiple of 9?
True
Let d = 800 - 742. Suppose 0 = -5*l + 25. Suppose l*y = -d + 193. Is y a multiple of 5?
False
Let l = 85 + -85. Suppose l = -6*v + 9*v - 78. Is 3 a factor of v?
False
Let k = -1174 + 1711. Is 3 a factor of k?
True
Let p(k) be the first derivative of -k**2 - 8*k + 2. Let c be p(-7). Is 3/c + (-58)/(-4) a multiple of 5?
True
Suppose 14 = -10*y + 11*y. Let j(f) = f**3 - 14*f**2 - f + 19. Let a be j(y). Suppose 2*u + 206 = -2*g + a*g, 0 = -2*g + u + 136. Is g a multiple of 18?
False
Let j be 3 + (5/2)/((-2)/(-4)). Suppose 6*w + 438 = j*w. Does 10 divide w?
False
Suppose 0 = -77*g + 86*g - 3483. Is g a multiple of 9?
True
Does 16 divide (-10)/2 - (-472 + 25)?
False
Does 43 divide 15 + 35 - (5/(-1) - -12)?
True
Let t = 35 - 36. Suppose 0*f - 7 = -f. Let o = t + f. Is o even?
True
Let w(i) be the third derivative of 17*i**5/60 + i**4/24 - i**3/3 + 28*i**2. Does 16 divide w(1)?
True
Is (1 - 46/10)/((-16)/80) a multiple of 18?
True
Does 43 divide 686 - (-22 + 27 - 7*1)?
True
Let q(i) = 10*i**2 + 17*i + 201. Does 17 divide q(-14)?
False
Suppose 0 = -3*k - 5*y + 3049 + 5233, k - 4*y - 2755 = 0. Does 23 divide k?
False
Let u be 160/8*126/8. Suppose -2*f + 126 = w, -5*f + u = -0*f + 3*w. Suppose -3*z - 2*j + 77 = 0, 2*z - 2*j - f = -j. Does 6 divide z?
False
Suppose -9 = -5*x + 6. Suppose -1 + 3 = 2*g - 2*z, -4*g - x*z - 17 = 0. Let h = g - -22. Is h a multiple of 9?
False
Let p(a) = -a**3 - 2*a**2 + a + 42. Is p(0) a multiple of 8?
False
Let w = -61 - -65. Suppose i + 3*i = 2*j + 60, w*i - 54 = 5*j. Is i a multiple of 8?
True
Let d = -280 - -766. Does 18 divide d?
True
Suppose -f - 347 - 592 = g, 3*g - 4*f = -2796. Does 32 divide -4*(-15)/4*g/(-60)?
False
Let c(v) = v**2 - 3*v - 4. Let j(g) be the first derivative of -5*g**3/3 - g**2 - g - 1. Let m be j(-1). Is c(m) a multiple of 9?
False
Suppose 3*d - 9 = 0, 5*d = 4*t - 162 - 191. Let n = t - 65. Is 3 a factor of n?
True
Suppose 3*j + 1 = -44. Let d = j + 7. Let k = 16 + d. Is 8 a factor of k?
True
Let n(h) = 3*h**2 + 6*h + 6. Let d(m) = m**2 + 1. Let s(r) = -4*d(r) + n(r). Let g be s(6). Suppose 52 = g*f - 5*z + z, z = -2*f + 57. Is f a multiple of 7?
True
Let x be (0 - -1) + -2 - -406. Let s = -6 - -8. Suppose -3*g + x = s*g. Is 29 a factor of g?
False
Let h = -11 - -30. Suppose h = r + q - 2, 27 = 2*r - q. Does 4 divide r?
True
Let s(l) be the second derivative of -1/2*l**2 + 0 + 35/12*l**4 + 4*l - 1/6*l**3. Does 5 divide s(-1)?
True
Let u(z) be the first derivative of -z**3/3 + 5*z**2/2 - 2. Let a be u(4). Is (-1)/(2 - a)*28 a multiple of 5?
False
Let c(s) = s**2 - 24*s - 28. Let q be c(9). Let d = q - -241. Is d a multiple of 6?
True
Let m be -6*(-185)/10*2. Suppose 5*u + m - 762 = 0. Is u a multiple of 35?
False
Let w(n) = -n**3 - 4*n**2 + 10*n - 7. Let u be w(-6). Let k = 10 + u. Does 4 divide k?
False
Let g be 2 + (-4)/(-4) + 0. Suppose -s - 5 = 0, -f + 0*f + 146 = g*s. Suppose -2*y + 45 = 2*m - 111, -3*y + f = 2*m. Does 12 divide m?
False
Suppose 13 = 3*p + r, p + 0*r - 2 = 2*r. Suppose 18 = p*h + 6. Suppose -4 = -3*w - 4*v, 0*w + 3*w + h*v = 9. Does 4 divide w?
True
Let i(b) = b**3 - 4*b**2 - 5*b - 6. Let g be i(5). Does 15 divide -178*(-2)/8 - g/12?
True
Suppose -36 = -2*u + u. Is u a multiple of 22?
False
Suppose l - 377 = 2*a + 197, 0 = -a + 3. Is 10 a factor of l?
True
Let x be 4*4/16*2. Suppose 2*q + x*q + 748 = 4*w, w + 4*q = 162. Is w a multiple of 14?
True
Let v = 2913 - 2647. Does 19 divide v?
True
Let o(s) = 4*s**2 + 3 + 5*s**2 + 0*s**2 - 4*s - 5*s**2. Let p be o(2). Suppose d - 3 = p. Is d a multiple of 4?
False
Let o = 342 + -270. Is o a multiple of 18?
True
Let k(n) = -n**2 - n + 7. Let m be k(3). Let g(b) = -2*b**3 - 7*b**2 - 3*b + 3. Is g(m) a multiple of 31?
True
Suppose 0 = 4*g + 36 - 140. Let j = 64 - g. Suppose -j = 3*o - 128. Does 10 divide o?
True
Is 1234/7 - (-5 + 185/35) a multiple of 22?
True
Suppose 0*j = j - 3, 2*x - 3*j = 2367. Does 22 divide x?
True
Suppose 0 = -5*m + 2*l + 30, -13*m = -15*m - l + 3. Suppose -4*z - 6 = -26, -m*d = -3*z - 537. Is d a multiple of 20?
False
Let n(t) = t - 1. Let i be n(8). Suppose 44 = i*f - 159. Does 5 divide f?
False
Let m(s) = -s**3 - 8*s**2 + 8*s - 6. Let t = 6 - 15. Let d be m(t). Suppose -14 = -5*r + d*o + 119, -4*r - o = -103. Is 13 a factor of r?
True
Let j be (-662)/(-2) + -3 + 2. Suppose 4*x = 2*p + j, 2*x = 2*p - 6*p + 170. Let f = 144 - x. Is f a multiple of 11?
False
Let m(y) = -1 + 12 + 5 + 2*y - 4*y. Is m(-12) a multiple of 20?
True
Suppose 0*s + 2*v + 92 = 4*s, -4*v - 88 = -4*s. Does 12 divide s?
True
Let q = 626 + -272. Does 19 divide q?
False
Let y(w) = -w**2 + 9*w + 14. Let q be y(10). Suppose q*m - 10 - 78 = 0. Suppose -3*a + m = -26. Is a a multiple of 5?
False
Let y = -84 - -244. Does 3 divide y?
False
Let c(n) be the third derivative of n**6/144 + 3*n**5/40 + n**4/12 - 4*n**2. Let s(g) be the second derivative of c(g). Does 29 divide s(4)?
True
Let c = 875 - 293. Is 56 a factor of c?
False
Let z = -44 + 13. Let q = z - -79. Does 5 divide q?
False
Let c(n) = 3*n**2 + 2*n. Let x be c(-5). Let u(k) = -k**2 + 8*k + 8. Let f be u(12). Let t = x + f. Is t a multiple of 17?
False
Is 4 a factor of (-1)/(6 + (-2165)/360)?
True
Let v(c) = 5*c**3 + 3*c**2 - 13*c + 7. Let t(x) = 2*x**3 + x**2 - 6*x + 3. Let f(k) = 7*t(k) - 3*v(k). Let u be f(-4). Suppose a - 7 = u. Is a a multiple of 24?
False
Suppose 0 = -0*r + 5*r - 60. Let l be -62*2/4 + -2. Let d = r - l. Does 30 divide d?
False
Suppose 2*k - 75 = -2*k - 3*j, 2*k + 2*j - 38 = 0. Does 24 divide (k/(-21))/((-4)/140)?
False
Does 5 divide 27515/40 + (-10)/(-80)?
False
Let s be ((-6)/(-8))/(18/48). Suppose -s*m = 29 - 149. Suppose 0 = -n + 6*n - m. Is n a multiple of 12?
True
Let u = -1047 + 2516. Does 50 divide u?
False
Is (15*30/40)/((-2)/(-392)) a multiple of 15?
True
Suppose -8*a - 2770 = -4*t - 7*a, 0 = a - 2. Is 9 a factor of t?
True
Let p(t) = -t**3 + 3*t**3 + 0 - t - 3*t**3 + 2 - 3*t**2. Let x be p(-2). Suppose 0 = -3*i - x*i - 5*g + 215, 2*g - 8 = 0. Is 13 a factor of i?
True
Let j = 58 + -18. Suppose s + j = 3*m, 0 = -5*m - s + 30 + 42. Is m a multiple of 4?
False
Let h = 271 - 243. Does 28 divide h?
True
Suppose 2*s - 202 = -0*s. Suppose 5*u + 84 = 3*x, 0 = 5*x - 3*u - 23 - s. Is 23 a factor of x?
True
Let c(x) = x**3 + 5*x**2 - 9*x - 1. Let d be c(-6). Let i = 68 - d. Does 17 divide i?
True
Let d(j) = 7*j**2 + 35*j + 10. Is d(17) a multiple of 12?
True
Is 24/(-6)*-42*6 a multiple of 9?
True
Let c(s) = -2*s**2 + 14*s + 4. Let w be (-175)/10*(-8)/10. Let a be 35/(-10)*(-24)/w. Is 12 a factor of c(a)?
False
Suppose 3*g = 2 + 10. Let h be (g/3)/(4/12). Suppose 16 = 2*w - h*k - k, -4*w = -k - 68. Does 4 divide w?
False
Suppose 4*h - 76 = i + 79, 4*h - 4*i - 140 = 0. Suppose 3*q - 5*p = 196, -q - p = -h - 36. Is 12 a factor of q?
True
Let z be (4 - -2)*(-77 - 1). Let l be (z/30)/((-2)/5). Suppose -l = -5*m + 86. Does 18 divide m?
False
Does 12 divide (-5688)/28*(-8 + (-10)/(-3))?
True
Suppose 567 = m + 3*n - 4*n, -2*n = -m + 566. Does 4 divide m?
True
Let j be 213*(2 - 16/6). Let y(l) = -22*l - 21. Let g be y(-10). Let u = j + g. Does 19 divide u?
True
Is 33*-7*132/(-42) a multiple of 44?
False
Suppose -1528 = -2*c - 4*t, -14*c + 13*c - 5*t = -773. Does 13 divide c?
False
Let g = 896 + -676. Is 20 a factor of g?
True
Let s be ((-28)/(-8) - 4)*0. Let y = s - -24. Does 7 divide y?
False
Let w(t) = 20*t**3 - 2*t**2 - 13*t + 17. Is w(3) a multiple of 25?
True
Let a = 276 - 54. Does 13 divide a?
False
Is 31 a factor of 22/((-14)/(-186)*27 - 2)?
True
Suppose -v + 419 - 362 = 0. Does 19 divide v?
True
Let s(x) = -3*x + 543. Let l be s(0). Suppose -12 = 4*w, l = -6*n + 9*n - 4*w. Is 21 a factor of n?
False
Let c(w) = 170*w**3 + 3*w**2 - 2*w. Is 12 a factor of c(1)?
False
Suppose 28*a - 32*a = 16. Is 17 a factor of 4*a*(-68)/32?
True
Suppose 2608 = 3*t + p + 878, 4*t - 2314 = -5*p. Is 16 a factor of t?
True
Let d(y) = 34*y**2 - 7*y + 3. Is 11 a factor of d(3)?
False
Suppose 3*t + 17*d = 16*d + 517, -2*t + 5*d + 356 = 0. Does 7 divide t?
False
Suppose 4*f = 56 - 16. S