ctor of x?
True
Suppose -677 = d - 5*d + 3*u, -169 = -d + u. Suppose 2*v = -f - 4*f + d, -2*f = -5*v - 39. Is 8 a factor of f?
True
Let a = 1584 - 957. Is 19 a factor of a?
True
Does 67 divide 1876/(-8)*(-2760)/161?
True
Let k be 3 - (-27 + 0 + -4). Suppose -9*d + k = -8*d. Does 17 divide d?
True
Suppose 4*a + 76 = 4*d, -3*d = a - 6*a - 59. Suppose -5*x + d + 62 = 0. Is x a multiple of 5?
False
Let s(w) = -4*w**2 - 8*w - 3. Let l(a) = -4*a**2 - 9*a - 3. Let x(i) = 3*l(i) - 4*s(i). Suppose -8 = 3*n + 1. Is 12 a factor of x(n)?
True
Suppose 1874 - 6866 = -26*t. Does 12 divide t?
True
Let w = 0 + 5. Suppose -n - y + 127 = n, n = w*y + 58. Let x = n - 33. Does 15 divide x?
True
Let c(v) be the second derivative of 0 + v - 3/2*v**2 - 7/12*v**4 + 1/20*v**5 - 7/6*v**3. Is c(8) a multiple of 2?
False
Suppose -4*j + 3*d + 133 = -2*j, j - 50 = -4*d. Is j a multiple of 21?
False
Let g be (11/(-3) + 4)*9. Suppose -7 = -2*b - 2*n + 35, 3*n = g*b - 57. Is 4 a factor of b?
True
Suppose 7*r = 3926 - 307. Is 25 a factor of r?
False
Let h(j) = j**2 + 6*j + 41. Let g be h(-11). Suppose -4*z - 4*m + g = -5*m, -2*m - 72 = -3*z. Does 2 divide z?
True
Let p(v) = -3*v + v + v**2 + v**2 + v + 6 + 2*v**3. Suppose o - 3*o + 6 = 0. Is 25 a factor of p(o)?
True
Suppose 24*i = -3*s + 23*i + 644, -2*s = i - 428. Is s a multiple of 4?
True
Let k(q) = 5*q**2 - 15*q - 32. Is 29 a factor of k(-3)?
True
Suppose 4*m + m - 145 = -2*b, -4*m + b = -129. Let c = 22 - m. Is 29 a factor of (-6)/(-4)*(-462)/c?
False
Let o(a) be the third derivative of -a**5/30 - a**4/24 + 23*a**3/2 - 45*a**2. Is 23 a factor of o(0)?
True
Let s be (12/8)/(3/2). Let d(u) = 22*u**2 + 3*u - 2. Does 7 divide d(s)?
False
Suppose 0*q - q - 3*t = -32, -5*t - 128 = -4*q. Let u = 3 - 33. Does 5 divide u/(-8)*q/12?
True
Does 12 divide 14/3*9*(-28)/(-14)?
True
Suppose -21*x = -13*x - 21120. Does 23 divide x?
False
Let i(k) = k**3 - 21*k**2 + 21*k - 18. Let a be i(20). Suppose a*l + 0*l - 214 = -2*z, 0 = l + 2*z - 106. Is l a multiple of 27?
True
Let c = 19 - 15. Suppose -3*f - c = 2. Is (46 - f) + (-2)/(-1) a multiple of 25?
True
Let c(h) be the second derivative of h**4/2 - 5*h**3/2 + 7*h**2 - 2*h - 3. Is 15 a factor of c(8)?
False
Let j(m) = -31*m**3 - m**2 + m + 1. Let o be j(-1). Suppose -7*w - 18 = -5*w. Is (o/w)/((-10)/75) a multiple of 10?
False
Suppose -3*m - 3 = 0, 2*m - 9 = x - 29. Let y = x - -9. Is y even?
False
Suppose h = 5*h + 28. Let l = -5 - h. Suppose -l*x + 81 = -x. Is 29 a factor of x?
False
Suppose -4*y + 3*k = -39, -2*y + k - 5*k - 8 = 0. Let g be (-1 + -91)/((-12)/y). Suppose 5*s - g = 4. Does 3 divide s?
False
Let n = 89 - 37. Suppose -95 = -r + 3*w, w + 85 = 7*r - 6*r. Let i = r - n. Is 5 a factor of i?
False
Suppose -6741 + 1922 = -5*s - 4*q, s - 960 = 3*q. Is 20 a factor of s?
False
Let s(o) = o**3 + 6*o**2 + 5*o. Let d be -9*4/8 - (-3)/2. Is 6 a factor of s(d)?
True
Let c = 309 - -40. Is c a multiple of 4?
False
Let t = 111 + -48. Let l = 61 + t. Is 31 a factor of l?
True
Let l = 1258 - 247. Does 11 divide l?
False
Let g(a) be the first derivative of 7*a**3/3 + a**2 + 3*a + 16. Does 6 divide g(3)?
True
Suppose -4*p - 2*v = 3*v + 4380, 4*p + 4380 = v. Is 5 a factor of 10/(-55) + p/(-33)?
False
Let j = -10 - -4. Let l(s) be the first derivative of -s**4/4 - 5*s**3/3 - 2*s**2 - s + 11. Is 32 a factor of l(j)?
False
Let r = -76 + 28. Let k = r - -50. Is k a multiple of 2?
True
Let h be (-2)/4*(-6)/3*-1. Is 4 a factor of ((-11)/3)/(h*2/24)?
True
Let y(u) = 18*u**2 + 0 - 1 + 19*u - 17*u + 21*u**2. Is y(1) a multiple of 20?
True
Suppose q - 3 + 1 = 0. Suppose 13*u - 12*u - q = 0. Suppose -u*a - 8 = -22. Is 7 a factor of a?
True
Let x = 67 + -31. Is 5/((-10)/(-1))*x a multiple of 9?
True
Let c(y) = 234*y - 54. Does 8 divide c(3)?
True
Suppose 2*s = -45 - 25. Let i = s - -21. Let w = i - -31. Does 17 divide w?
True
Let b(p) = -p**3 + 12*p**2 - 21*p + 10. Is b(-11) a multiple of 44?
False
Suppose -2*y = -x - 6, -3*x + 2*x + 4*y - 8 = 0. Let l be (x - -3)/(2 + -1). Is 10 a factor of l/3 - 62/(-6)?
True
Suppose 6*j = -4*j - 1330. Let q = 299 + j. Does 37 divide q?
False
Suppose -5*q - 1416 = -3*n, -4*q + n - 2*n = 1126. Let h = -114 - q. Is h a multiple of 28?
True
Let t be -3 - (40 - (-3 + 2)). Let z = 60 + t. Does 8 divide z?
True
Let q(a) = -550*a**3 + 20*a**2 + a. Is 4 a factor of q(-1)?
False
Let s(m) = 17*m + 29. Let n(d) = 1. Let c(i) = 4*n(i) - s(i). Does 3 divide c(-4)?
False
Let w = 628 - 316. Is 4 a factor of w?
True
Let s be -1 - (-3 + 3 - -3). Let n = s - -4. Suppose x - 36 = -n*x. Is 14 a factor of x?
False
Suppose -67 = -a + w, -4*w + 9*w = -3*a + 225. Suppose x - a = 5*g + 5, 2*g + 30 = 3*x. Does 14 divide 9/(-2)*50/g?
False
Let i = 563 - 433. Is 10 a factor of i?
True
Let q(c) = -c**3 - 9*c**2 + 5. Let b be q(-6). Let t = 178 + b. Is t a multiple of 5?
True
Is ((-456860)/477)/(2/(-9)) a multiple of 10?
True
Suppose u - m + 7 = 0, 3*u + 10 + 12 = 4*m. Does 12 divide (-4)/u*(4 - (-271)/2)?
False
Suppose 3*n + 22 = 4*b - 2*b, 0 = 2*b + 4*n - 22. Suppose -i + b = -3*d, 4 = -3*d - 2. Is i even?
False
Let w = 13 + -13. Suppose w = -q - 2*q + 6. Suppose -q*v - 2*v = -144. Is v a multiple of 9?
True
Suppose -614*p + 625*p - 5742 = 0. Is p a multiple of 29?
True
Suppose 6*h = -2*s + h + 26, 0 = s - 2*h - 22. Is 6/s + (-150)/(-9) even?
False
Is 2 a factor of (-98)/(-441) - ((-5232)/27 - 2)?
True
Is 24/14 + (-6)/(-21) + 47 a multiple of 16?
False
Suppose 2*g + 24 = 5*y, -4*y + 30 = -5*g + 4. Suppose y*n = 12 - 4. Suppose n*s - 33 = c, -c + 4*c - 37 = -2*s. Is s a multiple of 7?
False
Let w(f) = -f**3 + 6*f**2 + 7*f + 4. Let h be w(7). Suppose 4*z + h*r - 265 + 25 = 0, 2*z + 4*r - 130 = 0. Does 11 divide z?
True
Suppose -49 = -5*h - 3*j + 25, 2*h = -2*j + 28. Is 2 a factor of h?
True
Let t be 1/2*(0 - -10). Let l be 60/(-50)*t/(-2). Suppose p - l - 21 = 0. Is 12 a factor of p?
True
Suppose 18*l - 16*l - 150 = 0. Let y = l - 33. Is y a multiple of 8?
False
Suppose -i + 19 = 3*d, 0 = 3*i + 5*d - 30 - 7. Suppose 3*h - i = 44. Suppose -2 - h = -t. Is t a multiple of 6?
True
Suppose -5*a + 5*j = 35, -a + 12 = -5*a - 4*j. Let u(b) = 3*b**2 + 3*b + 1. Does 22 divide u(a)?
False
Let i = -26 + 26. Let a = i + 2. Suppose 5*q - 2*q - a*d - 227 = 0, 0 = -4*q - 3*d + 297. Is q a multiple of 25?
True
Let g be 2 + -9 + 3 + 3. Does 11 divide (g - 0)*2/(-4)*24?
False
Let w(i) = -i**3 - 4*i**2 - 2*i - 6. Let y be w(-4). Is 12 a factor of ((213/(-15) - y) + -3)*-5?
True
Suppose -o - 159 = -4*o - 3*p, 269 = 5*o + 3*p. Let i = 102 - o. Is i a multiple of 20?
False
Let x(t) = 36*t - 104. Does 10 divide x(9)?
True
Let s = 19458 + -13491. Does 16 divide s?
False
Let n be (-4)/(-2) + 2 + -3. Let x = -3 - n. Does 4 divide (-3)/x + (-25)/(-4)?
False
Suppose -24*y = -15*y - 5040. Is 17 a factor of y?
False
Let u(t) be the second derivative of t**5/5 + t**4/12 + t**3/6 + 3*t**2/2 - t. Let h(b) be the first derivative of u(b). Does 7 divide h(-1)?
False
Suppose m - 142 = -17. Does 47 divide m?
False
Let h = 14 + -8. Let u be 78/(-52) + (-337)/(-2). Suppose 163 = 2*q + t, 2*q = -h*t + t + u. Is q a multiple of 15?
False
Suppose 0 = -2*c - 2*s + 40, 3*c - 3*s - 39 = s. Suppose -c*y + 12*y + 995 = 0. Is 12 a factor of y?
False
Let d = -7 + 17. Suppose -3*w + 2 + d = 0. Suppose w*t = -2*m - m + 124, -40 = -m - 2*t. Is m a multiple of 11?
True
Suppose 179*y = 185*y - 4788. Is 58 a factor of y?
False
Let j be 27/21 + (-4)/14. Let a be 60 - 5 - (j - 2). Suppose c = -o - 0*c + 18, 3*o = -4*c + a. Does 4 divide o?
True
Let t(n) = 2*n**3 - 36*n**2 - 2*n. Is t(19) a multiple of 18?
True
Let i = 48 - 43. Suppose 4*j - 163 = -i*u, -5*u + 10*u = -5*j + 210. Does 3 divide j?
False
Let s(g) = 7*g**2 + 24*g. Is s(-9) a multiple of 13?
True
Suppose 0 = 3*g + 9, 66*x - g = 63*x + 1083. Is 5 a factor of x?
True
Suppose -5*u = 3*h - 9, -5*h + 6*u = 2*u - 52. Is 4/h*(1 - -33) a multiple of 7?
False
Suppose -6*s + 141 = -3*s + 4*q, 249 = 5*s + 2*q. Suppose 6*o - 408 = -2*o. Suppose 0 = -2*x + o + s. Is x a multiple of 17?
True
Suppose 2*t - 10 = u - 2, u - 2 = -3*t. Suppose -m = -1, 0*m + 36 = y + t*m. Is 7 a factor of y?
False
Let w = -41 - -47. Does 16 divide ((-80)/w)/((-3)/18)?
True
Let y(p) = -p + 17. Let o be y(11). Let c be (-9)/6 - 9