*g, q = -4*g + 3*g - 1. Is (-2)/(-15) - d/60 a multiple of 20?
True
Suppose -l - 18 = -7*l. Is (((-28)/l)/(-1))/((-68)/(-1326)) a multiple of 13?
True
Suppose 407 - 8115 = -82*k. Let i be 1 - 72 - (-2 - -1). Let h = i + k. Is 3 a factor of h?
True
Is 4 a factor of (-20 + 16)*(2 - 454)?
True
Let m(g) = -97*g - 1470. Does 4 divide m(-25)?
False
Let x(s) = 3*s**2 + 4. Let w be x(2). Suppose -4*i = -0*i + w. Does 14 divide (-3)/28*i - 137/(-7)?
False
Suppose -4*d + 24 = -4*t, -4*t - d + 2*d = 18. Let i be (-3 + 1 - -10) + t. Suppose i*m - 27 = -4*o - 3, -2*m + 10 = o. Is m a multiple of 2?
True
Let b(d) = -106*d - 80. Let k(n) = n - 2. Let s(x) = b(x) - 6*k(x). Is s(-4) a multiple of 78?
False
Let z be 2/(-2)*(-11 - -2). Suppose z*l + 2 = 10*l. Suppose l*k - 88 = 32. Does 7 divide k?
False
Let f(g) = -5*g - g**2 + 5*g - 9*g + 3. Does 5 divide f(-4)?
False
Let c be ((-770)/105)/(2/54). Does 33 divide c/(2*2/(-4))?
True
Let u(y) = -35*y + 263. Is u(-15) a multiple of 24?
False
Suppose -42*k + 232117 + 161255 = 7*k. Is k a multiple of 223?
True
Let s = -112 - -48. Let d = s - -56. Does 3 divide -90*(1 - d/(-6))?
True
Let s = 322 + -300. Is (-2)/s*1 + (-896)/(-176) a multiple of 5?
True
Suppose 0 = 5*j + 2*v - 33, 3*v = 4*j + j - 13. Suppose -2*b - 265 = -7*b + j*r, 0 = r + 5. Is 7 a factor of b?
False
Let j = -971 + 2211. Suppose 5*c = 3*k + j, 4*k - 371 = -c - 146. Is 9 a factor of c?
False
Let p(v) = 8*v**2 + 37*v + 18. Let z be p(-8). Does 25 divide ((525/(-9))/7)/((-2)/z)?
True
Let y = 4277 - 2149. Does 8 divide y?
True
Is 0/(-7) - (-20112)/4 a multiple of 81?
False
Let h(v) = -2*v**2 + 2*v + 2. Let g be h(0). Let u(y) = -2*y**2 + y**2 - 24 + 7 + 2*y**g. Is 13 a factor of u(6)?
False
Is 43 a factor of ((-7518)/4)/((3/(-7))/((-620)/(-217)))?
False
Suppose a - 4*p = 7414, 0 = -5*a - 18*p + 14*p + 37142. Is 79 a factor of a?
True
Suppose -86*m + 59*m = 162. Is 5 a factor of (8740/(-24))/19*m?
True
Let w(i) = -2*i**2 - 8*i - 5. Let o be w(-1). Is 34 a factor of -1 + 4 - (-430*o + -4)?
False
Let l = -709 - -664. Is 5 a factor of (-664)/(-20) + 54/l?
False
Suppose -5*r = -4*p + 11899, 5*r + 5602 = 2*p - 355. Suppose -3*d = q - p, 3*d + 4*q - 878 = 2096. Is d a multiple of 15?
True
Let q = 4652 - -1900. Does 156 divide q?
True
Let s be (-7752)/(-285)*(-10)/(-4). Suppose y + 0*y - 5*t - s = 0, 0 = -5*y - t + 444. Does 3 divide y?
False
Suppose 2*b = -41*s + 37*s + 93040, 8 = b. Is s a multiple of 152?
True
Let s(j) = 4*j + 60. Let i be s(-14). Suppose 2*k + 7 = -3, 0 = -i*u - 5*k + 1863. Is 11 a factor of u?
False
Suppose d + 3*h - 21 = 0, 0 = 4*d - h + 3 - 113. Suppose 10*m - 193 - d = 0. Suppose 27*n = m*n + 835. Is 26 a factor of n?
False
Suppose -3*k + 4*g = -4851, -35*k - 6*g + 8085 = -30*k. Is k a multiple of 33?
True
Suppose -125263 + 17796 - 139637 = -24*d. Does 88 divide d?
True
Let i(r) = -3*r**3 - 9*r**2 + 85*r + 19. Is i(-18) a multiple of 83?
False
Suppose 3*y - 6*y = -0*y. Suppose -1 + y = -c. Is 1 - (-1 - 15/c) a multiple of 3?
False
Suppose -16*y + 131192 = 21*y - 33*y. Is y a multiple of 44?
False
Let y be 3/2*(-17 + -71). Let t = y - -333. Is t a multiple of 12?
False
Suppose h - w + 5 = 2, -5*w = 5*h - 15. Let p be h + 0 + (-5 - -3 - -2). Suppose 0 = 8*k - p*k - 192. Is 12 a factor of k?
True
Let i(b) = -b**2 + 41*b - 223. Let t = 539 - 505. Is 10 a factor of i(t)?
False
Suppose 54 - 470 = 8*z. Is (z/(-7))/(38/133) even?
True
Suppose 2*j + 12 = 3*x - 88, j - 2*x = -49. Suppose -101 = -5*c - 566. Let l = j - c. Does 8 divide l?
True
Let y(u) = 28*u - 11 - 16 - 24 + 7. Is y(15) a multiple of 39?
False
Let h(s) = 15*s**2 - 52*s**2 - 2 + 8*s + 36*s**2 + 15*s**2. Is 16 a factor of h(3)?
False
Let t(q) = 8*q**3 - 26*q**2 + 33*q - 24. Is 8 a factor of t(7)?
False
Let j(c) = -c**2 + 53*c + 285. Is 4 a factor of j(30)?
False
Let j = 83903 + -39353. Does 15 divide j?
True
Suppose -2*b + 5*y + 34 - 10 = 0, b + 14 = -4*y. Let p(q) = -6*q**3 + 4*q**2 - 4. Let z be p(b). Let v = z + 198. Is v a multiple of 22?
False
Let c(y) = 726*y**2 - 19*y - 6. Does 20 divide c(-6)?
False
Suppose -152505 = -6*a + 94545. Is 18 a factor of a?
False
Suppose 1 = -f + 6. Suppose 4*p - 2*b - 2 = -22, 2*b + 25 = -f*p. Let v = 75 + p. Is 11 a factor of v?
False
Let m(g) = -4*g - 17. Let d be m(-6). Let r(a) = a**3 - 6*a**2 - 5*a - 9. Let c be r(d). Suppose -5*b = q + 2*q - 422, -c*b + 421 = 4*q. Is b a multiple of 21?
False
Let s be 18/10 + 2/10 + 0. Suppose -6*a = -2*a + 5*i - 615, -345 = -s*a + 5*i. Is a a multiple of 18?
False
Suppose 6*d - 110 = -5*d. Let g = -5 + d. Suppose 0 = 4*f - g*b - 890, -b - 673 = -f - 2*f. Is 25 a factor of f?
True
Let o(d) = 21*d + 1467. Is o(-47) a multiple of 6?
True
Let w = 464 + -3503. Let p = -1689 - w. Is p a multiple of 75?
True
Suppose 3*n = 4*v - 442, 2*v - 282 = 3*n + 164. Is 27 a factor of (2 - -7)/(2 - (-295)/n)?
True
Let f = -3707 + 3712. Let n(w) = 4*w**2 + w + 3. Let a be n(6). Suppose -2*t + u + 149 = 3*t, f*t = -3*u + a. Does 6 divide t?
True
Is (12513/873)/(2/1836) a multiple of 86?
True
Let i(y) = -2*y**3 - 3*y**2 - 3*y + 3. Let o be ((30/25)/(-2))/((-2)/(-10)). Is i(o) a multiple of 22?
False
Suppose 3 = 19*y - 22*y. Let i be (2 + y + 10)/(2/134). Suppose 4*w + 113 = i. Does 12 divide w?
True
Suppose -15*w - 23652 = -86652. Does 30 divide w?
True
Let b(z) = z**2 + 147*z - 4872. Is 9 a factor of b(92)?
False
Let s(n) = 206*n**2 + 76*n - 706. Is s(11) a multiple of 48?
True
Let a(n) = 2*n**2 + 6*n - 3. Let v be a(-4). Suppose l + 931 = v*p + 2*l, l = p - 191. Is p a multiple of 11?
True
Let k(f) = -2*f**3 + 103*f**2 + 32*f + 20. Does 160 divide k(30)?
True
Let i = 168 - 61. Suppose -2*r = -25 - i. Is r a multiple of 11?
True
Suppose 3*p - 5*b = -0*p - 103, 2*b = 3*p + 97. Let n = 124 - p. Does 5 divide n?
True
Let s = 8608 + -7455. Does 10 divide s?
False
Let m(n) = 8*n - 4*n + 6*n + 14*n. Suppose -3*r + 5*o + 3 = 5, -2 = -3*r + 4*o. Is 36 a factor of m(r)?
True
Suppose -295*p = -306*p + 129030. Does 51 divide p?
True
Let g = 18 - 14. Let s be (g + 14/(-4))*-62. Let r = s - -51. Is 20 a factor of r?
True
Suppose 3*x - 4*n - 66 = 0, 2*x + 44 = 4*x + 3*n. Let f(r) = 7*r + 150. Is 11 a factor of f(x)?
False
Let f = 19 - 15. Suppose -q - 279 = -3*u, 3*u - 4*q - 359 = -71. Is 19 a factor of u/36*39 - f/6?
False
Suppose 499 = 5*o + 4*b, -5*o = b - 3*b - 523. Is o a multiple of 4?
False
Suppose -13*n = -8*n - 20. Suppose 0 = u - 5*c - 64 - n, -u - 3*c = -52. Is u a multiple of 21?
False
Let t = -7359 - -10694. Is t a multiple of 15?
False
Let s = 126 - 132. Is 320/56 + s + 268/7 even?
True
Let a(g) = g**3 - 4*g**2 - 10*g - 3. Suppose 3*q + l - 16 = 2, 0 = q + 5*l - 6. Let j be a(q). Let s(n) = n**3 - 7*n**2 - 11*n + 17. Does 10 divide s(j)?
True
Suppose -6477 = -2*n - 4*y + 4707, 0 = -n - 3*y + 5592. Is 12 a factor of n?
True
Suppose 297493 = 38*c - 639131. Is c a multiple of 237?
True
Suppose 0*g + 21 = 2*y - g, -5*y = -3*g - 54. Let c(i) = 27*i - 34. Let r be c(y). Let f = -19 + r. Is 25 a factor of f?
False
Suppose -4*d = f - 9, 0 = 5*f - 5*d - 8 - 62. Suppose 3*x = -14*l + f*l + 65, x + 5*l - 3 = 0. Is x a multiple of 2?
False
Let x be -22 - -22 - (12/2 + -2). Does 9 divide (-740)/x - 4*4/(-16)?
False
Let r(m) = -m**3 + 19*m**2 - 9*m + 34. Let t be r(18). Let w be t/91 - 2 - (-602)/(-26). Let l = w + 281. Is 43 a factor of l?
True
Suppose 44 - 227 = -3*r. Suppose -57*o + r*o - 468 = 0. Does 26 divide o?
False
Let l(r) = -4*r - 7. Let i = 11 - -4. Suppose -2*z - 3*z + 45 = -2*b, 0 = -3*z + i. Is 10 a factor of l(b)?
False
Let s(t) = t**3 + 8*t**2 + 6*t + 7. Let r be s(-7). Suppose r = l - b, 3*l - 46 = -0*b + 2*b. Suppose 4*d + 19 = 5*d - c, 2*d - l = -3*c. Is 3 a factor of d?
True
Suppose 13*m - 16*m - 12953 = -t, 0 = 4*m + 4. Is t a multiple of 47?
False
Suppose 0 = -0*g + 3*g. Suppose g = 3*w - 5*w. Suppose -m + 19 = -w. Does 4 divide m?
False
Let r = -650 + 61. Let q = r - -858. Is 20 a factor of q?
False
Suppose 0 = 35*j - 44*j + 146025. Does 128 divide j?
False
Let g = 3831 + -1374. Is g a multiple of 9?
True
Suppose 0*d = d - 25. Let i = d - -26. Let h = 112 - i. Is 13 a factor of h?
False
Let i(l) = 26*l - 20*l + 10*l**2 + 2 + 7. Is 18 a factor of i(-4)?
False
Let m(n) = 1041*n + 521. Is m(6) a multiple of 61?
Fa