 + 115. Does 13 divide k?
False
Let f(c) = -31*c + 47. Does 17 divide f(-10)?
True
Let g be (-171)/((-1 + 0)*1). Let a = g - 107. Does 32 divide a?
True
Suppose -185 = -5*b - 5. Does 36 divide b?
True
Suppose o = 2*o - 11. Let s(t) = 7*t - 17. Is 20 a factor of s(o)?
True
Let o = -4 + 10. Let h be (5/(-3) - -2)*o. Suppose -6*z + 60 = -h*z. Is z a multiple of 5?
True
Let v = 1605 + -1193. Does 6 divide v?
False
Let j be 6 + (-2 + -6)/2. Let o = j + 7. Suppose o + 45 = m. Does 18 divide m?
True
Let i(g) = -g**2 - 3*g + 12. Suppose -2*a - 4*k = 10, -k - 3 - 7 = -a. Let y(h) = -3*h**2 - 7*h + 24. Let x(v) = a*i(v) - 2*y(v). Is x(0) a multiple of 8?
False
Let g(m) = 3*m. Let y(h) = 9*h. Let k(q) = -7*g(q) + 2*y(q). Let v be k(-13). Let a = v + 46. Does 24 divide a?
False
Let h(w) = 5*w**3 + 3*w**2 - 5*w + 3. Does 5 divide h(2)?
True
Let o(u) = -u**3 + 9*u**2 + 14*u + 4. Let f = 51 + -41. Is 11 a factor of o(f)?
True
Suppose -15 = 5*g, -3*c + 29 = 4*g - 457. Is 33 a factor of c?
False
Let n(y) = 5*y - 7. Let i be n(5). Suppose 4*m - 3*u = u - 12, -5*m + 2*u - i = 0. Is 20 a factor of 2070/27 + m/6?
False
Suppose 4*y = 5*r - r + 88, -3*y + r + 60 = 0. Suppose t - 3*v = -63, y = -t - v - 40. Is 14 a factor of (16/(-12))/(4/t)?
False
Let n(a) = 5*a + 3. Let j be n(-4). Let s(h) = -h**3 - 6*h**2 - 1. Let g be s(-6). Is (j - (3 + g))/(-1) a multiple of 8?
False
Let p be ((-2)/(-4))/((-12)/3048). Let m = p - -307. Is 60 a factor of m?
True
Suppose 5*o - 2 + 52 = 0. Let t = o - -6. Does 15 divide 117/6 + 2/t?
False
Let n(q) = 2*q - 10. Let r be n(-8). Let c = r - -16. Does 11 divide (-10)/(-25) + (-236)/c?
False
Let s be (-64)/(-28) + 4/(-14) - -136. Suppose -82 - s = -5*k. Does 11 divide k?
True
Let u(f) = -142*f + 86. Is u(-13) a multiple of 84?
True
Let w be (-352)/6 + (-4)/(-6). Is (w - 25/5)/(-1) a multiple of 7?
True
Suppose -4*m + 819 = 4*z - 7*m, 0 = 3*z - 4*m - 616. Does 5 divide z?
False
Suppose -3*w + 16 = -2*w. Does 4 divide 51/4 + 4/w?
False
Suppose -3 + 23 = 5*k. Suppose -9*o - 130 = -k*w - 11*o, -3*w + o = -110. Does 7 divide w?
True
Let s(t) = 3*t**2. Let r be s(-1). Let c(n) = -n + r*n - n. Is c(5) a multiple of 2?
False
Suppose -5*r = 2*k - 3721, 2*k + 4 = 10. Is r a multiple of 41?
False
Suppose 0 = -5*s + 2*f + 2181, -2*s + f + 1118 = 246. Suppose 3*c - s = 6*u - 10*u, 0 = 5*c - 15. Is 12 a factor of u?
False
Let r = -29 - -31. Suppose -22 + 324 = 4*z - h, -r*z = h - 148. Does 9 divide z?
False
Let c = 596 + -370. Let s = -160 + c. Is s a multiple of 22?
True
Let i(g) = 2*g**3 + 8*g**2 + 7*g + 7. Let x be i(-3). Suppose 0 = 4*l - l - 15. Suppose 0 = -2*q - 2*q + x*h + 200, -l*q = h - 280. Is 32 a factor of q?
False
Suppose 14*q - 19*q = -2*j + 1242, -2*q = 4*j - 2460. Does 8 divide j?
True
Let h = -405 - -1013. Is h a multiple of 76?
True
Let f = 555 - 533. Is f a multiple of 11?
True
Let v be (13 - 3)*(161/(-2))/7. Let a be 0/1 + -2 + -46. Let r = a - v. Is r a multiple of 20?
False
Let u be (-22)/(-14) - 39/(-91). Suppose -4*t - 3*r + 484 = -r, u*r = 3*t - 356. Is 11 a factor of t?
False
Is 91/3*15*(-27)/(-45) a multiple of 21?
True
Suppose 18*v + 3*q - 3618 = 15*v, 2*v - 5*q - 2447 = 0. Is v a multiple of 32?
False
Suppose -105 - 72 = -2*r + n, 5*r = -4*n + 436. Is r a multiple of 23?
False
Let k = 1204 + -634. Does 5 divide k?
True
Suppose s - 896 + 131 = 0. Is s a multiple of 15?
True
Let i(t) = -8*t - 33. Let a = 31 + -44. Does 33 divide i(a)?
False
Let b = -22 + 27. Suppose 2*j = b*x + 9, 5*j = x + 2*x + 51. Is j a multiple of 6?
True
Let v = 5 + -1. Suppose 16 = 4*h, 0 = 5*t - 4*h + 22 - 81. Suppose -b - v*b = -t. Does 3 divide b?
True
Let k(g) = 2*g**3 + 9*g**2 - 21*g + 9. Let v(l) = l**3 + 5*l**2 - 10*l + 5. Let d(m) = -3*k(m) + 5*v(m). Let z be d(-5). Does 25 divide z/20 + 496/10?
True
Let y = -16 - -32. Does 17 divide 8*(0 + y/4)?
False
Suppose 5*k = 4*k + 105. Is k a multiple of 17?
False
Let b = -28 + 23. Let s be (-11 + -2)/(b/10). Let u = 51 - s. Does 5 divide u?
True
Let u(q) = -12*q - 10. Let o(c) = -c**2 + 10*c + 8. Let h(g) = -4*o(g) - 3*u(g). Suppose 4*t = b + 17, 3*b = -2*t + 6*t - 11. Is 13 a factor of h(t)?
True
Let n be (1 - -2) + 24 + -37. Let d = 30 - n. Is d a multiple of 8?
True
Let m = -313 - -1688. Is 125 a factor of m?
True
Let b = -102 + 73. Let u = -21 - b. Is 4 a factor of u?
True
Suppose 4*n = 3*n - 4, -b - 2*n = -27. Suppose 0 = 4*c + 3*c - b. Is c even?
False
Suppose 2*c = 3*c + 100. Let r = -39 - c. Does 31 divide r?
False
Suppose -3*l + 5 = -2*t, -4*t + 0*t - 3*l + 35 = 0. Suppose -2*g - 3*o + 54 = g, 5 = -t*o. Let w = g + 29. Does 18 divide w?
False
Let c(q) = -6*q + 263 + 24*q - 10*q - 10*q. Is c(0) a multiple of 16?
False
Suppose 0 = -4*w + 3*q + 18, -3*w + 5*q = 2*w - 25. Let i be 6 + (2 - 8 - -2). Suppose 3*y = 3*c + 93, w*y + 24 = -i*c + 92. Is y a multiple of 8?
False
Suppose -4*i = -0*i - 12. Let y be i*(465/9 - 1). Suppose 2*j - 104 - y = 0. Is j a multiple of 32?
True
Suppose -139*o - 109484 = -290184. Is 13 a factor of o?
True
Let f be -28*3*(-65)/60. Suppose -275 = -4*p - 3*d, f = 2*p + 5*d - 36. Does 23 divide p?
False
Suppose 5*n + 4*a - 13035 = -3*a, 0 = -5*n - 5*a + 13045. Is 38 a factor of n?
False
Let j be 11618/(-481) + (1 - 11/13). Let a(p) = p**2 + 23*p + 15. Does 13 divide a(j)?
True
Let k(b) = 80*b - 2. Let m be k(1). Suppose 0 = r + m + 12. Is (r/(-21))/1*14 a multiple of 20?
True
Let y(h) be the first derivative of -5*h**2 - 14*h + 5. Let r(b) = 5*b + 7. Let g(m) = 7*r(m) + 4*y(m). Is g(-7) a multiple of 7?
True
Suppose 0 = 10*w - 12*w + 20. Suppose -w - 8 = -3*r. Suppose -t + 2*y - 6*y = r, -5*t - y + 65 = 0. Does 3 divide t?
False
Let y = 163 + -72. Is y a multiple of 91?
True
Let l = -513 + 617. Is 8 a factor of l?
True
Suppose 0 = 3*u + 123 + 84. Let f = 244 - 369. Let w = u - f. Does 28 divide w?
True
Suppose -43*w + 102960 = -13*w. Is 143 a factor of w?
True
Let z be (-246)/(-3) - (-4 + 4). Suppose d + 4*d = -3*o + 50, 4*o - d - z = 0. Is 3 a factor of o?
False
Suppose -11*c + 26656 = -12867. Is 134 a factor of c?
False
Suppose 0 = t + t - 88. Suppose 2*s - 2*j = 4*s - 8, 3*s - 5*j - t = 0. Is 206/s - (-9)/36 a multiple of 13?
True
Suppose 14*s - 11*s + 1533 = 0. Let m = -351 - s. Does 40 divide m?
True
Suppose -2*q + q + 434 = 5*k, -1342 = -3*q + 5*k. Is q a multiple of 37?
True
Let p(b) = -b**3 - 7*b**2 - 8*b - 9. Let f be p(-6). Suppose -28 = -5*u + 72. Suppose 5*j - 26 = -z, -f*z - j - u = -7*z. Does 6 divide z?
True
Suppose -3*c = -3 - 3, 4*z + 2*c = 68. Suppose 0 = z*k - 11*k - 155. Is 13 a factor of k?
False
Let p(a) = 11*a - 1. Let s be (-26)/(-22) - (-54)/(-297). Does 5 divide p(s)?
True
Let p be ((-2 - 0) + 12)/1. Suppose -2*y + 40 = 16. Suppose y = o - p. Is 22 a factor of o?
True
Let s(j) = -j**3 - j. Let t be s(1). Is 39 + 3/t*-2 a multiple of 7?
True
Suppose s - 5*r - 195 = 0, 7*s - 4*s = -5*r + 685. Is s a multiple of 61?
False
Suppose g + 28 = -g. Is (-101)/(-2) + (49/g)/7 a multiple of 25?
True
Let u = -1385 + 2025. Does 4 divide u?
True
Let x = -61 - -60. Does 6 divide (2 - -95) + (x - (0 - -2))?
False
Suppose 3*x = 5*r + 4232, 4*r + 364 - 1752 = -x. Is x a multiple of 42?
False
Let a(m) = -m**3 + 7*m**2 - m - 5. Suppose 4*h - 21 + 2 = 5*w, -4*w + 34 = 5*h. Is 6 a factor of a(h)?
False
Let b = -48 - -52. Suppose 5*r - 6*k = -k + 195, -b*r - 4*k = -156. Is 5 a factor of r?
False
Let s(j) = -j**3 - 22*j**2 + 25*j - 58. Let r(d) = -d**3 - 22*d**2 + 24*d - 57. Let o(x) = 5*r(x) - 4*s(x). Is o(-23) a multiple of 2?
True
Let k be 0*(-3 - -2) + 63. Suppose -8*s + 7*s + k = 0. Does 30 divide s?
False
Let s(i) = i**2 - 2*i - 3. Let w be s(3). Suppose w = -11*o + 7*o - 24. Is 22 a factor of 4/o + (-136)/(-6)?
True
Let n = 398 - 81. Let v = n + -177. Is v a multiple of 7?
True
Let b(z) = z**2 + 13*z + 13. Let v be b(-15). Suppose -9 = 2*f - v. Is 17 a factor of f?
True
Suppose -4*v - 1 + 13 = 0. Let j be -42*(v + 10/(-3)). Does 14 divide 1328/13 - j/91?
False
Suppose -5*c + 1841 = -929. Is c a multiple of 37?
False
Suppose 0 = -5*k + 232 + 158. Does 7 divide 9/(-6) + k/4?
False
Let i(l) = l**2 - 2*l + 67. Let u be i(0). Let v = 224 - u. Does 37 divide v?
False
Does 24 divide (6*(-1)/2)/(3/(-212))?
False
Suppose -68 = 7*w + 163. Is 5 a factor of 204/w + 6 