e
Let s = -83 - -100. Let v(z) = 3*z - 12. Is 3 a factor of v(s)?
True
Is 8/152*-2 - (-1693)/19 a multiple of 5?
False
Let r(q) = -4*q + 6 - 9 + q**3 + q. Is r(3) a multiple of 3?
True
Let r(d) = -75*d**3 + d**2 + 3*d + 3. Is r(-1) a multiple of 38?
True
Let b be (4 + -3)*(2 - -9) - 2. Suppose -b*f + 7*f + 54 = 0. Does 2 divide f?
False
Suppose -3*n + 5*p - 2 = -6*n, 4*n - p = 41. Let s(v) = 10*v - 18. Is s(n) a multiple of 12?
True
Let n = 248 + -213. Is 2 a factor of n?
False
Let o be (-14)/(-56) + 262/8. Is 11 a factor of (-3 - o)*(-4)/6?
False
Suppose 5 = -5*t, -2*w = -t - 2*t - 9. Suppose 5*y = v + 28, v + w*v = -2*y - 2. Is y a multiple of 5?
True
Let r = -1304 - -2110. Does 47 divide r?
False
Let s(z) = -18*z**2 + 248*z + 10. Is 36 a factor of s(7)?
True
Let p be ((-4)/(-3))/((-16)/(-36)). Suppose -p*b + 7 = -80. Is 13 a factor of b?
False
Suppose -2*m + a + 188 = 5*a, -2*m + 5*a + 170 = 0. Suppose x + 5*s = m, -x + s - 3*s + 90 = 0. Is x a multiple of 30?
True
Let f(d) = -3*d + 2. Let y be f(-1). Suppose -13 = -3*m + 5*p, 4*m - 31 = -2*p - y. Suppose -l - 130 = -m*l. Does 5 divide l?
False
Let x(b) = -b + 7. Let v be x(4). Does 4 divide 7*v - (9 - 12)?
True
Let m = -32 - -35. Suppose 11 + 58 = m*c. Is c a multiple of 8?
False
Let k(r) = 19*r + 8. Let a be k(-7). Let g = a - -235. Suppose -4*u + g = -2*u. Is 27 a factor of u?
False
Let l be 29/(2*(-2)/16). Let m be l/(-6) + 16/(-12). Does 15 divide 4/m - 6908/(-99)?
False
Let f be ((-1)/2)/(28/(-112)). Suppose 3*m = -5*r + 231, 2*m + f*r = m + 78. Is m a multiple of 18?
True
Suppose 10 = 3*y - 0*j + j, 5*j + 5 = -4*y. Suppose 2*g + 330 = -0*a + 4*a, -5*g + y = 0. Is a a multiple of 19?
False
Suppose -2*t + 4 = 0, 3*t + 768 = q + 2*t. Is q a multiple of 33?
False
Let l(o) = -o**2 - 11*o - 3. Let u be l(-10). Let f be (-8)/(-14) - (-3)/u. Does 2 divide (-36)/4*(f - 2)?
False
Suppose 2*g + a - 5*a = 10, -2*g = 2*a - 10. Suppose -g*v - 112 + 672 = 0. Is 14 a factor of v?
True
Let w be (-1 - -2)/(-2 + 35/15). Is 15 a factor of 15/w*(-534)/(-30)?
False
Suppose 6*y = 8*y - 8, 3*y + 153 = 5*v. Is v a multiple of 33?
True
Suppose c - 20*m - 3245 = -21*m, 4*m = -c + 3230. Is c a multiple of 20?
False
Suppose -4*l = 12, -44 = -3*s + 3*l + 250. Let n = s - 40. Is n a multiple of 11?
True
Let f(i) = -i**3 + 14*i**2 - 11*i + 22. Let k = -104 - -111. Is 36 a factor of f(k)?
True
Let m = -260 - -460. Is 4 a factor of m?
True
Let t(p) = -6*p - 7. Let v be t(-3). Suppose -10*b = -v*b + 50. Is 27 a factor of b?
False
Let s = 4 + -4. Suppose s*n = -5*n + 25. Suppose -n*l + c - 6*c = -65, -4*l + 67 = c. Is l a multiple of 14?
False
Suppose 2*f - 1279 - 207 = -3*m, 3*m + 3*f - 1482 = 0. Does 19 divide m?
False
Is (-30)/(-3)*(-1081)/(-46) a multiple of 3?
False
Suppose 0 = -2*a + 4*f + 444, 32 = a + 5*f - 155. Is a a multiple of 5?
False
Suppose 2*f - 10 = -3*f. Suppose -3*p = -6, 4*z + 2*p - f - 106 = 0. Suppose m = z + 27. Is m a multiple of 12?
False
Suppose -104 = -7*k + 1268. Suppose 4*s - 8 - k = -4*a, -4*a + s + 209 = 0. Does 16 divide a?
False
Suppose -35 - 89 = -2*r. Does 14 divide r/4*(-10 - -14)?
False
Suppose 0 = -5*l + l. Suppose -4*i + l*i + 100 = 0. Suppose -2*n + 11 = -i. Is 7 a factor of n?
False
Suppose -q - 4*u + 3*u = -10, 5*u = -q + 30. Suppose -q*s + 32 = 2*o - 45, 2*s = -3*o + 143. Is o a multiple of 11?
False
Suppose 0*r + 3 = r. Suppose 3*c = -r*c + 336. Does 28 divide c?
True
Suppose 5*g - 1013 - 303 = 4*r, 0 = g + 3*r - 267. Does 8 divide g?
True
Let k = 20 - 12. Suppose -k*f + 249 = -4*f + 5*x, 199 = 4*f - 5*x. Is 20 a factor of f?
False
Suppose -h = 2*h + 6, -h - 10 = -4*k. Suppose 5*s - 3*u - 255 = k*s, 77 = s + 3*u. Is 20 a factor of s?
False
Suppose -2100 = -2*d + 5*w, 2380 = 4*d - 5*w - 1840. Suppose 0 = -24*k + 28*k - d. Does 20 divide k?
False
Let y = 530 + -2. Let b = y - 354. Does 41 divide b?
False
Suppose 2151 = h + 5*w, 77*h + 3*w + 8512 = 81*h. Does 56 divide h?
False
Suppose -v - v = 3*t - 109, 129 = 3*t - 3*v. Suppose 3 = -4*d + t. Let f(o) = -o**2 + 11*o - 12. Does 6 divide f(d)?
True
Suppose 2*z - 2 = 14. Let c = -8 + z. Suppose c = -b - 0*b + 5*j + 20, -b + 2*j + 14 = 0. Is 3 a factor of b?
False
Let l = -13 - -15. Let p(t) = 4 + 12*t**2 - 2 + 20*t**l - t - 7*t**2. Does 27 divide p(-2)?
False
Let m be (-962)/16 - (-15)/120. Let u = m + 105. Is u a multiple of 16?
False
Is 60 a factor of (12 - -718) + (-3 - -9) + -2?
False
Let w(s) = s. Let z(u) = 4*u - 1. Let v(f) = -6*w(f) + 2*z(f). Is v(4) a multiple of 2?
True
Suppose -w + 3*q = -12, -2*w - 3*w + 4*q + 60 = 0. Suppose -9*o = -w*o + 216. Is o a multiple of 10?
False
Let p(c) = c**3 - 2*c + 3. Suppose 2*z = -0 - 12. Let w(a) = -a**2 - 5*a + 8. Let r be w(z). Is p(r) even?
False
Let d be ((-6)/8)/(18/12)*8. Does 12 divide 3*((-326)/(-6) + d)?
False
Is (-31)/(1217/203 + -6) a multiple of 13?
False
Let i = -25 + 29. Suppose 0*m + i*m - 96 = 0. Is m a multiple of 8?
True
Let c = -339 - -459. Is 12 a factor of c?
True
Let w = -476 - -524. Does 3 divide w?
True
Does 15 divide 18/(-33) - (-7464)/132?
False
Suppose 21*x - 4*o = 24*x - 39, -2*x + 4*o = -26. Is 13 a factor of x?
True
Let u be (-2)/5 + 2/5. Let h = 1467 + -984. Suppose u = -6*l + h + 351. Is l a multiple of 36?
False
Does 20 divide ((-18)/6 - 17)/((-6)/309)?
False
Suppose 4*i = 12*i - 2960. Is 5 a factor of i?
True
Suppose 4*u - 5*u = -15. Let h = 61 - u. Is 12 a factor of h?
False
Let r = -459 - -1251. Does 24 divide r?
True
Let o = -27 - -34. Let v be 4/14 + 12/o. Is (-4 - -1) + v + 10 even?
False
Does 9 divide 33 + (0 - -3) + 0?
True
Let v be ((-7)/(-14))/(2/(-364)). Let u = -88 - v. Does 3 divide u?
True
Let u = -27 + 29. Suppose g - 2 = 1. Suppose u*b = -g*b + 110. Is b a multiple of 5?
False
Suppose -2*i - 3*j = 15, 4*j = 4*i + 3*j - 5. Suppose 8 = -i*t + 2*t. Suppose -85 = -t*l + 131. Is l a multiple of 27?
True
Let n = -14 + 12. Let r = n - -5. Suppose 5*d = r*a - 0*a + 40, -2*a - 1 = -d. Is d a multiple of 5?
False
Let o(d) = -d**3 + 7*d**2 - 7*d + 8. Let h be o(6). Suppose -6*a + h*a + 16 = 0. Is 12 a factor of (6 - 30)*(-6)/a?
True
Suppose -2*m + 1318 = 274. Let g = -157 + m. Suppose -g = -2*c - 3*c. Is c a multiple of 15?
False
Let r(q) = 86*q**2 + q + 10. Is 17 a factor of r(-3)?
False
Let b(t) = 2*t + 1. Let v be b(1). Let f(q) = 8*q**2 - 3*q - 2. Let m be f(v). Suppose -2*g + 3*g = -4*i + 11, 2*g = 5*i + m. Does 23 divide g?
True
Let i = 13 - 6. Suppose -3*h - 48 = -i*h. Suppose h*g = 9*g + 9. Is 2 a factor of g?
False
Let h be 4/((16/12)/1). Suppose -h*d = -100 - 182. Suppose z = 4*z + 3*p - 270, -z + d = 5*p. Does 21 divide z?
False
Suppose -3*v - z - 4 = 0, -5*v - 3*z - 9 = -1. Let i(s) = -s**3 - 3*s**2 + 6*s + 9. Let j be i(-4). Is v*j - (-47 + -7) a multiple of 18?
False
Suppose 684 = -216*q + 219*q. Is q a multiple of 18?
False
Let l(o) = -o**2 + 10*o + 18. Suppose -3*h + 26 = -7. Does 3 divide l(h)?
False
Let d(i) = -2*i**2 - 12*i + 13. Let x be d(-7). Is 13 a factor of ((x - -3) + -3)/(1/(-91))?
True
Let l(b) = -59*b**3 + 11*b**2 + 13*b - 25. Does 44 divide l(-3)?
True
Let f = -216 + 800. Suppose 0 = -15*a + f + 1096. Is a a multiple of 7?
True
Let x be 46 + (-3 - -2) + 1. Let i(n) = 15*n + 7. Let v be i(4). Let d = v - x. Is 4 a factor of d?
False
Let g(t) = 2*t**2 + 20*t + 12. Let j(d) = -2*d**2 - 49*d + 11. Let f be j(-25). Is 16 a factor of g(f)?
False
Suppose -j + 4*j + 4*x = 390, -3*x + 513 = 4*j. Suppose -7*v + 126 = -j. Is 12 a factor of v?
True
Suppose 4*z = -w + 4142, z - 1029 = 97*w - 94*w. Is z a multiple of 58?
False
Let a be 28/6*(-72)/(-28). Let o = 16 - a. Is 15 a factor of (-1 + 58)*(o - 3)?
False
Let b be (-4)/(-32) + (-1)/8. Suppose b = 3*a - 3, 0 = 5*y - 3*a - 0*a - 167. Is 17 a factor of y?
True
Let a = 1 + -33. Let z = -21 - a. Is z even?
False
Suppose 0 = -3*f - 2*z + 42, -f + z + 45 = 3*f. Let x be 5 - 8 - f/(-2). Suppose 0 = -x*p + 7*p + d - 333, 0 = 5*p - 3*d - 429. Does 20 divide p?
False
Suppose -4*w + 1092 = 4*x, w + 13*x - 9*x - 276 = 0. Is 4 a factor of w?
True
Is 45 a factor of (-1792 - 4)*(-2 + 1)?
False
Let n be 1/3 - (-185)/(-15). Let t be 639/n + (-3)/(-12). Let f = t - -81. Is 14 a factor of f?
True
Suppose 2*d - 36 = -5*v, 4*d = 2*v - 3*v + 36. Let g be 2*(-4)/(d/(-17)). Does 12 divide -1*(3 