+ 910. Does 73 divide u?
True
Suppose 2*t = c + 967, -2419 = -5*t - 4*c + 6*c. Let d = 677 - t. Is 11 a factor of d?
False
Let t(v) = 2*v**3 + 51*v**2 + 65*v + 72. Let f(g) = g**3 + 25*g**2 + 33*g + 36. Let b(y) = 5*f(y) - 3*t(y). Does 15 divide b(-27)?
True
Let x(f) = 329*f + 109. Does 39 divide x(28)?
True
Let s(h) = -17*h**3 + 2*h**2 + 7*h + 5. Let m be s(-3). Let i be m/1 - 9/(-9). Suppose -2*o + i = o. Is 11 a factor of o?
True
Let l be (-3 - -52)*(-1)/2*-6. Suppose 0 = 2*z + 5*x - l, 0 = -0*z - 4*z - 5*x + 279. Suppose 122 = o - 4*u, 3*o = 4*u - z + 440. Is o a multiple of 18?
True
Let l = -832 - -1526. Suppose f + 729 + l = 5*p, -4*p + 4*f = -1148. Suppose 0 = 2*w - p - 132. Does 12 divide w?
False
Suppose 395*v - 400*v + 507865 = -5*p, -2*v + 4*p + 203142 = 0. Does 12 divide v?
False
Let u = 161 - 95. Suppose l = 3*x - u, 4*l - 3*x + 242 = -2*x. Let z = l + 179. Is 10 a factor of z?
False
Let o = 3180 + -2898. Does 2 divide o?
True
Suppose 0 = -2*u + 3*z + 20, 36 = 2*u + 2*u - 4*z. Let g = 26 - u. Let d(l) = l**3 - 20*l**2 + 21*l + 12. Does 10 divide d(g)?
True
Let a(k) = k**3 + k**2 - 5. Let m be a(0). Let d be 2/(-10) - 16/m. Suppose -2*j = -j - d, -4*r + 78 = -2*j. Does 7 divide r?
True
Let a be (-55)/(-15)*(125 + 4/(-2)). Let f = a + -283. Does 13 divide f?
False
Suppose 0 = -7*w - 67 + 130. Is 18 a factor of 45/(-4 + w/2)?
True
Let w be 13/((-78)/24)*(-2 - 0). Suppose 0*d + w*d = 16. Suppose -4*y - t = -7*y + 123, -5*y + 194 = d*t. Is 5 a factor of y?
True
Let u be (4/(-6))/(4/(-258)*1). Suppose 10*h = u + 7. Suppose -3*x - 3*c = -h*c - 406, 3 = 3*c. Does 8 divide x?
True
Suppose 0 = 2*k - 5*n + 376, -6*n + 3*n - 522 = 3*k. Let g = 242 + k. Is g a multiple of 6?
False
Let m(l) = -94*l + 12. Let x(v) = -v**3 - 19*v**2 - 37*v - 57. Let h be x(-17). Is m(h) a multiple of 16?
True
Let x be (-3 + 100/30)*(1 + -40). Let g(k) = 2*k**3 + 26*k**2 - 3*k + 22. Does 14 divide g(x)?
False
Let s(q) = 16*q - 195. Let c(w) = -15*w + 195. Let m(b) = -2*c(b) - 3*s(b). Does 20 divide m(-15)?
False
Let s(q) = -2*q**3 - 3*q - 3. Let o be s(-1). Suppose 182 = o*x - 8. Is 6 a factor of x?
False
Let y(l) = 3*l + 3 - 4 - 15 - 5. Let n be y(7). Is 190 - (-8)/2 - n a multiple of 25?
False
Let b(c) = -20*c + 1. Suppose 4*h + 22 = -4*g + 2*h, 0 = -3*g + 2*h - 6. Let s(l) = 21*l - 1. Let n(m) = g*b(m) - 3*s(m). Does 3 divide n(2)?
True
Let m(k) be the first derivative of -5*k**4/4 - 4*k**3 - 20*k**2 - 14*k - 353. Is 33 a factor of m(-6)?
False
Let h(m) be the second derivative of 13*m**4/12 - 4*m**3/3 + 7*m**2 + 55*m. Does 10 divide h(4)?
True
Suppose 7234 + 5766 = 10*h. Suppose 0 = -2*m + 4*o + h, m - 697 = 4*o - 53. Is m a multiple of 19?
False
Let m(b) = 963*b**2 + 8*b - 5. Is m(-1) a multiple of 10?
True
Let l(f) = 408*f - 1085. Is l(9) a multiple of 63?
False
Let v = 169 + 96. Suppose -5*a - 4*s = -v, a - 52 = -2*s + s. Is a a multiple of 5?
False
Let m(a) = 14*a - 14*a + 19 + 21*a - 8. Is m(6) a multiple of 10?
False
Let u be (-3)/(84/(-2248)*-1)*-7. Suppose -5*m + 3*y - 2*y + u = 0, -m - y + 110 = 0. Does 7 divide m?
True
Let o(i) = -221*i + 11. Let c be o(2). Let w = -142 - c. Does 42 divide w?
False
Let n(f) = f**2 + 95*f - 1860. Is 5 a factor of n(53)?
False
Let o = -15598 + 24148. Does 171 divide o?
True
Let m(o) = 202*o - 156. Is 9 a factor of m(3)?
True
Let l be 71366/6 + 78/9 + -8. Is l/10 + 3/(-6) a multiple of 46?
False
Let i = -6645 - -7354. Is 8 a factor of i?
False
Suppose 2*p = -5*r - 27, 4*p - 5*p - 18 = 4*r. Let a = p - -9. Suppose a*m = -77 + 239. Is 19 a factor of m?
False
Let n(t) = 4*t**2 - 8*t + 7. Let y be n(1). Is 10 a factor of 27/(-162) + y/((-36)/(-782))?
False
Let m(h) = 61*h**2 - h + 2. Let q be m(-1). Let z = q - 13. Does 2 divide z?
False
Suppose -f - 4*l - 4*l + 1952 = 0, 2*f - l - 4006 = 0. Is f a multiple of 11?
False
Let r = -8972 - -10391. Is 43 a factor of r?
True
Suppose -5*t - 5361 = 2*t - 23190. Is t a multiple of 27?
False
Let r(i) = 1211*i - 1871. Is 87 a factor of r(13)?
False
Let y(m) = 2*m**2 + 182*m - 165. Does 13 divide y(26)?
False
Let z = 69 + -69. Suppose z = 2*r - 8 - 0. Suppose 0 = -r*x + 90 + 678. Does 22 divide x?
False
Suppose -2*t + 3*x - 25 = 0, -7 = -4*t + 5*x - 56. Let o = t - -15. Suppose -8*s = -o*s - 196. Is 18 a factor of s?
False
Suppose -j + 2 = 0, -j + 3*j + 126 = -5*l. Is (1/(-3))/(l/5304) a multiple of 4?
True
Let u(d) = -2*d**2 - 2*d - 8. Let l be u(-5). Is l/(-21) + (-4 - 182/(-49)) even?
True
Let z(s) be the third derivative of s**5/20 - s**4/24 + 2*s**3/3 - 40*s**2 - 1. Is z(7) a multiple of 18?
True
Suppose -n + 9009 = -5898 + 2923. Is 16 a factor of n?
True
Let x = 3 - 0. Suppose -c = -4*k - 30, 8*c = 3*c + x*k + 235. Suppose -y = -130 - c. Does 30 divide y?
True
Suppose -3*z = -d + 3*d - 5546, -4*z + d + 7391 = 0. Is 154 a factor of z?
True
Suppose 0 = 5*w + 3 - 23. Suppose -10 = -w*h + 2*m + 4, 29 = 4*h + 3*m. Suppose 2*y + 2*y + 4*g - 8 = 0, -4 = 3*y + h*g. Is y even?
False
Suppose 215*z + 21*z - 3649504 = 0. Is 14 a factor of z?
False
Does 48 divide 4397 + 23 + 5/(5/2)?
False
Let f(m) = -m**2 - 10*m + 9. Let g be f(-7). Let w(l) = -l**2 + 33*l - 63. Is w(g) a multiple of 4?
False
Suppose 15*d = 10*d - 225. Let t = 43 + d. Is 9 a factor of -3 - (t/(-6))/((-6)/450)?
False
Suppose -357390 = -47*m + 28*m. Does 66 divide m?
True
Is (1 + -7489 + 2)*(-12516)/1192 a multiple of 21?
True
Suppose -k + 4*c + 20 = 0, -4*k + 3*c = 7*c. Suppose k*f - 7 - 1 = 0. Suppose -31 = -w - f*d, -w + d = -d - 35. Is w a multiple of 3?
True
Suppose -2*t = 14 - 54. Suppose t*w - 18795 = 8065. Is w a multiple of 15?
False
Let k be (2/10)/(10/100). Suppose -42*w = -k*z - 39*w + 708, -2*z + 732 = 3*w. Is 24 a factor of z?
True
Let n be (-615)/(-492) + 1 + 1/(-4). Let i(y) = 758*y - 25. Is i(n) a multiple of 71?
True
Suppose -37*n + 39*n + 12 = 0. Is -156*(-8)/36*n/(-2) a multiple of 26?
True
Let w(u) = -79*u**3 - 3*u**2 - 10*u - 2. Let p(z) = -3*z**2 - 16*z - 22. Let l be p(-2). Is 22 a factor of w(l)?
True
Let z(n) = 2*n**2 - 2*n + 29. Let o be z(0). Suppose -5*c + 2*c + o = 4*y, -5*c = -5*y - 95. Is 6/c + 2097/45 a multiple of 47?
True
Suppose 144 = 2*x + 2*f + 2*f, f = 0. Let p = 157 - x. Is p a multiple of 9?
False
Suppose 6*y - 110 = -38. Suppose -3*h - y = -6*h. Suppose -215 - 130 = -4*z + r, 5*z = -h*r + 405. Does 17 divide z?
True
Let w = 257 + -288. Is -32 - w - (-57 + 0) a multiple of 4?
True
Suppose 2*d + 2*k + 138 = 0, 3*d + 2*d + 325 = 5*k. Let w = -62 - d. Suppose -4*q = -w*i - 0*i - 31, -2*i = -4*q + 46. Is q a multiple of 6?
False
Let i(p) = -357*p - 5. Let x be i(-2). Let a = -439 + x. Does 30 divide a?
True
Suppose -27*r = -37037 - 131173. Does 89 divide r?
True
Suppose -60 - 316 = -4*t. Suppose 0 = -5*o - t + 2549. Is o a multiple of 24?
False
Let d(o) = 509*o + 860. Does 15 divide d(13)?
False
Suppose -2*o - 20 = -6*o. Suppose -3*j - 18 = -5*c, -10 = o*j - 5. Let m(s) = 2*s**3 + 3*s**2 - 3*s. Does 6 divide m(c)?
True
Let r(l) = -2*l**2 + 18*l - 24. Let u be r(7). Suppose -k - 2*p + 53 = 0, u*k + 11 = 4*p + 247. Does 7 divide k?
False
Let n be (-3 + (-4 - -2))*(58 - 59). Suppose 4*l - 5*l = -n*b - 1632, -l + 1602 = 5*b. Does 77 divide l?
True
Let t(u) = -5*u**3 - 47*u**2 - 64*u - 315. Is 32 a factor of t(-23)?
False
Suppose -35*a + 38*a - 843 = 0. Let k = -155 + a. Is 22 a factor of k?
False
Suppose 5*r = 5*b - 0*b - 950, 0 = -5*b + 4*r + 953. Suppose -a - 11 = -b. Is a a multiple of 26?
True
Let t(f) = 286*f + 439. Does 47 divide t(137)?
True
Let s(o) = 4*o**3 + 20*o**2 - 13*o + 14. Does 59 divide s(14)?
False
Does 29 divide -3*(-58020)/(-210)*(5/(-2) - 1)?
False
Let h(i) = -24*i + 21. Let s be h(-18). Let j = -293 + s. Does 5 divide j?
True
Let d be (-24)/40 - 93/(-5). Suppose 28*j - d*j = -5000. Let i = -351 - j. Is 26 a factor of i?
False
Let r = -30 - -37. Suppose 8*z = r*z - 158. Let o = -105 - z. Is o a multiple of 15?
False
Let n = 34 + -60. Let o = n + 32. Suppose 2*t = o*t - 576. Is 24 a factor of t?
True
Suppose -5*j - 1336 = 2*i - 8735, -4*j + 2*i + 5930 = 0. Does 9 divide j?
False
Let t(s) = 7*s**2 + 53*s + 35. Let y = -406 - -398. Is t(y) a multiple of 13?
False
Let i(v) = -8*v - 22. Let w be i(-2). Let k(j) = -118*j - 372. Is 21 a factor of k(w)?
True
Suppose -2*f - 3*q