 4?
False
Let l be ((-132)/8)/(3/4). Does 19 divide (l/33)/(2/(-171))?
True
Suppose 0 = 14*f - 15*f + 140. Is f a multiple of 28?
True
Suppose -3*q + 8*q - 5*d + 150 = 0, d - 88 = 3*q. Let n = q + 44. Does 15 divide n?
True
Let v(o) = 13*o - 6. Let s(x) = -1. Let a(r) = -6*s(r) + v(r). Does 13 divide a(4)?
True
Suppose 4*a + 2 = 22. Suppose a*t = -2*o - 0*o + 5, 3*t - 29 = 4*o. Is t a multiple of 3?
True
Let a(m) = m + 29. Let t(w) = -w - 15. Let l(b) = 4*a(b) + 7*t(b). Is l(-6) a multiple of 9?
False
Let p be (-1)/(-7) + 8325/35. Suppose -o + 41 = 5*t, 5*o = -t + 15 + p. Let b = -18 + o. Is 11 a factor of b?
True
Let p = 3 + 1. Suppose -p*k = -5*k. Is k + 1 + 8 - -1 a multiple of 5?
True
Suppose 5*h - p + 1 = 6, -4*p = -5*h - 10. Does 17 divide h/12 + 173/6?
False
Let a(v) = -v**3 - 4*v**2 - 3*v - 1. Let h be a(-3). Let n = 2 - h. Suppose m + 43 = d + d, 3*d = -n*m + 42. Is d a multiple of 19?
True
Let l = 1 - 0. Does 13 divide l + 10 - (4 - 6)?
True
Is (-1310)/(-20) - 2/(-4) a multiple of 13?
False
Suppose 0 = z + 2*h - 8, -2*z + 5*h - 15 = -4. Let l = z + 14. Is l a multiple of 7?
False
Let r(v) = -2*v + 36. Is r(8) a multiple of 5?
True
Let q = 20 + -40. Suppose -13 = z - 3*t, 6*t - t = 3*z + 23. Is 5 a factor of q/2*z/2?
True
Let a be ((-2)/(-5))/((-1)/5). Let k(b) = 5*b**3 - 12*b**2 - b - 6. Let w(r) = 2*r**3 - 4*r**2 - 2. Let y(s) = 4*k(s) - 11*w(s). Is 3 a factor of y(a)?
True
Let u be 1 + 1 + 1 + -17. Let d = 6 - u. Does 6 divide d?
False
Let c(j) = -j**3 - j**2 + 5*j + 3. Suppose 4*m - 8 = 5*m. Let s = -11 - m. Is 3 a factor of c(s)?
True
Let m(l) = -l**3 - 6*l**2 - 4*l - 12. Is m(-7) a multiple of 6?
False
Let k(w) = w**3 - 8*w**2 - 5. Let d be k(8). Let z = 2 - d. Is z even?
False
Let x(s) be the third derivative of s**7/840 - s**6/90 + s**5/24 - s**4/4 - s**3/6 - s**2. Let b(f) be the first derivative of x(f). Is b(4) a multiple of 7?
True
Suppose 375 = 3*l + 120. Is 16 a factor of l?
False
Let y(v) = 2*v**2 + 6*v - 8. Is y(3) a multiple of 4?
True
Suppose -69 = -3*n + 207. Is n a multiple of 15?
False
Suppose -5*m - 1 = 4. Let d(l) = 12*l**2 + 3*l + 2. Does 5 divide d(m)?
False
Let k(l) = -l**3 + 10*l**2 + 14*l - 15. Let h be 22/3*3/2. Is 9 a factor of k(h)?
True
Let a(h) = 6*h - 4 - 2*h**3 - 4*h**2 + 3*h + h**3. Let l be a(-8). Is (-4)/(-14) - l/(-7) a multiple of 13?
True
Let k be (-3)/(-1) + (-2 - -2). Suppose 0 = 7*a - k*a - 548. Suppose 3*t + 4*z = 3*z + a, -3*z = -2*t + 106. Is t a multiple of 12?
False
Let i(p) = 6*p**2 + 1. Let m(q) = q + 1. Let y be m(-2). Is 7 a factor of i(y)?
True
Let r(g) = -3*g. Let v be r(-4). Suppose 4*x = -44 + v. Let u = 8 - x. Is 8 a factor of u?
True
Let n = 6 + -9. Is 12/4 + 17 - n a multiple of 22?
False
Let y = 6 + -9. Let d(n) = -4*n + 2. Let l be d(y). Let j = l - -15. Is j a multiple of 20?
False
Suppose -4*t - 170 = -9*t. Does 6 divide t?
False
Let i(y) = -7*y. Let c be (6/8)/(1/16). Suppose -4*p - c = -0*p. Is i(p) a multiple of 8?
False
Let g(j) be the second derivative of -43/20*j**5 + 0 + 2*j + 1/3*j**3 + 1/2*j**2 + 0*j**4. Does 21 divide g(-1)?
True
Let d(q) = q**3 - q**2 + 4. Is d(3) a multiple of 22?
True
Suppose 8 = 3*c - l, -l - 25 = -5*c + 3*l. Let x = c + 23. Is 11 a factor of x?
False
Suppose m + 2*m + 15 = 3*j, 0 = -3*j + 2*m + 13. Suppose -5*l - j*p = 0, -p = -4*p - 15. Suppose a = -2*k + 15, -l*a + 30 = 3*k - 0*a. Is k a multiple of 4?
False
Let o(r) = -7*r - 9. Let d(n) = -7*n**3 - n**2 + 1. Let g be d(1). Is o(g) a multiple of 20?
True
Let r(y) = y - 12. Let c be r(9). Is ((-16)/2)/(2 + c) a multiple of 4?
True
Does 2 divide ((-12)/(-10))/(5/25)?
True
Suppose 2*v - 12 = d + 16, -9 = -v - 2*d. Does 2 divide v?
False
Suppose -2*n + 237 = n. Let a = n - 9. Suppose 2*t - a = -0*t. Does 9 divide t?
False
Suppose a = 4*a - 12. Suppose 10 = -5*s, -3*s + 5*s + 12 = a*i. Is 708/21 - i/(-7) a multiple of 17?
True
Let i = -194 - -133. Let x = -50 + 20. Let s = x - i. Is 16 a factor of s?
False
Let r(c) = c**2 - 5*c - 20. Let x be (-4)/30 - 304/(-30). Is r(x) a multiple of 6?
True
Let l(k) be the first derivative of -k**4/4 - 7*k**3/3 - 9*k**2/2 - 4*k - 10. Let r = 0 - 6. Is l(r) a multiple of 14?
True
Suppose 3*m - 16 = -2*n, -n = 4*m - 5 - 3. Suppose 1 = 3*g - n. Suppose -2*u = 2*k - 64, -3*k + k = -g*u - 84. Does 18 divide k?
True
Suppose -2*i + 64 = -i. Is 16 a factor of i?
True
Let a = 4 + -3. Let s be -27*(0 - (a - 2)). Let t = s + 47. Is t a multiple of 10?
True
Let v = 15 + 0. Let l be (-37)/(-5) - 6/v. Suppose 3*c = l*c + 2*z - 88, -5*z - 92 = -3*c. Is c a multiple of 12?
True
Let m = 17 + -7. Is m a multiple of 5?
True
Suppose -2*v - 104 = -3*v. Is 26 a factor of v?
True
Suppose 3*x - 4 - 137 = 0. Does 4 divide x?
False
Let x(y) be the third derivative of -5*y**4/12 + y**3/6 + 11*y**2. Let i be -3 - (1 + (2 - 1)). Is x(i) a multiple of 21?
False
Let j be 4 - ((-2)/1 - -1). Let f(n) = -2*n**2 - 29*n + 30. Let s be f(-15). Suppose 0 = j*z - 310 + s. Is z a multiple of 22?
False
Let q(m) = m**2 - 2*m - 1. Let p be q(3). Suppose p - 5 = -b. Suppose 1 - 37 = -4*y - 4*s, 0 = 3*y - b*s - 33. Does 5 divide y?
True
Is 8 a factor of 61 + 15/(7 - 2)?
True
Let c(q) = q**3 - 8*q**2 + 9*q - 9. Let i(s) = -s - 1. Let a be i(-8). Let n be c(a). Let p(v) = v + 1. Is p(n) a multiple of 6?
True
Let f(n) = 21*n - 25. Let h(b) = -5*b + 6. Let y(a) = -2*f(a) - 9*h(a). Let x be y(-3). Let i = 13 - x. Is 12 a factor of i?
False
Let c be 2 - (1 + -1)/(-2). Let s be 2*1 + (-1)/(-1). Suppose -4*r = -c*i + 40, 4*i + s*r - 17 - 8 = 0. Is 10 a factor of i?
True
Suppose -5*l + 0*l = 0. Suppose l = 5*c - 98 + 8. Is c a multiple of 7?
False
Suppose 9*y - 11*y = -30. Let a = y - 8. Is 4 a factor of a?
False
Suppose -5*s = 5*w, s + 6 = 5*w - 18. Let r = w + 11. Is r a multiple of 3?
True
Suppose 0*m - 9 = -3*m, 0 = -5*z - 4*m + 362. Is z a multiple of 22?
False
Let j(f) = 5*f + 7*f**2 + 9*f**3 - 9*f**3 - 10 - f**3. Is j(7) a multiple of 7?
False
Let y be (8/28)/((-2)/(-14)). Suppose 2*t + 0*l = -l + 19, y*l = -3*t + 31. Is t a multiple of 2?
False
Suppose 2*k - 29 - 1 = 0. Let r = 2 + -12. Is r/k*(-90)/4 a multiple of 6?
False
Suppose 5 - 41 = -4*r. Let d = r - 4. Is d a multiple of 3?
False
Suppose -5*i + 5*y + 20 = -35, 5*y - 33 = -3*i. Suppose 4*g + 3 = g, -i = -2*q + 5*g. Suppose q*t + 63 = 3*p, -p + 5*t = -16 - 13. Does 7 divide p?
False
Let b(u) = u**3 + 10*u**2 + 21. Is 13 a factor of b(-10)?
False
Suppose -2*p - 3 = -5. Is 5/2 - p/2 a multiple of 2?
True
Suppose 0 = 5*q - 4 + 9. Let u(a) = -25*a. Is u(q) a multiple of 10?
False
Let o = 7 - 7. Suppose 43 = 5*m + 2*q - 17, 5*m + q - 60 = o. Is m a multiple of 12?
True
Let p(m) = 2*m**2 + 9*m - 3. Is p(4) a multiple of 13?
True
Let l(d) = -d**3 - 7*d**2 + d - 3. Let x be l(-7). Let c = x + 17. Is c a multiple of 4?
False
Let j(w) = 2*w**2 + w + 3. Is j(-8) a multiple of 41?
True
Suppose 2*w = 4*w - 74. Is 22 a factor of w?
False
Suppose 0 = 4*x - 8, 0*z = 5*z - 5*x - 35. Does 6 divide z?
False
Let t(y) = -y - 6. Let l be t(-10). Suppose 2*s = l*s - 96. Is s a multiple of 32?
False
Let l be 56/(-10) - 15/(-25). Is 2/((-1)/l*1) a multiple of 10?
True
Suppose -2*u + 6 = -0*u. Let w be 3 - (39/u)/(-1). Suppose w - 76 = -5*v. Is 7 a factor of v?
False
Suppose 3*m - 4*m = -24. Suppose -u = 2*u - m. Suppose l + u = 2*l. Is l a multiple of 8?
True
Suppose 0 = 5*f - 5*n - 30, -8 = -4*n - 24. Is 4 a factor of (f - 1)*(-20)/(-2)?
False
Let x = 13 + -11. Suppose 300 = x*y + 3*y. Does 20 divide y?
True
Suppose -2*d = -6*d + 4. Let f be ((0 + 0)*d)/2. Does 22 divide (f - -80)*(-22)/(-55)?
False
Let n = -3 + 7. Let h(w) = -w + 9*w + 3*w**2 - 6 - n*w**2. Is 9 a factor of h(5)?
True
Let n = -6 - -2. Let i = 1 - n. Is i a multiple of 4?
False
Suppose i = 2*i - 2. Suppose 5*m - 79 = -t, i*m - 3*t = 2*t + 37. Is m a multiple of 4?
True
Let y(c) = -3*c + 2. Let q = -4 + 6. Let k(m) = -m. Let h be k(q). Is 3 a factor of y(h)?
False
Let s(u) = -u**3 - 5*u**2 + 7*u + 3. Let p be (-2 + 5)*-2 + 0. Let a be s(p). Is 34/(-3)*a/2 a multiple of 9?
False
Suppose 4*u = 2*j + 8, u - 4 = 4*j + 5. Suppose 5 = g + 5*a, -56 + u = -5*g + 5*a. Is g a multiple of 10?
True
Suppose 11 = 4*o - 9. Let r(m) = 9*m + 6. Let t(l) = 8*l + 6. Let u(b) = o*r(b) - 6*t(b). Is u(-5) a multiple of 9?