
True
Let x = 140 - 136. Suppose -5*l + x*s + 99 + 253 = 0, -3*l + s = -214. Is l a multiple of 21?
False
Let y(u) = 15*u + 4. Let t be y(-3). Let f = -215 + t. Does 13 divide (f/10)/((-2)/5)?
False
Is 103 a factor of -236*(15 + 2527/(-38))?
True
Let d(n) = n**2 - 4*n - 1. Let m(h) = h**2 + 3*h + 2. Let g be m(-4). Let t be d(g). Does 4 divide t - (-14)/2*(-6)/14?
True
Suppose -309663 - 83516 = -53*m - 12904. Is m a multiple of 35?
True
Let y = -69 - -43. Suppose -400 = -5*x - 80. Let h = y + x. Is h a multiple of 11?
False
Let b be (-8)/(-60) + (7393/15)/1. Let k = b - 396. Is 4 a factor of k?
False
Let w(p) = 3*p**2 + 21*p + 4. Let o be w(13). Suppose -12*v = 4*v - o. Is v a multiple of 49?
True
Is 18 a factor of (-84)/1470 + (-440901)/(-105)?
False
Suppose 2*m = 4*m + 5*s + 17, 3*m - 22 = 2*s. Suppose 0*w - 2*w - 2*p = -m, 3*w - p - 10 = 0. Suppose -5*a = w*t - 56, 6*t - 37 = -4*a + t. Does 7 divide a?
False
Suppose -3*a - 5 = 2*c, 0*a + 10 = c - a. Suppose -4*y + 557 = 5*r, -8*r + 11*r - 329 = -c*y. Is r a multiple of 7?
False
Let d(v) = -4*v**2 - 11*v + 17. Let c be d(11). Let n be (15/6 + -3)/((-2)/c). Let b = -53 - n. Is 27 a factor of b?
False
Let k(i) = -i**3 + 5*i**2 + 980*i + 32. Does 31 divide k(-30)?
False
Let a(b) = -87 + 98 - b + 6*b + 9*b**2 - 9*b - 6*b. Is 24 a factor of a(-8)?
False
Let z(y) = 47*y - 37. Let v(i) = 24*i - 18. Let s(l) = -11*v(l) + 6*z(l). Let d be s(7). Let b = d - 55. Does 13 divide b?
False
Let c(d) = d**3 + 6*d**2 - 48*d - 31. Is c(10) a multiple of 22?
False
Suppose 17*q = 4*q + 975. Does 10 divide (220/100)/(2/4)*q?
True
Let g(d) = -d**3 + 8*d**2 - 15*d + 7. Let r be g(9). Let y = r + 718. Is y a multiple of 41?
False
Let n = -68 + 333. Let d(k) = k**2 - k + 170. Let r be d(0). Let i = n - r. Is i a multiple of 19?
True
Let q = 5812 - 2186. Does 26 divide q?
False
Suppose 13*v = -10195 + 43865. Suppose -3*u = 7*u - v. Is u a multiple of 26?
False
Suppose 4*m = -3*f + 54285, -3*f + 2*m = 7727 - 61994. Does 83 divide f?
False
Let d = 199 + -194. Suppose w = -p + 24, -3*p - d*w + 79 = -9*w. Is p a multiple of 11?
False
Suppose -3*q + 5*l = -25, -2*l + 19 = 3*q - 4*l. Let y(n) = n**3 + n**2 - 5*n - 6. Does 14 divide y(q)?
False
Let o be (4 - (-4 + 8))/1. Suppose -5*a + 27 + 108 = o. Is 19 a factor of a?
False
Let w(a) = 10*a**2 - 52*a - 19. Let o be w(6). Suppose -o*k + 5140 = -5416. Is 26 a factor of k?
True
Suppose -5*q + 725 = -2*q + 5*p, p - 733 = -3*q. Suppose 0 = -3*s, 21*v - 22*v - s = -q. Is 5 a factor of v?
True
Let o = -19 - -19. Let u be 5/(-20)*-30*(-2 - o). Is 5*-12*3/u a multiple of 3?
True
Suppose -v + 3*m - 27 = -86, 200 = 5*v + 4*m. Suppose -2*l = -0*l - 64. Let u = v - l. Does 11 divide u?
False
Suppose 0 = 1065*n - 1064*n + 92. Let v = 172 + n. Does 16 divide v?
True
Let q = -11694 + 13173. Is q a multiple of 3?
True
Suppose 0 = -2*o - 5*c + 757, -3*o - 3*c - 1815 = -8*o. Let u = 452 - o. Does 18 divide u?
False
Suppose 0 = 57*s - 6*s - 6588 - 5448. Does 95 divide s?
False
Let t be 1742 + (-4 - (6 + -8)). Suppose -r = 4*r + 5*w - t, -2*w = 3*r - 1048. Is r a multiple of 44?
True
Let g = 183 + -181. Suppose 0 = -5*d - 0*d + 75. Is (-868)/(-15) + g/d a multiple of 42?
False
Let f(s) = -s**3 - 4*s**2 - 16. Let y be f(-5). Suppose -10*j = -y*j - 306. Is 44 a factor of j?
False
Suppose 64 = 2*k + i, 4*k - 2*k + 4*i - 76 = 0. Suppose -2*u + k = -4*h, 9*u + 45 = -5*h + 10*u. Is 4 a factor of 855/21 + h/(-35)?
False
Suppose -4*g + 130 = 5*q, -11 = -q + 5*g + 15. Let d = 86 - q. Is 10 a factor of d?
True
Let w(l) = -l**2 - 21*l - 8. Let r be w(-20). Let s = 26 - r. Let n = 165 + s. Is 18 a factor of n?
False
Let l(t) = -5 - 7 + 3*t - 11. Let v be l(10). Does 13 divide (-143)/3*(v/(-1) - -4)?
True
Is 2 a factor of (11 + 28/(-1))*-17 + -1*3?
True
Suppose 52*o - 54*o + 2*g + 5168 = 0, 3*g + 15480 = 6*o. Does 7 divide o?
True
Let s(p) be the second derivative of -17*p**4/4 - p**3/6 - 2*p**2 + 6*p. Let k(t) = -26*t**2 - 2. Let w(x) = 5*k(x) - 3*s(x). Does 5 divide w(-1)?
False
Let p = -154 - -87. Let c = p - -67. Does 10 divide (-3 + 0 - -4)*(20 + c)?
True
Let m be 212/44 - (20/11 - 2). Suppose -m*y = 4*d + 784, -4*d + 2*d - 392 = -5*y. Let c = 297 + d. Does 11 divide c?
False
Suppose -13*f = -5385 - 1167. Does 23 divide (-2*(-1)/(-2))/((-3)/f)?
False
Suppose 4*w = 53 + 27. Suppose 22 - w = b. Suppose -n + 20 = 3*r, 5*r - 2 = -b*n + 33. Is n a multiple of 5?
True
Let t(c) = -4*c + 30. Let u be t(7). Suppose -u*b - 8 = -6. Is 43 a factor of b/2*-12*43?
True
Suppose -63988 = 175*l - 207*l + 115916. Does 6 divide l?
True
Suppose -111*w - 14788 + 59448 = -34*w. Is w a multiple of 58?
True
Suppose -2107 = -5*w + 2*c, 0*w = 4*w - c - 1685. Does 5 divide w?
False
Let n = -1923 - -2490. Is n a multiple of 21?
True
Is ((76010/25)/11)/(5/25) a multiple of 4?
False
Let y = 28 + -34. Let j be 3/y + 27/6. Suppose -2*q + 3*k - 6 = -45, -q - j*k = -3. Is q a multiple of 4?
False
Suppose -15*h + 20150 = -46*h. Let b = h + 724. Is b a multiple of 37?
True
Let z = -9843 + 13472. Is 5 a factor of z?
False
Does 14 divide -187451*(-25)/5225 + -3*(-4)/114?
False
Let k be (-5 - (-5 + 4))*-2. Let g be 16/2 + k/(-2). Suppose -2*a - 3*f + 66 + 107 = 0, 3*a = -g*f + 260. Does 8 divide a?
True
Suppose 15 = 4*z + 3. Suppose 0*u - z*u = 0. Suppose 3*s - 48 - 375 = u. Is s a multiple of 41?
False
Let n = 16392 - 11576. Is 112 a factor of n?
True
Let f = -3 + 9. Suppose 3*n + 3*x - 438 = 0, -4*x + f + 2 = 0. Suppose b - 7*b = -n. Does 24 divide b?
True
Let m(t) = t**2 + 9*t - 11. Let f be m(-12). Suppose -18*h + f*h = 3150. Is h a multiple of 25?
True
Let z = 20803 - -6567. Is 17 a factor of z?
True
Let v(o) = 42*o**2 + o - 12. Let i be v(-5). Suppose 5*k = 20, -2*f + 527 = -5*k - i. Is f a multiple of 10?
True
Let a be (-44076)/(-9) - (28/12)/7. Suppose -6*r - 1657 = -a. Is 20 a factor of r?
True
Suppose -2*g + 20645 = -x, 170*g - 51616 = 165*g + 3*x. Is 97 a factor of g?
False
Let j be ((-18)/15)/((-39)/(-15) - 3). Suppose j*b - 3 = 3. Suppose 3*t - d - 1067 = -2*t, -432 = -b*t + 3*d. Is t a multiple of 14?
False
Suppose -7*t = -8*t - 3. Suppose 3*a - 56 = -a. Is (-12)/t*a + -3 a multiple of 13?
False
Let p = -723 - -721. Let h(y) = 45*y**2 + 3 - 2 + 6*y + 0*y + 1. Does 17 divide h(p)?
True
Suppose -4*f + 4*m - 16 = 0, -2*m = -f - 6*m - 14. Let z(q) = 2*q + 16. Let t be z(f). Suppose t*n - 162 = -5*x, x + 4*n - 42 = -0*n. Does 6 divide x?
True
Let n(t) = -2*t**2 + 52*t + 4424. Is n(0) a multiple of 60?
False
Suppose -4*d - s = -21278, d + 4*d - s - 26602 = 0. Suppose -11*z + z = -d. Is 11 a factor of z?
False
Let b(p) = -3*p - 109. Let z be b(-37). Suppose -936 = -2*k - 4*u, 6 = -0*u + z*u. Does 24 divide k?
False
Let c(s) = 1 - 16 - 6*s + 3. Let x be c(-6). Is (13/(-2))/((-4)/x) a multiple of 13?
True
Let w(x) = 9 + 7 - 1 - 75*x + 10 + 10. Is 20 a factor of w(-7)?
True
Let a = 503 - 282. Let n = 107 - 102. Suppose 2*l - a = -g, 5*l - n*g = l + 463. Does 28 divide l?
True
Suppose 1546*m - 20075 = 1542*m + 3*x, 10013 = 2*m - 5*x. Is 8 a factor of m?
True
Suppose 3*i + 57 = -f, 3*f + 5*i = -0*f - 179. Let u = 65 + f. Suppose u*x + 4*d - 28 = -0*x, x = 4*d - 4. Is x a multiple of 8?
True
Suppose -41*c = -45*c + 268. Let r(t) = -34*t**2 + t + c*t**2 - 3 + 40*t**2 + 1. Is 18 a factor of r(1)?
True
Let i(k) = 91*k**2 + 152*k - 912. Does 36 divide i(6)?
True
Suppose 2*z = -2*z, -5*c + 25 = -2*z. Suppose c*w + u - 2*u - 116 = 0, w - 28 = -u. Let f = -15 + w. Is 6 a factor of f?
False
Let z be 10 + (-11 - 4) + (5 - 0). Let g(d) = -2*d**2 + 2*d + 116. Let q(j) = -3*j**2 + 2*j + 117. Let h(v) = 4*g(v) - 3*q(v). Is h(z) a multiple of 7?
False
Let s(v) = 2*v + 31. Let g be s(-14). Suppose -g*l = -l - 944. Suppose 6*q - l = 14. Is q a multiple of 27?
True
Let u be (2 - 1)/(143/(-33) - -4). Is 33 a factor of (-4)/u*(-4 + 17719/52)?
False
Let q(x) = 3*x**2 + 12*x - 198. Let j be q(-18). Suppose j*n - 552*n = 6384. Does 25 divide n?
False
Let u(k) = k**3 - 8*k**2 - k - 25. Let y(l) = l**2 + l - 1. Let q(x) = -2*x**2 + 12*x - 17. Let z be q(4). Let c(o) = z*u(o) + 4*y(o). Is 27 a factor of c(12)?
True
Suppose 10*s = 2*s + 64. Suppose s*t - 28 = t. Is (t/(-3) - -1)*(-16 - 5) a multiple of 4?
False
Let p = 299 + -163. Let s = 145 + p. Is s a multi