(y) + 6*a(y). Does 4 divide m(2)?
True
Suppose 0*c = c + 50. Suppose -4*g = -3*f + 32, 2 = g + 5*f - 13. Does 8 divide (-12)/(g/(c/(-4)))?
False
Let y be -3*1 + (6 - 1). Suppose -15 + 3 = -y*t. Is t even?
True
Let o = -2292 - -4580. Is o a multiple of 44?
True
Suppose -4*g = 2*u - 534, -5*g - u = -4*u - 695. Is g a multiple of 17?
True
Let q be (((-80)/(-25))/2)/((-4)/(-90)). Let s = 169 - q. Is 34 a factor of s?
False
Let g = -3 + -70. Let p = -91 - -225. Let t = g + p. Is 22 a factor of t?
False
Suppose -4*f = -3*v - 1373, 0 = f + 6*v - 3*v - 347. Is f a multiple of 43?
True
Let l(f) = f**3 - 9*f**2 + 3*f + 2. Let m be l(4). Let n(b) = -16*b - 26. Let v be n(5). Let t = m - v. Does 11 divide t?
False
Suppose 8*s + 7*s = 3330. Does 4 divide s?
False
Let j(a) = -11*a**2 - 22*a - 33. Let x(d) = 17*d**2 + 33*d + 50. Let l(k) = -8*j(k) - 5*x(k). Is l(-9) a multiple of 17?
False
Suppose 5*l + 2*a = -a + 370, -3*l - 4*a = -222. Suppose 1 = 3*i - l. Let w = i - 14. Does 11 divide w?
True
Let q = -12 - -12. Suppose -3*k - 2 - 7 = q, -5*k = -2*f + 253. Does 19 divide f?
False
Let t be (15/(-10) - -1)/((-2)/240). Is (t/9)/(2/18) a multiple of 21?
False
Suppose 5*w - 3 = 3*h - 9, 0 = -3*w. Suppose -1 = 3*k + 2*z - 9, -h*k = -4*z - 16. Is 10 a factor of 6*k*1/2?
False
Suppose 4*h + 5*p - 1 = 0, -3*p = -8*p - 15. Suppose -2*b + 5*b = h*v + 498, b = -5*v - 632. Is 21 a factor of (-8)/6*v/4?
True
Let a(j) = -128*j + 728. Does 9 divide a(-4)?
False
Suppose -u - 9 = 4*n, -2*u + u = -4*n - 23. Let z(q) = -q**2 + 6 - 6*q - u*q + 3 - 7. Is z(-7) a multiple of 11?
True
Suppose 235*t = 220*t + 1155. Is t a multiple of 77?
True
Let p be 124/(-217) - 1/((-14)/5748). Let o = -234 + p. Is o a multiple of 16?
True
Let l = 302 - 276. Is 13 a factor of l?
True
Let k = 235 + 41. Suppose -k = -13*u + 205. Is 9 a factor of u?
False
Suppose -415*h + 416*h = 30. Does 4 divide h?
False
Suppose -v + 127 + 20 = 0. Is v a multiple of 21?
True
Let l(h) = 6 + 17 + h**2 - 30. Let z be l(10). Let s = z - 44. Does 11 divide s?
False
Let z = 835 - 671. Is z a multiple of 4?
True
Let w = -5571 - -7987. Does 25 divide w?
False
Suppose -2*z - 3*z = -x - 13, 0 = 3*z + 2*x. Suppose 20 = 5*o - z*n, -o + 4 = -4*n - 0*n. Does 4 divide -2 - (o + 0 + -26)?
True
Suppose -a + 60 = -5*a. Is (-39)/a + (-4)/(-10) a multiple of 3?
True
Let x = -214 + 754. Does 27 divide x?
True
Suppose d - 7 = 4*h, -5*d + 106 = -2*d + 5*h. Suppose 0 = -i - 4*v + 1 - d, -3*i - v = 89. Is (i/5)/(2/(-10)) a multiple of 10?
True
Suppose 4*t + q - 370 = 0, -6*t + 180 = -4*t - 2*q. Let y = t + -43. Is y a multiple of 7?
True
Suppose 0*k + 2*k - 404 = 0. Suppose h - k = -4*w, -3*w + 5*h + 245 = 82. Let d = w + -12. Does 13 divide d?
True
Let x = 4314 + -2559. Is x a multiple of 117?
True
Suppose -142 = w - 3*w + 2*d, w + 4*d = 91. Suppose 1 = 2*k + 5*u - w, 3*k = -u + 88. Is 5 a factor of k?
False
Let s(d) = 14*d**2 - 10*d + 10. Is s(6) a multiple of 14?
False
Let h = -1 + 6. Suppose -5*r + 7*r = -2*v + 102, -4*v + h*r = -213. Suppose -n = -0*n - v. Does 16 divide n?
False
Suppose 4*h + 783 = 13*h. Does 5 divide h?
False
Suppose -u + 2 = t + 5, 4*t + 3*u + 12 = 0. Is (-40)/t*288/60 a multiple of 16?
True
Let v be (4 + (-4 - 1))*-2. Suppose 7*n - v*n - 622 = -2*k, -4*k = -n - 1200. Does 9 divide k?
False
Suppose -3*a - 3*w + 768 = -675, 0 = 5*a - 4*w - 2396. Does 72 divide a?
False
Let h be (-38 - -2)*12/(-18). Suppose 2*p - h = 3*x + 59, -x = 4*p - 159. Is 15 a factor of p?
False
Suppose -5*m + 1 = -a, -2*a - m - 72 = -26. Let v(s) = 2*s + 51. Is v(a) a multiple of 7?
False
Suppose -4*u = -20, 3*o + 0*u + 5*u = 745. Suppose 0 = 6*p - 14*p + o. Is p a multiple of 7?
False
Let s = -23 - -26. Does 15 divide ((-1)/s)/(2/(-270))?
True
Let a(k) = -13*k + 28. Let i = 20 + -25. Is a(i) a multiple of 31?
True
Suppose 0 = -5*m - k + 2877, 0 = 4*m - k + 860 - 3167. Is m a multiple of 24?
True
Is 10 a factor of 50/(-75) - 8*(-2721)/9?
False
Let s(y) = -1320*y + 16. Let j be s(6). Is 12 a factor of 2/9 - j/234?
False
Let m(j) = 12*j**2 + 12*j + 27. Is 9 a factor of m(-7)?
True
Let a be (-18)/(-3)*2/(-4). Let i be 152/(-12) + (-2)/a. Is (-9)/i + 165/4 a multiple of 14?
True
Let y(t) = -t**3 + 3*t**2. Let m be y(3). Suppose -5*r + 11 - 1 = m. Suppose -3*z - 2 = 5*i, -r*z + 4*i - i = -24. Is 2 a factor of z?
True
Suppose -9*p = -433 - 305. Let a = -42 + p. Does 20 divide a?
True
Suppose 0 = 4*i + 5*b - 4*b + 62, -3*i + 3*b = 39. Does 20 divide 350/i*(-36)/14?
True
Let r = -13 - -14. Let d(l) = 16*l**3 - 2*l + 1. Let a be d(r). Suppose 5*u - a = 45. Is u a multiple of 6?
True
Let f(y) = -y**2 + 16*y + 24. Let u be f(16). Suppose 2*i - 30 = -3*s + u, 4*i - 4*s - 148 = 0. Is 11 a factor of i?
True
Is 676/32 + 1/(-8) even?
False
Suppose -93 = 3*u - 4*x, 16*x - 21*x = -4*u - 125. Suppose -f = 2*f - 156. Let s = f + u. Is 16 a factor of s?
False
Suppose 9073 = 16*u + 113. Is 20 a factor of u?
True
Let y(l) = 2 + 6 + 3*l + 4 - l**2. Let a be y(5). Suppose 0 = 5*v - 2*j - 197, 7*v - a*j - 158 = 3*v. Is 8 a factor of v?
False
Let z = 47 - 38. Does 13 divide (z + -4 + -239)/(-2*1)?
True
Let s be (-4)/5 - 8/(-10). Suppose 4 + s = z. Let q = 16 - z. Does 12 divide q?
True
Suppose -3*m = -109 + 31. Let z be (2 - 2) + (-4 - -16). Let b = m - z. Is b a multiple of 14?
True
Let w = 13 - 15. Let y = -4 + w. Is 7 a factor of (2 - y/4)*6?
True
Let x = 25 - -143. Does 7 divide x?
True
Suppose 4*c + 4 = -2*d, -5*c = -2*d - 0 - 13. Let v = d - -6. Suppose v*h + k - 25 = 9, k = -4*h + 66. Does 8 divide h?
True
Let f(l) = 1 + 5 - 8 + 7*l. Let p be (-3)/2 - 40/(-16). Does 5 divide f(p)?
True
Suppose 16709 = -75*f + 82*f. Is 31 a factor of f?
True
Let j(y) = y + 40. Is j(-10) even?
True
Suppose -4*u - 3 + 11 = 0. Suppose -c + 52 = -2*z, 3*c + 3*z - 325 = -u*c. Is 13 a factor of c?
False
Let a(x) = 8*x - 17. Let u be a(7). Let b = u - 21. Is b a multiple of 7?
False
Let h(l) = 2*l**2 - 3*l + 2. Let j be 2 + (-10)/6 - (-51)/9. Is 7 a factor of h(j)?
True
Suppose 5*g + v = -v - 7, 3*g = -4*v + 7. Does 13 divide g/7 + (-828)/(-21)?
True
Let i(v) = v**2 + 10*v - 2. Let o be i(-11). Suppose o*l = 12*l - 399. Is l a multiple of 19?
True
Suppose 3*p + 6*r - 3*r = 291, 8 = 2*r. Is p a multiple of 8?
False
Suppose 4*a - 5*d - 15 = 0, 5*a + d - 18 - 8 = 0. Let h(c) = 6*c - a*c + 11*c. Does 3 divide h(1)?
True
Let g = 2566 - 1266. Does 25 divide g?
True
Suppose 5*k = -2*y + 4, 2*k - 4*y + 4 = -2*y. Suppose k = 105*r - 103*r - 80. Is 14 a factor of r?
False
Let v = -17 + 10. Suppose 3*y + 63 = 5*a, -2*y + 3*y = 4. Let p = a + v. Does 2 divide p?
True
Let a = 20 - -24. Suppose 68 = 3*p - 5*b, 2*p = -2*p - 5*b + a. Is 4 a factor of p?
True
Suppose -2 = -5*v + 3, 2*j + 2*v = 18. Suppose 3*i = j*i - 130. Does 26 divide i?
True
Suppose -2*g - 18 = q, 36 = -2*q + 2*g + g. Does 4 divide q/36 + (-90)/(-4)?
False
Suppose 2*d = -8*n + 540, -13*d + 14*d - 310 = 4*n. Is 10 a factor of d?
True
Let l be 5/5*4 + 0. Suppose 436 = 5*c - 4*w, -3*c = -l*w + 22 - 290. Is 14 a factor of c?
True
Suppose 6*n = 2*n. Suppose -o - 2*b + 16 = 0, -56 = -2*o + 2*b - n*b. Does 3 divide o?
True
Suppose 0 = -4*f - 6 - 6. Let x(s) = -4*s - 2. Is 10 a factor of x(f)?
True
Let c(m) = m**2 + 12*m + 23. Suppose 18 = 11*s - 12*s. Does 12 divide c(s)?
False
Let r = -413 + 124. Let l = 408 + r. Does 8 divide l?
False
Suppose -6*v = v - 448. Suppose 0 = -3*l - v - 14. Let k = 127 + l. Is 21 a factor of k?
False
Let v = -187 - -401. Is v a multiple of 3?
False
Let k(u) = 11*u + 8. Let r be k(-10). Let v be -166 + (2 - 18/3). Let l = r - v. Is 17 a factor of l?
True
Let d(u) be the third derivative of -17*u**4/24 - 5*u**3/6 + 11*u**2. Is d(-6) a multiple of 15?
False
Suppose 5*r = -5*n + 5595, -858 = 5*n - 2*r - 6432. Does 42 divide n?
False
Suppose 129 = -4*g - 5*n, -3*g + 2*n - 120 = 2*g. Let z = g - -36. Does 2 divide z?
True
Suppose 0 = 5*w + 32 - 637. Suppose -13 = -5*t + 3*j + w, 3*j = -5*t + 146. Is t a multiple of 28?
True
Let t be 5/(-2)*1*-2. Suppose t*g - 4*y - 1060 = -0*y, 857 = 4*g - 5*y. Suppose 58 = -2*k + g. Does 25 divide k?
True
Let c be (0 - 15)*(-2)/6. Suppose 4*y - 26 - 8 = -2*o, -11 = -2*y + c*o. Does 2 divide y?
True
Suppose -2*k + 9*k = 1806. Does 3 divide k?
True
Let t = -196 + 356. Is t a m