t b be -2*(-8)/(-12)*-6. Let a = b - -98. Let n = -69 + a. Is 28 a factor of n?
False
Let x = -925 + 1483. Suppose 5*j + 10 = 0, 3*j = 3*m - 0*m - x. Is 23 a factor of m?
True
Suppose 4*p = 9*p - 3*r - 11587, 4*r - 4 = 0. Is p a multiple of 14?
False
Let u be 2*(2 + -3)/(-2). Suppose 4*w = u + 11. Does 3 divide w?
True
Suppose 6*c = -3*c + 2304. Does 32 divide c?
True
Let u = 43 + -29. Let y be ((-28)/10)/(2/(-5)). Let c = u - y. Does 4 divide c?
False
Let a(g) = -17*g + 20. Let m be a(-6). Suppose 2*s = -0*s + m. Is s a multiple of 19?
False
Let b(f) = -36*f**3 + 5*f**2 + 2*f + 4. Let t(z) = 37*z**3 - 6*z**2 - 2*z - 5. Let n(h) = 7*b(h) + 6*t(h). Let a be n(1). Is 6 a factor of a/(-4) - (-3)/12?
False
Let t be (240/18)/((-6)/(-81)). Suppose -t = -9*o + 3*o. Is o a multiple of 10?
True
Let z be 7 + 12/(-3) + 2. Suppose -5*j = 5*v - 435, 2*v + j - 162 = z*j. Is v a multiple of 17?
True
Is (-6)/(-4)*75516/63 a multiple of 29?
True
Does 90 divide (120/(-7))/(21/(-1323))?
True
Suppose -2*t - 926 = -5*l, -4*t - 178 = -l - 0*l. Does 3 divide l?
True
Let z(n) = n**3 - 3*n**2 - 11*n. Let a be z(5). Let v(j) = -15*j + 30. Is v(a) a multiple of 24?
False
Let a = 59 + 157. Does 4 divide a?
True
Suppose -4*v = -5*b - 3, -5 = -7*v + 3*v + 3*b. Suppose 142 - 19 = v*r + m, r - 69 = 2*m. Is 9 a factor of r?
True
Suppose 0 = 2*p + 19 + 25. Let q = -2 - p. Is 3 a factor of q?
False
Let g = 20 + -17. Let a be g + 91*(4 - 3). Suppose 0*j + j - 38 = x, x - a = -3*j. Does 12 divide j?
False
Let z = 335 - -1122. Does 31 divide z?
True
Let a(b) = b**2 - b + 5. Let k be a(5). Let o be (4/(-5))/(2/k). Let j = o - -18. Is 4 a factor of j?
True
Does 9 divide 11/(-2)*1*(-1 + -127)?
False
Suppose 0 = -2*n + 6*n - 68. Suppose 6*d - 3 = 3*w + d, -5*w + n = -d. Suppose 4*i + 0*b - 164 = 2*b, 158 = w*i - 5*b. Does 14 divide i?
True
Let s(c) = -c**3 - 3*c**2 - 7*c + 1. Let g be s(-2). Suppose 279 = 2*f - g. Is f a multiple of 22?
False
Let k be 14 + (-6)/3 + -1. Suppose 0 = 3*q + k - 17. Suppose 53 = 2*i + p, -q*i + 3*i - 4 = 4*p. Is i a multiple of 12?
True
Let g = 2291 + -1265. Is (2/6)/(6/g) a multiple of 18?
False
Let g be (-26)/3 + (-15)/(-9). Let k(f) = f**3 + 9*f**2 + 7*f - 5. Does 22 divide k(g)?
True
Suppose 9 = -3*m - 3*z, 10*m - 12*m - 4*z - 16 = 0. Let y(j) = -j**2 + 9*j - 9. Let a be y(7). Suppose a*v - 183 = m*l, 5*l = -v + 2*v - 55. Does 5 divide v?
True
Suppose -1003 = -4*l - 5*t, 500 = l + l + 2*t. Is 13 a factor of (l/(-3) + -1)*(-48)/32?
False
Let w(k) = -k + 3. Let b be w(8). Does 9 divide (b/(-3) + 0)/(3/135)?
False
Suppose -48*q = -2*q - 16652. Is 20 a factor of q?
False
Suppose 2*i - 4 + 28 = 5*d, 5*d - 10 = -5*i. Suppose -d*r + 18*r = 476. Is 15 a factor of r?
False
Let o(g) = -3*g**3 - 12*g**2 + 24*g + 10. Is 9 a factor of o(-7)?
False
Suppose 11*d + 5280 = 15*d. Is d a multiple of 13?
False
Suppose -3*c + 29 = 4*q, 4*c + q = -0*q + 17. Suppose -5*b = t - 18, 5*t - c*b - 6 = -0*t. Does 19 divide t - (6/3 + -56)?
True
Let t = 63 - 41. Is 5 a factor of ((2 + 0)/(-4))/(t/(-660))?
True
Suppose 0 = 5*t - 2*c - 33, -t - t + 2*c + 18 = 0. Suppose t*x - 64 = x. Does 16 divide x?
True
Suppose 6824 = 5*y - 2*q, -y + 5*q = 343 - 1717. Does 116 divide y?
False
Suppose -5*a - 14 = 2*u, 0*u - 6 = 2*u + a. Let q(c) = 2*c + 4. Let b be q(-5). Is 7 a factor of ((-14)/(-6))/(u/b)?
True
Let n(t) = -4*t**3 + 8*t**2 + 20*t + 2. Is 6 a factor of n(-4)?
True
Suppose -3*c - 182 = -1478. Does 24 divide c?
True
Let j(d) = -2*d + 168. Does 22 divide j(28)?
False
Is 6/14 - (-740091)/861 a multiple of 10?
True
Let f be 26*(1 - (-4 + 3)). Let i = f + -37. Suppose i = -4*o + 147. Does 33 divide o?
True
Let v(p) = 3*p**2 - 1. Let h be v(1). Let d(c) = 5*c**3 - 2*c**2 + 4*c - 4. Is d(h) a multiple of 6?
True
Let w = -55 + 50. Does 7 divide 2 + 436/10 - 2/w?
False
Suppose k + 9*a = 8*a + 910, 4*a = 5*k - 4550. Does 11 divide k?
False
Let r(b) = 5*b**2 - 7*b + 4. Let t(o) = -6*o**2 + 8*o - 4. Let g(h) = 5*r(h) + 4*t(h). Suppose -11 = -11*z + 33. Is 2 a factor of g(z)?
True
Let w = 99 - 68. Suppose -3*j - w = -169. Is j a multiple of 6?
False
Is 6 - 16/((-32)/4206) a multiple of 36?
False
Suppose -3*q = -8*q + 5*b + 2580, -4*b + 511 = q. Is 28 a factor of q?
False
Suppose -m + 332 = 4*f + 124, -3*m + 588 = 3*f. Is 8 a factor of m?
True
Suppose -2*y + 5*z = -4, -z + 0*z = 0. Suppose -3*u - 120 = y*u. Let l = u + 86. Is l a multiple of 10?
False
Is ((-792)/154)/((-2)/91) a multiple of 20?
False
Is 122 a factor of (-18)/(-15)*686250/270?
True
Suppose 2*t = -3*t + 20. Suppose 0 = 3*v - 6*f + t*f - 146, 0 = -4*v - 4*f + 188. Suppose -4*l + v = -0*l. Does 12 divide l?
True
Suppose -4*f + 5976 = 8*f. Does 23 divide f?
False
Suppose 4*v = 3*y + 19, v = -4*y - 2*v - 17. Let z(i) = -3*i**2 - 29*i + 12. Let r(g) = g**2 + 7*g - 3. Let t(c) = 9*r(c) + 2*z(c). Is t(y) a multiple of 18?
False
Let z = 3947 - 2722. Is z a multiple of 5?
True
Let t = 2 - 2. Suppose 0 = 2*m + 2 - t. Does 16 divide -10*(m + 17/(-5))?
False
Suppose 0 = m + 5*s - 2675, 0*m - 2725 = -m + 5*s. Does 100 divide m?
True
Let l = 486 + 109. Is 20 a factor of l?
False
Let a(y) = y**3 - 5*y - 1. Let g be a(-2). Let f(m) = 46*m**2 - 13*m. Let h(w) = 23*w**2 - 6*w. Let z(c) = -6*f(c) + 13*h(c). Does 6 divide z(g)?
False
Suppose 0 = a + 2*a. Suppose a = -5*w + 4*w + 6. Is 6 a factor of w?
True
Is (-32837)/(-35) + -2 - 4/(-5) a multiple of 68?
False
Let s(i) = i**3 + 7*i**2 + 9*i + 5. Suppose -4*b + 8 = -3*d - 7, 0 = 4*d - 4*b + 20. Is 5 a factor of s(d)?
True
Let c = -2460 - -4316. Is 32 a factor of c?
True
Let d(u) = u**3 - u**2 - 6*u + 4. Let q(g) = -2*g - 4. Suppose 16 = 2*w - 6*w. Let a be q(w). Does 14 divide d(a)?
True
Suppose 0*i = 2*i - 380. Suppose 0*d + i = 2*d. Is 4 a factor of d?
False
Suppose 4*v = 5*v - 5. Suppose v*c - 107 = -l + 2*l, -5*l = 5*c - 125. Is c even?
True
Let o be (35/(-3))/(10/(-30)). Suppose -2*u = 5*w - o, -5*u + u + 4*w + 28 = 0. Is u a multiple of 6?
False
Let q be (-4)/(-14)*10 + 4/28. Suppose -5*g + 525 = 2*a, -7*a - 83 = -g - q*a. Does 12 divide g?
False
Is 2 a factor of ((-256)/96 - 2/6) + 23?
True
Let c(j) = -j + 2. Let u be c(0). Let b be (u/4)/((-13)/(-364)). Suppose -b = -4*n + 18. Does 4 divide n?
True
Let c(o) = -o**3 + 7*o**2 + 10*o - 14. Let t be c(8). Suppose 0 = t*w - 146 - 260. Is w a multiple of 30?
False
Suppose -3*y = -2*y - 4*k - 200, -5*y + 3*k + 1068 = 0. Is 7 a factor of y?
False
Suppose 2*r - 654 = -4*n, 3*r - 1136 = -5*n - 152. Is 37 a factor of r?
True
Let r = -2331 + 3471. Is 95 a factor of r?
True
Let j be 1573/15 + (-4)/(-30). Suppose j = 2*x + 3*x. Is x a multiple of 2?
False
Suppose 14*t - 10*t = 0. Is (-520)/(-10) + -2 + t a multiple of 6?
False
Suppose 46*y - 52*y + 966 = 0. Let p = 225 - y. Does 32 divide p?
True
Let o(r) = -11. Let i(x) = x + 12. Let z(d) = -5*i(d) - 6*o(d). Suppose 0 = -2*j - f - 21, 2*f - 3*f = 3*j + 31. Does 16 divide z(j)?
False
Suppose -s + 5*u + 112 = -11, 2*s - 282 = u. Suppose s = -4*x + 547. Is 6 a factor of x?
False
Let r be 50/6 - (-6)/9. Let v = -9 + r. Suppose -2*f + f + 33 = v. Does 12 divide f?
False
Suppose 5*u - 10 = 0, 0 = 4*a + 5*u - 105 - 73. Suppose 45 = a*b - 41*b. Is b a multiple of 37?
False
Suppose 2*u + 3*i = 2, 0 = -2*i + 4*i. Let j be ((-1)/2)/(u/(-56)). Let r = 44 - j. Is 8 a factor of r?
True
Suppose -2*j + 1220 = 3*j. Suppose 4*s - 5*d = 312, 2*d - j = -4*s + 68. Is 13 a factor of s?
True
Let b be 5/((-5)/(-2))*1. Let y be b - (-3 + 2 + 0). Let t(r) = 2*r**2 + r + 7. Is t(y) a multiple of 4?
True
Let o be -3 + 0 + 2 - 21. Let a = -11 - o. Is 3 a factor of a?
False
Suppose 13*w = 9*w + 452. Does 7 divide w?
False
Suppose 9*w - 4583 = 799. Does 14 divide w?
False
Suppose -1176 = -2*x + 1450. Does 13 divide x?
True
Suppose 0 = 6*u - u + 5*a - 20, -u - 2*a = -4. Suppose -u*n + z - 2*z = -12, -8 = 2*n - 3*z. Suppose n + 4 = 3*i. Does 2 divide i?
True
Let l be 3/(-30)*-66 + (-2)/(-5). Suppose -2*y = -l*y + 480. Is 32 a factor of y?
True
Let g(s) = -s**3 - 9*s**2 - 16*s + 8. Let h be g(-8). Suppose 7*v + h = 8*v. Is 8 a factor of v?
True
Let n(f) = -f**2 + 7*f - 9. Let t be n(5). Is -1*(3 - 460/(5 - t)) a multiple of 16?
True
Suppose 5*i - 365 = 3*v - 1235, 0 = -3*v - 2*i + 870. Let p = v + -119. Does 27 divide p?
False
Let x b