 of t?
True
Suppose 2*w - 8 = -2. Suppose x - 30 = 2*a, 0*x = -x - 3*a + 50. Suppose -n - x = -w*n. Is n a multiple of 9?
False
Let a be (-18*6)/(-2) - 4. Suppose a - 7 = w. Is 9 a factor of w?
False
Let t be ((-2)/(-5))/(2/70). Suppose -t*f + 325 = -1635. Is 14 a factor of f?
True
Let i be ((-4)/(-3))/(2/3). Suppose -i*f = -2*c + 8, -c - 11 = -0*c - 4*f. Let u = c + -3. Does 2 divide u?
True
Suppose 0 = -49*l + 52*l + 18. Let f(s) be the second derivative of -s**5/20 - s**4/2 - s**3/2 - s. Is f(l) a multiple of 9?
True
Suppose -2*g = -5*r + 872, 5*r - 24*g - 873 = -21*g. Is r a multiple of 9?
False
Does 35 divide (-3 - (-2 - 0)) + 604?
False
Let j = 104 + -79. Suppose 0 = -0*t - 3*t + 51. Let g = j - t. Is 4 a factor of g?
True
Let k(p) = p + 16. Let s be k(7). Suppose s*i = 31*i - 192. Does 16 divide i?
False
Does 4 divide 776/26 - 110/(-715)?
False
Suppose 265 = 5*p + 5*a, 4*a + 149 = 4*p - 47. Is 17 a factor of p?
True
Suppose 187*c - 3256 = 176*c. Does 11 divide c?
False
Suppose -4*i + 2*b + 46 = 0, 0*b + b - 17 = -2*i. Let k(y) = y**2 + y - 3. Let x be k(2). Let u = i + x. Is u even?
False
Let o = 174 - -52. Suppose 0 = 4*l + 2 - o. Is 28 a factor of l?
True
Suppose 3*p = 8*p - 35. Suppose -p*v + 864 = -3*v. Does 54 divide v?
True
Does 72 divide (-4101 - (5 + 2))*2/(-4)?
False
Let p(s) = -6*s - 1. Suppose 0*r = 4*r - 36. Suppose 0*f - r = 3*f. Does 17 divide p(f)?
True
Suppose 0*i - 20 = -4*i. Suppose 4 = i*t - 91. Is 19 a factor of t?
True
Let i = -414 - -419. Let v = 10 - 6. Suppose 0*t - v*t + 12 = 0, -i*t = 2*a - 81. Is 11 a factor of a?
True
Let k = -130 + 214. Does 6 divide k?
True
Suppose 0 = -18*q + 1508 + 2776. Is 26 a factor of q?
False
Suppose -g = 4*y + 82 + 101, 4*g + 4*y + 732 = 0. Is (-2 - 24/(-9))*g/(-1) a multiple of 13?
False
Let b be (-10)/(-5)*(157 + -1). Suppose j = 3*m - 4*m + 60, -b = -5*m - j. Does 9 divide m?
True
Suppose 5*w - 453 - 1937 = 0. Is w a multiple of 42?
False
Is 26 a factor of 63/(5 + (-623)/126)?
False
Let g be 1 + 286/4 + 19/38. Suppose -5*y - 82 = -5*u + 123, -2*u + 5*y + g = 0. Is 44 a factor of u?
True
Suppose -7*y + 8322 = -3*x, 0*y + 2*x + 3568 = 3*y. Is 27 a factor of y?
True
Suppose n - 67 = -f, f + 4*f = -n + 75. Is n a multiple of 2?
False
Suppose 0*v + v - 25 = -2*d, 0 = -2*v - 5*d + 55. Suppose y + 9 = 4*a - 8, -4*y + 22 = 2*a. Suppose y*u = 15 + v. Is 6 a factor of u?
False
Let o(l) = l + 74. Does 5 divide o(26)?
True
Let v(h) = -h**3 + 9*h**2 + 15. Let g be v(9). Is 5 a factor of ((-235)/g)/(6/(-36))?
False
Is 13 a factor of 0 + 0 + -3 + (-480)/(-4)?
True
Is 13 a factor of (3 + -3 - 390)*(-2)/4?
True
Let g(t) = 15*t - 4. Suppose 0 = 2*n + 3 - 7, 2*n = -4*c - 20. Let l = c + 9. Does 18 divide g(l)?
False
Suppose -u - 3*u - 381 = -3*l, -4*u = -l + 119. Suppose 4*n - l = -5*j, 6 = -5*n + 1. Suppose -v + 3*q + j = -23, -140 = -3*v - q. Is 18 a factor of v?
False
Let t(w) = 11*w - 25. Let q be t(11). Let a = 19 + -15. Suppose a*z = q + 8. Does 4 divide z?
False
Let v(x) = -2*x - 9. Let t be v(-9). Let m = 12 - t. Let h = 12 + m. Is h a multiple of 5?
True
Let d = -295 - -131. Let i = -122 - d. Is i a multiple of 21?
True
Let i(w) = -4*w + 195. Does 17 divide i(-15)?
True
Suppose 0 = -2*u + u + 6. Suppose u*d = 5*d + 32. Suppose d = h + 5. Does 9 divide h?
True
Let d be (2/(-6))/((-2)/36). Suppose 5*u = -4*x + d, 0*x - 5*x - 9 = -2*u. Suppose 5*z - 63 = u*z. Is z a multiple of 21?
True
Suppose 4 = 8*c - 4*c. Let s be -3*(c/3 + -1). Does 11 divide s/(-3) + 404/12?
True
Let k be (73/2)/((-6)/12). Let s be 2/6 + (-610)/(-6). Let o = s + k. Does 8 divide o?
False
Let x = -151 - -851. Does 35 divide x?
True
Suppose -43551 - 41325 = -44*c. Does 49 divide c?
False
Suppose -2*l - 214 = -g - 691, 4*l = 5*g + 957. Does 14 divide l?
True
Let a(l) = -l**3 - l**2 - 6*l. Let q be a(-6). Suppose -5*s + q = -s. Is 7 a factor of s?
False
Let l(f) = -f**2 - 4*f - 1. Let b be l(-2). Let u be (-22)/99*-525 - (-8)/6. Suppose 2*n - n + u = 5*q, 2*n + 68 = b*q. Does 12 divide q?
True
Let s(y) = 46*y**2 + 18*y - 88. Is 36 a factor of s(4)?
True
Suppose 5*t - 2*r = -41 + 167, -4*r - 132 = -5*t. Let l(u) = u**2 + 11*u + 23. Let i be l(-7). Let o = i + t. Does 19 divide o?
True
Let b(f) = -3*f + 37*f**2 - 18*f**2 + 0*f**2 - 4. Does 25 divide b(-3)?
False
Let r = -158 - -434. Suppose -4*j + r = 2*p, 3*p = -2*j - p + 144. Does 17 divide j?
True
Let m be 3 - (-5)/(15/117). Let b be 2/(-8) + (-495)/20. Let f = b + m. Does 17 divide f?
True
Let f be -2*3 + -1 + 4. Let a(d) = -2*d - 5. Let q be a(f). Does 6 divide (272/32)/(q/2)?
False
Let u be 4/(-16) + 142/(-8). Is 12 a factor of ((-4)/(-5))/(u/(-1080))?
True
Suppose -4*f = 2*p - 2016 - 1214, -2*f = 5*p - 1619. Is 37 a factor of f?
False
Suppose 0 = -4*t + 5*t - 205. Does 41 divide t?
True
Let j(v) = 2 - v - 6*v + 0 + 8*v + 7*v**2. Let s be j(2). Suppose -o - 3*n + s = 0, 4*o - 43 = 3*n + 25. Is 15 a factor of o?
False
Let b = 829 + -757. Is b a multiple of 18?
True
Suppose -3*q + 2*q + 67 = -4*r, 43 = -r - 5*q. Let z = 48 + r. Does 28 divide z?
False
Let g(h) = h**2 - 9*h + 11. Let d be g(8). Suppose 2*y + 15 = -y + 3*b, -d*y - 2*b - 20 = 0. Is 23 a factor of 1 + 48 - (-3 - y)?
True
Is 30 a factor of (46 - (-1 - 0))/((-52)/(-1144))?
False
Let w = -39 - -112. Let c = w - 35. Suppose -c = -2*z - 0. Is 8 a factor of z?
False
Suppose 20 = -v - v + 2*r, 3*r = v. Suppose d = -2*d - 18. Does 3 divide ((-20)/d)/(v/(-90))?
False
Suppose 4*d = -1 + 25. Let j be d/(-4)*(-4)/3. Suppose -j*r + 33 - 11 = 0. Does 3 divide r?
False
Let o(t) = 3*t**3 + 4*t**2 - 5*t. Let l be o(4). Suppose -208 = -4*g + l. Does 11 divide g?
False
Suppose -c = -0*c - 2, 3*u + 5*c = 274. Suppose 6*a - 2*a = u. Suppose 75 = 2*j + 5*g - a, 2*g = 2. Is j a multiple of 23?
True
Let p(r) = -7*r**3 + 2*r**2 - 6*r. Let s(x) = -8*x**3 + x**2 - 5*x + 1. Let k(m) = 4*p(m) - 5*s(m). Is 35 a factor of k(2)?
True
Let g be -1 + 5 - (-6 - -8). Suppose 4*k - 8 = g*k. Suppose -3*h = -49 + k. Is 15 a factor of h?
True
Let z be (-15)/(9 + -4) + 105. Suppose -5*l + 168 = -z. Does 9 divide l?
True
Suppose 5*w - 5*b - 13 = 37, -5*w - 3*b = -42. Let o = 46 - w. Is 33 a factor of o?
False
Is 737 + (9 - (24 + -6)) a multiple of 91?
True
Suppose 90 = -16*q + 18*q. Suppose -2*d - q = -t, 0 = -5*d - 1 + 16. Is t a multiple of 17?
True
Let i(g) = 2*g**2 - 5. Suppose 4*q + q - 25 = 0, 0 = -w - 5*q + 21. Let r be i(w). Does 11 divide r + 4 - (-1 - 2)?
False
Suppose 2 = 2*u - 3*k + 1, 0 = 2*u + 2*k - 16. Suppose 9*a - u*a = 136. Is 11 a factor of a?
False
Let u be ((-3)/(-3))/((-3)/(-12)). Suppose 2*x + 0 = u, -4*j + 198 = x. Is 7 a factor of j?
True
Let g(l) = 5*l**2 + 2*l + 1. Let u be (-6)/4*28/(-21). Let w be g(u). Suppose 0 = 3*q - w - 2. Is q a multiple of 2?
False
Let q = 2307 + -604. Is 84 a factor of q?
False
Is 162*(20/(-12) + (6 - 4)) a multiple of 6?
True
Let w be (2631/(-7))/(-3) - (-8)/(-28). Let i = w - 62. Does 9 divide i?
True
Let q = 133 + -137. Let n(u) = u**2. Let m(g) = -5*g**2 - g. Let z(b) = -m(b) - 4*n(b). Is z(q) a multiple of 12?
True
Let z = 4 - -360. Is 37 a factor of z?
False
Let a(d) = -2*d**3 - 7*d**2 + 6*d + 3. Suppose 13*t + 15 = 10*t. Is 6 a factor of a(t)?
True
Let b(y) = y + 4. Let k be b(0). Let m = k - -2. Let p(n) = n**2 - 4*n - 8. Does 4 divide p(m)?
True
Let r = 231 + -65. Suppose -5*u - 4*h + r = 0, 6*u - 4*h = 3*u + 74. Is 10 a factor of u?
True
Suppose u + 3 - 8 = l, -5*u = 4*l - 25. Suppose 5*s - 445 = 2*r, l = -5*s - 4*r + 2*r + 425. Is s a multiple of 24?
False
Let x(v) = -v**3 - 7*v**2 - 7*v - 9. Let k be x(-6). Does 8 divide 8/20 + 373*k/(-15)?
False
Suppose -66*q + 70*q - 36 = 0. Let k(s) = 3*s**2 - 2*s - 21. Does 17 divide k(q)?
True
Suppose -96 = -l - l. Suppose -5*v + l = v. Does 8 divide v?
True
Let y(a) = -20*a - 14. Let t(i) = 7*i + 5. Let u(b) = 11*t(b) + 4*y(b). Let j be u(5). Is 27 a factor of 36/j*-20*2?
False
Suppose 142 = 5*h - 24*w + 26*w, -3*h + 5*w = -110. Is h a multiple of 15?
True
Suppose 5*a = -2*s - 590, -6*a + 3*s = -4*a + 255. Let n = 213 + a. Is n a multiple of 15?
False
Does 4 divide -7 - (-975)/26*2?
True
Let d(z) = 92*z - 94. Is d(8) a multiple of 9?
False
Let n = -650 - -1280. Suppose n = 4*z + 3*z. Is z a multiple of 18?
True
Let m = -82 - -85. Suppose 3*p 