r*b - 72 = a. Is 9 a factor of b?
True
Let q(x) = -x**3 - 5*x**2 - 3*x - 2. Let a be q(-4). Let c(v) = -v**2 - 8*v - 12. Let b be c(a). Let k(j) = j**3 - j**2 + j + 29. Does 7 divide k(b)?
False
Suppose 14*n - 4030 + 1034 = 0. Does 21 divide n?
False
Let l be 8 - (-24 + 0)/(-6). Suppose 42 = 2*b + 3*z - 208, 3*b + l*z = 376. Does 13 divide b?
False
Let l = 60 + -97. Let d = 42 + l. Is d even?
False
Suppose 99*c = 191237 - 15116. Does 46 divide c?
False
Let f(h) = h**3 + h + 5. Let d be f(0). Is 36 a factor of -168*((-32)/70 + (-2)/d)?
True
Let b(n) = -n**3 - 4*n**2 + 6*n. Let y be b(-5). Let g(w) = -w**3 + 9 - w - 17 + 10 - 5*w**2. Does 4 divide g(y)?
False
Let o be (-16)/6 + (-2)/(-3). Let n be 14/4 + (-1)/o. Suppose 5*k = 3*u + 411, -n*k + 3*u = -3*k - 87. Is k a multiple of 27?
True
Suppose -2*w = 2*w + 8, 2*w = -5*g - 99. Let o be (1 - 2/2) + -7. Let h = o - g. Does 6 divide h?
True
Is 15 a factor of (-433)/(-2) - (-4)/(-8)?
False
Suppose -k = 2*r + 380 - 110, 5*k + 1371 = -3*r. Is (-8)/(-20) + k/(-10) a multiple of 14?
True
Suppose 5*q = 2*z - 1042, 4*z - 2052 = 14*q - 12*q. Is 26 a factor of z?
False
Let a be 3/((-2)/4 - -2). Suppose a*z - 4*z = 2*f - 14, 3*f - 15 = -z. Suppose -g = -5*b - 47, -5*g - z*b + 139 = -4*b. Does 9 divide g?
True
Let l(n) = 3*n - 60. Let a be l(21). Is 84*(a - 15)/(-3) a multiple of 24?
True
Does 18 divide (6/(144/1266))/(3/12)?
False
Let a(b) = -390*b + 46. Is 41 a factor of a(-3)?
False
Let u(s) = 812*s - 595. Does 21 divide u(5)?
True
Suppose -2*f = 4*r - 2164, 0*r + 1616 = 3*r - 2*f. Does 20 divide r?
True
Let l(b) = b**2 + 5*b - 2. Let z(t) = t + 1. Let f(g) = l(g) + 2*z(g). Let h be f(-7). Is 8 a factor of (-1 - h) + 22 + 10?
False
Let w = -22 - -36. Let l = w + -9. Suppose -l*u + 4 + 216 = 0. Does 19 divide u?
False
Let y(b) be the first derivative of b**2/2 - 4*b - 8. Let u be y(-10). Let h = 43 - u. Does 19 divide h?
True
Let j be 2/(-9) + 4/18. Suppose -2*b + 4 = -d, -104*b + 107*b = d + 5. Suppose -g + 16 - b = j. Does 4 divide g?
False
Suppose 11 = 3*v - 4. Let u = 86 - 81. Suppose h + u*k = 73 + 37, 550 = 5*h - v*k. Does 33 divide h?
False
Let v(p) = -2*p + 23. Let k be v(0). Let c = k - 19. Suppose -3*u = -3*o + 48, c*o + 5*u = o + 16. Is o a multiple of 6?
True
Let h be ((-112)/10)/(3/(4*-30)). Suppose -h = 2*c - 10*c. Does 29 divide c?
False
Let z = -549 + 642. Does 3 divide z?
True
Let z = -1441 - -2541. Is z a multiple of 44?
True
Let s(w) = -2 + 0*w - 5 - 6*w + 5*w. Let v be s(-9). Suppose 3*c = v*c + 8. Is 8 a factor of c?
True
Suppose -4*w + 717 = 2*b - w, -4*b - 4*w = -1436. Is b a multiple of 24?
True
Let c(l) = -l**3 - 4*l**2 - 5*l - 3. Let m be c(-4). Suppose -m*o = -o - 352. Is o a multiple of 2?
True
Let t = 580 - -699. Is 54 a factor of t?
False
Let o = 2 + 2. Let f be o*1/5*5. Does 30 divide f/((-8)/30)*-4?
True
Let b(t) be the first derivative of -7*t**2 - t - 2. Let x be b(-2). Is 3 a factor of x/3 + -1 + 1?
True
Suppose -5 + 13 = l. Let i be 0 - 0 - (-19 + l). Suppose -3*n = -j - j - i, 3*j = n + 8. Does 7 divide n?
True
Is 13 a factor of (-4)/3*17829/(-84)?
False
Suppose m = 2*r + r - 3448, 2*r - 2310 = -5*m. Suppose 0 = -3*l - 2*l - 2*f + r, 4*f = 3*l - 716. Is 29 a factor of l?
True
Let h = -570 - -900. Is 11 a factor of h?
True
Suppose -5*x = 5*m - 40, -m - 4*x = x - 24. Suppose -2*f - 4*o - 14 + 36 = 0, -16 = -2*f - 2*o. Suppose -47 = -f*p + m*p. Does 13 divide p?
False
Suppose 0*u = -5*p - 4*u - 265, 5*p + u + 280 = 0. Let k = 101 + p. Is k a multiple of 11?
True
Suppose 6 = -0*d + 2*d. Suppose -d*m = -2*c - 108, 4*m + 9 = 3*c + 153. Is m a multiple of 18?
True
Suppose -3*d + 373 + 218 = 0. Suppose d - 13 = 2*k. Suppose 0 = 2*z + b - k, 4*b = -5*z + 2*b + 228. Does 22 divide z?
True
Let k be (374/55)/((-1)/(-10)). Let q = 120 - k. Does 13 divide q?
True
Let p(b) be the first derivative of 7*b**5/120 - 3*b**4/8 + b**3 + 1. Let q(v) be the third derivative of p(v). Is q(4) a multiple of 19?
True
Let f = -740 + 843. Is 17 a factor of f?
False
Suppose -4*m + 24 = -364. Suppose 308 = -z - m. Is 22 a factor of z/(-12) - (-6)/(-8)?
False
Let n(d) = 4*d - 7. Suppose -3*x - 3*y - 6 = 0, -45 + 14 = -2*x + 5*y. Let b be n(x). Suppose a + 5*r + 12 = 4, 3*r - 4 = -b*a. Is 2 a factor of a?
True
Let p be (-6)/8 + 60/16. Suppose p*i = 71 + 94. Does 25 divide i?
False
Let f = -5 - -8. Suppose r - f = 3. Suppose -s = -r - 28. Is s a multiple of 30?
False
Does 4 divide (-308)/231*(-1)/((-4)/(-2994))?
False
Let v = -185 + 289. Does 8 divide v?
True
Suppose 0 = 14*d - 40*d + 16536. Is d a multiple of 12?
True
Suppose -3*w + 325 = 5*h, -5*w + 554 = -0*h - 4*h. Is 22 a factor of w?
True
Let v(g) = -2*g + 4. Let p be v(-4). Suppose -3*c = 2*f - 24 - p, 3*c - 6 = 0. Is 15 a factor of ((-174)/f)/(4/(-10))?
False
Suppose -4*a + 3*p + 2*p + 1223 = 0, p = 3*a - 931. Suppose -37*f + 33*f = -a. Is f a multiple of 39?
True
Let a(u) = 4*u**2 + 3*u + 2. Let t(l) = 9*l**2 + 6*l + 5. Let z(h) = 5*a(h) - 2*t(h). Let n(o) = 2*o - 1. Let b be n(-1). Is 3 a factor of z(b)?
True
Let i = -392 + 112. Let b = i - -412. Does 22 divide b?
True
Let i be ((-8)/10)/((-38)/95). Suppose 5*f = -i*p + 52, 0 = p + p - 2*f - 80. Does 4 divide p?
True
Suppose -2*g = 3*v - 1345, -5*g + 470 = 5*v - 4*v. Does 48 divide v?
False
Suppose -51*v + 45*v + 636 = 0. Is v a multiple of 53?
True
Suppose -3*o - 11492 = -16*o. Is o a multiple of 13?
True
Suppose -39 = -u + 13. Suppose -t - u = -188. Let g = t + -56. Does 20 divide g?
True
Suppose -3*a - 3*o = 0, 4*o = -2*a - 0*a. Suppose -w + 4 + 0 = a. Suppose w*r - 64 = -4*k, 0 = 5*r - k - 2*k - 104. Is r a multiple of 19?
True
Let y be (-4529)/(-35) + 2/(-5). Suppose -l = -0*i + i - 30, -i + y = 4*l. Suppose -3*u = -0*u - 5*b - 99, 0 = u + b - l. Is 10 a factor of u?
False
Let m = 92 + -86. Suppose h + 520 = m*h. Is 8 a factor of h?
True
Suppose -6 = -5*n + 4*l + 2, -10 = -2*n + 5*l. Suppose n = 6*q + 3*q - 495. Is q a multiple of 11?
True
Suppose 165 + 1779 = 4*x. Suppose 8*z - x - 314 = 0. Is 10 a factor of z?
True
Suppose p - 116 = 4*a - 13, -2*p - a + 170 = 0. Let q = 0 + 0. Suppose 4*c - h - p = q, c = 5*c + 4*h - 92. Is c a multiple of 11?
True
Suppose -5*h + 351 = -369. Suppose a + 3 = -2*y + 26, 0 = 4*a - 5*y - h. Suppose -a = -4*q - 7. Does 2 divide q?
True
Suppose 0 = 5*l - 10, q + 5*l - 101 - 735 = 0. Does 23 divide q?
False
Let l(f) = 18*f**3 - f**2 - 2*f + 3. Suppose 5*i + 12 = -2*z - 9, 2*i + 20 = 5*z. Is 11 a factor of l(z)?
False
Suppose 5*k - 55 = 5*l, -2*k = 2*l - 0*k + 2. Let g(n) = 2*n**2 + 6*n - 8. Let w be g(l). Suppose -6 = 2*a - w. Is 11 a factor of a?
True
Let k = 304 + -31. Does 13 divide k?
True
Let n = -25 - -17. Is 4 a factor of (-18)/n*((-192)/(-18) + 0)?
True
Suppose 0 = z - 5*p - 1528, -55*z + 3*p = -59*z + 6204. Does 36 divide z?
True
Suppose 8 = -8*k + 56. Is 6 a factor of k?
True
Let l(f) = 11*f**3 + 2*f**2. Let v be l(1). Let o = v - -62. Is 25 a factor of o?
True
Let t(d) = -59*d + 13. Is 41 a factor of t(-3)?
False
Let i be 2*5/(10/3). Suppose i*l = 15, -2*p + 4*p - 2*l - 36 = 0. Is p a multiple of 11?
False
Suppose 6326*k - 1755 = 6313*k. Is 27 a factor of k?
True
Suppose -2*o - 2*o = -48. Suppose -2*p + 6*p - o = 0. Suppose -m + 5*x = -44, -115 = -p*m - 5*x + 77. Is 15 a factor of m?
False
Suppose 2*g = -3*g - 3*o + 172, 3*o = -3*g + 102. Suppose -2*s = t - g, 0 = 2*s - 4*t + t - 31. Does 7 divide s?
False
Let g(n) = -3 + n + 3 + 4. Let k be g(-7). Let a(x) = -3*x**3 - x**2 + x - 4. Is 26 a factor of a(k)?
False
Suppose 0 = -5*o + 4*o + 4. Let c be 227 - (-2)/(6/9). Suppose -x + c = o*i, 4*x = 3*i - x - 184. Is 16 a factor of i?
False
Let s = 7 + -10. Let k be -5*2*(s + 2). Does 20 divide (5/(-2))/(k/(-100))?
False
Suppose 0*b - 5*b + c - 38 = 0, 5*b + c = -42. Let r = -3 - b. Suppose r = d - 2. Does 7 divide d?
True
Let a = -8 + 14. Let o(v) = 6*v**2 - 6*v - 6. Let h be o(8). Suppose -x - h = -a*x. Is x a multiple of 11?
True
Let s(u) = -2*u + 26. Let h be s(15). Does 13 divide h*326/2*4/(-16)?
False
Suppose -5*d + 2310 = -4*c, 0 = -2*d - c + 4*c + 924. Suppose d = 29*j - 27*j. Does 33 divide j?
True
Let r = -55 + 56. Let s(b) be the third derivative of 23*b**4/12 - b**3/6 - b**2. Is s(r) a multiple of 15?
True
Suppose -2*z + 809 = 15. Suppose 