((-2)/28). Suppose -46 = -5*v - g, 42 = t*v + v + 2*g. Is v a multiple of 5?
True
Let l be ((-9)/(-6))/(3/6). Suppose -g - 3*p = 26 + 16, 5*g + 138 = l*p. Let m = g + 36. Is m a multiple of 6?
True
Let i be ((-2)/(-6)*-2)/(2/(-9)). Suppose 4*m - 657 = 5*g, 0*g = 3*m - i*g - 489. Does 13 divide m?
False
Suppose 3*f = 3*h + 1497, 8*f - 2515 = 3*f - 5*h. Is f even?
False
Suppose 3*o - 20 = -14. Is 6 a factor of -21 + 16 + o*(-586)/(-4)?
True
Suppose -3227 = 10*j - 86227. Does 10 divide j?
True
Let v = -312 - -320. Suppose -h + 1366 = n, 5*h - v*h = -5*n + 6830. Is 51 a factor of n?
False
Does 18 divide ((-74)/(-6) - 15) + 215/3?
False
Suppose z = 4*u - 633 - 3831, 5*u = 2*z + 5580. Does 12 divide u?
True
Let i(p) = 56*p**2 + 53*p - 52. Does 46 divide i(12)?
True
Does 10 divide ((-532)/70 + 1 + -5)*-150?
True
Let s be (-24)/(-132) + 119/11. Suppose s*c - 7*c - 420 = 0. Is c a multiple of 21?
True
Suppose -30 = 3*g - 7*g - 2*x, 25 = 2*g + 3*x. Let n(w) = 2*w**2 - 2*w - 20. Does 5 divide n(g)?
True
Let u be (-2)/(-3)*162/36. Suppose 0 = 3*z - 3*k - 9, -4*z + 3*k + 9 + u = 0. Suppose -z*s + r = -162, -2*r = r. Is 12 a factor of s?
False
Let b = -949 + 954. Suppose -q = 4*x - 1746, -b*x + 4*q + 352 = -1841. Does 23 divide x?
True
Let t be 5 - -3 - 6 - 4/2. Suppose t*p - 32 = 2*z + p, -4*p + 52 = -4*z. Is (-515)/z + (-4)/(-6) a multiple of 5?
True
Let t(n) = -20*n + 33. Let i be t(2). Is (-2354)/i + 2 + 112/(-49) a multiple of 18?
False
Suppose -51*r + 56*r + 15 = 0, -5*l - r + 5107 = 0. Is l a multiple of 146?
True
Suppose -v = 4*w - 2805, -w - 4*v = -264 - 426. Suppose -x = -5*m + w, x = -0*m - m + 144. Let r = m + -93. Is 3 a factor of r?
True
Let t = 20 - 42. Let q = t - -37. Suppose 185 = 8*a - q. Does 8 divide a?
False
Suppose -k - 3*j + 5501 = 0, 5*k + 5*j - 6815 = 20740. Is 14 a factor of k?
True
Suppose 0 = 4*b - 5*c - 6333 - 1696, 0 = 3*c + 3. Suppose 11*w - b = 1184. Does 8 divide w?
False
Suppose 0 = -6*u - 4099 + 991. Let r = -287 - u. Does 33 divide r?
True
Let g(y) = -4*y**3 + 10*y**2 - 26. Is g(-3) a multiple of 12?
False
Let m = -5826 + 15091. Is m a multiple of 11?
False
Is 14 a factor of (-2524)/(3245/(-215) + 15)?
False
Suppose 0 = -4*m - 8, 216 = 3*t - 4*m - 362. Does 10 divide t?
True
Suppose 4*d = 4*l + 1340, -8*d + 6*d - 3*l + 655 = 0. Suppose -14*o + d = -12*o. Is 17 a factor of o?
False
Let z = -2465 + 3464. Let x = -646 + z. Is x a multiple of 49?
False
Let w(j) = -7*j**2 - 113*j - 22. Let p be w(-16). Let z(g) = 10*g**2 + 4*g + 18. Is z(p) a multiple of 6?
True
Let d be (1 + 3)/4*(-3 + 3). Suppose -b - 923 + 79 = -2*k, d = 2*b. Is 57 a factor of k?
False
Let l be (-4)/(-18) - 12/54. Suppose -3*a + 0*a + 246 = l. Suppose k - a = 32. Is 16 a factor of k?
False
Let s = -1193 - -2165. Is 4 a factor of s?
True
Let u(g) = 2*g**3 + 7*g**2 + 47*g - 145. Is u(9) a multiple of 49?
True
Let v(p) = 72*p**2 - 9*p - 9. Let q be v(7). Suppose -8*c - 4*c = -q. Suppose 0 = -2*k + 5*k - c. Is 16 a factor of k?
True
Suppose -2*c - f = -2, -3*f = -4*f - 4. Suppose -5*i + 1090 + 878 = -3*d, c*d = 4*i - 1575. Is i a multiple of 34?
False
Let w = 3346 - 889. Suppose s - w = -6*s. Is 8 a factor of s?
False
Suppose -93*s + 1710088 = 617338. Does 125 divide s?
True
Suppose 4*m = 12, -1507 = v - 3*v + m. Suppose -4*h + v - 142 = b, -3*b - 625 = -4*h. Is 7 a factor of h?
True
Suppose -3*y = 208 - 4. Let i = 128 + y. Suppose -5*c + i = -25. Does 14 divide c?
False
Suppose 29*h - 70 = 24*h + 5*v, 0 = -5*v - 25. Suppose -s = -h*s + 2040. Is 8 a factor of s?
False
Let b = 794 + -456. Suppose -5*a - 93 = -b. Let s = -25 + a. Does 24 divide s?
True
Let c(o) = 36*o**2 + 32*o + 5. Is 5 a factor of c(-3)?
False
Let d = 610 - 436. Is 15 a factor of (-3 + d/18)/((-4)/(-30))?
False
Suppose c = 3*c - 252. Is -1*6 - c/(-3) a multiple of 9?
True
Suppose 5*g + 21217 = 4*c, 2*g + 32257 - 11031 = 4*c. Suppose -1611 = -11*i + c. Is 18 a factor of i?
False
Let x be (1*-94)/(-8*1)*24. Is x - (0 - (0 - -6)) a multiple of 36?
True
Suppose 0 = b - d + 2*d + 3, -3*b = 2*d + 6. Let w(n) = 3*n**2 + n + 174. Let p be w(b). Is 19 a factor of 2/((-24)/18*(-9)/p)?
False
Let p(z) = z**3 + 18*z**2 - 4*z - 29. Suppose 0 = 30*k - 22*k + 16. Let r be (9/(-6) + 1)/(k/(-72)). Is 17 a factor of p(r)?
False
Let c = -11646 + 23015. Does 34 divide c?
False
Let j = 54 - 39. Suppose -j = 7*i - 10*i. Suppose 0 = d + i*u - 11 - 54, -4*d = -2*u - 370. Is 18 a factor of d?
True
Let k = -3753 + 5534. Is k a multiple of 13?
True
Let w be -3 - 1/((-3)/21). Let p be (w - 7)*(0 + (-12)/9). Suppose -p*z + i + 303 = 0, -7 = -4*z - 2*i + 287. Is z a multiple of 25?
True
Let b be ((-55)/110)/(2/(-456)). Let j(p) = 8*p**2 - 2*p + 1. Let f be j(3). Let o = b - f. Is 13 a factor of o?
False
Suppose -6*r + 41*f - 36*f + 3885 = 0, 0 = -r - 4*f + 604. Is r a multiple of 5?
True
Suppose 8 = -4*q, 3*o + 0*o + 2*q = -493. Let i = 115 + o. Let h = 130 + i. Is h a multiple of 6?
False
Let i be ((0 - -1) + -1)/(-2). Suppose 5*a - 3308 - 112 = i. Is 18 a factor of a?
True
Let k(n) = -22*n**3 + 31*n**2 - 3*n + 20. Is k(-5) a multiple of 10?
True
Let f = -72 - -134. Suppose 3*c + 62 = f. Suppose c = -5*s + 155 + 185. Does 17 divide s?
True
Let y(t) = -t**2 + 4*t - 39. Suppose 0 = 2*u - 7*u + 5*n + 35, -u + 4*n = -1. Let r be y(u). Is (42/49)/((-1)/r) a multiple of 12?
True
Does 72 divide ((1035 - 52) + (6 - 3))*(34 - 0)?
False
Let z = -155 + 160. Suppose n - z*v - 68 - 32 = 0, -5*n + v = -476. Does 12 divide n?
False
Let q(g) = -g - 15. Let a be q(-20). Suppose 4*d - 668 = -3*t, -a*d + 323 + 787 = 5*t. Is 44 a factor of t?
True
Let m be -10*(73 + 5) - 4. Let o = m - -1162. Does 55 divide o?
False
Let s(y) be the second derivative of y**5/20 - 7*y**4/12 - 8*y**3/3 - 3*y**2 - 6*y. Let l be s(9). Suppose -l*q = -14*q + 126. Is q a multiple of 21?
True
Suppose 5 = m, -m - 141 = -3*s - 4*m. Suppose -4*y - s = -270. Suppose y = 3*x + x - u, -4*x - 4*u = -32. Is x a multiple of 7?
False
Suppose 13*t - 15*t = 8. Let i be -5 - t/8*(0 - -2). Let d(z) = z**3 + 6*z**2 - 3*z - 4. Does 5 divide d(i)?
True
Let l = 2073 - 417. Does 22 divide l?
False
Suppose 5*b - 3*v = 28192, 19*b - 18*b - 5*v - 5612 = 0. Is b a multiple of 42?
False
Let c(t) = -726*t - 3842. Is 16 a factor of c(-35)?
True
Let n(c) = c**3 - 9*c**2 - 5*c + 4. Let d = 93 + -70. Suppose -3*z - 7 = -y, 3*z - d = -y - y. Is n(y) a multiple of 13?
False
Does 4 divide 4/(28/7)*6 - 11*-50?
True
Suppose -2*w + 5654 = 4*d - 1936, 4*d + 4*w = 7596. Does 12 divide d?
True
Let d(s) be the first derivative of -4*s + 8*s - 12 - 24*s - 40*s - 20*s**2. Is d(-8) a multiple of 10?
True
Suppose f + 5760 = 19*f - 3*f. Is 12 a factor of f?
True
Let q(c) = 2*c + 522. Is q(69) a multiple of 4?
True
Let p = -17921 - -29575. Suppose 14*f - 5706 = p. Is f a multiple of 40?
True
Let s = 662 - 1093. Let z = 307 + s. Let x = 194 + z. Is x a multiple of 14?
True
Let w(c) = 3*c. Suppose 0 = s - 3*m - 8 - 4, 3*s = 3*m + 6. Let z be w(s). Let g = z - -39. Is 30 a factor of g?
True
Suppose -4*c - 3*s = -1049, -2*s = -3*c + 2*c + 254. Suppose -2*g = -c - 1100. Does 40 divide g?
True
Let y = 33110 - 19591. Is 197 a factor of y?
False
Let t(s) = -3*s**2 + 48. Let c be t(0). Suppose o + 5*o + c = 0. Is 14 a factor of (2460/o)/(-3)*(-12)/(-15)?
False
Suppose 3*n + 10 - 22 = 0. Suppose 2*g - 7 = -2*a + 7, -27 = -n*g - 3*a. Suppose 0 = -v + g*v - 580. Is 21 a factor of v?
False
Suppose -3*y + 1213 = 343. Suppose -16*d = 3*r - 14*d - 410, y = 2*r - 2*d. Is r a multiple of 17?
False
Does 3 divide (14 - 108/8)*3354?
True
Suppose 172028 = -2*u + 19*u - 288859. Does 184 divide u?
False
Does 15 divide (-6 - (3 + -13))/(7/840)?
True
Suppose 50 = 3*x - 40. Suppose 24*z = 29*z - x. Suppose 0 = z*m - 337 - 185. Does 12 divide m?
False
Suppose -40*y - 227465 = -648105. Does 44 divide y?
True
Let c(q) = -q**3 + 11*q**2 + 49*q + 13. Is 4 a factor of c(-7)?
True
Suppose -2*j = -3*o + 71, -o + 102 = -5*j - 56. Let n = -29 - j. Suppose -2*x + 5*g = g - 202, -n*x + g + 205 = 0. Is x a multiple of 30?
False
Let q(z) = -2*z**3 + 120*z**2 + 131*z - 22. Is q(61) a multiple of 4?
False
Does 23 divide (-4 - 2)*298835/(-354)?
False
Suppose -700*s + 702*s = -326. Let z = s - -349. Is 31 a factor of z?
True
Suppose 20*h + 372 = 40*h