 -527 - -631. Is 8 a factor of g?
True
Suppose 3*i - 17 = -2*n, -2*i + 2*n = -31 + 3. Let z(d) = -d - 2*d + 2*d**2 + 5 - i. Does 16 divide z(6)?
False
Let x = -1429 + 1923. Does 38 divide x?
True
Let c(f) = f**3 - 4*f**2 + 19*f + 5. Is 5 a factor of c(7)?
True
Let f be -4*(-3 - (4 + 6)). Let z = -18 + f. Is 7 a factor of z?
False
Let t be 2/(-7) - 32/(-14). Suppose 6 = -4*q - t. Does 3 divide (0 - q)*(-6)/(-4)?
True
Suppose 0 = -4*u + 18 + 6. Let g = u - -50. Suppose 8*i + 54 = z + 3*i, 3*i = -2*z + g. Is z a multiple of 8?
False
Suppose 3*o + 15 = 3*r, 3*r - o = -3*o. Let y be -3 - 8 - (r - -1). Let a = y + 27. Does 13 divide a?
True
Suppose -8*j + 9844 = -716. Is j a multiple of 15?
True
Suppose -3*k + 3*p + 63 = -p, k = -p + 14. Let b = 16 - k. Is -1 + (2 - 0 - b) a multiple of 2?
True
Suppose 5*v + 1646 - 4481 = 0. Suppose -7*y + 203 = -v. Is 22 a factor of y?
True
Let x(b) = -5*b + 278. Is 9 a factor of x(25)?
True
Let s = -1 + -16. Let m be (-2 + 0)*s/2. Suppose -4*g + 15 = -m. Is g a multiple of 3?
False
Suppose -5*x = 2*n - 297, -26*n + 21*n + 758 = -3*x. Is 7 a factor of n?
False
Suppose 42 = -3*w - 0. Let u = -38 + w. Is (u/8)/((-4)/8) a multiple of 2?
False
Let n be (10/15)/(1/(-18)). Let z = n - -11. Is 9 a factor of (z/(-3))/(1/81)?
True
Suppose 84*d - 64379 = 152677. Is d a multiple of 76?
True
Does 20 divide 80/70*12327/6?
False
Suppose 4*m - 471 = 3*t - 2*t, 0 = t - 1. Suppose -3*h - y - 4*y + 100 = 0, y = 4*h - m. Does 28 divide h?
False
Let a(q) = q**3 - 9*q**2 + 24*q - 4. Does 73 divide a(12)?
False
Let w(o) = 25*o + 1. Let z be w(-3). Let m = 28 - z. Let p = m + -66. Is p a multiple of 12?
True
Let n(u) = -u - 15. Let s be n(-8). Is 18 a factor of (s - -3 - 82)/(-2)?
False
Let g be (-1 + (3 - 2))/2. Suppose -3*u = -g*u - 6. Suppose 0 = -4*r + 2*f + 44, -3*r = f + u*f - 33. Does 6 divide r?
False
Let f = 57 - 32. Does 2 divide 48/10 - (-5)/f?
False
Suppose -5 = -5*n - 5*i, 0*n + 2*i - 6 = -4*n. Suppose n*f - 10 = -0*f. Suppose -f*k + 23 = g - 8, 3*g = -3*k + 93. Is 6 a factor of g?
False
Suppose -4*k = -2*t - 42 - 78, 0 = 5*k + 5*t - 150. Is 3 a factor of k?
True
Let q be (3/5)/((-4)/(-40)). Let b(i) = i**3 - 5*i**2 - 3*i - 2. Let o be b(q). Suppose -o - 17 = -3*l. Does 9 divide l?
False
Let x(r) be the second derivative of -73*r**3/6 + 2*r**2 - 5*r. Let k be x(-3). Suppose 113 = 2*d + j, -4*d - 8*j = -3*j - k. Is 28 a factor of d?
False
Suppose 9*l - 441 - 180 = 0. Let q = l + 249. Is q a multiple of 53?
True
Suppose 0 = 2*q - 20*q + 13248. Is 32 a factor of q?
True
Let v(m) = 45*m**2 - 3*m - 41*m**2 + 7 - 2*m. Does 5 divide v(4)?
False
Let m be -1*(8/20 + (-472)/5). Suppose 0 = 4*k - 4*w + 224, 5*k + 332 = -4*w + 34. Let d = m + k. Is 25 a factor of d?
False
Suppose -6*d = -16*d + 570. Is d a multiple of 4?
False
Suppose -b + 0*b - 6 = 0. Let o(a) = -a**3 - 6*a**2 + 4*a + 8. Let y be o(b). Let j = -8 - y. Is j a multiple of 3?
False
Let m(i) = -i - 2. Let n be m(-5). Suppose 686 = 3*y - v, 3*v = n*y + 4*v - 688. Does 16 divide y?
False
Is 1244 + 64/(-8) + 12 a multiple of 24?
True
Suppose 2*a = 2*c + 48, 4*a - 3*c - 75 = -6*c. Suppose -4*g = -a - 111. Is 7 a factor of g?
False
Let t be (-2)/((-356)/177 - -2). Suppose 34 = 5*h + 14. Suppose i = h*i - t. Is 21 a factor of i?
False
Let t = -38 + 46. Let z be 2/8 - (-974)/t. Suppose 4*c - 3*x - 158 = -6*x, 3*c = -4*x + z. Does 11 divide c?
False
Suppose 44*d - 2506 = 37*d. Is d a multiple of 10?
False
Let r(g) = 25*g**2 - 10*g + 17. Is 19 a factor of r(5)?
False
Let s be ((-25)/(-15) - 2/3)*213. Let r = s + -137. Does 38 divide r?
True
Suppose -11*z + 1389 = -19. Let u be 8/6*3 - 1. Suppose u*s - z = -s. Is s a multiple of 8?
True
Let o(r) = 2*r**2 + 3*r - 10. Let d be o(-4). Does 2 divide 5/d*(3 - -15)?
False
Let w be (-190)/4*4*-1. Let d = w - 36. Is 14 a factor of d?
True
Let r(m) = -m**2 - 12*m - 45. Let s be r(-6). Does 15 divide 3/6*9*(-210)/s?
True
Let u(v) = -2*v**3 - 3*v**2 + v + 2. Let l be u(-2). Suppose 3*b - 796 = -4*a, -l*a + 269 = b - 7. Does 16 divide b?
False
Suppose -6*c - x = -c - 1970, -3*c + 1182 = 2*x. Is c a multiple of 49?
False
Let h(m) = 11 + 2*m**2 - 3*m**2 - 145*m + 132*m. Does 23 divide h(-10)?
False
Let i(v) = v + 1. Let j be i(3). Is (-2286)/(-63) + j/(-14) a multiple of 18?
True
Let b(r) = 3*r**3 + 6*r**2 - 9*r + 6. Let d be b(5). Let g = d - 280. Is g a multiple of 22?
False
Suppose 5*n + 3*w - 30 - 51 = 0, -2*n = -5*w - 51. Let q = n + -12. Is 5 a factor of -33*((-8)/q - -1)?
False
Suppose -5*d - 330 = -5*b + 130, -b + 112 = 4*d. Is b a multiple of 22?
False
Suppose -2*u + n - 31 - 11 = 0, 3*n + 6 = 0. Let g = u + 11. Let q = g + 27. Is q a multiple of 4?
True
Let p(y) = 29*y**3 - y**2 + y - 1. Let w(n) = -n**2 + n - 1. Let t(i) = p(i) - 2*w(i). Does 7 divide t(1)?
False
Suppose 0 = -10*l - 50. Let w(n) = n**3 + 5*n**2 + n + 7. Is 2 a factor of w(l)?
True
Let o(c) = -4*c + 6. Let t be o(7). Let f = t + 10. Is 13 a factor of 6/f - 102/(-4)?
False
Let o(f) = -3*f**2 + 5. Let a(y) = -y**2 + 1. Let z(v) = 6*a(v) - o(v). Let w be z(-1). Is (1*16 + w)*2 a multiple of 7?
True
Suppose 0 = 6*z - 58 - 80. Is 2 a factor of z?
False
Is 98 a factor of ((-12)/(-5))/(7/2940)?
False
Let s = 456 + -127. Is 24 a factor of s?
False
Let c(v) = v**3 + 6*v**2 - 4*v - 4. Let u be c(-6). Suppose -4*o = 5*w - 125, o - 32 = -4*w + 2*w. Let i = o - u. Is 5 a factor of i?
True
Suppose 5*w = 4*q - 37, -20 = -q + 2*w - 7. Suppose -3*h + 3 = 0, 3*u - 153 = -q*h - 6. Is 16 a factor of u?
True
Is 5 a factor of (19 + -5)*5/2?
True
Let m(h) = 2*h**2 - 12*h - 12. Let p be m(9). Let g be (-2)/(-7) - 1188/p. Let o = -19 - g. Does 7 divide o?
False
Let y be 405/(-15) - (-6 + 2). Let x = 15 - y. Is x a multiple of 6?
False
Suppose 2*g = 5*g - 342. Let r = g + -45. Is 23 a factor of r?
True
Suppose 18*c = 21*c - 12. Suppose c*t - 5*m = 60, 79 - 4 = 5*t + 5*m. Is t a multiple of 5?
True
Suppose 0 = 4*s - 3*j + 3, s + 3 = 3*j - 0. Let k be ((-2)/(-2) - s)*-2. Let l(q) = -2*q**3 - 2*q**2 + 3*q + 3. Is l(k) a multiple of 5?
True
Suppose -n = 4*i, 5*i = 5*n - 12 - 13. Does 40 divide (-8 - (n + -5))*-21?
False
Let h = -319 - -476. Is h a multiple of 20?
False
Suppose -2926 = -4*p + 5*k + 745, -3*p - k = -2777. Does 44 divide p?
True
Suppose 5*t + 1 - 11 = 0. Let i be (-2)/(-6)*0/t. Suppose -9*z + 4*z + 140 = i. Is 12 a factor of z?
False
Suppose -5*b = -7*b - 1284. Does 9 divide b/(-18) - (-1)/3?
True
Let z(k) = 6*k**2 - 12*k - 27. Is 2 a factor of z(-3)?
False
Let g(m) = m**3 + 11*m**2 + 7*m - 22. Let c be g(-10). Suppose -c*l = -2*l - 144. Is 9 a factor of l?
False
Suppose -4*s = 0, -5*a - 2*s = -0*a - 15. Suppose -a*n + 2*v + 8 = -12, 2*n = -2*v + 10. Does 3 divide n*2/((-4)/(-3))?
True
Does 11 divide (11 + -10)*(83 + -2)?
False
Let v = -2 - 5. Let w(h) = -h**2 - 8*h - 4. Let n be w(v). Suppose 0 = 5*k - n*k - f - 25, 4*f = 20. Does 15 divide k?
True
Let h(q) = q**3 + 3*q**2 - 5*q + 1. Let j be h(-4). Suppose o + 54 = -j*o. Is (-20)/6*(o + 0) a multiple of 10?
True
Let d(a) = 6*a - 6 - 5*a + a + 5*a. Is d(3) a multiple of 2?
False
Let g = 165 + 447. Does 18 divide g?
True
Suppose 2*i - 5946 = 2*t, -2*i = -4*i - t + 5937. Does 33 divide i?
True
Let o(c) = c**2 + 5*c - 1. Let h be o(-6). Let g = 4 - 4. Suppose g = h*u - 101 - 34. Is 9 a factor of u?
True
Let j(f) = f**3 + 9*f**2 - 2*f + 7. Let x be j(-9). Let q(b) = 3*b**2 - b - 19. Let v be q(0). Let p = x + v. Is p a multiple of 6?
True
Let p(z) = z**3 - 4*z**2 + z - 3. Let b be p(4). Let m be 4/(b + 11)*30. Is ((-8)/m)/(-1)*5 even?
True
Suppose 2*g - 3*g = 2*g. Suppose -2*j - 4*f + 208 = 0, 3*j - 2*j - 2*f - 104 = g. Does 24 divide j?
False
Let k = 205 + -184. Is 7 a factor of k?
True
Does 15 divide ((-130)/3)/(4 - (-146)/(-36))?
True
Suppose 0 = -4*l + 90 + 578. Let q = 235 - l. Suppose v = q - 17. Does 18 divide v?
False
Suppose 0 = 4*m + 4*n + 107 + 21, 2*m = -n - 59. Let r = m + 142. Is r a multiple of 23?
True
Let s = -39 + 53. Is 9 a factor of s?
False
Let o be 3/(-9)*-3*65. Suppose -5*y = -5*j + 35, 7*j + 5*y = 2*j + o. Is 2 a factor of j?
True
Suppose -4*w = 2*v - 1504, 1540 = 3*v - 5*w - 738. Does 12 divide v?
True
Suppose 3*c - 188 = -a, 2*a - 2*c - 173 = 187. Let n(y) = -45*y - 53. Let f be n(-4). Let z = a - f. Is 24 a