+ (-209)/l?
True
Let t be ((-36)/(-10) - (-4)/10)/1. Suppose -m = 3*m - t*v - 204, -2*m = -4*v - 104. Is m a multiple of 5?
True
Let w(k) = 64*k. Let m be w(3). Let x be ((-15)/(-5))/(3/(-6)*-2). Suppose -2*y + 4*i = -88, 4*y - m = x*i + i. Is y a multiple of 26?
True
Let v(l) = -l**3 - l**2 - 2*l - 3. Let o be v(-2). Suppose -6*y + o*y + 130 = 0. Is y a multiple of 10?
True
Suppose 3*k + k = 0. Suppose k = -2*n + n + 50. Suppose 35 = 5*z - n. Is z a multiple of 4?
False
Suppose -5*y - 4*v + 2243 = -2839, 1020 = y + 2*v. Is 39 a factor of y?
True
Let a(y) = -13*y**3 + 6*y + 17. Is 11 a factor of a(-3)?
False
Suppose -2*s + 7*s + 1640 = 0. Let j = s + 464. Does 32 divide j?
False
Suppose -3*d = -170 - 319. Is d a multiple of 14?
False
Let j(q) = -2*q**3 - 11*q**2 + 3*q + 10. Let z be j(-7). Let u = 13 + -8. Suppose u*a + 2*f - z = 0, -156 = -4*a + 4*f - 36. Is 8 a factor of a?
False
Let f be (-73 + -1)/(20 - 22). Let m = -19 + f. Is m a multiple of 9?
True
Let n = 10 + -3. Let b = n + -3. Is (-109)/(-3) + b/(-12) a multiple of 18?
True
Suppose 96*q - 105*q + 19557 = 0. Is 53 a factor of q?
True
Let r(o) = -o**3 + 2*o**2 + 8*o + 4. Let i be r(4). Suppose q + 8 = 5*q, b - 248 = i*q. Does 32 divide b?
True
Let b = 354 + -146. Does 26 divide b?
True
Suppose 8*f - 259 = 597. Let r = f + -41. Does 12 divide r?
False
Is 14 a factor of -38*((-75)/12 - 18/24)?
True
Let y be 1296/11 - (-5 - 53/(-11)). Suppose 3*p - 7 = 4*b, 0 = 2*b - 4. Suppose p*x = 3*x + y. Is x a multiple of 19?
False
Let c(q) = 3*q**2 + 7*q - 4. Let s be ((-2)/6)/((-31)/(-15) + -2). Does 12 divide c(s)?
True
Let u = -32 + 32. Suppose u = -2*h + 3*s + 19, -5*h + 76 = s + s. Does 8 divide h?
False
Suppose -b + 496 + 200 = 0. Is 24 a factor of b?
True
Suppose x - 1026 = 3*g, 22*g = -5*x + 19*g + 5166. Is x a multiple of 12?
True
Suppose 2*p - 11 = 4*g + 101, -5*p + 5*g + 300 = 0. Is p a multiple of 22?
False
Let j = -4141 - -7412. Does 10 divide j?
False
Is 53109/63 - 0/2 a multiple of 25?
False
Let c(i) = i**2 - 4*i + 3. Let p be c(0). Suppose -5*b + 88 = -p*b. Is 5 a factor of b?
False
Let q(u) be the second derivative of -u**4/12 - u**3/2 + 57*u**2/2 - u. Suppose 72*o - 74*o = 0. Is q(o) a multiple of 8?
False
Let d = -8 + 12. Suppose b = 0, d*b + 531 = 3*u + 3*b. Let s = u - 121. Is s a multiple of 14?
True
Let w be 29/8 + (-45)/(-120). Suppose 2*a = r - 1911, 2*a - a - 7680 = -w*r. Does 12 divide (r/(-95))/(2/(-10))?
False
Let d = -297 - -147. Let f = -55 - d. Let n = f + 7. Is 34 a factor of n?
True
Suppose -y + a = -383, -a = -19*y + 22*y - 1129. Is y a multiple of 17?
False
Let w(u) = -15*u - 53. Is 9 a factor of w(-11)?
False
Suppose -y = y + 3*r - 12, 0 = y - 4*r + 16. Suppose 2*z - c - 22 = -2*c, y = z - 5*c + 11. Does 12 divide 214/z + 6/27?
True
Let t = 9 + -5. Suppose 0 = t*n - 7*n - 36. Let l = n + 24. Is l a multiple of 12?
True
Suppose -9 = -4*f - t, 0 - 3 = -5*f - 4*t. Suppose 5*u + 2*k - 51 = 6*k, -u - 3*k = 5. Suppose -c + 31 = 2*c - d, -f*d = c - u. Is c a multiple of 5?
True
Suppose z - 6 - 5 = 0. Let i = 0 + z. Suppose 0 = -n + 7 + i. Is n a multiple of 18?
True
Let r(u) = 2*u**2 + 4 + 1 + 0*u**2 - 6*u - 3. Let x be r(4). Is 236/5 + (-2)/x a multiple of 18?
False
Let h(u) = 7*u**3 + 2*u**2 + 5*u - 23. Is h(4) a multiple of 18?
False
Suppose 9*l - 12036 = 6693. Is 35 a factor of l?
False
Let n(m) = -m**3 - 7*m**2 + 6*m - 4. Let s be n(-8). Let q = -51 - s. Let k = q + 94. Does 16 divide k?
False
Let h be -14*((-6)/(-4) + -1). Let x = -2 - h. Suppose r = -3*d - 7 + 62, -2*r - x*d = -109. Is r a multiple of 19?
False
Suppose 5*s - 2*s = 15. Let c = 77 - 74. Suppose c*h + 5*u = 105 + 31, -4*h - s*u + 183 = 0. Is 14 a factor of h?
False
Let w = 212 - -399. Is 47 a factor of w?
True
Does 13 divide 4/14 - -4*(-63657)/(-63)?
False
Suppose 10*s - 8*s + 178 = 0. Let j = -124 - s. Is 164/7 - (-15)/j a multiple of 23?
True
Let z = -123 - -270. Is z a multiple of 18?
False
Let w = -748 + 850. Is w a multiple of 50?
False
Let u = 407 - 357. Is u a multiple of 4?
False
Suppose -12*y - 4*y = -22848. Does 5 divide y?
False
Let o(x) = x**3 + 9*x**2 - 17*x - 22. Let v be o(-10). Suppose -4*j + 4*k + 64 = 0, 0*k = 5*j + 3*k - v. Is j a multiple of 4?
True
Let c(t) = -16*t - 16. Is c(-21) a multiple of 8?
True
Does 11 divide 52/(-91) + 6056/14?
False
Suppose 309*t = 305*t + 420. Does 5 divide t?
True
Is -1 + 842/6 + 8/12 a multiple of 3?
False
Suppose -4*o + v + 0*v + 344 = 0, -5*o + 430 = 3*v. Let h = o + -22. Is 32 a factor of h?
True
Suppose 0 = 14*l + 11*l - 75325. Does 10 divide l?
False
Let v be (2/11 - (-204)/(-396))*-18. Does 36 divide 434/v + 15/(-45)?
True
Let z(w) = 2*w + 584. Is z(-38) a multiple of 10?
False
Suppose 5*s = 4*g - 18, -2*s + 3*g - 2 = 8. Let j(u) = -9*u**3 - u + 2. Let p be j(s). Suppose 0 = -5*y + 34 + p. Is 22 a factor of y?
True
Let l(j) = 3*j**2 - 26*j - 125. Is l(32) a multiple of 53?
False
Suppose 2*o - 116 = 50. Suppose v - o = 67. Is v a multiple of 50?
True
Let g = -416 - -429. Let s(i) = -i**2 - i + 69. Let h be s(0). Suppose 4*p + g = h. Does 3 divide p?
False
Suppose 3*s = -5*r + 808, -r - 796 = -3*s - 18. Is 7 a factor of s?
False
Suppose 763 = 5*g - 1307. Does 41 divide g?
False
Suppose -4*r + 3 - 43 = 0. Is 5 a factor of r/(2/1 - 4)?
True
Suppose 12*m + 12 = 6*m. Is (m + (0 + 100 - 0))/2 a multiple of 9?
False
Let p = -37 + 24. Let n = p + 56. Suppose -h = 8 - n. Does 9 divide h?
False
Let m(c) = 13*c**2 + 309*c + 15. Does 18 divide m(-25)?
False
Suppose -2*z = d - 49, 0*d + d - 3*z - 69 = 0. Suppose -l = -3*h + d, -5*l + 3*h = 247 - 10. Let q = l + 153. Is q a multiple of 18?
True
Let j = -611 + 1445. Is j a multiple of 31?
False
Suppose 2*c - 4*w = 0, c = -0*c + w - 1. Does 11 divide 9/1*(c + 15)?
False
Suppose -9*s + 10*s - 3399 = w, 3*s + 3*w = 10209. Does 35 divide s?
False
Does 44 divide (1 - -2) + 484 + 21/(-7)?
True
Let b(u) = -4*u**3 - 6*u**2 - 23*u - 1. Is b(-7) a multiple of 31?
False
Let p = 22 - 20. Does 19 divide -4*73/(-8)*p?
False
Is (-1 - 15)*(-902)/11 a multiple of 82?
True
Suppose -8*n = -1178 + 282. Does 14 divide ((-55)/4 - 2)/((-42)/n)?
True
Let k(c) = 145*c + 3. Suppose -5*j - 2 = -2*d, 3 = 5*d - 2*d + j. Is 20 a factor of k(d)?
False
Let n = 187 - 139. Does 2 divide n?
True
Suppose -3*q - 4*s + 1809 = 0, 2399 = 4*q + s - 0*s. Is q a multiple of 29?
False
Suppose 4*l - l = 60. Is 7 a factor of l?
False
Let f = -27 - -27. Suppose -5*k + 524 - 84 = f. Does 8 divide k?
True
Let f = -58 + 48. Is 7 a factor of (42/4)/((-5)/f)?
True
Let i(a) = 3*a + 2 - 4*a - a - 17. Let z be i(-11). Let r = 67 - z. Is 12 a factor of r?
True
Let s = -174 + 422. Is s a multiple of 8?
True
Let d(s) = 2 + 14*s**2 - 2 + 1 - 15*s**2 - 18*s. Suppose 3*p - 40 = 5*p - 3*m, 3*p - 3*m + 54 = 0. Does 23 divide d(p)?
False
Does 13 divide -1 - ((-3514)/3 + 15/45)?
True
Let f = -200 - -322. Is 13 a factor of f?
False
Is 27 a factor of (0 - -9 - -6)*7/1?
False
Suppose 517 = 5*r - 103. Let a = r - 56. Let d = -38 + a. Is 10 a factor of d?
True
Let s(p) = -p**3 + 12*p**2 - 19*p + 6. Let r(h) = 5*h - 20. Let t(c) = 7*c**3 - c**2 + c - 1. Let w be t(1). Let f be r(w). Is s(f) a multiple of 12?
False
Does 37 divide (15509/39)/((-4)/(-12))?
False
Suppose 0 = k + 4*k + 4*f + 750, 0 = 4*f - 20. Does 7 divide 2 + k/(-6) + 2/6?
True
Suppose 308 = 71*v - 69*v. Is 13 a factor of v?
False
Suppose o + 58*r = 57*r + 160, o = 5*r + 190. Is 15 a factor of o?
True
Suppose -3*w - 3*w = -42. Suppose 133 = 3*m + w. Does 11 divide m?
False
Suppose -6*g + 2088 = 6*g. Is g a multiple of 6?
True
Let z = -357 - -597. Does 14 divide z?
False
Suppose f - 5*n = 125 + 47, 4*n = 5*f - 797. Is f a multiple of 26?
False
Let g = -17 - -19. Suppose -u + 42 = -g*f + 6*f, 2*u - 84 = 4*f. Does 6 divide u?
True
Suppose 2*q + 3*d + 42 = 0, 3*q = 5*q - 3*d + 18. Is 13 a factor of -1 - (2 - 4) - q?
False
Let y be 24/21*14/4. Let a(h) = 5*h**2 - 5*h + 1. Let t be a(y). Suppose -g - m = -t, -5*g - 4*m + 2 = -298. Is g a multiple of 28?
True
Let h be 4/(-6)*(-2730)/20. Let f = h + -53. Is 7 a factor of f?
False
Let p(r) = 97*r - 19. Let w be p(4). Does 41 divide (-3 - -5)/(6/w)?
True
Is 3 a factor of 15886/752 - (14/(-16) + 1)?
True
Suppose 99 + 171 = 5*r. Suppose -8*j = 61 - 757. Let k = j - r. D