ue
Is 20 a factor of (-3 + 4)*-9*909/(-27)?
False
Let z(o) = 1061*o**2 - 4*o + 4. Is z(1) a multiple of 75?
False
Suppose 4*a + a + 162 = 4*r, -4*r + 4*a + 160 = 0. Does 19 divide r?
True
Let b = 331 + 4. Is b a multiple of 22?
False
Let y(c) = 23*c**3 + 1. Let s be y(1). Let v = s - 15. Suppose -u + 4*l = -2*u + 29, l + v = u. Is u a multiple of 13?
True
Let m(u) = u + 9. Is m(6) a multiple of 5?
True
Let w(i) = i**3 - 9*i**2 + 7*i - 7. Let r = -13 - -22. Let p be w(r). Suppose 0 = s - 3*s + p. Does 14 divide s?
True
Let m(u) = u**3 - 4*u**2 - 4*u + 1. Let g be m(5). Let w be (72/(-45))/(12/(-20) - -1). Is g/(-3)*62/w a multiple of 6?
False
Suppose -5*c + 16 = -3*c + 5*w, 3*w = 3*c - 3. Suppose 28 = c*t - 4*t. Does 11 divide (-2)/7 + (-680)/t?
False
Is 6 a factor of 66 + (0/4)/(-5)?
True
Let z(q) be the first derivative of q**5/20 + 2*q**4/3 - 7*q**2/2 - 6*q + 3. Let f(h) be the first derivative of z(h). Does 13 divide f(-6)?
True
Let u(x) = 3*x**2 - 11*x - 49. Does 4 divide u(8)?
False
Let j(h) = h - 2. Let l be j(0). Let d = l - -74. Is 6 a factor of d?
True
Let p(v) = 2*v**2 - 10*v + 21. Is p(-7) a multiple of 27?
True
Let i(b) = 75*b**2 + b. Let c be i(-1). Let y = c - 36. Suppose 3*v + 78 + 96 = 3*q, -4*v + y = q. Is q a multiple of 18?
True
Let x(z) = z**3 + 17*z**2 + 16*z - 12. Does 17 divide x(-11)?
False
Let c be (-3 + 4)*(-2)/((-2)/7). Does 7 divide 150/c - 15/35?
True
Let v(f) = 2*f**2 + 565*f + 0*f**2 - 6 - 562*f. Let u be (-1)/((-2)/(-8 - 0)). Is 5 a factor of v(u)?
False
Let c = -365 + 715. Is 50 a factor of c?
True
Suppose -4*k - 13367 = -33131. Does 49 divide k?
False
Suppose 4*t + 2*p = 28, -2*p = 5*t - 7*p - 50. Suppose -v + 40 = t. Does 25 divide v?
False
Let s = -2833 - -4123. Does 86 divide s?
True
Suppose s - 161 = 254. Is 14 a factor of s?
False
Is (2 + 55/10)/((-15)/(-170)) a multiple of 5?
True
Let x(g) = g**3 + 2*g**2 + 2*g + 71. Let n(h) = -h**3 + 9*h**2 - 12*h - 14. Let z be n(7). Is 19 a factor of x(z)?
False
Suppose 3*l - 3*u + 28 + 8 = 0, 5*l + 5*u + 40 = 0. Suppose 0 = 4*w + w - 20. Does 12 divide (-435)/l - 6/w?
False
Suppose l - 1 = 3*p, 5 = 2*p + 3*p. Let z = 9 - l. Suppose z*u - 16 - 94 = 0. Does 11 divide u?
True
Suppose 164 = 2*g - 172. Does 34 divide g?
False
Suppose 1 = -p + 6. Let w(d) = -p*d + d**3 + 2 - 7*d + 10*d**2 + 2. Is w(-11) a multiple of 5?
True
Let f(u) = 3*u**2 - 11*u - 56. Does 27 divide f(-13)?
True
Let t be 13*(4 + -2 + -12). Is 20/t + (-1174)/(-26) a multiple of 6?
False
Let z(i) = 5*i - 28. Let q be z(7). Suppose 3*p - 5 = q, -2*l = 5*p - 106. Is l a multiple of 9?
False
Suppose 40 = -4*n + 152. Suppose n = 3*p + 2*i, 2*p + 0*i + i = 20. Is 6 a factor of p?
True
Let q = 610 - -560. Is q a multiple of 39?
True
Suppose h - 548 = 6*j - j, 3*j = h - 544. Suppose 2*i = -2*q + 266, -4*i + 6*q + h = 4*q. Is 12 a factor of i?
False
Let w = -1650 - -2427. Does 13 divide w?
False
Suppose -5*l - 45 = 6*g - g, g + 5*l + 25 = 0. Let n = g - -5. Does 5 divide n/(-1) - (10 - 25)?
True
Suppose 0 = 23*n - 9126 - 22614. Does 92 divide n?
True
Let h(u) = -u**2 + 37*u + 150. Does 6 divide h(36)?
True
Let y(m) = 372*m - 106. Does 54 divide y(10)?
False
Suppose -7 = -3*c + 8. Suppose 389 = c*y + 3*z + 74, 0 = 2*z + 10. Does 33 divide y?
True
Let i be (-254)/(-9) + (-4)/18. Suppose q - 28 = -0*q - 3*s, -q - 5*s + i = 0. Does 4 divide q?
True
Suppose -4*v - 6*t + 10*t + 636 = 0, 3*t = 2*v - 322. Is v a multiple of 5?
True
Suppose 3*i = -3*j + 351, -5*j + 6*j = 0. Is 14 a factor of i?
False
Let o(z) = -z**2 + 16*z + 52. Let q be o(19). Is ((-6)/(-5))/((-2)/q) a multiple of 3?
True
Is (714/(-63))/(-2*3/513) a multiple of 25?
False
Suppose 0 = 4*j + 5*u + 60, -32 = 4*j + 3*u - 5*u. Is j/(-4) + 810/36 a multiple of 5?
True
Let x be 260/(-8)*(-24)/20. Suppose 4*c + 4*d = 164, -d - x = c - 2*c. Is 5 a factor of c?
True
Suppose 5*k = 3*z - 4*z + 106, 4*k + 304 = 4*z. Is z a multiple of 4?
False
Let d(a) = a**2 - 5*a - 3. Let q be d(-6). Suppose -212 = 5*i + q. Let t = 120 + i. Is 18 a factor of t?
False
Let r(w) = w**3 - 11*w**2 + 17*w + 16. Let a be r(9). Let m = 26 - a. Does 19 divide m?
True
Let u(o) = 67*o - 2. Let i be u(2). Suppose i = k - 4*t, t + 624 = 5*k - t. Suppose 4*h - k = -4*l, -4*l - 151 = -9*l - 4*h. Is l a multiple of 14?
False
Let v be (-4 - -5)/(5/(-175)). Does 37 divide 0 - (v - (5 + -3))?
True
Suppose -s - 291 = -3*n, -n + 87 = -254*s + 257*s. Is 32 a factor of n?
True
Let w(r) = -7*r + 1. Let n be w(-1). Let q = 225 + -239. Let u = n - q. Is 8 a factor of u?
False
Let r = 286 + -174. Does 68 divide r?
False
Let d = 761 + 1549. Is 55 a factor of d?
True
Let l be ((-6165)/30)/(6/(-8)). Suppose 5*u - l = -q, -2*u + 3*u = 3*q + 58. Does 32 divide u?
False
Let w be (6/(-9) - 0)*549/(-6). Suppose -w - 43 = -2*m. Does 22 divide m?
False
Suppose -5*h + 4*c = 1677, 0 = -5*h + 3*c - 1179 - 495. Let b = -189 - h. Is 36 a factor of b?
True
Let n(q) = -10*q + 6. Let m = -7 + 2. Does 24 divide n(m)?
False
Let z = 8 + -8. Suppose z*h - 440 = -5*h. Is h a multiple of 22?
True
Let v(z) = z**3 - 5*z + 4. Let l be v(3). Let o = -37 + 33. Let d = l - o. Is 10 a factor of d?
True
Suppose -57*d + 64*d - 8113 = 0. Is d a multiple of 17?
False
Suppose -4*a = -t + 920 - 290, 0 = -4*t - 5*a + 2604. Does 38 divide t?
True
Let c = -1800 - -3367. Is c a multiple of 11?
False
Suppose 3*i = 4*i. Suppose -24*u - 855 = -29*u. Suppose 3*b + u = 3*w, 3*b = -i*b + 15. Is 17 a factor of w?
False
Suppose -15*y = -19*y + 16. Suppose -2*k - 96 = -8*b + 4*b, 4*b + y*k - 72 = 0. Is 7 a factor of b?
False
Let j(b) = b**3 - 9*b**2 + 6*b + 1. Let q be j(8). Let t = 18 + q. Suppose -4*z + 644 = t*z. Is z a multiple of 23?
True
Let j(h) = 267*h**2 + 2*h + 1. Let c = 10 + -12. Let z be j(c). Is 7 a factor of z/21 + 12/42?
False
Suppose 0 = -18*y + 6*y + 6960. Is 20 a factor of y?
True
Let h be (-3)/((-48)/39 - -1). Suppose h*k - 5*k = 1336. Is k a multiple of 11?
False
Let d be (-20 + -3 - -1) + -2. Let n = -24 - d. Suppose u + u - 56 = n. Is 28 a factor of u?
True
Suppose 2*l + 0*l = -5*k + 764, 2*k + 4*l - 296 = 0. Suppose 525 = 5*q + r, -2*q + 56 = r - k. Is q a multiple of 21?
True
Let p be (288/(-28))/((-2)/14). Suppose 5*z = -3*j + 11 - 78, -j + 5*z - 29 = 0. Let h = p + j. Is h a multiple of 18?
False
Suppose -q + 13 + 3 = 0. Suppose -11*s - 950 = -q*s. Does 38 divide s?
True
Suppose -5*q - 3*u + 901 = -319, -u = 0. Is 3 a factor of q?
False
Let q = 463 - 415. Does 8 divide q?
True
Suppose -59*z + 42*z + 5049 = 0. Is 4 a factor of z?
False
Suppose -226 = 3*y + 5*j, -y + 94 = -2*y + 3*j. Let x = 166 + y. Is 10 a factor of x?
False
Let u(s) = -209*s - 1. Is u(-1) a multiple of 50?
False
Let p(m) = -11 + 16*m - 4*m + 9*m - m**2. Is p(17) a multiple of 9?
False
Suppose 3*n + 5*l = 869, -4 + 14 = -2*l. Is n a multiple of 25?
False
Let g(i) = 12*i**3 - 8*i**2 + i - 8*i**2 + 15*i**2. Does 3 divide g(1)?
True
Suppose 4*w = 12*w + 576. Let b = 74 + w. Is b a multiple of 2?
True
Let a(f) = 36*f - 214. Is a(8) a multiple of 19?
False
Suppose -3*g + 10*i = 5*i - 1757, -5*i - 579 = -g. Is 13 a factor of g?
False
Is 11 a factor of 123 - -1*(-10 + -3)?
True
Suppose 6*j = j - 2*w - 8, 0 = -w + 1. Does 8 divide j/6 - 1095/(-45)?
True
Let h = -188 + 215. Is h even?
False
Let m = -4 - -14. Let b = -234 - -276. Suppose -t = -m - b. Is t a multiple of 14?
False
Suppose 5*z + 21 = 4*s, 2*s + 5*z = -0*z + 3. Suppose -s*c + 157 = -155. Does 13 divide c?
True
Does 38 divide (1/(-4))/((-75030)/12504 + 6)?
False
Let z = -204 - -253. Does 4 divide z?
False
Let z(p) = 3*p + 5. Let t be z(-1). Let q(f) = 13*f**2 - 3*f + 3. Is q(t) a multiple of 14?
False
Let g = 83 + 84. Does 63 divide g?
False
Does 11 divide ((-2)/(-3))/(17/(30090/20))?
False
Suppose -5*q = -2*n + 103, -3*n = -2*n - q - 53. Is 2 a factor of n?
True
Suppose -24 = 19*l - 22*l. Let w = -3 + l. Suppose -j - 7*z + 3*z = -4, -w*z - 37 = -4*j. Is j a multiple of 8?
True
Is ((-48)/(-120))/((-1)/(-190)) a multiple of 4?
True
Suppose -6*q - 54 = -192. Let d = 20 + q. Is d a multiple of 9?
False
Let t(o) = o**3 - 4*o**2 + 3*o - 10. Let u be t(4). Suppose 2*d = 2*l + 24 - 96, 0 = -u*l - 2*d + 72. Is 9 a factor of l?
True
Let p(j) = -j**2 - 41*j - 187. Is p(-6) a multiple of 2?
False
Suppose -2*f + 172 