pose -4*n + r - 7 = 0. Is n a multiple of 19?
True
Suppose 11*l - 5*l - 36 = 0. Let v(o) = 13*o - 3. Does 15 divide v(l)?
True
Suppose 3*f = 4*g + 154, -2*g + 8 = 2*f - 104. Is f a multiple of 2?
True
Suppose -3*k - r = 55, 2*k + 0*k + 4*r = -40. Is 4 a factor of ((-10)/k)/((-4)/48)*-3?
True
Let c = -76 - -288. Is c a multiple of 54?
False
Let m(q) = 4*q - 19. Let l = -3 - -24. Suppose -6*h + 75 = -l. Is 9 a factor of m(h)?
True
Suppose 10*p = 818 + 152. Is p a multiple of 6?
False
Suppose 19*a = 15*a + 3372. Suppose 836 = 5*v - 4*z, 5*v + 2*z - a = -z. Is v a multiple of 13?
False
Let j(d) be the third derivative of -d**4/8 - 5*d**3/6 - 4*d**2. Let b be j(-2). Is 31 a factor of ((-9)/15)/(b/(-65))?
False
Suppose 4*b + b + 352 = -3*m, 4*m + 492 = -b. Let u = m - -196. Does 24 divide u?
True
Suppose -12*o + 1088 + 2380 = 0. Is 41 a factor of o?
False
Let k = -24 + 26. Let z(t) = t**3 + 3*t**2 - t - 4. Is z(k) even?
True
Is 28 a factor of ((-66)/48)/11 + 100205/40?
False
Suppose 11*h + 1 = 10*h. Is (-20 - -21) + (0 + 7 - h) a multiple of 3?
True
Let c = 1407 - 1276. Is 11 a factor of c?
False
Suppose -4*u - 12 = 0, -35 - 226 = -2*j - u. Is j a multiple of 22?
True
Let x be 20/6*288/(-80). Let w be (-241)/(-3) - (-4)/x. Is w/6*84/35 a multiple of 16?
True
Suppose -4*c - 363 = -g, -7*g - 3*c = -5*g - 704. Is g a multiple of 71?
True
Suppose 4 + 5 = 3*t. Suppose -1348 = -10*l - 268. Suppose -t*q = q - l. Does 7 divide q?
False
Let n = 14 - 11. Suppose -3*x + n*b + 108 = 0, -2*b + 94 = 3*x + 2*b. Is 6 a factor of x?
False
Suppose -5*c + 1 = 3*s - 33, -16 = 3*s - 5*c. Suppose 3*q = -q + v + 227, -s*q + 5*v = -183. Does 14 divide 5/(((-44)/q)/(-11))?
True
Let y(d) = d**3 + 22*d**2 - 19*d - 40. Let q be y(-23). Let i = q - -230. Does 49 divide i?
True
Let r be -1*(-1 + 2) - -1. Let d be (r - 5)/(-1 - 0). Suppose -5*f = -0*k + d*k - 45, -4*f + 5*k + 63 = 0. Is 4 a factor of f?
True
Let s = -36 - -10. Let m(d) = 5*d**2 + 3*d + 2. Let i be m(-3). Let v = i + s. Is v a multiple of 4?
True
Let p be -3 + (2 + -1)*-3. Let i(m) be the first derivative of 2*m**3/3 + 11*m**2/2 + 8*m - 5. Is 6 a factor of i(p)?
False
Let l(b) = -13*b**3 + 2*b**2 - 2*b. Let i be l(-3). Suppose -r = 4*r - i. Does 10 divide r?
False
Suppose r + 3 + 6 = 2*q, -2*q + 2*r = -8. Suppose -16 = -4*k + 3*a, -q*k - 2*a + 20 = -a. Suppose -k*j - 12 = -92. Is j a multiple of 19?
False
Suppose 10*s - 15 = 5*s. Suppose -5*i = -z - i + 62, -2*z + 135 = s*i. Is z a multiple of 22?
True
Is 0/(-3) - (-252 + 29) a multiple of 3?
False
Let g = 40 - 42. Let h(i) = 10*i**2 + 3*i + 1. Is 9 a factor of h(g)?
False
Is 244*(1 + (-10)/(-40)) a multiple of 15?
False
Suppose 4*z + 4*m - 48 = 0, -3*m + 43 = 4*z + 2*m. Does 13 divide (-265)/(-85) + -3 - (-1120)/z?
False
Let f(b) = -2*b**2 + 39*b - 1. Suppose -5*r + 7*r - 36 = 0. Is f(r) a multiple of 3?
False
Let l(a) = 47*a + 287. Is l(36) a multiple of 13?
False
Suppose 0 = m - 3*i + 54, 92 = -2*m - 3*i + 29. Let h = m + 93. Is h a multiple of 12?
False
Let r(m) = -2*m. Let h be r(-1). Suppose -n = h*n - 81. Is n a multiple of 3?
True
Let f = 1100 - 507. Does 25 divide f?
False
Suppose l - 286 - 45 = 0. Does 5 divide l?
False
Let m = 4222 - -1269. Does 45 divide m?
False
Suppose -3 = -m + 13. Let g(d) = d + 12. Is g(m) a multiple of 11?
False
Suppose -15*u = -13*u - 50. Suppose -u = 3*x - 4*x - 2*p, -3*x = p - 60. Is x a multiple of 16?
False
Let n(z) = z**2 - 3*z + 2. Let i be n(1). Suppose 0 = -i*d + 3*d - 42. Does 2 divide d?
True
Let r be 6/3 + (-2 - (0 + 5)). Let l(v) = -11*v - 12. Is 6 a factor of l(r)?
False
Let n(i) = 9*i + 83. Is 7 a factor of n(4)?
True
Let c(w) = 3*w**3 - 6*w**2 - 8*w - 52. Does 7 divide c(8)?
True
Is 2799/5 - 5/(-75)*3 a multiple of 14?
True
Suppose 0 = -5*n - 2*v + 40, -3*n - v = 2*v - 33. Is ((-220)/(-15))/(4/n) a multiple of 11?
True
Let a(j) = j**3 - 16*j**2 + 18*j - 16. Let r be a(15). Let p(s) = -s**3 + 30*s**2 - 25*s - 36. Is p(r) a multiple of 8?
True
Let h be 77/63 + (-4)/18. Let o be -4 + 5 + -1 + h. Does 9 divide 27*o*(2 + -1)?
True
Suppose 3*r = 2*v - 0*v + 256, 68 = r - 5*v. Suppose -2*c = -r - 18. Does 17 divide c?
False
Let c(i) = 11*i**2 + i. Let t be c(-2). Let v(z) = 2*z + 40. Let l be v(-16). Suppose -t = 7*b - l*b. Is 14 a factor of b?
True
Suppose 0 = 2*v - 55 - 249. Let l = v - 0. Does 7 divide l?
False
Suppose -4*u - 49 = -245. Let z = -352 + 365. Let i = z + u. Does 24 divide i?
False
Let h(b) = 0*b**3 - 4 + 40 - b + b**3. Is 6 a factor of h(0)?
True
Let t(w) = w**2 + 4. Let p(k) = -2*k**2 - 7. Let u(f) = -3*p(f) - 5*t(f). Let a be u(-4). Let b = 10 + a. Is b a multiple of 9?
True
Suppose -i - i - 6 = 3*c, -4*i - 3*c - 6 = 0. Suppose i = -2*j + 20 - 6. Is j a multiple of 7?
True
Let s(n) = n**2 + n + 185. Is 2 a factor of s(0)?
False
Suppose 2*z - 674 = 4*q, -5*q + 282 = 5*z - 1418. Is z a multiple of 6?
False
Let w(i) be the first derivative of i**2 + i + 1. Let c be w(4). Is 3 a factor of -5*(-3 + c/15)?
True
Suppose 11*z - 420 = -10*z. Does 5 divide z?
True
Suppose 7*p = 5*p + 16. Suppose -19 - 43 = 3*t - 2*w, 2*w - p = 0. Is (t/4 + 2)*-2 a multiple of 5?
True
Let q be (0/(-1) - 34) + 0. Let u = 19 + 60. Let z = u + q. Is 13 a factor of z?
False
Let w = 23 - 16. Suppose 3*o + 2*f = 9, -5*f = -o - 4 + w. Suppose -g = -3*x + 25, o*g - 44 = -4*x - g. Is 9 a factor of x?
True
Let a = -18 + 7. Let q be 4/(-22) - 90/a. Let c(j) = j**3 - 8*j**2 + 6*j + 2. Is 14 a factor of c(q)?
False
Let x be (1 + -3 - -1)*0. Let i(p) = -p**3 + 2*p. Let s be i(x). Suppose -5*b + 255 = -3*a, -b + s*a + 33 = 3*a. Does 9 divide b?
False
Let r(q) = -q**2 + 37*q - 11. Is r(15) a multiple of 29?
True
Suppose 54*m = 56243 + 262681. Is m a multiple of 15?
False
Let d(b) = b - 35. Let l be d(9). Let v = 94 + l. Is v a multiple of 7?
False
Suppose 3*z = -2*k + 2*z + 184, 4*z = 8. Is k a multiple of 7?
True
Suppose s - a = -5, 5*s - s = -5*a + 25. Suppose s*j - 20 = -4*j. Let k = j + 1. Does 3 divide k?
True
Let c = -117 + 830. Does 22 divide c?
False
Let j be 265/35 + (-3)/(-7). Suppose 4*w - f - j = -5*f, 3*f + 15 = 0. Let g(u) = u**2 - 6*u + 12. Is 10 a factor of g(w)?
False
Is 73 a factor of (-157 + -1)*(36 - 47)?
False
Let s be (-72)/(-16) + 1/2. Suppose -4*g + 9*g = 4*v + 104, 128 = s*g + 2*v. Is g a multiple of 6?
True
Let b be ((-12)/(-9))/(4/9). Suppose 2*q = 117 + b. Is q a multiple of 15?
True
Is 116000/225 - 4/(-9) a multiple of 43?
True
Let a = 522 + -37. Does 2 divide a?
False
Let v(a) = a**3 + 3*a**2 - 10*a + 4. Let m be v(-5). Suppose 34 = b + m. Does 10 divide b?
True
Suppose 0 = 193*t - 199*t + 1164. Does 61 divide t?
False
Suppose -1644 = 17*o - 17250. Does 9 divide o?
True
Suppose 0 = -2*p + 3*p + 5*v - 987, 5*p - 4872 = -4*v. Does 81 divide p?
True
Suppose 47*c + 512 = 43*c. Does 28 divide (c/6)/((-10)/(-6) + -2)?
False
Let p = 53 - 64. Does 11 divide (18/(-8))/(p/264)?
False
Suppose -g = g - 20. Suppose 0 = 2*o + 18 + g. Does 21 divide (o/3)/((-20)/270)?
True
Let i(h) = -142*h - 24. Is 59 a factor of i(-1)?
True
Suppose 4*w = 3*j - 410, 3*w - 700 = -5*j + 22. Let v = -115 + j. Is 6 a factor of v?
False
Let q(w) = -w**2 + 3*w - 4. Let d be q(4). Let s = 8 + d. Is 3 a factor of (s - 2 - -5)*1?
True
Suppose x = 146 + 55. Is x a multiple of 21?
False
Let y(j) = j**3 + 3*j - 18. Does 18 divide y(6)?
True
Let r = 30 - -36. Let y = 90 - r. Is y a multiple of 3?
True
Does 6 divide (-6 + -1)*2880/(-84)?
True
Suppose -2*d - 1 - 13 = -4*b, 0 = -4*b + d + 17. Let v be ((-2)/4)/(b/(-20)). Is (43 - v) + 2/(-1) a multiple of 10?
False
Let d(s) = -8*s**3 - 25*s**2 + 19*s - 1. Is d(-9) a multiple of 14?
False
Suppose 2*b = -2*b + 12. Suppose 0*z - b*z = -201. Is 26 a factor of z?
False
Let t(i) = -i**2 - i + 1. Let q(o) = -o**3 + 15*o**2 - 6*o + 9. Let c(d) = q(d) + 4*t(d). Suppose 12*x - 260 = -14*x. Does 9 divide c(x)?
False
Let n = 657 + -378. Is 4 a factor of n?
False
Let x be (4/(-5))/(1/(-10)). Does 10 divide 352/12 - x/(-12)?
True
Suppose -4*n - 2*t + 10 = 0, -5*t = 3*n - 4*t - 10. Suppose -7*l = -2*l - 2*p - 390, 0 = -n*l - 5*p + 355. Is 38 a factor of l?
True
Does 5 divide -5 + 1*(-1 - -11)?
True
Let u = 7 - 3. Suppose -u*w + w + 219 = 0. Suppose 3*a - 2*k - 105 = 0, 2*a - w = 4*k + 5. Is a a multiple of 23?
False
Let v