oes 20 divide c?
False
Let p = 98 + -79. Is p a multiple of 19?
True
Does 3 divide (101 - -3) + (4 - 6)?
True
Does 47 divide 14/12*104 - 2/6?
False
Let y(o) = -2*o + 1. Let g be y(1). Let d = 7 - 4. Is 4*(15/d + g) a multiple of 16?
True
Suppose q = -3*p - 7 - 1, 3*q + 4*p = -49. Let m = q - -59. Is m a multiple of 12?
True
Let g be (0 + 0)*(-7)/(-14). Let y(f) = f**2 + f + 5. Let z be y(g). Let k(h) = -h**3 + 7*h**2 - h + 1. Is k(z) a multiple of 23?
True
Suppose 8*f - 2*f = 960. Is f a multiple of 10?
True
Suppose -570 + 153 = -3*l. Suppose 0 = 5*j - l - 41. Is 20 a factor of j?
False
Let f(s) = 48*s + 12. Is 27 a factor of f(2)?
True
Does 10 divide 7/7 - (-29 - -1)?
False
Let k = -40 + 33. Let b(f) = -6*f - 11 + f + 3. Does 16 divide b(k)?
False
Suppose 2*i = a + 3*i + 76, -3*a = -2*i + 223. Let k = -14 - -8. Does 16 divide ((-20)/k)/((-10)/a)?
False
Let u(w) = -w**2 + 9*w - 8. Let k be u(7). Suppose k = o + o. Suppose -5*y + o*y = -4*s - 40, s = -5*y + 144. Is y a multiple of 14?
True
Suppose -y + w + 19 = 2*y, -3*y + 7 = 2*w. Suppose 5*p - c - 34 = 24, 2*p - 7 = -y*c. Does 11 divide p?
True
Let k = -6 + 8. Let n(m) = 2*m. Let f be n(2). Suppose 0 = k*j - 8, -f*o + 101 - 9 = 5*j. Does 10 divide o?
False
Let u(i) = 26*i + 3. Let z be u(-2). Does 13 divide -4 + 4 + (3 - z)?
True
Let o = -104 - -204. Suppose -5*k = 5*j - 100, -7*k + 3*j + o = -2*k. Does 14 divide k?
False
Let o = 15 + 85. Does 4 divide o?
True
Let a = -56 + 82. Does 11 divide a?
False
Let l be (8/(-4))/(6/(-9)). Suppose -l*n + 2*h = -194, 0 = 3*h - h - 10. Is n a multiple of 12?
False
Let z(l) = -l + 1. Does 2 divide z(-3)?
True
Let t = 169 - -200. Is t a multiple of 50?
False
Suppose 117 = 16*c + 5. Is c even?
False
Let f = 10 - 6. Suppose 0 = -4*p - 5*x - f, 0*x - 5*x = 20. Suppose -2*u - 2*u = -5*v + 45, -p*v + 5*u + 36 = 0. Does 9 divide v?
True
Suppose 0*g - 4*g = 0. Suppose 2*j - 23 - 11 = g. Is 17 a factor of j?
True
Suppose -3*v + 7 + 30 = -5*d, -5*v + d + 47 = 0. Suppose 3*b = t + v + 11, -4*t - 10 = -2*b. Does 7 divide b?
True
Let u(p) be the first derivative of -23*p**2 + 2*p + 7. Is 16 a factor of u(-1)?
True
Let c(z) = -2*z - 3. Suppose -15 - 12 = 3*q. Is 7 a factor of c(q)?
False
Let s = 21 - 18. Suppose 0*f + s*f - 7 = -4*n, 0 = 4*n + 20. Is 9 a factor of f?
True
Let n(w) = -w + 6. Suppose -2*i = -4*p + 22, -2*p - 3*i = -2*i - 1. Let z be n(p). Suppose -z*g + 64 = g. Does 8 divide g?
True
Let l be (-16)/(-6)*(-18)/(-6). Let c(k) = k**3 - 9*k**2 + 12*k - 10. Is 10 a factor of c(l)?
False
Let m = 0 + 1. Let f be (-4)/(-4)*m*123. Suppose g + 2*g - f = 0. Is g a multiple of 13?
False
Suppose 60 = 2*b + 3*b. Suppose -2*p - p - 2*n = 6, b = p - 4*n. Suppose -5*o + 25 = -0*o, p = 2*s - 2*o - 82. Is 18 a factor of s?
False
Suppose -10 = m + 5*b, -2 = -2*m + 4*m + b. Suppose 6*u = 4*n + 3*u - 426, -4*n + 2*u + 424 = m. Suppose -9*v + n = -4*v. Is v a multiple of 9?
False
Suppose -4*h + 5 = 13. Does 11 divide 22/(-6)*(-4 + h)?
True
Let g = -15 + 30. Suppose -g = -5*b + 75. Is b a multiple of 11?
False
Suppose -2*m = -5*p + 19, m + 3*m - 32 = -4*p. Suppose -5*s + 77 = m*i, -3*i - i - 2*s + 84 = 0. Is i a multiple of 19?
True
Let k = -157 - -234. Does 5 divide k?
False
Let h = 76 - 45. Is h a multiple of 12?
False
Let o(g) = 6*g**3 - 2*g**2 - 2*g + 3. Let d be o(2). Let r = 56 - d. Is r a multiple of 8?
False
Let r(n) = 2*n**2 - 11*n + 12. Let o be r(8). Let w = o + -29. Is w a multiple of 15?
False
Let b(l) = l**3 + 9*l**2 + 8*l + 5. Let c be b(-8). Suppose 0 = o - c*o + 8. Suppose 0 = o*m - m - 2*r - 6, -r = -5. Does 13 divide m?
False
Suppose 142 = u + 30. Let s = u - 55. Suppose -3*q + 2*k + 11 = -s, -3*q - 5*k + 40 = 0. Does 20 divide q?
True
Let s = 0 + 4. Suppose -3*h + 4 = -0*h + l, -h - s*l - 17 = 0. Suppose -3*v = 4*o - 39, v = o + h*v - 16. Is 6 a factor of o?
True
Let t = 14 - 7. Suppose 0 = -h - u + t, 4*h + 2*u - 16 = 2. Is h a multiple of 2?
True
Let b(r) = -r**2 - 3*r + 4. Let y be b(-3). Suppose 96 = y*f - 20. Does 12 divide f?
False
Let g(f) = f + 10. Let s(n) = n**3 - n**2 - 2*n - 2. Let a be s(-2). Let m be g(a). Suppose 4*j - v = -m*v + 40, -v + 59 = 5*j. Is 11 a factor of j?
True
Suppose -4*f + 2*f - 4 = 2*u, 5*f = 2*u - 31. Is u a multiple of 2?
False
Suppose 2*s - 44 = 4*h, -s - 4*h - h = -36. Is 9 a factor of s?
False
Suppose -b = 0, -1975 = 8*n - 3*n + 3*b. Is n/(-15) - (-4)/6 a multiple of 6?
False
Let s = 0 - 0. Let r be (0 + s - 0)/(-2). Suppose k + 0*k - 15 = r. Is k a multiple of 15?
True
Let a(j) = -j**3 + 3*j**2 + 4*j. Let h be a(4). Let x be 27/2 - (-6)/12. Suppose h = 5*c + 4 - x. Is c even?
True
Let r(m) = 2*m**2 + m + 2. Let k(j) = -j - 7. Let w be k(-5). Does 8 divide r(w)?
True
Let g = -55 + 65. Is 10 a factor of g?
True
Suppose 20 = 2*q - 4*p, 4*p + 6 + 14 = -q. Let w be 1/(-1*1/5). Let f = q - w. Is 2 a factor of f?
False
Let s = 3 + 3. Let c = 6 - s. Is 8 a factor of (-2 - c) + (-16)/(-1)?
False
Let p = -16 - -42. Does 20 divide p?
False
Let x be ((-4)/5)/((-4)/(-30)). Let v(t) = -t**3 - 4*t**2 + 8*t - 5. Let k be v(x). Suppose -3*i + k = a, -3*i = -3*a - 56 + 17. Is 8 a factor of i?
True
Let n be 16/6*(-6)/(-4). Let h(t) = t**3 - 3*t**2 - 4*t - 1. Let b be h(n). Does 6 divide ((-2)/3)/(b/21)?
False
Let z(t) = t**3 - 3*t**2 + t - 4. Let s(f) = -8*f. Let o be s(2). Let l be (4/8)/((-2)/o). Is 8 a factor of z(l)?
True
Let d(f) = f**3 - 7*f**2 + 6*f + 8. Suppose 30 = -2*a - 3*a. Let p = 12 + a. Is 8 a factor of d(p)?
True
Let d(i) = 6*i + 4. Let c be d(-5). Let k = -6 - c. Suppose -5*r + k = 0, 3*t - r + 74 = 5*t. Is t a multiple of 19?
False
Let f(v) = v**3 - 8*v**2 + 4*v - 9. Let c be f(8). Let x = c + 13. Is 7 a factor of x?
False
Suppose 3*b = 4*b - 9. Suppose -4*d + 3 + b = 0. Suppose -d*c + z = -5*c + 30, 5*c = -z + 75. Does 5 divide c?
True
Let p be 603/15 - 3/15. Let g = p - -9. Is g a multiple of 15?
False
Let x = -17 - -19. Is 6/(3/(15/x)) a multiple of 3?
True
Suppose 3*h = -l - 7 - 0, 5*h - 5*l + 5 = 0. Let d = 3 + h. Let c(q) = 19*q**2 + q. Is 13 a factor of c(d)?
False
Suppose 4*x = 2*n + 13 + 11, -3*x = -12. Let j be n/(-10) - (-756)/35. Is 10 a factor of (-4)/j + 299/11?
False
Let t(j) = -j**2 - 14*j + 15. Is 27 a factor of t(-11)?
False
Suppose -2*r + 5*r - 180 = -3*h, 4*h + 180 = 3*r. Does 34 divide r?
False
Let m(u) = 4*u - 3. Let q be m(3). Let v be -1*(34 - q/(-3)). Let o = -20 - v. Is 17 a factor of o?
True
Let h = 4 + -2. Suppose 0 = -h*i - 3*i. Suppose o - 13 = -i*o. Is o a multiple of 13?
True
Suppose 3*o = -o - 3*x + 388, 0 = -5*o - 2*x + 492. Is o a multiple of 10?
True
Let v(d) = -8*d - 1. Let i(s) = -s**3 - 5*s**2 - 3*s + 2. Let p be i(-4). Is v(p) a multiple of 15?
True
Let y be -2 + 4 + (-19 - 0). Let a = y - -37. Suppose k = 2*k - a. Is k a multiple of 10?
True
Let t(j) = -27*j**3 + 25*j**3 - 6*j**2 + 0*j**2 + 4 + j. Does 22 divide t(-4)?
False
Suppose -3*t + 2*v = 6*v - 18, 3*t - v = 3. Let j = t + 39. Does 9 divide j?
False
Let c = 36 + -60. Suppose 4*v - 32 - 200 = 0. Let o = c + v. Does 17 divide o?
True
Let j be 3 - 1/(3 - 2). Let m be (-15)/3*(-3)/5. Suppose 23 + j = 5*t - m*b, t + 5*b = 5. Is t a multiple of 5?
True
Let h = 1 - 4. Is 16 a factor of (-110)/(-2) - (h - -1)?
False
Let k be 3 + -2 + (4 - 2). Suppose -52 = -r - 2*p + 48, 321 = k*r - p. Suppose -24 = 2*j - r. Is j a multiple of 20?
False
Let m = 7 + -4. Suppose 4*x - 5 = m*x. Suppose -j + 25 = 4*t, -t + 3*t + 15 = x*j. Is 4 a factor of t?
False
Let l(g) = -g**3 + 6*g**2 + 3. Let s be l(6). Let d = 2 - 0. Suppose -20 = 4*v, -3*v + s = d*h + 14. Is 2 a factor of h?
True
Suppose 28 = 3*q - 17. Does 10 divide q?
False
Let a(d) = -14*d - 11. Is a(-7) a multiple of 4?
False
Suppose 0*d = -3*d - 3. Is 3 a factor of (-77)/(-22) + d/(-2)?
False
Suppose 0 = -7*x + 3*x + 8. Suppose -7*o + 240 = -x*o. Is o a multiple of 24?
True
Let r = -210 + 504. Does 49 divide r?
True
Let l = 5 + -3. Suppose 0 = l*d - 5 - 51. Is d a multiple of 17?
False
Let u(g) = 2*g**2 - 12*g + 27. Is u(13) a multiple of 53?
False
Is (-42 + 9)/((-3)/2) a multiple of 22?
True
Suppose 4*s = 12, -s = -5*z + 2*s + 11. Suppose -z*p - 13 = -2*g + 7, 0 = 2*g + p. Suppose 28 = 4*w + 4*d, g*w + 56 = 7*w - 2*d. Is w a multiple of 4?
False
Let y(k) be the third derivative of k**5/