 = -r, -o + m*r + 28 = -3*r. Does 18 divide o?
False
Does 8 divide ((-138)/4)/((-8)/128*4)?
False
Suppose -4*h = 3*c - 7992, 5*c = h + c - 2017. Is h a multiple of 69?
True
Suppose -2*j = -5*a - 8, -2*j + 12 = 3*a + j. Suppose -2*s - 2*s + 49 = -v, 4*s + 5*v - 19 = a. Let x = s + -2. Is x a multiple of 9?
True
Let z = 762 - -57. Is z a multiple of 91?
True
Let v = -32 + -9. Let h = v - -96. Is h a multiple of 5?
True
Let x(s) = -29*s + 12. Let d be x(9). Let f = d + 365. Suppose 0 = -4*g + 256 + f. Is 20 a factor of g?
False
Let a(c) = -c + 28. Let n be a(0). Suppose -5*t + 156 = -4*r, -4*r + 5*t = 4*t + 156. Let m = n - r. Is 27 a factor of m?
False
Suppose 0 = -16*k + 17*k - 2. Is 52/(4/1) + -3 + k a multiple of 12?
True
Let i(g) = -8*g**2 + 12*g + g**3 + g**2 - 5 - 5*g**2 + 2. Let t be i(11). Suppose 4*z = t*z - 88. Is 22 a factor of z?
True
Let f = -1186 + 1890. Is f a multiple of 44?
True
Suppose 22 = m - 0*m - 4*t, -13 = -4*m + t. Suppose -m*x + 2*z + 20 = 0, -14 = -3*x - 11*z + 10*z. Is x a multiple of 3?
True
Suppose -41*t + 14*t + 37206 = 0. Is t a multiple of 37?
False
Suppose -16*n - 1986 + 28194 = 0. Does 78 divide n?
True
Suppose -j = -35 + 137. Let z = j + 261. Is 21 a factor of z?
False
Let n(r) = 16*r**2 + 2*r. Is 106 a factor of n(5)?
False
Let p be (-2 - -20) + (-8)/2. Let t be ((-7)/(p/76))/(-2). Does 18 divide t + -1 - (-9 - -9)?
True
Let b be 4*(-4)/(-64)*-4. Let v be 11/(-33)*(b + -2). Suppose v = -i + 4*a, i - 7 - 13 = -3*a. Is 6 a factor of i?
False
Suppose 0 = 4*t + 1463 - 531. Let b = t + 459. Let n = b - 143. Is n a multiple of 14?
False
Suppose -5*q = -3*q + 8, -5*q = 2*a + 28. Let h = a - -97. Is 31 a factor of h?
True
Let o(y) = -20*y**2 - 2*y + 1. Let z be (-5)/3 + 16/(-12). Let g(k) = -20*k**2 - k + 2. Let r(d) = z*g(d) + 2*o(d). Does 11 divide r(2)?
False
Let d(i) = 2*i - 2. Suppose 0 = 6*z + z - 77. Is 5 a factor of d(z)?
True
Suppose -4*z - 3 = -b, -3*b - 4*z + 55 = -18. Let m(p) = 12*p - 24. Does 34 divide m(b)?
True
Let f be (9/4)/(6 - 6273/1044). Let s = 377 + f. Is s a multiple of 8?
False
Let f be (1 - -1) + 9 + 2. Let t(y) = -y**2 + 19*y + 2. Let v be t(19). Suppose v*h - f = h. Does 13 divide h?
True
Let l = -265 - -1064. Is l a multiple of 45?
False
Let w(d) = -d**3 - 4*d**2 - 4*d - 1. Let u be w(-3). Let c(o) = 6*o**3 - 4*o**2 + o + 2. Is c(u) a multiple of 36?
True
Let w = -550 + 391. Let p = w + 416. Is 40 a factor of p?
False
Suppose w - 1 - 2 = 0. Suppose 2*p + w = p. Is ((-3)/2)/p*150 a multiple of 25?
True
Let c = -5 + 10. Suppose -c*a - 20 = -3*g + 2*g, 0 = -2*g - 4*a + 12. Does 2 divide g?
True
Let y(o) = 14*o**2 - 42*o - 6. Does 15 divide y(9)?
True
Suppose -3*v - v = 436. Let d = 158 + v. Does 7 divide d?
True
Let x(z) = z**3 + 9*z**2 + 11*z + 2. Let o be x(-8). Is 730/22 + 4/o a multiple of 10?
False
Let g = -113 + 228. Does 10 divide g?
False
Suppose -5*r - 2*m + 1119 = -m, 5*m = 5*r - 1125. Let d be r/16 - (2 + 1). Let f(l) = l**2 - 10*l + 9. Is f(d) a multiple of 10?
True
Suppose -5*n + 10*n = -x - 9, 18 = -2*x + 2*n. Is 8 a factor of x*7*5/(-15)?
False
Suppose 0 = -5*o + 2*f + 5, -8 = -2*o - f + 3. Let w be (-3)/(2/(-1) + o). Let j(r) = -r**3 + 4*r**2 - r - 4. Does 19 divide j(w)?
False
Let k(u) = 13*u**2 + 7*u + 16. Is 15 a factor of k(-3)?
False
Let s(t) = 2 + 2 - 2 + 6*t + 4. Let d be s(-5). Is (14 + d)*36/(-10) a multiple of 10?
False
Let f be (-2)/(15/(-9) + 1). Suppose -f*m + 296 = -19. Let t = 165 - m. Is t a multiple of 33?
False
Suppose -4*c = -4*h + 1100, 0*h + 4*c = 3*h - 821. Is 30 a factor of h?
False
Let k be -1 - 0 - (-8 + 0). Let m be (14/6 + 0)*9. Let f = m - k. Does 3 divide f?
False
Let m(h) = -h**3 - 4*h**2 + 4*h - 4. Let u = -26 + 32. Suppose 2*d = d - u. Is m(d) a multiple of 11?
True
Let l = 1473 + -825. Does 8 divide l?
True
Suppose -5*w + 8*w + 51 = 2*d, 3*w - d + 48 = 0. Let s(k) = 2. Let t(m) = m**2 + 15*m - 30. Let o(r) = -5*s(r) - t(r). Does 4 divide o(w)?
True
Suppose 0 = 2*n - n - 4. Let m be n/(-2)*(-154 + -1). Suppose -5*d = -h - m, -48 - 28 = -d + 3*h. Does 19 divide d?
False
Let g = 1053 - 459. Is 6 a factor of g?
True
Suppose -2*i + 4*x = 70, -i + 0*x + 4*x - 35 = 0. Let g be 15/i - 3/(-7). Let u = 31 - g. Is 10 a factor of u?
False
Let c(s) = -14*s + 8. Let i be c(-8). Let z = -84 + i. Is z a multiple of 7?
False
Let g = 1601 - 401. Is g a multiple of 50?
True
Let z = -14 + 16. Suppose 5*q - 12 = -z. Suppose -g - 24 = -q*g. Does 10 divide g?
False
Suppose -q - 62 = 3*n - n, n - 200 = 3*q. Let z = -93 - q. Is 36 a factor of 1*z*(-3 - 2)?
False
Suppose 3*h - 2*h - 13 = 0. Let a = h + -11. Suppose -2*u - a = -l, 4*l + 0*u = 2*u + 20. Is 3 a factor of l?
True
Let s(u) = -u**3 - 15*u**2 - 11*u + 15. Let h be s(-13). Let z be ((-3)/(-1))/(27/h). Is 1/(-4) + (-325)/z a multiple of 16?
True
Let d(l) = 37*l**3 + l**2 + l. Let v be d(-1). Let h = 105 + v. Does 11 divide h?
False
Suppose w + 3*r - 670 = -0*w, 0 = -2*w + 5*r + 1373. Is w a multiple of 7?
True
Suppose 26*s = 27*s - 780. Does 39 divide s?
True
Let c = -7 + 3. Let v = c - -42. Is 7 a factor of v?
False
Let r = 0 + -8. Let u = r - -8. Suppose -m + 2*m = 4*b - 130, u = 4*b - 2*m - 128. Does 11 divide b?
True
Suppose -350 = -3*g - 4*y, 560 = 10*g - 5*g - 5*y. Is g a multiple of 4?
False
Let q(i) = i**3 - 9*i**2 + 4*i - 3. Let a(s) = -s**3 + 13*s**2 + 9. Let w be a(13). Is q(w) a multiple of 11?
True
Suppose 96 = 3*i + 15*x - 11*x, 0 = 4*x - 12. Does 2 divide i?
True
Let g(u) = -u**3 + 4*u**2 - 2*u - 2. Let q be g(3). Suppose 3*t = -7 + q. Is (-1015)/(-20) - t/8 a multiple of 12?
False
Suppose 0 = 5*r - 4*w - 2032, r + 2*w - 51 - 361 = 0. Suppose h = -t + 80, -4*t - t = 3*h - r. Is 12 a factor of t?
True
Suppose 4*j = -j + 25. Suppose k - 4*l = -13, l = j*k + 6*l - 10. Let g(r) = 35*r**2 - 2*r - 1. Is 9 a factor of g(k)?
True
Let z(a) = 4*a**2 + 4*a + 1. Let n(r) = -r**2 + 5*r - 10. Let p be n(3). Let y be z(p). Suppose -i - 4*t + 44 = 0, 3*i + y = 5*i - 5*t. Does 12 divide i?
False
Suppose d = 2*c - 25, -d = -6*c + 3*c + 40. Let g be 7 + (-6)/1 + (-36)/(-12). Suppose g*h - c = 5, 3*h = 5*f - 220. Is 19 a factor of f?
False
Let o = 242 - 170. Suppose 0 = -2*u + 3*w - o, 2*u - 4*w = -u - 107. Let z = u - -51. Is z a multiple of 18?
True
Let f = 4 + 7. Suppose f*a - 440 = 6*a. Is 12 a factor of a?
False
Suppose -19 - 1 = 5*x. Let j(t) = -5*t - 9. Does 2 divide j(x)?
False
Let i be (2 + -4)*(-15)/6. Suppose 0 = 2*f - h - 2, 5*h - h + 8 = -i*f. Let p = f + 27. Is 19 a factor of p?
False
Suppose 5*o + 85 = -2*j, -3*j = -o + 2*o + 30. Let s(f) = f**3 - 2*f**2 + 3. Let b be s(4). Let d = b + o. Is d a multiple of 5?
True
Let z = 992 - 648. Does 3 divide z?
False
Suppose -72*f = -48*f. Let x = 167 + -119. Suppose -5*l + l + x = f. Does 6 divide l?
True
Let w = -2305 - -4056. Is w a multiple of 83?
False
Let c be 830/6 + 1/(-3)*1. Suppose -2*t - b + 28 + 30 = 0, 5*t - c = b. Is t a multiple of 9?
False
Suppose 224 = 4*q - 1984. Is 15 a factor of q?
False
Suppose -181 = -w - l, -4*w + l = -597 - 132. Does 36 divide w?
False
Suppose -2*z + 771 = 2*j + 21, 2*j - z - 750 = 0. Suppose 2*a - i + 0*i - 139 = 0, 0 = -5*a - 3*i + j. Does 12 divide a?
True
Let r be 76/12 - (-2)/(-6). Let f be 9/6*(0 + r). Suppose -8 = -4*y + 3*l, -4*y - 4*l - f = -9*y. Is y a multiple of 2?
False
Is 23 a factor of (-4)/40 - 4443/(-30)*1?
False
Let h(y) = 3*y - 25. Let n be h(10). Suppose -t = -6*t + 3*g + 5, -n*t + 15 = -g. Suppose 0*d - t*d = -260. Is d a multiple of 16?
False
Suppose 5*t = -0*h + 3*h - 3538, 2*h - 5*t - 2362 = 0. Suppose h = 7*d - 1477. Suppose -7*x + d - 127 = 0. Is 12 a factor of x?
True
Suppose -243 = -5*j - 3. Suppose -248 = -5*u - j. Suppose 3*i = 3*y + 99, -2*y = i - u - 2. Is i a multiple of 9?
True
Suppose -15*t = -14*t. Suppose 5*h + 2*x = -t*x + 245, 3*x = 0. Does 14 divide h?
False
Let w = 679 - -765. Is w a multiple of 31?
False
Let s = -11 + 16. Let a(z) = s*z**2 - 10*z + 2*z - 3*z**2 - 3. Is 21 a factor of a(6)?
True
Let u(g) = g**3 + 6*g**2 - 4. Let x be u(-3). Let w = x - 3. Is w a multiple of 6?
False
Let x be 180/54*264/10. Suppose w + x = 3*w. Is 8/w - 852/(-33) a multiple of 13?
True
Let k(d) = -d**3 - 4*d**2 + 10*d + 16. Suppose 2*u + 4 = -o, -4*o - 8 - 11 = 5*u. Is 6 a factor of k(o)?
False
