factor of t?
True
Let l(x) = x**2 - x - 47. Is l(-8) a multiple of 2?
False
Let h(a) = -a**2 - a + 33. Suppose 12 = -4*m - 0*m. Let i be 0/(-2 - (3 + m)). Does 11 divide h(i)?
True
Let q = 105 - 102. Suppose -3*w = 5*o - 386, q*w - 5*w = 2*o - 260. Is 33 a factor of w?
True
Let w(a) = a - 7. Let p(l) = 6*l**2 + 1. Let j be p(1). Let m be w(j). Suppose 5*z - 2*z - 5*t - 94 = m, z + 3*t = 8. Is z a multiple of 6?
False
Let x be 5/(4 - (-70)/(-18)). Let u = x - -10. Does 11 divide u?
True
Let i be -6*(22/(-6) - -4). Does 4 divide (i - 1)/(-3)*19?
False
Let i(j) = 3*j**2 + 12*j - 6. Let g be (-51)/(-119) + (59/(-7) - 0). Is 30 a factor of i(g)?
True
Let m be 42/(3 - 0) + -2. Let q = 27 + 41. Suppose 10*r - m*r = -q. Is r a multiple of 17?
True
Let c = -15 + -17. Let z = c + 52. Is 16 a factor of z?
False
Let z(y) = -47*y - 2. Let x be z(-6). Let l = 396 - x. Is 27 a factor of l?
False
Suppose 3*v + 2*c = -2*c + 75, -4*c = -5*v + 157. Suppose 2*w + 4*x = 72, w + x - v = 6*x. Is w a multiple of 17?
True
Suppose 4*m + 4 = 0, 8 = -l + 4*m + 108. Does 4 divide l?
True
Suppose 2*m + 8 = -5*o + o, 4*m + 3*o = -6. Suppose m = 5*h - 2 - 18. Suppose -h*c = 4*j - 30 - 38, 53 = 4*j - c. Is 9 a factor of j?
False
Let t = 20 - -246. Is t a multiple of 7?
True
Let b be (17 + -23)/(2/(-3)). Let l(i) = i**2 - 9*i + 20. Does 6 divide l(b)?
False
Let l be (-18)/(-9)*6/3. Suppose 3*y + 2*b = 72, l*y - 39 = -4*b + 57. Does 3 divide y?
True
Suppose 38*c - 6150 = -12*c. Is c a multiple of 2?
False
Is (5 + -4)/(6/18756) a multiple of 11?
False
Suppose -5*p = -6 + 16, 4*b - 516 = 2*p. Does 8 divide b?
True
Suppose -3*l - 21 = 2*l - 3*t, 0 = -4*l + t - 21. Let c be l/(-18) - 14/(-3). Suppose 5*d + 4 = 4*m + 125, c*m + 20 = 0. Does 16 divide d?
False
Let a(c) = 4*c - 8. Suppose 15*x = 14*x + 5. Let r be a(x). Let y(z) = z**2 - 11*z. Does 6 divide y(r)?
True
Suppose 2 = 5*l + 62. Suppose 3*h = 5*t - 145, 5*h = -5*t + 2*h + 175. Let g = t + l. Is g a multiple of 10?
True
Let n = -31 + 55. Suppose 2*q + 5*x = 5*q + n, -3*q = -x + 12. Is 0 + (-6 - q) - -6 even?
False
Let t(s) = -2*s + 25. Let y be t(0). Let l = 1 + y. Is l a multiple of 26?
True
Suppose a = 3*w - 122 - 85, -5*a + 15 = 0. Is w a multiple of 7?
True
Let h be (-48)/(-22) - 6/33. Suppose 10 = 4*z - h*z. Suppose -3*d = -z*i + 44, d - 6*d - 15 = 0. Is 2 a factor of i?
False
Is 9 + 214 + -4 + -1 a multiple of 20?
False
Suppose 0*a = -4*a + 160. Suppose 4 + 36 = -5*q. Does 12 divide 890/a + 2/q?
False
Let t(u) = -4*u - 2. Let a be t(-3). Suppose -174 = -16*h + a*h. Does 10 divide h?
False
Let i = -67 + 137. Is 14 a factor of i?
True
Let k(p) = 9*p**2 + 12*p + 2. Let v(h) = -8*h**2 - 11*h - 2. Let w(f) = -6*k(f) - 7*v(f). Suppose 0 = -5*r - 0*z + 4*z + 16, -2*z + 2 = 0. Does 22 divide w(r)?
False
Let p = 1131 + 3541. Does 22 divide p?
False
Let j be 5*(-5 - 108/(-20)). Is 3 a factor of j/6 - (-32)/12?
True
Let a(n) = n**3 + 16*n**2 - 18*n + 6. Let f be a(-17). Let i = 5 + f. Is 14 a factor of i?
True
Let u = -5186 + 7324. Is u a multiple of 52?
False
Suppose 8860 + 3236 = 48*t. Is t a multiple of 18?
True
Let f(i) = -2*i. Let x be f(-3). Let y be (-4)/x + (-16)/3. Is 11 a factor of (-2 - 0)/(y/33)?
True
Let l = -1488 + 4891. Does 11 divide l?
False
Suppose 2*j = 2*g + 2, -j - 2*g = -2*j - 1. Let w(x) = 2*x**2 + 0*x - 4*x**2 + 2*x**j - 3*x + x. Is 6 a factor of w(3)?
True
Does 5 divide 4 - (-246 + (-5)/(1/1))?
True
Let m(i) = i**3 + 14*i**2 + 13*i. Let f be m(-13). Suppose 6*w - 9*w + 126 = f. Is 8 a factor of w?
False
Suppose -15696 = -22*r - 14*r. Is r a multiple of 22?
False
Let x = -779 - -1400. Suppose 4*n + 2*p - 843 = p, x = 3*n - 3*p. Is 30 a factor of n?
True
Let o(r) = -r**2 - 47*r + 65. Is 31 a factor of o(-45)?
True
Let d be -7 + 6/2 - -8. Suppose -4*g + 4*b + 24 = 0, 0*b - d = 4*g + 3*b. Does 2 divide g?
True
Let r be ((-4)/3)/(12/90). Let g = r + 10. Does 11 divide (7 + g)*10 + -4?
True
Let f(u) = -u**3 - 7*u**2 + 10*u + 8. Let k be f(-9). Suppose 6*b = b + k. Does 16 divide b?
True
Let l(d) = -3*d + 25. Suppose 0 = 5*u + 3*r - 17, 3*r + 20 = 4*u - r. Is 2 a factor of l(u)?
False
Let x be (0 + -4 + -1)*-1. Suppose -10*q + 885 = -x*q. Is q a multiple of 31?
False
Suppose a = o + 13, 3*a + 5*o + 3 - 2 = 0. Let x(s) = 3*s**3 + s**2 - 2*s + 1. Let u be x(-2). Let h = a - u. Is h a multiple of 6?
False
Suppose -12*c = 37 - 13. Is -54*(1 - (-2 - -2))*c a multiple of 27?
True
Is 36 a factor of (-1)/4 - 15015/(-28)?
False
Does 12 divide (2 + -3 - -39)/((-11)/(-132))?
True
Suppose -2*z + 5*w + 0*w = 111, -4*z = 5*w + 237. Let o = z - -115. Suppose -3*y + 38 = 2*a, -y + 2*y + o = 3*a. Does 19 divide a?
True
Let n be ((-64)/12 + 5)*0. Let z(r) = 7*r + 37. Is z(n) a multiple of 16?
False
Let t be (-25)/(-1) - (-4 - -3). Let j be (-20)/130 + (-1244)/t. Let c = 113 + j. Is c a multiple of 13?
True
Let n(t) = -3*t - 63. Let q be n(-23). Does 3 divide (15/q)/(2/20)?
False
Let y(n) = 3*n - 1. Let s = 5 + -15. Let k = s + 13. Is y(k) a multiple of 8?
True
Let a = 61 + -47. Suppose -161 = -7*q + a. Is q a multiple of 6?
False
Suppose 3*w - 640 = 4*k, 0*w + 2*w = -k + 445. Suppose -4*i + 9*i - w = 0. Is 6 a factor of i?
False
Suppose -21 = -3*g + 5*j, 0 = 5*j - 0 + 15. Suppose l - k - 7 - g = 0, 3 = l + k. Does 7 divide (-189)/6*l/(-9)?
True
Suppose -4099*j + 4094*j = -2040. Does 9 divide j?
False
Let z(h) = -22*h + 6*h + 60 + 0*h - 9*h. Does 30 divide z(-12)?
True
Let b be 41 - ((-6)/(-8) + (-12)/16). Suppose -4*w = b - 125. Is 7 a factor of w?
True
Suppose -x + 4*j + 0*j + 525 = 0, -3*x = 5*j - 1524. Is x a multiple of 6?
False
Suppose -3*w + 5 = -4*w, 4*q - 4*w - 32 = 0. Let v(t) = -t**3 - 8*t**2. Let d be v(-8). Suppose 0 = -d*m + q*m - 2*b - 67, -2*b = 4. Is 7 a factor of m?
True
Let c = 1581 + -830. Is 24 a factor of c?
False
Let r(y) = -y**3 - 9*y**2 + 11*y + 14. Let f be r(-10). Is 29 a factor of ((-4)/(f/1))/(2/(-334))?
False
Let w(g) = -41*g**3 - g**2 - 2. Does 10 divide w(-2)?
False
Let k = 8 - 6. Suppose 8*w - 41 - 23 = 0. Suppose -20 = -k*u + w. Is 14 a factor of u?
True
Suppose 4*f + 15*d = 12*d + 2079, 0 = 2*f - d - 1027. Does 5 divide f?
False
Let z(a) = a**3 + 7*a**2 - 9*a - 1. Let v be z(-8). Let l(i) = 4*i**2 - 2*i - 2. Let y be l(v). Suppose 0 = -5*u, -y = -5*q - 0*q - u. Is q a multiple of 10?
False
Let q = -150 + 243. Is q a multiple of 31?
True
Let p = -11 + 21. Let k be (-5541)/(-27) - p/45. Suppose 0 = 3*a - 3*z - 121 + 19, -5*a + k = 2*z. Is 18 a factor of a?
False
Let u(v) = 2*v - 5. Let l be u(4). Does 35 divide -2 - l/(3/(-145))?
False
Let d be 0/5 + (418 - (-4 - -2)). Suppose r - d = -5*r. Is 16 a factor of r?
False
Suppose 5*r = -5*b + 490, -3*r + 3*b = -0*b - 270. Suppose -274 = -4*i + r. Does 23 divide i?
True
Is 4/(1*-4)*(-713 - 7) a multiple of 23?
False
Suppose -133*w = -134*w + 540. Is 54 a factor of w?
True
Let l = 1445 + -804. Is 6 a factor of l?
False
Let f(y) = 4*y**2 - 3*y**3 + 3*y**3 + y**3 - 6*y - 20 + 15. Is f(-4) a multiple of 6?
False
Let b be 183/21 + (-2)/(-7). Let x be (1 + -72)*(b + -16). Suppose x = 4*j + 3*m + 87, 5*j - 2*m - 524 = 0. Is 13 a factor of j?
True
Suppose -762 = -3*o + 375. Let k = o + -2719. Is 26 a factor of ((-1)/2)/(15/k)?
True
Let w be (-11 + 3)*(-1 + 2). Does 10 divide 6/w - 990/(-40)?
False
Let a(c) = c**2 - 5*c - 1. Let q be a(6). Suppose 0 = -5*j - 3 + 8, -11 = -3*g - q*j. Suppose -22 - 48 = -g*z. Is z a multiple of 12?
False
Let j(h) = h**2 + 3*h - 1. Let y be j(7). Let v be (4 + -8 + -5)/(2/(-34)). Suppose 0 = 6*s - v - y. Is s a multiple of 14?
False
Suppose -2 = -2*v, -f + 124 = 3*f + 4*v. Does 11 divide (-9)/(-6)*(f - 8)?
True
Let p(b) = 6*b**2 - 7*b + 4*b**2 + 22*b + 16 + b**3 - 7*b. Let l be p(-8). Let a = -8 + l. Is 8 a factor of a?
True
Suppose -15*c = 5*c - 40. Suppose 3*v - 438 + 24 = 3*o, 2*v = -c*o + 260. Is 5 a factor of v?
False
Suppose -3*w - 2*n + 0 = -2, -14 = -w + 2*n. Suppose -w*t = -2*h + 252, 3*t = 3*h - 4*h + 111. Is h a multiple of 30?
True
Suppose -503*a + 507*a - 236 = 0. Is a a multiple of 59?
True
Let c = -19 + 23. Suppose -5*r = 3*i - 12, -c*r + 3*r = -i + 4. Suppose -4*l - v = -36 - 89, -i*l + v = -123. Is l a multiple of 31?
True
Suppose -60 = -4*j - 3*x + 79, 0 = j + 3*x - 46. Suppose -68 = -3*n - 2*f, 9 + j = n + 5*