 -u**3 - 9*u**2 - 7*u + 10. Let w be g(-8). Let n be (6/9)/w*-771. Let t = n - -562. Is t a multiple of 61?
True
Let m = -3262 + 4126. Does 108 divide m?
True
Let c be (-36)/(-8)*(-4)/3. Suppose -2*h = 8, 3*h = m + 1 - 12. Is 23 - (c + (m - -4)) a multiple of 13?
True
Suppose -5*u + 92 = 4*z, -2*z = -4*u + 58 - 0. Suppose -2*q = -u*q + 1260. Is q a multiple of 40?
False
Let p(u) = -u**3 - 14*u**2 - 41*u - 4. Suppose -3*n - 53 = 5*l, -3*l = 3*n - 20 + 53. Is p(l) a multiple of 6?
True
Let h = 5996 - 236. Is 12 a factor of h?
True
Let m(d) = d**3 - 22*d**2 + 7*d + 32. Let x be m(22). Let i = 366 - x. Does 9 divide i?
True
Does 13 divide 6/(6/2857) + (7 - 13)/(-1)?
False
Suppose 1 = i, -2*a - 2*i + i = -11. Suppose 0 = -5*o - 4*s + 934, a = -s + 6. Is 20 a factor of o?
False
Let b(z) = 13*z**2 - 4*z - 15. Let l(n) = 7*n**2 - 2*n - 8. Let o(a) = -2*b(a) + 5*l(a). Is 7 a factor of o(4)?
True
Let z(n) = -11*n - 18. Let q be z(-2). Suppose 3*y = -0*a - 5*a + 1909, 3*a - 1128 = q*y. Is 20 a factor of a?
True
Suppose 48*i = 47*i + 12. Let h be 2*(-3)/2 + i. Suppose 0 = -l + 45 + h. Is 9 a factor of l?
True
Suppose 6829*u - 6786*u - 1431341 = 0. Does 40 divide u?
False
Let n(q) = -2*q - 6. Let w be n(-4). Suppose -2*r + r - 23 = x, x = -w*r - 43. Is 8 a factor of r/70 + 142/7 + 2?
False
Suppose 10*j = -15*j + 50. Suppose -j*n - 496 = -2618. Is 39 a factor of n?
False
Let m(z) = -46*z + 712. Does 58 divide m(-40)?
True
Let a(d) = -d + 5. Let i be a(0). Suppose -3*g - 2*g - i*t + 35 = 0, 0 = -5*g - 2*t + 32. Is 8 a factor of (-24)/g + (0 - -28)?
True
Suppose 3*a + 2577 = -z - 3*z, -z = -2*a + 658. Let j = 1101 + z. Does 31 divide j?
False
Suppose -4*j = -j + 9, 81 = u + 3*j. Is 18 a factor of 150/u*(-54)/(-5)?
True
Suppose 20547 - 77328 = -27*z. Is z a multiple of 96?
False
Let p(v) = -2*v**3 - 9*v**2 + 38*v + 18. Let u be p(-7). Suppose 0*a - 4*a = -88. Is 9*(-3 - a/u) a multiple of 8?
False
Let a = -19 - -22. Let x(d) = -d**3 + 2*d**2 + 7*d - 8. Let f be x(a). Is 32 a factor of f/(-5) - (-10)/(-50) - -129?
True
Let r be (-18)/4*(-66)/9. Suppose -r*u + 2262 + 4602 = 0. Is u a multiple of 14?
False
Suppose 4*q - 62 = -38. Let m(y) = 17*y - 17. Let r be m(q). Suppose 7 = -3*n + r. Is 15 a factor of n?
False
Suppose -2*n = 4*x - 3 + 249, 4*n = x + 48. Let y = 62 + x. Suppose -4*a = 6*t - 11*t + 436, 0 = -5*t - y*a + 442. Is t a multiple of 11?
True
Let q = -5927 - -15137. Is 86 a factor of q?
False
Suppose 2*h + 5*p = 5*h + 203, -h - 4*p = 96. Suppose -12 + 56 = -2*z. Let x = z - h. Is x a multiple of 9?
True
Let k be 155/93*(-24)/(-10). Suppose -6*l = k*l - 5800. Is 29 a factor of l?
True
Let r = -2614 - -2815. Is 2 a factor of r?
False
Suppose -4*z + 2*z + k + 331 = 0, -2*z = 3*k - 311. Let g = 231 - 329. Let f = g + z. Does 13 divide f?
True
Let h be (-5 - (-4)/2) + 30. Suppose 0 = -4*y - h + 91. Suppose 3*u = 2*x + 76, -u + 0*x + y = 4*x. Is 9 a factor of u?
False
Let s = -130 + 67. Is s*1*(0 + (-5)/3) a multiple of 2?
False
Suppose 266 = 3*s - 17*s. Let p = s + 704. Suppose 3*v - 409 = -2*h, -5*h = 5*v - h - p. Is v a multiple of 30?
False
Is -2 + 9585/(-30)*148/(-3) a multiple of 41?
False
Suppose -2*c + 13 = -x, 7 - 4 = -x. Suppose -c*r + 5*l + 199 + 986 = 0, -4*r = l - 958. Is 31 a factor of r?
False
Let o(s) = 609*s**2 - 4*s + 3. Let l be o(1). Is (-7)/21 - l/(-6) a multiple of 8?
False
Suppose -17*q = -12*q - c - 17944, -2*c = -3*q + 10758. Does 5 divide q?
True
Suppose -2*t = -4*p - 8 - 20, -5*t + 4 = p. Is 8 a factor of 113*(-7)/(21/p)?
False
Let h = -3190 - -15007. Is 38 a factor of h?
False
Is 22 a factor of (-442)/(-204) + (-7)/6 + 1 + 1767?
False
Let n be (-24)/24*(-1 - -68). Let s = -67 - n. Suppose s = -4*x + 5*f + 192, 4*x - 48 = 3*x + 3*f. Is x a multiple of 23?
False
Suppose -10 = 5*y, -5*y + 8*y = -4*j + 274. Is 28 a factor of 38/(61/j + (-8)/10)?
True
Let b = -16 - -12. Let t be (-32)/(-4) + 1*b. Suppose 3*m = 5*c + m - 41, 4*c = -t*m + 44. Does 5 divide c?
False
Let d(o) = 66*o**2 - 37*o**2 + 7*o - 2*o + 3 + 79*o**3 - 34*o**2. Is d(2) a multiple of 12?
False
Suppose -4*g - 223 = -543. Is 3872/g + (-3)/(-5) a multiple of 5?
False
Let v be (-94)/(-3) - 4/(-6). Let l be v/(-24)*18/4. Does 27 divide (2 - 2*l)*46/2?
False
Suppose 0 = -k + r, 4*r - 30 = -3*k + k. Suppose 4*n + 58 = 3*q, 3*n = 1 + k. Is q a multiple of 11?
True
Let q = 118 + -79. Suppose -q*g = -40*g + 215. Does 12 divide g?
False
Let c = 38 - 39. Let n be -4 + 1 + (c - -4). Suppose -2*u + 3*k + n*k = -175, -2*u = k - 187. Is 20 a factor of u?
False
Suppose 5*z - 55 = j, 3*z = 2*j + 26 - 0. Suppose 2*i = 4 + z. Suppose t + 3*y = 118, i*y - 4*y = 0. Does 14 divide t?
False
Let u(o) be the first derivative of 2*o**3/3 + 3*o**2 - 12*o - 1. Let i be u(-6). Is 16 a factor of 6/(1/(-1)*(-2)/i)?
False
Suppose 1496 + 328 = 4*l + 3*v, -l - v + 455 = 0. Is l a multiple of 27?
True
Suppose a + 1 = b, b = 3*b - 5*a + 10. Suppose -b*n = 13 - 23. Suppose 5*d + 13 = n*p, -11 = -2*p - 2*d - 5. Is 4 a factor of p?
True
Suppose 57531 = 3*z - 5*w, -95847 = -5*z + 1482*w - 1480*w. Does 44 divide z?
False
Let g = 32521 - 22181. Is 4 a factor of g?
True
Let o = -49 + 49. Suppose 2*p + 3*q - 305 = 0, -5*p + o*p + 3*q = -773. Let n = 324 - p. Does 15 divide n?
False
Suppose 0 = 4*q + 15 - 35. Suppose 4*v + 0*v = q*i - 2069, 408 = i + 5*v. Is i a multiple of 32?
False
Let d(w) = 118*w**2 + 569*w + 2793. Does 46 divide d(-5)?
True
Does 100 divide (1 + (1760/(-12))/8)*-150?
True
Let h(z) be the third derivative of z**5/15 - 23*z**4/12 - 14*z**3/3 - 47*z**2. Is 7 a factor of h(14)?
True
Suppose 5*r + 2*u - 4*u - 10 = 0, 0 = 2*r + 2*u + 10. Let v be -1 + 70/5 + r. Suppose 12*x - v*x = -80. Is x a multiple of 20?
True
Suppose 3*g = 3*w - w - 1342, 0 = 2*w + 3*g - 1366. Suppose w = 5*q - 1153. Suppose -q = 6*f - 12*f. Does 16 divide f?
False
Let f = -23 + 5. Let d = 20 + f. Is (3 - d) + (30 - 1) a multiple of 30?
True
Suppose -20 = 5*g, 20*p = 23*p + 3*g - 29148. Is p a multiple of 10?
True
Let u be 4/2*(-1 + 115/2). Suppose -u = m - 437. Suppose 5*a = 3*x - m, 267 - 46 = 2*x - 5*a. Is x a multiple of 41?
False
Suppose -4*v = -4*o - 88, -9*o - v = -6*o + 86. Let u(y) = -5*y + 2. Is 2 a factor of u(o)?
False
Let j(h) = h**2 - 23*h + 132. Let l be j(12). Suppose l = -p + 2*x + 208, -6*p + 3*p + 2*x + 640 = 0. Is 18 a factor of p?
True
Let x = -6376 + 9265. Is 107 a factor of x?
True
Let t(w) = -3*w + 64 + 6*w - 279 - 7*w - 9*w. Is t(-35) a multiple of 15?
True
Let a = 37 - 54. Let c(r) = 9*r - 34. Let h be c(11). Let y = h + a. Is y a multiple of 12?
True
Suppose 3*w - 7 = -5*z, -5*w + 18 = -2*z + 4*z. Let l = 6538 + -6536. Suppose n - 340 = -2*o, -l*n = 3*n + w*o - 1688. Is 56 a factor of n?
True
Suppose 4*l - s = 34818, -23*l + 113154 = -10*l - s. Is 42 a factor of l?
False
Suppose 8277 = 13*v - 2955. Is v a multiple of 4?
True
Let o(u) = 129*u - 1534. Does 93 divide o(32)?
False
Let d = 95 + -93. Suppose -6*l = -d*k - l + 2083, -3*k + 3115 = 2*l. Is 34 a factor of k?
False
Let z(d) = -22*d + 11. Let a(m) = -m**3 + 3*m**2 + 10*m - 13. Let t be a(5). Does 11 divide z(t)?
True
Suppose 3*z - a - 1081 - 2366 = 0, 4*a + 3438 = 3*z. Is 23 a factor of z?
True
Let a(v) = v**3 - 101*v**2 - 186*v + 88. Is 227 a factor of a(104)?
False
Let x(g) = 11*g + 49. Suppose v - 29 = -5*s, s - 3*v - 13 + 4 = 0. Let r be 6 - 222/36 - (-55)/s. Does 6 divide x(r)?
False
Let j = 4294 + -2568. Suppose 8*r - 322 = j. Does 32 divide r?
True
Suppose 4*s + 3*f - 83 = 0, -s + 2 = -4*f + 5. Suppose -s*a = -10*a - 28. Is 231/3 + -1 - (a + -3) a multiple of 5?
True
Suppose -4*d + 20 = 0, 5*c - 64672 = -d + 6173. Is c a multiple of 62?
False
Is 4/30 + -987276*(-40)/7200 a multiple of 130?
False
Suppose -m - 3*m + 21 = 5*y, m - 7 = -3*y. Suppose -m*c = -6*c + 10. Suppose -u - 64 = -c*u. Does 12 divide u?
False
Let f(s) be the third derivative of -s**6/40 + s**5/20 + 5*s**4/8 + 45*s**2 - s. Does 28 divide f(-5)?
False
Let f(n) = -5 - n**2 + 5*n**2 - 9*n + 2 - 2*n**2. Let z be f(6). Let p(t) = t**3 - 15*t**2 + 5*t + 2. Is 11 a factor of p(z)?
True
Let i = 252 + 5236. Is 14 a factor of i?
True
Suppose -o + 5*n + 5625 = 0, -50*n = 3*o - 53*n - 16863. Is 7 a factor of o?
False
Let x = 36075 + -14729. Is x a multiple of 26?
True
Let k(s) = 