alse
Suppose -7 = -u - 15. Let l = u + 28. Is 4 a factor of l?
True
Suppose 0 = -3*i + 8*t - 9*t + 2101, t + 2 = 0. Is 69 a factor of i?
False
Suppose -725 = -4*o + 663. Is o a multiple of 14?
False
Let o be 8/5*(-7 + 2). Let p be (166/o)/(1/(-4)). Let f = p + -52. Does 18 divide f?
False
Suppose -j = -5*l - 125, -4*j - l - 150 = -566. Suppose -5*r + 2*n + 244 = 0, -5*r + 3*n = -141 - j. Suppose r = x + x. Is 8 a factor of x?
True
Let g(k) = 2*k**3 - 8*k**2 + 5*k + 13. Let m = 126 - 121. Does 8 divide g(m)?
True
Suppose -3*q + 2*m = -12, 4*q + 3 = 5*m + 19. Suppose 3*z = -5*j + 26 + q, -2*j - 4*z = -26. Suppose -208 = -j*v - v. Is v a multiple of 26?
True
Let z = -2 - -4. Let r(a) = a**2 - a + 1. Let v(m) = -m**3 + 2*m**2 - m - 1. Let c(l) = 2*r(l) + v(l). Does 2 divide c(z)?
False
Let j be 1*6*115 - 5. Suppose -10 = 5*y, -5*q - y + j = -783. Is q a multiple of 14?
True
Does 16 divide 4 + (-113156)/(-46) - (-2)/23?
True
Is 11 a factor of (-8 - -12 - -173) + (3 - -5)?
False
Let v(x) = 28*x**3 + x**2 - 6*x + 4. Is 9 a factor of v(1)?
True
Suppose -122*h + 120*h + 836 = 0. Is 22 a factor of h?
True
Let v(l) = 18*l + 130. Does 10 divide v(0)?
True
Suppose 16 - 2 = 7*k. Suppose -23 = -2*z + z + 2*f, 4*z - 74 = k*f. Is z a multiple of 2?
False
Let j(y) = 2*y**2 - 21*y - 14. Let b(w) = w**2 - w + 1. Let d(m) = -3*b(m) + j(m). Is 6 a factor of d(-13)?
True
Suppose 0 = 5*t - t. Suppose t = -b - 1, a = -0*b - b - 1. Suppose 0 = -u + 2*m + 22, 81 = 4*u - m - a*m. Does 5 divide u?
True
Suppose 9*p - 574 = 7*p. Suppose p = 6*k + 17. Does 15 divide k?
True
Suppose 0 = -4*a + 12 - 132. Does 32 divide 6/a + (-712)/(-10)?
False
Suppose 0*y = 5*k + y - 4695, 2*k = 5*y + 1905. Is 47 a factor of k?
True
Let i(z) = -z**3 - z**2 + z + 790. Does 52 divide i(0)?
False
Suppose -2*q + 2*z + 20 = 0, 3*z = -4*q + 22 + 4. Is 12 a factor of 2*1 + (18 - q)?
True
Let w = -211 + 118. Let m = w + 197. Does 34 divide m?
False
Let p(v) = v - 10. Let g be p(13). Suppose 2*z = 5*o + 6*z - 420, -g*o = -2*z - 252. Is o a multiple of 21?
True
Let j = 2152 - 619. Does 14 divide j?
False
Suppose 0 = -0*i + 2*i - 186. Suppose b + 4*j - i = -2*b, 82 = 2*b - 4*j. Suppose 3*s + 4*d - 38 = 0, -d + b = -0*s + 5*s. Is s even?
True
Let f(m) = -4*m**3 + 9*m**2 + 11*m - 2. Is 19 a factor of f(-3)?
False
Let c = 55 + -51. Suppose 5*a = 2*r - 0*a - 124, 4*r = -c*a + 220. Is r a multiple of 19?
True
Let y = 1842 + -386. Is 91 a factor of y?
True
Let r be 0 - -2 - (2 - -11). Let k = 17 + r. Suppose 5*l + 15 = 0, k*l + 103 = 2*b + l. Does 20 divide b?
False
Let t = 73 + 501. Suppose -3*z + 248 = -4*d - 112, 0 = -5*z - 2*d + t. Suppose 0 = 3*l - 3*q - q - z, -3*l + q + 101 = 0. Is l a multiple of 8?
True
Let j(n) = 10*n - 1. Let q be j(4). Suppose -z = -5*r + 4, -7*z + 2*z = -5*r. Suppose -k + q = z. Does 17 divide k?
False
Let b = -22 + 26. Suppose -h + b*c = -67, -5*h - 2*c + 235 = 3*c. Does 17 divide h?
True
Let y(u) = -5*u**3 + 3*u**2 + 10*u + 9. Suppose -7 = 9*c + 20. Is y(c) a multiple of 47?
True
Is 1*1472 + (7 - (-2)/2) a multiple of 53?
False
Suppose -3*c = -0*n + 5*n + 6, 0 = -4*n - 12. Suppose -b + c*s + 14 = 6*s, 3*s = -3*b + 42. Is 5 a factor of b?
False
Let n(s) = 17*s**2 - 31*s**2 + 22 + 17*s**2. Is n(0) a multiple of 3?
False
Let q(d) = -d - 12. Let c be q(-6). Suppose 0 = 32*z - 22*z + 180. Does 2 divide (8/c)/(3/z)?
True
Suppose -14 = 8*c - 6*c. Let v be 1/(-2)*(c - 1). Suppose -v*d - d = -45. Is d even?
False
Suppose 0 = 11*p - 7*p - 128. Suppose 26*y + 84 = p*y. Is 14 a factor of y?
True
Let q(r) = r**3 + 17*r**2 + 12*r - 10. Is 2 a factor of q(-6)?
True
Suppose -68 = 5*h - h. Is 8 a factor of (-51)/h + (0 - -13)?
True
Let b be (-81)/(-36) - (-1)/(-4). Suppose 5*l - 180 - 374 = -3*j, -b*l - 5*j = -233. Is 22 a factor of l?
False
Let a be 10/6 + (-3)/(-9). Let q be (a/(-3))/(3/54). Is (q/8 - 0)*-2 a multiple of 2?
False
Suppose 4*g + 3*c = 4868, -11 - 1 = -3*c. Is 54 a factor of g?
False
Let y = -610 + 866. Is y a multiple of 24?
False
Suppose 11*h - 1255 - 978 = 0. Let z = h - 17. Does 30 divide z?
False
Let q = 249 - -283. Does 37 divide q?
False
Suppose 25*k = 3604 + 22521. Does 11 divide k?
True
Let m = 404 + -137. Is 3 a factor of m?
True
Suppose -p + 33 = 5*x, -4*x + 0*x = 5*p - 18. Suppose x*j + 300 = 12*j. Does 7 divide j?
False
Suppose 0 = -67*d + 39003 + 6758. Is d a multiple of 18?
False
Suppose -960 = 5*l - 10*l. Suppose 244 = 2*d - 3*k, -3*d - 3*k = -l - 189. Is 25 a factor of d?
True
Let g = -73 + 19. Is 41 a factor of (-8148)/g - 4/(-36)?
False
Suppose g + 0*g = -2. Let u be (-4)/g - (-2 - -4). Suppose u = -5*k + 124 - 44. Does 4 divide k?
True
Let o(v) = 65*v**2 + 8*v - 32. Does 49 divide o(7)?
False
Let u(g) = -g**2 + 21*g - 14. Let k be ((-3 - 1)/(-4))/((-2)/(-20)). Is u(k) a multiple of 16?
True
Let o(t) = 5*t + 57. Let n be o(-11). Does 19 divide n*310/4 - (4 - 1)?
True
Is (-8)/(-10) - ((-11780)/25 - -13) a multiple of 20?
False
Let a be 43/(-5) - 10/25. Does 4 divide (-2)/a*-3 + (-532)/(-6)?
True
Suppose 0 = -14*a + 10*a - 32. Is (a/(-3))/(14/252) a multiple of 11?
False
Let d be (-2)/(-4) + 0 + 1838/(-4). Let u = -279 - d. Is u a multiple of 30?
True
Let z(g) = 31*g - 10. Is 14 a factor of z(1)?
False
Suppose -183 = 5*k - 78. Is 17 a factor of 98/3 + (-7)/k?
False
Let c = 6 - -11. Let b = -2 + c. Is b/(-6)*228/(-10) a multiple of 19?
True
Let b be (-6)/(-8)*(0 + 4). Suppose -b*y - 2 = -4*v + 9*v, 5*y + 20 = 0. Suppose -2 - 25 = -k - 3*w, -v*w + 4 = 0. Is 6 a factor of k?
False
Let g(m) = -m**3 - 20*m**2 + 18*m - 12. Let h be g(-22). Suppose 10*j - 6*j = h. Does 14 divide j?
True
Let z(n) = n**3 - n**2 + n + 2. Let g(c) = 3*c**3 - 11*c**2 + 10*c - 3. Let v(i) = g(i) - 5*z(i). Is v(-6) a multiple of 34?
False
Suppose 0 = -7*b - 375 + 1488. Let a = -113 + b. Is 22 a factor of a?
False
Suppose 2 = k + 3. Let q be ((-20)/(-50))/(k/(-5)). Suppose -q*r + 5*r - 81 = 0. Is 9 a factor of r?
True
Suppose 2*i + 18 = -36. Is 8 a factor of 236/3*i/(-18)?
False
Let k(o) = 2*o + o**3 - 1 + 3 + 0 + 0*o**3. Let u be k(-1). Is 6 a factor of u + 6 + 9/3?
False
Suppose -3*a = -7*a + 4*n + 472, -106 = -a - 5*n. Is a a multiple of 4?
True
Suppose 5*g + 2 = 22. Suppose p = -b + 5 - g, -3*p + 2*b - 22 = 0. Is 3/(-6) - 242/p a multiple of 20?
True
Let c = -317 - -219. Let r = c - -170. Is 24 a factor of r?
True
Let j(z) = -z**3 - 5*z - 22. Let f be j(-5). Suppose 0 = d + 3*d - f. Is 32 a factor of d?
True
Let x = 339 + 509. Does 9 divide x?
False
Does 7 divide ((-16)/12)/(64/(-15792))?
True
Suppose 0 = 2*q + 102 - 1572. Does 103 divide q?
False
Let d be 6/(-30) - 447/15. Does 8 divide (-5776)/(-120) + 4/d?
True
Suppose 0 = -3*m + 6. Suppose -3*d - i - 3*i = -23, i = m. Suppose -5*z + 105 = -d*j, z + 4*j - 92 = -3*z. Is 17 a factor of z?
False
Suppose 2*i = 4*h + 1726, 0 = 19*i - 23*i + 5*h + 3467. Is 34 a factor of i?
False
Let p be 3*((-72)/(-27) + 2/(-1)). Suppose 3*s - 156 = -3*d, 2*s = p*d - 5*d + 154. Does 23 divide d?
False
Suppose 0 = k - 3*k + 24. Suppose 4*o - 8 - k = 0. Is 4 a factor of o*6/3 - 3?
False
Let k = 794 - 235. Does 43 divide k?
True
Is 7 a factor of (19 + -12)/(3*(-2)/(-426))?
True
Let k = 16 + -24. Let d = 69 + k. Is d a multiple of 11?
False
Let v be (-9 + 3)*2/(-4). Suppose n = 4*z + 356, -z + 2*z - 1133 = -v*n. Is 58 a factor of n?
False
Let k = -26 + 28. Suppose -k*o + 60 = -30. Does 9 divide o?
True
Suppose 3*g + 4*i = 1, -4*i + 18 = 4*g - 7*i. Suppose -4*z + g*q - q = -296, -3*q - 74 = -z. Is 10 a factor of z?
False
Suppose 19*m = 9*m - 1530. Let w = 4 + -1. Does 9 divide 1*3 - m/w?
True
Let t(b) be the third derivative of -19*b**4/24 + b**3/6 + 11*b**2. Is t(-2) a multiple of 10?
False
Suppose -2221 - 1650 = -79*o. Is o a multiple of 15?
False
Does 4 divide (-3 - 7/(-2)) + (-503)/(-2)?
True
Suppose -141 = 5*s - 2*b - 8, -b = -4. Let t = s - -49. Is 10 a factor of t?
False
Let w(t) = t**3 - 5*t**2 + 2*t + 2. Let n be w(4). Let l = 10 + n. Suppose -5*c + 39 = l. Is c a multiple of 2?
False
Suppose 546*t - 548*t = -270. Is t a multiple of 45?
True
Let l(d) = -26*d + 2. Suppose -2*z - 2*z + 3*a = -16, 2*a = z - 4. Let g be ((-6)/5)/(z/10). Is l(g) a multiple of 16?
True
Let k(o) = 3*o**2 - 31*o + 23. Is k(17) a multiple of 33?
True
Let k(d) = 16*d + 6. Let