+ r. Suppose -3*u + 2*t + y*t = -176, -125 = -2*u - 5*t. Is u a multiple of 15?
True
Let x(l) = 35*l + 9. Let g be x(7). Let v = -145 + g. Is 15 a factor of v?
False
Let o(x) = x**2 - 18*x - 66. Is 5 a factor of o(22)?
False
Let v(p) = p**2 - 12*p + 8. Let u be v(12). Let q(j) = 5*j - 27 + j + 7. Is 28 a factor of q(u)?
True
Suppose -2*d - 13*v = -8*v - 1775, 5*v + 2625 = 3*d. Is 88 a factor of d?
True
Let n = 142 - 150. Let l(t) = -t**3 + 4*t**2 + 5*t - 4. Let y be l(4). Let k = y + n. Is k a multiple of 5?
False
Suppose 2*z = -2*z + 5*p + 769, -3*p + 9 = 0. Does 4 divide z?
True
Suppose -494 + 111 = -3*k - 5*s, 4*s + 500 = 4*k. Suppose 0*w = -2*w + k. Suppose -a - 2*a = -w. Is 14 a factor of a?
False
Let q = 130 - 2. Is 4 a factor of q?
True
Let n = -458 - -675. Is 7 a factor of n?
True
Suppose -2*y = -6, 2*z = -0*z - 5*y + 13. Let n = -5 - z. Is (n/8)/(1/(-24)) a multiple of 12?
True
Suppose -8*k + k = 497. Let j = k + 134. Is 9 a factor of j?
True
Suppose n + 3 = -4*h - 4*n, 3*n = -9. Suppose -w = -4*k - 2*w + 297, 2*k + h*w = 141. Is 9 a factor of k?
False
Suppose -448 = -24*b + 22*b. Is 22 a factor of b?
False
Let p be 1 + 10*147/6. Suppose k = -c + 124, -c - k = c - p. Is 32 a factor of c?
False
Suppose 0 = 2*j + 405 - 2095. Does 7 divide j?
False
Let r(h) be the third derivative of 11*h**5/15 + h**4/6 - 2*h**3/3 + h**2. Is r(2) a multiple of 18?
True
Is (-5 + (-649)/7 + 0)*-7 a multiple of 19?
True
Suppose 0 = -5*p + 3*v + 27, 4*v - 3 = -5*p - 4. Suppose 1 = -p*s + 4. Suppose 0 = -3*q + s + 20. Does 6 divide q?
False
Let r(c) = -c**3 - 12*c**2 + 14*c + 17. Let g be r(-13). Suppose -10 = -b - 5*x - 0, -5*x = -g*b - 10. Suppose b*d - 8 = -d. Is 4 a factor of d?
True
Does 40 divide 75*4*(-4)/(-6)?
True
Suppose 0*x - 6 = -x - w, 4*x - 3*w - 45 = 0. Let s be (-4)/12 - (-254)/6. Let g = x + s. Does 13 divide g?
False
Let f(v) = -19*v + 2815. Is 11 a factor of f(0)?
False
Is (30/6 + -6)*3150/(-2) a multiple of 45?
True
Let v(f) = f - 4. Let g be v(-2). Let y(b) = -b**2 - 7*b + 5. Is y(g) a multiple of 2?
False
Suppose 6*l - 5*l + 41 = 0. Let b = 35 + l. Is 10 a factor of (87/b - -2)*-4?
True
Let o = 1169 - 789. Is o a multiple of 20?
True
Let h be 12/8*148/6. Is h - (-20)/(-3 - 2) a multiple of 9?
False
Let j = -2096 + 2264. Does 38 divide j?
False
Does 15 divide (-5)/((-35)/3059) - 0?
False
Let r = 118 + -83. Let l = r - 8. Is 9 a factor of l?
True
Suppose -7*z + 3 = -4*z. Is 24 a factor of 4/(-6)*z*-69?
False
Let z be (1 - 1)/3 + 83. Let a = -42 + z. Does 4 divide a?
False
Let s(g) = 65*g**2 + 1. Let p be s(-1). Let k = p - -39. Is 21 a factor of k?
True
Suppose -n - 4*n + 4*i = -988, -3*i + 974 = 5*n. Does 14 divide n?
True
Suppose 4*q + 29 = -55. Let r be 6*-1*-3*2. Let p = r + q. Does 7 divide p?
False
Let x(o) = o + o**3 - 7 + 0*o**2 + 7*o**2 + 5. Suppose 2*v = -j + 3, -3*j - 31 = -0*j - 4*v. Is 12 a factor of x(j)?
False
Is 2 - 3*(-1248)/9 a multiple of 14?
False
Let w be (-9)/(-6) + (-46)/(-4). Suppose -3*u - 1 = -w. Suppose 0*z - u*z + 240 = 0. Is z a multiple of 12?
True
Let c(t) = -t**2 + 4*t - 7. Let o be 141/27 - 2/9. Let g be c(o). Does 10 divide ((-8)/g)/(3/45)?
True
Let d(a) = 0*a - a + a + 22 - a. Is 8 a factor of d(5)?
False
Is 366 + -4 + 0 + 5*-1 a multiple of 29?
False
Let d(s) be the first derivative of -22*s**2 + 15*s + 49. Is d(-3) a multiple of 12?
False
Suppose -220 - 180 = 5*n. Let r = -46 + n. Let u = -74 - r. Is 26 a factor of u?
True
Suppose -2*f - 79 = -3*f + k, -4*k = 2*f - 182. Suppose 0 = -5*z + 498 - f. Let y = z - 56. Is y a multiple of 7?
False
Suppose -l = y - 8, -4*y = -3*l - 8 - 3. Is 9 a factor of l/(-1) - (-150)/2?
True
Suppose 0 = 3*o - 4*v - 6732, 0 = 58*o - 56*o - v - 4493. Is o a multiple of 8?
True
Suppose 0 = 7*a - 4*a - 72. Suppose a*q = 26*q - 48. Suppose 3*k = -2*l + 48, -3*l + 2*l = -2*k - q. Does 8 divide l?
True
Suppose 0 = 8*h - 636 - 1284. Suppose 3*b + 5*l - 163 = 3*l, 5*b - 3*l - h = 0. Is 9 a factor of b?
False
Let f = -7 + 21. Suppose 3*d + f = -1. Is (d - (0 + -3)) + 34 a multiple of 16?
True
Suppose 158*f + 7605 = 163*f. Is f a multiple of 13?
True
Let t = 908 - 512. Does 90 divide t?
False
Suppose -5*g + 4*r = 2*r - 22, 19 = 4*g - 3*r. Suppose 2*b + 3*l = 147, 2*b - g*l = -9*l + 137. Does 15 divide b?
False
Let z(h) = 3*h**2 - 8*h + 6. Is 10 a factor of z(10)?
False
Let i = -965 + 2468. Is i a multiple of 24?
False
Suppose -53*s + 84116 = 15*s. Is s a multiple of 48?
False
Let l(g) = -4*g - 56. Let p be l(-13). Is 20 a factor of (p/(-3))/((-1)/(267/(-2)))?
False
Suppose 6 - 2 = a + 4*l, 5*a - 56 = -2*l. Suppose a = 3*h - 6. Is 5 a factor of 2*(21/h - 1)?
True
Suppose 0 = 3*j - 2*h - 6, -2*j - 4*h + 2 = -2. Let z(v) = 18*v + 14. Does 25 divide z(j)?
True
Suppose o - 9 = 1. Suppose o*x - 8*x = 224. Is x a multiple of 16?
True
Let y = -109 + 153. Is 12 a factor of 117/(-4 - y/(-8))?
False
Let r(p) = -p + 5. Let y(z) = 2*z - 10. Let k(d) = 7*r(d) + 3*y(d). Let w be k(0). Suppose 29 + w = u + 4*s, -5*s - 3 = -2*u. Is 7 a factor of u?
True
Let s be 0*((-3)/6)/1. Suppose 5*u - 1 = -2*r, 5*u + 2 = -3. Suppose r*f + s*b - b - 54 = 0, 5*b = 15. Is 8 a factor of f?
False
Suppose 8*p = 16*p - 552. Is p a multiple of 23?
True
Suppose 2*w = -2*w + 1120. Suppose 6*k - k = w. Does 7 divide k?
True
Let n be 6/2*(-30)/(-18). Suppose -n = 4*a - 17. Suppose 2*q = -l - a*l + 40, -4 = q. Is 12 a factor of l?
True
Let q = 1563 + -746. Does 19 divide q?
True
Let n be 9/6*1*2. Suppose -n*b + 38 = -49. Suppose 0 = -u - 6 + b. Is 7 a factor of u?
False
Does 28 divide ((-385)/(-44))/(0 + (-1)/(-40))?
False
Suppose 3*c - g - 4 = 0, 0*c + 5*g = -c + 12. Suppose p + 4*p - k = 255, 10 = c*k. Let j = p + -33. Is j a multiple of 12?
False
Suppose -3*j + 3*h + 392 = 5*h, -5*h = 5*j - 650. Is 4 a factor of j?
True
Suppose -3*r + 16 = 5*j, -r - 4 = -3*j - 0. Suppose 0 = -2*u - 2*i + 212, 18 = -4*i - j. Is u a multiple of 14?
False
Let m(z) = -z**3 - z**2 - 1. Let j be m(-2). Suppose 0 = q + j + 1. Is 2/q - (-68)/8 a multiple of 8?
True
Let u be 4/(-12)*3*(-6)/3. Suppose -u*w = -3*x - 3*w + 41, 2*w + 30 = 2*x. Does 2 divide x?
True
Suppose -5*j = 3*r + 11, 22 = -4*r - 2*j + 26. Is 2 a factor of r?
False
Suppose 4*x - 19 + 8 = -z, -2*x + 4 = 0. Suppose -z*d + 621 = 207. Does 40 divide d?
False
Suppose -4*u = -4*b + 32, 2*u = -5*b - 0*u + 5. Let k be b/(-2)*24/(-36). Let o(i) = 19*i + 1. Is 4 a factor of o(k)?
True
Let k = -782 + 1486. Is 5 a factor of k/14 + 6/(-21)?
True
Suppose 0 = -9*l + l + 336. Let i = -4 + 6. Suppose -105 = -3*d - 3*k, i*d - k = l + 13. Is d a multiple of 10?
True
Suppose -p + 29 = -2*d, 2*p + 2*p - 86 = -2*d. Suppose -4*g + 5*b + 94 = 0, 0 = -g - 0*b + b + p. Does 21 divide g?
True
Let b(n) = 590*n**2 + 16*n + 15. Is 7 a factor of b(-1)?
False
Suppose 4*m + 4 = 5*c - c, -c - 5 = -3*m. Let n be c/(-6) + (-4400)/(-12). Suppose -4*b - b + n = 4*y, -5*b + 358 = 2*y. Is 37 a factor of b?
False
Suppose 3*z = 2*z - 3*p - 4, 2*p = -4*z + 4. Suppose -z*i - 2*b = -36, 3*i - 60 = -i - b. Is 6/3 + 2 + i a multiple of 14?
False
Suppose -4*h + 19 + 9 = -4*p, -3*p = -5*h + 31. Suppose 24 = -h*k - 21. Let i = 16 + k. Is i even?
False
Suppose -50*s + 176 = -39*s. Is 11 a factor of s?
False
Suppose 5*b = 23 + 2. Let d(r) = r**2 - r. Let q(v) = -5*v**2 + 5*v. Let j(y) = 6*d(y) + q(y). Is j(b) a multiple of 10?
True
Let d be 10/15 + (-18)/27. Suppose 5*c + 4*y = 18, 2*y + 3 = 7. Suppose c*n - n - 33 = d. Does 12 divide n?
False
Let r(i) = i**3 + 5*i**2 - 3*i - 8. Suppose 5*g + 14 = -2*v, g = v - 2 - 5. Does 20 divide r(g)?
True
Suppose -6*p = -4*p - 10. Suppose -p*t + 9 + 91 = 0. Suppose 2*m - 62 = -4*w - w, -5*m - t = 0. Does 14 divide w?
True
Let l = 22 - 20. Suppose b = l*d + 14, 3*b - 4*d = d + 43. Is 16 a factor of b?
True
Suppose 0 = -13*c + 6*c + 28. Suppose -172 - 28 = -c*o. Suppose -5*r - 5*f + o = 0, 38 = 3*r - f + 6*f. Does 2 divide r?
True
Let s = -25 + 25. Let k be s*(-4)/20*1. Suppose -2*f + 66 = -k*f. Is 11 a factor of f?
True
Let h be (-4)/(-12)*-2*-12. Suppose -s = -4*b - 9 - 12, -4*s = 3*b - h. Suppose s*t - 479 + 4 = 0. Does 29 divide t?
False
Let l = -82 + 368. Is l a multiple of 34?
False
Let j(v) = 14*v - 47. Let x(h) = -15*h + 47. Let l(z) = 6*j(z) + 5*x(z). Does 7 divide l(9)?
False
Let 