t b = 1789 + 699. Let z = b - 1084. Is 13 a factor of z?
True
Suppose -29*h = -34*h + 40. Suppose 0 = -h*t + 2*t + 1830. Is 6 a factor of t?
False
Suppose -5*p - 1312 + 9687 = -3*x, 1703 = p + 5*x. Let r = p + -766. Is r a multiple of 12?
True
Suppose -207 - 183 = -3*o. Let b = o + -61. Is b/9*3 + 1 a multiple of 24?
True
Let u(x) = 21*x - 14. Suppose 0 = -12*d + 12 + 72. Let w be u(d). Suppose n - 2*m = 63, -2*n - 3*m + w = -0*n. Is n a multiple of 10?
False
Suppose -79*x = -81*x + 30. Let p(o) = -2*o - 24*o - 8*o**2 + 7 + 20*o + x*o**2. Does 13 divide p(-4)?
True
Suppose -3*w + 3*j = -510, -j + 3 = -0*j. Suppose -2*m = -3*m + w. Is m a multiple of 23?
False
Suppose -5*f - t + 0*t = 289, f = -5*t - 77. Let r = f + 72. Suppose -3*z + 5*d = -73, -z + 5*d = -56 + r. Does 16 divide z?
True
Suppose 0 = 6*f + 215 - 1745. Suppose h - f = 228. Is h a multiple of 21?
True
Suppose -21*u = 25*u + 208 - 36318. Is 5 a factor of u?
True
Let u(n) = -n**3 - 32*n**2 - 72*n + 37. Suppose 0 = -o - j - 0 - 30, 0 = 3*o - 4*j + 90. Is u(o) a multiple of 51?
False
Let h(x) = 9*x**3 + x + 4. Let n be h(2). Let l = n + 127. Does 7 divide l?
False
Let d(r) = -23*r + 7. Let k = 28 - 29. Let f(i) = i. Let h(t) = k*d(t) - 5*f(t). Does 23 divide h(3)?
False
Let h = 394 - 13. Let y = 928 - h. Is y a multiple of 12?
False
Let j = 549 - 263. Suppose 3*v - j = -y, -v + 818 = 9*y - 6*y. Does 19 divide y?
False
Let o(c) = -c - 4. Let f be o(-4). Suppose f = -5*g + 7*g - 454. Does 28 divide g?
False
Let f be (75*1)/(14/(-4) - -4). Suppose -5*q + 2117 = 3*u - f, -2*q + 8 = 0. Does 16 divide u?
False
Let l be (-2)/(-10)*-5 + 114 + -1. Is 30 a factor of (0 - -270)/(42/l)?
True
Let a(d) = -d + 22. Let i be a(16). Let n be 56/(-24) + 3 + 896/i. Suppose 4*o = 422 - n. Is o a multiple of 34?
True
Let z(n) be the third derivative of 2*n**5/15 + n**4/8 - 5*n**3/3 + 25*n**2. Let h be z(4). Suppose 126 = 8*b - h. Is b a multiple of 9?
False
Let o(d) = d**3 - 70*d**2 - 7*d + 73. Does 81 divide o(71)?
True
Let h(p) = p**3 - 33*p**2 + 13*p + 3. Let b = -269 - -302. Is h(b) a multiple of 13?
False
Let g = 10385 + -5270. Does 31 divide g?
True
Suppose -6 = -7*s + 5*s. Suppose 0*c - 5*a = -5*c + 210, s*a = -2*c + 109. Let h = c + -17. Does 13 divide h?
False
Suppose -10340 = -4*a - 2*j, 1374*j = -4*a + 1377*j + 10350. Is 2 a factor of a?
True
Let z = -140 + 75. Let w = z + 77. Does 2 divide w?
True
Suppose -14537 = -5*o - s + 36173, 0 = -2*o + 4*s + 20284. Does 42 divide o?
False
Suppose -10*g = -189 - 1. Suppose 20*r - 66 = g*r. Does 4 divide r?
False
Let r(y) = -17*y + 41. Let p be r(-8). Let v = p - 63. Is 38 a factor of v?
True
Let y(a) = 2*a**2 - 3*a**2 + 10 + 5*a + 9*a**2 - 3*a**2. Is 14 a factor of y(3)?
True
Suppose 62*x - 9539 = 61*x - h, 0 = -5*x + h + 47659. Does 10 divide x?
False
Suppose 5*q - 575 = -2*p, -118 = -16*q + 15*q - p. Does 21 divide ((-49)/3 + 0)/(q/(-4068))?
True
Suppose -8 = a - 3*a. Let p be (-1)/(((-3)/a)/3). Suppose 188 = -c + 3*c + p*k, -4*c + 386 = -2*k. Is 12 a factor of c?
True
Let h = 5362 - 612. Is h a multiple of 25?
True
Let g be (-10)/(-4)*(-234)/(-65). Let w = 6 + g. Is w a multiple of 15?
True
Suppose -k = -7*c + 9*c, -3*c = 2*k. Suppose c = 4*m - 451 - 369. Does 22 divide m?
False
Let o be (-143)/(-4) + 39/12 + -3. Let b = 41 - o. Does 27 divide 813/b + 3/(-5)?
True
Suppose -8*s - s = 0. Suppose -2*x = v - 235 - 307, 5*x - 2*v - 1346 = s. Does 26 divide x?
False
Let m(u) = -u**3 - 19*u**2 - 16*u - 9. Suppose 5*t - 3*v = -86, -26 - 57 = 5*t - 4*v. Does 11 divide m(t)?
False
Suppose -2*s = -14 + 72. Let c = s - 13. Let f = c + 54. Is 4 a factor of f?
True
Is 24 a factor of 5 - ((-7644)/14)/13?
False
Let x be 2 + (-3692)/(-22) + 6/33. Suppose x = -5*d - 90. Let a = d - -73. Is 2 a factor of a?
False
Let z(l) = 5*l**3 - 10*l**2 - 22*l + 28. Is 7 a factor of z(7)?
True
Let s = 546 - 963. Let o be (-20)/35 - (-30)/(-21). Is 14 a factor of s/(-5) - o/(-5)?
False
Let x(a) = -a**3 + a**2 + 30. Let w be x(0). Suppose 4*f = -t + 6*t - w, 2*t + 6 = -2*f. Is 19 a factor of (-32560)/(-286) - t/(-13)?
True
Let i be ((-372)/24)/(3/(-60)*2). Suppose 5*s - i = 5*z, 2*s + 0*z - 66 = z. Suppose 168 = -31*p + s*p. Does 14 divide p?
True
Let f be 22*3/(-2) + -3. Let h be (112/(-6))/((-1)/3). Let m = h + f. Does 5 divide m?
True
Let w(l) = 5*l**2 - 3*l - 24. Let i be w(-4). Let m = i + 72. Is m a multiple of 35?
True
Let t(b) = -5*b**3 - b**2 + 2*b - 1. Let i be t(-4). Let u = i - 155. Suppose -5*y - 4*a = -u, -y + 2*a - 3*a = -29. Does 12 divide y?
True
Suppose -271*l - 650200 = -296*l. Does 160 divide l?
False
Suppose -149*t = -55*t - 40260 - 226982. Is t a multiple of 6?
False
Let o(l) = 122*l + 422. Is 16 a factor of o(33)?
True
Is 127 a factor of -18 - (-3838)/209 - 695698/(-22)?
True
Let u(y) = -y**3 - 71*y**2 - 128*y - 3576. Does 2 divide u(-70)?
True
Let z(k) = -k**3 + 19*k**2 + 18*k + 42. Let h be z(20). Suppose 0 = -x - 3*n + 183, x - 5*n = -h*n + 201. Is x a multiple of 5?
False
Let w(k) = 14*k**2 - 14*k. Suppose 18 = -9*g - 0. Let r be w(g). Let b = 216 - r. Is 22 a factor of b?
True
Let h = 33 + -59. Let c = 26 + h. Is 16 a factor of (12/(-8))/3*(c - 128)?
True
Is 42 a factor of 1343/2 - (-18)/36?
True
Let y = 3208 + -1629. Is y a multiple of 16?
False
Let o(n) be the second derivative of 0 - 4*n + 7/3*n**3 - 14*n**2. Is o(11) a multiple of 21?
True
Let g(r) = 2*r**3 + 17*r - 15*r**2 + 2*r**2 + 12 - r**3 + 3*r. Is g(13) a multiple of 17?
True
Let r be (-40)/6 + 6 - (-34)/6. Suppose -1219 = -r*s + 31. Is 25 a factor of s?
True
Let c(f) = f**3 - 25*f**2 - 21*f + 1. Let a be c(26). Suppose k + 3*m = a, 3*k + 111 = 4*k - 2*m. Does 7 divide k?
True
Let u = 3251 - 902. Suppose p - 1427 = -2*p + 2*d, 0 = 5*p + 4*d - u. Is 29 a factor of p?
False
Suppose -4*h - 2 + 4 = 2*z, -4*h = z - 1. Is 5 a factor of (0 - z)/(-2*(-2)/(-20))?
True
Suppose 239*x - 180 = 236*x. Let t = 585 - x. Does 7 divide t?
True
Suppose 35*m + 1 = 32*m + p, 4*m + 2 = p. Does 14 divide ((-2)/(-4))/(5/(m + 8821))?
True
Suppose -19 = 3*v + 5*l, -3*v = 2*v + 4*l + 10. Is (548/(-6))/((16/v)/(-24)) a multiple of 8?
False
Let j(c) = -203*c - 692. Is j(-29) a multiple of 33?
False
Suppose -99315 = 94*m - 309029. Is 5 a factor of m?
False
Let p(o) = -o**3 + 7*o**2 + 11*o + 6. Suppose -10 = -9*l + 17. Suppose 3*w - 16 = y, 0*w - 18 = -4*w + l*y. Is 27 a factor of p(w)?
True
Is (299/39)/(8/(-18) - (-29414)/66132) a multiple of 46?
True
Let w be 4*(-2)/6*72/(-16). Suppose 0 = w*o - 2*o - 1700. Is 9 a factor of o?
False
Suppose -4*g = 8 + 12, 3*g + 11 = -c. Suppose -37 = c*i - 569. Is i a multiple of 9?
False
Let j = 265 - 269. Is 67 a factor of (4690/j)/7*(-40)/25?
True
Suppose 0 = 107*a - 1932296 + 193225. Is 38 a factor of a?
False
Suppose -4*y = 24, -886*u + 2190 = -882*u + y. Does 9 divide u?
True
Let b(m) = 3402*m**2 - 8*m - 1. Is 10 a factor of b(1)?
False
Let w = 55 + -32. Suppose 5*f - 73 + w = 0. Suppose 5*o + f*r - 5*r - 1220 = 0, 2*o + r = 484. Does 16 divide o?
True
Let m(z) = 858*z**2 + 2*z - 4. Is m(2) a multiple of 59?
False
Let s(c) be the third derivative of -c**6/120 + 19*c**5/60 - 7*c**3/3 + 33*c**2. Let z be s(17). Suppose -20*d + 24*d - z = 0. Is d a multiple of 9?
False
Let q(i) = 2*i**2 - 4*i + 18. Let g be q(3). Does 5 divide 3 - (g/(-6) - 1)?
False
Let r(n) = -n**3 - 24*n**2 - 2*n - 46. Let u be r(-24). Suppose 3*o + 5*t = -63 + 967, -2*o - u*t + 608 = 0. Is o a multiple of 14?
True
Let j be (-4)/6*(-3 - -15)/4. Let r be (0/(-3) + j)*(-132)/(-3). Is 6/(-33) - 2832/r a multiple of 8?
True
Suppose -3*h = -0*h - 9. Suppose 0 = c + 1 - h. Suppose c*x - 133 = 5*g, -x - 5*g = 3*x - 311. Does 27 divide x?
False
Suppose -275*u - 13905 = -320*u. Is 33 a factor of u?
False
Suppose 5*p = 10*p - 25. Suppose 0 = -3*r + 4*b - 0*b + 151, -3*r = -p*b - 155. Is 17 a factor of r?
False
Suppose -265497 = -108*w - 83*w + 1625403. Does 33 divide w?
True
Let k = 6554 - -5208. Is 116 a factor of k?
False
Let t(l) be the second derivative of l**4/12 + l**3 + 33*l**2/2 - 3*l. Let q be t(-10). Suppose -q = -2*v - 7*s + 2*s, 5*s = -5*v + 190. Is v a multiple of 13?
True
Let v(t) = -t**3 + 34*t**2 - 30*t - 95. Let j be v(33). Suppose -4*d + 3*d - j*b + 915 = 0, d + 3*b - 915 = 0. Is 69 a factor of d?
False
Let