521 + 289. Is (a/(-4))/((-91)/14 + 6) a multiple of 45?
True
Suppose -3*r = -4*g - 5740, 2*r + 12*g - 16*g - 3820 = 0. Is 40 a factor of r?
True
Let u = -118 - -83. Let b be -1*-4*14/4. Is 9 a factor of 498/b + (-15)/u?
True
Does 11 divide ((-2)/(-6) + 355/(-75))*(24 - 1474)?
True
Suppose 3*z - 4 = -z. Suppose -i + z = -t - 0*t, -10 = -i - 2*t. Suppose 4*n = 5*v + 236, -4*n + 0*v + 236 = i*v. Does 8 divide n?
False
Let n be 295*2*2/5. Let r be (20/15)/(4/6). Suppose j + 4*i = 2*j - 74, -3*j - r*i = -n. Is j a multiple of 8?
False
Suppose 0 = -6*x + 18*x - 144. Suppose -x*t + 290 = -7*t - 4*o, -t + 79 = -5*o. Is t a multiple of 18?
True
Let o = 8938 + -7405. Is 73 a factor of o?
True
Let o = 138 + -98. Is (-4)/(-5) + (9 - (-15608)/o) a multiple of 40?
True
Let l(w) = 275*w + 30. Is 5 a factor of l(6)?
True
Let y(j) = 11*j**3 + 52*j**2 - 25*j - 97. Let g(b) = 5*b**3 + 26*b**2 - 12*b - 48. Let f(r) = -13*g(r) + 6*y(r). Is 21 a factor of f(26)?
False
Let b = 407 + -280. Let v be 5/2*-4 + (228 - 5). Let q = v - b. Is q a multiple of 43?
True
Suppose -55 = -4*g + 1. Let h(m) = m**3 - 11*m**2 - 31*m - 12. Let f be h(g). Let c = 214 - f. Is 12 a factor of c?
True
Let r(t) = t**2 - 13*t + 8. Let g be r(10). Let p = -21 - g. Does 26 divide (-9856)/28*(p/(-2) - 0)?
False
Let g(u) = -4*u**2 + 18*u + 17964. Does 44 divide g(0)?
False
Let o(a) = 3*a**2 - 46*a + 14. Let m be o(15). Let u(i) be the first derivative of 56*i**3 - i + 5. Is 14 a factor of u(m)?
False
Let t = -3523 - -4100. Is 37 a factor of t?
False
Suppose -16 = -3*v - v. Suppose -v*l = -3*p - 22, 5*l = p + 4*l + 6. Is 36 a factor of 36 - (-7)/((-7)/p)?
False
Suppose 5*s + 6574 = 25060 + 41984. Is s a multiple of 30?
False
Suppose -i + 2*i = 0. Let c be (i - 1)/((-16)/320). Does 10 divide ((-72)/10)/((-8)/c)?
False
Let w = -51 + 60. Suppose -w*n + 20 = -7*n. Let v = n + -2. Is v even?
True
Suppose 0*s - 2*s - 3*t = -10, s + t - 6 = 0. Is (9*(-2)/s)/(134/(-99160)) a multiple of 15?
True
Let w be (10/(-4))/((-2)/4). Suppose 4*b - 5*b + w*d = -51, 199 = 5*b + 3*d. Does 14 divide b?
False
Suppose a - d - 8277 = 0, 422*d - 9 = 419*d. Does 92 divide a?
True
Let o = -12248 - -5801. Is (-4)/(-30) - 14*o/90 a multiple of 12?
False
Let l(b) = 4*b**3 - 94*b**2 + 39*b + 57. Is 85 a factor of l(25)?
False
Let v = 36800 + -28540. Is v a multiple of 35?
True
Let l(o) = 13*o - 18. Let a be l(-29). Let i = -275 - a. Is i a multiple of 2?
True
Is 12 a factor of 1748 - (-24)/(-84)*49?
False
Suppose 5*b + 4*m = 265, m = 2*b - b - 44. Let f = b - -96. Suppose 4*a = -5*y + f, y = 2*y + a - 29. Is y a multiple of 3?
False
Suppose -5*o + 84 = -4*l, 4*o - 24 = -4*l - 0*l. Suppose 4*r - 3 = 3*r. Is 2 + 12/(o/r) + 4 a multiple of 8?
False
Suppose 0 = -k, 1888 = -j - 3*j + 3*k. Let x = j - -785. Suppose 5*p - 205 = n + 112, 5*p = -n + x. Does 11 divide p?
False
Suppose -r - 5*r = -4*r. Let v be -9 + 3/(r - 3) - -1. Let c = 8 - v. Is 4 a factor of c?
False
Let v(r) = 0*r - 386*r**3 + 5*r**2 - 7*r - 243*r**3 - 5 + 3. Let z(n) = 314*n**3 - 3*n**2 + 4*n + 1. Let d(l) = 4*v(l) + 7*z(l). Does 58 divide d(-1)?
False
Let g(d) = -4*d**3 - 30*d**2 + 16*d + 70. Is g(-8) a multiple of 14?
True
Suppose 28*n = 11*n + 1037. Suppose -n - 35 = 3*b. Let y = 198 + b. Does 24 divide y?
False
Let l be (1 - 2)/1 - 5. Let y = 2534 + -2525. Is 16 a factor of 30 - y/(27/l)?
True
Suppose 6 = -34*c + 36*c. Suppose -h - d + 118 = -0*h, 5*h + c*d - 592 = 0. Suppose h = 5*g - 396. Is 16 a factor of g?
False
Let s = 12892 - -2879. Is 155 a factor of s?
False
Let r be (-143758)/(-14) - 13/(273/9). Does 8 divide (-2 - -4)/(r/(-1468) - -7)?
False
Suppose -u + 1392 = 3*h + 419, 0 = -4*u + 3*h + 3847. Suppose 4*f - 2*f - u = 2*q, 2*q = -f + 488. Is 22 a factor of f?
True
Suppose -51*c = -48*c + 9. Let y be 7/((-105)/5) + (-10)/c. Suppose y*k - 12 - 69 = i, -k = 3*i - 27. Is k a multiple of 7?
False
Let z = 232 + 6. Suppose 219*r = z*r - 8550. Is r a multiple of 6?
True
Let z(n) = 2*n**3 - 8*n**2 + 130*n + 265. Is z(26) a multiple of 76?
False
Let x(b) = -b**3 - 14*b**2 - 43*b + 16. Let w be x(-9). Is 21 a factor of ((-3512)/12)/w - 2/(-3)?
True
Suppose -4*b = -l - 2*l - 12, 2*l + 8 = 0. Suppose b = i - 3*f - 134, 2*f = -3*f. Suppose 0 = 5*d - 2*z - i, -2*d + 3*z = -d - 19. Is 14 a factor of d?
True
Let d be 88/(-44) - -1*7. Does 19 divide -114*((-132)/8 + d)?
True
Let v be (2*3/(-6) - 9)/(-2). Suppose v*q - 5 = -15. Is (-350)/(-4) - 1/q a multiple of 11?
True
Suppose -4*m + 3786 = -1862. Let r = -388 + m. Is 32 a factor of r?
True
Suppose -4*j = -4*s + 740, 3 = 2*j - 5*s + 367. Let o = 600 + j. Is 26 a factor of o?
False
Let a be -12*48/27*-3. Let c = 77 - a. Is 2 a factor of c?
False
Suppose 20 = 5*r, 2564 = -72*s + 73*s + 2*r. Does 12 divide s?
True
Suppose -2*v + 6223 = 3*r, -3*v = -2*r - 799 + 4978. Is r a multiple of 2?
False
Suppose -9*c + 2297 = u - 7*c, 10*u + 3*c - 23038 = 0. Is 4 a factor of u?
False
Let s(h) = 32*h**2 - 53. Does 166 divide s(6)?
False
Suppose -j = -1, -3*i - j = -487 + 114. Let r = i - -119. Is 19 a factor of r?
False
Let z(j) be the second derivative of -j**5/20 - 2*j**4/3 - 5*j**3/6 - 17*j**2 - 83*j. Is 26 a factor of z(-11)?
False
Let j = -414 + 419. Suppose 0 = -3*y + 2*y - 5*a + 156, j*y = 3*a + 696. Is y a multiple of 47?
True
Let p(c) = 14*c - 72. Let a(n) = n + 1. Let f(r) = 2*a(r) + p(r). Is 23 a factor of f(11)?
False
Let n = -49 - -50. Let t be -2 - -2 - -4 - n. Suppose 3*x - t*s = 96, 5*x - 56 = 3*x - 2*s. Is 3 a factor of x?
True
Suppose -u + v = -7, 2*u + 2*u + 2*v = 40. Let j be (-2)/(1*(-6)/u). Suppose j*n - 176 = -4*m, -2*m = -n + 2*m + 32. Is n a multiple of 26?
True
Suppose -p - 13 = -q, 3*p - 39 = -5*q - 6. Suppose 0 = h + 4*t - 48, -4*h + 3*t + 258 = q. Is 12 a factor of h?
True
Let b(l) = 2*l**3 - l**2 - l - 1. Let q(s) = 2*s**3 - 25*s**2 - 12*s - 24. Let d(r) = -2*b(r) + q(r). Is 9 a factor of d(-14)?
True
Let o(s) = -6*s**3 - 6*s**2 - 13*s - 6. Let v be o(-3). Suppose 0 = 4*j - 4, 4*t - 5*j - 218 = v. Is 13 a factor of t?
True
Let u = -39 + 52. Suppose -u*c - c + 238 = 0. Is c a multiple of 9?
False
Let v(c) = -c**3 + 10*c**2 + 3*c - 15. Suppose 5*h - 30 = -5*h. Let r be (4 + (-13)/h)*(-20 + 2). Is 11 a factor of v(r)?
False
Let l(s) = -101*s**3 + 2*s**2 + s - 2. Let z(y) = -102*y**3 + 2*y**2 - 3. Let b(v) = 3*l(v) - 2*z(v). Is b(-1) a multiple of 31?
False
Let k(q) = 2*q - 42. Let z be k(21). Suppose -30*j + 26*j + 28 = z. Suppose 0 = -u - j + 18. Is u a multiple of 5?
False
Let v be (2/4 - -1)*8/(-3). Let u(t) = 4*t**2 - 2*t - 11. Is 6 a factor of u(v)?
False
Suppose 0 = -57*k + 64*k - 672. Is (12/10 - k/(-20))*12 a multiple of 9?
True
Suppose 142*l = 136*l + 84. Does 22 divide (63 + 3 + 0)*l/6?
True
Let r(s) = -32*s - 161. Let q be r(4). Let i = 793 + q. Does 61 divide i?
False
Let j(a) = a**3 - 8*a**2 - 32*a + 14. Suppose 120 = 15*p - 90. Does 53 divide j(p)?
True
Suppose 2*v - 17540 = -3*f, -3*f - 66*v + 71*v = -17554. Is f a multiple of 6?
False
Let f = -1774 + 3501. Is 6 a factor of f?
False
Let u(d) = -d**3 + 2*d**2 - d + 71. Let v(b) = 17*b + 3. Let g be v(3). Let h = g - 54. Does 32 divide u(h)?
False
Suppose -4*t - 1392 = -0*m - 4*m, 0 = 5*t + 2*m + 1705. Is 14 a factor of (t - -4)*35/(-21)?
False
Let x(b) = -66 - 4*b - 47 + 80. Let c be x(-8). Is c - 1/((-2)/(-504)*-3) a multiple of 13?
False
Is 2740425/122*(-4)/(-6) a multiple of 14?
False
Suppose -4*p + 12 = l, -8*l = 4*p - 4*l. Suppose -p*x + x + 114 = 0. Does 5 divide x?
False
Let y(x) be the third derivative of 9*x**2 + 1/24*x**4 + 31/3*x**3 + 0 + 0*x. Does 18 divide y(0)?
False
Suppose -3*u + 12 = 0, -2*y + u = -4*y + 8. Let b be y/4*0*(-4)/12. Suppose 2*c - 740 = -5*o + 6*c, b = -c - 5. Does 24 divide o?
True
Let b = 8530 - 8430. Let j(g) = g**3 + 2*g**2 - 3*g. Let i be j(-3). Suppose i*p - 2*p = -b. Is p a multiple of 4?
False
Let b be ((-308)/(-8))/((-3)/(-6)). Let w(p) = b - 7*p + p - 63. Is 2 a factor of w(2)?
True
Let j = 1632 - -6602. Is j a multiple of 48?
False
Let n = -609 + 596. Let x(b) = -4 - 10*b - 29 + 0*b. Is x(n) a multiple of 23?
False
Let j = -193 - -196. Suppose j*a + 145 = 5*w, -3*w = -a - a - 86. Is 16 a factor of w?
True
Let o(u) = 6*u - 63. Let i be o(20). Let g = i - 32. Does 2 divide g?
False
Let y(o) = -5*o