 15 a factor of l?
True
Suppose -5*i + 3*t + 23 = 0, 2*t = t - 1. Let w be 134/i - (-7)/14. Suppose -76 - w = -5*a. Is a a multiple of 2?
True
Let f be 118300/(-75) - (10/6 + -1). Is f/(-14) + (-3)/(105/(-10)) a multiple of 8?
False
Suppose 1884 + 1141 = 11*g. Suppose 0 = 15*l - 10*l - g. Does 7 divide l?
False
Let q(u) = -u**3 + 4*u**2 + 5*u + 3. Let x be q(5). Does 9 divide x + 8 - 8 - -105?
True
Let v(x) = 4*x**2 - 3*x + 1. Suppose -3*c + 2 - 4 = -a, -a = -5. Let t be v(c). Suppose -b - t = -10. Does 4 divide b?
True
Is ((-1606)/33)/((2/(-2))/(-5 + 113)) a multiple of 18?
True
Let w be (-18)/((-7)/(-2) + -4). Suppose -27*n = -w*n + 2475. Does 23 divide n?
False
Let t be 52/65 - ((-18)/(-10) - 1). Suppose t = -k + 3*k + 56. Let i = k + 129. Is i a multiple of 9?
False
Let d = 1577 - 872. Is 16 a factor of d?
False
Let a be 98/(-8)*(0 - 16)*-1. Let v = 47 - a. Is 5 a factor of v?
False
Let s = -260 + 623. Let n = s - 264. Is 2 a factor of n?
False
Suppose 2*r - 3*s + 11 = 0, 2*s - 4 = 2*r + 2. Suppose 0*z + 188 = r*z. Suppose -k + z - 26 = 2*x, -5*x = 4*k - 173. Does 19 divide x?
False
Suppose -66*f + 30 = -60*f. Does 8 divide 16 - ((f - 3) + -6)?
False
Let l(s) = 39*s**2 + 11*s + 5. Let u(z) = -20*z**2 - 6*z - 3. Let w(p) = 6*l(p) + 11*u(p). Is w(-3) a multiple of 6?
False
Let h = 845 + -1466. Let p = -347 - h. Is 9 a factor of p?
False
Let k be 1/2 + (-7)/((-70)/495). Let g = k - 40. Does 19 divide 4/g - (-1116)/60?
True
Let f be (-6)/15 + (-22)/(-5). Let l be (3 - 2) + 124 - 3. Suppose -2*t = -f*b - 303 + 79, t = 4*b + l. Is 10 a factor of t?
False
Suppose -2*r + 125536 = t, 105*t = 5*r + 102*t - 313818. Is r a multiple of 12?
False
Suppose -7392*q - 15376 - 30074 = -7407*q. Is 6 a factor of q?
True
Suppose 17*h - 13*h = 48. Suppose h*a = 17*a - 85. Suppose 784 = -13*q + a*q. Is q a multiple of 28?
True
Suppose -w = 5*m - 0*m - 295, 4*m + 2*w = 230. Is m a multiple of 4?
True
Let z(x) = -x**2 + 15*x - 27. Let y = -103 - -114. Let k be z(y). Let f = k + 134. Is 23 a factor of f?
False
Suppose b = g + 497, -6*b + 3080 - 161 = 3*g. Is b a multiple of 5?
True
Let r(v) = 2*v**2 + 9*v + 11. Suppose -b + 4*b - 48 = 0. Let l = b + -22. Is 7 a factor of r(l)?
False
Let v(z) = -2*z + 13. Let y(w) = -w**2 - 4*w + 1. Let p be y(-6). Let n be v(p). Suppose 0 = -2*i + i + n. Does 14 divide i?
False
Let y(o) = o**3 + 2*o**2 + o + 7. Let c be y(3). Let h = c + -52. Is 3 a factor of (1 + 6 - (0 + h)) + 32?
True
Is 27 a factor of (5*(-345)/375)/(1/(-1115))?
False
Let t be 20/8 - 119/28*-2. Suppose 0 = 2*j - 3 - 1. Suppose 35 = j*i - t. Does 4 divide i?
False
Suppose -2*a = 3*a - 4*c - 2, -4*a - 4*c + 16 = 0. Suppose a*b + b = 6*b. Suppose g - 5*m - 26 = b, -4*m = 2*g - g - 44. Is g a multiple of 6?
True
Suppose -39*s + 807 + 29418 = 0. Does 76 divide s?
False
Is 61 a factor of 60/55*14542/4?
False
Let g(l) = l + 17. Let s be g(-11). Let m(n) = -3*n**2 + 16*n + 10. Let r be m(s). Does 19 divide (76/(-3))/(16/9 + r)?
True
Let k = 139 - 124. Let m = 9 + k. Is 6 a factor of (-2 + m/18)/((-3)/432)?
True
Does 2 divide 141/94 - (0 + -1 - 745/10)?
False
Let h be 1*(-3 + (-6)/(-1)). Suppose 2*p + 200 = -4*c, 3*c - h*p + 4*p + 150 = 0. Let s = 84 + c. Is 10 a factor of s?
False
Let s(y) = 2*y**2 + 17*y - 5. Let c be s(-9). Suppose -c*g + 3955 = -8273. Suppose g + 71 = 17*z. Does 34 divide z?
False
Let a = -546 - -3572. Is a a multiple of 34?
True
Let s(o) = -o**3 - 17*o**2 + 16*o - 23. Let b be s(-18). Let w(n) = 5*n - 14. Is w(b) a multiple of 16?
False
Suppose 0 = 10*v - 12162 - 98288. Is v a multiple of 47?
True
Let b = 34 - 40. Let p be (-11*(-2)/b)/(7/21). Let y(h) = -h**3 - 8*h**2 + 11*h - 22. Is 22 a factor of y(p)?
True
Let i(u) = 2*u**2 + 17*u - 4. Let c(q) = q**2 + 11*q - 26. Let n be c(-13). Suppose -3*w + 0*w - 30 = n. Does 4 divide i(w)?
False
Suppose -4*q = -4*x + 22084, 4*x + 10*q - 5*q - 22057 = 0. Is 34 a factor of x?
False
Suppose -32 = -a + 2*r + r, -2*a = -r - 39. Let o = a + -8. Suppose -p + o = -0. Is 5 a factor of p?
False
Let i be (9/12)/((-1)/(-12)). Suppose -1113 = -i*j + 2*j. Suppose 105 = 2*m - j. Does 33 divide m?
True
Let s(k) = 20*k + 7. Let o be s(12). Let c = -99 + o. Is 20 a factor of c?
False
Let w(o) = 2*o**2 + 14*o + 101. Let r be w(-5). Suppose r = x - 2*i, 9*i - 7*i = 5*x - 445. Is 13 a factor of x?
True
Suppose 5*b + q + 49 = -69, -44 = 2*b + 2*q. Does 33 divide (-9783)/b + 66/176?
False
Suppose -2*n = 4*h - 534 - 608, -3*h + 861 = 3*n. Suppose -616 = -2*u + h. Is 45 a factor of u?
True
Let u be ((-8)/(-5))/(2/5). Suppose -l + 25 = u*l. Suppose l*w - 276 = 234. Does 35 divide w?
False
Suppose 5*a = -4*i + 153 - 44, -4*a + 2*i = -82. Suppose -a*p + 462 + 1218 = 0. Is 34 a factor of p?
False
Suppose 4*v = 3*v - 4*y - 2, v - y - 3 = 0. Suppose -2*z - 20 = v*z. Is (-138)/z - 5 - 4/(-10) a multiple of 17?
False
Let z be (-27 - -13)/(22/(-26) - -1). Let u = 59 - z. Is u a multiple of 6?
True
Does 300 divide 153057/15 + 1/5 + (-86 - -82)?
True
Let m = -1507 + 4457. Is 50 a factor of m?
True
Let z(p) be the second derivative of p**4/4 - 5*p**3/6 - 7*p**2/2 + 35*p. Is 40 a factor of z(6)?
False
Let g(r) = 23*r - 75. Let y(q) = q**2 + 25*q + 13. Let z be y(-25). Let o = z - -1. Is 19 a factor of g(o)?
True
Let l = 14 + -12. Suppose 24 = -3*v + 5*c, -l*c - 40 = 5*v - 0*c. Is 4 a factor of 2/8 - 166/v?
False
Is (-3 + 152)*(-5505)/(-15) a multiple of 23?
False
Let c = -908 - -5456. Is c a multiple of 6?
True
Suppose -b - 29 + 34 = 0, -3*b = 5*p - 8940. Is 35 a factor of p?
True
Let d(t) = 326*t**2 + 76*t - 236. Is 7 a factor of d(3)?
True
Suppose 2*u = 0, 5*f - 3*u + 645 = 65. Let b be 3/(-6)*1*f. Suppose 5*y + 6*n = n + 135, -2*y = -2*n - b. Is 28 a factor of y?
True
Let a be (-30)/(-18)*-33 + -5. Is 6 a factor of 12/a - 3/(15/(-1291))?
True
Suppose -230*x + 1446011 = -270709. Does 3 divide x?
True
Suppose 42*h = 45*h - 1353. Suppose 5*v - h = -t, 2*t - 443 = -5*v - t. Is v a multiple of 13?
True
Suppose 3*s + 5*s - 40 = 0. Let h = s - -39. Does 22 divide h?
True
Let o(p) = 11*p**2 - 17*p + 47. Is o(10) a multiple of 28?
False
Suppose 3*z + 2*q - 11568 = -q, 0 = -z + q + 3856. Does 40 divide z?
False
Let f(z) = 3 + 11*z - 10*z - 20*z + 1 + z**2. Let c be f(20). Is 10 a factor of -2*c/6*30/(-8)?
True
Suppose 3*v = 13 + 8. Suppose y + 48*x - 52*x = -23, -5*y - 47 = -3*x. Is 24 a factor of 1/v - 671/y?
True
Is 5 a factor of (-15 + 65*(-3)/(-5))*850/3?
True
Let l = 342 + -280. Suppose -67*u + l*u + 3680 = 0. Is u a multiple of 16?
True
Suppose -y - 10 = -3*i, -i = -3*i + 6. Let z = 94 - 62. Let g = z + y. Does 11 divide g?
False
Suppose -4*n = 8, x + 1644 = 3*x + 4*n. Let z = -520 - -522. Suppose -j - a = -275, z*j + 4*a - x = -j. Is j a multiple of 38?
False
Let x(z) be the second derivative of 5*z**4/6 - z**3 - 2*z**2 - 2*z. Let v(o) = -o**3 - 8*o**2 + 28*o + 169. Let n be v(-9). Is x(n) a multiple of 8?
True
Does 108 divide 570*1/((-70)/(-756))?
True
Let t = 3050 - -11865. Is t a multiple of 116?
False
Let k be 460/3*((-24)/10)/2. Let y = k - -407. Is 3 a factor of y?
False
Let p(m) = m**3 + 7*m**2 - 17*m + 1. Suppose 9*c = -55 - 8. Is 5 a factor of p(c)?
True
Let n = -6807 + 11724. Is n a multiple of 11?
True
Is 126 a factor of 173500/14 + 11/77?
False
Suppose -259*a - 47*a + 48786 = -24*a. Does 5 divide a?
False
Suppose 4*t + 4*g - 5*g = 23, -5*t - 4*g = -13. Suppose -31*l = -29*l - 6. Suppose -v = -4*h - l*v + 134, 2*v = t*h - 163. Is 11 a factor of h?
True
Let j(u) = 4310*u + 510. Is j(3) a multiple of 4?
True
Does 16 divide (4/(-6))/((-13)/6 - -2) - -781?
False
Suppose -5*v + 25962 = 3*p, 10*p + v + 43298 = 15*p. Is 41 a factor of p?
False
Is 3569950/875 - (-2)/35 a multiple of 15?
True
Let j(z) = -z**3 + 9*z**2 + 11*z + 14. Let o(d) = -8*d - 17*d**2 - 2 + 3*d**3 + 10*d**2 - 4*d**3. Let u be o(-6). Does 8 divide j(u)?
True
Let i = 22 + -31. Let d = i - -30. Let g = d + -15. Does 6 divide g?
True
Suppose -6*k + 3*k + 40*k - 1175675 = 0. Is k a multiple of 41?
True
Let y = -38 + 48. Suppose p - y = -5. Suppose p*u - 4*l - 108 = 0, -u - 5*l = -0*l - 10. Is u a multiple of 4?
True
Suppose -1601 = -3*u + 1630. Does 11 divide u?
False
Suppose f = -5*a + 35312, 0 = -136*a + 140*a + 3*f - 28254. Does 2 divide a?
True
Let y be ((-45080)/21