e of 18?
False
Let t = 22 + -18. Suppose 0 = 4*b + t*w - 32, -20 = -b - 3*w - w. Suppose 0 = -b*h + 86 + 66. Does 37 divide h?
False
Let l(h) = -h**2 - h + 9. Let o be l(3). Is (1/(-1))/(o/48) a multiple of 8?
True
Suppose 30 = 4*x + 250. Let f = 179 + x. Is 34 a factor of f?
False
Let f(x) = -23*x**3 + x**2. Let o(m) = m**2 + 5*m - 2. Let k be o(-5). Let c be 2/k*(4 + -3). Does 9 divide f(c)?
False
Let d be ((-2)/7)/(26/(-182)). Let f be ((-125)/15)/(d/(-30)). Suppose -6*p = -p - f. Is 5 a factor of p?
True
Let o = 1819 - 1102. Is o a multiple of 120?
False
Let r(h) = 314*h**2 - 11*h - 13. Is 6 a factor of r(-1)?
True
Let l(q) = 5*q - 85. Let v be l(17). Suppose 15*x - 24*x + 846 = v. Is x a multiple of 10?
False
Suppose 4*k + 405 = t, -k = -14*t + 16*t - 837. Is t a multiple of 118?
False
Does 4 divide ((-2)/5)/((-264)/(-3740))*-51?
False
Suppose -4*h + 1618 = 2*k, 2*h + 1084 = 2*k - 516. Does 21 divide k?
False
Is 19*11*6 + (-240)/(-80) a multiple of 148?
False
Let s(y) = 3*y**3 - 14*y**2 - 13*y - 2. Let x(m) = -5*m**3 + 28*m**2 + 26*m + 5. Let k(l) = 7*s(l) + 4*x(l). Let p be k(-12). Let q = -98 + p. Does 8 divide q?
True
Let j(u) be the first derivative of -21*u**2/2 + 24*u - 13. Let n be j(-7). Suppose 61 = -5*s + n. Does 15 divide s?
False
Let h = -13 - -9. Let i be ((-635)/20)/(1/h). Let d = i - 57. Does 20 divide d?
False
Let x = -670 - -744. Is x a multiple of 2?
True
Let q(w) = 13*w**2 + 12*w - 5. Is 9 a factor of q(-6)?
False
Suppose 2814 = -n + 8*n. Is n a multiple of 19?
False
Suppose -5*k = 5, 5*p + 4*k - 2 = -6. Suppose 0 = m - p*m - 17. Suppose 5*h = -m + 82. Is 6 a factor of h?
False
Let a = 40 - 4. Let m be 0/((-9)/(a/(-8))). Suppose 3*g = 4*q + 334, 4*q = -3*g - m*g + 302. Does 16 divide g?
False
Suppose 3*n = 20*n - 2125. Is 25 a factor of n?
True
Let k(f) = -46*f**3 + 3*f**2 - f - 2. Does 6 divide k(-1)?
True
Let c = 32 + -29. Suppose t = c*v + 29, -3*t - t - 5*v = -65. Is 4 a factor of t?
True
Suppose -97*f = -83*f - 3570. Is 5 a factor of f?
True
Let x = 134 + 240. Does 11 divide x?
True
Let p = 1428 + -794. Suppose -13*v - 23 = -p. Is 5 a factor of v?
False
Let i = -3 + 5. Suppose -i*q - 3*q = 20, -3*b + 244 = 2*q. Does 14 divide b?
True
Suppose -60 = 21*n - 25*n. Is 530/n - 2/6 a multiple of 7?
True
Let k be (1/(-2))/(1/(-4)). Let s(i) = 2*i**2 - i + 1. Let b be s(-4). Suppose k = n - b. Is 13 a factor of n?
True
Let o(m) = m**3 - m**2 + m - 1. Let h be o(2). Suppose 20 = -4*g, 270 = -0*p + h*p - 2*g. Suppose -l - p = c - 2*c, 5*c - 3*l = 264. Does 27 divide c?
True
Suppose 0 = c - 8*f + 9*f - 1334, -5343 = -4*c + 3*f. Does 32 divide c?
False
Let c be 130*2/(-2 - -4). Let k = -201 + c. Let g = k - -106. Is 17 a factor of g?
False
Suppose -4*x - 2*p + 2476 = x, 0 = -5*x - 5*p + 2470. Is x a multiple of 16?
True
Let m(p) = p**3 + 17*p**2 + 22. Let x be (0 - (7 - 7)) + (-18 - -1). Is m(x) a multiple of 14?
False
Let z(b) = b**2 - b + 5. Let w be z(-4). Suppose 20*f = w*f - 390. Is 19 a factor of f?
False
Let u = 13 - 3. Let g(s) = -1 - u*s - 5 + 11*s. Is g(11) even?
False
Let m be (-80)/12*(-1 + -8*1). Suppose y + m = 5*y. Is y a multiple of 3?
True
Let c(r) = -39*r**3 - 25*r**2 + 6*r + 15. Let v(z) = 8*z**3 + 5*z**2 - z - 3. Let n(j) = 2*c(j) + 11*v(j). Does 11 divide n(2)?
True
Let c(a) = -72*a + 12 - 6 - 6. Does 9 divide c(-2)?
True
Let j(h) = -h**3 + h**2 + 2*h + 1. Let b be j(2). Let t be ((-5)/b)/((-15)/6). Suppose 68 = 2*l - i - i, 4*l - t*i - 126 = 0. Does 11 divide l?
False
Let f = 118 + -35. Suppose -2*g + f = 3*t, -3*t - 3*g = -2*t - 23. Is 7 a factor of t?
False
Let k(s) = -3*s**2 - 3*s. Let o be k(-2). Let t(w) = -5*w + 7. Does 20 divide t(o)?
False
Let n(z) = 11*z**2 - 9*z. Let t be n(6). Suppose t = -70*p + 76*p. Is p a multiple of 7?
False
Let a(c) = 10*c - 8. Let u(w) = w + 1. Let o(d) = a(d) - 6*u(d). Is o(7) a multiple of 7?
True
Suppose 0 = 5*y + 5*z - 5925, 3*y = 2*y - 3*z + 1179. Does 99 divide y?
True
Suppose 0*b - 17 = -3*b + 4*l, b - l = 7. Suppose 2*y = n - b, -3*y - 32 + 5 = -2*n. Let z = n + 3. Is 12 a factor of z?
True
Let q be (1 - (-5 - -1)) + (-20 - -19). Suppose m - q = 21. Is 25 a factor of m?
True
Let s(v) = 76*v**2 - 3*v + 2. Let a be (1 - 0)*(-27)/(-27). Is s(a) a multiple of 15?
True
Let s(b) = b**3 + 10*b**2 + 9*b + 2. Let g be s(-9). Suppose -13 = -5*m + g. Does 2 divide m?
False
Let d be 5*(-3 + 2)*-1. Does 17 divide 16172/130 + (1 - 7/d)?
False
Let n(z) = 27*z**2 + 102*z - 15. Is n(-7) a multiple of 8?
False
Suppose -15*t + 7348 = -7187. Is t a multiple of 16?
False
Let p = -7 + 12. Suppose 3*c = 2*z + 64, 2*c + z - 40 = p*z. Is 13 a factor of c?
False
Suppose 0 = 3*f - 2247 - 54. Does 13 divide f?
True
Let z be -7 + (5 - 0) + 4. Is 17 a factor of (-8)/(-10) + z/((-40)/(-1684))?
True
Suppose 0 = 5*x - 2*z - 10, -x + 20 = -2*x - 4*z. Is 13 a factor of (-3500)/(-45) + (-4)/(-18) + x?
True
Let n = 2183 + -1155. Is 46 a factor of n?
False
Let z(l) = -19*l - 5. Let t be z(-1). Suppose -t*d + 264 + 72 = 0. Is d a multiple of 4?
True
Let m = 73 - 52. Let a = m - 11. Is (-48)/a*15/(-3) a multiple of 8?
True
Suppose -2*n + 10 = 0, 4*n = -3*o + 4 + 34. Suppose -o*s + 32 = -4*s. Does 8 divide s?
True
Let q(m) = m**2 + 4*m - 7. Let t = 6 + -13. Does 14 divide q(t)?
True
Let a = 76 - 68. Suppose -39 = -a*r + 345. Is 48 a factor of r?
True
Let m be 3 - 0 - 4/4. Suppose -m*v + 134 = 3*f, -3*v + 121 + 82 = 4*f. Is 25 a factor of v?
False
Let v = -1938 + 1289. Let p = 955 + v. Is p a multiple of 51?
True
Let p(h) = -3*h + 4. Let a be p(3). Let n(t) be the first derivative of -t**2 + 7*t + 32. Does 12 divide n(a)?
False
Let w(i) = 2*i**2 + 7*i + 13. Let d be -6*(6/3)/2. Let b be w(d). Suppose 2*r + 5*q - b = 0, 2*q = -4*r + 146 - 20. Is 17 a factor of r?
True
Let q(b) = -2*b**2 - 23*b + 20. Let a be q(-12). Does 13 divide (-286)/(-4)*(a + (-5 - 1))?
True
Let d(q) = q**3 - 15*q**2 - 15*q - 17. Let s be d(16). Is 12 a factor of (24 + s)/((-15)/(-45))?
False
Let i(r) = -r**2 - 36*r + 8. Does 12 divide i(-26)?
False
Suppose 4*v = 2*n + 1190, 0*v - 597 = -2*v + 3*n. Is v a multiple of 9?
True
Suppose -38*u = -41*u + 336. Suppose 4*j - u = 4*f, -j + 5*f = 2*f - 38. Does 18 divide j?
False
Let p(w) = 9*w + 10. Let y be p(-4). Let n = 25 - y. Suppose -28 = -2*z - 4*q, -4*q + n = 3*z - q. Is z a multiple of 10?
True
Let w = -2 + -7. Let f(l) be the second derivative of -5*l**3/3 + 3*l**2/2 - 3*l. Does 42 divide f(w)?
False
Suppose -6*q = -2*q. Suppose q*u - 3*u = -12. Suppose 2*f + 48 = 4*m, f - 3 = -u*m + 33. Does 3 divide m?
False
Suppose 7*w - 8*w + 4 = 0. Suppose 2*a - 148 = w*n, -351 = -4*a - 2*n - n. Does 12 divide a?
True
Let n = -52 + 71. Suppose p - n = 47. Is 11 a factor of p?
True
Let u = 2 - 9. Does 10 divide (-140)/u + 1*-1?
False
Is (4 - -198) + (7 - (2 + 5)) a multiple of 10?
False
Let o be ((-7 - -6)*-38)/(2 + 0). Suppose o*y - 24*y + 1105 = 0. Does 17 divide y?
True
Let j = 200 - -162. Does 54 divide j?
False
Let n = -7 - -9. Suppose 2*u - 8 = -n. Suppose 3*k = u*q - 110 - 25, 2*q + 3*k = 115. Does 10 divide q?
True
Let v = 157 + -94. Is (v/42)/(0 - (-1)/32) a multiple of 12?
True
Let q = -5324 - -8911. Does 17 divide q?
True
Let n(y) = 0*y**2 + 11 + 2*y + 6 - y**2 + 0. Is n(0) a multiple of 6?
False
Suppose 16*i - 1373 = -333. Is i a multiple of 5?
True
Does 20 divide 539/3 + 1/(-21)*-7?
True
Let i(t) = 5*t**3 - 3*t**2 - 4*t + 2. Let z(o) = -8*o - 5. Let j be z(-1). Does 14 divide i(j)?
True
Let d(f) = -4*f**3 - f**2 - f - 1. Let i be d(-1). Let b(w) = -9*w**2 + 2 - 3*w**3 + 7*w + 2*w**i + 3*w**2. Is b(-7) a multiple of 2?
True
Let y = -7 - -11. Suppose -37 = -h + y*f - 9, 3*h = -f + 45. Is h a multiple of 6?
False
Let q = 23 + -17. Suppose -88 - 140 = -q*i. Is 9 a factor of i?
False
Let s be ((-18)/45)/((-2)/(-120)). Let m = s + 76. Does 13 divide m?
True
Let u = -78 + 175. Let k = -53 + u. Is k a multiple of 11?
True
Let k = 7 + -7. Let q = k + 3. Does 11 divide 13/2*(q + 1)?
False
Let x(s) = s**3 - 8*s**2 - 6*s - 18. Let k be x(9). Suppose 0 = k*f - 84 - 195. Does 22 divide f?
False
Let v = 63 - -61. Suppose 4*c - 75 = -4*s + 25, v = 4*s - 2*c. Let z = s + -5. Does 8 divide z?
True
Let b(t) = 19*t - 131. Is 5 a factor of b(12)?
False
Suppose 0 = -25*c + 14*c + 1254. Does 12 divide