+ 228. Does 29 divide o(-24)?
True
Suppose -3*n - 4617 = -3*g, -4*g + 5295 = -5*n - 864. Suppose -1554 = -6*s + g. Is s a multiple of 26?
False
Suppose 4*j + 15 = 2*z + 3, 5*z - j - 21 = 0. Suppose -32 = -5*r + 4*l, 0*l + z*l - 8 = 0. Does 13 divide r/32 - (633/(-4))/3?
False
Let t = -192 - -197. Let k be (5/2)/(1/(-10)). Does 16 divide t/k - (-962)/10?
True
Let x = 481 + -92. Let s = -104 + x. Is 25 a factor of s?
False
Let i(n) = 1436*n - 6 - n**2 + 1447*n - 4320*n + 1450*n. Suppose u - 5 = 5. Is 5 a factor of i(u)?
False
Let c(p) = 30*p + 3. Let v be c(3). Suppose -3*h - v = -315. Let f = 104 - h. Does 3 divide f?
True
Let l(j) = 8*j + 49. Let s be l(-5). Suppose 240 = 21*w - s*w. Does 6 divide w?
False
Let u = -4 - -9. Suppose 0 = -0*a + 3*a + u*m + 364, 2*a - 2*m + 248 = 0. Let r = -39 - a. Is 8 a factor of r?
False
Let a(y) = y**2 - 46*y - 12. Suppose -4*p = -80 + 152. Is a(p) a multiple of 12?
True
Suppose 0 = -y + 4*x + 10295, 26*x - 24*x = -4*y + 41180. Is 145 a factor of y?
True
Let m(w) be the second derivative of -w**5/20 - w**4/4 - w**3/6 + 11*w. Let f be m(-3). Suppose 5*x = -a + 14, 2*a - 154 = -f*a - 4*x. Is a a multiple of 16?
False
Let i(m) = 20*m**3 + 77*m**2 + 14*m + 111. Let k(x) = -11*x**3 - 39*x**2 - 8*x - 55. Let j(v) = -6*i(v) - 11*k(v). Does 6 divide j(33)?
False
Let m = 152 - 148. Suppose m*a = -27 + 667. Is 16 a factor of a?
True
Let o = 400 + -470. Does 10 divide (-2496)/(-10) + o/(-175)?
True
Let z = -7272 - -11780. Suppose 39*r - z = 11*r. Does 7 divide r?
True
Let n(i) = i**3 + 10*i**2 - 25*i - 13. Let f = 76 + -87. Is n(f) a multiple of 18?
False
Let k(r) = 1319*r - 1842. Does 21 divide k(14)?
False
Let j = 526 - 513. Suppose -1694 = -l - j. Does 21 divide l?
False
Let g = 25618 - 19282. Is 264 a factor of g?
True
Suppose 0 = -5*o + 3*d + 3404 - 971, -4*o + 5*d = -1936. Suppose -5*t + o = -2*t. Let q = t - 110. Does 7 divide q?
False
Suppose -91*n - 81*n = -982464. Does 56 divide n?
True
Let o be 2 - (-1 - -3)/(-1). Let r(d) = -8*d**2 - 6*d + 12. Let w(y) = -9*y**2 - 6*y + 15. Let p(c) = -4*r(c) + 3*w(c). Is 29 a factor of p(o)?
False
Let w be -4*5/10 + 81. Let y = 346 + w. Is y a multiple of 47?
False
Let v = 180 - 23. Suppose -5*t = -5*q + q + v, 3*q = 5*t + 119. Is 22 a factor of q?
False
Suppose -4*t - 12428 = -2*b, 2*b + 3*t = 1152 + 11269. Is b a multiple of 6?
False
Let c = -1068 + 9042. Does 18 divide c?
True
Let r(s) = -s**3 - 10*s**2 + 6*s + 26. Suppose -4 + 19 = 5*p. Suppose t + p + 3 = k, k + 38 = -3*t. Is 9 a factor of r(t)?
True
Let a be 1744/(-6)*(-96)/128. Suppose -4*f - a = -466. Is 62 a factor of f?
True
Suppose 43*o + 1207 = 18*o + 86207. Is o a multiple of 10?
True
Let q(j) = 1698*j**2 + 12*j + 10. Is 12 a factor of q(-1)?
False
Suppose 81 = -5*d + 4*d. Let u = d + 86. Suppose 0 = 3*b, -l = 3*l - u*b - 100. Does 22 divide l?
False
Let f be 14/2*(5 + 22). Suppose 4*s - f = 491. Suppose -4*g + 58 = -s. Does 11 divide g?
False
Suppose 227*c = 233*c. Suppose -82 = -2*t - 4*s, t + c*t = 5*s + 55. Does 15 divide t?
True
Suppose -226*l + 232*l = 54. Suppose 5*t - l*t = -4532. Is t a multiple of 91?
False
Let b(p) = -p**3 - 11*p**2 + 16*p - 84. Is 130 a factor of b(-24)?
True
Suppose 5*a = -5*h + 4445, -5*a + 4*h + 5593 = 1103. Suppose -5*c - 4*g + 6390 = a, 0 = -c + 3*g + 1103. Is c a multiple of 25?
True
Let p(y) = y**3 + 6*y**2 - 6*y + 7. Let b be p(-7). Suppose b*r + 49 = -r - l, 0 = -r + 5*l - 73. Let x = 207 + r. Does 23 divide x?
False
Let a(k) = 7*k**2 + 11*k + 265. Is 13 a factor of a(-28)?
False
Suppose 3*n + 0*t = 2*t + 11, 5*n + 4*t = 33. Suppose -22*f = -18*f - 3*x - 88, 2*f - n*x - 44 = 0. Is f a multiple of 10?
False
Let s(v) = -v**3 - 23*v**2 + 33*v + 146. Is s(-29) a multiple of 154?
False
Let v(n) = n**3 - 7*n**2 + 11*n + 13. Let w(x) = -2*x**2 + 3*x - 6. Let k be w(3). Let b be -1 + (-36)/(-10)*k/(-6). Is v(b) a multiple of 15?
True
Suppose 0 = 9*y - 202 + 22. Suppose -z = l, 5*z + y + 5 = 0. Suppose 2*o = 3*g - 434, g - l*g = -3*o - 579. Does 48 divide g?
True
Let u(f) = -89*f - 1694. Is u(-63) a multiple of 43?
True
Let l be (-1 + 6 + -4)*2/(-1). Let b(m) = -79*m**3 + 3*m - 2. Let p be b(1). Let s = l - p. Is 4 a factor of s?
True
Let b(v) = -2*v. Let q be b(0). Suppose 5*p - 4*p + 3 = q. Does 9 divide (-160)/p + (-24)/(-36)?
True
Suppose 6 - 181 = -5*z. Suppose l = 2*n + 3*n + z, 65 = 2*l - 5*n. Does 6 divide (6/(-15))/((-1)/l)?
True
Let h = 6 - 0. Does 13 divide (3*208/30)/(h/30)?
True
Does 88 divide (96448/(-192))/((28/(-126))/((-32)/(-6)))?
True
Let y(j) = 20*j**2 + 80. Is y(15) a multiple of 116?
False
Let g = -2525 + 4765. Is g a multiple of 20?
True
Suppose -3*i = 3*f + 33, 3*f + 25 = -2*f. Let z(c) be the second derivative of c**4/4 + c**3 + 4*c**2 - 4*c. Is z(i) a multiple of 16?
True
Suppose -2*i - 69 = -r, -2*i + i + 2 = 0. Let z = r + -98. Is 3 a factor of (-295)/z - (-3)/15?
True
Let h = -7172 + 24532. Is h a multiple of 8?
True
Let g = 267 - 269. Does 8 divide 44 + (g - -2) + -6?
False
Suppose -5*o = 4*z - 91209, 0 = 5*z - 1832 + 1802. Is o a multiple of 89?
False
Let k = 2791 + -1914. Suppose -29*x = k - 8359. Is x a multiple of 3?
True
Suppose -2*a - l + 53 = a, 49 = 3*a + 5*l. Let q(s) = 17*s + 30. Does 24 divide q(a)?
True
Suppose -4*f + 8 + 5 = 5*o, 7 = 5*f - 3*o. Suppose f*w + 0*w - 14 = -2*z, 0 = 2*z - 4. Suppose -w*u = 3*u - 552. Is 34 a factor of u?
False
Let x(b) = 4*b**2 - 29*b - 17. Let j be (1*9)/(24 + -23). Is x(j) a multiple of 2?
True
Let q(z) = 10*z - 18. Let w be q(11). Let x = 310 - w. Does 51 divide x?
False
Let r(b) = 5*b**2 + 2*b + 7. Let d be r(8). Suppose -5*x + d = -2*u, 5*x - 136 = 3*u + 211. Let z = x + -37. Does 30 divide z?
True
Suppose -5*c + 3*x = -75109, -c - 4*x + 15014 = -2*x. Is c a multiple of 5?
True
Let x(m) = 6*m**2 + 70*m + 1856. Is 30 a factor of x(-53)?
True
Suppose 219 = 6*l + 9. Let r = -6 + l. Let f = r + -2. Is f a multiple of 18?
False
Let q = 9 - -3. Let u = q - 10. Is (-496)/(-4) + (-10)/u a multiple of 9?
False
Suppose 10*z - 2*z - 105211 + 29707 = 0. Is 11 a factor of z?
True
Suppose 4*h - 101 + 5 = 0. Let k be ((-4)/(-5))/(h/60). Suppose -42 = -k*x - 18. Is x a multiple of 2?
True
Let d = 23 + -23. Suppose d*o - 2*o = -o. Let s = 40 + o. Is s a multiple of 8?
True
Let n(j) = j**3 + 86*j**2 + 79*j + 1730. Does 16 divide n(-85)?
True
Let n(h) = -9*h**2 - 21*h - 36. Let t be n(-9). Let w = t + 700. Is w a multiple of 31?
True
Let w = 207 - 181. Suppose w*i + i = 8505. Is i a multiple of 7?
True
Suppose c - 654 - 174 = -3*v, -2*v - 833 = -c. Let j = c + -402. Is j a multiple of 11?
True
Let n = 65922 + -14382. Does 20 divide n?
True
Let i be 21/49 - 125/(-35). Suppose 3*l = i*k - 610 - 294, 5*k - 1130 = 4*l. Does 16 divide k?
False
Let p = 2 + 7. Suppose 10*l - p*l = 61. Suppose -l = 2*y - 235. Does 11 divide y?
False
Is 32 a factor of -50*(13 - 16 - (-3987)/(-15))?
True
Suppose 2*d - 4463 = 3*i, -11*i + 15*i + 8916 = 4*d. Does 8 divide d?
True
Suppose 4*u = 4*y - 36149 - 7087, -3*u = 3*y - 32421. Is y a multiple of 193?
True
Does 16 divide (-280755)/(-340)*4/3?
False
Let u(c) = 20*c**2 - 340*c - 4. Is 4 a factor of u(18)?
True
Let q(g) = -g**3 + 7*g**2 + 19*g - 16. Suppose 0 = -n - 4*d - 9, 0*d - 1 = n + 2*d. Does 13 divide q(n)?
True
Is 38 a factor of (-12)/8 + 5/(-2) + 9618?
True
Suppose 5*d - 9 = 36. Suppose -6168 = d*j - 15834. Does 29 divide j?
False
Suppose -4*u = -2*k + 566, -4*u + 558 = 2*k - 0*u. Suppose -1961 + k = -5*s. Suppose h = 4*d - h - s, 5*h = -5*d + 420. Is 28 a factor of d?
True
Let a(x) = 3*x**3 + 21*x**2 - 13*x + 6. Let q(h) = -2*h**3 - 14*h**2 + 9*h - 4. Let p = 7 + 0. Let u(z) = p*q(z) + 5*a(z). Is u(-5) a multiple of 33?
False
Let d be -148*(-1)/((-16)/12). Let x(r) = -6*r**3 + r**2 - 2*r. Let l be x(3). Let q = d - l. Is 6 a factor of q?
True
Let n = 13808 - 9712. Is n a multiple of 39?
False
Let n = 91 - 35. Let g be ((-90)/(-35))/(12/n). Suppose 2*f - 78 = -4*z, -4*z - f - g + 93 = 0. Is z a multiple of 3?
True
Let x = 80 + -73. Let a be ((-4)/(-10))/(x/1085). Let r = a + -46. Is r a multiple of 8?
True
Let z(p) = -p**2 + 8. Let h be z(-3). Let s be 4 - ((-13)/h + 0). Is (2/(-12))/(3/s)*60 a multiple of 6?
True
Let i(o) = o**3 + 4*o**2 - 3*o - 8. Let x be i(-3). Let k be x/((-1630)/(-