4). Suppose t*m + 6 - 14 = x, 4*m = 4*l - 52. Is 10 a factor of l?
False
Let b(t) = 12*t**2 + 1. Let l(x) = 2*x**2 - 2*x - 1. Let h be l(2). Let n = 2 - h. Is 13 a factor of b(n)?
True
Does 45 divide ((-6)/(-18)*4)/((-2)/(-540))?
True
Suppose -257 = -3*l + 223. Suppose 2*w = 5*w + j - 155, -l = -3*w - 2*j. Is 22 a factor of w?
False
Let y(a) = -a**2 - a + 26. Let t be y(0). Suppose 0 = 3*p - 46 - t. Is p a multiple of 12?
True
Does 4 divide (9 + -7)*54/4?
False
Is 16 a factor of (123 - 1) + (-5 - -1 - -7)?
False
Let j be (23/(-2))/((-3)/6). Suppose 3*y - 25 = j. Is 6 a factor of y?
False
Let k(a) = -a**2 - 8*a - 7. Let l be k(-8). Let v(d) be the first derivative of d**4/4 + 7*d**3/3 - 3*d**2 - 8*d - 4. Is 17 a factor of v(l)?
True
Let l(i) = i**2 - 8*i + 8. Let b be l(6). Let o(f) = 2*f**2 - 4*f - 4. Is 13 a factor of o(b)?
False
Suppose -3*s = 15, 4*t + t - 1885 = -3*s. Does 41 divide t?
False
Let y(f) = -f**3 - 4*f**2 - 2*f - 2. Is 11 a factor of y(-5)?
True
Is 12 a factor of (-652)/(-18) - 16/72?
True
Let h(c) = -c**2 + 4*c - 4. Let g be h(3). Let b be (-1 + 2)*g + -53. Let q = -34 - b. Is q a multiple of 10?
True
Suppose 119 = 5*s - 16. Suppose 0 = -5*y + 4*k + 31, 0*y + s = 5*y - 3*k. Suppose 0 = -y*u + 4*u - 30. Is u a multiple of 17?
False
Let h be (-1)/(-3)*(3 - -3). Suppose -3*t = 3*c - 12, -2*c + 6 = -5*t - h. Suppose c*v - 33 - 3 = 0. Is v a multiple of 9?
True
Let c be (-7)/(1*(3 + -2)). Let t = -4 - c. Suppose 66 = t*n + 15. Is 5 a factor of n?
False
Let b be 10/(-3) + 4/(-6). Is 11/((6/b)/(-3)) a multiple of 7?
False
Suppose -2*d + 0*d - p = -63, -d - 3*p + 29 = 0. Is 12 a factor of d?
False
Suppose -4*v + 12 = t, -2*t - 2*v = -7*v + 15. Suppose 5*i - i - 20 = t. Suppose f = 3, -a + i = 2*f - 10. Is a a multiple of 6?
False
Does 24 divide ((-1)/(-2))/(2/192)?
True
Let n(d) = -9*d - 4. Is n(-3) a multiple of 14?
False
Let b = -36 + 55. Does 4 divide b?
False
Suppose 4*t - 21 = 23. Does 6 divide t?
False
Let o(r) = 2*r**2 - 6*r - 30. Does 26 divide o(-4)?
True
Suppose 3*c = 5*k - 0*c - 100, 4*k - 80 = c. Is 5 a factor of k?
True
Suppose 13 = -0*q + 2*q + 5*f, 2*f + 47 = 5*q. Suppose 0*l + q = -u - l, -4*u = -4*l + 12. Is 14 a factor of 9/(-4)*80/u?
False
Let o(k) = -k**3 - 2*k**2 + k + 2. Let h be o(-2). Suppose -3*z + 0*z + 12 = h. Suppose -3*g - 18 = -z*g. Is g a multiple of 9?
True
Does 49 divide -4 - (-4 + 0 + 3)*53?
True
Let b(g) = -2*g - 9. Let m be b(-6). Suppose -m*u = u - 12. Is 1/2*30/u a multiple of 2?
False
Let l(x) = -15*x**2 - 1. Let w be l(1). Let b be 7 + -7 - (0 + w). Suppose 2*y - b + 48 = 2*g, 3*g + 5*y - 16 = 0. Is 12 a factor of g?
True
Let k = 3 + -2. Let l be 0/(k - -1 - 1). Is 4 a factor of l - (2 - 2 - 6)?
False
Suppose 0 = k - 2 - 1. Suppose -k*i = -7 + 13. Is 6 a factor of 1*(-1 - i)*6?
True
Suppose -36 = 2*l - 6*l - 2*n, 4*l - 46 = 3*n. Let o(b) = b**3 - 11*b**2 + 14*b - 13. Is 9 a factor of o(l)?
True
Suppose 4*z = 4*p + 416, -3*z + 8*p - 3*p = -316. Is 17 a factor of z?
True
Let t = 20 + -61. Let n = 65 + t. Is n a multiple of 9?
False
Is (5/(10/484))/(21 - 19) a multiple of 15?
False
Suppose 0 = -3*m - 3, 4*u - u + 3*m = 57. Does 10 divide u?
True
Suppose -4*z = -0 - 16. Suppose p - 2*r = 44, 6 = -z*p - 2*r + 212. Is p a multiple of 12?
False
Suppose 2*i = 5*q - 194, i = -3*i - 8. Let r = q + -17. Does 7 divide r?
True
Let z = 94 - 70. Is 12 a factor of z?
True
Let o(f) = -f**2 - 8*f - 4. Let b be o(-6). Suppose 0 = 3*a - 4*a + b. Does 8 divide a?
True
Let o be (-46)/3*(-45)/(-6). Let m = -12 - o. Does 27 divide m?
False
Suppose -3*o + 32 = 4*n, 0 = n + n + 4*o - 26. Suppose -j + 9 = -n. Is j a multiple of 14?
True
Let n(u) = u**3 + 4*u**2 - 5*u + 6. Let l be -7 - (0 + 4 - 6). Is 6 a factor of n(l)?
True
Let a = -104 - -179. Suppose -2*u = 3*v - a, 5*v + 3*u - 169 = -45. Suppose 2*g - v - 21 = 0. Is g a multiple of 11?
True
Is (-820)/(-25) + 3/15 a multiple of 3?
True
Let j be 25 - -1*(-4)/(-2). Let f be (18/j)/((-2)/(-39)). Is 2 a factor of (f - 7)*(-1)/(-3)?
True
Suppose 5*c - 9 + 49 = 0. Let a = 32 - 8. Let t = a + c. Does 12 divide t?
False
Let v(s) = s**2 - 7*s - 13. Let n be v(9). Suppose -n*z + 74 - 9 = -4*j, 13 = 2*z + j. Is 4 a factor of z?
False
Suppose 4*d = 5*d - 38. Is d a multiple of 19?
True
Suppose d - 6*d = 0. Let w = -9 + 14. Let q = w - d. Is q a multiple of 2?
False
Suppose 4*p + 61 = 5*g, p + 2*p = 4*g - 48. Is (-80)/(-15)*g/4 a multiple of 12?
True
Let o = 5 - 2. Suppose 2*d = -o*d - 80. Let a = 46 + d. Is a a multiple of 15?
True
Suppose -2*s - 2 = 4. Let f be (3 - s)/(-2) + 9. Is (-36)/(-1) + (-12)/f a multiple of 17?
True
Is (-1152)/(-4)*(-6)/(-9) a multiple of 24?
True
Let k(y) = y**2 - 5*y - 3. Let o be (-60)/35*14/(-4). Is 2 a factor of k(o)?
False
Let i(v) = -v**3 - 2*v**2 + 5*v - 19. Is 21 a factor of i(-6)?
False
Suppose 0*r = -r + 1. Let c be (-1*r)/((-2)/46). Suppose -75 + c = -4*d. Does 13 divide d?
True
Let l = 13 + -18. Let g = l - -10. Suppose 5*w + c + c = 97, 3*c = -g*w + 98. Is w a multiple of 9?
False
Suppose 0 = 3*i - i + 4, -3*b + 200 = -4*i. Is 32 a factor of b?
True
Suppose -4*o = 4, -2*n + 0*o = 3*o - 7. Suppose 0 = -4*c + 16, n*c - 132 = 2*a - 6*a. Is 11 a factor of a?
False
Suppose 19 = -3*f + 2*k - 22, -3*f - k = 56. Let x = 11 + f. Does 14 divide 40*1 + x/3?
False
Let m(i) = 4*i - 5. Let y(p) = -p**3 + 5*p**2 + 8*p - 7. Let z be y(6). Does 6 divide m(z)?
False
Let t(x) = -5 + 4*x + x + 3*x - x**2. Suppose 0 = 2*j - r - 3*r - 10, -25 = -5*j + 5*r. Is 5 a factor of t(j)?
True
Suppose -75 = -3*s - 4*x + 2*x, s - x = 20. Does 23 divide s?
True
Suppose -4*h = -h - 24. Is h even?
True
Let k = -2 + 21. Let v = 32 - k. Does 9 divide v?
False
Suppose 4*n - 4 = -2*c, 2*c - 3*n - 6 = -c. Suppose -c*i = 4*k - 146, -2*i + 0*i = -k + 24. Let l = k - 12. Is l a multiple of 11?
True
Let r = -10 + 14. Suppose -2*w - 24 = -5*w. Suppose 8 + w = r*n. Does 3 divide n?
False
Let b(r) = 2*r + r + 10*r. Let a(c) = c + 2. Let m be a(-1). Is b(m) a multiple of 9?
False
Is 9 a factor of (-1 + 23/(-1))/(-2) + -3?
True
Let r = -7 - -77. Is 7 a factor of r?
True
Suppose -5*h + 3*j - 12 = 0, -6*h - 12 = -4*h - 3*j. Suppose h = p - 48 + 6. Is p a multiple of 21?
True
Let k(y) = -2*y - 11. Let i(t) = -t - 6. Let f(z) = -5*i(z) + 3*k(z). Suppose 0 = 4*m - 2*b - 5 + 21, b + 34 = -5*m. Does 2 divide f(m)?
False
Suppose 36 = d - 0*d. Suppose 0*c - d = -c - t, 0 = -4*c - 2*t + 134. Does 15 divide c?
False
Suppose -5*a + 4*t + 87 = 0, -20 = -4*a - 4*t + 64. Does 3 divide a?
False
Let d be ((-90)/4)/(8/(-16)). Suppose -r - 4*r + d = 0. Suppose -o + 5*m + r + 12 = 0, 2*o = 2*m + 34. Is o a multiple of 13?
False
Let n(y) = 6*y - 2. Let v be n(8). Suppose 0 = 2*s - z - v, 0 = -4*s - 3*z - 46 + 158. Let o = s + -12. Does 5 divide o?
False
Let p be 29*1 + 4/2. Let b be 47/2*(1 - -1). Let c = b - p. Is c a multiple of 7?
False
Suppose -2*a + 106 = -74. Is a a multiple of 18?
True
Let n(q) = q**2 + 5*q - 10. Is n(4) a multiple of 26?
True
Let q be (-1 + (-1 - 188))/(-2). Suppose 4*c - q = 17. Does 16 divide c?
False
Suppose 4*d = 3*l - 0*d + 42, -l = -3*d + 19. Is ((-72)/l)/(6/40) a multiple of 9?
False
Suppose 0*l = -l + 1. Let h = l - 1. Let q = 18 + h. Is q a multiple of 9?
True
Let o be (30/(-7))/(-1)*7. Let b = 80 - o. Is 14 a factor of b?
False
Suppose 20*d - 18*d - 96 = 0. Is d a multiple of 12?
True
Suppose -2*c - 278 = -m, -1378 = -5*m - 6*c + 4*c. Is 50 a factor of m?
False
Let k = -9 + 31. Let m be ((-6)/4 + 1)*-8. Suppose -30 - k = -m*s. Is 9 a factor of s?
False
Let x be 1 + 0 - (-52)/13. Let a(h) = -3*h**3 + 38*h**2 - 26*h + 3. Let u(c) = -c**3 + 13*c**2 - 9*c + 1. Let k(t) = 6*a(t) - 17*u(t). Does 15 divide k(x)?
False
Let l = -18 - 6. Is 16 a factor of (2 + 0)/((-3)/l)?
True
Suppose 0 = -4*r - 16, -2*p - 5*r - 9 = 7. Let s = -26 + p. Does 6 divide 6/s + (-50)/(-8)?
True
Suppose 0 = 5*j - 10*j + 25. Suppose 0 = -3*f - 2*r + 17, -2*r - 19 = -4*f - r. Suppose j*t - 66 = -3*z, f*z + 55 = 4*t + 17. Is 12 a factor of t?
True
Let i(w) = w**2 - 10*w - 9. Let h be i(-6). Let p = -44 + h. Let j = -27 + p. Is 8 a factor of j?
True
Suppose -3*s + 8 = 140. Let z = 74 + s. Does 16 divide z?
False
Let d(q) = 7*q + 1. Let f be d(-1). Suppose 0*s - 8 = -2*s. Is f/s*14/(-3) a multiple of 7?
Tru