9)?
False
Let u = 158709 + -111802. Does 157 divide u?
False
Suppose 20*b - 46004 = 15*b - 2*t, -b + 5*t = -9163. Does 14 divide b?
True
Suppose -160*d + 1614 = b - 157*d, 4*b = 5*d + 6490. Does 15 divide b?
True
Suppose 2*d - 7*d = -2550. Suppose 3*n - d = 2*t + 14, -n = -5*t - 166. Is n a multiple of 44?
True
Let q(u) = -35*u**3 - 2*u**2 + 1. Let t(c) = 6*c**3 + c**2 - c - 1. Let g be t(-1). Let d be ((-8)/g)/(-4) - (-6)/(-10). Is 25 a factor of q(d)?
False
Let j = 54 - 66. Let b be (1 + -3)*j + 0. Suppose 8 + b = h. Is 16 a factor of h?
True
Suppose -t + 2*n - n + 3 = 0, t = 2*n + 6. Suppose 0 = 4*v - s - 858, 4 = -2*s - t*s. Does 5 divide v?
False
Let u(g) = -163*g - 51. Let k(a) = -322*a - 102. Let p(m) = -6*k(m) + 11*u(m). Does 15 divide p(6)?
True
Let z be 4 + 2*3/6. Suppose -180 = -2*w - 3*q, -227 = -z*w + q + 189. Suppose -2*r + 20 = -w. Is r a multiple of 14?
False
Suppose -3*b - 4*r + 781 = 0, -4*b = b + 2*r - 1325. Does 45 divide b?
False
Let t(c) = -c**3 - 4*c**2 - c - 11. Let n be t(-6). Suppose 2*z - 358 = -3*o, -z - o + 114 = -n. Suppose -6*d - z = -581. Does 9 divide d?
False
Suppose -446*r - 228391 = -4601421. Is 53 a factor of r?
True
Is 16 a factor of (-914562)/(-651) + 1/7?
False
Let u(z) = -z**2 - 3*z + 11. Let t be u(-5). Let v(i) = 11*i - 11. Let r be v(t). Suppose -4*g + 12 = r, -520 = -5*m - g - 67. Is m a multiple of 16?
False
Let l(d) = d**2 - 10*d + 11. Let x be l(9). Suppose -a + q - 14 = 5*q, -q = a + x. Suppose a*n + n = 228. Is 19 a factor of n?
True
Suppose 0 = w + i - 4548, -4*w + i + 0*i = -18217. Is w a multiple of 29?
True
Let f(g) = 2*g**2 + 5*g + 12. Let k(m) = -m - 12. Suppose -4*p - 16 = 2*c, 4*p - 3*c = -2*c - 28. Let j be k(p). Is 18 a factor of f(j)?
True
Let t be (-35712)/448*(-14)/3. Does 23 divide 3*(-8)/6 + t?
True
Let g(m) = -17*m + 42. Let n be g(2). Let x(k) = 2*k**3 - 11*k**2 - 8*k + 1. Is 24 a factor of x(n)?
False
Let m be 3*-4*2/3. Let i(w) = 23*w + 16. Let k be i(m). Is k/(-4) + 0/(-1) a multiple of 14?
True
Let h(d) = -d**2 - 8*d - 10. Let t be h(-3). Is (-2732)/(-10) - ((-168)/35 + t) a multiple of 5?
False
Suppose 0 = -3*z - 12, -h = 2*h + 5*z - 4054. Suppose -2*b + h = -238. Is b a multiple of 57?
True
Suppose 9344 = 25*x - 1406. Is 3 a factor of x?
False
Suppose 8 = b - h - h, 0 = 2*b + 3*h + 5. Suppose 0 = -b*o + 7*o - 25. Suppose -o*y + 122 = 2*g, -5*y + 0*g + 142 = -3*g. Is y a multiple of 21?
False
Suppose 5069 = k + m, -2*k + 208*m - 209*m = -10138. Is 34 a factor of k?
False
Let i(a) = -336*a - 1. Let n(t) = -t**3 + 5*t**2 + 13*t + 6. Let h be n(7). Let o be i(h). Suppose 4*m + 4*v = 436, -v + 0*v = -3*m + o. Is m a multiple of 22?
False
Let k = -7169 - -9919. Is 19 a factor of k?
False
Let i be (1 + -1)/(5 - 4). Suppose i = -q + 5*q - 1728. Suppose 6*o + 6*o = q. Is 4 a factor of o?
True
Let v be (2 - 6/4)*0 - -230. Let n = 364 - v. Does 19 divide n?
False
Let a(n) be the first derivative of -29*n**4/24 + n**3/3 + n**2/2 - 2. Let r(q) be the second derivative of a(q). Is 30 a factor of r(-2)?
True
Let s(a) be the third derivative of -a**6/120 - a**5/20 + a**4/8 + 2*a**3 - 15*a**2. Let n be s(-3). Is (-2 - -11)/n - -133 a multiple of 34?
True
Let a = 72523 + -46435. Is 15 a factor of a?
False
Suppose -4*a + m + 21299 + 27052 = 0, 0 = 4*a + m - 48361. Does 171 divide a?
False
Let o be (32/(-10))/(8/(-20)). Let h be 22/o - 1*(-4)/16. Is (0 + 0)/h + 53 a multiple of 9?
False
Suppose 4*r - 91 = 3*r - 2*z, 0 = -3*r + z + 301. Is 3 a factor of r?
True
Let x(l) be the first derivative of 16*l**3/3 - 9*l**2/2 + 19*l - 24. Does 27 divide x(3)?
False
Suppose -3*g + 6*g - 64472 = -4*b, 0 = -5*g + b + 107461. Does 199 divide g?
True
Let f(w) = 146*w + 156. Let g be f(31). Suppose -i - 481 + 1423 = 5*c, g = 5*i - 3*c. Is i a multiple of 10?
False
Suppose -38*h - 32*h + 280 = -210. Let l be ((-35)/(2 - 1))/1. Does 11 divide (-1)/h*2 - 465/l?
False
Suppose -18*c + 14*c = 16*c - 63560. Is 45 a factor of c?
False
Suppose -57*t - 200*t + 3451253 = 0. Does 51 divide t?
False
Suppose 3*x + 2*u = -3*u + 214, 4*u = x - 77. Let q = 478 - x. Suppose -7*v + q = 2*v. Does 15 divide v?
True
Is 30 a factor of (-15)/162*304/(-380) - (-103678)/27?
True
Let q(c) be the first derivative of -5*c**2/2 + c + 2. Suppose g = 2*h + 1, -5*g = -4*g - 5*h - 13. Is 9 a factor of q(g)?
True
Is (3 - 21/4) + (-294390)/(-120) a multiple of 16?
False
Suppose -5*x - 111 + 396 = 0. Let s = -48 + x. Suppose 7*i + 308 = s*i. Is 22 a factor of i?
True
Let r = -39820 - -59950. Does 10 divide r?
True
Let y(n) = n**2. Let t(k) = -8*k**2 + 11*k - 8. Let o(w) = -t(w) - 5*y(w). Is 8 a factor of o(-8)?
True
Suppose 0 = -2*u + 4*x + 916, -14*x = u - 13*x - 464. Does 9 divide u?
False
Let f be 0/(-3 - (-2 + -2)). Suppose -3*r - 2*a + a = -13, -r - a + 5 = f. Let g(x) = -x**3 + 6*x**2 - 7*x + 8. Is 6 a factor of g(r)?
True
Let n(z) = -z**2 - 7*z - 2. Let a be n(-6). Let u be ((-597)/12)/((16/a)/(-16)). Suppose 107 = 3*m - u. Is 18 a factor of m?
False
Let j(l) = -l**2 - 4*l - 4. Let i be j(-2). Let r = -32 - -32. Suppose -4*y = 3*b - 1, i = -r*b - b + 3*y + 9. Does 2 divide b?
False
Let l(b) = -2*b**2 - 37*b + 21. Let t be l(-19). Let a(m) = 0*m**2 + 34 + 2*m**2 + 14*m - m**t. Is a(-17) a multiple of 19?
False
Let j = -6898 + 17874. Is 66 a factor of j?
False
Suppose 68*q = 42*q + 41*q - 1035. Is q a multiple of 35?
False
Let d be (-2)/5 + (-8064)/(-160). Suppose -3*y = -1 - d. Does 9 divide y?
False
Suppose 0 = 4*n + 41 - 313. Does 17 divide n?
True
Let g = 182 - 174. Is 7 a factor of g/28 + 3280/35?
False
Suppose 6 = 5*m - 5*d + 16, -2*d + 4 = 3*m. Suppose 5*i - 5*p - 3245 = 0, -3*i + 2*p + 3*p + 1943 = m. Is i a multiple of 21?
True
Let j(z) = z**2 - 2*z - 1. Let h(c) = -6*c**2 + 51*c + 100. Let q(b) = h(b) + 5*j(b). Does 8 divide q(35)?
False
Let f(h) = h**3 + h**2 - 5*h - 7. Let d be f(-4). Is 9 a factor of -5*21/d*81?
True
Let r = 75867 - 47707. Is r a multiple of 8?
True
Suppose -142978 = -22*x + 115742. Is x a multiple of 105?
True
Let q be ((-52)/(-18))/((-58)/(-261)). Suppose -q*p - 51 = -1026. Does 24 divide p?
False
Let f = 17 - 27. Let p be 2/f + 1855/25. Let a = p + -18. Does 23 divide a?
False
Let z = -60 + 61. Suppose 0 = 2*u - 5 - z. Let d(f) = 104*f - 6. Is d(u) a multiple of 34?
True
Let p be 9/(-9) - (-3 - -2)/(-1). Does 9 divide (-6)/4*p - (-25 + -363)?
False
Is 54 a factor of (0 - (9 - 13))/((-10)/(-2335))?
False
Suppose -j = -180 - 423. Let q be 12/54 - (-43)/9. Suppose j = q*u - 517. Is u a multiple of 56?
True
Let i = 10474 - -10358. Is 124 a factor of i?
True
Suppose 4*s - d - 21044 = 8070, 3*s + d = 21825. Is 4 a factor of s?
False
Let q(w) = 9*w**2 - 126*w - 1356. Is 12 a factor of q(-14)?
True
Let j(g) = -8*g**2 + 0*g**3 + g**3 - 5 + 8 + 5*g + 7. Let w be j(5). Is 5 a factor of w/(-14)*(-7)/(-2)?
True
Suppose 5*t - 8*t = -201. Let b = 93 - t. Is b a multiple of 13?
True
Let b(h) = h**2 - 15*h - 12. Let z be b(16). Suppose -3*v = q - 212, 5*v - 878 = -z*q + 3*v. Is 15 a factor of q?
False
Let w(j) = -4584*j - 518. Is w(-1) a multiple of 19?
True
Suppose -2*k - 4*b = -5810, -5*k - 31*b + 14537 = -33*b. Is k a multiple of 14?
False
Let t be ((-44)/(-55) + 76/5)/(-2). Is 87 a factor of ((-29)/((t/27)/8))/1?
True
Suppose -86*t + 81*t - 1818 = -3*w, -t - 4*w - 359 = 0. Let k = 383 + t. Is k a multiple of 13?
False
Let f = -345 + 6058. Is 29 a factor of f?
True
Is 166 a factor of ((-46294)/(-15) + 8/6)*(-2480)/(-186)?
True
Suppose h - 1 = 5. Suppose 0 = -h*b + 2*b + 12, 0 = -5*f - 2*b - 154. Let i = 59 + f. Does 27 divide i?
True
Let l(s) = s**2 - 6*s - 5. Let m be l(-1). Suppose -2*v - v + 2615 = 4*i, 2*i - m*v - 1318 = 0. Suppose 5*w = -146 + i. Does 34 divide w?
True
Let w(j) = -29465*j**3 + 5*j**2 - 46*j - 50. Is 297 a factor of w(-1)?
False
Is (9 + 2)*(42 + -1) a multiple of 5?
False
Is ((((-1)/(-1))/(16/141968))/(-1))/(-1) a multiple of 25?
False
Suppose -5*g - 42 = 3, 5*m - g - 7074 = 0. Is 9 a factor of m?
True
Suppose 138*r = 847783 - 602376 + 2039873. Does 12 divide r?
True
Let j be (2 - (-2 + 3)) + 2. Let p = j - -1. Does 43 divide ((-38)/p)/((-2)/28)?
False
Let a be (-4)/(-3)*(5 - 33/(-6)). Suppose w - a = -3*d, -3*d + 2*w = -0 + 1. Suppose -5*i - 345 = -5*m, -d*m - 2*i = 2*m - 352. Does 5 divide m?