 = -5*n - 0*z. Let u(c) = 2*c**2 - 10*c + 9. Is 15 a factor of u(n)?
False
Let p = 40 + -20. Let o be (p/(-25))/((-6)/45). Suppose -o*b + b = -110. Is 17 a factor of b?
False
Let s(y) = -3*y - 6. Let j be s(-7). Suppose 4*k + 2*i = 19 + j, 0 = 3*k - 5*i - 19. Let h = k - 4. Does 4 divide h?
True
Let k be (20/(-12) + 2)*-12. Is k/7 - 440/(-35) a multiple of 8?
False
Suppose 29*p + f - 4295 = 27*p, -4325 = -2*p + 5*f. Is p a multiple of 6?
False
Let n(x) = x**3 - 5*x**2 - 5*x + 3. Let c be n(6). Is 7 a factor of (-43)/(-2) + c/6 + -2?
True
Let h = -22 + 34. Is (-6)/(-12)*(0 + h) a multiple of 4?
False
Let x(k) = -7*k**2 - k + 5. Let z be x(3). Let o = z - -109. Is 16 a factor of o?
True
Suppose -2*n + 3*o + 87 = 0, 2*o = 3*n - o - 132. Let u = n - 34. Is u a multiple of 7?
False
Suppose -1380 - 230 = -5*i. Is i a multiple of 10?
False
Does 13 divide (1510920/(-140))/(-6) - (-2)/7?
False
Suppose -x - 2936 = -2*r - 3*r, 2*x - 8 = 0. Is 19 a factor of r?
False
Suppose 0 = n + 5*o - 12, 0 = 4*n + n - 4*o - 31. Let b(m) = 2. Let t(d) = -4*d + 3. Let k(j) = 6*b(j) - 2*t(j). Is 13 a factor of k(n)?
False
Let p = -77 - -231. Suppose -4*c = -8, 3*m - p - 288 = -2*c. Is m a multiple of 39?
False
Suppose 0 = 4*q + 29 - 9, 5*o = 2*q + 20. Let m(i) = -4 + 22*i + 1 + 5. Is m(o) a multiple of 29?
False
Suppose -244 = -3*k + 287. Suppose -3*h + k = -153. Is 10 a factor of h?
True
Let s be ((-2)/4)/((-3)/(-102)). Let d = s + 40. Suppose 0 = 3*l + 4*f - d - 57, -5*f = -10. Is 6 a factor of l?
True
Let x(i) be the third derivative of i**5/12 + i**4/3 - 3*i**3/2 + 11*i**2. Is x(4) a multiple of 17?
False
Suppose 2975 + 340 = -5*n. Is 9 a factor of 2/(-10) + n/(-15)?
False
Let d(c) = -c**3 - 10*c**2 + 9*c - 14. Let t be d(-11). Let o be (-4)/t + (-181)/(-2). Let l = -45 + o. Does 15 divide l?
True
Suppose 4*w + 6 = -z, 4*w + 25 = -5*z - 5. Let n(h) = -h**2 - 8*h - 9. Let x be n(z). Suppose 0*q - x*g = -q + 87, 2*q - g = 199. Is q a multiple of 17?
True
Let l = 43 + -165. Suppose -5*m + 937 = i - 2*i, -2*i - 565 = -3*m. Let h = m + l. Is h a multiple of 9?
False
Let i(a) = 10*a + 14. Is 82 a factor of i(7)?
False
Let m(n) = -78 + 198 - 57 + 10*n. Is 17 a factor of m(6)?
False
Let p(u) = 14*u - 240. Does 12 divide p(24)?
True
Let c be (-8)/20 + 34/10. Suppose 0 = -c*x - 0*x. Suppose -w - g = -4*w + 32, 2*g + 10 = x. Is 3 a factor of w?
True
Let i(o) = 7*o**3 + 4*o**2 - 11*o + 3. Let t(w) = w**3 + 1 + w**2 + 5*w - 10*w + 4*w. Let x(v) = i(v) - 6*t(v). Does 9 divide x(4)?
True
Is 18 a factor of 3/7 - 1*(-25317)/21?
True
Let a = -319 - -458. Suppose -4*l = 3 - 11. Suppose -3*w = 3*i + l*w - 93, 0 = -5*i - 3*w + a. Is i a multiple of 13?
True
Suppose 95 = 3*w - 43. Let r = w - 17. Does 29 divide r?
True
Suppose 0 = -2*j + 3*j. Suppose 3*u + 3*z = 2*z + 20, -3*u - 4*z + 26 = j. Let q(v) = v**3 - 4*v**2 - 6*v - 8. Is q(u) a multiple of 7?
True
Let j be ((-26)/4)/((-1)/(-2)). Let x = j - -15. Suppose -h + 450 = 4*h - 2*n, x*h = 2*n + 174. Is h a multiple of 23?
True
Let f = 2 - -5. Let n(u) = -2*u**2 + u + 7. Let r be n(f). Is r/(-9)*(-6)/(-4) a multiple of 14?
True
Let h(z) = z**2 - 3*z - 6. Suppose -5 - 4 = -3*b. Suppose -10 = -b*c + 8. Is 4 a factor of h(c)?
True
Suppose -4*h = 2*l - 640, h + 2*l - 800 = -4*h. Let n = h + -228. Let p = -40 - n. Is 14 a factor of p?
True
Suppose 0 = -2*z - 8*u + 3*u + 4006, 3*z - 3*u - 5967 = 0. Does 15 divide z?
False
Does 23 divide (-42)/15 + 1/(-5) + 270?
False
Suppose 0 = -5*u - 4 + 14. Let w be ((-3)/(-5))/(u/10). Suppose w*g = -x + 104, 3*g + 3*x + x - 92 = 0. Does 12 divide g?
True
Let j(q) = 21 - 2*q - 3 + 9*q - 9*q. Is j(-11) a multiple of 4?
True
Suppose -2*p + 1965 = -4*t + 8555, -1630 = -t + 4*p. Does 110 divide t?
True
Let i = -12 - -15. Suppose -f - 4*f = -5*h - 30, 4*f - 3 = -i*h. Suppose f*a + a = 120. Is 6 a factor of a?
True
Let c be 3/12*100/5. Let p(w) = 34*w + 2. Is p(c) a multiple of 16?
False
Is 23/4 + -6 + 3202/8 a multiple of 42?
False
Let x be 0*(-5 + 22/4). Suppose 0*v + 4*v - 528 = x. Is v a multiple of 11?
True
Let c(a) = 3*a**2 - 12*a - 4. Let b be c(6). Suppose -b*t = -34*t + 62. Is t a multiple of 5?
False
Suppose 3*n - 4*n = -21. Let l = n - 16. Suppose 4*s - 40 = 2*s - 2*m, -120 = -5*s + l*m. Does 16 divide s?
False
Let m = 103 - 101. Suppose 68 = 3*b - k - 43, -m*k = 5*b - 185. Is 7 a factor of b?
False
Let a(n) = n**3 - 5*n**2 + 2*n - 4. Let h be a(5). Let v be (0 + -75)*(-2)/h. Suppose 5*t - 184 = l + v, 2*l - 212 = -5*t. Is t a multiple of 14?
True
Let k be 4 + (-82)/((-1)/1). Let l = -52 + k. Is 17 a factor of l?
True
Let z(m) = 3*m**2 + 24*m + 5. Is 4 a factor of z(-11)?
True
Let q(r) = 45*r**2 + 13*r + 8. Let x(s) = 112*s**2 + 32*s + 20. Let j(c) = -12*q(c) + 5*x(c). Is 19 a factor of j(-2)?
True
Suppose -30*o - 3358 = -36658. Does 16 divide o?
False
Suppose 6*k = k. Let z be k - (-1 + -1 + 0). Suppose 5*h - a = -z*a + 361, 5*h - 2*a = 358. Does 23 divide h?
False
Let q(p) = -2*p**2 - 86*p - 304. Is 8 a factor of q(-39)?
True
Let z = 12 + -17. Does 10 divide (11 + 5)*z/(-2)*2?
True
Let i(f) = -f**2 - f + 5. Let q be i(0). Suppose -5*m + 30 = -5*k, -5*m + 0*k = q*k + 10. Suppose -m*g - 28 = -6*g. Does 3 divide g?
False
Is (5 - -1) + (2 + 101 - 6) a multiple of 14?
False
Suppose 5*l - 5*o = -15, 6 = 2*l + 4*o - 6. Suppose l*u + 4*s - 188 = u, -4*s = -3*u - 532. Is 15 a factor of u/(-2) + (-4 - -3)?
False
Suppose -18*s = -3*s - 1740. Does 9 divide s?
False
Suppose -3*y - 6*y + 135 = 0. Let f = y + 20. Is f a multiple of 4?
False
Let m = 621 - -41. Does 3 divide m?
False
Let n be ((-3)/(-6))/((-3)/(-120)). Let t = -16 + n. Suppose -t*y + 53 = a, -4*y + 0*y = -20. Is a a multiple of 33?
True
Let o be 114 - (-1)/(1 - 2). Suppose 110*f + 195 = o*f. Is f a multiple of 7?
False
Let l = -829 - -1101. Is 8 a factor of l?
True
Let j be 30/20*(1 - -1). Suppose -8*g - 10 = -4*g - q, -j*q = 2*g - 2. Is g - (-24 - 4/(-4)) a multiple of 21?
True
Does 25 divide (-4)/50 - (-226080)/1000?
False
Is -8 + (-258)/(-30) + 447/5 a multiple of 14?
False
Suppose 6647 = 12*q - 2329. Suppose 0 = 4*l + 4*j - q, 3*l = -0*j - 2*j + 559. Is l a multiple of 19?
False
Let w = -416 - -994. Suppose 4*q + q - w = 2*b, -q - 2*b + 118 = 0. Suppose -5*z + q = -0*t - 2*t, 86 = 4*z - 5*t. Does 8 divide z?
True
Let n be (-8)/(-2) - (-4 + 5). Suppose -60 = -2*u + 3*c, -2*c + 90 = n*u - 0*u. Is 10 a factor of u?
True
Suppose 10*m - 773 = 377. Is m a multiple of 62?
False
Suppose 0 = -6*f + 7*f - 36. Let m(j) = -j**2 + 9*j + 55. Let c be m(13). Suppose 0 = c*t + t - f. Is t a multiple of 5?
False
Let j = 10 + -8. Let h(w) = 6*w - 2. Let a be h(j). Suppose 5*k - 55 = a. Does 6 divide k?
False
Let b(g) = -5*g**2 + 4*g + 14. Let n be b(6). Let c = n - -236. Is 12 a factor of c?
False
Suppose -2*k - 20 = -4*y, -k - y - 2*y = -15. Suppose -13*u + 3*u + 960 = k. Is u a multiple of 4?
True
Suppose -2*o = 4*b, -3 = b + o + o. Does 38 divide b/(-4) - 2216/(-32)?
False
Let h(v) = v + 8. Let p be h(-3). Suppose 2*d - 177 = -p*m, d - 42 = -m - 6. Is m a multiple of 7?
True
Let d = 3197 - 1115. Is d a multiple of 37?
False
Suppose 5*h = -f - 455 - 621, 0 = h - 3*f + 212. Let l be (4/(-10))/(1/h). Suppose 0 = -2*j + 4*p + l, -3*j - 3*p + 144 = 6. Is 15 a factor of j?
True
Let a(w) = 12*w + 201. Is 21 a factor of a(6)?
True
Let g(m) = m**2 - 10*m + 4. Let s be g(10). Let h(d) be the second derivative of 3*d**3/2 + d**2/2 - 4*d. Is 8 a factor of h(s)?
False
Let v(l) = 154*l. Does 7 divide v(1)?
True
Let s(y) = 318*y - 51. Does 24 divide s(4)?
False
Let a = -122 - -655. Is 41 a factor of a?
True
Suppose 7*j - 4*h - 2747 = 2*j, 4*j - h = 2202. Is j a multiple of 19?
True
Suppose 0 = 3*y - 12, -2*s + y + 396 + 32 = 0. Let j = s - -18. Is j a multiple of 13?
True
Let d(h) = h**3 + 8*h**2 - 3*h - 6. Does 18 divide d(-8)?
True
Let m be (-2)/((-2)/(-29)) - 1. Let h = 51 + m. Is h a multiple of 21?
True
Suppose 16*s - 3921 = -625. Does 5 divide s?
False
Let w be (-30)/25*(-30)/9. Let z = -2 + w. Suppose -z*t - 5*h = -24, 2*h = 2*t + 3*t - 89. Does 6 divide t?
False
Suppose 0 = -15*d + 17*d - 62. Does 3 divide d?
False
Suppose 63 = 3*v - 0*v. Let r = v + 1. Is r a multiple of 11?
True
Let u(p) = -p**2 - p + 4. Let g be u(9). Let h = 156 + g. Is 14 a factor of h?
Tru