 g be ((-48)/21)/(-8) - 24/(-14). Suppose 0 = d + d - 2*h + 8, -2 = 2*h. Does 15 divide g/d + 3322/55?
True
Let i = 29 - 6. Let c = i + -26. Is 4 a factor of (11 - -2) + 9/c?
False
Suppose -4*h = -3*z - 2009, 27*h - 24*h - 1491 = -3*z. Does 25 divide h?
True
Suppose -4*q = 9*d - 4*d - 19894, -d + 3977 = -q. Is 71 a factor of d?
False
Suppose -3*w + 2*j = -830, -4*j - 73 = -3*w + 765. Is 18 a factor of w?
False
Let x be 7/((-105)/10)*1515. Is 7 a factor of (-1)/6 + 1/(-12)*x?
True
Let i = 212 + -114. Is i a multiple of 14?
True
Suppose -6*g - 2604 = g. Let l = -204 - g. Is 14 a factor of l?
True
Suppose -730 = -3*j - 2*v, 2*j - j + 4*v = 260. Suppose -5*k + 622 = -3*c, 3*k = k - c + j. Is k a multiple of 7?
False
Let n = -29 + 71. Suppose 2*d - 82 = n. Is d a multiple of 31?
True
Let c = 3789 - 2501. Is c a multiple of 11?
False
Suppose -11*v + 2*v = -9. Suppose -v + 121 = 4*f. Does 5 divide f?
True
Let x be (10 - 324/30)/(1/5). Let y be 0/(-1*(0 + 1)). Does 13 divide y - (-22 + (-8)/x)?
False
Suppose 3*d = 3*v + 108, 4*v + 110 = 3*d - 0*d. Let j(i) = i**3 + 6*i**2 - 2*i. Let o be j(-6). Let l = d - o. Is l a multiple of 15?
False
Let h = 21 + 14. Does 7 divide h*(4 - (-11)/(-5))?
True
Suppose 122*i - 63840 = 92*i. Is 38 a factor of i?
True
Suppose 0 = -3*b + b - 26. Let p(h) = h**2 + 9*h + 15. Let q(g) = g**2 + 10*g + 15. Let u(x) = 6*p(x) - 7*q(x). Does 6 divide u(b)?
True
Let d be 8 + -3 + -2 - 3. Suppose d = 6*j - 3*j - 9. Suppose j*s = -6 + 18. Is 4 a factor of s?
True
Let z(q) = -q - 1. Let x(l) = -2*l - 3. Let y(u) = -6*x(u) + 13*z(u). Let g be y(2). Suppose -2*a - w = -233, -2*w = g*a - 0*w - 351. Is a a multiple of 30?
False
Let d = -278 - -371. Is 3 a factor of d?
True
Let r(i) = 19*i + 33. Is r(1) a multiple of 3?
False
Let m(u) = -5*u - 27. Suppose 0 = -5*l + 6 - 71. Does 9 divide m(l)?
False
Let y(z) = 4*z - 109 + 203 - 12*z - 130. Is y(-11) a multiple of 26?
True
Is ((-147)/2)/(11/(-66)) a multiple of 5?
False
Let q = -25 - -196. Suppose 3*b = -24 - q. Let h = -41 - b. Is h a multiple of 11?
False
Suppose 5*v - 4905 = -5*p, 2*p - p = 1. Does 10 divide v?
True
Let w(g) = 3*g + 17. Let u be w(-4). Let c = u + 1. Does 6 divide c?
True
Suppose 4 = 2*o - o. Suppose -o*g = g - 20. Is 11 a factor of ((-2)/g)/(2/(-56))?
False
Let u(o) = -44*o + 0 - 9 + 5. Is u(-2) a multiple of 21?
True
Let a(p) = -p**3 + 2*p**2 + 6*p + 62. Is 31 a factor of a(0)?
True
Suppose -q - 3*h = -446, -4*q - 302*h = -298*h - 1816. Is q even?
True
Let g(h) = 1 - 3 + 2*h + h. Let i(t) = 6*t**3. Let o be i(1). Is g(o) a multiple of 16?
True
Let a(z) = 5*z**2 - 6*z + 19. Let b be a(5). Let d = b + -51. Does 16 divide d?
False
Suppose 7421 = 19*k - 5043. Is k a multiple of 8?
True
Suppose -20 + 192 = -2*y. Let a = -52 - y. Is 17 a factor of a*(2 + 12/(-8))?
True
Suppose -178 = -2*a + 18. Is a a multiple of 4?
False
Let z be (6/(-18))/(1/(-6)). Suppose -3*y = z*y. Suppose y = t + 4*n - 34, -t + 4*n = -4*t + 118. Does 6 divide t?
True
Let y(o) = o**2 - 7*o - 7. Let k be y(8). Let a be -38 - (2 - 1)/k. Let j = a - -61. Is 11 a factor of j?
True
Suppose -18*x + 274500 = 57*x. Is x a multiple of 15?
True
Let u(t) = 2*t - 45. Does 15 divide u(45)?
True
Suppose 80*m - 52860 - 166020 = 0. Is m a multiple of 12?
True
Let u = -11 + 11. Suppose u = -q + 5*q - 1100. Suppose -5*b = -0*b - q. Is 24 a factor of b?
False
Let d = 22 + -28. Let r = 30 + d. Does 6 divide r?
True
Let v(x) be the first derivative of -7*x**2 + 7*x + 42. Let r = -8 - -4. Is v(r) a multiple of 21?
True
Let j(q) = 35*q - 1. Suppose y - 1 = 2*s - 7, 6 = 2*s - 5*y. Does 18 divide j(s)?
False
Does 34 divide (-34*76)/(7/(-14))?
True
Does 25 divide (1 - -1 - -990) + (-46)/(-23)?
False
Suppose 16 = 12*l - 4*l. Let i be 2/(0 + 2) - -4. Suppose -x - q + 51 = -0*x, -l*q + 246 = i*x. Is x a multiple of 12?
True
Suppose -470*l + 476*l = 5148. Is l a multiple of 13?
True
Is 20 a factor of (-3 - (-987)/49)*35?
True
Let i(m) = -679*m - 14. Let t be i(-2). Does 30 divide (-36)/10 + 4 + t/15?
True
Does 23 divide (1098/(-15))/(15/(-125)) + -3?
False
Suppose t - 419 = 3*l, 0 = -2*t - 8*l + 3*l + 893. Is 31 a factor of t?
True
Let f be (-10)/(-45) + (-2)/9. Suppose -3*h - 2*o - 88 = f, 80 = -2*h + o + 3*o. Let k = 82 + h. Is k a multiple of 16?
False
Let c = -214 + 292. Does 39 divide c?
True
Let a = 13 - 13. Suppose -15 = -5*q - a*q. Suppose -l + 116 = 5*d + 3*l, 2*l = -q*d + 70. Does 8 divide d?
True
Let u(d) = 2*d - 18. Let t(r) = 4*r - 36. Let b(c) = 3*t(c) - 5*u(c). Let l be b(8). Is (-8)/(-16) + (-139)/l a multiple of 19?
False
Suppose -3*d - 9 = 0, 0 = -h + 4*d + 61 + 133. Does 13 divide h?
True
Let o be (-4)/14 - 108/14. Let l = o + 4. Does 22 divide (-160)/(-2) - l/2?
False
Let v = -16 - -38. Let u = 42 + v. Suppose -2*i + 3*x = -2*x - 133, -i + u = -3*x. Is i a multiple of 15?
False
Is 52/(-39) + (-33725)/(-15) a multiple of 58?
False
Is 21 a factor of 4*((-49)/(-56))/((-2)/(-456))?
True
Let v = 40 - 28. Is (3 - v/16)*72 a multiple of 18?
True
Let s be (110/20 - 6/4) + -2. Suppose -132 = 5*q + s*k - 1138, -5*q + 5*k + 985 = 0. Is 17 a factor of q?
False
Let q(r) = 4 - 12*r - r**2 + 0*r**2 - 6. Let s(w) = -4*w**2 - 48*w - 9. Let x(o) = 9*q(o) - 2*s(o). Is x(-10) a multiple of 5?
True
Let t(k) = k**3 + 24*k**2 + 23*k + 77. Let z be t(-23). Let s = 144 - z. Is s a multiple of 20?
False
Suppose -2*c + 3*g = 3*c - 2385, 0 = 2*c - 2*g - 950. Is 24 a factor of c?
True
Suppose -5305 - 8023 = -14*q. Does 9 divide q?
False
Let x be 5/(-15) - 14/(-6). Let r(y) = 2 + 31*y + 3 - 4. Is 21 a factor of r(x)?
True
Suppose -6*y = -11*y + 255. Let x = -15 + y. Is 9 a factor of x?
True
Suppose 0 = -3*x - 2*l + 13, -8*x + 15 = -4*x + 5*l. Suppose -x + 146 = d. Does 15 divide d?
False
Suppose 3*l = -2*u + 684, 5*u - 696 - 209 = -4*l. Is 6 a factor of l?
False
Let t = 93 - 57. Let d = 198 + t. Suppose -4*z = -10*z + d. Is z a multiple of 39?
True
Suppose -3*n - 145 = -8*n. Let u = n - 11. Is 3 a factor of u?
True
Let i(u) = -15*u - 6. Let z(g) = -7*g - 3. Let q(m) = 4*i(m) - 9*z(m). Let v be q(5). Suppose 97 = 3*n - c, -n - 3*c + 21 = -v. Is n a multiple of 11?
True
Let i(n) = 7 + n - 4 - 1 + 5 - 5*n**2 - n**3. Let b be i(-5). Suppose 55 + b = 3*t. Does 5 divide t?
False
Suppose 0*c - 13*c + 1885 = 0. Does 4 divide c?
False
Let h(c) = -2*c - 4. Let u be h(4). Let m be 18/u*(-214)/3. Suppose -5*b + m = -88. Does 13 divide b?
True
Suppose 46*m - 11419 = 27221. Is m a multiple of 56?
True
Let i(r) = r**3 - 6*r**2 - 5*r - 2. Let m be i(6). Let p = 111 + m. Is 54 a factor of p?
False
Let l(b) = -b**2 + 5*b - 4. Let w be l(6). Does 9 divide 16/(5*(-2)/w)?
False
Let k = -10 + 13. Suppose -5*v + 5*g = -20, -k*v - g + 20 = 2*v. Suppose -160 = -4*p - 5*x + 183, -296 = -3*p + v*x. Does 24 divide p?
False
Let h(c) = c - 13. Let l be h(7). Is 434/3 + 4/l a multiple of 18?
True
Suppose 0*d - 5*h = 3*d - 159, -51 = -d - h. Let r = d - 28. Is r a multiple of 4?
True
Let a(z) = 3*z**3 + 4*z - 4. Let x(p) = -p**2 + 10*p + 3. Let o be x(10). Is a(o) a multiple of 13?
False
Let g be (-5)/(135/6) + (-27705)/(-135). Let f(p) = p**2 + 7*p + 8. Let m be f(-6). Suppose m*i = -3*i + g. Is 16 a factor of i?
False
Let l be 5 + 0*(-1)/2. Suppose -z = -k - 7, l*z + k = -1 + 6. Suppose 3*h + 2*n - 125 = 0, -z*h - h = -n - 113. Does 10 divide h?
False
Let h = 1122 - 902. Does 44 divide h?
True
Suppose 0*y = 4*i + 2*y + 8, -4*y = -2*i + 16. Suppose 4*d - 4*c = 528, -2*d = -i*c - c - 266. Is 22 a factor of d?
False
Let x be 0/2 + (-768)/(-3). Suppose -2*z - t + 128 + 5 = 0, -4*z + x = 4*t. Suppose -d + 63 = 2*u, 4*d - z + 9 = -2*u. Is u a multiple of 24?
False
Suppose 3*m - 2*m - 156 = 0. Let q = m + -96. Is q a multiple of 30?
True
Suppose 0 = 5*m + 2*j + 3*j - 335, m + 2*j - 64 = 0. Suppose -4*t - m = -k, 3*k = -4*t - t + 193. Is k a multiple of 5?
False
Suppose 5*i + 0*i = -n - 45, i = -2*n - 72. Let f be -12 - n - (0 + 3). Let j = -11 + f. Is 5 a factor of j?
False
Let b(u) = -u**3 - 3*u**2 - 19*u - 375. Is 13 a factor of b(-12)?
False
Let p(m) = -4*m**3 + m + 7. Let x be p(-5). Suppose -575 + 161 = -4*r + 3*n, 0 = 5*r + 4*n - x. Suppose 3*h + r - 426 = 0. Does 27 divide h?
True
Let q be (-3 - -2)*(0 - 0). Let h = 252 - 180. Suppose 0 = s - q*s - 3*k - h, -9 = 3*k.