s a multiple of 20?
False
Suppose 0*a + 4*a - 4*z = 68, 101 = 5*a - z. Suppose -114 = -2*u + 5*l - l, 4*u - 4*l - 216 = 0. Suppose -a = -4*y + u. Is 18 a factor of y?
True
Suppose -l - 4*l = -420. Is l a multiple of 15?
False
Suppose 0 = 2*b + 49 + 123. Let o = -50 - b. Does 12 divide o?
True
Let i(n) = 17*n**2 + 4*n - 3. Let u be i(3). Suppose -m + 163 = 5*g, 4*g + 2*m - u = -28. Does 13 divide g?
False
Let s = -5 - -5. Is (s - 1)/(3/(-45)) a multiple of 15?
True
Suppose -2*g - s = -37, -g - 2*s = -5*s - 29. Is g a multiple of 3?
False
Let v(c) = c**2. Let p(u) = -5*u**2 - 8*u - 5. Let f(i) = p(i) + 4*v(i). Let q be f(-7). Suppose -16 = -q*l + 10. Does 10 divide l?
False
Let l(z) be the second derivative of -8*z**3/3 - 121*z**2/2 - z. Let k(t) = -3*t - 24. Let f(y) = -11*k(y) + 2*l(y). Is 11 a factor of f(0)?
True
Suppose 3*v - 36 = 4*c - 7*c, 3*c + 20 = 4*v. Is v even?
True
Let a(r) = -2*r**3 - 3*r**2 + r + 2. Let q be a(-4). Is 13 a factor of q/3 - 0/1?
True
Let p(c) = 4*c**2 - 5*c - 7. Let t be p(5). Suppose 0 = k - d - t, k - 4*d = -k + 144. Does 22 divide k?
False
Let q(d) = -250*d + 2. Is 15 a factor of q(-1)?
False
Suppose 72 - 3 = -3*w. Let m = 32 - w. Is m a multiple of 13?
False
Suppose 0 = -3*j + 15 - 6. Suppose 0 = j*x - 0*x - 39. Is x a multiple of 13?
True
Let o(v) = 3*v**2 - v. Let s be o(-1). Suppose 56 + 40 = s*p. Suppose -3*x + p = -30. Is x a multiple of 6?
True
Suppose s + j - 12 = 0, 2*s - 3*j + 29 = 4*s. Suppose 8 = -3*d - s, 190 = 5*b - 4*d. Does 13 divide b?
False
Suppose 0 = -4*w + 2*b - 42, -3*w + 48 = -6*w - 4*b. Let o = w - -19. Is o a multiple of 7?
True
Suppose 0 = n - 3*n + 30. Does 6 divide (n/10)/((-2)/(-16))?
True
Let l = 55 - 37. Suppose -18 - l = -3*d. Does 4 divide d?
True
Suppose 3*m + 0*l = 2*l + 33, 0 = -5*m - 2*l + 55. Let r = m - -4. Is 15 a factor of r?
True
Suppose -9 = 2*w - 5*w. Suppose 3*o = -m - 4*m + 37, 3*o - m = 7. Suppose -2*n = 0, -w*y + o*n + 84 = -n. Is 14 a factor of y?
True
Let r(t) = -t**3 + 6*t**2 - 4*t + 3. Let g be r(5). Let k = g + 9. Is 13 a factor of k?
False
Let s = 276 + -141. Is s a multiple of 27?
True
Suppose -2*n = 24 - 108. Does 3 divide n?
True
Suppose 3*t - o + 10 = 0, 5*t + 4*o + 29 = 1. Let q(a) = -6*a**2 - 2*a - 1. Let k(u) = 5*u**2 + 2*u + 2. Let h(f) = 5*k(f) + 4*q(f). Does 14 divide h(t)?
True
Let k(o) = o**3 + 6*o**2 + 5*o + 5. Let p be k(-5). Suppose q = p*q - 96. Does 12 divide q?
True
Let o be (-33)/12 - (-1)/(-4). Let s(y) = -9*y - 3. Does 24 divide s(o)?
True
Suppose -4*o + 291 = -3*k, -4*o = -k - 60 - 237. Does 19 divide 7/((-63)/(-6))*o?
False
Let t = 4 + 1. Suppose 0*x - t*x = -25. Suppose 5*u = -s - 9 + 36, -x*u = 2*s - 29. Does 2 divide u?
False
Suppose 2*m = -3*m - 25, 4*m = -h - 16. Suppose h*x - 45 + 9 = 0. Does 2 divide 4/(-6)*x*-1?
True
Let k(q) be the third derivative of q**5/60 - q**3/3 + q**2. Let v be k(2). Suppose -3*t = 2*x + 2*x - 65, v*x = 4*t + 16. Does 7 divide x?
True
Is (-1254)/(-15) - -1*6/(-10) a multiple of 30?
False
Suppose w - 190 = -4*w. Suppose 27 + w = 5*a. Is a a multiple of 13?
True
Let t(m) = 16*m + 3. Let d be t(3). Suppose d = 3*q - 4*r, -2*q - 10 = 2*r - 30. Does 9 divide q?
False
Suppose -4*u = -174 - 222. Suppose u = 3*c + 3. Is c a multiple of 16?
True
Let s(c) = -c**2 + 9*c. Let j be s(9). Is 22 a factor of -1 - 23*(-1 + j)?
True
Let v = 158 + -45. Is 10 a factor of v?
False
Let d be 324/15 - (-2)/5. Let h = d - 8. Let i = 6 + h. Is i a multiple of 10?
True
Suppose 20 = -0*i + 5*i, -4*p - 5*i = -44. Is p even?
True
Let d = -18 + 88. Is 17 a factor of d?
False
Suppose -10 = 3*f - f, -2*u = 3*f - 361. Does 9 divide u?
False
Suppose i = -y - 4*i + 165, 0 = 2*y + 5*i - 330. Is y a multiple of 37?
False
Let c = 1 + 122. Is 20 a factor of c?
False
Suppose -3*c + 4*s = -233, -6 + 16 = -5*s. Is 15 a factor of c?
True
Let s be -3*1/(-3)*-7. Let g = 10 + s. Suppose -m = -g*k + k - 14, 5*m + 3*k - 44 = 0. Does 5 divide m?
True
Suppose -6*a + 7*a - 17 = 0. Is a a multiple of 5?
False
Let g(l) = l - 9. Let n be g(16). Suppose 0 = -j - 3*q + n, q = -4*j - 2*q + 46. Is j a multiple of 13?
True
Let j(z) = -z**2 + 6*z + 8. Let w be j(7). Let k(v) = -34*v**3 + v - 1. Let s be k(w). Let m = s + 53. Does 11 divide m?
False
Does 9 divide (-73)/(-4) - 1/4?
True
Let s be (-10)/5 + 1 + 65. Suppose s = 3*r + 13. Is r a multiple of 17?
True
Let p be (0 - -3) + 0/(-2). Suppose 0*a = -p*a + 9. Is a even?
False
Does 3 divide 3 + (-1)/(-2)*4?
False
Is 16/(-1 + 3) + 3 a multiple of 11?
True
Let b = -8 + 11. Suppose r - 88 = -b*d + 7, -d + 27 = 5*r. Does 16 divide d?
True
Let j = 1 + -1. Suppose j = i - 3*t - 0 + 3, 41 = 5*i - t. Is 9 a factor of i?
True
Does 6 divide (-9 - -1)/(6/(-15))?
False
Suppose -142 = -5*i + 3*i. Let y = -37 + i. Is 17 a factor of y?
True
Suppose -4*y - 4 = -0. Is 2 - y*(-177)/(-3) a multiple of 15?
False
Suppose 2*f = -2*g, 0 = 3*g + 12 - 3. Does 3 divide f?
True
Let q = 26 + -1. Suppose 0 = 5*v + q, 3*v = 5*w + 16 - 46. Suppose -49 = -w*z - 4*l - 3, 4*z - 20 = 5*l. Is z a multiple of 3?
False
Is 7 a factor of (-70)/7 - -133 - 3/(-1)?
True
Let p = 124 - 108. Does 4 divide p?
True
Let j(k) = k + 12. Suppose -r - 30 = r. Let o = -6 - r. Does 6 divide j(o)?
False
Let t = 4 - -11. Is t a multiple of 15?
True
Let a(m) = -2*m - 1. Let n(q) = -3*q - 1. Let r(l) = 5*a(l) - 3*n(l). Let g be r(-3). Is 9 a factor of (15 + 2)*1 + g?
True
Let o(u) = 2*u**2 - 9*u - 29. Is 21 a factor of o(9)?
False
Let t(q) = 4*q**2 + 6*q - 4. Does 36 divide t(-4)?
True
Suppose 0 = -10*s + 1337 + 1633. Does 25 divide s?
False
Let m(x) = -3*x + 21. Let f(o) = 2*o - 10. Let d(y) = 5*f(y) + 3*m(y). Let q be d(-9). Let z(j) = j**2 - 2. Does 6 divide z(q)?
False
Let a(i) = -i**3 + 7*i**2 + 2*i - 1. Does 13 divide a(6)?
False
Let c be ((-30)/40)/((-2)/24). Let p(g) = 2 - 10*g**2 - 3*g**3 + 7*g + 3*g + 4*g**3. Does 11 divide p(c)?
True
Is 7 a factor of 70/8 - 1/(-4)?
False
Let v(h) = h - 5. Let i be v(5). Suppose 2*g - g = i. Suppose g = u - 5 - 0, o - 5*u = -11. Is o a multiple of 7?
True
Suppose 0 = -p - 2*u + 30, 0 = 2*p - 0*p - 4*u - 36. Is p a multiple of 24?
True
Let g(z) = -2 + 7 - z - 4. Is 3 a factor of g(-10)?
False
Let w(t) = t + 3. Let h be w(0). Suppose u + x - 4 - 26 = 0, -3*x = -6. Suppose -u = -h*l - l. Does 6 divide l?
False
Suppose 62*o - 36 = 59*o. Is 3 a factor of o?
True
Let d(q) = 2*q**2 - 3*q - 2. Is d(5) a multiple of 12?
False
Let z be (6/(-2))/((-4)/(-1012)). Let w = 353 + z. Is (-1)/3 - w/21 a multiple of 9?
False
Let c = -40 + 76. Let l = 21 - c. Does 8 divide 5/2*(-162)/l?
False
Suppose -1 = -3*x - 7. Let n be (0 - x) + (-6)/1. Let p = n - -16. Is p a multiple of 7?
False
Let j(c) be the second derivative of c**5/20 + c**2/2 + 2*c. Let w(x) = -4*x**3 + 9*x**2 + 6*x - 6. Let a(t) = -5*j(t) - w(t). Is a(-9) a multiple of 21?
False
Let a(o) = -15*o - 45. Is a(-9) a multiple of 18?
True
Let w(b) = b**2 + 126. Let r be w(0). Suppose -4*a = -n - 149, 6*a - 3*a - r = -4*n. Is 13 a factor of a?
False
Suppose 2 = 4*g + 6. Let z(k) = k**2 + 1. Let n be z(g). Suppose 5*h = a - 8, -a - n*h = -5*a + 50. Is a a multiple of 11?
False
Does 13 divide -13*(1 - (-6)/(-3))?
True
Suppose 0 = -c - c. Suppose c*n + 25 = 5*n. Suppose 2*j = -v + 43 + 21, 0 = n*j + 3*v - 158. Does 16 divide j?
False
Let v(q) = q**2 + 2*q + 4. Let c(n) = -n - 7. Let d be c(0). Let w be v(d). Let u = 67 - w. Is u a multiple of 12?
False
Does 3 divide 6 + -4 + (-1 - -7)?
False
Let y be 3 + 2 + 71 + -2. Suppose -2*x + 3*p + y = -2*p, -2*x - 4*p = -38. Is x a multiple of 23?
False
Let l(a) = a**2 - a + 4. Let c be l(3). Let t = 17 + c. Is t a multiple of 5?
False
Suppose 0 = -3*k + 8 + 13. Let h = k - 5. Suppose -2*p + 27 = -u, 3*u + 65 = 5*p - h*u. Does 7 divide p?
True
Is 3 a factor of (15/(-6) - 0)*-2?
False
Suppose 2*b - 4 = b. Suppose -45 = h - b*h - s, 2*h - 38 = 2*s. Is 9 a factor of h?
False
Let z = 3 + 8. Is z a multiple of 7?
False
Let s = 9 + -19. Let x = 1 - s. Is 3 a factor of x?
False
Let r(h) be the first derivative of -h**4/4 + 7*h**3/3 + h**2 - 9*h - 1. Does 13 divide r(6)?
True
Let j(v) = -14*v + 3. Let k be -3 + 6 + -4 + 6. Suppose 3*c + k + 4 = 0. Does 15 divide j(c)?
True
Let g = 20 - 9. Suppose 63 = 4*s + 3*j - 2*j, -2*j + 6 = 0. Let n = s + g. Is 13 a fa