*i, -3*l - 4*i = -l - 48. Is l a multiple of 14?
True
Let q(y) = 3*y**3 + 4*y**2 + 3*y + 2. Let r be q(-2). Let h(g) = g + 14. Let o be h(r). Suppose 2*z - 68 = o*n, -z - 50 = -2*z + 5*n. Does 15 divide z?
True
Is 55/4 - 3/(-12) a multiple of 12?
False
Let w(p) = p**3 + 1. Let j be w(0). Let s be j + -2 + 0 + 1. Let z(o) = -o**2 + o + 3. Is z(s) a multiple of 2?
False
Suppose -156 = 49*t - 53*t. Is t a multiple of 16?
False
Let d = -63 - -28. Let x = d - -59. Is x a multiple of 24?
True
Let t be (-3)/(-5) - (-17)/5. Suppose 0*v + 16 = t*v. Suppose 0 = -a - v*n + 27, 49 - 16 = 4*a + n. Does 7 divide a?
True
Let y(i) = 3*i - 2*i**2 + i**3 + 10*i**2 - 1 - 8. Let c = -10 - -3. Does 19 divide y(c)?
True
Suppose 0 = -4*p - 251 + 827. Is 16 a factor of p?
True
Suppose -13*n + 8*n = -100. Is 4 a factor of n?
True
Suppose -10 = -4*t + 34. Is 3 a factor of t?
False
Suppose 3*j + 8 = -j. Is 11 a factor of -1 - j/(4/46)?
True
Is 3 a factor of 4/(-14) + 1190/49?
True
Let p be (4/8)/(2/8). Suppose l = p*l - 9. Is l a multiple of 7?
False
Suppose 4 = 3*h - 5. Let q = -1 + h. Suppose -3*o - 107 = -3*w - q*w, -19 = -w + 3*o. Does 16 divide w?
False
Let k be 2*(3 + -4)*-1. Let w(j) = 24*j + 1. Let t be w(k). Let i = -28 + t. Is 7 a factor of i?
True
Let z(f) = -10*f**2 - 2 - 11*f - 4*f**3 + 3*f**3 + 4. Is 10 a factor of z(-9)?
True
Let o = 15 - -12. Does 9 divide o?
True
Suppose 5*h + 189 = 749. Is h a multiple of 36?
False
Let x = 25 + -15. Is 2 a factor of x?
True
Suppose 2*l = -3*l. Suppose -4*d = 3*n + 17, -3*n + 3*d + l*d = 24. Does 2 divide (-2)/n - 208/(-56)?
True
Suppose -h + n = 5*n + 4, 4 = 3*h + 4*n. Suppose v = d + 5, 2*d + 3*v - h*v + 6 = 0. Is d/((-1)/36*2) a multiple of 5?
False
Let k(t) = t + 26. Is k(7) a multiple of 13?
False
Let m be ((-666)/15)/((-3)/10). Suppose 3*j - m = j. Let i = 110 - j. Is 18 a factor of i?
True
Suppose 5*o + 3*b - 15 = 0, 3*b - 15 = 4*o - o. Suppose 0 = -4*g + 5*k + 54 - 6, o = 3*g - 2*k - 29. Does 3 divide g?
False
Suppose 0 = 3*d - 6*d. Let k be 3 + 3/(3/13). Suppose d*t = -2*t + k. Does 4 divide t?
True
Let s be ((-1)/(-2))/(2/12). Suppose -7 = -b + 3*w, -4*b - s*w + 19 + 69 = 0. Is b a multiple of 12?
False
Suppose h + 120 = 3*h. Suppose -3*r - r + h = 0. Is 5 a factor of r?
True
Let l be 4/(-1)*-1*1. Let x be l/18 - 68/(-18). Suppose x*f = f + 15. Does 5 divide f?
True
Let n = -161 + -247. Is (2/(-3))/(16/n) a multiple of 6?
False
Suppose -30 = -0*g - g - 4*t, 5*g - 87 = t. Let d = g - 11. Is 7 a factor of d?
True
Suppose h - 8 = -h. Suppose -73 - 87 = h*c. Let m = c - -74. Is m a multiple of 17?
True
Does 13 divide ((-12)/8)/(3/(-52))?
True
Let b(w) = -w + 2*w - 3 + 24. Does 7 divide b(0)?
True
Let x(f) = 0*f**2 + f**2 + f + 2*f. Let h be x(-4). Suppose h*y + 5 = 65. Is 13 a factor of y?
False
Let r be ((-1)/(-1))/(-1) + 1. Let k = -12 + r. Let q = 35 + k. Does 9 divide q?
False
Suppose 5*y = -8 + 28. Let n be y + (1 - (4 + -3)). Suppose n*v + 16 = 0, -2*v + 56 = 2*k - 20. Is k a multiple of 21?
True
Let h(l) = 37*l**2 + 2*l + 3. Is 29 a factor of h(-2)?
False
Let h = 15 - 10. Suppose q + 13 = s, -q - 31 = 3*s - h*s. Is 9 a factor of s?
True
Let w be 12/(-10)*30/(-9). Suppose -w*c = -6*c + 4. Suppose -5*o + c = -43. Is o a multiple of 3?
True
Does 15 divide (-1)/(-1*(-1)/(-21))?
False
Let k(w) = -2*w**2 - 6*w - 15. Let m(t) = -t**2 - 3*t - 7. Let g(i) = -4*k(i) + 9*m(i). Let d be g(-3). Does 14 divide 14*2 - (d - -3)?
True
Suppose -5*u + 17 = -0*a + 3*a, 2*u - a = -2. Let g = 3 - u. Suppose b - g*b = -11. Does 4 divide b?
False
Let b = 2 - 2. Let c(w) = -w**2 + w + 14. Let v be c(b). Is 6 a factor of v + -1 + (1 - 2)?
True
Suppose -3*g + 4*p - 29 = 0, 0*g - 2*g - 3*p = 8. Let b = -4 - g. Suppose 4*a = 2*k - 88, b*a - 84 - 136 = -5*k. Does 22 divide k?
True
Suppose 3*f = -2*r + 42, 3*r - 12 = 3*f + 36. Does 8 divide r?
False
Let y = -20 - -111. Does 17 divide y?
False
Suppose 3*h + 5*i = 32, 4*h - 3*i = 2*i - 4. Suppose -66 = -h*u - 3*s, -4*u + 2*s + 26 = -2*u. Suppose 4*g + u = 2*w - 35, -2*w = 2*g - 26. Is 6 a factor of w?
False
Let t(b) = b**2 + 3*b. Let u be t(-5). Suppose 3*n = u - 1. Is 2 a factor of n?
False
Let t(k) = 17*k + 21. Let c(l) = 12*l + 5. Let n(j) = -6*j - 3. Let i(a) = 4*c(a) + 9*n(a). Let w(b) = 8*i(b) + 3*t(b). Is w(8) a multiple of 11?
False
Let u(r) = r**2 - 7*r - 8. Does 17 divide u(16)?
True
Let s(k) = -2*k - 8. Let g be s(-8). Let h = 5 - g. Does 7 divide ((-14)/(-3))/((-1)/h)?
True
Let r be 4/6*6*1. Suppose 0 = 3*x - y + 2, 4 + 14 = -2*x + r*y. Let g(m) = 3*m + 1. Is g(x) a multiple of 4?
True
Suppose -4*w = 32 - 272. Let v be (-2 + 8/3)*w. Suppose -3*j = -5 - v. Is j a multiple of 15?
True
Let x = 12 + 30. Is (x/3)/(1 - 0) a multiple of 14?
True
Suppose -g = -4*g + 18. Let t(p) = -p**2 - 13*p + 5. Let f(h) = 7*h - 2. Let y(l) = -5*f(l) - 2*t(l). Is y(g) a multiple of 8?
False
Does 2 divide -1 - ((-96)/4)/4?
False
Let b be (-4 - -5)*(12 - -1). Let v(x) = x**3 - 13*x**2 + 3*x - 18. Is v(b) a multiple of 7?
True
Suppose 3*n - 16 = -1. Suppose 0 = 5*q - 0*q - n*i - 35, 11 = -3*q - 5*i. Is 2 a factor of q?
False
Let n = -20 - -25. Suppose n = 3*c - 19. Does 3 divide c?
False
Let o(y) = y - 4. Let j be o(4). Suppose j*n - 10 = -n. Is n a multiple of 10?
True
Let j(s) be the first derivative of s**4/4 + s**3 - 5*s**2/2 - 4*s + 2. Let w be j(-4). Suppose -5*p + 10 + 140 = w. Is p a multiple of 11?
False
Let h = -3 + -2. Let w = 5 - 1. Is 15 a factor of w*(-1)/h*40?
False
Let i = -6 + 12. Does 12 divide i/(-15) - (-192)/5?
False
Suppose 0*x = x + 9. Suppose 3*w = -3 - 3. Let u = w - x. Is u a multiple of 5?
False
Let u(t) be the third derivative of t**5/60 - t**4/8 - t**3/2 + 2*t**2. Let o be u(-2). Suppose 4*q - o*q + 3*j = -24, 0 = -4*q - j + 52. Is q a multiple of 7?
False
Suppose -2*u + l = -l + 2, -3*u + l + 7 = 0. Suppose u*f = -3*a + 48, f - 4*a = -f + 46. Is 9 a factor of f?
False
Let d be (12/(-30))/(1/(-10)). Suppose 60 = 5*s - o - d*o, -s = -3*o - 12. Is s a multiple of 11?
False
Let o(u) = u**2 - 2*u - 1. Let t be o(4). Suppose 4*d + t = 63. Is d a multiple of 5?
False
Let t be 3/8*4*2. Suppose t*z - 30 = z. Does 6 divide z?
False
Let u(a) = 20*a + 5. Let w be u(-5). Does 19 divide ((-13)/5 - -2)*w?
True
Let q(v) = -15*v + 2. Let u(c) = c. Let y(d) = -q(d) - 4*u(d). Does 6 divide y(2)?
False
Is 156/10 + (-2)/(-5) a multiple of 16?
True
Suppose 4*t + 0*t - 5*y = 567, -t = 3*y - 129. Is 27 a factor of t?
False
Let h(x) = -x + 11. Let z be h(6). Suppose -z*k = -88 - 322. Is k a multiple of 22?
False
Let y be 2/(-8) + 185/4. Suppose 2*m + 4*z - y = 0, -2*m + 27 = -m - 2*z. Let g = m + 9. Does 12 divide g?
False
Let u = -47 + 117. Does 14 divide u?
True
Let g = 4 + -7. Does 8 divide g/2 - 222/(-12)?
False
Suppose 2*h + 5*w = 36 - 13, 4*h - 28 = -4*w. Let x = 1 - -1. Suppose -h*k + 135 = 3*i, -5*i + 0*i = x*k - 85. Is k a multiple of 15?
True
Let b = 1 + -1. Suppose b = 5*j - 124 - 21. Is 8 a factor of j?
False
Suppose -3 = -5*c + 7. Let v be (-206)/5 - c/(-10). Let z = v + 77. Does 15 divide z?
False
Let y be 16/(-56) + 214/14. Is y/6*108/10 a multiple of 9?
True
Suppose 10*d - 13*d + 627 = 0. Is d a multiple of 27?
False
Is 37 a factor of (-2 + 2 + 1)*1*259?
True
Suppose 5*b = -1807 + 467. Let v be (0 - -1)/((-1)/b). Suppose -v = -5*m - 78. Is 20 a factor of m?
False
Does 13 divide (-8)/44 - 0 - 5152/(-22)?
True
Let a = 17 - -1. Is a a multiple of 9?
True
Is 3 a factor of ((-3)/5)/((-3)/60*4)?
True
Is 3 a factor of (-7)/(-3) + (-2)/(-3)?
True
Let u be (-34)/8 - (-3)/12. Let w = 4 - 7. Is ((-6)/u)/(w/(-18)) a multiple of 9?
True
Let c(a) = -2*a**3 + 2*a**2 + 2*a + 1. Let x be c(-1). Suppose -5*v + x*v = -78. Let d = 5 + v. Does 13 divide d?
False
Let f = 189 - 92. Let d = -14 + 49. Suppose -7 = -3*v + 3*p + d, 4*p - f = -5*v. Is v a multiple of 17?
True
Suppose 0 = -l - 2*n + 77, -4*l + 5*n + 98 = -197. Is l a multiple of 15?
True
Suppose -25 = d - 6*d. Suppose -60 + 180 = d*b - 5*h, 2*b + 3*h - 58 = 0. Suppose b = s + 8. Does 9 divide s?
True
Let r = 6 + -2. Let m be r/(-2) + (-1 - -2). Is 30/(-8)*(m - 3) a multiple of 11?
False
Suppose 2*t - 1 = -4*b + 1, 0 = t - 2*b - 9. Suppose -3*r + 9 + 27 = -3*v, 0 = t*r + 2*v - 32. Is r a multiple of 4?
True
Let r(w) = 6*w - 3. Let c be r(2