ose -u - q = -3*u + 9, -4*u - q + 3 = m. Suppose 2*h + u*n - 4 = 0, 3*n = 5*h - n - 28. Is h a multiple of 4?
True
Is 11 a factor of 21825/150*28/3?
False
Let w(c) = -c**2 - 4*c + 7. Let x be w(-5). Suppose 0 = 2*m + a - 2*a + 11, m + a - x = 0. Is (-14)/(-1)*(m + 4) a multiple of 3?
False
Is (-7754)/(-10) + (-52)/130 a multiple of 15?
False
Suppose -5*r + 135 = -5*n, 4*n + 0*r + 108 = 5*r. Suppose -2*j + 3*u = -20, 3*u - 30 = -2*j - j. Let d = j - n. Is 13 a factor of d?
False
Let q = -379 + 572. Does 23 divide q?
False
Suppose 2125 = 2*d - 5*x, 1465 = d + x + 385. Is 1*9/(-15)*d/(-5) a multiple of 17?
False
Let l = -666 + 1165. Is 18 a factor of l?
False
Does 7 divide (-63)/(-14)*112/21?
False
Suppose v - 6 = 2. Does 6 divide (4*-14)/(v - 10)?
False
Let w be (-3)/(12/40*-2). Suppose 9*t - 5*p = 4*t - 170, -t - w*p = 58. Is 7 a factor of (19/t)/((-2)/140)?
True
Let j = -1092 - -2053. Is j a multiple of 7?
False
Suppose 5*c = 15 - 0, -3*c = 3*m - 18. Let g be (-56)/m*36/(-7). Let k = g + -67. Does 20 divide k?
False
Let b be ((-252)/(-30))/(6/615). Suppose -f + 4*a + 863 = 2*f, -3*a = -3*f + b. Is f a multiple of 50?
False
Let l(f) = -f**3 - 12*f**2 + 13*f + 7. Let y be l(-13). Let k(s) = 0 - 6 + s**3 + 6*s + y*s**2 + 1. Is 11 a factor of k(-5)?
False
Let g(c) = 2*c**2 - c - 2. Let u be g(2). Let l = 14 - u. Suppose -95 = -5*o - 3*y - 2*y, o + 4*y - l = 0. Is 13 a factor of o?
False
Suppose 5919 + 297 = 6*g. Is g a multiple of 37?
True
Let g be 1*(-2 - -3)*4. Suppose 6 = 3*a - 0. Suppose -g*v + a*v = -42. Does 21 divide v?
True
Let q(p) = -p**3 - 8*p**2 + 10*p + 13. Suppose 9*l - 11*l = 18. Let x be q(l). Suppose -66 = -x*m - 3*u, 2*u = -3*u + 10. Is m a multiple of 3?
True
Does 76 divide (-1 + 0/2)*(-1231 + -172)?
False
Let b(l) = 9*l**2 + 63*l - 126. Is 9 a factor of b(-20)?
True
Let j(h) = h**3 + 18*h**2 - 13*h + 18. Is j(-17) a multiple of 11?
True
Suppose -4*o + x + 1859 = 0, -x + 3 = 2*x. Let f = -225 + o. Is 40 a factor of f?
True
Let w(h) = h**3 - 6*h**2 + h - 4. Let g be w(6). Suppose 5*k = r + 406, -160 = -2*k - r + g*r. Does 12 divide k?
False
Suppose -n + 5*l + 43 = -0*n, -n + 79 = 4*l. Let j = -20 + n. Does 23 divide j?
False
Let y = 293 + -201. Is 16 a factor of y?
False
Let v(g) = -g**2 - g + 23. Let f be v(0). Suppose -s = -2*y + 3*y + 3, -3*y + 5*s = -f. Suppose -p = -2*n + p + 38, n - 5*p = -y. Does 13 divide n?
False
Suppose c + 3*p - 10 = 1, 3*c - 25 = -5*p. Let x be ((-6)/(-4))/(27/36). Suppose -54 = -4*q - x*z, -2*q + 25 = c*z - 22. Is q a multiple of 7?
False
Let b = -81 - -113. Suppose 0*d = -d - 14. Let t = d + b. Does 6 divide t?
True
Suppose 416*v = 415*v + 846. Does 13 divide v?
False
Let n be 3*(2 - 812/(-12)). Suppose 0 = 4*h - c - n, 6*c - c - 255 = -5*h. Suppose r + r - 4*l - h = 0, -5*r + 190 = 2*l. Does 18 divide r?
True
Let f(d) = -d**2 + 180. Is 80 a factor of f(-10)?
True
Suppose 0 = b + 1, -4*x + 20 + 1 = -5*b. Suppose x*u + 2*m - 290 = 0, u = -5*m + 46 + 31. Is u a multiple of 18?
True
Is 2 a factor of (-2*(-62)/(-8))/(11/(-22))?
False
Let v be (23 + -24)/(-1*1/97). Suppose 0*y - v = -5*x - y, 2*y = x - 26. Is x a multiple of 3?
False
Let d(v) = v. Let i(t) = -t + 1. Let u(n) = -9*n + 4. Let f(c) = -6*i(c) + u(c). Let o(k) = -2*d(k) - f(k). Is 3 a factor of o(4)?
True
Let o(m) = -6*m - 55. Does 2 divide o(-12)?
False
Suppose 13*o - 4576 = -1833. Is o a multiple of 27?
False
Suppose 0 = 4*b + 4 - 12. Suppose 0 = u + b - 16. Is u a multiple of 7?
True
Suppose -4*f = -3*y + 73, -4*y + 114 = 2*f + f. Suppose -2*b - 5*u - 25 = -0*u, 4*b - u = -105. Let z = y + b. Is z even?
True
Let i be (-2)/1*6*-1. Let h be (i/8)/((-9)/(-12)). Is (-1)/h + 595/14 a multiple of 14?
True
Suppose 86 = 4*t - 154. Let s be t/50 - 8/(-10). Suppose -a + 4*x - 56 = -4*a, 0 = 2*x + s. Does 14 divide a?
False
Is 69 a factor of 12/(-18) - 35200/(-24)?
False
Let j(x) = -2*x - 10. Let q be j(-8). Let m be 2 + -2 + (12 - q). Suppose 3*c - 2*c - m = 0. Is c a multiple of 6?
True
Let p be (2/8)/(20/160). Suppose -p*j - x + 86 = 0, -5*j - 4*x = -8*x - 215. Does 5 divide j?
False
Suppose -6*p - 45 = -3*p. Let j be (1 + -2)/(3/p). Suppose j*d - z - 187 = 0, -3*d + 69 = -3*z - 48. Does 13 divide d?
False
Suppose 3*x + 4*f = 188 + 772, -5*x + f + 1623 = 0. Does 3 divide x?
True
Let x = -295 + 327. Is 14 a factor of x?
False
Let p(l) = -3*l**2 - 1 - 3 + 5*l**2 + 2 + 2*l. Let v be p(2). Let h = 14 - v. Does 3 divide h?
False
Suppose -27 = -3*v + 5*o, 3*v + 2*o = -0*v + 27. Let y = v - -27. Does 4 divide y?
True
Suppose 2*d - 10 - 2 = 0. Suppose d*p - p - 40 = 0. Is (p/5)/((-10)/(-75)) a multiple of 6?
True
Let v = -35 + 40. Let o(q) = -q + 16. Is 11 a factor of o(v)?
True
Suppose 576*z - 591*z = -14520. Is z a multiple of 8?
True
Suppose -2*x = 4*d + 140 - 394, -2*x + 4*d + 214 = 0. Suppose -3*y + 156 = 4*i - 5*y, y = -3*i + x. Is 13 a factor of i?
True
Let c = 3 - 0. Let q(f) = -c*f + 0*f + f + 6. Is 14 a factor of q(-12)?
False
Suppose -336*a + 329*a = -9723. Does 28 divide a?
False
Is 2/8 + (2739/(-12))/(-11) a multiple of 7?
True
Suppose 3*r - 4 = r. Suppose 0 = v + r*v - 117. Is 24 a factor of v?
False
Let s(u) = 2*u**3 + 3*u**2 - 2*u + 5. Let x be s(3). Suppose -6*m + x = -m. Suppose 0 = -13*c + 14*c - m. Is 8 a factor of c?
True
Let a be (-118 + 1)*(-8)/(-6). Let j = -44 - a. Does 16 divide j?
True
Let d be 48/22 + (-6)/33. Suppose d*n = 6*n - 140. Is n a multiple of 8?
False
Suppose 0 = y - 3*y + 72. Is 3 a factor of y?
True
Suppose 90 = -16*v + 1850. Is v a multiple of 55?
True
Suppose 2*g + 5*x - 913 = g, 5*g - 4631 = -3*x. Is 6 a factor of g?
False
Let f = 27 - -1597. Is 58 a factor of f?
True
Let i(z) = 5*z**3 - 4*z**2 - 5*z - 2. Let u(s) = 11*s**3 - 8*s**2 - 11*s - 3. Let x(y) = -9*i(y) + 4*u(y). Let l be x(4). Does 11 divide 8/20 + 626/l?
False
Suppose -17*c = -11*c - 354. Does 5 divide c?
False
Does 6 divide 56/(-224)*4*(-862)/1?
False
Suppose 14*n - 1884 = -4*k + 11*n, -n = 0. Is 43 a factor of k?
False
Suppose -1726 = -4*i + u, -3*i - u - 322 + 1620 = 0. Is 18 a factor of i?
True
Let c = 160 - 82. Suppose 4*k + c = k. Is (16/(-1))/(k/117) a multiple of 24?
True
Suppose 9 = -3*l - 39. Let f = l + 20. Suppose f*j + u - 290 = 0, j + 62 = 2*j - 5*u. Is 21 a factor of j?
False
Suppose 3 = s - 4*y + 4, 5*y = 5*s - 55. Does 10 divide s/(-1)*(-112)/21?
True
Let n = 503 - 190. Does 44 divide n?
False
Let u = 2672 + 2080. Does 28 divide u?
False
Suppose -13*y = -16*y + 264. Is 22 a factor of y?
True
Let g = 455 + -90. Is 47 a factor of g?
False
Suppose 4*r = r + 18. Suppose -822 + 318 = -r*y. Does 28 divide y?
True
Is (306/(-10))/(4 + 63/(-15)) a multiple of 17?
True
Suppose -13*j = -5*j - 648. Is 17 a factor of j?
False
Suppose -2*z = 2*q - 3*z + 9, -6 = 2*q - 2*z. Let a(r) = -r**3 - 4*r**2 + 5*r - 7. Does 13 divide a(q)?
False
Suppose 5*d - 2*w - 435 = 0, -2*d - 68*w + 73*w + 174 = 0. Is d a multiple of 19?
False
Suppose -3*g = -22*g + 8721. Is g a multiple of 51?
True
Suppose 0 = 4*s - 8, 5*s - 56 = 3*p - 5*p. Suppose 28*k - p*k - 260 = 0. Is 13 a factor of k?
True
Suppose 4*l + 4*z - 2380 = 0, -2*l - 2*z = l - 1790. Does 20 divide l?
True
Suppose 103*v = 74*v + 50344. Is v a multiple of 31?
True
Suppose 0 = m - w - 81, -2*m + 3*w - 289 = -6*m. Does 9 divide m?
False
Let a(p) = -9*p**2 - 10*p**2 - 9 - 1 - 5*p + 20*p**2. Is a(-6) a multiple of 7?
True
Let b(u) = -2*u**2 - 3*u - 2. Let f be b(-2). Is 4 a factor of (f + -5)/(2/(-2))?
False
Let k(m) = -m**3 + 4*m**2 + 2*m - 6. Let h be k(4). Suppose 0 = -8*i + 3*i + 20. Suppose i*s - 67 = 5*r, -4*r + 6 = h*s - 60. Is s a multiple of 8?
False
Suppose -6 = 2*c, 3*c - 9 = 3*r + 8*c. Suppose -y + 2*t + 2 = 0, y + 4*t - 16 = -r*y. Let f = 28 - y. Does 6 divide f?
True
Suppose -5*c + 9*c = 12. Suppose y = n - 0 - 3, c*n - y - 13 = 0. Suppose 163 = n*f - 57. Does 13 divide f?
False
Let r(f) = -3*f**3 - 8*f**2 - 6*f - 4. Let h(i) = i**3 - i + 1. Suppose -4*l = -c + 8 + 2, -4*c - l = 11. Let m(b) = c*h(b) - r(b). Does 10 divide m(-6)?
False
Let l(i) = 222*i**2 - 3*i - 3. Let p be l(-1). Suppose -220*z - 466 = -p*z. Does 13 divide z?
False
Suppose -2*o - 12 + 18 = 0. Suppose 5*z = o*z + 3*g + 181, -20 = 4*g. Does 30 divide z?
False
Suppose 2*d - 2528 = -4*y, -2*d - 646 = -y - 6*d. Is y a multiple 