6. Does 3 divide i?
False
Let b(k) = k**2 + 19*k - 32. Suppose 43 = -9*p - 155. Does 34 divide b(p)?
True
Let w(t) = -t**2 + 9*t + 5. Let v be 2*(-12)/8 - -12. Let d be w(v). Suppose 0 = -0*l + 2*l + i - 7, 0 = -d*l - 4*i + 10. Is 3 a factor of l?
True
Let y(m) = -m - 4. Let z be y(0). Let o be (18/z)/((-4)/24). Let f = -8 + o. Is f a multiple of 19?
True
Let g = -248 + 259. Does 2 divide g?
False
Let v(t) = -t**3 + 4*t**2 + t - 10. Let a be v(4). Is 18 a factor of 105*-5*a/35?
True
Is (1 + 3050/(-6))*(-72)/16 a multiple of 20?
False
Suppose 8*s - 5 = 43. Suppose -682 + 154 = -s*y. Does 33 divide y?
False
Let r = 2 - -5. Suppose -r*f - 85 = -8*f. Is f a multiple of 12?
False
Suppose -3*k - 2*l + 297 = l, -4*k + 421 = -l. Let v = k - 35. Is 15 a factor of v?
False
Let j(z) = 2555*z**2 - z + 1. Does 35 divide j(1)?
True
Let w(k) = k**3 - 10*k**2 - 13*k + 16. Let o be w(11). Let f be (18 - 6)*o/(-9). Let j(c) = c**2 - 3*c - 8. Is j(f) a multiple of 21?
False
Let k = -442 + 934. Is k a multiple of 12?
True
Suppose 440 = 13*m - 223. Let j = 7 + -21. Let a = j + m. Is 15 a factor of a?
False
Let z(b) = -2*b**3 + 3*b**2 + 2*b + 1. Let x be z(-2). Suppose -105 - x = -5*l. Does 3 divide l?
False
Suppose 20 = 146*z - 145*z. Suppose -5*y + 15 + 10 = 0. Suppose -y*v + 75 = -z. Does 4 divide v?
False
Suppose -5*m = -h + 100, m - 555 = -4*h - 197. Suppose z + h = l, 102 = -3*l + 5*z + 372. Is l a multiple of 45?
True
Let f = 17 - -4. Is 12 a factor of (-14)/f + 114/9?
True
Let a be (-8)/6*(62 - -10). Is 3 a factor of a/(-15) + 1/((-5)/2)?
True
Suppose 0 = 4*d + 46 - 54, 3*f - 1882 = -5*d. Is 39 a factor of f?
True
Let n = -93 + 99. Let m(o) = 3*o**2 + o + 12. Is 35 a factor of m(n)?
False
Let y be 0 - (2 + 0/4). Let s be -3*(-9 + y)*-3. Is 25 a factor of s/(-2) + (-1)/(-2)?
True
Suppose 2*k - 6 = 4. Suppose 0*v - 325 = -5*p + 2*v, 325 = k*p + v. Is 13 a factor of p?
True
Let i(t) = 4*t**3 + 9*t**2 + 32*t - 207. Does 15 divide i(7)?
True
Let i(j) = -j + 4. Let y be i(0). Suppose 3*x = -3*s + 99, 0*x + 5*s = x - 15. Suppose -y*u - z = -23 - x, z - 5 = 0. Is 3 a factor of u?
True
Let s = -28 + 28. Suppose 0 = c - f + 2 - s, -4*f - 1 = 5*c. Does 2 divide 2*c/(-3)*3?
True
Suppose 0 = -2*z + 4 - 0. Suppose -z*c - 2*c - 3*g + 33 = 0, -c - 4*g = -5. Suppose -5*y - 7*q = -2*q - 95, 0 = -3*q - c. Is 12 a factor of y?
False
Let q = -21 + 23. Suppose 0 = 5*r - 4*s - 608, 0 = -2*r - r + q*s + 364. Suppose -3*n = 3*d - 72, 2*n = 4*d - 0*d - r. Is d a multiple of 28?
True
Suppose s + 4*w - 33 = 0, -s + w = 3*w - 35. Suppose -34*h = -s*h + 636. Is 15 a factor of h?
False
Is (122 - 3)/7*(61 - 3) a multiple of 31?
False
Suppose 14*r - 108 = 2*r. Suppose -121 - 284 = -r*m. Is m a multiple of 9?
True
Let k(m) = 5*m - 3 - 12*m - 4*m - 21*m + 6*m. Let b(q) = q**2 - 6*q + 1. Let i be b(5). Does 22 divide k(i)?
False
Suppose -2*r = -2*b + 126, 11*b - 5*r + 165 = 14*b. Is b a multiple of 4?
True
Let f = -1 + 7. Let m = f - -74. Is m a multiple of 16?
True
Suppose 6*c - 10*c = 16. Is 4 a factor of ((-3)/c)/(4/272)?
False
Let k = -239 + 1375. Is k a multiple of 22?
False
Let j(m) = m**2 - 24*m - 85. Does 20 divide j(-5)?
True
Let s be -3*3/6*-2. Suppose -5*w + 7 = g, s*w + 0*g + 1 = 2*g. Suppose w = i - 9. Does 4 divide i?
False
Suppose 49*n = 44*n + 15, -2*y - 5*n + 281 = 0. Is 19 a factor of y?
True
Suppose 8*q - 7*q = 4. Suppose q*s - 2*o = 80 + 230, -4*s + 4*o = -304. Is 28 a factor of s?
False
Suppose 0 = 2*u + o + 4 - 32, -u - 4*o = 0. Is 3 a factor of u?
False
Let d(s) = 4*s**2 + 2*s + 147. Does 10 divide d(0)?
False
Let c(p) = -p**3 + 46*p**2 + 5*p + 15. Does 21 divide c(46)?
False
Let l = -348 + 688. Is 17 a factor of l?
True
Let f = 2871 + -2591. Is 40 a factor of f?
True
Let n = 82 + -83. Is (3 + -2)*1*(n + 48) a multiple of 12?
False
Let n be 3/((-3)/(-359)) - 2. Suppose -4*v + n = -v. Is 25 a factor of v?
False
Let l(j) = j**3 + 20*j**2 + 19*j - 130. Is l(-14) a multiple of 10?
True
Suppose -2*q - 59 - 35 = 0. Let s = q + 71. Does 24 divide s?
True
Suppose 24 = 115*c - 112*c. Does 4 divide c?
True
Suppose -w + 56 = w. Suppose -4*t = -6*t + w. Suppose 0 = 4*r - t - 38. Is r a multiple of 13?
True
Let q(d) = 5*d**3 - 4*d**2 - d - 10. Let u(n) = 3*n - 5. Let a be u(3). Does 11 divide q(a)?
True
Let d(h) = 3*h + 12. Does 3 divide d(0)?
True
Let u be (-4)/(-26) - 595/65. Let o = 64 + u. Is 11 a factor of o?
True
Suppose 0 = -2*y + 5*h - 9, 3*h - 1 - 5 = y. Suppose 32 = -m + y*m. Does 34 divide 102/(-2)*m/(-24)?
True
Suppose 4*l - 21 = p, -p - 9 = -2*l + 4. Let t be 5352/36 + ((-40)/6)/(-5). Suppose -3*b + b = 0, -5*m + t = -l*b. Is m a multiple of 8?
False
Let a(t) = t**3 - t**2 + 2. Suppose 0*y = -4*y. Let i be a(y). Suppose 34 = i*l + 4. Does 5 divide l?
True
Let g(b) = -29*b + 1. Let p be g(-1). Suppose -17*r + 20*r - p = 0. Is 5 a factor of r?
True
Let h(y) = 519*y - 117. Is 89 a factor of h(10)?
True
Let g be (704/(-10))/((-4)/20). Suppose 4*k + 4*o - g = 0, 0 = -5*k - 0*k + 3*o + 440. Suppose -112 = -2*a + k. Is 25 a factor of a?
True
Suppose 0 = 4*g - 4*d - 76, -5*d - 2 - 21 = -g. Let l be (-2)/12*-2*g. Is 20 a factor of (-2)/l - 832/(-39)?
False
Suppose -5*l - 3*n = -2*n - 1128, -l + 213 = -4*n. Does 9 divide l?
True
Suppose 0 = -2*u + 2, -899 - 303 = -3*i - 5*u. Is 19 a factor of i?
True
Does 5 divide (-10 + (-19 - -9))/(1*-2)?
True
Suppose 4*k - 2296 = -2*n, -3*n - 1164 = -k - k. Is k a multiple of 12?
True
Suppose 2*c = -2, -4*c + 260 = y + 3*y. Let z = -10 - -6. Is 33 a factor of (-1*2)/(z/y)?
True
Suppose -9 = -3*h + 6. Let z = 10 + h. Does 5 divide z?
True
Let a(r) = -r**3 - 5*r**2 - 4*r + 4. Let q be a(-5). Suppose -q = -3*f - t, -2*t = 5*f - 18 - 21. Does 8 divide f?
False
Suppose -4*c + 3292 = 5*y, -7*c - 1306 = -2*y - 5*c. Does 41 divide y?
True
Let h be 4/(-10) - 98/5. Let c be ((-15)/(-10))/((-6)/h). Suppose 10 + 25 = c*k. Is k a multiple of 7?
True
Suppose -10*d - 445 = -2*i - 5*d, -4*i - 5*d = -875. Is 38 a factor of i?
False
Let p(a) = a + 9. Let y be p(-4). Suppose y*g - 23 = v - 4*v, 3*v - 2 = -2*g. Is g a multiple of 2?
False
Suppose d - 3*d = -8. Suppose 0 = -5*m - 2*h - 97 + 813, -728 = -5*m + d*h. Is m a multiple of 16?
True
Let c = -31 + 33. Let m = -191 - -307. Suppose -c*z + m = -0*z. Is z a multiple of 15?
False
Let m = 32 - 32. Suppose m = -g + 1 + 9. Does 10 divide g?
True
Let f = -167 + 527. Is f a multiple of 5?
True
Suppose 30*r - 360 = 12*r. Is r a multiple of 20?
True
Let v = -751 + 1181. Does 14 divide v?
False
Let v(i) = -5*i + 4. Suppose -5*d + 8 = -d. Suppose y + 12 = -5*a - 23, a - 15 = d*y. Is 27 a factor of v(y)?
True
Does 63 divide (-6)/(-8) - (-52432)/64?
False
Suppose -3*t - 3 = 3*m, 8*t = 5*m + 3*t - 45. Suppose o = -0*o - 2*q + 6, -m*q = 5*o - 30. Suppose 0 = -0*u - u + o. Is u a multiple of 3?
True
Let w = 38 + 34. Let j = w + -39. Is j a multiple of 33?
True
Suppose 204*c - 114*c - 10800 = 0. Is c a multiple of 5?
True
Let c be 3/12*0 + 16. Suppose 2*s + c = -k, -6*k + s - 80 = -k. Let t(b) = -2*b - 4. Is 7 a factor of t(k)?
True
Suppose 5*h = 7*h - 3*o - 1335, 2*o = 6. Does 84 divide h?
True
Let t(j) = -j**2 + 28*j + 16. Is 24 a factor of t(14)?
False
Let j be (-4)/(3 + (-2 - 2)). Let v = j + -11. Is (-2)/v + (-876)/(-21) a multiple of 14?
True
Suppose h + 387 = 3*x - 216, -3*h = -2*x + 409. Is x a multiple of 4?
True
Let q = 1149 + -812. Suppose -5*t + q = 32. Is 7 a factor of t?
False
Let n be (27/(-45))/(1/(-245)). Suppose n = 6*g - 201. Does 17 divide g?
False
Suppose -3*b + 178 = 5*h, -3*h + 110 = -2*b + 3*b. Let a = -20 + -6. Let o = h + a. Is o a multiple of 8?
False
Let w(f) = 12*f + 4. Suppose -4 = -5*p + r + 12, 4*r = 5*p - 4. Suppose p*l - 3*c = 30, -l + 16 = l - 2*c. Is 19 a factor of w(l)?
True
Suppose -6 = 4*m - 6*m. Suppose -4*r - 49 = -y - m*r, -r = -2. Does 6 divide y?
False
Let q be (0/(-4))/((-5 - -3)/(-1)). Suppose -5*u - 2*t = -53, -u - 3*u - 5*t + 56 = q. Is 7 a factor of u?
False
Let d be -3 + (-3 - -2) - -1. Let s be (-160)/12*18/d. Let g = -50 + s. Does 8 divide g?
False
Suppose 16 = -2*l + 2*f, 24 = -2*l + f + 6. Suppose 0 = -c + 3*n + 20, -2*c + 2*n + 36 = -8. Let g = c + l. Is 13 a factor of g?
True
Is 42 a factor of (-1)/1 + 252 + 1?
True
Let h(c) = c**3 + 3*c**2 - 1. Let x be h(-3). Let 