. Suppose 4*a = y*a + 13. Does 6 divide a?
False
Let b(x) = 5*x - 3. Suppose 0*r = 2*r - 4. Does 2 divide b(r)?
False
Let a(s) = s**2 + 2. Suppose z + 0*b - 8 = 4*b, 2*z - 4*b = 12. Let y be a(z). Is 8 a factor of (1*-2)/1 + y?
True
Let c be (4/(-6))/((-1)/6). Suppose -y + 320 = c*y. Is 25 a factor of y?
False
Let b = 13 - 10. Suppose 12 = b*u - 12. Is 8 a factor of u?
True
Suppose 0 = -5*t + 158 - 473. Let k be 6/4 + t/6. Let w = k - -48. Is w a multiple of 13?
True
Suppose 5*l + 17 = 47. Let w be 1/((-1)/3)*1. Does 17 divide (90/(-4))/(w/l)?
False
Suppose -3*p - 79 = -4*i - 395, -4*i + 20 = 0. Is 16 a factor of p?
True
Let s(i) = 4*i - 1. Let r be s(1). Let z(g) = 4*g**3 - 3*g**2 - 4. Does 21 divide z(r)?
False
Suppose -5*l + 5 = 0, -5*j + l = 4*l - 143. Does 14 divide j?
True
Let c = 5 - 2. Suppose g - c*q - 31 = 0, 4*g - 79 = -q + 4*q. Is g a multiple of 11?
False
Let k(u) be the second derivative of u**2 + 1/3*u**4 + u**3 + 0 + 2*u. Is k(-4) a multiple of 11?
False
Let g(q) = -2*q**3 + 3*q**2 + 3*q + 3. Does 5 divide g(-2)?
True
Does 19 divide -1 - (-1 + -3) - (-108 + 0)?
False
Suppose 2*g + 21 = 5*g. Suppose 5*f = g + 33. Is 5 a factor of f?
False
Let z(s) = s**3 - 6*s**2 + 2*s - 9. Let q be z(6). Suppose -3*k + 0*k - q = 4*f, 2*k = 5*f - 25. Suppose f*i = t - 15, -5*i + i - 75 = -5*t. Does 10 divide t?
False
Let k = 128 - 19. Is 14 a factor of k?
False
Let w(o) = 18*o**3 + o**2 - 2*o. Is w(1) a multiple of 3?
False
Suppose 0 = c + m - 1, -4*m + 3 = -5*c - 1. Suppose -5*z + 18 = 3*b, c = z + 2*b - 1 - 4. Suppose z*l - 1 = t, -4*t - 3*l = -3 - 38. Is 4 a factor of t?
True
Let d(n) = -2 + 16*n + 1 + 0 + 2. Is 11 a factor of d(2)?
True
Suppose -3*l - v + 141 = 2*l, -l = -2*v - 26. Suppose 0 = 2*t + 2*t + 3*n - l, -4*t = -4*n - 56. Does 2 divide t?
True
Let c(r) = -r. Let h be c(-5). Suppose 4*v - h*n = 460, 4*n - 6*n = 0. Suppose 2*x + 25 = u, 0 = -2*u - 5*x + v - 38. Does 16 divide u?
False
Suppose r + 24 = 101. Is 21 a factor of r?
False
Let y be -2*(2 - 1) + -27. Let s = y - -45. Does 8 divide s?
True
Is ((-24)/(-2))/((-6)/32)*-2 a multiple of 16?
True
Suppose 4*v - 28 = a + a, 0 = 2*a - 8. Let m(c) = -2*c + 9. Let q be m(v). Is 6 a factor of (-2)/(-9) + (-160)/q?
True
Suppose -1 = 5*l - 16. Is 9 a factor of l/((10/(-6))/(-5))?
True
Suppose 2 + 6 = 4*y. Suppose -j = -5*t + 51, -j + 4 + 15 = y*t. Is t a multiple of 5?
True
Let k(g) = 4*g**3 + 17*g**2 - 3*g - 3. Let p(r) = -2*r**3 - 9*r**2 + r + 1. Let v(a) = -4*k(a) - 7*p(a). Does 23 divide v(-4)?
False
Suppose -5*o + 98 + 6 = d, 4*o - 232 = -2*d. Is d a multiple of 25?
False
Suppose v = 4*v - 27. Is 2 a factor of (16/12)/(4/v)?
False
Does 7 divide 0 + (-19)/(-3)*3?
False
Is (43 + 3)/((-1)/(-1)) a multiple of 46?
True
Suppose 17*r = 13*r + 476. Is r a multiple of 33?
False
Does 10 divide 7506/30 - (-5)/(-25)?
True
Suppose 32 + 376 = 8*g. Does 3 divide g?
True
Let i = 180 + 107. Is 41 a factor of i?
True
Let d(q) = q**2 - 1. Let s(c) = 3*c**2 - 29. Let v(j) = 2*d(j) - s(j). Let t be (0/(-1))/(2 - 0). Is v(t) a multiple of 19?
False
Let h(b) = -b**2 + b - 17. Let t be h(0). Suppose 64 = -2*u - 0*u. Let z = t - u. Is 11 a factor of z?
False
Suppose -4*t + 8*t = 52. Let n = 134 - 72. Suppose 5*g - n = t. Is g a multiple of 15?
True
Suppose -7*y = -2*y - 40. Let g be 9/(-27) - y/(-6). Is g*(34 + (0 - 3)) a multiple of 15?
False
Let m be (-1)/3*1*-12. Suppose 0 = d - 16 + m. Is d a multiple of 5?
False
Let f(k) = -18*k. Let s be f(-3). Suppose 3*c - 21 = s. Suppose 5*x - 65 = -2*p - 3*p, -3*x = -5*p + c. Is 3 a factor of p?
False
Let g be 1*(-1)/(-3)*15. Suppose g*s + 8 = -i, i + 18 = -4*s + 6*i. Let r(f) = -f**3 + 2*f**2 + f - 1. Does 13 divide r(s)?
True
Suppose 5*l = 176 - 51. Is 5 a factor of l?
True
Let j(i) = 6*i + 2. Let c be (-2)/4*0 + 0. Suppose h + 2 - 4 = c. Is j(h) a multiple of 6?
False
Let k(x) = 6*x**2 + 4*x - 4. Let z be k(-4). Let c = -53 + z. Does 7 divide c?
False
Let u = -8 + 9. Let t(r) = 13*r**3 - r**2 - r + 1. Is t(u) a multiple of 12?
True
Suppose 3*i + i - 202 = -2*g, 4*g + 5*i = 392. Is g a multiple of 9?
False
Let a(r) = -2*r + 8. Suppose 16 + 11 = -3*n. Let b be n/1 + (5 - 3). Does 11 divide a(b)?
True
Let w(f) = -f + 3. Let u be w(0). Suppose -3*d - 5*b + 24 = d, -4*d - u*b = -32. Is 5 a factor of d?
False
Let f(m) = 35*m + 2. Is 12 a factor of f(2)?
True
Let r(t) = 17*t**2 + 4*t - 1. Is r(-2) a multiple of 9?
False
Let w(l) = -2*l**3 + 4*l**2 + l - 1. Let r be w(4). Let u = -1 - r. Is u a multiple of 12?
True
Let t = -36 + 72. Is 31 a factor of t?
False
Let q(w) = -3*w**3 + 6*w**2 - w + 4. Let y(r) = 7*r**3 - 12*r**2 + r - 7. Suppose 0 = 5*i - 33 + 8. Let a(s) = i*q(s) + 2*y(s). Is a(4) a multiple of 13?
True
Suppose -2*i + 168 = 2*m, 4*m + 2*i - 228 = 110. Is m a multiple of 17?
True
Suppose 0 = g + 2*g - 27. Let w be 9/(2/(24/g)). Does 8 divide (-18)/w*(-16)/3?
True
Let s(w) = -8*w + 11. Let y be s(4). Let i = y + 41. Is i a multiple of 5?
True
Let f(w) = -w**3 + 11*w**2 + w + 6. Let d be f(11). Let z = d - 10. Is z a multiple of 4?
False
Suppose -y - 3*b + 129 = 3*y, -2*y + 5*b = -71. Is 9 a factor of y + -2 + 0 + 0?
False
Suppose -1 = c + 5*g, 2*g + 3 = c - 3. Suppose 0*q = q + c*p - 54, -4*p = -4*q + 176. Suppose 3*j - 5*i = q, j + 82 = 6*j - 3*i. Is j a multiple of 16?
False
Let k(h) = -2*h**2 + 7*h + 2. Let o = -7 + 13. Let l be k(o). Is 22/8 + (-7)/l a multiple of 2?
False
Suppose 2*x - 367 = v, 2*x - 2*v - v = 365. Suppose 3*d + 308 = -x. Is (2/4)/((-2)/d) a multiple of 12?
False
Suppose -4*h + 5*m = -222, 0*h + 3*m = 3*h - 168. Is h a multiple of 20?
False
Let l be -1 + (-2 + 293 - -1). Suppose -36 = 5*j - l. Suppose 0 = -2*g - g + j. Is 9 a factor of g?
False
Suppose -21*m = -16*m - 490. Does 14 divide m?
True
Let f(k) = 30*k**2 - 3*k - 3. Does 5 divide f(-1)?
True
Let h be ((-76)/(-8))/((-1)/(-6)). Suppose -3*m - 117 = -4*z, 4*z + m - 64 = h. Suppose 10 = 4*y - z. Does 5 divide y?
True
Let h be 24/(-18) - 2/3. Is 19 + h + (-3 - 0) a multiple of 7?
True
Let q(o) = -o**3 + 9*o**2 - 9*o + 4. Let k be q(8). Let x(t) = 15*t**2 + 8*t - 3. Let p(h) = -7*h**2 - 4*h + 1. Let w(u) = k*x(u) - 9*p(u). Does 7 divide w(-3)?
False
Let d(i) = -2*i + 1. Let q be d(7). Let k be (-2 - q)*(-2)/2. Let o = 27 + k. Does 16 divide o?
True
Let f be -8 - (-1 - 0)*1. Suppose h + 7*h - 216 = 0. Let g = h - f. Does 18 divide g?
False
Let h(x) = -x + 10*x - 5 + 0*x + 0. Is 11 a factor of h(4)?
False
Let l be 5 + -3 + 1*-2. Suppose 4*j - j - 24 = l. Is 5 a factor of j?
False
Let n = 74 + -60. Is 3 a factor of n?
False
Let x(t) = -12*t + 1. Let s(n) be the third derivative of n**4/24 + 5*n**3/6 - n**2. Let w be s(-6). Does 7 divide x(w)?
False
Let n(l) = -28*l - 1. Is 9 a factor of n(-1)?
True
Let h be (8/(-10))/((-4)/(-10)). Let o = 0 - h. Suppose -38 = -4*t + 2*p, 5*t - o*t = p + 30. Is 11 a factor of t?
True
Let d be (8/(-10))/((-14)/(-35)). Does 8 divide 100/6 + d/3?
True
Suppose 0 = -4*t + 4*c + 20, 20 = -t + 2*t - 4*c. Let d = t - 10. Let a = d - -20. Is a a multiple of 5?
True
Let w be ((-6)/9)/(2/3). Let h = 9 - w. Is h a multiple of 5?
True
Let p = 5 - 6. Let r be (-132)/(2/p) + -1. Suppose 60 = 2*o + 4*j, -3*j - r - 7 = -3*o. Is 13 a factor of o?
True
Let v be 2*(2 + 10/(-4)). Let d be (5 + -10)*1/v. Suppose -j + 14 = 2*w, d*j - w - 47 = j. Is j a multiple of 12?
True
Let a = 48 + 7. Suppose 0 = -3*c + c + 40. Is (-3)/4 + a/c a multiple of 2?
True
Let t = 20 + 14. Is 13 a factor of t?
False
Let a(h) be the third derivative of -h**5/60 - 7*h**4/24 + 5*h**3/3 - h**2. Let j be a(-8). Does 13 divide -38*2*(-1)/j?
False
Let y = -51 + 66. Does 15 divide y?
True
Let i = -19 + 34. Is 5 a factor of i?
True
Suppose 115 = 2*y - l, -7 + 182 = 3*y - l. Is y a multiple of 15?
True
Suppose 6*s - 4*s + 5*y - 9 = 0, 2*s = 4*y. Suppose 0 = s*o - 5*o - 21. Let u(f) = f**2 + 7*f + 6. Is 6 a factor of u(o)?
True
Suppose -110 + 30 = -8*s. Is 2 a factor of s?
True
Does 7 divide 3/((3/(-2))/(507/(-13)))?
False
Let h = -152 - -249. Does 10 divide h?
False
Let o = 147 - 102. Is o a multiple of 5?
True
Suppose -2*z + 5*z - 195 = 0. Is z a multiple of 19?
False
Suppose 0 = w - 5*r + 4 + 12, -42 = -3*w - 3*r. Suppose 3*p = -6, -3*m + w = -0*m + 3*p. Does 4 divide m?
False
Let k(y) = 9*y - 4. Suppos