54 = -11*h. Suppose 4*a - 3*l - 600 = l, a + l = h. Suppose -2*k + 4*i + a = 0, 5*i - 168 = -4*k + 162. Is k a multiple of 18?
False
Let r be (6*-226)/(-4)*60/18. Let h = -742 + r. Is h a multiple of 5?
False
Let k = 10157 + -8346. Does 16 divide k?
False
Let y be ((-15)/2 - -1)/(5/10). Let i(n) = n**2 + 9*n + 7. Let w be i(y). Suppose 2*h - 327 = -w. Is h a multiple of 8?
False
Let m(v) = -9*v + 626. Is m(19) a multiple of 65?
True
Let n = -59 + 584. Let y be -4 + 1/4 + n/(-4). Let h = y + 205. Is h a multiple of 10?
True
Let q be 1/(-2)*(-320)/5. Suppose -4*u + 6 + 20 = 2*h, 4*h = -4*u + q. Is 19 a factor of (-84)/(-2) - (1 + h)?
True
Let k = 26 + 38. Let r = k + 47. Is 30 a factor of r?
False
Let b be 5/((-220)/(-168)) - 2/(-11). Suppose -2*v + 5*k = -4*v + 4, 3*k = b*v - 8. Suppose -68 = -v*f - 20. Does 20 divide f?
False
Let r be 906/((-30)/(-4)*3/30). Suppose -12*f + r = -4*f. Let b = f + -125. Is b a multiple of 13?
True
Let p(z) be the second derivative of z**4/4 + 7*z**3/6 + 5*z**2/2 + 12*z. Let f be p(-2). Suppose 2*o + 4*s - 76 = 0, -f*o + 3*s = 4*s - 104. Does 3 divide o?
False
Let v = 49 - 49. Suppose 3*n - 40 = -5*c - 2*n, c - 2*n + 1 = v. Suppose d + 376 = c*d - 3*r, 2*d = 4*r + 198. Does 7 divide d?
True
Let d = -27 + 25. Is 22/4 - (-1)/d a multiple of 5?
True
Let s = 365 + -551. Let o = s - -276. Is 15 a factor of o?
True
Suppose n = c - 12, -3*n + 5 = 8. Let x(d) = -d**3 + 10*d**2 + 26*d + 21. Is 3 a factor of x(c)?
True
Suppose 0 = 4*z + 4*r - 0*r + 152, -z = -3*r + 26. Let o = -8 + z. Let a = o - -63. Is a a multiple of 5?
True
Let w be -4 - (-1 - 0 - 0). Let i be (w - (2 + -4)) + 11. Suppose -7*l - 114 = -i*l. Is 14 a factor of l?
False
Let q(r) = -2*r**2 + r + 231. Let g be 2/10 + (-763)/(-35). Let b = g + -22. Does 28 divide q(b)?
False
Suppose 5*k - b = -0*b + 835, 4*k + 3*b - 687 = 0. Suppose -4*m - 584 = k. Is 8 a factor of 3/(1 + 182/m)?
False
Let n = -68 - -63. Let o(w) = -5*w**3 - 2*w**2 + 10*w - 5. Does 26 divide o(n)?
True
Let f = 21 - 22. Let h be f/(1 + (-12)/9). Is (-6)/h - (2 + -105) a multiple of 16?
False
Let d = -1828 + 2033. Does 2 divide d?
False
Let n(h) = 67*h**2 - 63*h - 263. Does 11 divide n(-5)?
True
Is -3 + (44016/224)/((-47)/48 + 1) a multiple of 89?
False
Let v(r) = -14*r**3 + 3*r + 13. Does 69 divide v(-4)?
True
Let r(z) = -1098*z + 4844. Does 49 divide r(-42)?
True
Suppose 5*q - y - 66575 - 3911 = 0, q - 14102 = 5*y. Is q a multiple of 53?
False
Suppose -2*x - p = -37, 0 = -x + 2*p - p + 23. Let n be (-10)/25 + 1128/x. Suppose 3*o + 113 = 2*u, 2*u - n = 5*o + 55. Does 9 divide u?
False
Suppose 9*j - 10*j = -3*b + 16317, 0 = -2*b + 4*j + 10868. Is b a multiple of 39?
False
Suppose 8*w - 436 - 396 = 0. Suppose 0 = -5*h + 13*h - w. Does 13 divide h?
True
Let m(p) = 93 - 4*p + 12*p - 23*p - 21*p. Does 7 divide m(2)?
True
Suppose -6 + 10 = -y, 0 = -w + 4*y + 49. Does 55 divide 1099 - 1 - (-11)/(w/6)?
True
Is 372978/225*(0 - -5) + (-28)/70 a multiple of 112?
True
Suppose -3*g - 87 = -246. Suppose -32 = -n + g. Let v = 120 - n. Is v a multiple of 10?
False
Let s = -183 + 322. Let c = s + -31. Does 18 divide c?
True
Suppose 43*y + 3*n - 24028 = 38*y, 0 = -y - n + 4808. Does 69 divide y?
False
Let c(k) = k**2 + 32*k + 12. Suppose -3 = 2*s - 3*s - 3*o, 0 = 5*s - 2*o - 83. Does 53 divide c(s)?
False
Let j = -109 - -35. Let a = -86 - j. Is 5 a factor of -7 + (8 - 3) - a?
True
Let i(u) = u**3 + 13*u**2 + 14*u + 5. Let l be ((-11)/(-2))/(3/6). Let a = 1 - l. Does 10 divide i(a)?
False
Let g = 55 - 23. Let n be (210/8)/(6/g). Let v = n - 80. Is 18 a factor of v?
False
Let a = -12412 + 18842. Is 148 a factor of a?
False
Let a(p) = p**3 + 3*p**2 - 6*p - 8. Let c be a(-4). Suppose 4*i - 1132 = -5*z, 3*z = 4*i - c*i + 692. Is z a multiple of 4?
True
Suppose 44*m - 14*m - 22*m - 99952 = 0. Is m a multiple of 3?
False
Suppose 0 = -3*u - 2*u - 6*u. Suppose u = -4*v + 5*t + 242 + 158, 2*t = -v + 87. Is v a multiple of 31?
False
Let d(w) = 12*w + 390. Let y be d(-25). Let v = -2 + 2. Suppose 11*m - 6*m - y = v. Does 9 divide m?
True
Suppose 4*k + 3*u = 1034, 20*k - 5*u = -1896 + 7026. Suppose -5*p - 4*d - 505 = -9*d, 0 = -3*p + d - 305. Let z = k + p. Does 30 divide z?
False
Suppose -8*v + 3523 = 3499. Suppose 5*r + 5*l = -535 + 180, r - 2*l = -56. Let q = v - r. Is q a multiple of 23?
True
Let y(h) = h**2 + 32*h - 90. Let i be y(-27). Let l = -170 - i. Does 22 divide l?
False
Let f = 3503 - 518. Suppose -5*y = -3*n - f, -6*n - 595 = -y - 5*n. Is 10 a factor of y?
True
Let t be (-135)/18*4/(-5). Let d(m) = -m**3 - 3*m**3 + 12*m**3 - 5*m + 4 - t*m**3 - m**2. Is d(4) a multiple of 19?
False
Suppose -5*h - 5*o = -h - 37, -3*h - 4*o + 29 = 0. Suppose t = 2*d + 1907, h*d + 2*d - 1886 = -t. Does 17 divide t?
False
Let j = 55 + 0. Let a = j + -64. Is (18/(-15))/(a/1140) a multiple of 8?
True
Suppose -5*g = -d + 310 - 30, -5*d + 1454 = 2*g. Suppose -510 = -5*n + d. Is 23 a factor of n?
False
Suppose -618*t + 9842 = -613*t + 3*p, -4*p - 4 = 0. Is t a multiple of 11?
True
Suppose -4*g + 2304 = -21*c + 24*c, 2*c + 2*g = 1534. Suppose 0 = -6*s + c + 124. Is s a multiple of 10?
False
Let x(d) = -d**3 + 10*d**2 + 3*d + 2. Let k = 459 - 451. Is x(k) a multiple of 26?
False
Let u = -91 - -40. Let l = -31 - u. Suppose -5*w + l = 5. Does 2 divide w?
False
Let k = 116 - -584. Suppose -o + 3*a = -k, -31*o + 33*o - 2*a - 1392 = 0. Does 32 divide o?
False
Suppose 9*n - 72 = -15*n. Is (-2 + 4 - n) + (158 - -32) a multiple of 28?
False
Let p(h) = h**3 + 2*h**2 + 2 - 4 + 22*h**2 - 1640*h + 0 + 1740*h. Is 23 a factor of p(-10)?
False
Suppose 23*r + 11887 = 11743 + 89430. Does 12 divide r?
False
Suppose 2*l + 4*k - 14 = 6*k, 0 = -2*l + 5*k + 26. Does 12 divide 3/(4*l/480)?
True
Let m(c) = 2*c**3 - 11*c**2 + 6*c - 3. Let i be m(5). Suppose 0 = i*z - z - 2. Suppose 4*j = z*j + 18. Does 2 divide j?
False
Let g(s) = 13*s**2 - 36*s - 181. Is g(-23) a multiple of 12?
True
Let y be (-16)/(-40)*1 + 268/5. Let j = -51 + y. Is 3 a factor of j?
True
Let u = -882 + 2697. Is 15 a factor of u?
True
Suppose -198*n = 33432 - 231234. Is n a multiple of 9?
True
Let w(s) = -s**2 + 2*s + 14639. Is w(0) a multiple of 14?
False
Suppose 0 = -13*g + 9*g + 16. Let q be (55/g)/((-3)/12). Let o = q + 115. Does 10 divide o?
True
Let x be 0*(2/(-11) - (-105)/154). Suppose x = -10*a + 5*a - 3830. Is (-55)/(-33) - a/3 a multiple of 17?
False
Suppose -237*i + 132*i = -369705. Is i a multiple of 3?
False
Suppose -4*y = 1 - 9, -y - 614 = -4*u. Let p be u/(-10) - (12/(-10))/3. Let d(l) = 2*l**2 + 21*l + 12. Is 12 a factor of d(p)?
False
Let w be 11 + 2 - (-20)/((-4)/1). Suppose -15*c + 253 = w*c. Is 5 a factor of c?
False
Suppose -8*z = 1165 + 331. Let a = z - -1153. Is 46 a factor of a?
True
Let w be (19 + -2 + -4)/1. Suppose -w*u + 3853 = 1357. Is u a multiple of 33?
False
Suppose 59*k = 318*k + 582184 - 6274486. Is 55 a factor of k?
False
Suppose -20 + 4 = -4*o. Suppose 2*c = -o*u + 600, 5*c - 24 = -u + 108. Is 4 a factor of u?
True
Suppose -120*y = -115*y - 4040. Suppose -260 = y*n - 812*n. Does 15 divide n?
False
Let k = -126 - -130. Suppose 5*w - 6*w = -k*j - 32, 3*j - 42 = -2*w. Does 10 divide w?
False
Suppose -152*z = -153*z + 411. Is 13 a factor of z + 6/(4 + -10)?
False
Suppose 274*v - 253*v = 205821. Is v a multiple of 121?
True
Let v(b) = 152*b**2 + 15*b - 69. Is 22 a factor of v(5)?
True
Let f(t) = -4*t**3 - t**2 + 4*t + 2. Let a(u) be the first derivative of u**3/3 - 2*u**2 + u - 9. Let j be a(3). Does 17 divide f(j)?
False
Let c be -3*14/105 - 54/(-10). Suppose -x + b = 2*x - 26, 34 = 3*x - c*b. Suppose 0 = x*m - 10*m + 106. Does 3 divide m?
False
Suppose 0 = -m - 2*m + 5*l + 4, -2*l + 2 = 0. Suppose m*o - 2*o - p = 2, 18 = o + 3*p. Suppose -3*b + 3*z + 24 = 0, z - o*z + 24 = 3*b. Is b a multiple of 8?
True
Suppose -3*t = -2*s + 2 - 7, 20 = t + 3*s. Suppose 11*l - t*l - 18 = 0. Suppose 5*y - 1024 = -l*o - o, -2*y + 432 = -4*o. Does 52 divide y?
True
Let l(b) = b**2 + 36*b + 102. Let x be l(-21). Let q = x + 369. Does 13 divide q?
True
Suppose -7*x - 8 = -1. Is (3*x)/((-57)/1387) a multiple of 12?
False
Let l be -35 + 42 + 2*110. Let a = 263 - l. Is a a multiple of 36?
True
Let l(h) = 6*h - 1560*h**2 + 1550*h**2 - 3*h**3 - 1 - 6. Suppose 0*k = -k - 4, 0 = 5*s 