 of c?
True
Let k be ((-4)/10)/((-2)/10). Suppose k*p = -p - 117. Let t = p - -65. Does 13 divide t?
True
Let w(n) = n**3 - 2*n**2 + 4*n - 3. Let b be w(2). Suppose k + 143 = b*f, 0*f + f + 3*k - 19 = 0. Is f a multiple of 15?
False
Suppose -5*d + 2 = 4*w, -5*w + 5*d = -3 - 22. Is 10 a factor of 20 + w - 3/1?
True
Suppose -1 = -d + 1. Let r = -1 - d. Is 6 a factor of (-19)/r + (-8)/(-12)?
False
Let x = 96 + -46. Is 6 a factor of x?
False
Let q(m) = -m + 0*m + 4*m + m**2 + 2*m. Does 10 divide q(4)?
False
Let a(z) = z**3 + 5*z**2 - 2*z + 3. Suppose -2*i - 7 = -2*r + 17, -3*r + 2*i + 37 = 0. Suppose -5 = -2*q - r. Is 9 a factor of a(q)?
True
Let o = 6 + -52. Let s = o - -78. Does 9 divide s?
False
Let v = 37 + 14. Does 12 divide v?
False
Does 37 divide 61902/209 - 4/22?
True
Let n(i) = -12*i - 3. Suppose -2*o = 8 - 2. Let a be n(o). Suppose 2*k - 3*y = a, -k + 3*y = -2*k + 21. Is k a multiple of 18?
True
Let d = 74 - 41. Does 10 divide d?
False
Let i(x) = 2*x**2 - 2*x - 4. Is i(-4) a multiple of 9?
True
Let g be (-4)/2 + 8 + -2. Let t(x) = -x**3 + 4*x**2 + 5*x - 2. Is 17 a factor of t(g)?
False
Let d = 0 + 7. Let y(r) = -r**3 + 8*r**2 - 5*r - 1. Is y(d) a multiple of 5?
False
Suppose 5*h - 112 = 3*d, -21 - 75 = -4*h + 4*d. Does 5 divide h?
True
Suppose -2 = 3*b - 161. Is b a multiple of 16?
False
Let n be 4/(-10) + 24/10. Let h be (-1 - 1)/(n/4). Does 11 divide 1/h - 90/(-8)?
True
Let c(l) = -4*l + 8. Let y be 72/(-20) + 2/(-5). Let n = -10 - y. Does 16 divide c(n)?
True
Suppose 5*q - v = -5*v + 90, -4*q - v = -72. Does 4 divide q?
False
Let l(t) = -t**3 + 7*t**2 + 9*t - 2. Let n be l(8). Let f(i) = i**3 + 6*i**2 - i + 5. Let c be f(-4). Let o = c - n. Is 15 a factor of o?
False
Let h be (-2)/(-4) + (-2)/4. Suppose -q = p - 1, -4*p + h + 11 = -3*q. Suppose -t - 4*m - 7 = 0, 3*m + 2 - 3 = -p*t. Is 5 a factor of t?
True
Suppose -3*g = -5*z + 13, z - g = 2*z - 1. Suppose -2 = -z*f - n - 0*n, -n = f. Suppose -l + 45 = -7*r + f*r, 3 = -r. Does 15 divide l?
True
Does 2 divide ((-12)/(-4) - 1)/1?
True
Suppose 0 = 6*u - 852 + 102. Does 12 divide u?
False
Let b be (-4)/(-10) + (-318)/(-5). Suppose 5*x + 4 = b. Does 12 divide x?
True
Let j be 1/5 - (-27)/15. Let f(l) = -2*l**j + l**2 + 3*l + 3*l - 1. Is f(3) a multiple of 3?
False
Suppose -3*j + 0*j + 176 = 2*m, 4 = -2*j. Let k = m + -40. Does 17 divide k?
True
Suppose 0*v - 116 = -4*v. Is 10 a factor of v?
False
Let x(n) = 4*n - 3. Suppose -s = 2*s - 9. Let o = 6 - s. Is x(o) a multiple of 5?
False
Does 3 divide 106/10 - -1 - 18/(-45)?
True
Let g(v) = 8*v**3 + v**2 - 1. Let i be g(1). Suppose 0 = -2*p - 3*w + i, 4*p + 0*p = -w + 36. Does 3 divide p?
False
Suppose 0 = -3*o + 3*h + 57, 3*o - 18 = 5*h + 49. Suppose -o*r = -12*r - 46. Does 23 divide r?
True
Let r be (2 + -1)*-2 - -23. Let y = r - 16. Is 2 a factor of y?
False
Let h be (-2)/8 + 93/4. Suppose 20 = 2*w - z, -3*w = -3*z + 5*z - h. Is w a multiple of 9?
True
Is 59 a factor of 6/(-4)*(-4564)/21?
False
Let n = 89 - -217. Is 28 a factor of n?
False
Suppose -7*a - 33 = -4*a. Let p = 30 + a. Is p a multiple of 5?
False
Let t be (-11)/(-2) + (-1)/(-2). Suppose -r = h - 2, 4*h - 11 - t = -r. Suppose 0*m - 5*m - 2*w = -17, h*w = 3*m - 35. Is m a multiple of 5?
True
Let p = 29 - 14. Suppose 1 = -2*g + p. Suppose 4*b - 48 + g = 5*u, 3*u + 23 = 2*b. Is b a multiple of 2?
True
Let p be 2/4 - 98/4. Let x = -61 - -64. Let j = x - p. Is 8 a factor of j?
False
Suppose -1 - 1 = 2*p. Let r be (-2)/(p*2/4). Suppose 0 = -r*q - 5*y + 149, -y - 158 = -4*q - 3*y. Does 18 divide q?
False
Suppose -78 - 102 = -3*o. Is o a multiple of 30?
True
Suppose -5*l + 1 = 6. Let z(q) = 26*q**2 + q + 1. Let b be z(l). Let h = b + -12. Does 7 divide h?
True
Let a = -43 + 61. Is 18 a factor of a?
True
Let n(b) = -5*b - 25. Does 13 divide n(-17)?
False
Suppose 0 = 2*f - m - 5 - 6, 0 = f + 3*m + 12. Let x = 4 - f. Suppose o - 3*k - 2*k = x, 5*k = -3*o + 23. Does 6 divide o?
True
Let z = 11 + -16. Let m(o) = -o**3 - 5*o**2 - 3*o - 3. Let q be m(z). Is 13 a factor of (2/3)/(q/414)?
False
Let b be 1/(-1 + 2) + 1. Let z(f) be the third derivative of f**5/12 + f**4/24 + f**3/3 - 2*f**2. Is z(b) a multiple of 12?
True
Suppose 0 = u + 5, -s - 13 = -3*s - 3*u. Does 7 divide s?
True
Suppose 0*j = 4*j + 4. Let v be (-3 + 2)/(j + 0). Is 10 a factor of v/(-3)*(-1 + -92)?
False
Let y(w) = w + 2. Let f(x) = -2*x. Let z be f(-2). Is y(z) even?
True
Let m = -21 + 11. Let q = m + -12. Let y = q + 56. Is y a multiple of 17?
True
Let f(s) = -5*s**3 + 4*s**3 + 3*s - s - 1. Does 6 divide f(-3)?
False
Let r be 0/(-2 - 0 - 0). Suppose -3*w - 1 = -x, -3*w + 2*x + r*x = 2. Suppose 4*l - 9 = -i - 2*i, -5*l - 3*i + 15 = w. Does 3 divide l?
True
Suppose 0 = -5*z - p + 6, 8 = -3*z - 4*p - 2. Suppose -194 = -3*u - 0*k - k, z*u + 2*k = 128. Suppose u = 3*j - 3*a + 7*a, 3*a - 30 = -j. Does 14 divide j?
False
Does 7 divide 221/7 + (-4)/7?
False
Let u = 68 - 41. Is u a multiple of 9?
True
Let l = 25 - -34. Is l a multiple of 10?
False
Let m(l) = -l**3 - 4*l**2 + 3*l - 5. Let j = 2 - 7. Does 5 divide m(j)?
True
Let u(g) = g + 1. Let t be u(2). Suppose 1 = t*z - 2. Let x = z + 10. Is x a multiple of 6?
False
Suppose -3 = -2*g - 1. Let i be ((-40)/(-6))/(g/3). Suppose 2*n + 2*f - i = 16, 4*n - 56 = 4*f. Is 8 a factor of n?
True
Is 9 a factor of ((-18)/7)/((-5)/35)?
True
Suppose 2*w - 32 = i - 0*i, 3*w - 4*i = 58. Is 4 a factor of w?
False
Let b(g) = 19*g**3 + g**2. Let l = 5 + 0. Let x = l + -4. Is 20 a factor of b(x)?
True
Let j = 31 - 46. Let m = j + 27. Is 12 a factor of m?
True
Is (-3 - 39/(-15))*-5 a multiple of 2?
True
Let p(n) = 11*n**2 - 2*n + 1. Let m(s) = -s**3 + 2*s**2 + 3*s - 2. Let j be m(3). Is p(j) a multiple of 17?
False
Suppose 62 - 83 = -3*j. Is 7 a factor of j?
True
Let f(j) = 10*j**2 + 2*j - 7. Let x(g) = -1. Let s(i) = f(i) - 6*x(i). Is 11 a factor of s(1)?
True
Let s(p) = -2*p + 1. Let v be s(-9). Suppose -2*g + 7 = -v. Is 8 a factor of g?
False
Let o = -180 - -350. Is o a multiple of 11?
False
Let l(d) = d**3 + 7*d**2 - 8*d + 2. Does 29 divide l(-7)?
True
Let n(l) = -l**3 + 6*l**2 - 4*l + 5. Let c = 10 - 6. Let u be n(c). Suppose z - u - 6 = 0. Does 11 divide z?
False
Let p be 15 - (-3 - -3)/(-1). Let x be 2/5 - (-6)/10. Let j = p + x. Is 8 a factor of j?
True
Suppose -3*h = 4*v + 132, -2*h = -4*v + 36 + 52. Let g = -16 - h. Does 17 divide g?
False
Let t(r) = r**2 + 4*r - 4. Suppose 0 = 4*f - 5*f. Let j be -2 - (5 + f + -1). Is 3 a factor of t(j)?
False
Let v(q) = 1 - 2 + 2*q**2 + 0 - 31*q**3. Let d = -16 + 15. Does 15 divide v(d)?
False
Let s = -43 - -30. Let x = s + 18. Suppose 2*i - 2*o = 34, 5*o - 2*o = -i + x. Is 7 a factor of i?
True
Let j be (-1 + 0)/((-1)/(-3)). Let v be (-2)/j - 23/3. Let r = 69 + v. Is 22 a factor of r?
False
Suppose -6*o + 5*g = -3*o - 195, -o + 2*g = -64. Is o a multiple of 25?
False
Let c = 12 + -7. Suppose -y = -n + 26, -3*y + 2*y = -c*n + 126. Suppose 0 = -5*f + 3*l + 157, 5*f - n = -3*l + 108. Is 10 a factor of f?
False
Suppose 28 + 0 = 2*i. Is 7 a factor of i?
True
Suppose 4*v - 4 = 272. Does 23 divide v?
True
Suppose -2*u - 51 - 37 = -3*f, 0 = 3*f - u - 89. Does 10 divide f?
True
Let p be 2/3 + (-287)/21. Does 13 divide (-4 + 5)*p/(-1)?
True
Let t = 31 + 92. Is 19 a factor of t?
False
Suppose -9*y + 120 - 21 = 0. Is 6 a factor of y?
False
Suppose 11*w - 10*w - 22 = 0. Is w a multiple of 2?
True
Let a(l) = 67*l**2 + 1. Let c = -15 - -14. Does 17 divide a(c)?
True
Let r(m) be the second derivative of m**6/360 - 3*m**5/40 + m**4/12 - m. Let j(i) be the third derivative of r(i). Is 2 a factor of j(6)?
False
Suppose 7*n - 3*n - 12 = -5*m, 4*n - 16 = -4*m. Suppose -n = -4*q, 5*a - 12 = 4*q - 0. Suppose -4*o - 11 = -3, 3*o + 22 = a*j. Is j a multiple of 3?
False
Let s(a) = a - 1. Let m be s(5). Let q = 7 - m. Suppose q*c - 79 = 23. Does 17 divide c?
True
Let b = -46 + 82. Is b a multiple of 9?
True
Let m(t) = 3*t**3 - t**2 - t. Let b be m(-1). Let x = b - -14. Is 11 a factor of x?
True
Let s(p) = p**3 - 7*p**2 + 8*p - 9. Let r be s(6). Does 16 divide (32/r)/(2/6)?
True
Is ((-16)/20)/(4/(-70)) a multiple of 14?
True
Let g(i) = -4*i**3 - 3*i**2 - 3*i - 1. Does 12 divide g(-2)?
False
Suppose 0*n + 3*n - 3 = 0. Let c(z) = -2*z**3 - 9*z**2 - 6*z - 6. Let v be c(-4). Does 7 d