 k*t = 128, 5*n - 282 = 4*t + 238. Is 18 a factor of n?
True
Let s = 66 - -62. Suppose 2*j - 6 = s. Let c = -35 + j. Does 11 divide c?
False
Let r be 119/13 - 4/26. Suppose 2*l + r - 19 = 0. Is l a multiple of 5?
True
Let b = -105 + 319. Is b a multiple of 20?
False
Suppose 0 = -4*u - 11*c + 7*c + 568, 2*u - 293 = c. Is 2 a factor of u?
False
Let m(h) = -4*h + 360. Does 9 divide m(45)?
True
Does 22 divide -2*(-12)/(-8) - (-616 - 1)?
False
Is ((-23)/(414/(-1448)))/((-2)/(-9)) a multiple of 8?
False
Suppose 2*m = -2*s + 1660, 0 = -4*m + 3*s - 6*s + 3315. Does 33 divide m?
True
Suppose 3*q = 81 - 12. Suppose k - 2*k = -q. Is 23 a factor of k?
True
Suppose -5*z - 33 + 8 = 5*y, 2*z = -y - 6. Let b be 4 + -1 + (31 - z). Let n = b + -4. Is n a multiple of 8?
False
Is -6 - ((8 - 6) + -447) a multiple of 8?
False
Let p(u) = 2*u**2 - 5. Let z be 14*10*(-1)/4. Let h be (-74)/10 + (-14)/z. Is 31 a factor of p(h)?
True
Is 15 a factor of (-133)/57*(-42138)/21?
False
Let t(l) = -55*l**3 + l**2 + 9*l + 9. Is t(-3) a multiple of 60?
False
Suppose 0*g - 10*g + 40 = 0. Suppose -2*c + 3*c - 200 = -g*u, 3*c = 5*u + 685. Is 32 a factor of c?
False
Let n(d) = -d**3 - 6*d**2 - 6*d - 2. Let i be n(-5). Suppose 3*y + 28 = -i*b + 88, 2*y = 5*b - 100. Suppose -m = m - b. Is m a multiple of 6?
False
Let d(p) = -90*p - 390. Is 12 a factor of d(-31)?
True
Suppose g + 137 = 4*f + 2*g, -4*f = -g - 135. Let r = -22 + f. Is r a multiple of 4?
True
Let g = 128 + -104. Is 3 a factor of g/16 - 51/(-2)?
True
Suppose 3*f - 5*g = 587, 3*g + 1005 = 2*f + 3*f. Is 14 a factor of f?
False
Let h = 29 - 15. Let j = -1 + h. Let y = j + -6. Does 7 divide y?
True
Suppose 5*q + 35 = 2*q + 5*c, -5*q - 52 = -2*c. Is (-1 - q)/(4/36) a multiple of 18?
False
Let g = 52 - 31. Does 22 divide (7/(g/(-72)))/(10/(-45))?
False
Let q(g) = g**3 + 21*g**2 + 12*g + 26. Let r be q(-20). Suppose 0 = 4*b - 6*b + r. Does 7 divide b?
False
Suppose 2*j + 1848 = 4*h, 27*h - 1836 = 23*h + 5*j. Does 29 divide h?
True
Let m be (-2)/(-8) - (-1860)/(-16). Let h = m + 281. Is h a multiple of 15?
True
Let y = -90 - -54. Let w = y + 108. Is w a multiple of 8?
True
Let f(l) = -331*l**2 + l - 2. Let b(d) = -d. Let n(q) = 3*b(q) - f(q). Is n(1) a multiple of 44?
False
Let w be 2/3 + 42/(-9). Let c(m) be the third derivative of -m**4/3 - 3*m**3/2 + 3*m**2 - 7*m. Does 23 divide c(w)?
True
Let v(b) = -35*b**3. Suppose 2*n - 3 = 5*n. Let l be v(n). Let h = -24 + l. Is 8 a factor of h?
False
Let w be ((-16)/2)/(3/(-24)). Let q(o) = -o - 14. Let j be q(4). Let u = j + w. Is u a multiple of 12?
False
Does 6 divide 526/22 + 6/66?
True
Let z = -11 - -13. Suppose -b - z - 3 = k, -5*b - 37 = 2*k. Does 2 divide (7 + b)*(-9)/2?
False
Suppose 3*z - 2*p = 158, 2 = -4*z - 2*p + 236. Is 4 a factor of z?
True
Let u = -64 - -291. Suppose -8*s + 11*s = 285. Suppose s - u = -3*h. Is h a multiple of 25?
False
Suppose a = 3*x - 8, -2*x - a - 9 = -6*x. Let y(r) = 10*r + 7*r + 6*r + x - 9*r. Is 13 a factor of y(5)?
False
Let z(f) = f**3 - 9 + 12*f**2 - 10*f**2 + 4*f - 7*f**2. Is 9 a factor of z(7)?
True
Let w(b) = 14*b**3. Let u be w(-1). Suppose -6 = 3*j, 0*o - 5*j - 1224 = -o. Is 4/14 - o/u a multiple of 29?
True
Suppose -5*u = -11*u - 60. Let w(m) = -34*m - 4. Does 21 divide w(u)?
True
Suppose 4*z - 4 = -2*j + 4*j, 2*z + 5*j = 14. Let b be 2*(36/(-8) + z). Does 20 divide (b/(-5))/((-2)/(-70))?
False
Let l = 57 - 60. Is 55 a factor of ((-6)/l)/(-6)*9 - -388?
True
Suppose 9*a = 6*a - y + 382, -5*a + 4*y = -665. Is a a multiple of 3?
True
Let o = -18 - -21. Suppose 4*g + 340 = -3*q + q, 258 = -3*g - o*q. Let u = g - -157. Is u a multiple of 19?
False
Let a(h) = 4*h**2 - 3*h - 7. Let z(x) = 3*x**2 - 2*x - 6. Let k(m) = 5*a(m) - 6*z(m). Is 25 a factor of k(7)?
False
Let c(r) = -3*r**3 + 8*r**2 + 3*r + 4. Does 58 divide c(-5)?
False
Suppose -5*q = -0 - 10. Suppose -q = -9*s + 7*s. Suppose -4*w = -75 - s. Is 4 a factor of w?
False
Is (-751)/(-3) + 212/(-159) a multiple of 4?
False
Suppose 34*h = 15*h + 11362. Does 9 divide h?
False
Suppose 0 = 4*v + 3*v - 1820. Suppose 0 = -9*w + v + 1. Does 29 divide w?
True
Let j = -2 + 62. Does 9 divide j?
False
Suppose 4*k - 201 = -5*h + 255, k - 114 = h. Suppose -z + 2*u + 19 = -89, -u + k = z. Is 16 a factor of z?
True
Let y(f) = -13*f**2 - f + 16. Let u(q) = -12*q**2 + 18. Let l(j) = 2*u(j) - 3*y(j). Does 26 divide l(-5)?
False
Let w(g) = -g**3 - g**2 - 4*g - 2. Let v be 9/(4/(8/(-3))). Let x be w(v). Let c = x - 142. Does 20 divide c?
True
Suppose l - 3138 = -5*q, 0 = -l - 19*q + 24*q + 3178. Is l a multiple of 10?
False
Suppose j + 4*c + 1 - 3 = 0, -40 = -2*j + 4*c. Let w = 16 - j. Suppose w*t - 62 = 6. Is 17 a factor of t?
True
Let d(q) = 663*q**2 + 4*q - 3. Is 83 a factor of d(1)?
True
Let l = 1327 - 1047. Does 7 divide l?
True
Let r be (-2)/3*-9*(-6)/18. Let y(j) = 9*j**2 + 7*j + 2. Does 24 divide y(r)?
True
Let b be 2*2 + 5 + -5. Let y be 6/b*16/6. Suppose -y*u - u = -125. Is u a multiple of 6?
False
Let x(u) = 10*u**2 + 51*u + 37. Let f be x(-6). Let h(y) = -y - 1. Let m be h(-6). Is 20 a factor of f - (m - 2)/3?
False
Let w be 4*10/(-4)*-3. Suppose w = 8*t + 734. Let r = 125 + t. Is r a multiple of 14?
False
Suppose j + i = 1 - 7, 30 = -5*j + 5*i. Let v be (-40)/j*(-42)/(-5). Suppose a = -a + v. Is a a multiple of 12?
False
Let k = 75 - 154. Let y = 318 + k. Does 23 divide y?
False
Let a = 11 - 26. Is 16 a factor of 3/a - 81/(-5)?
True
Let m = 741 + -491. Does 5 divide m?
True
Suppose 0*a + 5*a - 15 = 0. Suppose -2*l + l + a*d + 48 = 0, 3*l - 96 = -3*d. Is 27 a factor of l?
False
Suppose -2*m = 2*s - 88, -m + 156 = 2*m - 3*s. Let c(a) = -a**3 + 4*a**2 + 2*a - 3. Let w be c(3). Let n = w + m. Does 20 divide n?
True
Suppose f = 3*f - 3*y - 588, 2*f = 2*y + 586. Suppose -4*b + 89 = -f. Suppose 4*l - b = -l. Is 19 a factor of l?
True
Suppose y + 574 = 5*z + 244, 4*z - 253 = 3*y. Suppose -7*s - 2*v + 266 = -3*s, s + v = z. Is 10 a factor of s?
False
Is (152/(-24) + 3)*-135 a multiple of 15?
True
Suppose 4*t + 16 = 0, a - 5*t - 22 = -0*t. Suppose -g - g + a*o - 22 = 0, -g - 13 = -3*o. Is 6 a factor of (-4)/(-10) - 206/g?
False
Suppose 3*t - 590 = -5*b - 2*t, 5*t - 242 = -2*b. Does 10 divide b?
False
Does 49 divide (1 - (-487)/2) + 145/290?
True
Suppose 281*t + 14124 = 293*t. Does 107 divide t?
True
Let y(g) = -14*g + 9. Let b be y(4). Let z be (-27)/(-2)*(-3 + 1). Let m = z - b. Is 12 a factor of m?
False
Let c be (10/(-4))/((-7)/14). Suppose -m = c + 2. Is 21 a factor of (1 + 0)/(m/(-182))?
False
Let j = 127 + 53. Is 18 a factor of j?
True
Let d(x) = 14*x**3 - x**2 - 3*x - 2. Suppose -2*c + 4*a = -14, c - 4*a = -3*c + 12. Let y be d(c). Let r = 23 + y. Is 3 a factor of r?
True
Let i = 5 + -16. Let s be (-5 - i)*(-16)/(-6). Suppose s + 0 = c. Is 4 a factor of c?
True
Let z(c) = c + 15. Let v be z(-11). Let a be (-1 + v)*(-40)/(-60). Is 11 a factor of 1/(1/(84 + a))?
False
Let f(l) be the third derivative of 71*l**5/30 - l**4/8 + 2*l**2. Is f(-1) a multiple of 29?
True
Let i = 85 + 299. Does 8 divide i?
True
Suppose 4*p + 3 - 11 = 0. Suppose -3*j + p*k = k - 201, 3*k = 0. Is j a multiple of 6?
False
Let p(i) = -6*i**3 + 3*i**2 + 5*i - 42. Is 74 a factor of p(-6)?
True
Suppose 4*h - 4*p + 6 = 2, 7 = 2*h + p. Is ((-2)/(-6))/(h/486) a multiple of 9?
True
Let h be 1/(2 - (-356)/(-180)). Let t = h - -21. Does 13 divide t?
False
Let w(k) = -k**3 - k**2 - k + 4. Let d = 18 - 18. Let b be w(d). Suppose 3*o - b*o + 3*x + 24 = 0, -2*x = 5*o - 86. Does 6 divide o?
True
Let k be (-4)/6 - (-6 - 132/9). Does 16 divide (32*8/k)/((-2)/(-10))?
True
Let f be (6/(-2))/(9/24). Let h = -5 - f. Suppose 7*z - 104 = h*z. Is z a multiple of 8?
False
Suppose 4*u = 75 - 11. Let s = 13 - u. Let z(f) = -8*f - 9. Does 6 divide z(s)?
False
Let d be 10/25 - (-33)/5. Suppose 6 = d*s - 4*s. Suppose -4*z = s*h + 3*h - 61, -h - 11 = -5*z. Is 3 a factor of h?
True
Suppose 0 = -5*m + 5, 2*f - m + 3*m = 266. Is 33 a factor of f?
True
Let r(m) = 13*m - 100. Is 36 a factor of r(52)?
True
Let d(b) = 13*b**2 + 2*b - 9. Let y be d(-3). Let a = -22 + y. Is 28 a factor of a?
False
Let k(r) = -2*r**3 - 4*r**2 - 2*r + 1. Suppose -5*d - d = 18. Is 15 a factor of k(d)?
False
Is 178 - (18/63 - 33/(-7)) a multiple of 14?
False
Let m(z) = z**2 - 16*z - 21. Is 