)?
True
Let m(r) = 786*r - 118. Does 21 divide m(6)?
False
Let b(l) = l**3 + 38*l**2 - 90*l - 58. Is 19 a factor of b(-40)?
True
Let x(u) be the third derivative of -u**6/120 + u**5/10 - 5*u**4/24 - u**3/6 - u**2. Suppose -24*b - 28 = -31*b. Is 3 a factor of x(b)?
False
Let u(d) = -d**3 + 5*d**2 + 8*d - 7. Let i = -14 - -20. Let p be u(i). Suppose 3*o - p*x = 204, -o - 67 = -2*o + 2*x. Is 16 a factor of o?
False
Let b be 75/(-10)*(2 - 4). Suppose 20*k = b*k + 800. Is k a multiple of 20?
True
Let s be (-4 - -3)/(1/(-73)). Let c = 22 + s. Is 19 a factor of c?
True
Let z = 418 - 153. Does 53 divide z?
True
Let g(u) = u**3 - 7*u**2 - 2*u - 8. Let z be g(8). Is 3310/z + 5/4 a multiple of 15?
False
Let v = 93 + 181. Does 27 divide v?
False
Let r = 47 - 99. Let d be 4152/r - (-6)/(-39). Let x = d - -136. Does 22 divide x?
False
Let j(z) = 5*z**2 + z + 1. Let r(c) = -c**2 + c. Let v(x) = j(x) + 3*r(x). Is v(5) a multiple of 12?
False
Let r(m) = m**2 + m - 19. Suppose 4*y = -1 + 25. Is r(y) a multiple of 11?
False
Suppose 47 = -3*z + 2*z. Let b = -67 - z. Let u = b - -34. Is 14 a factor of u?
True
Suppose 6*a - 7*a - 3 = 0. Let j be (-3 - a)*1/2. Does 8 divide (29 - -4) + (-1 - j)?
True
Let x = -38 - -40. Is 4 + -2 + x - -12 a multiple of 3?
False
Let z = -567 + 1464. Is 23 a factor of z?
True
Let m = 262 - 206. Is m a multiple of 7?
True
Let x(g) = g**2 - 3*g + 2. Let z be x(3). Let k be (-145 - (-8)/z)/(-3). Let t = k + 7. Does 18 divide t?
True
Let s be 85/10 + 1/2. Let h be 12/s*(-42)/(-4). Suppose -h - 17 = -u + 2*l, 0 = 3*u - 2*l - 93. Does 10 divide u?
False
Let h(i) = i**3 + 4*i**2 - 8*i - 17. Let l be h(-7). Let b = -77 - l. Is 20 a factor of b?
False
Suppose 2*g + 0*g + 3*p + 1 = 0, -2*p = 6. Suppose 7 = g*n - 5. Suppose 2*h - 105 = -n*h. Is h a multiple of 7?
True
Suppose -7*a + a = -714. Suppose 2*i = 131 + a. Is 25 a factor of i?
True
Let g(t) = t**3 + 11*t**2 + 2. Let v be g(-11). Suppose v*z - 5*k = 82, -k + 94 = 2*z - 0. Suppose -3*b + b + z = 0. Is 12 a factor of b?
False
Suppose 4*g = -5*g. Suppose g*a + 5*x = 3*a - 115, 80 = 2*a - 4*x. Is a a multiple of 6?
True
Let o = 426 - 357. Does 26 divide o?
False
Let g(p) = -p**2 - 2*p + 7. Let m be g(-5). Let i(x) = -x**2 - 11*x - 12. Does 4 divide i(m)?
True
Let o(v) = -3*v - 46 + 0*v + 32 + 2*v. Let j be o(0). Let g = -2 - j. Is 3 a factor of g?
True
Suppose 0 = 3*q - y - 3637, 4*q - 7*q = 4*y - 3617. Does 7 divide q?
True
Suppose 229 + 8 = t + 3*p, 3*p - 993 = -4*t. Suppose -t = -a - 2*a. Suppose 0 = -3*i + 5*v + a + 9, i - 42 = -2*v. Does 9 divide i?
True
Let j(s) be the second derivative of 13*s**3/6 + 7*s. Let b be j(-1). Let t(o) = -o**3 - 14*o**2 - 17*o + 8. Does 15 divide t(b)?
True
Suppose -u + 4*i = 76, -2*u - 105 - 27 = -3*i. Is (3 - 7)/4 - u a multiple of 13?
False
Suppose 0*g + 7*g - 9044 = 0. Does 10 divide g?
False
Suppose 16*h + 9828 = 29*h. Is h a multiple of 18?
True
Let w = 69 + -36. Let a = 26 + w. Does 19 divide a?
False
Let o be 9 - ((-2)/(-5) + 9/15). Is (3 - 172/o)*(-1 - 1) a multiple of 2?
False
Does 16 divide -4 - -5 - -1 - -253?
False
Suppose -5*x + 12 + 28 = 0. Let v(t) = -24 + 2 - 6*t**2 - 6*t - x*t**2 + 18*t - t**3. Is v(-15) a multiple of 4?
False
Suppose 2*f = 2*u - 8470, 4996 = 4*u - 3*f - 11946. Does 119 divide u?
False
Let m = 1143 + -373. Does 62 divide m?
False
Suppose 0 = 4*f - 2*h - 26, -2*f - 2*f - 2*h = -6. Suppose -3*o + 5*p = -4, 0 = -0*o + 3*o - p + f. Let n = 28 + o. Is 13 a factor of n?
True
Let b be 153/12 + (10/(-8))/(-5). Suppose -17*h + b*h + 432 = 0. Is 27 a factor of h?
True
Let r(g) be the second derivative of g**5/20 - 3*g**2/2 - 8*g. Does 4 divide r(3)?
True
Let h(i) be the second derivative of i**5/10 + i**4/6 - i**3/6 - 11*i**2/2 + 4*i. Let j(z) be the first derivative of h(z). Does 15 divide j(-2)?
True
Let x(j) = -j**3 - j**2 + 1. Let r(o) = 6*o**3 + o**2 - o. Let h(w) = r(w) + x(w). Let u be h(1). Let s(f) = -f**3 + 6*f**2 - f - 5. Does 3 divide s(u)?
True
Let i(t) be the second derivative of -2*t + 1/6*t**3 + 7/3*t**4 - 1/2*t**2 + 0. Does 7 divide i(1)?
True
Let r = -36 - -37. Is 2*(0 + r) - -73 a multiple of 15?
True
Let k = 252 - 78. Suppose -2*a - a + k = 0. Is 10 a factor of (-6)/18 - a/(-3)?
False
Let o(b) be the first derivative of 2*b**3/3 + b**2/2 + 24*b - 5. Does 8 divide o(0)?
True
Suppose -10*f = -7*f + 129. Does 19 divide (f/(-3))/((1 - -4)/45)?
False
Let x(t) = 294*t + 504. Is 14 a factor of x(7)?
True
Suppose 11*z + 37*z - 13200 = 0. Is 7 a factor of z?
False
Suppose -51 = 3*h - 495. Suppose -y - i = -h, 0 = -5*y + 3*i - 129 + 837. Let a = y - 102. Is 14 a factor of a?
True
Suppose -8*j = j - 459. Suppose g - 220 = -j. Is g a multiple of 11?
False
Suppose 0 = -3*d, 7*c - 2*c = 3*d + 675. Suppose 4*q - 5*f = c, -q + f + 2*f = -32. Is q a multiple of 7?
True
Let d = 21 + -27. Is 0 + 3 - (d + -9) a multiple of 3?
True
Let r(q) = 1463*q**2 - 17*q - 17. Is 19 a factor of r(-1)?
True
Is 53 a factor of 450/(-125)*2*265/(-3)?
True
Suppose -6*v = -3*v - 33. Suppose -448 = -15*j + v*j. Is j a multiple of 17?
False
Let v(q) = -q**2 - q**3 + 45 + 132*q - 132*q. Is 45 a factor of v(0)?
True
Suppose -2*u + 7*u = -245. Suppose 137 = -12*j - 43. Let n = j - u. Is n a multiple of 17?
True
Let g be 176/(-18) - 8/36. Is -65*(-2)/(g/(-3)) a multiple of 31?
False
Does 14 divide (10/8)/((-17)/(-3196))?
False
Let n be 8/((-2)/38*-2). Let f = n + -4. Suppose -f = -5*t + 13. Does 6 divide t?
False
Let k = 819 + -587. Is 58 a factor of k?
True
Is 7 a factor of 140 - 3/(18/42)?
True
Let b = 29 - 33. Let x(m) = m**2 + 7. Does 11 divide x(b)?
False
Let g(b) = b**2 - 19*b + 84. Does 19 divide g(-19)?
False
Let b(m) = -70*m - 120. Is b(-8) a multiple of 20?
True
Suppose -8*l + 1 = -3*l - f, 3*l = f + 1. Suppose l*d + 4*d - 120 = 0. Is d a multiple of 10?
True
Suppose 73*f + 991 = 74*f + 2*x, -3*f + 4*x = -2953. Is 21 a factor of f?
True
Let k = 70 + -22. Suppose -1 = -3*s + o, 5*s = 3*s + o. Is 23 a factor of -5 + (s - -2) + k?
True
Let v = 28 + -25. Suppose -h - v*g + 102 = 0, 0 = -3*h - 2*g + 126 + 215. Does 2 divide 16/(-28) - h/(-21)?
False
Let b be -2 - -2*2 - 0. Suppose -b*t + 8 = -2*u, 2*t = 3*u + 4 + 4. Let q = 22 + u. Is q a multiple of 11?
True
Let s(b) = 22*b**3 - b**2 + 5*b - 3. Is 41 a factor of s(2)?
False
Let k(d) be the second derivative of d**4/2 + d**3/6 - 5*d**2/2 + d. Let u(o) be the first derivative of k(o). Is 13 a factor of u(1)?
True
Suppose -28*k = -4*h - 23*k + 2208, -3*h - k = -1637. Does 23 divide h?
False
Suppose -4*z = -44 + 8. Suppose -z*b + 480 = -5*b. Does 30 divide b?
True
Let a = 420 - 312. Does 18 divide a?
True
Let r = -38 - -38. Suppose -n - n + 84 = r. Does 21 divide n?
True
Let r = -776 + 1144. Is 46 a factor of r?
True
Let r = 431 - 407. Does 12 divide r?
True
Is 26 a factor of (-14664)/(-38) + 2/19?
False
Let t(k) = 6*k - 20. Let a be t(4). Suppose 18 = a*f - 142. Does 20 divide f?
True
Let d(a) = -a**3 - 25*a**2 + 20*a - 41. Let o be d(-26). Suppose o = n - 5*p, 4*p = 7*p - 3. Is 12 a factor of n?
True
Let o(s) be the first derivative of s - s - 5 - 3*s**2 + 9. Is 11 a factor of o(-6)?
False
Suppose -4*d + 231 = -157. Is 14 a factor of d?
False
Suppose 19*k - 51*k = -55744. Does 26 divide k?
True
Let j(f) be the first derivative of f**4/4 + 8*f**3/3 - 4*f**2 - 7*f - 4. Let z be j(-5). Suppose -2*w + 4*w - z = 0. Is w a multiple of 20?
False
Let x(c) be the third derivative of c**4/4 + c**3/3 - 2*c**2. Let k be x(3). Suppose 0 = s - 2*s + k. Is 12 a factor of s?
False
Suppose 0 = 5*w + u - 357, 3*u = w + u - 67. Let z = 106 - w. Is 17 a factor of z?
False
Suppose 0 = -3*o + 25 - 4. Let a = -486 - -726. Suppose -2*n + o*n = a. Is 12 a factor of n?
True
Is (-1)/(-7) - (-29440)/112 a multiple of 26?
False
Is (-520)/12*(-10)/((-60)/(-18)) a multiple of 5?
True
Let b be (-731)/(-85) - 1*(-3)/(-5). Let g(l) be the third derivative of l**5/30 - l**4/2 + 2*l**3/3 + l**2. Does 12 divide g(b)?
True
Suppose 68*p - 70*p + 1598 = 0. Is 47 a factor of p?
True
Suppose 0 = -6*d + 2*k + 12102, 5*d - 5*k + 3047 - 13132 = 0. Is 92 a factor of d?
False
Let w be 0 - -1 - (-18 - -17). Suppose 0 = 3*o - 2*k - 21 - 26, 0 = -2*o - w*k + 18. Is o a multiple of 7?
False
Suppose -53*l + 96*l - 89655 = 0. Is 16 a factor of l?
Fal