True
Let t(k) = -k**3 + 1. Let u(s) = -4*s**3 + 6*s**2 - 3*s + 9. Let d(v) = 3*t(v) - u(v). Does 14 divide d(7)?
False
Does 12 divide (-1)/(-3) + (-81826)/(-24) + 17/68?
False
Let n(f) = -2*f**2 - 6*f - 38. Let d(g) = 2*g**2 + 6*g + 39. Let l(p) = -3*d(p) - 4*n(p). Is l(-16) a multiple of 23?
False
Suppose 3*y = 62 + 88. Suppose -4*h = b - 59, -3*h + 5 = -b + y. Is 8 a factor of b?
False
Suppose -7*u = 4*c - 2*u + 17, 5*c = -5*u - 15. Suppose 0 = -5*j + 25, 661 = 2*w + c*j - 661. Does 16 divide w?
True
Let y be 2*(19 + (5 - -1)). Suppose -7*a = -1294 - y. Does 24 divide a?
True
Let s(h) = h**3 + 74*h**2 - 96*h - 182. Is s(-38) a multiple of 18?
False
Let f(h) = 5*h**3 + 27*h**2 - 12*h - 43. Let u(x) = x**3 + x**2 + x. Let b(m) = f(m) - 6*u(m). Let n be b(20). Let c(v) = -38*v - 10. Is 26 a factor of c(n)?
True
Let w be ((-1548)/15)/((-14)/10 - -1). Let k = w + -112. Is 19 a factor of k?
False
Suppose 3*w + 191*h - 1426 = 195*h, 1 = -h. Is 6 a factor of w?
True
Let d(i) = -i**3 + 24*i**2 + 15*i + 155. Let b be d(24). Suppose 0 = -5*h - 4*s + 2594 + 5, 2*s - b = -h. Is h a multiple of 11?
False
Is 10509 + (13 - 14)*-11 a multiple of 134?
False
Let a(x) = -211*x - 881. Does 11 divide a(-6)?
True
Let o be ((-1)/5*-5)/((-1)/(-3)). Let m be -3 - ((-4)/(-2) + (-81)/o). Does 36 divide (-1720)/(-12) - (3 - m/6)?
True
Suppose -4*l - 59652 = -n, -929*n + 3*l + 59659 = -928*n. Is n a multiple of 35?
False
Let y = -56 - -78. Let g = 24 - y. Suppose 4*q + 179 = 4*p - 181, 0 = 4*p - g*q - 366. Does 11 divide p?
False
Suppose 23*j - 34*j + 22 = 0. Suppose -d - k = -6*k - 1255, -3*k = j*d - 2523. Is 84 a factor of d?
True
Let i be 6/(-15) - ((-12)/5 + 2). Let r be (-54)/(-4)*(i + -2). Is 46 a factor of (-4)/18 - ((-3732)/r)/(-1)?
True
Let c be 4 + -8 + 4 + 0 + 3. Suppose 4925 = 4*g - c*b, 3*g - 453 = 2*b + 3241. Does 56 divide g?
True
Let u(b) = 3*b**2 - 2*b + 1. Let w be u(3). Let a(l) = 2*l**2 - 22*l - 1. Let o be a(w). Suppose o + 1057 = 7*i. Does 11 divide i?
True
Let c(p) be the first derivative of 3*p**3 - 21*p**2/2 + p + 10. Let q be c(7). Suppose q + 65 = 4*a. Is a a multiple of 15?
True
Let f = 29803 + -16643. Does 94 divide f?
True
Suppose 0*i - 3*i = 3*f - 51, 0 = 3*f - 3*i - 45. Suppose f = 30*v - 28*v. Let o = 71 - v. Is o a multiple of 6?
False
Suppose -4*p - j - 4*j = 1353, 5*j = 3*p + 1006. Let l = p + 504. Let m = l - 57. Does 18 divide m?
False
Suppose -3*j - 964 + 3145 = 3*g, 0 = g - 3*j - 747. Let q = -400 + g. Is q a multiple of 11?
False
Let n be (4/8)/(2/(-3684)). Let z = n + 602. Let i = 484 + z. Is 37 a factor of i?
False
Let x be (1030/50)/(2/10)*-3. Let c = x + 471. Does 5 divide c?
False
Let v(j) = 253*j - 56. Let u be v(5). Suppose 5*h + 1596 + u = 5*z, 561 = z + h. Is 21 a factor of z?
False
Is 16 a factor of (2 - -381)/(25/(-15) + 2)?
False
Let l(u) = -4*u - 82. Let a be l(-20). Let f = a + 146. Does 16 divide f?
True
Let u(i) = -i**2 - 12*i + 37. Let b be u(-14). Suppose 0 = 2*z - b + 3. Is z even?
False
Suppose -m = -5*h - 62205, -80*m - 2*h - 248964 = -84*m. Does 209 divide m?
False
Suppose -1 + 21 = 5*f. Let y be (4 - 10)*(2 + 0)/f. Let h(j) = j**2 + 2*j - 1. Does 2 divide h(y)?
True
Let a(c) = -12*c**2 + 24*c + 92. Let n(z) = -10*z**2 + 24*z + 91. Let y(r) = -6*a(r) + 7*n(r). Is y(-11) a multiple of 44?
False
Suppose 109*y - 99391 = 96809. Is 36 a factor of y?
True
Let n(k) = 21*k - 16. Let w(d) = 21*d - 17. Let c(p) = p**3 + 9*p**2 + 9*p + 5. Let z be c(-8). Let f(t) = z*w(t) + 4*n(t). Is f(2) a multiple of 3?
False
Suppose -6*s = -134325 - 76491. Does 24 divide s?
True
Let l(g) be the second derivative of -29*g**3 - 2*g. Let w(b) = -25*b. Let h(x) = 4*l(x) - 30*w(x). Is 9 a factor of h(1)?
True
Let i(z) = -9*z + 1. Let s be i(-2). Suppose 3*l - 2 = s. Let a(v) = 6*v + 22. Is 36 a factor of a(l)?
False
Let o(b) = 8*b - 56. Let m(c) = -3*c + 19. Let i(w) = -11*m(w) - 4*o(w). Let y be i(-6). Suppose 2*s = -p + 88, -5*p - y*s = -4*s - 440. Does 14 divide p?
False
Suppose -2*v + 11 = -3. Suppose -v*k = -9*k + 60. Does 9 divide 798/30 - 3*(-4)/k?
True
Suppose -6517 = -10*r + 683. Suppose -r = -49*a + 47*a. Is a a multiple of 20?
True
Let a(k) = 3*k**2 - k + 1. Let q be a(1). Suppose -t = d + q*d + 1, 0 = -2*t + 4*d + 10. Is -29*t/(15/(-25)) a multiple of 20?
False
Suppose 11*i - 7 = 147. Suppose -6529 + 341 = -i*v. Is 26 a factor of v?
True
Is 65 a factor of 6/24 + -1 + (-5)/(40/(-30614))?
False
Suppose -74*w + 186300 = -36*w + 52*w. Is 15 a factor of w?
True
Is 153293/5 + (23 - (-904)/(-40)) a multiple of 163?
False
Let g be 300/(-9) + (1 - (-12)/(-18)). Is g/(-4)*(-6 - -6 - -20) a multiple of 33?
True
Suppose 2*d + 15*d = 0. Suppose 5*f = -4*r + 9*f + 276, d = 3*r + 3*f - 225. Is 24 a factor of r?
True
Suppose -69*j + 70*j = -5*c + 1834, 3*j - c - 5566 = 0. Is 11 a factor of j?
False
Suppose 15*l - 181393 = -45790 + 94302. Does 117 divide l?
True
Let f(l) = -7*l**2 + 8*l + 36. Let d be f(14). Let p = -412 - d. Is p a multiple of 14?
True
Suppose 5*j - 3462 = 2*u, -29*u + 5 = -34*u. Suppose -5*y + 0*w = -5*w - 3340, -y = 5*w - j. Is 24 a factor of y?
True
Let a(u) = -64*u**2 - 15*u + 2. Let g be a(-2). Let j = g + 285. Is j a multiple of 61?
True
Suppose -3*f = 4*s - 4356, 0 = 5*s - 4*f - 239 - 5237. Is 13 a factor of s?
True
Suppose 0 = q - 5, 2*q = -0*x - x + 845. Suppose -298*r - x = -299*r. Is 68 a factor of r?
False
Let c = -106 + 126. Suppose -604 = 16*s - c*s. Is s even?
False
Is 10 a factor of (-67)/(670/60) - (-4001 + (1 - 2))?
False
Suppose 5*l + 25 = 5*b, -25*l = 4*b - 26*l - 11. Is (0 + 1)/(b/38) a multiple of 2?
False
Suppose -32*b - 1724688 = -83*b - 123*b. Is b a multiple of 8?
True
Let z = -23835 - -24196. Does 3 divide z?
False
Let n(d) = 12*d - d**3 - 13 - 14952*d**2 + 2*d**3 + 14943*d**2. Is n(9) a multiple of 4?
False
Let s = -3129 - -4749. Is 20 a factor of s?
True
Let v(h) = 19*h + 1. Let j(z) = -96*z - 4. Let c(n) = 6*j(n) + 28*v(n). Let a(u) = -u**2 + 22*u - 106. Let g be a(15). Is 4 a factor of c(g)?
True
Let a(c) = -30*c + 10. Does 250 divide a(-83)?
True
Let f = 9360 - 2418. Is f a multiple of 13?
True
Let m(n) = -n**2 - 12*n - 9. Let c be m(-26). Let r = c + 730. Does 40 divide r?
False
Let h = 17602 + -7618. Suppose 1106 = -46*t + h. Is t a multiple of 5?
False
Suppose -x = c - 4823, -19*x - 14464 = -3*c - 23*x. Is 34 a factor of c?
True
Let v(b) = b**2 - 77*b - 518. Is 59 a factor of v(-53)?
True
Let n(m) = -m**3 - 3*m**2 + m - 6. Let g be (-5 - -9 - -1) + -1. Let z be -4 + 0/(2 - -3 - g). Does 2 divide n(z)?
True
Suppose 0 = 8*r - 109 - 115. Is r a multiple of 26?
False
Let v = -19873 - -31448. Is 13 a factor of v?
False
Suppose 0 = 7*l - 8*l. Suppose -26*v + 25*v + 100 = l. Does 13 divide ((-18)/(-5))/(5/v)?
False
Suppose -70*a = -80*a + 43470. Does 68 divide a?
False
Suppose 0 = -3*q + 2*q + 4*p + 18, -5*q + 5*p + 30 = 0. Suppose 230 = 2*b + q*j - 8, 0 = -2*b - j + 236. Is 9 a factor of b?
True
Let f(c) = 26*c - 168. Suppose -16*s + 2*s = -294. Does 18 divide f(s)?
True
Suppose 12*p - 9*p = 13392. Suppose -4*g = -16*g + p. Is g a multiple of 31?
True
Let y = -226 - -227. Is 5/1 - 5 - (y + -172) a multiple of 6?
False
Let r be (143/2)/(4/8). Let z = 171 - r. Is 5 a factor of z?
False
Let m be (4 + (0 - 3))/((-3)/(-2487)). Let n = -472 + m. Suppose 21*x - n = 3885. Is 29 a factor of x?
False
Let c(b) = 425*b + 12 + 0*b**2 - 2 - 452*b + 2*b**2. Is 18 a factor of c(28)?
False
Let s be (-4 + (5 - -10))/((-3)/(-309)). Let z = -798 + s. Is z a multiple of 3?
False
Let i(a) = -5*a. Let m(r) = -2*r - 1. Let k(p) = i(p) - 5*m(p). Let o be k(5). Suppose -34*g = -o*g - 104. Is 12 a factor of g?
False
Suppose -3*l + 8552 = -2*b, 5*b = 27 - 32. Is 75 a factor of l?
True
Let a(i) = -i**2 + 8*i - 11. Let t be a(5). Let v(c) = 33 + c - t + 37 - 13. Does 13 divide v(-10)?
False
Let w be (0 + -1)*(-5 - 16). Let u(z) = -9 + 1 + w*z - 13*z - 3*z**2 + 18*z. Is 3 a factor of u(7)?
True
Suppose 159*o - 164*o = -75. Let y(u) = o*u + 48 + u - 3*u - 29. Does 6 divide y(3)?
False
Suppose 6944970 = -22*w + 203*w. Does 15 divide w?
True
Let t = -562 + 12457. Does 5 divide t?
True
Let y(b) = 35958 + 4*b - 9*b + 35962 + b**2 - 6*b - 71909. Let o be (-36 - 3)*2/(-6). Does 37 divide y(o)?
True
Let q(v) = -80*v + 43. Let l b