+ 12 - 3*u**3. Let v(x) = -x**3 + 25*x**2 - 3. Let h be v(25). Is o(h) a multiple of 4?
True
Let k(f) be the second derivative of 16*f**3/3 + 15*f**2/2 - 65*f. Is 11 a factor of k(4)?
True
Let k = 505 - 301. Suppose 3*a - 4*l = 307, -2*a - 33*l = -35*l - k. Is 6 a factor of a?
False
Let g(h) = -416*h - 1198. Does 187 divide g(-9)?
False
Suppose -5*g - 250 = -4*m, 3*g = 2*m - g - 122. Suppose -2*r - 2*n = 5 - 23, 3*n = 2*r - 3. Suppose m - 11 = r*x. Does 9 divide x?
True
Let a be 1 + 771/(-6) + 3/(-2). Let p = a - -211. Is 7 a factor of p?
False
Suppose r + 1 = -3*t + 2, 0 = -2*t - 2*r + 6. Is t*28/(-8)*2 a multiple of 2?
False
Suppose -2*c + c = -3*z - 13, -z - 1 = 3*c. Let n(t) = t - t**2 - 2*t**2 - 11 + 8*t**2. Does 13 divide n(z)?
True
Let d(u) = 20*u**2 + 536*u - 84. Is 100 a factor of d(24)?
True
Let l(d) = d**2 + 3*d - 93. Let i be l(0). Does 22 divide 397/3 + 31/i?
True
Let u(k) be the first derivative of -63*k**2/2 - 104*k - 19. Is 3 a factor of u(-4)?
False
Let m(o) = 56 - 6*o + 3*o + 6*o - 5*o. Let x be m(26). Suppose -d = x*n - 951, n = 3*d + 116 + 125. Does 34 divide n?
True
Let w(b) = 34*b + 165. Let q be w(-4). Suppose q*o = -o + 22920. Is o a multiple of 53?
False
Let x(m) = 469*m + 318. Is x(13) a multiple of 5?
True
Let m(o) = -3*o**3 - 21*o**2 - 26*o - 25. Is 11 a factor of m(-13)?
True
Let r = 22873 + -20353. Is r a multiple of 9?
True
Let f(n) = n**2 - 4*n + 13. Let s be f(12). Let m(l) = 3*l**2 - 8*l + 9. Let b be m(10). Let j = b - s. Does 24 divide j?
True
Let h = -866 + 1418. Let x = h + -327. Does 23 divide x?
False
Suppose 3*b = -10*i + 9*i + 136, 5*b = 3*i + 208. Let v be (-15)/3*2*1. Let w = b + v. Is w a multiple of 17?
True
Let u be (3/(-2))/(5 + 517/(-110)). Does 3 divide u - -1 - (-208 - -63)?
True
Suppose 2*i - 5*y - 3043 = 0, 14*i = 19*i - 4*y - 7565. Is i a multiple of 2?
False
Suppose 6*z - 2*z - 1683 = -3*h, 2*z = 3*h + 855. Let f = z + -189. Is f a multiple of 14?
False
Let m(b) = b**2 - 13 - 3 + 27 + 0*b**2 + 4*b + 1 - b**3. Let y = -9 + 4. Does 14 divide m(y)?
False
Does 55 divide (-27)/((-270)/(-40)) - (-4018)/2?
False
Let d(t) = 1031*t - 1119. Does 12 divide d(2)?
False
Let t = -1732 + 2615. Is 22 a factor of t?
False
Suppose -19656 = -2*p - 4*l, 3*p - 186*l = -190*l + 29496. Is 24 a factor of p?
True
Let z be (13 + -14)/(1 + (-413)/414). Let l = z - -516. Does 4 divide l?
False
Let o(m) = -3*m + 1. Let v be (-5 + (-52)/(-8))/(6/16). Let c be o(v). Let q = 36 + c. Is q a multiple of 7?
False
Let f(q) = q**3 - q**2 - q + 1. Let t(l) = -35*l**3 - 6*l**2 - 12*l - 4. Let u(y) = -2*f(y) + t(y). Is 21 a factor of u(-2)?
True
Let d(g) = 129*g**2 + 22*g - 160. Does 8 divide d(10)?
True
Suppose -3*i - 37*i = -613713 - 213087. Does 78 divide i?
True
Is (-144)/(-27)*(2/1 - -5224) a multiple of 67?
True
Suppose 26*b + 1016 - 4711 = -133. Is 6 a factor of b?
False
Let g(u) = u**3 - 11*u**2 + 22*u - 20. Let t be g(9). Let s(m) = m**3 - 16*m**2 + 8*m - 32. Does 23 divide s(t)?
False
Let k be 3772/12 - 1/3. Let u = 518 - k. Suppose 2*r + 2*r = -3*l + u, 88 = 2*r - 2*l. Does 12 divide r?
True
Suppose -9*a + 133162 = -112088. Is a a multiple of 25?
True
Let t(u) = u**3 + 5*u**2 - 10*u - 192. Is 33 a factor of t(19)?
False
Let i(s) = 22*s**2 + 11*s - 15. Suppose 0 = -2*t - 12 + 2. Does 48 divide i(t)?
True
Let h be (-2)/(18/(-2351)) - (-32)/(-144). Let r = 412 - h. Is 46 a factor of r?
False
Let i(f) = -364*f - 390. Is i(-14) a multiple of 195?
False
Suppose 2514*r - 2528*r = -21126. Is r a multiple of 7?
False
Suppose 2*z - 11142 = -3*p, 19*z = 2*p + 14*z - 7447. Does 18 divide p?
False
Does 108 divide ((-3066)/(-7))/(3 + (-214)/72)?
True
Let t be 42/24 + 2/8. Let h(o) = -o + 76. Let j be h(0). Suppose -4*d + 5*d - j = -2*l, -2*d = -t*l - 140. Is d a multiple of 12?
True
Let r(x) be the first derivative of 2*x**3 - 3*x**2 + 2*x + 1. Let g(q) = 26*q + 161. Let a be g(-6). Is 17 a factor of r(a)?
False
Let g = -13 - -52. Suppose 0 = 37*b - g*b - 4. Let u(v) = -64*v + 3. Is u(b) a multiple of 25?
False
Let v(x) be the first derivative of -1/2*x**2 + 9 + 12*x. Is v(-4) even?
True
Suppose 0 = -2*j + 595 - 585, 3*j = -2*h + 3267. Is 25 a factor of h?
False
Let n = 2989 - 1976. Let a = -571 + n. Is a a multiple of 53?
False
Let q(o) = 4268*o - 296. Is 53 a factor of q(3)?
True
Suppose -35*y + 30*y = -3*b + 99370, y = -2*b + 66251. Is b a multiple of 125?
True
Let y = -3887 + 4279. Does 17 divide y?
False
Suppose 0*k + 996 = -12*k. Let x = -66 - k. Let o = x + 76. Is 31 a factor of o?
True
Let b(n) = 6*n**2 - 5*n + 22. Let x = -116 + 121. Does 21 divide b(x)?
True
Let i = -1 - -93. Let h(n) = -6*n**2. Let o be h(2). Let p = o + i. Does 16 divide p?
False
Let y = 11355 - 6496. Is y a multiple of 40?
False
Let i(x) = -x**2 + 2*x + 6. Let k be i(3). Suppose 244 = 4*g + 3*f, -k*g - 5*f - 148 = -5*g. Is 5 a factor of g?
False
Let z(q) = -3*q + 0*q - 4*q + 0*q. Suppose 2*v = -6 - 2. Does 4 divide z(v)?
True
Let c(y) = -2*y + 2. Let z be c(2). Let g be 5/(1/z*-2). Suppose 0 = g*x - 48 - 42. Does 6 divide x?
True
Suppose 0 = 3*t + 3*j - 12, 4*t - 5*j = -4*j + 21. Suppose -377 = 2*n - 4*y - 1095, 20 = -t*y. Is 17 a factor of n?
False
Let j(n) = n - 40. Let x be j(28). Does 15 divide ((-81)/x)/9 - (-17694)/24?
False
Let g = -356 + 522. Let m be 46/161 - g/(-7). Suppose -4 = 2*d - m. Does 2 divide d?
True
Let k be (15/6)/(3 + 195/(-66)). Let b = k - 60. Does 6 divide b/((-15)/188)*15/10?
False
Suppose -118*a + 509168 = -2610876 - 1316284. Is a a multiple of 52?
True
Suppose 4*i - 5*v - 57 = 0, 4*i + 2*v = -v + 17. Let y(q) be the third derivative of 7*q**4/12 + 4*q**3/3 - 24*q**2. Does 8 divide y(i)?
True
Let j(n) = n**3 + 12*n**2 + 10*n - 87. Is 44 a factor of j(-7)?
True
Let n be 1/(-4)*2*8. Let b(y) = 49*y - 27. Let c(h) = -25*h + 14. Let x(k) = 2*b(k) + 5*c(k). Is x(n) a multiple of 18?
False
Let l(q) = -18*q**3 - q**2 + 71*q + 474. Does 25 divide l(-6)?
True
Let b(p) = -10*p**2 + p. Let u be b(-3). Let g = -189 + 61. Let q = u - g. Does 5 divide q?
True
Let m = 17320 - 13826. Does 8 divide m?
False
Suppose -12604*g = -12607*g + 16830. Does 102 divide g?
True
Let n = -3954 - -4220. Is 19 a factor of n?
True
Suppose 4*s + 3048 = 4*u - 0*s, -6 = -3*s. Suppose 7*f - u = 307. Is f a multiple of 25?
False
Let u(x) = -x**3 + 2*x**2 - 2*x + 156. Let i be u(0). Let r = i + -126. Is 3 a factor of r?
True
Let m = 43 + -37. Suppose 197 = -q - m. Let g = -98 - q. Is 35 a factor of g?
True
Suppose 182*u - 23*u = 318795. Is u a multiple of 187?
False
Let v be 1/(-2) - (-1)/2. Suppose v*p - 15*p + 315 = 0. Suppose 522 = -19*u + p*u. Is 23 a factor of u?
False
Let q(r) = 67*r + 79*r + r**2 - 141*r + 4. Suppose -z - 6 - 1 = 0. Is q(z) even?
True
Suppose -49*q = -33*q - 6912. Let c = -8 - -11. Suppose -5*g = c*g - q. Does 18 divide g?
True
Let x be (-6)/(-9) - 14392/(-12). Suppose 21*r = 18*r + x. Is 16 a factor of r?
True
Let a(i) = 6*i**2 + i - 1. Let c be a(-1). Suppose -14 = -5*f - c. Is (-3)/((-9)/204) + f a multiple of 13?
False
Let x = 1153 - -5129. Does 31 divide x?
False
Let o(r) = -r**2 - 72*r + 17. Does 8 divide o(-43)?
True
Let j(k) = -82*k + 5. Let x be j(-3). Let g be (31 + 1)*((-26)/(-4) + -2). Let w = x - g. Does 23 divide w?
False
Let i(f) = f**3 - 15*f**2 - f - 62. Let z(a) = 16*a**3 - 3*a**2 + 6*a - 3. Let r be z(1). Is 27 a factor of i(r)?
False
Let o(k) = k**2 + k + 13. Let y be o(-6). Suppose 4*j - 2*v + v + 163 = 0, v = j + y. Is 20/j - 422/(-4) a multiple of 21?
True
Suppose 973*c - 1180*c + 5621292 = 0. Is c a multiple of 93?
True
Suppose 4 = x + 6. Let k be (-476)/(-12) + 0 - x/6. Suppose i = 3*h - 168, k = h - 0*h + 5*i. Is h a multiple of 8?
False
Suppose 2*p - 19 = -7. Suppose -8 = -4*g, 3 = -5*l + p*l + 2*g. Is 8 a factor of 1 + l - (5 + -29)?
True
Let u(a) = 3*a**2 + 4*a - 5. Let f = -60 + 57. Let r be (1/(-4)*-14)/(f/6). Is u(r) a multiple of 30?
False
Suppose 0 = 9*g - 115 + 1222. Let f = g + 242. Does 16 divide f?
False
Suppose 3*b - 27906 = 4*f, 58*f - 55*f + 27906 = 3*b. Does 170 divide b?
False
Let r(u) = -u**3 + 20*u**2 + 2*u - 36. Let w be r(20). Is 3 a factor of ((-12)/(-24))/(2/w) + 70?
False
Does 14 divide (-26492950)/(-6525) + (2 - ((-20)/(-9) - 0))?
True
Let j = -2150 + 3014. Suppose 2*h + 2*p - j = 0, -