0*c - 152 = -4*c. Let y = 53 - c. Is 11 a factor of y?
False
Let l(u) = u**3 - 22*u**2 + 21*u + 12. Does 12 divide l(21)?
True
Let h = 12 + -9. Suppose -2*j + j = -h. Suppose 4 + 17 = j*s. Is 7 a factor of s?
True
Let a be (-27)/(-4)*(-8)/2. Is 14 a factor of 0 - 0 - (-1 + a)?
True
Suppose 9*o = 2091 - 525. Is 29 a factor of o?
True
Suppose 2*p = -2*q + 3*q, -2*q - 5*p - 9 = 0. Is 6 a factor of (-93)/(-4) + q/8?
False
Suppose 3*l - 8 + 44 = 0. Let r = 35 + l. Is 15 a factor of r?
False
Is 4 a factor of 14/(-2)*(0 - (-1 + 2))?
False
Suppose 2*u - 38 = -4*b, 3 = -3*u + 12. Does 3 divide b?
False
Let g be (-4 - 1)*(-3)/3. Let s(d) = -d**3 + 6*d**2 - d - 6. Is 14 a factor of s(g)?
True
Suppose 345 = 8*a - 279. Does 26 divide a?
True
Suppose -4*k - 3*n - 27 = 0, -1 = -3*k - 5*n - 13. Let l(d) = d**2 + 8*d - 3. Is l(k) a multiple of 3?
True
Let x(k) = -k**3 + 2*k**2 + k + 56. Does 28 divide x(0)?
True
Suppose 3*f - 5*n - 80 = 2*f, -3*f - n = -304. Is 25 a factor of f?
True
Let i(u) = -u**3 - 14*u**2 - 18*u - 9. Is 10 a factor of i(-13)?
False
Suppose h - 7 = c - 2, -c = 4*h - 10. Let s = 72 - h. Is 21 a factor of s?
False
Suppose -104 = -5*g + 46. Does 30 divide g?
True
Let y = 30 + -46. Let q = y - -34. Does 9 divide q?
True
Let b(r) = -r + 27. Suppose -2*p - 39 = -3*c, 3*p + 2 = -7. Is b(c) a multiple of 13?
False
Let h be 2 + 0 + (-1 - 0). Let g = 15 + -13. Is 0 + h - (g - 41) a multiple of 20?
True
Let s = 4 + -2. Let c = s + 0. Suppose -c*l + l = n - 21, -3*l + 5*n + 23 = 0. Is l a multiple of 11?
False
Suppose -1368 = -34*h + 26*h. Does 53 divide h?
False
Let l = 18 - 6. Suppose j + 4*p + l = 0, j + 32 = 5*j - 4*p. Suppose 0 = z + u - 35, -3*z + j*u + 125 = 20. Is z a multiple of 17?
False
Let t = 103 - 58. Is t a multiple of 9?
True
Suppose -5 = 4*t - 9*t. Let d be (-4 - -5) + 1/t. Suppose -b = d*b - 54. Is 9 a factor of b?
True
Let k = -67 - -111. Does 6 divide ((-10)/(-8))/5*k?
False
Let f(h) = -2 - 2 + 5*h - 1 + 0. Does 10 divide f(5)?
True
Suppose 18 = 2*w + 3*h, -h = w - 4*h - 9. Suppose -2*c + 5*q + w = 0, 0 = c - 2*c + 5*q + 2. Is 7 a factor of c?
True
Let a be 2/(-2)*-5*1. Suppose -2*g = -g - a. Suppose -g*b + 2*r = -33, 5*b + 2*r = 6 + 31. Is b a multiple of 7?
True
Let q be 3/2 - (-7)/14. Let i(y) = -y**3 - 6*y**2 - 6*y + 2. Let n be i(-5). Suppose -35 = q*l - n*l. Does 3 divide l?
False
Let n = -5 - -5. Suppose 4*s + 7 - 19 = n. Is 47/5 + s/5 a multiple of 3?
False
Suppose -3*h + 0*h + 120 = 0. Suppose 4*d = 2*b + h, d + 3*b = -2*d + 48. Does 6 divide d?
True
Suppose -406 = 2*q - 0*q. Let u be 3/6 - q/2. Let s = -66 + u. Does 12 divide s?
True
Let g(n) = -n**3 + 13*n**2 + 6*n - 6. Let r be g(12). Suppose -o = -6*o + r. Is 14 a factor of o?
True
Let z(f) = f + 13. Does 3 divide z(0)?
False
Is 35/(-20)*2*(-20 - -2) a multiple of 7?
True
Let l be 2 + 0 + 0 - -9. Let b = l + -8. Suppose -2*a - b*p + 33 = 0, -4*p = -2*p - 2. Is a a multiple of 12?
False
Let w(b) = -5*b - 6. Let o be w(-6). Suppose 4*a = 4 + o. Is a a multiple of 5?
False
Let r be 6/4 - 1485/(-18). Suppose p - 19 = r. Does 29 divide p?
False
Is 8 a factor of (-226)/4*10/(0 - 5)?
False
Let f = -235 - -398. Is f a multiple of 14?
False
Let r(d) = d - 6. Let l be r(11). Let c(k) = -3 + k + 4*k**2 - 2*k**2 - 5*k. Is 20 a factor of c(l)?
False
Let s = 21 + -13. Let j(i) = i - 4. Let c be j(s). Suppose 16 = n - 3*f - 15, c*f + 73 = 3*n. Is 7 a factor of n?
False
Let h be (6/(-4))/(2/(-68)). Does 15 divide (h + 1)/(14/7)?
False
Suppose -5*s - 4 = 2*w, -2*s = 6*w - 3*w + 6. Let v be 123/3 - (s + -1). Suppose -57 = -5*i - j - j, 2*j = 4*i - v. Is 11 a factor of i?
True
Let u be ((-74)/8)/((-2)/8). Suppose 0*j + 3*j = -69. Let l = u + j. Is 14 a factor of l?
True
Let l(m) be the third derivative of m**5/10 - m**4/6 + 2*m**3/3 - 5*m**2. Does 26 divide l(4)?
False
Suppose k + 40 = 2*k. Does 6 divide k?
False
Let v(w) = -w - 5. Let h be v(-4). Let g = 5 + h. Suppose 0 = 4*t + 4*y - 56, 52 = g*t + y + 4*y. Is t a multiple of 6?
True
Let j(w) = w**2 - 4*w + 3. Let i be j(4). Is 15 a factor of 8/12 + 121/i?
False
Let n = 6 + 8. Does 14 divide n?
True
Let w(j) = -85*j. Let k be w(-1). Suppose -l - 2*l = 5*a - k, -2*a - 2*l = -34. Is a a multiple of 12?
False
Is 9 a factor of (-4)/16 + (-90)/(-8)?
False
Suppose 3 = 4*u - 5*n - 34, -2*n - 22 = -4*u. Does 3 divide u?
True
Let v(m) = m**3 + m**2 - 41. Let t be v(0). Let z = t + 102. Let n = z + -33. Is 10 a factor of n?
False
Let o(r) = 5*r + 14. Let s(p) = -3*p - 9. Let f(t) = -5*o(t) - 8*s(t). Let b be f(0). Suppose 2*k + 5*u - 70 = 0, 7*u = -3*k + b*u + 100. Does 19 divide k?
False
Suppose 2*v = -0*y - y + 1, 2*v = -3*y - 9. Suppose -5*g + 220 = -2*l - 3*l, -3*g - v*l = -108. Is g a multiple of 14?
False
Suppose 8*w - 778 + 58 = 0. Does 21 divide w?
False
Let j(u) = -u + 1. Let t be j(2). Let f = t + 10. Does 9 divide f?
True
Suppose 3*w - 89 = v + 4*v, -5*v + 101 = 2*w. Suppose 4*d = 3*m - w, -3*m + 2*d - 1 = -47. Is m a multiple of 10?
False
Let j(r) = 2*r**3 + 2*r**2 - 4*r - 2. Let g be j(-3). Let v = g - -11. Is 0 - (-1 - -2) - v a multiple of 14?
True
Let b = 22 - -46. Is b a multiple of 34?
True
Suppose -554 = -2*c + 3*x, 2*x + 832 = 3*c - 2*x. Does 8 divide c?
True
Suppose 14*p - 15*p = -130. Does 15 divide p?
False
Let o = -23 + 29. Does 5 divide o?
False
Suppose -5*k + 29 - 9 = 0. Suppose -k*j = -0*j - 28. Let l = j - -19. Is l a multiple of 18?
False
Let k = 6 + -1. Let b be ((-6)/(-9))/((-1)/(-12)). Suppose -k*d + 12 = -b. Is 4 a factor of d?
True
Suppose -2*x - 10 = 3*x - 3*u, -4*x + 14 = 2*u. Let t(q) = 13*q**3 + 3 + x - 3. Is t(1) a multiple of 8?
False
Is 3 a factor of 2/1 + (-40)/(-4)?
True
Suppose -5*j + 10*j = -80. Let p(g) = -6*g**3 - 2*g**2 - 2*g - 2. Let q be p(-2). Let x = q + j. Is x a multiple of 13?
True
Suppose -2*m + 7*m = 20. Suppose -3*q + 90 = 3*i, 32 = 3*q - m*i - 93. Does 19 divide q?
False
Is 15/(3 - (2 + (-8)/(-12))) a multiple of 5?
True
Let o(z) = -12*z + 14. Is o(-10) a multiple of 26?
False
Suppose -5*f - g + 30 = 0, -2*f + 2*g + 12 = -g. Suppose f*c - 2*c = 128. Does 15 divide c?
False
Let g(u) = -5*u + 4. Suppose -2*q + 16 = -6*q + 2*z, -1 = 3*q + 4*z. Let y be g(q). Let x = 31 - y. Does 8 divide x?
False
Let o = 18 + -14. Suppose 0*x + 72 = o*x. Does 8 divide x?
False
Let b(f) be the third derivative of -f**5/60 - f**4/6 + f**3/3 + f**2. Let r be b(-4). Suppose 4*d = c + 21, -5*d - r = 3*c - 7. Is d a multiple of 4?
True
Suppose -s - 6 = -5*j - 16, 0 = 5*j - 15. Does 20 divide s?
False
Is 9 a factor of (0 - 15)/((351/(-180))/13)?
False
Let o = 8 - -6. Suppose 3*f = o + 76. Does 11 divide f?
False
Let q be 6/9 + 10/3. Let l = -42 + 45. Suppose -c = -q*s + 2*c + 29, c - 25 = -l*s. Is 4 a factor of s?
True
Suppose -2*p = -3*p + 74. Is 20 a factor of p?
False
Let m(t) = 30*t + 10. Does 5 divide m(2)?
True
Suppose c - 5 = -3. Suppose -t - l + 71 = 0, -c*l - 266 = 3*t - 7*t. Is t a multiple of 34?
True
Suppose 4*k + 5*z = -3 + 36, 0 = -2*k + z - 1. Is 13 a factor of (k + 6/(-4))*76?
False
Suppose 0 = -0*t + 4*t + 3*a + 5, t = -5*a + 3. Let w = t + 4. Suppose -3*u + u + 2*p + 6 = 0, -5*u - w*p + 43 = 0. Does 7 divide u?
True
Suppose -17 = a + 5*n, -2*n + 1 = -a - 3*n. Let x(s) = -s**3 + 3*s**2 + 2*s. Let y be x(a). Suppose 32 = d + g - y*g, d - 24 = g. Is 14 a factor of d?
False
Let p = -10 - -6. Let s(y) be the second derivative of -y**3/6 + 2*y**2 - 12*y. Is 6 a factor of s(p)?
False
Let s(h) = 2*h**3 - 4*h**2 + 3*h - 2. Let w be s(2). Suppose 2*q + w = -32. Let a = q + 29. Is 11 a factor of a?
True
Let w be (4/(-16)*0)/(-2). Suppose o + w*o = 77. Does 17 divide o?
False
Let b(v) = 2 + 3 + 20*v + 0 - 4. Is 8 a factor of b(1)?
False
Suppose m + 5 = 6*m. Let v be -2*m*(-3 - 1). Suppose 2*h - 2*j - v = 0, 2 = -3*h - 2*j + 34. Does 6 divide h?
False
Suppose u + 5*g = -13, 0 = -4*u - 0*u + 4*g + 44. Suppose -u*p + 215 = -2*p. Suppose 5*f - p = 57. Does 11 divide f?
False
Suppose 0*q + 2 = q. Let u(z) = 4*z**2 + z + 1. Let m be u(q). Suppose 4*l - 1 = 3*o - m, 2*o + 2*l - 12 = 0. Is o a multiple of 6?
True
Suppose -2*q - 4*w + 658 = 3*q, -3*q = -2*w - 408. Suppose 0 = -3*d + q + 10. Is 24 a factor of d?
True
Suppose -1 - 6 = -3*u + 2*a, -a - 7 = -5*u. Let n be u + -1*2 - -1. Suppose -3*h = -n*h - 63. Is 