q = j. Is 13 a factor of j?
True
Suppose -4*r + 2*m = 3*m - 757, 2*r + 3*m - 381 = 0. Is r a multiple of 9?
True
Suppose 5*v - 135 = 5*t, -3*v - 6*t + t + 121 = 0. Let b be v/(-12)*6/(-4). Suppose 0 = -c + b*i - 10, -4*c = 2*i - i - 11. Is c a multiple of 2?
True
Let w = -6 - -4. Let i(c) be the first derivative of 4*c**3/3 - 3. Is 6 a factor of i(w)?
False
Suppose -2*d = 3*d - 215. Let r = 65 - d. Does 12 divide r?
False
Suppose 2*p = 15 + 37. Let d = 4 + p. Does 15 divide d?
True
Let b be 2/4*(-4 + 250). Let r = b + -48. Suppose -3*x + r + 78 = 0. Does 21 divide x?
False
Let k = -48 - -77. Let t = k - -71. Is 20 a factor of t?
True
Let p(a) = -a - 4. Let h be p(-4). Let m = -15 + h. Let o = m - -21. Is o a multiple of 3?
True
Let y(a) = a**3 - 4*a**2 + 4*a**3 - a - 4 - 6*a**3. Let k be y(-4). Suppose 3*m - 4*n - 18 = k, 4*m - 4*n + n = 24. Does 6 divide m?
True
Let h = -23 - -34. Does 7 divide h?
False
Let z(n) = -4*n - 3. Is 2 a factor of z(-3)?
False
Let j(p) = p**3 + 5*p**2 - 2. Let y = 0 - 2. Let c be j(y). Suppose r - 14 = c. Is 12 a factor of r?
True
Let z = 259 + -175. Does 11 divide z?
False
Suppose -t = 2*h + 4, 0 = t + 5*h + 4 + 9. Suppose 5*m + 10 = t*y - 3*y, 2*y = 4*m + 8. Is ((-12)/8)/(m/36) a multiple of 9?
True
Suppose i = -4*i. Let x = i - 2. Does 13 divide x*((-9)/2 + -2)?
True
Let a(c) = -c**3 - 6*c**2 + c - 10. Let h be a(-7). Does 7 divide (14/(-8))/((-2)/h)?
True
Let j(l) = -l**3 - 17*l**2 + 13*l - 21. Does 23 divide j(-18)?
True
Let v = -33 + 71. Let m = v + -12. Let n = m - 17. Is n a multiple of 8?
False
Suppose -1850 = -16*s - 138. Does 9 divide s?
False
Let l = 82 - -194. Does 28 divide l?
False
Let b = 102 - 54. Suppose -3*w = -b + 3. Suppose 5 - w = -j. Does 10 divide j?
True
Let k(i) = -4*i + 4*i - i + 2. Let m be k(2). Does 11 divide m/(-2) + 8*2?
False
Let o = 43 + 55. Is 14 a factor of o?
True
Suppose 5*k = 81 - 16. Does 13 divide k?
True
Let s(q) be the second derivative of -5*q**3/6 + q**2/2 + 3*q. Is s(-1) a multiple of 3?
True
Suppose 3*r = -3*m + 162, r - 3*r + 161 = 3*m. Does 21 divide m?
False
Let s(y) = y - 6. Let p be s(4). Does 2 divide (p - (-10)/1)*1?
True
Suppose -5*l + 3*l - k + 2 = 0, 5*k - 10 = l. Let p(g) = -g - 22. Let n be p(-25). Suppose l = -4*f + n*h + 205, 6*f + 5*h = 3*f + 161. Does 14 divide f?
False
Let l(m) = -2*m**3 + 10 + m**3 - m**2 - 7*m**2 - 3*m**2 + 12*m. Is l(-12) a multiple of 10?
True
Suppose q = -q + 56. Suppose 2*w = q - 4. Is 12 a factor of w?
True
Is 23 a factor of 2*(-2)/(-16) + 6919/68?
False
Let d(k) = 5*k**2 + 3*k - 1. Let p(g) = g**2 + 1. Let n(i) = -d(i) + 4*p(i). Let a be n(-4). Is 14 a factor of (76/(-16))/(a/(-4))?
False
Let c be 4/4 + (-2 - -1). Suppose c*i = 3*i - 36. Is 12 a factor of i?
True
Suppose 2*u - 3*i = 15, 2*u - 7 = i + 2. Suppose 0 = g - u. Is 7 a factor of (g/(-5))/((-2)/70)?
True
Suppose 8*n - 5*n - 84 = 0. Does 10 divide n?
False
Let u(s) = 5*s**2 + s - 7. Let y(k) = k**2 + k. Let w(r) = u(r) - 4*y(r). Suppose 0 = -5*d - 5*v + 30, -d + 5 = 4*v - 1. Is w(d) a multiple of 9?
False
Let k be (-12)/(-20) + 4/10. Let c(b) = 13*b**3 - b**2. Is c(k) a multiple of 6?
True
Suppose -144 + 269 = f. Is f a multiple of 9?
False
Let r = 17 + -54. Let v be r/7 - (-6)/21. Let u = 10 + v. Is 2 a factor of u?
False
Let p(y) = 3*y**2 + 8*y. Does 20 divide p(-6)?
True
Let r = -42 - -87. Does 15 divide r?
True
Suppose -4*f - 48 = -6*f. Is f a multiple of 5?
False
Let k = -31 - -51. Is 5 a factor of k?
True
Let o(f) = f**2 + 3*f + 2. Let k be o(-2). Suppose k = -0*h + h - 9. Let r = h - 4. Does 2 divide r?
False
Suppose -o = -5 + 1. Suppose u = o*u - 180. Does 15 divide u?
True
Let q be (-2)/7 - 74/(-14). Let m(o) = o**3 + 3 + 5*o**2 - q*o**2 - 4*o. Is 9 a factor of m(3)?
True
Suppose 19 = 8*s - 3*s - 3*u, 3*s - 12 = 2*u. Suppose 0 = -s*z + 6*z - 40. Does 6 divide z?
False
Let g(o) = -o**3 + 6*o**2 + 10*o - 2. Let n be g(7). Let s be (12/4 - 1)*2. Suppose -s*m + n = -29. Is 6 a factor of m?
True
Let j(w) = 7*w**2 + w. Let k be j(1). Does 10 divide 136/14 - k/(-28)?
True
Let s(m) = m**3 - 5*m**2 - 2*m - 7. Does 4 divide s(6)?
False
Let d(b) be the first derivative of -7*b**2/2 + 2*b + 1. Is d(-2) a multiple of 13?
False
Let q(n) = n**3 - 4*n**2 - 3*n + 2. Suppose s + 2 - 4 = 0, -2*o + 14 = 2*s. Does 4 divide q(o)?
True
Let a(d) = 2*d**2. Let z = 9 + -11. Is 3 a factor of a(z)?
False
Let z be (-49)/21 - 2/3. Let y be 1/((-2)/4) - 1. Does 16 divide 4/(z/36*y)?
True
Let o(y) = y**3 - 3*y**2 - 6*y - 16. Is 14 a factor of o(6)?
True
Let i(u) = -4*u - 6. Let g be i(7). Let d = g + 85. Is d a multiple of 17?
True
Let h be -2 - 0 - (-12)/3. Let d(n) = -14*n. Let a be d(-2). Suppose h*j - j = a. Does 16 divide j?
False
Let f = -15 + 10. Let a = 10 - f. Is 5 a factor of a?
True
Let i = 5 - 3. Let y(x) = x**3 + x**2 + 3*x - 1. Is 11 a factor of y(i)?
False
Suppose -2*h = 2*h - 16. Let o(t) = t**2 + 5*t + 1. Is o(h) a multiple of 16?
False
Does 11 divide ((-45)/60)/(3/(-92))?
False
Suppose 5*c + 2*g = -82 - 19, -3*c = 5*g + 53. Let q = 33 + c. Suppose -q = -5*l + 3*l. Does 3 divide l?
True
Suppose -5*n = 1 - 16. Suppose s = -4*s + 35. Let a = n + s. Does 10 divide a?
True
Let h = 3 - 1. Let g(o) = 2*o - 8. Let w be g(7). Let m = h + w. Does 3 divide m?
False
Suppose h - 4*i + 216 = 6*h, -i + 4 = 0. Suppose 10 = -3*d + h. Does 9 divide d?
False
Let s be (-32)/(-12)*(-45)/20. Let f(l) = -5*l - 2. Let o(g) = 10*g + 3. Let y(j) = 7*f(j) + 3*o(j). Is 9 a factor of y(s)?
False
Suppose -3*w + 0*w = -9. Suppose -w*v + 5*z + 37 = 0, -4*z + 3*z - 69 = -5*v. Let h = 22 - v. Does 8 divide h?
True
Let c(j) = j**2 + 3. Let x be c(0). Suppose x*m + 2*m + f - 36 = 0, 4*m - 16 = -4*f. Does 14 divide -15*(m/3)/(-1)?
False
Let t(h) = h**3 + h**2 + 2*h - 1. Let o(g) = g**2 - 6*g + 2. Let k be o(6). Is t(k) a multiple of 15?
True
Suppose -3*y + 5*y = 62. Does 9 divide y?
False
Suppose 3*p - 23 = -8. Let i(t) = t**3 - 2*t**2 - 7*t + 1. Does 18 divide i(p)?
False
Let w(u) = -u**3 + 12*u**2 - 9*u - 30. Does 10 divide w(10)?
True
Suppose 0*t + 2*t = 5*o - 35, -35 = -2*o + 5*t. Does 3 divide o?
False
Let n be 6/(-4)*110/(-33). Let k = 8 - n. Is k even?
False
Let l(t) = -t**3 - 4*t**2 + 6*t. Let y be l(-6). Let i = y - 26. Is i a multiple of 8?
False
Let q(c) = -c**3 + 5*c**2 - 3*c - 1. Let k be q(4). Let h(y) be the second derivative of y**4/12 + y**3/3 + y**2/2 - 2*y. Does 6 divide h(k)?
False
Let i(m) be the second derivative of 37*m**3/6 - m**2/2 - m. Let c(h) = -h**3 + 3*h**2 + 3*h + 5. Let g be c(4). Is 18 a factor of i(g)?
True
Let n = -11 + 17. Does 14 divide (n/(-4))/((-2)/76)?
False
Let j(s) = s**2 + 2*s - 4. Let p be j(-4). Suppose -p*w + 52 = n, 4*w = -7*n + 2*n + 36. Does 11 divide w?
False
Let s(k) = -k**2 - k - 2. Let z be s(-2). Does 9 divide 66/z*(-28)/21?
False
Let c = 641 - 410. Is c a multiple of 21?
True
Suppose x + 3*a - 3 = 0, 0*x - 3*x + 33 = -3*a. Is x even?
False
Suppose 0 = -5*q - 5 + 25. Suppose 2*i = -q + 24. Does 4 divide i?
False
Let h(q) = 11*q**2 - 2*q + 2. Let f be 4/14 + (-44)/7. Let n = f - -8. Is 16 a factor of h(n)?
False
Suppose -5*o + 4*a = -796, o + 0*o + 4*a - 164 = 0. Is 13 a factor of o?
False
Suppose -5*s + 5*g = 2 - 12, -8 = -4*s + 5*g. Suppose -s*v + 15 = v. Suppose 0*c = 5*c - v*x - 70, -5*c - 4*x + 79 = 0. Is 5 a factor of c?
True
Let m(w) = -w**2 + 18*w - 3. Is m(15) a multiple of 14?
True
Suppose -5*i + 5 = 0, 4*i = u + u - 200. Is u a multiple of 17?
True
Suppose 831 = 4*f - 533. Does 22 divide f?
False
Suppose 4*y - 4*p = 911 - 75, -830 = -4*y - 2*p. Does 13 divide y?
True
Suppose 0 = 2*z - 217 - 111. Let j = z + -110. Is 18 a factor of j?
True
Let y(i) = -i**3 - 6*i**2 + 6*i - 4. Let t be y(-7). Let w be 1*(2 - t) + 5. Suppose 0*b + b - w = 0. Is 4 a factor of b?
True
Suppose 0 = 4*d - 2*u + 14, 0*d - u = d - 1. Is 15 a factor of 816/27 + d/9?
True
Let h(s) = s**3 + 6*s**2 + 4*s - 1. Let m be h(-5). Let j be 1/((-6)/4)*-45. Suppose j = -f + m*f. Is f a multiple of 4?
False
Let c(a) = 11*a**2 - 20. Is c(4) a multiple of 39?
True
Let t = 197 + -125. Is t a multiple of 12?
True
Suppose -4*x = 2*n - 52 + 4, 5*x + 109 = 4*n. Is n/(-39)*(-171)/2 a multiple of 13?
False
Suppose 5*d = 3*m + 89, 0*d + 1 = d + 5*m. Is (-1)/((6/(-3))/d) a multiple of 4?
True
