 (1/(-1))/(3/12). Does 4 divide 0 + (2 - 2) - l?
True
Let o be ((-24)/(-9))/(2/3). Suppose -5*v + o*v = -24. Suppose s = v + 9. Is 15 a factor of s?
False
Let z be 3 - (-2)/(0 + 2). Suppose z*k = -4*b + k + 195, -3*k = 3*b - 147. Does 16 divide b?
True
Let a = 61 + -17. Is a a multiple of 22?
True
Is 21 a factor of 1 + -1 - (-2552)/8?
False
Let f be -3 + 0/(2/(-1)). Let g = 43 + f. Does 14 divide g?
False
Let t = 19 + -15. Suppose -t*x + x = -39. Is x a multiple of 13?
True
Let m(s) = s**2 - 6*s - 5. Let b be m(5). Let p = b + 1. Is p/6 + (-47)/(-2) a multiple of 11?
True
Let w = -80 + 177. Let t = w - 49. Is 15 a factor of (t/(-9))/(2/(-6))?
False
Is (-69)/((3 + -4)*1) a multiple of 28?
False
Suppose 0 = 5*o - 3*o. Let a(k) = k**2 + 2*k - 2. Let t(h) = -h**2 - h - 1. Let v(f) = -a(f) - 2*t(f). Is v(o) even?
True
Suppose 0*h - 195 = -5*h. Is h + 0 + 0 + -1 a multiple of 19?
True
Let d(n) = -n**2 - 3*n + 1. Let o(s) = -s**2 - 4*s + 2. Let h(v) = -2*v - 2. Let u be h(3). Let m(p) = u*d(p) + 5*o(p). Is m(-2) a multiple of 3?
True
Let x be 1*(-4)/(1 + 3). Does 15 divide 3 - -43 - (0 - x)?
True
Let t be 18 + -1 - (1 + 1). Suppose -4*b = -9*b + t. Suppose -d + 15 = -b*i - 5, 3*d = -4*i - 5. Is 5 a factor of d?
True
Let b(p) = -p**2 + 3*p. Let u be b(4). Does 3 divide (-40)/12*(u + 1)?
False
Let a be (4/(-12))/(2/(-24)). Suppose 9 = -3*d, 36 = -2*n - a*d - 4. Let k = 9 - n. Is 15 a factor of k?
False
Does 14 divide (-948)/(-34) + 2/17?
True
Let x be ((-12)/2)/((-4)/(-8)). Let y = 14 - x. Does 10 divide y?
False
Is ((-20)/50 + 6/(-10))*-92 a multiple of 17?
False
Let q = 2 - 3. Let z(v) = -14*v**3 + 1. Is z(q) a multiple of 10?
False
Let o be 2/(-5) - 24/(-10). Suppose -2*n - n = -2*p + 99, p - 47 = 2*n. Suppose -p + 13 = -o*g. Is 11 a factor of g?
True
Suppose 4*f - 3*w + 7*w = -244, 293 = -5*f - w. Let b = -3 - f. Is 10 a factor of b?
False
Does 12 divide (3 + -7 - -3)/(2/(-258))?
False
Suppose -6 = -3*z + 9. Suppose 3*h = -q + 19, -z*q + 124 - 13 = -h. Is q a multiple of 22?
True
Let b = 7 + 18. Is 5 a factor of b?
True
Is (-3)/(5 + -2)*-13 a multiple of 5?
False
Let u = 426 + -246. Suppose -u = -4*y + 4*q, 57 = y + 2*q + 15. Is 22 a factor of y?
True
Let j be 225/10*(-20)/(-3). Suppose -t - j = 4*t. Let g = t + 42. Is 12 a factor of g?
True
Let m(v) = 3*v + 121. Is 11 a factor of m(0)?
True
Let o = 117 - 61. Does 9 divide o?
False
Let b(m) = 14*m**2 + 3*m + 2. Let z be b(-2). Suppose -5*l - 2*f + 66 = 0, 3*l - 3*f = 2*f + z. Is 7 a factor of l?
True
Suppose -2*q + 3*w = 2*q - 193, -2*q = -4*w - 84. Let a be 222*(3 - 8/3). Let p = a - q. Is p a multiple of 11?
True
Suppose 4*b + 4*a = 508, 3*b + 5*a - 178 - 207 = 0. Suppose b = 6*y + 35. Is 3 a factor of y?
True
Is 22 a factor of 14/4 + (-1)/(-2) - -128?
True
Let j(n) = -n**2 + 4*n + 3. Let o(q) = -q**2 + 4*q + 2. Let k(f) = -4*j(f) + 3*o(f). Let b be k(7). Suppose b + 15 = 3*s. Is 4 a factor of s?
False
Suppose 4*z = -13 + 53. Is 8 a factor of -30*(-1 - (-2)/z)?
True
Let i = 0 - 0. Suppose -16 = 4*m, 4*g + 0*m - m + 8 = i. Does 17 divide (138/9)/((-2)/g)?
False
Suppose 2*w - 2 = 3*o - 16, 0 = 5*o + 3*w + 2. Suppose o*x - 5*x + 27 = 0. Is x a multiple of 3?
True
Let d(l) be the third derivative of l**5/60 + 5*l**4/24 - 3*l**3/2 + 2*l**2. Is 3 a factor of d(-7)?
False
Suppose v + 0*v = 0. Suppose 3*y - 3 = 0, v*y = -b - y + 7. Is 3 - (b/(-1) - 0) a multiple of 3?
True
Let c(h) = -h + 0*h - 1 + h**2 + 1. Is 2 a factor of c(2)?
True
Suppose 0*k + k = -2. Is -5 + 7 + k + 23 a multiple of 7?
False
Suppose -2*u + 554 = 4*x, -548 = -4*x - 6*u + 2*u. Does 14 divide x?
True
Let o = 26 + -16. Does 4 divide (2 + -1)/(2/o)?
False
Let f(v) = -v - 4. Let x be f(7). Let d = 19 + x. Is d a multiple of 8?
True
Suppose -12 = -4*n - 3*i, -2*n - n = 3*i - 9. Does 3 divide n?
True
Suppose 10 - 8 = -u. Is 7 a factor of (-770)/(-56) + u/(-8)?
True
Let q = 11 + 1. Is q a multiple of 3?
True
Let m be (-2)/(2/3) + 2. Let s = -1 - m. Suppose 2*a + 0 - 32 = s. Is 8 a factor of a?
True
Let s(l) = l + 57. Is s(6) a multiple of 9?
True
Is 3 a factor of ((-6)/(-7))/(3/((-84)/(-8)))?
True
Let w = -2 + 3. Suppose -m + w = -23. Is m a multiple of 7?
False
Let l = 475 - 281. Does 14 divide l?
False
Let i be (0 - (-2 - 0)) + -2. Suppose i = 8*a - 4*a - 20. Suppose 2*l = a*v + 31, -v + 3*v + 19 = 3*l. Does 2 divide l?
False
Suppose w + 2*w - 15 = 0. Let o(d) = 10*d - 2. Is o(w) a multiple of 24?
True
Suppose 0 = 2*d - 5*g - 0*g - 7, -2*g - 46 = 4*d. Let v = 14 + d. Suppose -m + 45 = v*s + 4*m, -5*s - 3*m + 47 = 0. Does 5 divide s?
True
Let m(f) be the first derivative of 2*f**3 + f**2/2 - 2*f + 1. Is 6 a factor of m(-2)?
False
Suppose -5*i = 6*n - 4*n - 16, 0 = -2*i - 5*n - 2. Suppose 14 = o - i. Is 9 a factor of o?
True
Let o = 164 + -109. Is o a multiple of 11?
True
Suppose -w + 18 = o, -3*o + o - w + 32 = 0. Is o a multiple of 4?
False
Let j(o) = -o**2 + o + 26. Is 5 a factor of j(0)?
False
Suppose 20*k - 23*k = -483. Is k a multiple of 7?
True
Let f = -2 + 5. Let x be f*(2/3)/(-1). Is (x - (-81 + 3)) + -1 a multiple of 27?
False
Suppose -16 = -0*p - p. Suppose -5*s + 3*s + p = 0. Is s a multiple of 4?
True
Does 21 divide 3/2 + (-360)/(-16)?
False
Suppose l = -4*k + 4 + 17, 5*k = 4*l - 126. Does 9 divide l?
False
Let x be -3*5/(15/128). Let l = -85 - x. Does 12 divide l?
False
Suppose -18*z + 166 = -16*z. Is 31 a factor of z?
False
Suppose -4*k - 5*m = 16 + 1, -5*m - 31 = -3*k. Suppose k*f + 2 = 226. Suppose -f = 2*u - 6*u. Is u a multiple of 14?
True
Let x(d) be the third derivative of 1/3*d**4 - 1/60*d**5 + 0 + 0*d + 0*d**3 - 2*d**2. Is 2 a factor of x(7)?
False
Suppose -2*t + 5*t = 39. Does 5 divide t?
False
Let y be (-1)/((-12)/9 - -1). Suppose -g = y - 1. Does 9 divide (-19)/(g/(4 - 2))?
False
Let j = 10 - -45. Is j a multiple of 11?
True
Suppose -2*z + 63 = -5*j, -z - 4*j = z - 54. Is z a multiple of 6?
False
Let b be 18/(-12) + (-10)/(-4). Let k = 7 - b. Is 3 a factor of k?
True
Does 26 divide 12/(-10)*390/(-9)?
True
Suppose -6*k = u - 2*k, -4*k = -5*u. Suppose u = 5*f + 2*z, 4*f + z + z = -2. Is 4 a factor of 21/f - (-7)/(-14)?
False
Suppose p + 9 = -2*p. Let z be -1*2 + (p - -31). Suppose -3*s = -h - 6*s + 2, 3*h - z = -4*s. Is 6 a factor of h?
False
Suppose 17*h - 20 = 22*h. Let t = h + 17. Does 13 divide t?
True
Let v(o) = -3 - 5 + 5*o**2 - 2*o**2 + 6*o - o**2. Is 10 a factor of v(-6)?
False
Let d be 2/3 - (-8)/6. Suppose -4*f = -4*t - 24, -22 = -5*f + 5*t - d*t. Does 2 divide f?
True
Is ((-88)/(-16))/(2/76) a multiple of 8?
False
Suppose 2*d + 42 = -32. Let u be (d - -1)*(-2)/(-4). Let k = 27 + u. Is k a multiple of 9?
True
Suppose -3*l = -7*l. Let m(s) = s**2 - 1. Let f be m(2). Suppose l*k = -f*k + 27. Is k a multiple of 4?
False
Let v(x) = 3*x**2 + 3*x. Let z be v(-2). Suppose g - 3 = z. Suppose g + 15 = 4*h. Is 6 a factor of h?
True
Let u(r) = -25*r - 24. Is 21 a factor of u(-6)?
True
Suppose 4*w = -7*w + 1100. Does 10 divide w?
True
Let x(b) = b + 4. Let q be x(-3). Let m be (q - 0) + 8 + -1. Is 4 a factor of 22/4 + (-4)/m?
False
Let p = -42 - -67. Is 7 a factor of p?
False
Let f(a) = -1. Let m(d) = -2*d**2 - 10*d - 4. Let j(b) = -f(b) - m(b). Is j(-7) a multiple of 13?
False
Let o be -3 + 3 + -2 + 58. Let g = -20 + o. Is 8 a factor of g?
False
Suppose 4*r = -5*l + 633, -5*r + 5*l = -183 - 552. Is r a multiple of 38?
True
Suppose -5*m + 22 + 26 = c, 5*c + 4*m = 219. Suppose 8 + c = 3*v. Is 7 a factor of v?
False
Suppose 4*m + v - 50 - 94 = 0, 3*v + 128 = 4*m. Is (9 + m)/(3 + -2) a multiple of 12?
False
Suppose -20*k - 527 = -3627. Is k a multiple of 23?
False
Let x be 6 + (-5)/(15/(-6)). Suppose 5*k - k + x = 0. Is (-15)/(3/12*k) a multiple of 10?
True
Let q be (-4)/(-6)*33/(-22). Is 32/(q/((-3)/6)) a multiple of 4?
True
Suppose 4*d = -3*q + 2499, -d + 743 - 116 = 3*q. Suppose -3*g - 132 = -v, -g + d = 5*v + 2*g. Suppose 13 = -5*n + 38, 4*h + 2*n - v = 0. Does 10 divide h?
False
Suppose -4*a + 5*a - 8 = 0. Let f = a + -5. Suppose 0 = f*p - 6*p + 21. Is 2 a factor of p?
False
Let y(r) = -r**3 + 6*r**2 - 2*r + 5. Let f be y(4). Let z = -8 + f. Does 9 divide z?
False
Let m(c) = -c - 7. Let k(r) = r + 8. Let b(h) = -6*k(h) - 7*m(h). Let t be b(3). Does 12 divide -6*(-3)/(6/t)?
True
Let x(w) = 50*w + 1. Let a be x(-