5*g + 10, -g + 6 = -3*k + 25. Is 7 a factor of k?
True
Is -2*5/(-85) - (-440)/17 a multiple of 2?
True
Let y = 7 + 1133. Does 5 divide y?
True
Let q = -71 - 25. Is (-1)/(q/92 + 1) a multiple of 3?
False
Let h be 6 + 6*6/(-12). Let a(i) = 2*i**2 - i. Let x be a(2). Suppose 4*d = 2*s + 48, x*d = 3*d - h*s + 36. Is d a multiple of 11?
False
Let h be (-51 - 1)*6/8. Let q be ((-312)/10)/(h/130). Let r = q + -55. Does 25 divide r?
False
Let c(f) = 5*f**2 + 15*f - 13. Let g be c(7). Suppose 345 + g = 2*w. Is 18 a factor of w?
False
Suppose w = -2*w + 15. Is 15 a factor of 65 - w - (4 - 3)?
False
Let s(h) = -4 + 1 - h**2 + 6*h + 1. Is 3 a factor of s(5)?
True
Suppose x + 8*x - 297 = 0. Is x even?
False
Let c(k) = -k**2 - 10*k - 1. Let y be c(-7). Suppose 6*u - 3*x - 60 = u, 0 = -4*x + y. Is 15 a factor of u?
True
Let c(j) = j**2 + 3*j - 3. Let u be -3 - -22*3/6. Suppose 3*r = u + 10. Is c(r) a multiple of 15?
False
Let r(q) = q + 8. Let f be r(-4). Suppose -5*n + 0*n = f*a - 210, 2*n = 4*a + 112. Is n a multiple of 10?
False
Does 18 divide 4/16 - 4251/(-52)?
False
Suppose f + 10 = 5*l - 6, -15 = -4*l + 3*f. Suppose -a + 7 = -w, l*a + 0*w - 5 = -w. Suppose 0 = -5*m + a*i + 326, -5*i = -m + 19 + 55. Is m a multiple of 15?
False
Let y be (-10)/(-15) - (-32)/6. Does 17 divide 1 - y/4*-64?
False
Is ((-982)/(-4) - -4)*(-26)/(-13) a multiple of 6?
False
Is (-1)/((-7)/2331*1) a multiple of 21?
False
Let i = -29 - -26. Let w(z) = z**3 + 5*z**2 + 2*z + 5. Does 3 divide w(i)?
False
Let x = 99 - 95. Suppose 4*k = x*l - 360, -3*k = l - 6*l + 440. Is 17 a factor of l?
True
Let k = 163 - 251. Let b = k - -97. Does 2 divide b?
False
Let c(q) = -340*q. Let g(a) = -510*a. Let d(i) = 7*c(i) - 5*g(i). Let s be d(1). Let l = -100 + s. Is l a multiple of 16?
False
Let g(y) = 6*y**2 + 6*y - 2. Suppose -40 = -6*c - 58. Does 34 divide g(c)?
True
Suppose -4162 = -5*f - 2*x, 4 = 2*x + 2*x. Is 64 a factor of f?
True
Suppose 5*a - 12 - 23 = 0. Let t = -3 + a. Suppose -5 = 4*n - 2*k - 65, t*n + 2*k = 52. Does 7 divide n?
True
Let w(c) = -10*c**2 + 0 - 14 - 3*c + 11*c**2. Does 3 divide w(6)?
False
Let n(t) = -7*t + 2 - 9*t - 3 - 2. Is n(-2) a multiple of 14?
False
Let l(w) be the first derivative of -w**2 - 15*w - 3. Let r be l(-9). Suppose 45 = r*f - 36. Is 16 a factor of f?
False
Let n be ((-4)/(-3))/((-2)/(-21)). Suppose 6*z - 6 = 5*z. Let x = n + z. Does 7 divide x?
False
Let n(k) = k + 21. Suppose -4*a - 111 = a - 4*z, z + 34 = -2*a. Let m be n(a). Suppose -155 = -3*v + m*i - 0*i, -4*v + i = -200. Does 9 divide v?
False
Is 19 a factor of (-7 - (0 + -4))*(-532)/6?
True
Let g = 329 - 238. Does 8 divide g?
False
Suppose -2*t + 11 = -a - 8, -3*t + a = -31. Is t even?
True
Suppose -4*g = -w + 43, 4*g - 3 = -w - 0*w. Suppose -8 = -24*d + w*d. Is d even?
True
Let a = -11 + 151. Suppose v - a = -4*v. Is 10 a factor of v?
False
Let z(w) = -w**2 + 7*w + 1. Let y be z(7). Does 4 divide (284/11 - y) + (-12)/(-66)?
False
Let g be 14/(-2)*-2 + 3 + -2. Suppose -3*b + g = 3, 4*y - 2*b - 204 = 0. Is y a multiple of 28?
False
Suppose 160 = 5*t - 800. Let w = t + -105. Is 13 a factor of w?
False
Suppose 2*c = -8 + 8. Is 10 a factor of 4 + -6 + (-147)/(-3) + c?
False
Suppose m + 4*m - 15 = 0. Let n be (2 + -1)/(m/12). Suppose -2*z + d + 71 = 0, n*z + z = 4*d + 176. Does 12 divide z?
True
Let o(a) = 69*a - 492. Is o(9) a multiple of 3?
True
Let b be -9*((-8)/3)/(-8). Is (-168)/4*(b + 4 - 3) a multiple of 14?
True
Suppose -15 - 6 = -h. Let q be (7/h)/((-1)/(-12)). Suppose -4*v = -12, -c + 20 = -0*c - q*v. Is c a multiple of 8?
True
Let u(d) = -134*d + 15. Does 7 divide u(-1)?
False
Suppose -2*i = -8*i - 420. Does 14 divide 1*i/5*(-5 + -1)?
True
Suppose -130 - 48 = 2*x. Suppose -4*k - 3*a = k - 658, 0 = 3*k + a - 398. Let r = x + k. Does 14 divide r?
False
Suppose 0 = -4*q + 8, o - 685 = -3*q + 121. Does 12 divide o?
False
Suppose -4*d + 58 + 110 = 0. Is 5 a factor of d?
False
Suppose 0 = -3*x + 4*x. Suppose 0 = -3*l - 5*p + 64, -5*p + 3*p + 4 = x. Is 18 a factor of l?
True
Let x = -54 + 716. Does 35 divide x?
False
Suppose 8*d = 723 - 267. Is d a multiple of 2?
False
Let t(b) = b**2 + 15*b + 56. Is t(-25) a multiple of 13?
False
Is 24 a factor of 535 - (-3 + 9)/(-3)?
False
Let t(g) = 2*g**2 - 21*g + 3. Let s be t(10). Does 39 divide -3*26*(-1)/s*-14?
True
Let k = 265 + -210. Is k a multiple of 5?
True
Suppose 0 = -4*r - 3*l + l + 32, -8 = -r - 5*l. Suppose -52 = 4*v - r*v. Let i = -7 + v. Is 6 a factor of i?
True
Is (-3 - (-5 + 0))/((-12)/(-1422)) a multiple of 3?
True
Let a(q) = -51 + 65*q + 39 - 67*q. Let u = -15 + 7. Does 4 divide a(u)?
True
Suppose d - 130 = 5*m, -3*d + m + 346 = -3*m. Let x = d + 1. Does 37 divide x?
True
Suppose 17901 + 23348 = 13*u. Is 87 a factor of u?
False
Let b be (-5)/((-15)/(-21))*-833. Does 4 divide 4/30 + b/255?
False
Let g(y) = y**2 - 62*y - 57. Does 13 divide g(68)?
True
Suppose 50 = -4*t - 18. Let o = t + 52. Is o a multiple of 7?
True
Let k be 21/2 + 18/12. Is 5 a factor of (-2)/k - (-1)/(24/580)?
False
Let z(p) = 17*p - 7. Let q(w) = -w + 1. Let g(n) = -3*q(n) - z(n). Let x be g(2). Let v = 39 + x. Is v a multiple of 3?
True
Let u = -10 + 14. Suppose p + 159 = n + u*p, -2*n + p + 346 = 0. Suppose -4*f - n = -5*z, 3*z + 5*f - 109 = f. Does 12 divide z?
False
Suppose -3*h - 702 = -9*r + 4*r, 4*r = 3*h + 564. Does 9 divide r?
False
Suppose 2*n = -5*u + u + 206, -257 = -5*u - 2*n. Suppose -3*k - 2*f - 38 = 0, -4*k + 0*f = 3*f + u. Is 8 a factor of (-4)/((15/k)/5)?
True
Suppose -25*p = -31*p + 1740. Is p a multiple of 5?
True
Suppose 5*y - 40 = 50. Let b = 30 - y. Is ((-13)/2)/((-1)/b) a multiple of 16?
False
Let k = -1807 + 3651. Is 4 a factor of k?
True
Let u(q) = q**2 - 7*q + 7. Let s be u(7). Suppose -s = c - 24. Does 6 divide c?
False
Let r be (8/12)/(10/(-75)). Is 2 - 165/(25/r) a multiple of 16?
False
Suppose 0 = 3*l + 97 - 328. Let m = l + 1. Does 25 divide m?
False
Suppose -3*t - 5*t = -96. Suppose 2*k = l + 51, -4*l - l = -k + t. Is k a multiple of 2?
False
Let t(v) = -v**2 + 9*v + 4. Let q be t(8). Does 6 divide 0*(-4)/q + 18?
True
Suppose -d - 2*d = 4*z - 3, 4*d - 3*z - 29 = 0. Suppose d*b = -15, -b - 34 = -3*c + 2*c. Is c even?
False
Let z = 88 + 72. Is z a multiple of 20?
True
Let g = -9 + 13. Let y(s) = s**3 + 11*s**2 - 42*s + 13. Let n be y(-14). Suppose -n = -r - f + 1, -g*r + 62 = 2*f. Does 8 divide r?
False
Suppose -27*k + 2*b = -28*k + 2407, b = -4. Does 15 divide k?
True
Suppose -4886*u - 5600 = -4891*u. Is u a multiple of 14?
True
Suppose -4*h + 12 = 2*t, 2*t + 3*h = 2*h + 27. Suppose -12 + 4 = -2*l. Suppose l*x - t = 36. Is x a multiple of 4?
False
Let j be (-9)/(-12)*-2*40/(-15). Suppose -j*c + h = -7*c + 820, 3*c - 3*h - 816 = 0. Is c a multiple of 35?
False
Let y be (-9)/27 + 19/3. Suppose 15 = -3*r, 3*r - 107 = -2*n + y*r. Is n a multiple of 35?
False
Does 11 divide (-8)/44 + 4628/44?
False
Let z = 0 + 34. Suppose 5*g - j - z = 0, -2*j + 10 = -g + 4*g. Let f = g + -1. Is f a multiple of 2?
False
Let k = -36 - -24. Let q = k + 22. Is 6 a factor of 102*(-3 - q/(-3))?
False
Let m = -438 + 838. Is 25 a factor of m?
True
Suppose -5*t = 5*a - 680, -4*t + 3*t + a = -144. Is t a multiple of 19?
False
Let a(s) = -145*s + 308. Is a(-6) a multiple of 19?
True
Let n(m) = 4*m + 348*m**2 - 7 - 345*m**2 - 5. Is n(4) a multiple of 12?
False
Suppose d = -4*d + 1065. Suppose 33 = -5*x + d. Does 9 divide x?
True
Let m(a) = a**2 + a. Let v be m(-1). Suppose b + 2 + 1 = v. Is 5*-2*b/6 a multiple of 3?
False
Does 14 divide 3/5 - 742/(-5)?
False
Let w be (-30)/(-210) + 13/7. Suppose -2*r + 4*r = w*m + 42, 0 = -4*m. Does 5 divide r?
False
Suppose 7*z = 11*z + 24. Let u = 0 + 10. Does 2 divide (24/u)/(z/(-15))?
True
Let d = -5 - -8. Suppose 0 = 5*u - 0*u + v + 22, -d*v + 29 = -4*u. Does 10 divide (38/u)/((-4)/10)?
False
Suppose 2*l - 5*l + 4*d = 37, 5*l + 75 = 4*d. Let n = l - -38. Let a = n - 12. Does 7 divide a?
True
Let y(p) = -118*p**3 - 1. Suppose 0 = -n + 5*r - 16, 5 = -3*n + r - 1. Let g be y(n). Suppose -6*f - 2*h = -2*f - 194, 2*f + 5*h - g = 0. Is f a multiple of 17?
False
Is (50/8)/((-2)/(-208)) a multiple of 65?
True
Let t = 1662 + -654. Is t a multiple of 18?
True
Is (-2 + 7)*76/5 a multiple of 5?
False
Suppose 2*i - 5*b - 275 = 0, -2*b = 4*i - 0*