1. Suppose 5*i + l*j = 297, -2*j - 163 = -3*i - 7*j. Does 24 divide i?
False
Suppose -3*d + 2 = -10. Let n be 279/(-6) - (-6)/d. Is (-2)/(-9) + (-575)/n a multiple of 13?
True
Let a = 24 + 1086. Is a a multiple of 30?
True
Let s = -1 + -17. Let m = s + 18. Suppose c + c - 20 = m. Does 5 divide c?
True
Let v(h) = h**2 + 40*h - 161. Is 120 a factor of v(-59)?
True
Let w(c) = c**3 + 12*c**2 - 2*c - 12. Let m be w(-5). Suppose m = 4*y - 139. Is y a multiple of 13?
True
Suppose n + 0*n + 2*h + 22 = 0, 0 = 4*n - 4*h + 76. Let u = n + 77. Is 19 a factor of u?
True
Does 3 divide (150 - (-12 - -4)) + (-14)/(-2)?
True
Suppose h - 3*k - 121 = 0, -4*k - 750 = -5*h - 200. Does 57 divide h?
False
Suppose 0 = 29*j - 28*j - 3. Suppose j*n - 4 - 20 = 0. Does 5 divide n?
False
Let h be 0 + -1*(-2 + 2). Suppose 2*p + 3*p - 135 = h. Suppose 343 = 5*t - 2*w, t - 3*w = 93 - p. Is 23 a factor of t?
True
Let b(j) = 20*j**2 - 4*j + 9. Is 6 a factor of b(5)?
False
Suppose -4*p + 950 = 3*l + 2*l, -4*l + 2*p = -786. Does 5 divide l?
False
Let w(u) = 2*u**2 - u - 22. Let j be w(-4). Suppose -15*d = -j*d - 91. Does 10 divide d?
False
Let v = 107 - 105. Let o(t) = 4*t**3 - 5*t**2 + 6*t - 2. Is 9 a factor of o(v)?
False
Let j(q) = -q**3 + 13*q**2 - 13*q + 9. Let y be j(12). Let a = y + -14. Is 35 a factor of 10/(-4)*(a + 3)?
True
Let t(m) = 86*m**2 + 3*m + 45. Does 35 divide t(-5)?
False
Let a(s) = 3*s**3 - s**2 - s + 1. Let o be a(1). Suppose 3*g - o*i - 221 = 0, -5*g - 3*i + 4*i = -373. Is g a multiple of 15?
True
Suppose 3*z - 1 - 384 = -2*p, 0 = 5*z + p - 651. Is 6 a factor of z?
False
Suppose 0 = -25*k - 2*k + 52731. Does 63 divide k?
True
Let v(g) = 5*g - 1. Let x(f) = 9*f - 2. Let h(a) = 11*v(a) - 6*x(a). Let t be h(4). Suppose 0 = -t*d - 5*m + 60, -m - 24 = d - 4*d. Does 2 divide d?
False
Let g(y) = y**2 - 7. Let a be g(-7). Suppose -3*q + a = -48. Suppose q = 5*j - 20. Is j a multiple of 3?
False
Let u = -10 + -43. Does 8 divide -6 + 9 - u*1?
True
Let b(v) = -3*v**3 + 2*v**2 + 22. Let t be b(4). Let j = -84 - t. Does 9 divide j?
True
Let p be ((-3)/(-6))/((-2)/(-16)). Suppose p*a - v - 4 = 0, v + 0*v + 4 = -3*a. Suppose -5*o = r - 49, a*r + 3*o = -r + 39. Is r a multiple of 24?
True
Let r be (27/(-15))/((-2)/10). Suppose 20*t = r*t + 506. Is t a multiple of 9?
False
Let r(p) = 38*p + 84. Does 41 divide r(3)?
False
Suppose -2*y - 4*g - 62 = 0, -g - g - 113 = 3*y. Suppose 2*o = q - 139, -31 = o + 3*q + 49. Let v = y - o. Does 15 divide v?
True
Let w be (23 + -13)*(-3)/5. Is 45 a factor of (((-81)/w)/9)/(-3)*-466?
False
Let w be (679/21 + -5)/(2/(-6)). Is 1*(2/4)/((-1)/w) a multiple of 20?
False
Let a be 6540/25 + (-12)/20. Suppose 0 = -6*y + 3*y + a. Is 23 a factor of y?
False
Suppose -6*o + 28 + 32 = 0. Does 13 divide (-9)/45 + 1302/o?
True
Let k(h) = h**2 + 3*h - 8. Suppose -5*j - 10 = 5*q, -j + 8 = -2*q - 5. Let r be k(q). Suppose -2*l - 14 = d - r*d, -5*d - 2*l + 130 = 0. Does 6 divide d?
True
Let b = -23 - -27. Suppose b*t = -3*t + 70. Does 5 divide t?
True
Suppose -2*z + 4*b - 19080 = -6*z, -10 = -2*b. Is 87 a factor of z?
False
Let s = 650 - 486. Is s a multiple of 10?
False
Let y(g) = 2*g + 1. Let x be y(0). Let h(b) = 15*b + 10 + b**3 + 17*b**2 + 5 - x - 4. Is 16 a factor of h(-16)?
False
Let v(h) = h**3 - 4*h + 3. Let m be v(2). Suppose -m*q = q. Let c(o) = o + 16. Is 16 a factor of c(q)?
True
Suppose f + m + 7 = -86, 2*m = 5*f + 479. Let b = f + 138. Does 6 divide b?
False
Let k(v) = -14*v**3 + 3*v**2 + 2*v - 3. Let p be k(-3). Suppose w + p = 7*w. Is w a multiple of 11?
True
Suppose 61*r - 52*r - 1719 = 0. Is r a multiple of 20?
False
Let b be (-19)/(-2) - (-4)/(-40)*5. Is 7 a factor of (196/6)/(-5 + 51/b)?
True
Is (-450)/(-4)*(-4 + 260/25) a multiple of 16?
True
Let a = 20 - 16. Let c be (-1 + (-3 - a))*1. Let j = c + 22. Does 7 divide j?
True
Suppose 3*v = 5*q + 423, -183 = 2*q + v - 16. Let z = -42 - q. Is z a multiple of 6?
True
Suppose -4*f + 8 - 80 = -5*r, 2*r + f = 21. Let w = -6 + r. Suppose 0 = w*j - 173 - 163. Is 14 a factor of j?
True
Let j(y) = -y**2 - 12*y + 7. Let l(m) = -m**2 - m - 1. Let h(t) = j(t) - 2*l(t). Let g be h(7). Let v(w) = w**3 + 13*w**2 + 7*w + 3. Is 21 a factor of v(g)?
True
Let w be -35 + -3 - (2 + -6). Let n = -31 - w. Suppose 2*x + 60 = n*x. Is x a multiple of 15?
True
Let p be (-16)/(-4)*14/(-4). Let k = p - -16. Suppose -5*w - k*r + 55 = -74, 0 = 3*w - 2*r - 87. Is 9 a factor of w?
True
Let h(v) be the first derivative of v**2/2 - 3*v + 6. Let p be h(1). Does 19 divide (p/4)/(5/(-760))?
True
Suppose 7*g - 10*g + 48 = 0. Suppose 0 = 2*l - 18 - g. Is l a multiple of 3?
False
Let m(l) = -5*l**2 + 6*l**2 - l**2 - 2 + 5*l**2. Is 12 a factor of m(2)?
False
Suppose 122*i + 12208 = 130*i. Does 30 divide i?
False
Suppose -2*o + 21 = -9*o. Is (0 - 1041/(-4)) + o/12 a multiple of 20?
True
Let a(y) = 155*y**2 - 2*y - 1. Let v = 57 + -58. Is a(v) a multiple of 13?
True
Let d = 721 + -344. Is 29 a factor of d?
True
Let b be ((-2)/(-3))/(6/18). Suppose -4*p = 5*f - 26, -2*p - b*p = 4*f - 24. Is 1192/56 - p/14 a multiple of 21?
True
Let t(g) = g**2 + 5*g + 6. Let s(f) = f**2 + 5*f + 6. Let n(q) = 4*s(q) - 5*t(q). Let d be n(-5). Is d/(-8) - 250/(-8) a multiple of 8?
True
Suppose 0 = 2*q - 2*w + 2, 2*q - 3*w = 3*q - 7. Let b = 22 + q. Suppose -61 - b = -t. Does 14 divide t?
True
Let x be ((-175)/15 + 0)*21. Let s = x + 386. Is s a multiple of 25?
False
Suppose 0 = -3*n + 4*d + 340, 0 = 23*n - 25*n - d + 212. Is 4 a factor of n?
True
Let o(g) = 6 + 0*g**2 - g**3 + 15*g**2 - 8*g**2 + 6*g. Let j(s) = s + 12. Let l be j(-6). Is 39 a factor of o(l)?
True
Suppose 0 = i - 5*a - 7, 6*i + a + 8 = 4*i. Is 7 a factor of i/6 - 142/(-4)?
True
Let r be (-10)/(-5) - (0 - 2) - 2. Suppose -2*x - 3*x + 35 = 0. Suppose -r*t + x = -13. Is 5 a factor of t?
True
Let h(c) = -9*c**2 + 22*c - 10*c**2 + 24*c**2 + 2. Is 47 a factor of h(-8)?
False
Let u = 176 - 81. Let l = -65 + u. Does 30 divide l?
True
Let r(i) = -i**2 + 5*i + 1. Let b be r(4). Suppose -b*p + 3*v - v = -2, -5 = -3*p + 5*v. Suppose p*k + k - 22 = 0. Is 22 a factor of k?
True
Let o(p) = -36*p**3 - p**2 + 2*p - 1. Let d be o(1). Is d/9 + 2*47 a multiple of 18?
True
Let f(y) = -7*y**2 - 3*y + 2. Suppose -3*v + 25 = -8*v. Let h(s) = 7*s**2 + 3*s - 3. Let i(b) = v*f(b) - 4*h(b). Does 12 divide i(-2)?
True
Let n(i) = i + 3. Let m be n(-6). Let a(y) = 2*y**2 + 2*y + 2. Let v be a(m). Let p = v + -8. Does 2 divide p?
True
Does 17 divide 33 - 34 - (-55 + 1)?
False
Let u be -3 - (-3 + 6/(-3)). Suppose 193 = 3*v + 2*v + u*o, -4*o = -16. Suppose 11 = r - v. Does 8 divide r?
True
Suppose -2*m + 1 = -0*m + 3*a, 3*m - 6 = -3*a. Suppose 2*g + 4*f - f = 12, -m*f - 24 = -4*g. Is (g/3 - -3) + 3 a multiple of 3?
False
Let a = 192 + 46. Does 56 divide a?
False
Let l be 2 + -13 + -3 + 5. Let r = 13 + l. Suppose 8*t - r*t = 140. Is 14 a factor of t?
False
Let j = -45 + 154. Is j a multiple of 13?
False
Let l = -69 - -39. Let c be (12/10)/((-9)/l). Suppose w - 56 = -5*n, w - c - 44 = 3*n. Is 22 a factor of w?
False
Suppose 56 - 260 = -4*b. Suppose 0*t - s = 4*t - b, -t = -5*s + 3. Does 11 divide t?
False
Suppose 0 = -m - 4*u - 16, 0*u + 3*u = 2*m - 23. Is 10 a factor of m + (22 - -3) + 0?
False
Suppose 0 = -0*q + 5*q. Suppose 4*l - 671 = 3*r, 3*r + 2*r - 15 = q. Is 14 a factor of l?
False
Suppose s + 1040 = 9*s. Does 10 divide s?
True
Suppose 0 = 2*w - 15 - 9. Suppose -2*m + 0*m + 4*t + w = 0, -m = 2*t + 2. Suppose 8*a - 3*a - 375 = -3*z, m*a + 3*z = 150. Is 15 a factor of a?
True
Let f(r) = -r**3 + 43*r**2 - 47*r - 60. Does 55 divide f(41)?
True
Suppose -8*b - 22*b = -3180. Is 8 a factor of b?
False
Let w = -10 + 8. Let j = w - -4. Suppose -181 = -5*q + 3*f, -7*f + 3*f + 88 = j*q. Is q a multiple of 13?
False
Suppose -9 = -2*l + 5*d, 0*l + 3*l - 45 = -3*d. Let n be 44*l/8 - -3. Let g = -24 + n. Is 9 a factor of g?
True
Let j = -27 - -428. Is j a multiple of 23?
False
Suppose i + 3*m = -i + 3, 10 = 5*i + 5*m. Suppose -i*o = 2*c - o + 16, 5*c - o = -64. Is (-5)/20 + (-291)/c a multiple of 6?
True
Is 95 a factor of 1 + 76149/15 + (-54)/90?
False
Let y = 1542 + 409. Is y a multiple of 46?
False
Let p = 29 - -43. Suppose -2*u + p = u. Is u a multiple of 8?
True
Suppose -v - 38 = -5*r, -v + 5 - 3 = 0. Let m be -4 + 36/(-