ose 1134 + 1450 = 4*d. Is d a multiple of 19?
True
Suppose 11*y - 8*y - 3251 = -2*z, -5*y + 4*z + 5433 = 0. Is y a multiple of 23?
False
Suppose 10 = 6*q - 56. Suppose -132 = 5*g - q*g. Is g a multiple of 6?
False
Let o be (2/2 + 0)*(-4 - -4). Is 12 a factor of (-1)/((o + -1)*(-9)/(-1251))?
False
Suppose -4*g - 3*n - 5 = 0, -6*n = g - 3*n + 8. Let x be (0 - g)/(4/(-280)). Suppose 29 = y + 2*v, 5*y = 4*v + x + 19. Does 3 divide y?
True
Let m be -48 + (-3)/(-9)*(-2 - 1). Let r = 115 + m. Is r a multiple of 11?
True
Let w(h) = 14*h + 14. Let o be w(6). Suppose -5*a + o = -217. Is a a multiple of 14?
False
Does 26 divide -16 - (-8 - 2) - (-492 + 1)?
False
Suppose -3*d - 2 - 1 = 0. Let v(x) = 3*x**3 - x - 1. Let h be v(d). Let m(a) = -4*a**3 - 3*a**2 + 4*a + 4. Does 18 divide m(h)?
False
Let t = -198 + 395. Let g = -57 + t. Is g a multiple of 10?
True
Let b(j) = 8*j**2 - 17*j + 54. Is 38 a factor of b(10)?
True
Suppose -12*i = -13*i - 3. Is (-2)/3 - 0 - 320/i a multiple of 8?
False
Let s = -23 + -62. Let x be s/(-20) - 1/4. Suppose x*w - 260 = 4. Is w a multiple of 25?
False
Let l be -4 + (-1 - -2) + 8 + -3. Suppose -j = l*j - 15. Is j a multiple of 3?
False
Suppose 0 = 91*l - 93*l + 1730. Is 44 a factor of l?
False
Suppose 11*k - 9*k - 1752 = -5*l, 0 = -2*l - 5*k + 684. Is 22 a factor of l?
True
Suppose 52*i - 43419 = 11*i. Is i a multiple of 48?
False
Let r = -22 - -24. Suppose -377 = 5*g - 2267. Suppose -r*h = 4*h - g. Is h a multiple of 21?
True
Suppose 0 = 2*u - 3*c - 23, -2*c + 6*c - 28 = -u. Suppose 4*z - 4 = u. Let h = 11 + z. Does 5 divide h?
False
Let o(f) be the third derivative of -1/120*f**6 + 0 + 1/6*f**5 + 0*f - 1/24*f**4 + 0*f**3 - 6*f**2. Is 18 a factor of o(9)?
True
Is ((-34)/(-34))/(2/44) even?
True
Suppose u - 1 = 17. Let z be 30/4*8/6. Suppose 0 = -2*o + u + z. Is 4 a factor of o?
False
Let k(r) = 15*r - 116. Is 4 a factor of k(11)?
False
Suppose -1156 = -q + 3*d, -1156 = -q - 13*d + 8*d. Is q a multiple of 34?
True
Suppose -6*k = 2*o - 3*k - 2184, 4*k - 1092 = -o. Does 17 divide (-6)/(o/6360 + (-2)/10)?
False
Suppose -2*k - 2*i + 3362 = 0, i - 31 = 2*k - 3402. Let w be (-2)/(-8) + k/(-16). Let y = -15 - w. Is y a multiple of 30?
True
Let w(f) = -f**3 + 12*f**2 + f - 10. Let b be w(12). Suppose b*i + 160 = 2*k, 5*k + 0*i - 415 = 2*i. Is k a multiple of 36?
False
Let q = -691 + 673. Suppose 4*h - 2*h = -376. Does 11 divide h/(-6)*q/(-12)?
False
Suppose -4*g - 522 = 282. Let u = -107 - g. Suppose 2*q - 86 = -s, -5*q + 1 = s - u. Does 15 divide s?
False
Let g = 17 - 19. Let x be 0 - ((-42)/3)/g. Let a(r) = r**2 + 5*r + 2. Is a(x) a multiple of 16?
True
Let i = 67 + -55. Does 13 divide i/(4/(-32)*-2)?
False
Let v(k) = -4*k + 43. Let l be v(11). Is 2*65/6*(l + 7) a multiple of 13?
True
Let i(n) = -9*n**3 + 5*n + 5. Let c be i(-2). Let f = c - 36. Is 4 a factor of f?
False
Suppose 23*w - 75 = 20*w. Is 2 a factor of w?
False
Let x(o) = -12*o + 1. Let w be x(-12). Suppose h - w = -4*h. Suppose -4*d = -y - 116, -2*d + y = -3*d + h. Is d a multiple of 11?
False
Let r(i) be the second derivative of 10*i**3/3 + i**2/2 - 7*i. Is r(2) a multiple of 23?
False
Let j be ((-47)/(-2) - 2)*8. Suppose -l + j = l. Let f = -56 + l. Does 10 divide f?
True
Suppose -90*z - 90383 = -109*z. Is 71 a factor of z?
True
Let h(l) = -l**3 - 22*l**2 + 41. Is h(-22) a multiple of 2?
False
Let w = 40 + -33. Let x(k) be the second derivative of k**3/6 + 7*k**2/2 + 4*k. Is x(w) even?
True
Suppose -2078 = -5*v + 2322. Is 44 a factor of v?
True
Let l = -3 - -5. Let j(p) = 10 + 10 - 11*p + 20*p - p**l - 10. Is 6 a factor of j(9)?
False
Let x = 1169 + -1025. Does 24 divide x?
True
Is 16 a factor of 1037 + (-13 - (4 - 28))?
False
Suppose 21*f - 6697 = 24047. Is f a multiple of 24?
True
Let u = 468 + 187. Does 34 divide u?
False
Let v = -2484 - -5566. Is v a multiple of 23?
True
Suppose -b - 106 = -3*x + b, -3*x + 4*b + 116 = 0. Let m be 4/(-14) + (-142)/(-7). Let d = x - m. Does 4 divide d?
True
Suppose -20 = -x + 5*x, -3*d + 100 = -2*x. Let y = 21 - d. Let b(f) = -2*f + 9. Is b(y) a multiple of 7?
False
Suppose 3 = -2*w + 101. Is 19 a factor of w?
False
Let g = -259 + 299. Does 4 divide g?
True
Let k(h) = h**2 + 1. Let y(l) = -2*l**2 - 12*l - 4. Let s(z) = -k(z) - y(z). Let w be s(-7). Is 12 a factor of (-2 + 1 + 0)*w?
False
Suppose 2*w - t - 7 = 0, -4*w = 4*t - 10 - 22. Suppose -3*r - w + 23 = 0. Suppose -3*b = -4*b + r. Is 3 a factor of b?
True
Let v(t) = t**3 + t**2 - 2*t + 1. Let b be v(1). Let m be 2700/(-26) + 18/(-117). Does 9 divide (b/2)/((-4)/m)?
False
Suppose -2*c - 4*o = 15 + 21, -4*o = -5*c - 48. Let b(t) = -t**3 - 14*t**2 - 31*t - 30. Is b(c) a multiple of 6?
True
Let r = -1386 - -2150. Does 81 divide r?
False
Let t(q) = -q**2 - 10*q + 4. Is t(0) a multiple of 2?
True
Let o = 135 + -115. Suppose 3*d - 7 = -m, -4*m + o + 24 = -4*d. Is 5 a factor of m?
True
Let t(d) = 3*d**2 + 12*d + 17 + d**3 - 5*d**2 + 0*d**2 - 18*d. Is t(5) a multiple of 18?
False
Let d = 1 + -3. Let l be 2/d + (3 - -1). Suppose 0*m = 4*i + 2*m - 110, -2*m - 86 = -l*i. Does 8 divide i?
False
Let i(v) = 509*v - 104. Does 15 divide i(1)?
True
Let c(l) = -l**3 + 14*l**2 + 52*l - 33. Is c(15) a multiple of 58?
True
Let r(m) = 5*m + 173. Does 6 divide r(-8)?
False
Suppose 0 = -c + 2*b + 2, 3*c + 4*b = -2*c - 4. Suppose c = 3*i + 2*i - 10. Suppose -36 = g - i*g. Does 9 divide g?
True
Suppose 4*t + 2 = -2. Let c(j) = 117*j**2 - 1. Is c(t) a multiple of 30?
False
Let y be (2 - (3 + 325))/(-1). Suppose 62 = -3*v + y. Does 11 divide v?
True
Suppose -b - 1 = -3*u + 12, 7 = -4*b - 3*u. Does 13 divide 10/b*740/(-25)?
False
Let b be (-2 + 0)/(1/(-2)). Suppose b*k - 104 = 92. Is 5 a factor of k?
False
Suppose -22*s - 4*z = -21*s - 28, 2*z - 134 = -3*s. Does 3 divide s?
True
Let w(m) = m**2 + m + 2. Let f be w(-3). Suppose 3*p = f + 157. Is 37 a factor of p?
False
Suppose -209 = -2*m + 249. Suppose 0 = 5*r + m - 684. Suppose 3*b = 5*z - r, -3*z + 2*z + b = -19. Is z a multiple of 7?
False
Let m(l) = -l**3 + 18*l + 14. Is 14 a factor of m(-9)?
False
Suppose -22*s + 1985 + 2503 = 0. Is 7 a factor of s?
False
Suppose 0 = o - 650 - 403. Does 47 divide o?
False
Suppose 23 = 5*j - j - 5*y, -2*y = -2*j + 14. Is 40 a factor of ((-6)/(-4))/(j/640)?
True
Let b(n) be the third derivative of 2/15*n**5 + 1/3*n**3 - 8*n**2 + 3/8*n**4 + 0 + 0*n + 1/120*n**6. Is b(-5) a multiple of 14?
False
Let q be (216/20)/(6/20). Suppose -q = 4*y + 4. Let u = y - -40. Is u a multiple of 18?
False
Let o = 35 - 23. Let k be 25/9 - o/(-54). Suppose -g - k*g = -372. Does 26 divide g?
False
Let x(i) = 9*i**2 - 22*i + 2. Let g be x(3). Let k be 8*(0 - -4) - 2. Let p = k - g. Does 13 divide p?
True
Suppose 4*h = 4*b + 180, 4*h - 104 - 81 = -b. Suppose 2*v - 14 = h. Is v a multiple of 10?
True
Let j = 125 + -68. Let t = j + -39. Does 2 divide t?
True
Is 9/2*(-23)/3*-12 a multiple of 18?
True
Suppose -5*j + 3*n = 6, 2*n = -j + n + 2. Does 23 divide 9/(-18)*(j - 88)?
False
Let b(v) = -v**2 + 16*v - 13. Let p be b(15). Suppose -r + 583 = 4*n, p*n = -n + r + 446. Does 23 divide n?
False
Let q be -2*((-12)/(-8))/(-1). Suppose -74 = q*x - 4*x. Does 37 divide x?
True
Suppose 5*p + 0 - 15 = 0. Let d(f) = 2*f**2 - 7*f**3 + 6*f**3 - 2 - 5*f - 2*f**2 - p*f**2. Does 17 divide d(-4)?
True
Let d(y) = 9*y - 1 - 16 - 25*y - 5*y. Let l be -10*((-2)/(-4) + 0). Does 11 divide d(l)?
True
Let o = 87 + -284. Let g = o + 356. Is g a multiple of 8?
False
Let g = -11 + 31. Suppose 8*v - 3*v - g = 0. Suppose -3*l + 112 = v*b + 30, 50 = 2*l + 5*b. Is 15 a factor of l?
True
Let n = 420 - 211. Is n a multiple of 11?
True
Let m be 1/((-2)/1470*-1). Let g = m - 2997. Is (-4)/(-14) + g/(-21) a multiple of 36?
True
Is 637/(-364) - 13574/(-8) a multiple of 15?
True
Suppose 0 = 3*r + s - 372, -5*s - 620 = -0*r - 5*r. Is r even?
True
Let i(t) = -3*t + 0*t + 12 + 1 + 2*t. Let q be i(13). Suppose q = 4*r - 6*r + 92. Does 8 divide r?
False
Is 2 a factor of (-1422)/(-14) - ((-2460)/(-140) + -17)?
False
Let c(r) = 12*r - 69 + 5*r - 15*r. Let a be c(0). Does 23 divide ((-1)/3)/(1/a)?
True
Does 56 divide (-1047)/((-10)/(-16)*57/(-95))?
False
Suppose 27585 = 1173*l - 1158*l. Is l a multiple of 10?
False
Suppose -w = w - 2*j - 86, -3*j + 59 = w. Let k = -31 + w. Is 4 a factor of 