= -4 + y. Is l a multiple of 5?
False
Let d = 440 - 299. Is 79 a factor of d?
False
Suppose 3*n + 3 - 25 = y, 3*n + 8 = -2*y. Let o(b) = -2*b + 9. Let f(r) = r - 5. Let u(t) = y*f(t) - 6*o(t). Does 6 divide u(5)?
True
Suppose 0*i + 3*i - 11 = -4*r, 4*r - 6 = 2*i. Suppose 19 = r*a - 9. Is a even?
True
Let l = -405 - -1005. Is l a multiple of 25?
True
Let g(j) = j - 3. Suppose 5 = -23*c + 24*c. Is 2 a factor of g(c)?
True
Suppose 488*s - 486*s = -2. Let x(w) be the second derivative of -5*w**3/2 + w. Does 5 divide x(s)?
True
Let v(a) = -5*a**3 - 2*a**2 + 3*a - 9. Let f be v(4). Let h = f - -493. Is h a multiple of 22?
False
Let o(u) = -16*u**2 + 20*u**2 - 1 + 0. Let p be o(1). Suppose 2*k + h = 113, 2*k + p*h = -k + 168. Is 14 a factor of k?
False
Suppose -259 = -2*k + 369. Suppose 0 = -3*c + k - 110. Is c a multiple of 10?
False
Is (1 - 2) + 275 + (-1 - -7) a multiple of 5?
True
Suppose 5*g - 649 = -9. Let m = g + -104. Is m a multiple of 8?
True
Suppose 4*p - 292 = 3*o, 0 = 5*p - 2*o + 1 - 373. Suppose -5*s = -s + 176. Let t = p + s. Does 9 divide t?
False
Suppose 12*t - 4 = 16*t, 5*t = 5*u - 145. Is u a multiple of 2?
True
Let i(u) = 5*u - 6*u + 4 + 13*u - 41 + u**2. Is 40 a factor of i(-22)?
False
Let c(v) = 5*v**3 - 17*v**2 + 14*v - 29. Let r(w) = 11*w**3 - 35*w**2 + 27*w - 58. Let y(q) = -13*c(q) + 6*r(q). Does 12 divide y(-12)?
False
Let c = -328 - -193. Let s = -68 - c. Does 18 divide s?
False
Let q = 1495 - 847. Does 36 divide q?
True
Suppose 0*t - t - 4*c - 17 = 0, 2*t + 4*c = -14. Suppose 0 = -0*z + 2*z, -t*k - 4*z = -294. Does 11 divide k?
False
Let x be (0 + -1)*(14 - 14) - 0. Suppose 12*b - 6*b - 1710 = x. Does 57 divide b?
True
Suppose 0 = -26*h + 30*h + 96. Does 6 divide (-438)/(-9) - (-16)/h?
True
Let q(y) = -35 - y - 18 - y**2 - 7. Let z be q(0). Let a = 85 + z. Does 10 divide a?
False
Let v(k) = 178*k + 7. Let p be v(2). Does 3 divide (p/(-44))/((-6)/16)?
False
Let y = 5 + -9. Let s be ((-2)/y)/((-1)/4). Let b(u) = -u**3 - 2*u - 2. Does 5 divide b(s)?
True
Let f(r) = r + 15. Let q be f(-13). Suppose 4*w - 4*j = 0, -2*w = -j + q*j - 12. Suppose w*u - 140 = -u. Is u a multiple of 14?
True
Let u = -424 + 636. Is 4 a factor of u?
True
Suppose 0 = 3*t - 10*o + 12*o - 1259, 3*t = -3*o + 1254. Is 47 a factor of t?
True
Let z(o) = o**3 - 3*o**2 + o + 2. Let f be z(3). Let j = 18 - 9. Let q = j - f. Is q a multiple of 2?
True
Let q(d) = 9*d**2 - 4*d + 7. Let h(c) = -9*c**2 + 4*c - 6. Let g(s) = -3*h(s) - 2*q(s). Does 16 divide g(3)?
False
Let c(a) = 57*a + 112. Is c(7) a multiple of 24?
False
Let m be (1/(-4))/(2/8). Let l = m + 1. Suppose 2*z - 42 - 18 = l. Is z a multiple of 5?
True
Let j be (-8)/(-6) + 2/3. Let b(i) = 1 + 6*i**j + 1 - i - 3 - 4. Is b(4) a multiple of 20?
False
Let a(u) = -u**3 + 3*u**2 - 2*u - 7. Let j be a(5). Let v = j - -164. Suppose -37 + v = 6*q. Is 8 a factor of q?
False
Let c(m) = m**2 - m + 2. Let t be c(0). Let u(r) be the third derivative of r**4/3 - r**2. Does 8 divide u(t)?
True
Suppose -x - 5*h + 41 = -100, -5*x = 2*h - 613. Let d be x*1 + -8 + 5. Suppose d = a + a. Is a a multiple of 16?
False
Let z(w) = 6*w**2 + 44*w + 19. Is z(-19) a multiple of 14?
False
Is (-2050)/(-12) + 21/126 a multiple of 24?
False
Let u be (-3)/(3/7*35/(-220)). Let l = 128 - u. Is 11 a factor of l?
False
Let u(k) = -2*k**3 - 4*k**2 - 3*k - 2. Let z be (0 - 1) + 9 + -10. Let i be u(z). Suppose i*l - 11 - 17 = 0. Does 7 divide l?
True
Let h be (-6 + -32 + 4)/(1 - 3). Suppose 42 = 5*k - 58. Let p = k - h. Is p a multiple of 3?
True
Let l(y) = 8*y**2 - y + 1. Let m be l(2). Suppose 0 = -4*v + 21 + m. Let u = 19 - v. Does 2 divide u?
True
Let a(l) = 55*l**2 - 3*l - 28. Is a(4) a multiple of 60?
True
Suppose 0 = -5*f + 2*h + 224, -4*h + 131 = 5*f - 111. Let p = f - -58. Is 5 a factor of p?
False
Let a(p) = 31*p + 16. Let t(k) = 31*k + 16. Let l(h) = -3*a(h) + 2*t(h). Is l(-4) a multiple of 24?
False
Suppose 0 = -2*z - 4*z. Suppose 0 = -g - z + 3. Suppose 5*o = 3*l - 22, -5*o = -2*l - g*l + 50. Is 11 a factor of l?
False
Suppose 4*h - 7189 + 977 = 4*m, -5*m + 4667 = 3*h. Is h a multiple of 21?
True
Let a = 535 + -479. Is 8 a factor of a?
True
Let z(i) = -2*i + 3. Suppose 0 = 5*w - 5*l - 5, 0*w + w + l = -5. Is 7 a factor of z(w)?
True
Let i(t) = t**2 + 5*t - 2. Suppose 3*j = g - 1, 0 = -g - 4*j + 3 - 2. Is i(g) a multiple of 4?
True
Let m(w) be the third derivative of w**6/120 - 9*w**5/20 + 5*w**4/4 + 25*w**3/3 + 25*w**2. Is 31 a factor of m(26)?
False
Is 6 a factor of (-150)/60 - (-1662)/4?
False
Let l(y) = y**3 + 18*y**2 - 71. Does 7 divide l(-15)?
False
Suppose h + 2481 = -5*t + 7*t, -5*h = -15. Is t a multiple of 46?
True
Is 3*42 + 2/(-1) a multiple of 4?
True
Let j(m) = 4*m**2 + m - 75. Is j(11) a multiple of 14?
True
Let f(v) = -v**3 - 3*v + 6. Let o be f(-5). Let s(t) = -t + 8. Let c be s(6). Suppose 3*d + c*p = 6*p + o, 3*d = -2*p + 116. Is d a multiple of 14?
True
Let h(v) be the third derivative of v**6/120 + v**5/6 + 7*v**4/12 + 3*v**3/2 + 6*v**2. Is h(-8) a multiple of 25?
True
Let h = 3 + -13. Let x = 64 + h. Is 27 a factor of x?
True
Suppose -2*u + 635 = -817. Does 10 divide u?
False
Suppose 2808 = 4*p - 648. Is 16 a factor of p?
True
Suppose -31*l + 54385 = 5684. Is 17 a factor of l?
False
Is (18/(-10))/(33/(-17105)) a multiple of 27?
False
Suppose 0*l - 15 = -5*l - 5*y, 0 = 2*l + 5*y - 9. Suppose z + z - 6 = -5*q, 0 = -3*q. Suppose -55 = -z*s - r + 2*r, l*r = 3*s - 50. Is 10 a factor of s?
True
Let k be -6 - (-1)/((-4)/(-16)). Is 18 a factor of (k + (-65)/(-10))*64?
True
Let v(f) = 2*f**2 + 4*f - 4. Let k(j) = j + 1. Let n(t) = -k(t) + v(t). Is n(-7) a multiple of 18?
True
Suppose -2*a + 2 = -2*k, 0*k - 5*a + 33 = 2*k. Let u(y) = -2*y - 6*y + k*y - 8*y + 6. Does 15 divide u(-4)?
False
Let w be 4 + (-3 - (-1 + 0)). Suppose 4*o + 3*i = 72, w*o = -o + i + 67. Let h = 81 - o. Is h a multiple of 12?
True
Suppose -4*h = -b + 9 - 86, -3*h + b + 59 = 0. Suppose -8 = -s + 5*s - 4*j, -2*j + h = 5*s. Is (-15)/(-4) - s/(-8) even?
True
Is 8 a factor of (2/(-5))/(1 + 84/(-80))?
True
Let d(v) = -5*v - 5. Let u = -21 + 19. Let x be -3 - (3 + u - -6). Is d(x) a multiple of 14?
False
Suppose 5*y - 39 = -9. Let l(m) = -5*m + 15*m**2 - 29*m**2 + 7 + 0*m + 16*m**2. Does 9 divide l(y)?
False
Let a(f) = -13*f - 11. Let z be a(-11). Suppose l = -17 + z. Is 23 a factor of l?
True
Suppose 1083 = 4*f + 3*j, -3*f + 0*j + 805 = -5*j. Let i = f + -17. Is i a multiple of 23?
True
Suppose 0 = -21*y + 64*y - 34228. Is y a multiple of 87?
False
Let c(o) = -o**2 + 33*o - 115. Does 16 divide c(11)?
False
Suppose 0 = 7*z - 18*z + 4048. Is 8 a factor of z?
True
Let d(p) = 2*p**3 + p**2 - 3*p + 3. Let u(h) = h**3 - 1. Let o(y) = d(y) - u(y). Is o(4) a multiple of 18?
True
Suppose 0 = 21*t - 19*t - 3*s - 264, -3*s = 3*t - 411. Is t a multiple of 27?
True
Suppose 6*d + 9*d = 9000. Is d a multiple of 15?
True
Let t = 55 + -63. Does 8 divide (t/(-10))/(10/600)?
True
Let z(r) = r + 2. Suppose 0 = 5*v - 2*j + 8 + 2, 0 = 4*v - 2*j + 10. Suppose -3*o + 15 = -v*o. Does 2 divide z(o)?
False
Suppose -2*p + 32 = 2. Suppose p = 3*j + 2*j. Is 7 a factor of 1/(j/(-189)*-3)?
True
Suppose 769 = 3*h - 3*d - 863, 0 = 3*h - 4*d - 1627. Is h a multiple of 18?
False
Let l be (-24)/(-4) - 6/2. Suppose 0 + 6 = l*j. Is 3 + (j - (-1 + 0)) even?
True
Suppose 15 = 7*y - 13. Suppose -6*r + 4*r - 2*g = -248, 508 = y*r + g. Is 16 a factor of r?
True
Let x be 9 + 3*3/(-9). Is (-14)/x - (-3)/(-12) - -290 a multiple of 36?
True
Suppose 2 = t, -3*n + t + 2 = -4*t. Suppose 0*a + n*a = 84. Let f = 18 + a. Is f a multiple of 13?
True
Let r(b) = 10*b - 6. Let z be r(-5). Let p = z - -76. Is 10 a factor of p?
True
Let v be (-20)/(-50) - (-2)/(-5). Is 8 a factor of (-1396)/(-10) + v + 10/25?
False
Let y = 33 + -31. Suppose -2*p + 344 = 4*n, -2*n - y*p + 4*p = -166. Is n a multiple of 19?
False
Suppose 5*o + 3*t = 9 + 1605, -5*o + 2*t = -1599. Suppose -57 = j + 2*d - 3*d, -o = 5*j + 4*d. Let x = j - -115. Does 27 divide x?
True
Let y(p) = p**2 - 14*p - 102. Does 35 divide y(-19)?
True
Let v(a) = 4*a**2 + 23*a - 85. Is v(5) a multiple of 3?
False
Suppose 2*w + 5*n - 31 = 0, 4*w - 15 = -3*n + 12. Let z = w - -37. Is 6 a factor of z?
False
Suppose -3744 + 794 = -2*c + 5*w, 3*c - 3*w - 4407 = 0. 