Suppose 102 = -4*y + 102. Suppose -v + y*v + 8 = -2*m, -3*m = -2*v + 21. Is 3 a factor of v?
True
Suppose -3*r = -3*f - 79245, -2*r + 222*f - 218*f = -52836. Is 12 a factor of r?
True
Suppose -3*g + 4*q + 22594 = 6*q, -37660 = -5*g - 4*q. Does 66 divide g?
False
Is 260/3*1374/10 a multiple of 13?
True
Let u(x) = x**2 - 5*x + 46. Let a be u(21). Let b = a - -311. Is 11 a factor of b?
True
Let q(z) = -14*z**3 - 4*z**2 + 2. Let t be q(-3). Let b = t + -9. Does 18 divide b?
False
Let f = -78 + -14. Let k = 63 - f. Does 31 divide k?
True
Let a(v) = -5*v + 183. Let k be 12/(-8)*186/(-9). Is 28 a factor of a(k)?
True
Let j(q) be the first derivative of q**3/3 - 29*q**2/2 - 2*q + 102. Is 15 a factor of j(31)?
True
Suppose -14 = 5*f - 9, -3*f - 687 = -2*a. Suppose 588 = 3*c - a. Is 10 a factor of c?
True
Suppose 352*l = 302*l + 6500. Let r(s) = 21*s + 2. Let o be r(-6). Let u = o + l. Does 3 divide u?
True
Let z = -60 + 60. Suppose 5*h - 79 - 71 = z. Suppose -3*y = 2*k - h, 0*y - 3*y - 117 = -5*k. Is k a multiple of 2?
False
Suppose 4 = 4*o, -38985 = -2*z - 9*o + 12*o. Is 9 a factor of z?
True
Suppose -4*g = 8, 5*g + 34 = 13*k - 10*k. Suppose 5*i + k*i = 4667. Is 25 a factor of i?
False
Let x(v) be the second derivative of 23*v**4/24 - 5*v**3/3 + 9*v**2 + 5*v. Let i(c) be the first derivative of x(c). Does 15 divide i(5)?
True
Is 21 a factor of 10712/(-26)*(-35)/20?
False
Let c = 6455 + -432. Is c a multiple of 68?
False
Let q be (-6885)/(-9) - (-1 - (5 + -3)). Suppose 40*h = 44*h - q. Is h a multiple of 24?
True
Let y(z) = -22*z - 43. Let k be (-62)/6 - -1 - 12/(-36). Let r be y(k). Let l = 275 - r. Is 14 a factor of l?
False
Suppose 0 = g - 4*y - 5503, 0 = 4*g + 7*y - 13*y - 21942. Is g a multiple of 9?
False
Suppose 8*v = -0*v + 2*v. Does 4 divide (v - -3)*3/(-27)*-642?
False
Is 41 a factor of (0 - (1 + 40))*(37 + -134)?
True
Let y = -299 - -79. Let q = 321 + y. Let p = q - 59. Does 16 divide p?
False
Suppose -s + 3*s = -5*q + 494, -5*q = -3*s - 509. Suppose c - 4*u = -25, 4*u = -5*c - u - q. Is 5 a factor of -4 - (1052/(-28) + 9/c)?
False
Suppose -j + 570 = 18*j. Is 5/j - 5/(-30)*671 a multiple of 28?
True
Let a = 38 + 78. Let b = -394 + 754. Suppose -b - a = -7*h. Does 19 divide h?
False
Suppose 119416 = 98*l + 20*l. Does 28 divide l?
False
Suppose 179 - 6 = 4*y + 5*c, -2*y + 5*c = -49. Let h be 1 - 2 - (2 - -2). Let a = h + y. Does 3 divide a?
False
Suppose -5*x + 5*o + 4475 = 0, -x + 3*o = -2*x + 895. Suppose 10*z = 5*z + x. Suppose 0 = -26*y + 25*y + z. Does 16 divide y?
False
Suppose 0 = -8*f - f - 7038. Let g = f - -1434. Does 10 divide g?
False
Suppose -9722 = -19*h + 633. Does 4 divide h?
False
Let o = 3 - 76. Let d(t) = 297*t + 183. Let b be d(-1). Let w = o - b. Is 5 a factor of w?
False
Let d = 858 - -8712. Is 174 a factor of d?
True
Does 81 divide (-470615)/(-70) - 25/350?
True
Suppose -10926 = -3*w + 2*u, 9998 = 4*w + 4*u - 4610. Is w a multiple of 32?
False
Let d(o) = o**3 + 2*o**2 + 2. Let l(h) = -h**3 - 8*h**2 - 5*h + 14. Let j be l(-7). Let g be d(j). Is (g/10)/((-4)/10)*-36 a multiple of 6?
True
Suppose 10*b = 21*b - 1672. Is 19 a factor of b?
True
Let p(g) = -9*g - 64. Let w(r) = 18*r + 129. Let b(l) = 9*p(l) + 5*w(l). Is 19 a factor of b(18)?
False
Let f(p) = 3*p + 33. Let u(m) = -6*m - 67. Let k(n) = 5*f(n) + 2*u(n). Let q(t) = 14*t + 154. Let g(b) = -16*k(b) + 3*q(b). Is g(-9) a multiple of 5?
True
Let h be 42/(-147) + 184/7. Suppose -6*q + h*q = 1600. Does 16 divide q?
True
Let n(x) = -x**3 + 58*x**2 + 120*x - 268. Is n(59) a multiple of 8?
False
Let a be ((-777)/7)/(((-15)/6)/5). Let n = a + -130. Let r = n + -40. Is 13 a factor of r?
True
Let l(t) = 81*t**2 - 4*t + 8. Let b be l(2). Let s = -102 + b. Suppose -222 = -3*c + 4*a + a, 3*c = -a + s. Is c a multiple of 8?
False
Does 37 divide (2/8)/(-1) - (11 + 73395/(-12))?
True
Suppose d - 8*d = -686. Let t(c) = 39 - d*c - 106*c + 203*c. Is 34 a factor of t(5)?
True
Is 7 a factor of (6 + -254)/(-31) + (0 - -2) + 59021?
True
Let r = 3280 + 5586. Is 93 a factor of r?
False
Suppose 4*n + 1364 = 6*n. Let a be n/7 + (-12)/(-21). Suppose -4*r + 558 - a = 0. Is r a multiple of 26?
False
Suppose 484*x = -522*x + 968*x + 578550. Is x a multiple of 75?
True
Let t = -43 - -104. Let i(k) = -7 + t - 11*k + 21*k + 14*k. Is 26 a factor of i(7)?
False
Suppose -63*c = -70*c + 19600. Is c a multiple of 56?
True
Let k be ((-4878)/15)/(-1) + (-22)/110. Suppose 3*a - 6*a + k = 2*g, -a + 5*g = -97. Is a a multiple of 8?
False
Suppose 0 = 5*z - 1415 - 5655. Suppose z = 21*n - 3038. Does 29 divide n?
False
Suppose 3*o - 117165 = 24*r - 23*r, 195279 = 5*o - 3*r. Is o a multiple of 69?
True
Let u be (-33852)/(-15) - (-9)/45. Suppose 4*p - 2671 - u = 0. Is p a multiple of 8?
True
Suppose 2*h - 424 = -4*y, 3*y - 154 = -3*h + 467. Does 2 divide h?
True
Let q(y) = 4*y**3 + 2*y**2 - 3*y - 3. Let r be q(-2). Let s = 29 + r. Is s a multiple of 4?
True
Let x = 61 - 59. Is (-46 + x)*14*1/(-2) a multiple of 11?
True
Let s(l) = 2*l**3 - 3*l**2 - 12*l - 24. Suppose -3*h + 4*c = -30, 2*h - 4*c + 3*c = 15. Does 32 divide s(h)?
False
Let h = 172 - 167. Suppose 5*u - h*g - 435 = 0, 3*u - 2*g - 55 = 207. Is u a multiple of 13?
False
Suppose -3*h = -4*s - 35851, 4*h + 31*s - 47795 = 30*s. Is 4 a factor of h?
False
Suppose 164 + 187 = 3*o - 5*m, 0 = 4*o + 2*m - 442. Does 39 divide (-1053)/(-18)*o/12?
True
Let c = -104 - -104. Suppose 0 = -2*v - c*v - 6, i - 3*v = 163. Is i a multiple of 12?
False
Let l(k) = -2*k - 17. Let c be l(-10). Suppose -808 = c*t - 7*t. Let s = t + -98. Does 8 divide s?
True
Suppose 4*o - 223847 = -9*z, -z - 10925 + 35806 = 5*o. Does 133 divide z?
True
Suppose -m = -4*m + 4941. Let w be m/(81/30 + -3). Is 8 a factor of (-6)/(-57) - w/190?
False
Suppose 3*k = q, 5*q - k = -0*q + 14. Let b(l) = 50 - 6*l + 6*l - l**q + l. Is 10 a factor of b(0)?
True
Suppose -6 = 8*a - 11*a. Let u(d) = a - 3 + 8 + 6*d + 1. Is u(7) a multiple of 12?
False
Let p(o) = -2*o + 71. Let r(m) = 7*m - 212. Let s(a) = -8*p(a) - 3*r(a). Is 9 a factor of s(-25)?
False
Does 17 divide 3/2*((-832)/(-6) + 4)?
False
Let w be 2/4*0/(-5 - -12). Suppose w = -b + 376 + 287. Is b a multiple of 13?
True
Let s be (18629/26)/((-4)/(-8)). Suppose 14*j - 5325 = -s. Is 7 a factor of j?
False
Let f(g) = -g**2 - 29*g + 14593. Does 38 divide f(0)?
False
Let l(r) = 65*r**2 - r + 16. Let a = 265 - 269. Is l(a) a multiple of 10?
True
Let o be (-5)/1*16710/(-75). Let k = -663 + o. Does 27 divide k?
False
Suppose -5*s + 1290 = -5*j, 4*s - j - 925 = 98. Let n = -217 + s. Is n a multiple of 2?
True
Let w = 120 + -18. Suppose 95*p + 1113 = w*p. Is p a multiple of 6?
False
Let j(k) = -12*k**2 - 2*k + 7 + 12 - 1214*k**3 + 1212*k**3 - 23*k**2 + 7*k. Does 13 divide j(-18)?
False
Let w = 30125 - 28800. Does 25 divide w?
True
Let j be ((-2)/(-4))/((-5)/60). Is ((-2)/(-10) - j/(-5)) + 270 a multiple of 27?
False
Let h be (-4)/(-18) - (34/(-9) - 1). Suppose -3*x - h*u = -2*x - 318, 2*x - 696 = 2*u. Is 12 a factor of x?
False
Let f(c) = -3*c**3 - 38*c**2 - 15*c + 37. Let z(v) = v**3 + 13*v**2 + 5*v - 12. Let y(h) = -3*f(h) - 8*z(h). Is y(-8) a multiple of 8?
False
Let o be 4584/(-14)*574/(-123). Suppose -74*d + 70*d + o = 0. Is 9 a factor of d?
False
Suppose 10*m = 6*m + 96. Let j be ((-84)/m)/(-2 - (-54)/28). Suppose 4*i + j + 159 = 2*b, 0 = 3*i. Does 13 divide b?
True
Let m = -60 + 66. Suppose 0 = -4*f + m*f + 6. Is (-171)/f*(0 - (-4)/6) a multiple of 26?
False
Suppose 0 = -42*n + 43*n. Suppose -m - 3*m + 5*f - 15 = n, -4*m - 2*f + 6 = 0. Suppose 10*b - 832 - 828 = m. Is b a multiple of 15?
False
Suppose -292283 - 280765 = -168*u. Is u a multiple of 26?
False
Suppose 0 = -8*j + 14 + 2. Let g(v) = -v**3 + v**2 - 4*v + 12. Let f be g(j). Suppose -r - r - 10 = f, -4*r = x - 47. Is 4 a factor of x?
False
Is ((-45)/(-5))/(2/(-48)*(-12)/288) a multiple of 32?
True
Let a = 1 - 52. Does 10 divide 57 + a + 204/1?
True
Let h = 87 - 3. Suppose -n = -4*k - h, -2*n - 3*k - 26 = -161. Is 6 a factor of n?
True
Suppose -32*l + 195 = -17*l. Is 28 a factor of 36/(-78) + 17842/l?
True
Let p(m) = -m**3 + 20*m**2 + 20*m + 39. Let l be p(21). Does 14 divide 2 - ((-2055)/8 - l/144)?
False
Suppose -4971*k = -4943*k - 56. Let z be 33 - (-1 - 0) - -1. Suppose z = y - p, -3*y + 3*p = 