2 + 153. Does 15 divide t?
False
Let c be (18/(-6) - -4)/(1/121). Suppose 306 = 5*q - 2*m, -3*q + 5*m = -c - 74. Does 20 divide q?
True
Suppose 2*j - 5*h - 9 = 5*j, -8 = -j + 2*h. Suppose -j*t + 4*t - 72 = 0. Suppose -f - 3*f + t = 0. Is f a multiple of 6?
False
Let l be (-2)/(1*(-3)/6). Let r(u) = -u**2 + 12*u - 20. Let v be r(8). Suppose -l*g = -2*g - v. Is 6 a factor of g?
True
Let u(h) = -4*h + 130. Is u(-25) a multiple of 58?
False
Suppose -16*v = -1534 - 514. Does 9 divide v?
False
Suppose -45 = -z - 4*h, -2*z - 3*z + 4*h + 321 = 0. Suppose 0 = g - z - 37. Suppose -4*y - 2 = k - g, -4*y = -5*k + 432. Does 22 divide k?
True
Suppose 2*d + t = 1452 + 785, -4*d + 4*t = -4444. Is 12 a factor of d?
True
Let z = 6 + -4. Suppose 132 = -z*w + 4*w. Let v = w - 6. Is v a multiple of 30?
True
Let q be (4 + -1)*70*1. Let t(p) = p**2 - 10*p + 4. Let x be t(10). Suppose x*r - q = -r. Is 14 a factor of r?
True
Suppose 11*d = 14*d + 2061. Does 5 divide 3/(-18) - d/18?
False
Let o(n) = -4*n - 40. Let k be o(-9). Suppose 0 = b + h + 4*h + 1, 0 = -5*b - h - 29. Does 5 divide k/(21/b - -3)?
False
Suppose -30*h + 8157 = -4803. Does 4 divide h?
True
Suppose -7 = -5*s + 8, 4*s = -4*j + 12. Suppose j = -13*o + 14*o. Suppose 2*w - 4*w + 84 = o. Does 15 divide w?
False
Let p(z) = -z**3 + 19*z**2 - 82*z - 10. Is 3 a factor of p(10)?
False
Suppose -g - 4*l = -238, 403 + 341 = 3*g - 3*l. Let q = -121 + g. Does 14 divide q?
False
Suppose 43*v - 39166 + 15774 = 0. Is 14 a factor of v?
False
Suppose -3*m - 10 = 2*m, -q - 5 = 4*m. Suppose -218 = -q*c + x - 5*x, -386 = -5*c - x. Suppose 0 = -s + 4*s - c. Does 16 divide s?
False
Let k(s) = -s**3 - 2. Let y be k(-2). Let w(o) = o - 2. Let v be w(y). Suppose -3*f + 68 = -v*p - 29, -4*p - 4 = 0. Does 10 divide f?
False
Suppose 704*h - 44030 = 667*h. Is 34 a factor of h?
True
Suppose 0 = 16*g + 15 - 1647. Does 15 divide g?
False
Let z(m) = -2*m + 12. Let d be z(6). Suppose b - 8*b + 14 = d. Let h(p) = 10*p**3 + 2*p**2 - 2*p - 2. Is h(b) a multiple of 17?
False
Suppose -2*u = -4*x + 90, -x + 2*x = u + 24. Suppose n + x = -2*n. Let v(q) = -2*q. Does 3 divide v(n)?
False
Let l(x) = 19*x + 21*x + 19 + 11 - 8. Does 29 divide l(5)?
False
Suppose 2*d = k - 0*d + 5, -4*k - 3*d - 9 = 0. Is k - (-3 + -78 + 1) a multiple of 18?
False
Suppose -5*k = 2*d - 2 + 6, -4*d - 8 = -3*k. Let u be (-140)/24 - d/(-12). Is 2/(u/(-153)*3) a multiple of 5?
False
Let w = -40 - -48. Suppose -w + 17 = 3*j. Suppose -30 = -r - r - q, j*q = -r + 5. Does 17 divide r?
True
Let t(g) = -g**2 - 6*g + 1. Let r be t(-7). Let n(v) = -v**3 - 7*v**2 - 7*v + 3. Let j be n(r). Suppose -p = j - 21. Is 6 a factor of p?
True
Suppose 0 = -4*p + 4, -2*p + 5 = -k + p. Does 10 divide (56/(-21))/(k/15)?
True
Suppose -5*o + 36 = -19. Suppose 6*i - o*i = -225. Does 11 divide (-3 + 3)/1 + i?
False
Let r = -2253 + 4378. Does 26 divide r?
False
Let o(x) = x**3 + 4*x**2 + 4*x + 3. Let d be o(-3). Suppose -2*n + 5*a + 48 - 9 = 0, d = -n - a + 2. Suppose n = -2*g + 15. Is g a multiple of 4?
True
Let x be (-1)/(-5) + 2/(-10). Suppose x*r + r = 4. Does 8 divide (0 + r)*(2 - -2)?
True
Let s = -3 + 4. Let u = 3 + s. Suppose -4*c + 0*j - u*j = -264, 4*c - 264 = -3*j. Is c a multiple of 22?
True
Let f(n) = 2*n**2 - 4*n - 39. Is 14 a factor of f(11)?
False
Suppose 3*w - 2*x - 320 = -0*x, w = -3*x + 92. Is 8 a factor of w?
True
Suppose 939 = 5*f + 59. Does 11 divide f?
True
Let l be -91 + (-7)/(7/21*3). Let h = -142 - -285. Let p = l + h. Does 9 divide p?
True
Suppose -84 - 62 = -2*p. Does 14 divide p?
False
Suppose 1060 = 4*k - w, 0 = k + w - 358 + 98. Does 20 divide k?
False
Let o be (4 + (4 - 8))/(-3). Let v be 1 + -1 + 1 - o. Suppose 4*r + v = 105. Is 10 a factor of r?
False
Let u = -809 - -1305. Does 42 divide u?
False
Let i be (5 - 8/2 - -17) + 2. Suppose -r = p - 110, 0*r = -5*r - i. Is 19 a factor of p?
True
Let f(h) = -125*h + 4. Is f(-2) a multiple of 20?
False
Let w(t) = 10*t**2 - 3 - 6*t - 3*t**3 + 2*t**3 - 2*t**2. Let l = 110 + -105. Does 13 divide w(l)?
False
Suppose -915 + 2770 = 5*v. Suppose -4*f - 3*z = 92 - v, -3 = -3*z. Suppose -3*j - f = -3*h, h - j = 4*h - 69. Is h a multiple of 17?
False
Let u = -91 + 93. Is (5/(-25))/(1/u)*-30 a multiple of 6?
True
Suppose 11*u - 14*u = 0. Suppose u = -5*j - 2*d + 2, 4*j - 4*d = 2*j - 4. Let w = j - -25. Does 13 divide w?
False
Suppose 2*l - 9 = l. Let z(i) = -i**2 + 16*i - 7. Does 7 divide z(l)?
True
Suppose -5 = 2*z - o, 6*z + 3*o = z + 15. Let l be 138/7 + 8/28*1. Suppose -x - 3 = 5*k - 7, z = -5*x - 3*k + l. Is x a multiple of 4?
True
Suppose -80 = -r + 4*k, -112 = -r + 5*k - 27. Let c be 8/r + (-17)/15. Does 10 divide (0/(-4) + c)*-50?
True
Let k be (-2)/(-12)*3*-248. Let w be -1*k/2 + 0. Suppose 0 = -3*t - 2 + w. Does 10 divide t?
True
Let v(b) = -2*b - 37. Let q be v(-17). Is (-27)/q - 18/6 even?
True
Let n be ((-4)/10)/((-13)/(-65)). Let d = 33 - n. Is d a multiple of 15?
False
Let x = -58 + 121. Is 14 a factor of x?
False
Let y be 0 - -3 - (1 - 5 - -90). Is (6 - 1)/((-5)/(y + 3)) a multiple of 10?
True
Suppose -3*q - 42 = 3*b, -4*q - 3*b = -7*b + 16. Let i(l) = 3 - 2 - 7*l + 2. Is 22 a factor of i(q)?
True
Suppose -4*h = 4*h - 1232. Is h a multiple of 11?
True
Let c(l) = -17*l - 7. Let j(x) = -x**3 + 5*x**2 - 3*x + 7. Let y be j(5). Let n be c(y). Suppose -2 + 22 = -4*r, 2*f = 3*r + n. Is f a multiple of 12?
False
Let u(z) = 81*z**3 + z**2. Let d be u(-1). Let n be d/(-45) + 4/18. Is 14 a factor of (-7 - -13)/(n/26)?
False
Suppose -3 = -g + 4*g. Let o be -14*(g - 2/(-4)). Suppose -2*c + o*c = 155. Does 7 divide c?
False
Let m(c) = 2*c + 16. Let u be m(-7). Suppose 5*f = 4*y + 911 - 103, 2*f - u*y - 322 = 0. Suppose 4*b = f + 188. Is b a multiple of 24?
False
Let f = 177 - 173. Suppose -5 = 5*o, -7*o + 828 = f*n - 3*o. Is 16 a factor of n?
True
Suppose h - 31 = 3*r + 2*r, -5*h - 25 = 5*r. Let q(n) = 3*n**2 + 5*n + 12. Does 26 divide q(r)?
False
Let g = 1600 - 1083. Does 53 divide g?
False
Suppose -5*p + 1798 = 4*s, -652 = -2*p + 5*s + 87. Suppose 0 = 4*w + 2*y - y - p, 274 = 3*w + 2*y. Is 12 a factor of w?
False
Suppose -5*l = 30 - 20. Does 13 divide -1*(-216 - 2) + l?
False
Let b = 93 + -30. Let r = 150 - b. Suppose -2*w + 45 = -r. Is 30 a factor of w?
False
Let b = 4070 + -1958. Is b a multiple of 11?
True
Let k(g) = 23*g - 6. Let y(l) = l**2 + 1. Let b be y(1). Is 10 a factor of k(b)?
True
Suppose -4*r = -5*x + 794 - 3663, 3582 = 5*r - 2*x. Is 33 a factor of r?
False
Suppose 5*q + x = 1761, -5*x + 203 = 4*q - 1189. Is q a multiple of 11?
False
Is 36 a factor of ((-10)/20)/(2/(-288))?
True
Suppose 48 = 6*q - 0. Suppose -882 = -v - q*v. Is 19 a factor of v?
False
Suppose 21*r - 220115 = -14*r. Does 51 divide r?
False
Let r(w) = -18 - 29*w + 26*w + 22*w. Does 7 divide r(5)?
True
Let t = -59 - -166. Suppose 2*f = -v - 39 + t, 0 = 4*v + f - 258. Suppose 2*g + v = 2*s - s, 2*g = -5*s + 308. Is 17 a factor of s?
False
Suppose 4*n + 16 = 0, 0 = -2*s + 484*n - 489*n + 5518. Is s a multiple of 13?
True
Suppose 4*w - 205 = 5*n - 870, 0 = -2*n - 5*w + 266. Suppose 5*y + n - 433 = 0. Suppose 7*h = 2*h + y. Does 6 divide h?
True
Is (-4)/5 + (-276128)/(-160) a multiple of 75?
True
Suppose 17*w = 13*w + 8. Let p(x) = 20*x + 4. Is 18 a factor of p(w)?
False
Suppose 5*g - 4*x + 19 = 0, 0 = -5*g + 2*g - 3*x - 33. Is ((-6)/g)/(-3) - (-2463)/21 a multiple of 13?
True
Let m be (-2)/(-5) - (-64)/40. Suppose 5*u + 44 = -l, 5*u - m*l + 22 + 25 = 0. Does 8 divide 3 - (-5)/((-5)/u)?
False
Let k(r) = -3*r - 5. Let t = 49 + -33. Let g = 9 - t. Is 8 a factor of k(g)?
True
Let t be 6/9*(-30)/(-4). Suppose -t*m - 2 = p, 5*p - m + 2*m = 14. Is p even?
False
Let k(d) = d**3 + 2*d**2 - 3*d + 2. Let b be ((-24)/(-56))/((-2)/(-14)). Is k(b) a multiple of 19?
True
Let o = 136 + -65. Is o a multiple of 11?
False
Let h(k) = k**2 + 3*k - 1. Let b(l) = l**3 - 8*l**3 + 2*l**2 - 1 - l - l**3 + 0*l. Let o be b(1). Does 13 divide h(o)?
True
Let n be 78/18 - ((-4)/6)/(-2). Suppose -n*q + 119 = 3*q. Is q a multiple of 13?
False
Let b = -206 - -634. Is 10 a factor of b?
False
Let v be 3/(-9) + (-253)/(-3). Let m = 342 - 187. Suppose -5*s + m = d + d, 3*s + 3*d = v. Is 11 a factor of s?
True
Suppose 5 + 40 = 5*t - 5*o, 5*t = o + 45. Suppose t = d + 5. Suppose 2*a = -3*g 