 j. Suppose 0 = 3*w - 4*y - 152, 0 = 5*y + 22 + c. Is 14 a factor of w?
False
Let x be -1 + -24 - (-2 + -1). Let o be x*(-4 - 10/(-4)). Let v = o + -2. Is v a multiple of 31?
True
Suppose -5*b - 4*w = -418, 3*b - 4*w = 27 + 243. Suppose 5*s + 2*v - b = 0, 4*s - s + 2*v = 50. Does 2 divide s?
True
Let k = -69 - -33. Let d = -25 - k. Does 6 divide d?
False
Suppose 10 = 5*x - 215. Let o = 653 - 622. Let t = x - o. Is 7 a factor of t?
True
Let u be (-26 + 21)/((-1)/1). Is 22 a factor of 2/(5/1100*u)?
True
Let s = -1733 + 464. Let b = s - -1778. Suppose -b = -5*c + 26. Is c a multiple of 29?
False
Suppose 0 = u + z + 1, u - z - 1 = -2*u. Let n be (u + 6)*(-35)/(-14). Is 8 a factor of (152/20)/(6/n)?
False
Suppose -6048 = -8*j + 4*j. Suppose 8*t - j = -t. Does 40 divide t?
False
Let n(b) be the second derivative of -b**5/20 - 5*b**4/6 + 3*b**3/2 + 2*b**2 - 15*b. Is 3 a factor of n(-11)?
False
Let j(z) = -z**3 + 14*z**2 + 16*z - 27. Let a be j(15). Does 19 divide (-4)/((-24)/1267) + 2/a?
False
Let y(j) = -j + 7. Let s be y(-6). Suppose 8*o - s*o + 85 = 0. Is 9 a factor of o?
False
Let c(g) = g**2 + g - 1. Let u(s) = 5 + 33*s + s**3 - s**2 - 39*s - 2*s**2. Let f(v) = -5*c(v) - u(v). Is 28 a factor of f(-5)?
False
Let g(u) = 3*u**3 + 15*u**2 + 3*u + 9. Does 2 divide g(-3)?
True
Let a be (-26)/39 + (-215)/(-3). Let i = -31 + a. Does 10 divide i?
True
Does 33 divide (10 - 9)*(562 + -1)?
True
Let a(d) = 58*d**2 + 13*d + 23. Is a(-4) a multiple of 29?
True
Let n(x) = -5*x + 4. Let u(m) = 3*m - m - m + 2. Let k be u(-4). Is n(k) a multiple of 4?
False
Let d be 2 - (-1 - (-2 + -236 + -1)). Is 17 a factor of (2 + -6)/(480/d - -2)?
False
Suppose 0 = 3*b - 361 + 97. Let x = 139 + b. Suppose -3*p + 43 + 41 = 2*g, p = 5*g - x. Is g a multiple of 10?
False
Let d(l) = 83*l + 1588. Is 29 a factor of d(0)?
False
Suppose -5*j + 400 = 3*j. Suppose o - 5 = -4, -j = -q - 5*o. Is 18 a factor of q?
False
Suppose 0 = 3*h - 30 - 21. Suppose -y + h - 53 = 0. Is 11 a factor of 4 + -3 - y - 4?
True
Is 23821/164 + 2/(-8) - -3 a multiple of 4?
True
Let o be 0 - -6*(23 + -3). Let c = o - 85. Is 12 a factor of c?
False
Let t be 139*(0 + (-2 - -1)). Let n = -92 - t. Is n a multiple of 8?
False
Suppose -2*p = f - 2263, 2*p - 1124 = -2*f + 3410. Is 60 a factor of f?
False
Suppose 3812 = 3*q + 4*r, -4*q - 5*r + 3051 + 2033 = 0. Does 11 divide q?
True
Let t be (-4)/7*14/(-4). Suppose -3*y = t*o - 24, o + 4*y = 3 - 1. Let a = 34 - o. Is a a multiple of 9?
False
Let j = 236 + -103. Let c = -130 + j. Does 2 divide c?
False
Let y = -65 - -65. Suppose y = 4*z - 707 + 59. Is z a multiple of 9?
True
Let z = 13 + -17. Let t = 14 + z. Suppose -3*l = 2*o + l - t, 2*o - 34 = 4*l. Is o even?
False
Suppose 3*y - 14 = 43. Suppose p - 3*p - 6 = -4*v, -3*p - v = -y. Suppose -p - 1 = -x. Does 2 divide x?
True
Let h be 4 - 8 - (0 + -7). Suppose 3*j = -9, 4 - 65 = -4*r + h*j. Is r a multiple of 13?
True
Suppose 0 = 3*i - 118 - 176. Suppose -i = -4*s + 2*b, -4*s + 0*b - 4*b = -128. Does 21 divide s?
False
Does 11 divide (-3)/7 + (-12614)/(-49) + 5?
False
Let q = -179 - -343. Is 30 a factor of q?
False
Let f(p) = -3*p + 8. Let v = -37 + 31. Is f(v) a multiple of 8?
False
Let m be (-15)/10 - (-734)/4. Suppose 4*i - 2*q + q = 376, -2*i + m = -2*q. Does 24 divide i?
False
Is 59 a factor of -11 + 10 - -1 - (-459)/1?
False
Suppose -2*v - 4 = 0, -3*v = 4*t - 4*v - 14. Suppose -15 = t*f - 0, 4*n - 4*f - 124 = 0. Suppose 28*j - n*j = 174. Is j a multiple of 29?
True
Let r(m) = m - 15. Let l be r(13). Let f be (-4)/((-16)/12) - l. Suppose 166 = f*o + 51. Is 11 a factor of o?
False
Suppose -s - f + 331 = 3*f, -1324 = -4*s + 5*f. Does 25 divide s?
False
Does 3 divide (-20)/(-2 - -6) + (200 - 0)?
True
Let m be (-11)/(-4) - (-12)/48. Let l be 1 + -1 + (5 - m). Suppose 2*v + 18 = 4*k - 104, l*k - 2*v - 64 = 0. Is 12 a factor of k?
False
Let d(y) = y**2 + 6*y - 1. Let m be d(-4). Let n(x) = 590*x**2 - 292*x**2 + 7 - 288*x**2 + 9*x + x**3. Is n(m) even?
False
Suppose -2*w + 4*k + 22 = 0, -w + 70 = 3*w + 5*k. Is 10 a factor of w?
False
Suppose 2 = -r + 3*r. Let g be 4/r*1 + -49. Does 7 divide (-8)/(24/g) + -3?
False
Is 7 a factor of ((6948/24)/(-3))/((-2)/28)?
True
Let n = 4 + -2. Suppose v = n*v + 3. Is 17 a factor of -1*34/(2 + v)?
True
Suppose -3*i - 9 = 3, -2*s - 40 = 5*i. Let z(t) = -4*t - 23. Let q be z(s). Suppose 0 = 4*p + 5 - q. Does 3 divide p?
True
Let j(v) be the second derivative of -v**5/20 - v**4/6 + 5*v**2/2 + 6*v. Let h be j(0). Suppose 136 = -d + h*d. Does 19 divide d?
False
Let x be ((-1)/(-3))/((-2)/(-54)). Let z be (-200)/(-90) + (-2)/x. Suppose 3*h = -z*h + 135. Is h a multiple of 9?
True
Suppose -5*o + 9 = -6. Suppose u - 6*p = -p, 0 = p - o. Does 15 divide u?
True
Let r = 962 - 554. Is r a multiple of 8?
True
Is 24 a factor of (-181)/((7/((-28)/(-8)))/(-10))?
False
Let h(a) = -a + 4 - a**2 - 2*a - 7. Let u be h(-7). Let j = 33 - u. Is 12 a factor of j?
False
Let u(f) = -3*f**2 + 48*f + 21. Is 5 a factor of u(15)?
False
Let y(n) = -71*n**2 - n + 1. Suppose u = 7*u + 12. Let v(x) = x**2 + x - 1. Let a(p) = u*v(p) - y(p). Is 26 a factor of a(1)?
False
Suppose 2*p + 1 = 5. Let j be p - (1/(-1) + 47). Let l = j - -95. Does 26 divide l?
False
Suppose 5*g - 13*u - 4203 = -16*u, -4*g + 3359 = -u. Is 70 a factor of g?
True
Let j = -323 - -385. Is j a multiple of 20?
False
Suppose -5*o = 2*a - 464, 2*o + a - 197 = 4*a. Does 94 divide o?
True
Let r = 6283 - 2912. Does 19 divide r?
False
Let i be -2 - (23 + (-4)/2). Let m = i - -26. Let u(f) = -f**3 + 4*f**2 - 2*f + 1. Is u(m) even?
True
Let u be 30/4 - (-4)/(-8). Suppose 0 = 2*o + u - 17. Suppose -f + 3*t = -20, -t + o*t + 8 = -f. Is 2 a factor of f?
True
Does 7 divide (-26)/65 + 1804/10?
False
Suppose l - 12*l = -781. Suppose -q + l = -33. Does 13 divide q?
True
Is 88 a factor of (-62)/(-372) + (-6479)/(-6)?
False
Let n be 0 + 13/3 + (-3)/9. Suppose 0 = 2*t - n*u + u - 45, -2*t - 2*u = -40. Is 15 a factor of t?
False
Let i = 6 - 4. Is 9 a factor of 67 + 4 + i + -9?
False
Let x(w) = 120*w - 2. Does 4 divide x(2)?
False
Suppose -4*t + 9*t - 4*m - 51 = 0, -5*t + 5*m + 50 = 0. Let q(b) = 29 - 2*b**3 + b**3 + 12*b - 48 + 10*b**2 + 24. Is q(t) a multiple of 16?
True
Suppose g = -3*q + 125 + 104, q = -4*g + 91. Is 3 a factor of q?
True
Suppose 0 = l - v - 138, l + 5*v = -l + 248. Suppose -2*d + 2 = -l. Is d a multiple of 17?
True
Let b = -1024 - -1264. Is b a multiple of 6?
True
Let t be (-9)/3 + 1 - -6. Is (-712)/(-6) + t/(-6) + -1 a multiple of 16?
False
Let p be ((-1)/3)/(3/(-9)). Suppose 0 = n - p - 133. Is n a multiple of 18?
False
Suppose -929 = -2*l - f, 0 = -21*l + 23*l - 5*f - 923. Is l a multiple of 58?
True
Suppose -3*c = j - 759, -3*j = -8*j + 2*c + 3744. Suppose 0 = -26*o + 21*o + j. Does 25 divide o?
True
Suppose 0 = -3*g - 2*g + 25. Let k = 67 + g. Does 18 divide k?
True
Let m = 2 + -2. Suppose 2*x + 5*c = 3*x - 47, m = -5*x - c + 313. Is 31 a factor of x?
True
Let f = 1824 - 853. Is 44 a factor of f?
False
Let t(u) = u**2 + 10*u - 4. Let v be ((-40)/32)/(1/8). Let c be t(v). Let k = 9 + c. Is k even?
False
Let t = 174 + 34. Is 14 a factor of t?
False
Let m(q) = q**2 - q + 2. Let o be m(2). Suppose -k + 3 = 0, -2*k + 18 = -0*z + o*z. Does 9 divide 3*z/(-9)*-11?
False
Suppose 71 = 3*v - 43. Suppose 2*a - 37 = 2*k + 11, -96 = -4*a - 4*k. Let f = v + a. Does 25 divide f?
False
Let u(m) = m**2 - 18*m + 2. Let r be u(18). Let i(x) = 6*x**3 + 5*x - 4*x**3 - 2*x**2 + r*x - 4*x. Is i(3) a multiple of 9?
True
Let h = 527 + -423. Is h a multiple of 8?
True
Suppose -125*v + 1323 = -122*v. Does 49 divide v?
True
Let u be 170/10 + 0/(-2). Suppose 347 = 2*k - u. Is k a multiple of 13?
True
Does 12 divide (-4)/(-18) - (2181/(-27) - 3)?
True
Let q(p) be the first derivative of -3*p**2 - 4*p - 11. Is q(-6) a multiple of 5?
False
Suppose m = -2*p + 37, 0 = 3*p + 2*m + 3*m - 52. Suppose 6*q - 7*q + p = -g, 4*q - 75 = 5*g. Does 20 divide q?
True
Does 2 divide (-5 + (-108)/(-20))/((-1)/(-85))?
True
Let v be 20/(-35) - (-120552)/21. Suppose 0 = -b - 6*b + v. Is b/45 - (-2)/(-9) a multiple of 4?
False
Let r be (-4)/(-7) + (-20)/35. Suppose -5*j + 10*j - 266 = -4*k, j - 4*k - 34 = r. Is 10 a factor of j?
True
Let n = -1 + -6. Let s = n - -7. Suppose 5*i - r - 87 = s, 4*i