alse
Is (-24444)/60*5/(-3) a multiple of 51?
False
Suppose -13*z = 5*z + 18. Does 28 divide (55/(-22) - z/(-2)) + 593?
False
Suppose -3*r = -r - 4. Suppose 0 = 4*x - 5*o - 20, o + 12 = -x - r*o. Does 9 divide 32/(-144) + 652/18 + x?
True
Let o = -190 + 201. Suppose -w = h - o, 0 = 5*h - 7*h - w + 24. Does 11 divide h?
False
Let f(v) = -v**3 + 4*v**2 - v + 4. Let i be f(3). Suppose 5*s = a + 90, -s + 12*a + 27 = i*a. Is s a multiple of 12?
False
Suppose -5*v + 6*v + 147177 = 24*v. Is v a multiple of 120?
False
Suppose 2*b = 3*k + 450, 6*k - k = -b - 737. Let l be (28/2)/((-8)/k). Let q = l + -124. Is 9 a factor of q?
True
Let h(x) = 2820*x**3 - 8*x**2 + 9*x. Does 64 divide h(1)?
False
Suppose 4*v = n + 2*n - 77, 3*n + 43 = -2*v. Let i(r) = 15 - 55*r - 1 + 2 + r**2 + 71*r. Is 24 a factor of i(v)?
True
Let d = -15437 - -24355. Does 127 divide d?
False
Let m(k) = 2*k - 6. Let d be m(4). Suppose 4 = q - 4*i, 3*i = d*q - i - 20. Does 4 divide (4 - 84/q)*-16?
True
Let q(o) = o**2 - 7*o - 2. Let b be q(7). Let a be 4 + (-99)/6 - 1/b. Let r = 45 - a. Is 19 a factor of r?
True
Suppose 0 = 4*w + 3*w - 448. Let h = w + 133. Is h a multiple of 29?
False
Let h be 5882/(-10) - (19/5 + -4). Is h/(-6) - -2 - -7 a multiple of 4?
False
Let m(o) = 9*o - 2. Let p be m(-1). Suppose -952 = 9*v - v. Let t = p - v. Does 12 divide t?
True
Let w(q) = -4*q**3 + 2*q**2 + 7*q + 9. Let b(j) = 2*j + 6. Let l be b(-4). Is 26 a factor of w(l)?
False
Let w = -5447 + 9107. Is 61 a factor of w?
True
Let v(r) = -r**2 + 13*r - 1. Let m = -45 - -121. Let z = m + -66. Is 9 a factor of v(z)?
False
Let f(c) = -13*c - 92. Let z be f(-10). Suppose 1920 = -z*s + 53*s. Does 8 divide s?
True
Suppose 2728*h - 341352 = 2706*h. Does 55 divide h?
False
Suppose 0 = -2*n + 4*l - 152 + 506, -354 = -2*n - 4*l. Let c = n + 351. Does 16 divide c?
True
Suppose -3*i + 0*h + 1568 = -5*h, 532 = i - 4*h. Let c = i + -271. Is 35 a factor of c?
True
Suppose 5*w - 11330 = 17885. Suppose 4*j + 1679 - w = 0. Is 17 a factor of j?
False
Let d(m) = 8*m - 12. Let l = -156 + 236. Let a be 16/l - 88/(-10). Is d(a) a multiple of 15?
True
Let b(n) = -3*n - 30 - 30 - n**2 + 58 - 192*n**3 - 177*n**3. Is b(-1) a multiple of 41?
True
Suppose 3*r - 2*y = -782, 1607 - 304 = -5*r + 3*y. Let n = 762 - r. Is 14 a factor of n?
True
Let j(c) = 17536*c - 732. Is j(1) a multiple of 109?
False
Let u(n) = -n**3 - 4*n**2 - 5*n - 2. Suppose 5*f = -7 - 8. Let s be u(f). Suppose s*r = 2*r + 54. Does 23 divide r?
False
Let y = -78 - -77. Let p be (1 + y)/(3/(-6)*-2). Does 6 divide (-70)/(-28)*(-1 - p - -25)?
True
Let a be 2/16 + (-8 - 8915/(-40)). Suppose -4*z - p = -325, 2*z + z = 5*p + a. Is 20 a factor of z?
True
Suppose 5*i = 15, 2*q - 4*i + 198 = -0*i. Let j = -93 - q. Suppose -2*d + d + 32 = j. Is 16 a factor of d?
True
Suppose 0 = 5*a - 5*o - 2118 - 2272, 2*a - 4*o - 1762 = 0. Let i = -611 + a. Is 24 a factor of i?
True
Suppose -2*p - c = -12450, -4046 = -2*p - 2*c + 8398. Does 9 divide p?
True
Let n = -255 + 139. Let x = n + 512. Is 33 a factor of x?
True
Let r = -7633 - -12689. Does 130 divide r?
False
Let o(x) = -3*x**2 - 4*x - 15. Let w be o(-13). Let d = -206 - w. Suppose 2*c + 104 - d = 0. Is c a multiple of 40?
True
Suppose h = -3*p + 48750, 2*p - 22*h - 32474 = -27*h. Does 91 divide p?
False
Let p = 139 - 127. Let u(j) = 2*j**2 - 23*j + 7. Is u(p) even?
False
Let s be (252/(-105))/((-6)/20) - 5. Suppose -794 = -5*o + s*a, -a = -o + 3*a + 169. Does 10 divide o?
False
Does 59 divide 2 + 14/(-12) + 2370114/324?
True
Let t(o) = o - 3*o + 255 - 5*o + 4*o. Let h be t(0). Suppose -u = -2, -4*z - u + 107 = -h. Does 18 divide z?
True
Let x(q) = q**3 - 11*q**2 + 2*q - 20. Suppose -38 = -3*z + 5*j, -j = 2*z - 5*j - 26. Let h be x(z). Is (-10)/15*(-345)/h a multiple of 23?
True
Let o = -487 - -10288. Is 10 a factor of o?
False
Let w(p) be the third derivative of -3*p**4/8 - 10*p**3/3 + 36*p**2. Let z be w(-3). Let q = 39 - z. Is q a multiple of 8?
True
Let l(p) = 9*p**3 - 24*p**2 + 36*p - 50. Is l(9) a multiple of 73?
True
Let r(m) be the third derivative of 7*m**5/20 + 5*m**4/24 - m**3 + 7*m**2. Does 17 divide r(3)?
False
Let c be (4/(-12))/(3/36). Let z be (-246)/c*(160/(-15))/8. Let y = z + 105. Does 17 divide y?
False
Suppose 0 = 2*i + 70 - 78, -21396 = -4*v - 2*i. Does 11 divide v?
False
Let v(c) = -2*c + 73. Let i be v(-8). Let d = i - 49. Is d a multiple of 40?
True
Suppose -l - 2*z = -414, 6*z - 842 = -2*l + 9*z. Is l a multiple of 22?
True
Let r = -1522 + 2197. Let v be 5/(-5) + r - 2. Suppose 0 = 6*s - v - 306. Is 17 a factor of s?
False
Is 141 a factor of (-7*12764)/(-7) + (11 - 10 - 3)?
False
Suppose -13*x + 321 + 27488 = -30327. Is x a multiple of 43?
True
Does 10 divide 1255/(((-3)/(-10))/(((-3864)/115)/(-14)))?
True
Let m = -59 - -83. Let p = 67 - m. Let q = p - 25. Is q a multiple of 2?
True
Let m be 55/44 + 51852/16. Does 3 divide m/18 + 85/(-765)?
True
Let q = 5843 + 2741. Does 74 divide q?
True
Let i = 3907 + 20862. Is i a multiple of 7?
False
Suppose 4*h + 2 = -2*u, 2*u + 5*h = 5*u - 8. Suppose -6*w - u = -13. Suppose -d - 114 = -2*i, 0 = -5*d + 8 + w. Is i a multiple of 42?
False
Suppose 0 = 5*o + 4*r - 1951 - 77, 399 = o + 3*r. Does 23 divide o?
False
Suppose 0 = 4*v + 4*q + 2 - 6, 2*v + 5*q = 8. Is (1/v)/(9 + (-1834)/203) a multiple of 6?
False
Let j be 3 + -4 - (2 - (4 - -17)). Let l be 4/(-6) - 20/(-30). Let t = j + l. Does 6 divide t?
True
Let g be 2716/3 - 15/45. Let l = g - 588. Let c = 581 - l. Does 33 divide c?
True
Let i(j) = 32*j**3 - j. Suppose 0 = -4*r - 2*d, 2*r - 12 = 2*d - 0*d. Let m be (r + -3)*(0 + -1). Is i(m) a multiple of 5?
False
Let x(w) = 2*w**3 - 2*w**2 + 6*w - 7. Let c = -29 + 26. Let d be 3 - (2/c - (-4)/6). Is 7 a factor of x(d)?
False
Let l = 5032 + -3284. Suppose l = 4*n - k, 0*k - 2*k = -4*n + 1744. Does 60 divide n?
False
Suppose 163 = 10*x - 147. Let m = 34 - x. Suppose 5*c = -m*p + 43, 3*c = 2*p - 5*p + 45. Does 8 divide p?
True
Let l(d) = 69*d + 11794. Is l(-117) a multiple of 8?
False
Suppose 741*f - 4*c = 742*f - 23, -3*c = -4*f - 41. Suppose 2*l = -192 - 60. Is 7 a factor of ((-22)/4 - f)*l?
True
Let c(i) = 16*i**2 - 6*i**2 + 11*i**2 - 8*i - i**3 - 45*i**2 + 28. Is c(-24) a multiple of 10?
True
Let x be (588/(-77) - -8)*11. Suppose 0 = -4*v + 4*j + j + 40, 5*v + j = 21. Suppose o + x = 2*t - v, -4*t - o + 27 = 0. Does 3 divide t?
True
Let w(h) = -9*h + 21. Let i(c) = -28*c + 63. Let m(s) = -2*i(s) + 7*w(s). Let g be m(-8). Suppose 5*q = 4*j - g, -5*j + 85 = 4*q + q. Is 9 a factor of j?
True
Let y be -4 + (1292/57 - (-2)/(-3)). Suppose 20*g - y*g = 106. Is 19 a factor of g?
False
Let z(t) be the first derivative of -3*t**2/2 + 41*t + 1. Let l(i) = -57*i**2 - 104*i - 2. Let g be l(-2). Does 23 divide z(g)?
False
Let t(w) = -4*w**3 + 5*w**2 + 7*w + 5. Let n be t(7). Let j = -713 - n. Is j a multiple of 12?
True
Suppose 61*z - 24836 = 50*z + 2653. Is 17 a factor of z?
True
Let d(o) = 4*o**2 - 9*o + 14. Let p be d(-10). Let l be 4 + (8 - (-3 + 6) - 4). Suppose -12*h = -l*h - p. Is h a multiple of 14?
False
Let j = 769 + 151. Suppose -h - j = -3*h. Is h a multiple of 53?
False
Suppose 726 = 7*b + 516. Let f be 2/((-2)/8*-2). Suppose -3*j = -f*v + 69, -3*v = 6*j - j - b. Does 5 divide v?
True
Suppose 72*m + 47*m = -15*m + 4040100. Does 90 divide m?
True
Let t(u) = 16*u + 74. Let q be t(-6). Is -19 - q - (-154)/2 a multiple of 61?
False
Let x(y) = 3*y + 2. Let c be x(0). Suppose 5*p - 14 = 3*w, -p + 18 = c*p + 3*w. Is 16 a factor of ((-57)/(-6) + p)*(-20)/(-3)?
False
Let g be (54*(-2)/(-8))/(30/(-40)). Is (-1 + 184/6)*g/(-2) a multiple of 8?
False
Let p(l) be the first derivative of -1/4*l**4 - 7/3*l**3 + 6*l + 9 - 7/2*l**2. Is 9 a factor of p(-7)?
False
Let r(k) = 5*k**3 + 18*k**2 + 17*k + 17. Let d(j) = 4*j**3 + 17*j**2 + 16*j + 16. Let q = 66 - 69. Let i(l) = q*r(l) + 4*d(l). Is i(-11) a multiple of 31?
False
Let h = 58 - 56. Let j(c) = 57*c**3 - 3*c**2 + c + 4. Is 25 a factor of j(h)?
True
Let n be (1/(4 - (-54)/(-14)))/(2/(-12)). Let t(g) = g**3 + 4*g**2 - g + 2. Let o be t(-4). Is n/(-63) - (-122)/o a multiple of 2?
False
Let t = -23 + 35. Suppose -t = m - 5*m. Suppose -133 = m*s - 10*s. Is s a multiple of 6?
False
Let z = 49 + -44. Let i(j) = 4*j - z + 0*j - j + 6*j. Is 22