et u = -48 + 80. Does 14 divide u?
False
Let n(f) = 4*f**3 - 2*f**3 - 4*f - 3*f**3 + 5*f**2 + 11*f + 2. Does 4 divide n(6)?
True
Let p = 34 + 5. Does 13 divide p?
True
Suppose 5*x - 20 = -4*g - 0*x, -4*g + 20 = -4*x. Suppose 3*q - 18 = -j, 3*q - 30 = -2*q + g*j. Does 4 divide 8 - (q/3 + -1)?
False
Let s = -29 + 42. Is 13 a factor of s?
True
Suppose -k + 30 = -2*q, -k - q + 0*q = -15. Does 13 divide k?
False
Let m = -2 + -6. Let j be 1980/16 - 2/m. Suppose -5*v - z = -5*z - 168, -4*v - 2*z = -j. Is 11 a factor of v?
False
Let g = -103 + 153. Does 5 divide g?
True
Let l = -19 + 13. Let i(o) = -o**2 - 7*o - 4. Let c be i(l). Suppose k - c = 14. Is k a multiple of 8?
True
Suppose 0 = -13*y + 6*y + 1022. Is y a multiple of 28?
False
Let m = -852 - -2310. Is 17 a factor of m/42 - 4/(-14)?
False
Let y(u) = 50*u - 2. Is y(4) a multiple of 23?
False
Let h = -23 - -44. Suppose h + 29 = 5*k. Is k a multiple of 4?
False
Let x = 4 + -2. Let q(i) = 2*i**2 - 1 - 2*i**2 - 5*i - 1 + i**x. Is q(10) a multiple of 16?
True
Let j(z) = -4*z**3 - 2*z**2 + 2*z. Is j(-3) a multiple of 21?
True
Suppose 0 = 5*t - t - 156. Does 13 divide t?
True
Let f be -3*(1 - 16/(-6)). Suppose g = 5*l - 16, -3*g + 4*l - 2*l = 74. Let i = f - g. Is 6 a factor of i?
False
Let t be (-3 - -3) + 2 + -1. Let d = 0 + t. Let l(s) = 20*s**3 + s**2 + s - 1. Is 8 a factor of l(d)?
False
Let a be (-44)/10 + 4/10. Let l(d) = -d**3 + 4*d**2 - 5*d + 8. Let o be l(6). Is 13 a factor of o/a + (-3)/(-6)?
False
Suppose -2*d = 3*g, d - 5*g = -3 - 10. Does 5 divide (-1)/d - (-60)/9?
False
Let v = -166 + 237. Suppose 4*i + 100 = -20. Let m = v + i. Does 14 divide m?
False
Let f(h) = 14*h + 16. Let d(p) = 5*p + 5. Let w(z) = -17*d(z) + 6*f(z). Suppose -4*l + 10 = -18. Is w(l) even?
True
Let o(a) = a**3 - a**2 + 14. Let y(v) = v**3 + 3*v**2. Let w be y(-3). Does 7 divide o(w)?
True
Suppose 3*k + 44 = -k + b, 4*k - 2*b + 48 = 0. Let s = -7 - k. Is s even?
False
Is 9 a factor of ((-15)/12)/((-2)/144)?
True
Let a(k) = k**2 + 6*k + 7. Let m be a(-5). Let y = -130 + 270. Suppose -y = m*x - 6*x. Does 13 divide x?
False
Is 10 a factor of (-12)/7*11*(-21)/6?
False
Let t(g) = -14*g**3 + 2*g**2 - 18*g**3 - 5*g**3 + 3*g**3 - 1. Is t(-1) a multiple of 9?
False
Let r = -20 + 42. Is 11 a factor of r?
True
Is 17 a factor of -145*4/(-8)*2?
False
Let x(y) = y**3 + y**2 + y - 1. Let k be x(0). Let f be (2 + k - -1) + -2. Suppose f*n - 90 = -3*n. Is 15 a factor of n?
True
Let t(l) = -l**3 + 11*l**2 - 9*l - 8. Does 25 divide t(8)?
False
Suppose 386 = 4*a - 2*g, a + g - 101 = 6*g. Suppose -4*i - 2*u = 2 - a, -3*i - 5*u = -67. Let j = 44 - i. Is 10 a factor of j?
True
Let r be (38/6)/(1/9). Suppose -r - 12 = -3*a. Does 6 divide a?
False
Suppose -3*o - 2*n = -9 + 3, 2*o + 5*n - 4 = 0. Suppose -6 = -3*u - y, -2*u - 2 = -3*u + 5*y. Is 6*(o - 1) + u a multiple of 4?
True
Let m = -12 + 28. Let l = 82 - m. Is l a multiple of 28?
False
Suppose 5*w = 2*j + 350, -70 = 2*w - 4*j - 194. Is 8 a factor of w?
True
Let j(u) be the third derivative of -u**5/60 - 5*u**4/12 + 2*u**3/3 - u**2. Let r be j(-10). Let v = 13 - r. Is v a multiple of 9?
True
Let h be 1 - (-1 - 118/(-1)). Does 6 divide (1 - 2)/(4/h)?
False
Suppose 3*a - 146 = -5*l, 0*a = -5*l - a + 142. Does 13 divide l?
False
Is 16 - (-1)/(-2)*0 a multiple of 13?
False
Let f(c) = -c**3 - 5*c**2 - 3*c + 3. Let d be f(-3). Let i = 26 + d. Does 10 divide i?
True
Let y = 108 + -24. Does 12 divide y?
True
Is 9 a factor of -1 + (2 - 36/(-4))?
False
Suppose 4*a = 4*f - 440, 0*a + 480 = 4*f + 4*a. Does 7 divide f?
False
Let d(c) = 4*c**2 + 0 + 1 + 4*c**2 + 3*c**2. Is 12 a factor of d(-2)?
False
Let o = -677 - -1001. Is 13 a factor of o?
False
Let i(p) = -2*p**3 - 3*p**2 - p + 6. Does 15 divide i(-4)?
True
Let m = 158 - 94. Does 8 divide m?
True
Let p be 2 - (0/4 - -2). Let l(u) = -u**2 + 0*u + 32 + 0*u. Is 16 a factor of l(p)?
True
Let v(z) = z - 1. Let g be v(3). Let r(p) = -2*p + g - 3 - 3. Does 6 divide r(-8)?
True
Let a = 24 - -7. Does 31 divide a?
True
Suppose -2*h = -2*r - 8, 0 = -4*h - 3*r + 1 + 15. Suppose -2*i = -5*f - 39, 5*i - 126 + 13 = -3*f. Suppose 0*w - 2*p = 4*w - i, -h*w + p + 19 = 0. Is w even?
False
Let x be 64/10 + (-14)/35. Does 12 divide -3 - (-34 - x/2)?
False
Let k = -38 + 21. Let i = k - -28. Is i a multiple of 3?
False
Let u(w) = 5*w**3 + 16*w**2 + 33*w - 1. Let z(l) = -3*l**3 - 8*l**2 - 17*l + 1. Let s(c) = 4*u(c) + 7*z(c). Let q be s(9). Let j = 56 - q. Does 17 divide j?
True
Is 2 a factor of (10 + -5)/((-5)/(-6))?
True
Suppose 1 = n - 17. Is n a multiple of 3?
True
Is (4/(-5))/((-258)/(-130) - 2) a multiple of 26?
True
Suppose -m + 2 = -1. Suppose -21 = -3*l - 3*b, b + 68 = 4*l - m*b. Suppose -4*c + 76 = -l. Is 11 a factor of c?
True
Let x be 2 + -2 - -12 - -2. Suppose x = 2*a - 4. Is a a multiple of 3?
True
Let y be (7/(-3) + 2)*-33. Let z(j) = j**3 - 10*j**2 - 6*j - 10. Is z(y) a multiple of 17?
False
Let z = 13 - 9. Suppose 51 = z*t - 29. Is t a multiple of 10?
True
Let n(u) = u**3 + 7*u**2 - 5*u + 13. Is n(-7) a multiple of 6?
True
Suppose -7*i + 6*i = -3. Is i even?
False
Suppose 5*c = 3*c + 32. Does 7 divide c?
False
Suppose 0 = -2*c - 0*d + 4*d + 6, -d = 0. Suppose -25 + 4 = -c*v. Is 4 a factor of v?
False
Suppose 342 = -0*i + 2*i. Let q = i - 79. Is 16 a factor of q?
False
Let y(w) = -2*w**3 - 6*w**2 + w + 17. Is y(-5) a multiple of 12?
False
Let h = 3 + 2. Suppose 2*r + 96 = h*r. Is 16 a factor of r?
True
Suppose -5 = -3*u + 2*r, 2 = -2*u + 4*r - 0. Suppose -2*o = -2*y - 10, -u*y + 6*y + 1 = o. Let m = 14 - o. Does 7 divide m?
True
Let d = 38 + -21. Let l = d - 7. Is 4 a factor of l?
False
Let h(t) = 35*t + 12. Is h(3) a multiple of 7?
False
Suppose -a + 82 = -8. Is 18 a factor of a?
True
Let c = 2 - 3. Let h(l) = 3*l**2 - 2*l - 1. Let j be h(c). Suppose 5*z - 3*d = 13, z - 5*z + j*d = -12. Is z a multiple of 2?
True
Suppose u - 36 = -2*u. Let n be (0/1 - 2) + u. Let h = -7 + n. Does 3 divide h?
True
Suppose -2*x + 4 + 2 = 0. Let d = x - 3. Suppose b + z - 6 = -d*b, -2*b = 4*z - 8. Does 4 divide b?
True
Let t be (-2 - (3 + -8))*3. Suppose 16 + 17 = h + 5*a, 3*h - 3*a - t = 0. Is 8 a factor of h?
True
Suppose 5*n + 55 = -3*h, -2*h - 5 = -3*h + 3*n. Let l be (-14)/(-5)*(-35)/(-14). Does 9 divide 187/l - h/35?
True
Let s = 19 + -11. Suppose -4*l - s = -8*l. Is (-9)/(18/(-8) + l) a multiple of 12?
True
Suppose -o + t + 3 = 0, -3*o + t + 1 = -4*t. Suppose -5*b - 4*j + 8 = 0, -2*j = -1 + o. Does 4 divide b?
True
Let p = -8 + 4. Let s(x) = 2*x**2 + 5*x + 6. Does 18 divide s(p)?
True
Is 3 - (-22 - (0 + -2)) a multiple of 15?
False
Let z(g) = 2*g - 14. Is z(13) a multiple of 5?
False
Let d(f) = -2*f**3 - 6*f**2 - 4*f - 6. Let c be d(-4). Suppose -4*b + 3*b = -c. Does 14 divide b?
True
Let a(d) be the first derivative of -25*d**4/2 - d - 4. Is a(-1) a multiple of 26?
False
Suppose -z = -2*c + 42, 4*c - 102 = -c + z. Is c a multiple of 10?
True
Let h = 88 - 83. Is 5 a factor of h?
True
Suppose -8 = -2*t + 2*i, -3*t + 17 = -0*i + 2*i. Suppose 5*g - 2 = 23. Suppose -t*f = 3*q + q - 7, g*f = -2*q - 9. Does 4 divide q?
True
Let s = 17 - 13. Suppose 0 = -o - s*r + 84, -2*r - r = 3. Is o a multiple of 19?
False
Is 4 a factor of (-82)/(-6) - (-4)/12?
False
Suppose c = -c + 54. Is 9 a factor of c?
True
Suppose -10 = -9*p + 4*p. Suppose -9 = -2*u + 3*i, -3*u + p*i + 7 = -4. Does 2 divide u?
False
Suppose s = 2*s - 4. Is 3 a factor of (6/(-9))/(s/(-18))?
True
Let j(t) = -t**2 + 5*t + 1. Suppose -5*l + 15 = -2*l. Let n be j(l). Is 4 a factor of 6*(2 + -1 + n)?
True
Let i = 34 - -14. Suppose 3*c - 4*c + 4*l + i = 0, -90 = -2*c + 5*l. Suppose -6*h + 2*h = -c. Is h a multiple of 10?
True
Let k = -17 - -27. Let x be 5/(k/4) + 21. Suppose 3*g + 3*z = 27, 2*g + 0*z - x = 3*z. Is g a multiple of 10?
True
Suppose -3*i + 174 = 474. Let g be 4/18 + i/(-36). Suppose -71 = -3*d + 5*b - 23, -9 = g*b. Does 8 divide d?
False
Suppose -3*q + 20 = 2*q. Let x(t) = t**2 - q*t**3 + 12 + 2*t**3 - t + 3*t**3. Is 6 a factor of x(0)?
True
Let q(r) = -r**3 + 5*r**2 - 7*r + 4. Let l be q(4). Is 38 + (-2 - l)/2 a multiple of 15?
False
Suppose 0*r = r - 1, 0 = -l + 4*r - 1. Suppose -l*p = -0*p - 18. Is (-1)/(-3) - (-118)/p a multiple of 11?
False
Let o(p) = -5*p + 6. Is o(-14) a multiple of 19?
True
Let