
Suppose -3*c = i - 90, -8*c = 2*i - 12*c - 170. Is i a multiple of 12?
False
Let v be (-5)/((-1)/(3 - 2)). Suppose -v*z + 290 = 50. Is z a multiple of 24?
True
Suppose 0 = -2*o + 3*o - 62. Suppose -5*t + o = 3*v + 15, 0 = -v + 5*t + 49. Is v a multiple of 24?
True
Let o be 0/(2 - 2 - -1). Suppose o*x - x = -27. Does 9 divide x?
True
Suppose 0*w = -6*w + 252. Is 7 a factor of w?
True
Let q(v) = 0*v**3 - 6*v**3 + 2*v**2 + v**3 + 2*v - 2. Let b be q(-2). Suppose -4*f = -5*f - 5*o + 34, -f - o = -b. Does 20 divide f?
False
Let x = -6 - -15. Does 4 divide x?
False
Suppose -3*l + c = 2*l - 490, -5*l = 5*c - 520. Is 42 a factor of l?
False
Let k = -10 + 12. Let g(i) = i**3 + i**2 - 2*i + 2. Is 6 a factor of g(k)?
False
Is 12 a factor of (-7)/((-70)/(-15))*-24?
True
Suppose 15 = 3*f - 9. Let x = f + -3. Is x even?
False
Let s(l) = 12 + 12*l - 1 - l**2 + 0*l**2. Does 18 divide s(11)?
False
Suppose -4*g + 5*b = -31, -3*g - 2*g + 5 = 5*b. Is 4 a factor of g?
True
Let m(g) = 4*g**3 + 10*g**2 + 13*g + 5. Let y(j) = 5*j**3 + 11*j**2 + 14*j + 4. Let n(o) = -4*m(o) + 3*y(o). Let t be 16/(-12)*9/2. Is n(t) a multiple of 16?
True
Let c be (-6)/8 + 114/(-8). Let p be 5/c - 26/(-6). Suppose f + 3*r - 3 = 0, -3*f + p = -r - 15. Is 6 a factor of f?
True
Suppose -y - 2*k - 6 = 0, 2*y + 9 = -3*y - 3*k. Suppose y = r - 5*r. Suppose -j - 5*h + 13 = r, 40 = 2*j - h + 4*h. Is 11 a factor of j?
False
Is 11 a factor of 1432/24 + 5/((-45)/6)?
False
Let a(t) = -3*t - 7. Is a(-15) a multiple of 33?
False
Suppose -33 = 4*z + 23. Let k = -7 - z. Does 5 divide k?
False
Suppose -280 = -5*s - 6*r + 3*r, 2*s = 2*r + 96. Is s a multiple of 16?
False
Let q(k) = -k - 5. Suppose 5*d = -24 - 16. Let h be q(d). Suppose 2*b - 29 = 4*y + y, 0 = -h*b + y + 37. Is b a multiple of 12?
True
Let a(t) be the third derivative of -t**6/8 - 2*t**2. Does 15 divide a(-1)?
True
Let p(i) = 22*i**3 - 1. Let w be p(1). Let c = -12 + w. Suppose 2*b = -c + 33. Is b a multiple of 12?
True
Suppose -92*u + 2072 = -85*u. Is u a multiple of 37?
True
Suppose -5*j = r + 32, 5*r - 9 = 2*r. Is (j + -1)/((-5)/10) a multiple of 8?
True
Let t = 205 - 109. Does 8 divide t?
True
Is 1 + 3 + 120 - -2 a multiple of 18?
True
Let z be (-106)/(-10) - (-4)/10. Suppose -z = 3*i + 4*s, 2*s + 4 = -2*i + s. Let t = 12 - i. Is 13 a factor of t?
True
Let q = 24 - 14. Is 439/9 - q/(-45) a multiple of 20?
False
Let a = -56 - -130. Is a a multiple of 10?
False
Let m(t) = -t**2 + 18*t - 10. Does 17 divide m(12)?
False
Let k(r) = -r**2 - r - 3. Let w be k(0). Let p = -428 - -652. Is p/6 - 2/w a multiple of 19?
True
Let d(h) = h**3 - 2*h**2 + h + 2. Is 4 a factor of d(2)?
True
Let k = 210 - 50. Suppose 5*l = 5 + k. Is 10 a factor of l?
False
Suppose 6*j = 3*j - 15. Let m = -2 - j. Does 2 divide m?
False
Let g = 59 - -4. Suppose 4*v + 82 = -34. Let q = g + v. Is q a multiple of 12?
False
Let c(i) = -i**3 + 3*i**2 + i + 2. Is c(3) even?
False
Suppose -19*u + 443 + 1077 = 0. Is 20 a factor of u?
True
Suppose -r + 3*o - o = -53, 3*r - 214 = -5*o. Suppose -w = -4*w + r. Is 8 a factor of w?
False
Does 5 divide 11/(132/9) + 274/8?
True
Let m = 10 - 7. Let l be (7/3)/(m/(-18)). Let r = l + 29. Does 10 divide r?
False
Let h = -4 + -18. Does 5 divide 8/44 - 128/h?
False
Suppose 27 = -4*a + 107. Let g be (232/(-16))/((-2)/a). Does 4 divide 2/(-8) + g/20?
False
Suppose -15*l = -20*l + 195. Is 13 a factor of l?
True
Let m(j) = j**2 + 8*j + 8. Let t be m(-7). Let z be t*(-50)/4*-2. Suppose 0 = 5*b - 75 - z. Is 10 a factor of b?
True
Let d(b) = 18*b - 9. Is 7 a factor of d(2)?
False
Suppose -7*y + 556 = -144. Is 10 a factor of y?
True
Suppose 4*c + 6 = 2. Let l be c/(12/(-9))*4. Suppose -5*p + 20 = -l*p. Does 10 divide p?
True
Suppose 2*v + 2 = 3*k, 4*k - 1 = -5*v - 6. Let w = 10 - v. Does 11 divide w?
True
Let n(u) be the second derivative of -u**3/6 + 9*u**2/2 + 8*u. Is n(7) even?
True
Is 13 a factor of -3 + 132/4 + -2?
False
Suppose -t + 13 = -s, -2*t + 2*s - 42 = -4*t. Suppose -n = -3*n - 3*c - 9, -3*n - 3 = c. Suppose -4*o + 4*x + 68 = n, o + 4*x = 6*x + t. Does 14 divide o?
False
Suppose 4*u + u = -30. Let r = 17 + u. Let l = r - -3. Is l a multiple of 7?
True
Let m = 24 - 61. Let h = 1 - m. Does 12 divide h?
False
Suppose 3*b = 3, -3*y + 0*y + 2*b - 32 = 0. Let z = y + 14. Does 2 divide z?
True
Let n(j) = -3 + 1 - j + 2*j. Let p be n(4). Suppose x - p = y, -x + 0*x = -4. Is y even?
True
Let n = 15 - 16. Does 2 divide ((-6)/(-6))/(n/(-2))?
True
Suppose 9*a + 8 = 62. Is 6 a factor of a?
True
Suppose 4*m - 3*m = 2. Suppose -5*a + 5*y + 100 = 0, 88 = 3*a + 2*a - m*y. Is 16 a factor of a?
True
Let a be (-1)/(-4)*0*-1. Let x = 5 + a. Is 5 a factor of x?
True
Let k(s) = s - 6. Let r be k(6). Suppose 4*f - d + 56 = r, -8 - 34 = 2*f - 4*d. Let t = f + 39. Is 13 a factor of t?
True
Let t(a) = a**2 + 5*a + 8. Let o be t(-6). Let l = 20 - o. Suppose 0 = -l*u + 2*u + 84. Is u a multiple of 14?
False
Let o(j) be the first derivative of -5*j + 3*j**2 + 3*j**2 - 1 + 7*j. Is 13 a factor of o(2)?
True
Let v = 13 + -10. Suppose -50 - 58 = -v*a. Is a a multiple of 21?
False
Suppose -1085 = -q - 4*q. Suppose a - 2*a - 58 = -2*v, -4*a = -5*v + q. Let d = 72 + a. Does 12 divide d?
True
Suppose 7 = 3*p - 8. Suppose 63 + p = 4*h. Is h a multiple of 5?
False
Let y = -5 + 3. Let h be 44 - (-1 - -1)/y. Suppose 6*o - h = 4*o. Is o a multiple of 11?
True
Suppose 0 = 3*o - 24 - 6. Is 10 a factor of o?
True
Let z = -15 + 27. Does 6 divide z?
True
Let n(q) = q**2 - 2*q - 2. Let d be n(-4). Let t = d - 16. Does 3 divide t?
True
Is 7/(77/2) - 8136/(-22) a multiple of 29?
False
Let i = -3 + 6. Does 3 divide i?
True
Is (-8 + 9)*22/2 a multiple of 7?
False
Suppose 2*h + h = 9. Let d = 1 - -2. Suppose s = 1, -d*t + 0*t + h*s + 81 = 0. Is 11 a factor of t?
False
Let d(o) be the third derivative of o**4/24 + 5*o**3/6 - 3*o**2. Does 5 divide d(4)?
False
Let k(y) = -y**2 + 5*y + 3. Let j be k(3). Suppose -3 = -2*z + j. Is z a multiple of 2?
True
Let d be 5/(-15) + 2/6. Suppose -u = -n - d*u + 17, -u + 91 = 5*n. Let l = n - 11. Does 7 divide l?
True
Suppose -7*s + 15*s = 776. Does 3 divide s?
False
Suppose -5*i - 3*n = -36, 0 = 4*i + 4*n + 14 - 46. Let x = -2 + i. Is x even?
True
Suppose 0 = -7*m + 13*m - 6. Let v(u) be the first derivative of 2*u**3/3 + u + 1. Does 2 divide v(m)?
False
Suppose -3*j = -5*z + 313, j - 2*j - 311 = -5*z. Suppose -y + d = 4*y - 141, -2*y = d - z. Does 13 divide y?
False
Let f(y) = y**2 + 17*y - 10. Is 15 a factor of f(-23)?
False
Suppose -3*z - 3*d = z - 264, 330 = 5*z - 3*d. Is z a multiple of 11?
True
Let r(k) be the first derivative of 0*k + 0*k**3 - 1/2*k**2 - 17/4*k**4 - 2. Is 8 a factor of r(-1)?
False
Let l be (0 - 10)/(2 - 3). Suppose p - l = 42. Let q = p + -37. Is 6 a factor of q?
False
Suppose -126 = -4*s + 74. Is s a multiple of 10?
True
Let g = -5 - -5. Suppose g = -4*k + 60 + 20. Is 9 a factor of k?
False
Let t(b) = -b**3 + 4*b + 5. Is 2 a factor of t(-2)?
False
Let i = -25 + 41. Is i a multiple of 16?
True
Suppose 4*v = -5*m - 0*v + 51, 5*m + 2*v = 43. Suppose -5*r + 8 + m = 0. Suppose 2*y - r - 31 = 0. Does 9 divide y?
False
Is 2 a factor of (-226)/(-10) - (-33)/(-55)?
True
Let j be (-2)/9 - 152/(-36). Suppose 0 = 3*r + 3*n - 72, -3*r = -4*r - j*n + 12. Is r a multiple of 28?
True
Let y(w) = -2*w + 27. Is y(6) a multiple of 5?
True
Let o = -2 - -5. Suppose o*f - 79 - 53 = 0. Is 13 a factor of f?
False
Let v(i) = -i + 10. Let w be v(7). Suppose w*p + 24 - 90 = 0. Does 8 divide p?
False
Let n(r) = -2*r**3 - 2*r**2 - 3*r - 1. Let q = -8 + 5. Let v be n(q). Suppose 10 = 3*u - v. Is 9 a factor of u?
True
Let h(q) = 3*q - 72. Does 8 divide h(27)?
False
Suppose -1152 = -4*s + h, -825 - 39 = -3*s - 2*h. Does 14 divide s?
False
Let g be (3/5)/(3/15). Let b be (-64)/6 + (-1)/g. Let j = 34 + b. Is j a multiple of 10?
False
Suppose 3*p - 4 = -19, 2*p = 5*b - 585. Is 25 a factor of b?
False
Let m(t) be the third derivative of 23*t**4/24 + t**3/6 + t**2. Let a be m(1). Suppose -k = -2*k + a. Does 13 divide k?
False
Let y = -23 - -26. Suppose y*k - 28 = 26. Does 6 divide k?
True
Let p be (-2)/4 - 465/(-10). Let f = -10 + p. Is 22 a factor of f?
False
Does 30 divide ((-2)/4)/(3/(-618))?
False
Let a = 5 + -5. Suppose -2*m - y - 8 = 0, 20 = -2*m - a*m - 4*