 be d(3). Does 9 divide 31 - -2*u/(-4)?
False
Let q be 360/(-63) + (-2)/7 + -971. Let o = -510 - q. Is o a multiple of 48?
False
Let w be (600/840)/(1 - 12/14). Suppose i = -w*b - i + 346, 5*b - 342 = -4*i. Does 14 divide b?
True
Suppose -34*u - 226 - 760 = 0. Is u/(2842/(-28)) - (-17916)/14 a multiple of 11?
False
Suppose -4*v + 6*v - 4*f = 1248, 2*f = 5*v - 3088. Let z = -364 + v. Is z a multiple of 34?
False
Suppose u = -108*u - 5*u + 1191300. Is 10 a factor of u?
True
Let m(y) = 26*y - 27*y + 0 + 1. Let i(p) = -p**2 - 17*p + 9. Let l be i(-18). Is 5 a factor of m(l)?
True
Suppose -5*m + 82 = -123. Let t = 43 - m. Suppose 2*x = 3*v - t*x - 12, -5*v + 5*x + 25 = 0. Is 3 a factor of v?
False
Let s be 956/(-6) - (-18)/(-27). Let f = s + 458. Is 65 a factor of f?
False
Is 14 a factor of -4 + 1 + 240/288 + (-135885)/(-18)?
False
Let w be ((-2)/(4/3))/(3/(-4)). Suppose 3*z + w*i + 3*i = -9, -4*i - 12 = 0. Suppose 205 = z*g - g. Does 30 divide g?
False
Let u = 12999 - 6445. Is 147 a factor of u?
False
Suppose 940 = n + 4*f + 26, 0 = -2*f + 8. Is n a multiple of 58?
False
Suppose 487*c - 1058207 = 2145766. Is 51 a factor of c?
True
Let o = -55 - 0. Let l = -200 + 360. Let b = o + l. Is b a multiple of 41?
False
Suppose 3*h - z - 15343 = 0, -5075 - 10264 = -3*h + 3*z. Is 11 a factor of h?
True
Let a(i) be the second derivative of -i**5/20 + 11*i**4/12 - i**3/6 + 11*i**2/2 - 81*i. Is 39 a factor of a(5)?
True
Let r(k) = -k**3 + 20*k**2 - 6*k + 11. Does 3 divide r(9)?
False
Let v(b) = 6*b**2 + 19*b + 76. Let z(a) = -8*a**2 - 20*a - 77. Let h(o) = -5*v(o) - 4*z(o). Is h(-5) a multiple of 12?
False
Is 147 a factor of 495/110*(-5108)/(-18)?
False
Suppose -2*o - w + 56 = 3*o, -5*o = 4*w - 44. Let k(y) = -y**2 + 5*y + 3. Let q(j) = j**2 - 5*j - 4. Let m(x) = 3*k(x) + 4*q(x). Does 6 divide m(o)?
False
Suppose 8 = 2*n + 4*l + l, 32 = 2*n - l. Suppose -11*r + n*r = 0. Suppose 2*k + 0*o - 5*o = 44, r = 4*k - o - 52. Does 6 divide k?
True
Let w(g) = g**3 - 9*g**2 + 21. Let o be w(9). Suppose 21 = 3*f - o. Let r = -2 + f. Is 2 a factor of r?
True
Let r(l) = -14*l + 52. Let n(x) = -16*x + 51. Let j(p) = -3*n(p) + 2*r(p). Is 6 a factor of j(12)?
False
Let i = 27414 - 22416. Is i a multiple of 3?
True
Suppose -7*u - 8220 = -10*u. Suppose -o = -4*j + 4*o + u, 3470 = 5*j + 5*o. Is j a multiple of 30?
True
Suppose 57*u - t = 64*u - 19022, 13594 = 5*u + 3*t. Is u a multiple of 13?
True
Let n be 18/36 - (-5)/2. Suppose -4 + 7 = n*l. Is (23/(-46))/(l/(-42)) a multiple of 11?
False
Let a(o) = o**3 - 12*o**2 + 15*o + 12. Suppose 516 = 52*g - 9*g. Is a(g) a multiple of 16?
True
Suppose q = 4*s + 29964, 0 = -3*q - 3*s - 16041 + 106068. Is q a multiple of 15?
True
Let u be 4/11 - (-810642)/462. Let w = u - 1040. Is 55 a factor of w?
True
Suppose 0 = -5*d - 0*d. Let k be 2/(-8) - (-4923)/12. Suppose d = -19*y + 24*y - k. Does 24 divide y?
False
Suppose -36 = -y - 11*y. Suppose 0*x = -q - x + 114, y*q + x = 348. Is 9 a factor of q?
True
Is 220 a factor of ((-45)/(-3))/(105/38787)?
False
Let c be 361/114 + 1/(-6). Suppose 2362 = 3*z + 2*z - 4*f, 1419 = c*z - 3*f. Does 10 divide z?
True
Let s(r) = r**2 - 35*r + 70. Let q be s(37). Suppose q - 426 = -6*p. Does 18 divide p?
False
Let p = 9219 + 2277. Does 42 divide p?
False
Suppose i - 327 = 49. Suppose 2*p = 3*b - 206, 5*b = p + 18 + 316. Suppose -5*a - b = -i. Does 7 divide a?
False
Suppose -3*g + 1710 = 2*q, -3*g = g + 5*q - 2273. Suppose -5*v = g - 1777. Is v a multiple of 11?
False
Let x(d) = 101*d**2 + 61*d - 426. Is 12 a factor of x(6)?
True
Let s = 70 - 71. Let b = 1 + s. Suppose 12*d - 10*d - 82 = b. Is 15 a factor of d?
False
Suppose -12*t = 3*w - 11*t - 2906, -2*t = 8. Is w a multiple of 4?
False
Let c be 12/(-8) - (-24)/16. Suppose c = 127*q - 143*q + 800. Is 25 a factor of q?
True
Let t(n) = -3*n + 37. Let a be t(13). Let i be 3/(2 + a - -1). Suppose -v + 3 - 2 = 4*j, v - 6 = -i*j. Is 21 a factor of v?
True
Let h(r) = -171*r**3 + 5*r**2 + 5*r + 6. Is 28 a factor of h(-2)?
False
Let b(h) = -1852*h - 3253. Does 13 divide b(-17)?
False
Let o = 13 + -405. Let m = o - -500. Does 36 divide m?
True
Let f(p) = 40*p**2 - 17*p - 40. Suppose -5*g - 2*o - 4 = 0, -4*g - 4*o + 4 = -0*g. Does 14 divide f(g)?
True
Let v(x) be the first derivative of 4*x**3 - 15*x**2/2 + 70*x + 42. Is v(5) a multiple of 20?
False
Suppose -33*k = 4*d - 36*k - 28747, 3*d - 21554 = -4*k. Is d even?
True
Suppose d - 41*p + 46*p + 234 = 0, -p = 5. Let a = 249 + d. Is a a multiple of 5?
True
Let x = 2 - -69. Suppose -12*y + x = -1. Is 20 a factor of ((-170)/y + -5)*-3?
True
Suppose -7*n + 12*n - 25 = 0. Let z = -142 - -144. Suppose -2*b = -z, -3*v - n*b = -0*v - 110. Does 3 divide v?
False
Let u = 82 - -96. Let n = u - 149. Does 3 divide n?
False
Let p be 0 + -1 + 0 + 25. Let c(d) = -37*d - p*d + 84*d + 5 - 37*d. Does 18 divide c(-4)?
False
Let t be 4/(-2) + 1 - -1. Let i be ((-7)/(-3))/((t + -2)/(-66)). Suppose 4*n = i + 19. Is n a multiple of 6?
True
Suppose 376 = d + 4*p, -4*d + 761 = -4*p - 803. Let r = -156 + d. Is 29 a factor of r?
True
Suppose -r + 3 = -0*r. Suppose 17*g + 2494 = 60*g. Suppose g + 8 = 3*q + r*b, 0 = q - 2*b - 37. Is q a multiple of 6?
False
Let x be (-50)/(-5) + (0 - (0 - -1)). Let c = x + -12. Does 13 divide -2 - -51 - c*(-1)/(-1)?
True
Let k(c) = 137 + 243 + c**3 - 194 + 0*c + c. Suppose 0 = 4*d, 2*d = -2*q - d. Is k(q) a multiple of 41?
False
Let u(t) = t**3 + 17*t**2 + 14*t - 31. Let z be u(-16). Does 17 divide (z + 7 + -202)/(2/(-4))?
False
Let s = 28 + -73. Let v = s - -48. Let j(w) = 12*w + 6. Does 7 divide j(v)?
True
Let v be (-2)/(-10)*25/5. Let w(j) = 2*j + 2. Let g be w(v). Suppose -g*u + 81 = -u. Is u a multiple of 5?
False
Suppose 314*n - 195*n = 162316. Is 124 a factor of n?
True
Suppose -5*d = -5*k + 325, 0*k - 2*k + 129 = -d. Let y = 43 + k. Suppose -h - 4*f = -34, 0*h + f + y = 5*h. Is 22 a factor of h?
True
Let v = -1406 + 22252. Is v a multiple of 12?
False
Let w(f) = 25*f**3 + 2*f**2 - 11*f + 40. Is 3 a factor of w(3)?
False
Let z be (-2 + (-14)/(-12))/(40/(-240)). Suppose -a + 345 = 3*q, -2*a + 8*q - z*q + 699 = 0. Does 51 divide a?
False
Is 22 a factor of ((-3)/4)/(600/(-160)) + 58407/15?
True
Suppose -41*x - 9120 = -44*x. Is 8 a factor of x?
True
Let k(p) = 11*p**3 + 44*p**2 - 13*p + 16. Let y(t) = 4 - 4 + 22*t**2 + 9*t**3 + 8 - 6*t - 4*t**3. Let u(o) = -6*k(o) + 13*y(o). Does 3 divide u(22)?
False
Let w = -710 + 717. Suppose -w*l + 3174 = -3756. Is l a multiple of 42?
False
Suppose a + 65 = 2*k, 5*a + 1 - 36 = -2*k. Let f be k/24 - 4/16. Is (153/18)/(f/18) a multiple of 17?
True
Suppose 3 = m, 3*m - 32 = 4*x + 49. Let w be (-2)/2 - (4 + x). Suppose 0 = 2*v - 4*b - 13 - w, -3*v = -2*b - 47. Does 2 divide v?
False
Suppose 3*z = -3*f, -5*f + 2*z + 2*z + 18 = 0. Suppose 70 = 3*c + 4*u + 30, f*c - 5*u = 19. Is ((-16)/c)/(4/(-474)) + -2 a multiple of 26?
True
Let a(l) = 214*l**2 - 61*l + 280. Does 15 divide a(5)?
True
Let l(t) = -10*t**3 - 3*t**2 - 4*t - 2. Let f be l(-2). Let p be f - (16/8 + (0 - 3)). Suppose 6*r + p = 9*r. Is 5 a factor of r?
True
Let d = -658 - -3683. Is d even?
False
Let m be ((-192)/(-80))/((-3)/15). Let a(w) = -17*w + 68. Is a(m) a multiple of 12?
False
Let f(r) = 3*r**3 - 5*r**2 - 2*r + 11. Let g(x) = 8*x**3 - 14*x**2 - 6*x + 32. Let v(s) = 11*f(s) - 4*g(s). Is v(2) a multiple of 9?
True
Let g = 5 + -8. Let s(r) = -3*r**2 - 4 - 3*r - 3 + 1 + 0 - 2*r**3. Is s(g) a multiple of 5?
True
Let s = -58 + 60. Suppose 0 = s*k - 3*k - r - 3, r = 5*k - 3. Suppose k = -3*t - 12*t + 4560. Is t a multiple of 38?
True
Let x(j) = -j**2 + 18*j + 23. Let u be x(19). Let v be 276/(-6) + (-1 - u). Is (-30)/(-2)*v/(-5) a multiple of 17?
True
Suppose 0 = 250*h + 232553 - 641053. Is 19 a factor of h?
True
Let l(r) = 10*r**3 + 13*r**2 + 16*r + 23. Is 101 a factor of l(10)?
False
Suppose 5*v - 2*m = -221, -14*v + 12*v - 82 = -4*m. Suppose 0*n + 87 = -n. Let a = v - n. Is a a multiple of 14?
True
Let l = 10660 - 2197. Is 403 a factor of l?
True
Let w(z) = 34*z**2 + 137*z - 161. Does 9 divide w(-29)?
False
Let h = -1552 + 6202. Does 150 divide h?
True
Let o(q) = 42*q**2 - 297*q - 3093. Is o(-11) a multiple of 3?
True
Let t(q) = -342*q**2 + 344*q**2 + 147*q**3 - q - 52*q**3. Is 3 a factor of t(1)?
True
Suppose -10*c