. Is 14 a factor of (n/20)/((-2)/10)?
True
Suppose -9*u + 100 = -4*u. Is 9 a factor of 7*1/(4/u)?
False
Suppose -c + 3*c - 2*o - 22 = 0, 13 = 3*c + o. Suppose -4*a - c = -3*a. Let h = 45 + a. Is 13 a factor of h?
True
Let j = -8 - -21. Is 13 a factor of j*2/4*6?
True
Suppose -4*h + 3 - 7 = 0, 5*h + 90 = q. Let f be (2/(-1))/(3/(-195)). Let z = f - q. Is z a multiple of 15?
True
Let p = 1 + 1. Suppose 200 = 3*r + p*r. Is r a multiple of 9?
False
Let o be ((-88)/6)/((-20)/120). Let f = o - 47. Is f a multiple of 12?
False
Suppose -3*n + 2*v + 91 = 0, 2*n - 2*v + 2 - 60 = 0. Is 3 a factor of n?
True
Let c be -2*(-4 - (-13)/2). Let r be (c - -6)*(0 - 0). Suppose r = -q + 2*u + 34, -3*q + 182 = 4*u + 30. Is 11 a factor of q?
True
Suppose 4*t = -0*r + 4*r + 92, -3*r - 13 = -t. Suppose 0 = 2*n + 2*n - t. Is n a multiple of 5?
False
Let j(y) = -2*y**3 - 12*y**2 - 10*y + 4. Let o(p) = p**3 - p**2 + p - 1. Let q(l) = j(l) + o(l). Is q(-13) a multiple of 12?
True
Suppose 528 = 28*s - 25*s. Suppose -8*t + s = -4*t. Does 11 divide t?
True
Suppose 0 = -3*m + 2*f + 146, 3*f - f + 94 = 2*m. Suppose -o = g - 14 - 26, 0 = -o + 2*g + m. Does 24 divide o?
False
Suppose -v + 72 = 3*v. Let w be -2 + (1/1 - 3). Is w/v - 764/(-36) a multiple of 21?
True
Let c = 25 + -18. Does 3 divide ((-51)/(-119))/(1/c)?
True
Let s = -169 + 91. Let a = -44 - -155. Let t = a + s. Does 11 divide t?
True
Let x = -734 - -1046. Is 24 a factor of x?
True
Let f be 8/(-3)*21/(-7). Let z be f*(3 + (-6 - -2)). Is 11 a factor of z*(154/(-4))/7?
True
Does 7 divide ((-114)/(-4))/(21/28)?
False
Let o = 200 + 320. Is 13 a factor of o?
True
Let n(w) be the second derivative of 29*w**5/4 - w**4/6 + w**3/6 + 7*w. Is n(1) a multiple of 43?
False
Let j be (-2)/(-4)*2 + 8. Suppose -j = 2*l - 237. Does 27 divide l?
False
Suppose -94 - 716 = -15*y. Is y a multiple of 3?
True
Suppose -3*l - 3 = -2*l. Let q be -50 + l + -3 + 6. Let y = q - -74. Is y a multiple of 22?
False
Suppose -4*u - u - 205 = 0. Let c = -29 - u. Let p = -10 + c. Is p even?
True
Suppose 0 = -0*s - s - 5. Let c(t) = -t**3 - 5*t**2 + 4. Let o be c(s). Let m(b) = 5*b**2 - 5*b - 2. Does 29 divide m(o)?
True
Suppose 161 = 3*j + 17. Let g = 1 - -50. Suppose -42 = -g*n + j*n. Is 10 a factor of n?
False
Suppose -12 = 7*s - 698. Is s a multiple of 3?
False
Let o(x) = x - 8. Let y be o(10). Suppose y*l = 3*l - 158. Suppose -l = -2*k - 2*f - 3*f, f = 0. Is k a multiple of 18?
False
Let s = 60 - 32. Suppose w + 61 = 5*v - 0*w, 0 = -2*v + 4*w + s. Is v a multiple of 9?
False
Let g(q) = -q**3 - 20*q**2 + 29*q - 5. Let v be g(-22). Let j(m) = 2*m - 4. Let f be j(4). Suppose n - v = -f*n. Does 13 divide n?
True
Let z = -15 - -56. Suppose 36*k = z*k - 95. Is k a multiple of 3?
False
Suppose f - 733 = -5*g, 0 = 5*f + 4*g - 4565 + 942. Is 34 a factor of f?
False
Let h = 62 + -52. Suppose -4*s - 4*r + 376 = 0, 0 = -2*s + h*r - 5*r + 174. Is 46 a factor of s?
True
Suppose -3183*n - 49605 = -3198*n. Does 24 divide n?
False
Let h(y) = 6*y**2 + 5*y + 2. Let k be h(-4). Suppose 162 = q - k. Does 24 divide (1*-1)/((-10)/q)?
True
Suppose 12*l - 672 = 4*l. Is 6 a factor of l?
True
Let u(k) = -2*k**3 + 15. Is u(0) even?
False
Let y(p) be the third derivative of -3*p**4/8 + 20*p**2. Is y(-11) a multiple of 13?
False
Suppose -3*u + 19 = v, -3*v - 7 = -3*u - v. Let k(t) = -t**2 + 11*t + 10. Let y(i) = 2*i**2 - 21*i - 21. Let h(x) = u*k(x) + 3*y(x). Is h(10) a multiple of 4?
False
Let i be ((-15)/(-9))/((-2)/(-6)). Let d be 13/(-2)*(-11 - -1). Suppose i*k - 75 - d = 0. Is 14 a factor of k?
True
Let g be 4 - (2 + -2 + -32). Does 14 divide 21*(-8)/g*-3?
True
Let k = 3 - -3. Suppose s + 5*q = k*s - 545, -5*s + 565 = -q. Is 12 a factor of s?
False
Suppose 0 = -w - f + 1 + 6, 4*w = -2*f + 20. Suppose 3*j + z - 71 = 0, -18 = -w*j + 5*z + 23. Suppose -20 = -5*b, 3*b + j = v + b. Does 10 divide v?
True
Does 7 divide 11163/12 + (-15)/60?
False
Suppose -2*s + 1105 = -23*x + 24*x, -4*s = 4. Does 41 divide x?
True
Let j(n) = 8*n**2 - 3*n - 7. Let x be j(-3). Suppose 0*l + x = -l. Let w = l - -105. Is 7 a factor of w?
False
Suppose -4*d + d + 2*z + 200 = 0, d - 4*z - 60 = 0. Let c = 146 - d. Does 26 divide c?
True
Suppose 1351 = 16*q - 23*q. Let o = -112 - q. Is 9 a factor of o?
True
Is ((-105)/56)/((-3)/2)*228 a multiple of 31?
False
Suppose 0 = -4*d + 6*d + n - 148, 229 = 3*d - 2*n. Is 25 a factor of d?
True
Let j(t) = -2. Let r(f) = -5. Let k(v) = 8*j(v) - 3*r(v). Let d(u) = -12*u - 1. Let a(z) = -d(z) + 4*k(z). Is 11 a factor of a(3)?
True
Let y = -154 - -302. Is 8 a factor of y?
False
Let b(d) = d - 3. Let i be b(3). Suppose i = 3*q - 5*q - 22. Let o = 15 + q. Is o a multiple of 4?
True
Let u be 48/(-22) - 2/(-11). Is 5 a factor of (u - (-150)/2) + -3?
True
Let b(w) be the second derivative of w**5/20 - 17*w**4/12 + 11*w**3/3 + 2*w**2 + 4*w. Does 25 divide b(16)?
True
Let x(q) be the third derivative of -q**6/120 - q**5/3 + 5*q**4/8 - 13*q**3/2 + 19*q**2. Is x(-21) a multiple of 5?
False
Let l(d) = -2*d**2 - 48*d + 90. Is 18 a factor of l(-23)?
False
Let u(c) = -7*c. Let x be (-6)/10 + 924/(-110). Is u(x) a multiple of 17?
False
Let i(d) = 3*d**2 - 13*d + 23. Is 10 a factor of i(13)?
False
Suppose 0 = -3*s + 1 + 5. Suppose -s*n - 25 = 3*n. Is (27/n)/((-12)/40) a multiple of 7?
False
Let i(m) = 32*m + 8. Let j be i(-6). Let r = j - -63. Let x = 169 + r. Is 16 a factor of x?
True
Suppose 4*b - 5*s - 13 = -4*s, 4*s + 19 = 5*b. Let a be b + (3 - (-1 - -3)). Suppose -4*q - a*l + 83 = -q, -5*l = -10. Is 7 a factor of q?
False
Let o = -118 - -148. Let p = o - -186. Does 25 divide p?
False
Let m = -55 - -238. Let u be (-4571)/35 + (-4)/10. Let x = m + u. Is 13 a factor of x?
True
Let p(z) = -19 + 169*z**2 + 11*z + 2*z**3 - 3*z**3 - 185*z**2. Is p(-17) a multiple of 15?
False
Suppose -2584 = 2*t - 4*t + 4*y, t + 2*y = 1276. Does 74 divide t?
False
Suppose 2*b = 4*b - l + 4, 0 = -5*b + 3*l - 11. Let n(x) be the second derivative of -21*x**3/2 + x**2/2 - 20*x. Is n(b) a multiple of 12?
False
Let o = -16 + 772. Is o a multiple of 6?
True
Let z = -327 - -589. Is 16 a factor of z?
False
Is ((-318)/(-8))/(((-24)/(-128))/3) a multiple of 53?
True
Let y be (-724)/(-14) + (-14)/(-49). Suppose -m + y = -5*u, -m = 5*u - 8 - 4. Is m a multiple of 16?
True
Let b = 8 - 13. Let o(x) = x**3 + 4*x**2 - x + 1. Let l be o(b). Let s = l - -68. Does 13 divide s?
False
Suppose -w - 5*u + 3740 = 0, -5*w + 11*u = 8*u - 18588. Does 24 divide w?
True
Suppose -5*j + 32 - 7 = 0. Suppose t + y = 2*y + 49, -j*t + 235 = 5*y. Does 38 divide t?
False
Let j(s) = s**3 - 9*s**2 - 15*s - 5. Let n be j(12). Suppose 0*w - 2*r + 178 = 2*w, 0 = 3*w - r - n. Is w a multiple of 7?
True
Suppose 206 - 846 = -5*r. Is r/(-40)*345/(-6) a multiple of 46?
True
Suppose -5*u + 44 = 3*q, 5*q - u - 74 = 46. Is 23 a factor of q?
True
Let n be -15*((-2)/18)/(1/3). Suppose 0 = 2*s - 3*s + 16. Suppose -s = -n*h + 74. Is 6 a factor of h?
True
Let n = 51 + -46. Suppose 0 = -5*k - 5*b - 15, -3*b = k + 13. Suppose -l - 1 = -k, 3*p = n*l + 82. Does 29 divide p?
True
Suppose -v + 2200 = z, 5*z + 115*v - 113*v = 10988. Is 36 a factor of z?
True
Let d(w) = 53*w**2 + 6*w. Does 27 divide d(-3)?
True
Suppose 0*t = -5*t + 2*z + 333, 4*t = 2*z + 266. Suppose -5*b - t = -562. Let q = b - 71. Does 4 divide q?
True
Does 31 divide -1 + 52/44 - 39205/(-55)?
True
Is (-64)/6*1365/(-20) a multiple of 26?
True
Let b be 22/6 - 12/18. Suppose -31 - 8 = b*j. Let s = 10 - j. Is s a multiple of 6?
False
Does 12 divide (-146)/(-511) - (-2180)/14?
True
Let k(a) = -a + 6. Let z be k(2). Suppose 0 = t - 2*l - 3*l + 10, -z*l = 2*t - 50. Is t a multiple of 15?
True
Let m(k) = k**3 - 4*k**2 - 6*k + 8. Let r be -3*3/(0 + -3). Suppose 3*t = 3*x - 6, 0 = r*x - 8*x + t + 26. Is 11 a factor of m(x)?
True
Suppose -9*m + 12*m + 662 = l, 0 = -5*m - 10. Is l a multiple of 16?
True
Suppose 0 = 3*u + 2*p - 10, -u = p + p - 10. Suppose 3*f = z - 31, -4*f - 39 = z - u*z. Let a(t) = -4*t - 9. Is 8 a factor of a(f)?
False
Let n = -449 - -1001. Suppose f - 4*a + n = 5*f, -3*a + 694 = 5*f. Does 20 divide f?
True
Suppose 12*f + 2932 = 14812. Is 30 a factor of f?
True
Suppose 2*p - 67 = -5*u + 218, 5*u = 2*p - 255. Suppose 20*q = 15*q + 5. Does 16 divide q*3 - p/(-3)?
True
Suppose -5*p + 