= 498 + 666. Is 37 a factor of c?
False
Let s = -2517 + 2720. Is s a multiple of 7?
True
Let v(c) = c**3 - 2*c**2 - 9*c + 3. Let s be 2 + (-2 - -1 - -1). Suppose 2*r = -0*r - s, -o = -r - 6. Is 28 a factor of v(o)?
False
Suppose 0 = a - 2. Suppose 10 = a*o + 2*c - 6*c, -2*c - 10 = 0. Is ((-44)/(-2))/(7 + o) a multiple of 4?
False
Suppose -4*l + a + 4224 = 3*a, 5280 = 5*l - 4*a. Let v = -753 + l. Is v a multiple of 27?
False
Suppose 7*y = 28*y - 8505. Is 15 a factor of y?
True
Let q = -153 + 193. Does 14 divide q?
False
Let w = 10 - 25. Is 39 a factor of (18/w)/(5/(-325))?
True
Let i = -9 - -11. Suppose -q = -i*a + 14, 0 = -5*a + q + 34 + 7. Is a a multiple of 9?
True
Suppose 55 = 3*k - 2*m - 29, m = 3*k - 87. Is k a multiple of 10?
True
Let o(j) be the third derivative of -3*j**2 + 5/24*j**4 + 0*j + j**3 + 1/30*j**5 + 0. Does 16 divide o(-6)?
True
Let j = 2855 + -1653. Is 42 a factor of j?
False
Let h = 69 + -69. Does 3 divide (21 - -3)/((-1)/(h + -1))?
True
Let c = -450 - -1097. Is 40 a factor of c?
False
Let y(w) = -87*w**3 - 2*w**2 - 2*w - 2. Let h be y(-2). Is (-3)/(-2)*(h/(-9))/(-5) a multiple of 3?
False
Let a be (-1 + 1)*(-3)/(-3). Let v(q) = -q**3 + a*q**3 + 9*q**2 - q**2 - 9*q. Is v(6) a multiple of 6?
True
Let i(j) = 2*j**2 + j + 48. Is 36 a factor of i(-12)?
True
Let w(z) = 3*z + 17. Let l be w(-5). Let s = l - -8. Does 3 divide ((-7)/(-5))/(2/s)?
False
Let v(g) = 8*g**2 - 3*g + 7. Let a be v(4). Let q = a - -10. Is 33 a factor of q?
False
Suppose 56*g - 381100 = -47*g. Does 50 divide g?
True
Let s(l) = l**2 - 3*l + 255. Is 17 a factor of s(0)?
True
Let x be 10/2 + (-2 - -1). Suppose 3*w - 4*w = -x. Suppose -3*d + 5*s = -108, 2*d - 40 = w*s + 34. Does 6 divide d?
False
Let l(x) = 48*x**2 + 3*x - 2. Let z be l(1). Suppose -a - 4*f + z = -63, a - 4*f = 112. Does 7 divide a?
True
Suppose 0 = 5*j + 4*o + 1, -26 = -2*j + 4*o - 4. Suppose -j*k = -6*k + 36. Suppose 4*m + 53 = 5*h, 2*h + 0*h + 3*m = k. Is h a multiple of 9?
True
Let i = 930 - 768. Is 54 a factor of i?
True
Let v(y) = 27*y. Let w(l) = 837*l. Let q(p) = 63*v(p) - 2*w(p). Does 8 divide q(1)?
False
Let t(k) = 2*k**2 + 24*k + 4. Let f be t(-12). Suppose 0 = -0*w + w - 4*y - 28, 17 = f*w + 3*y. Does 6 divide w?
False
Let k = 51 - 111. Let c = 118 + k. Is 29 a factor of c?
True
Let j = -213 - -239. Does 2 divide j?
True
Suppose 331*s + 9328 = 342*s. Does 13 divide s?
False
Let q = -808 - -1589. Does 11 divide q?
True
Let x(r) = -3*r + 16. Let v be x(7). Let h = v + 6. Suppose -2*z = -5 - h. Does 3 divide z?
True
Let s = -9 + -8. Let z = -15 - s. Suppose z*k + 1 = 31. Is 10 a factor of k?
False
Suppose 5*f = 2*f + 1644. Let v = f - 366. Is v a multiple of 26?
True
Let o(a) = -a. Let z be o(-2). Let x be 6/(3/(3/z)). Suppose -2*y = 5*q - 100, -x*y = -5*q - 2*y + 85. Does 5 divide q?
False
Let y = -185 + 443. Is y a multiple of 8?
False
Let c be -1*(1 + 2/(-2)). Let a = 568 + -563. Suppose c = a*g - 5, 0*y + 9 = y + 3*g. Is 2 a factor of y?
True
Suppose 2*w + 4*x + 28 = 4*w, w - 4*x - 16 = 0. Let q be (-2)/3 + (-52)/(-6). Is ((-27)/w)/((-1)/q) a multiple of 4?
False
Suppose 1 = i + p, 5*p = 3*i + 2*p - 21. Suppose -5*o - 3*d + 7*d = -857, 4*o - i*d = 684. Does 36 divide o?
False
Is 20 a factor of ((-240)/25)/(609/(-300) + 2)?
True
Let l = 60 - -6. Is l/(-4)*(2 - 6) a multiple of 33?
True
Let k = -549 - -1044. Is 55 a factor of k?
True
Let n(t) = -t**2 - 7*t - 1. Let f = 13 - 18. Does 5 divide n(f)?
False
Suppose 0 = -6*x + 4*x - 260. Let o be (6/(-5))/(3/x). Suppose -2*s + 4*s - o = 0. Is s a multiple of 7?
False
Let f(k) = -51*k**3 - k**2 + k + 1. Suppose 0 = 2*w + 2*s + 8, w - 16 = 2*w + 5*s. Is 10 a factor of f(w)?
True
Let m(b) = 98*b. Let g be m(-1). Let d be (-854)/6 + ((-132)/(-18) - 8). Let o = g - d. Is 32 a factor of o?
False
Let l(j) = 16*j - 7. Let p(q) = -q**2. Let o(f) = -l(f) + p(f). Is o(-9) a multiple of 5?
True
Is 31 a factor of 26*(5 + 84/8)?
True
Let c(n) = -223*n + 6*n**2 - 3*n**2 + 237*n. Is c(-6) a multiple of 6?
True
Let f = 84 - 120. Let u = 7 - f. Is 17 a factor of u?
False
Let a(p) = 35*p + 273. Is a(18) a multiple of 7?
True
Suppose -4*v + 42*d = 41*d - 1243, d = -5*v + 1547. Does 31 divide v?
True
Does 30 divide 1202/8 - 1/8*2?
True
Let t(m) = -4*m + m - 3*m - 23 + 4*m. Let n = -17 - 2. Is 4 a factor of t(n)?
False
Suppose 2135 = 3*f - 0*f + 2*a, 0 = 2*f + 2*a - 1422. Does 4 divide f?
False
Let t = -285 + 769. Is t a multiple of 14?
False
Let l(a) = -a - 10. Let i be l(-9). Let w(h) = -6*h**2 - h. Let p be w(i). Let d = -1 - p. Is d even?
True
Let a(x) = -x**2 - 4*x - 7. Let n be a(-5). Does 25 divide ((-6)/n*-4)/(4/(-250))?
True
Suppose -4*i + 5*i + 1167 = 4*l, -2*i = 3*l - 878. Is l a multiple of 24?
False
Let p be 9/6*(-4)/(-6). Let s(w) = -2*w - w - p + 45*w**2 + 4*w - 2*w. Does 13 divide s(-1)?
False
Suppose 5*i + 0 + 5 = 0. Is i - -2 - (-63)/3 a multiple of 4?
False
Let o = 2611 - 1171. Does 8 divide o?
True
Let n = -192 + 289. Suppose -n = -3*r + 131. Is 19 a factor of r?
True
Suppose 42*t - 230 = 232. Does 3 divide t?
False
Let o be (8/20)/(2/(-10)). Let d be (1/(-2))/(o/24). Suppose 6 = h - n, 0 = h + 3*h + 5*n - d. Is h a multiple of 2?
True
Let m = -81 + 12. Let a = 49 + m. Let c = 3 - a. Is c a multiple of 10?
False
Is 5 a factor of (11/((-484)/(-77)))/(1/36)?
False
Let o(c) = -2*c + 12*c**2 + 1 + c**3 - 10*c - 7*c**2. Let f be o(-6). Let x = 67 - f. Is x a multiple of 15?
True
Let y(l) = 3*l**2 - 126*l - 44. Is 44 a factor of y(47)?
False
Suppose -2*a - 204 = -4*r, 6*a + 3*r - 388 = 10*a. Let n = 379 - 232. Let s = n + a. Does 15 divide s?
False
Let j(k) = -2*k**3 + 40*k**2 - 38*k - 24. Does 6 divide j(18)?
True
Let h(v) be the third derivative of v**4/24 - v**3/6 + 2*v**2. Let o be h(5). Suppose -4*k - z + 21 = 0, -k - z + 25 = o*k. Is 2 a factor of k?
True
Suppose 43*u = 45*u - 996. Does 9 divide u?
False
Let x = -104 + 120. Suppose x*w - 960 = 4*w. Is 8 a factor of w?
True
Suppose -3*x = -2*v - 2901, -3*v = -2*v - 3. Does 18 divide x?
False
Let r = 6 - 12. Let f = 6 + r. Suppose -26 = -3*k + 2*q, -5*k + q + f*q = -41. Is 2 a factor of k?
True
Let k = -104 + 186. Suppose z - 5*i - k = -0*z, -2*z + 136 = 4*i. Is 15 a factor of z?
False
Suppose -4 = -b - p, -2*p = -4*b + 2 - 4. Let c = 28 - b. Suppose -3*k + 5*a + 127 = c, -4*a = 4*k - 112. Does 7 divide k?
False
Suppose 32*y - 450 = 27*y. Suppose -8*t + 2*t = -y. Is 5 a factor of t?
True
Suppose -5*v = -g + 907 + 128, -v + 2*g - 216 = 0. Let t = -51 - v. Does 31 divide t?
True
Suppose -q + 3*d + 2*d + 308 = 0, 0 = q + 2*d - 301. Is 9 a factor of q?
False
Let x(o) = 249*o - 25. Let l be x(5). Suppose 31*c = 27*c + l. Is 61 a factor of c?
True
Let l = 1108 - 397. Suppose 6*v - l = 75. Is v a multiple of 28?
False
Suppose -1217 = 4*d - 9*d - f, 0 = d + f - 245. Is d a multiple of 123?
False
Suppose -k = -3*l + 6*l + 240, -2*k - 4*l - 480 = 0. Let g = k - -507. Is 37 a factor of g?
False
Suppose 3*v - 18 = -3. Suppose 7 = -v*w + 817. Does 18 divide w?
True
Suppose 328 = 5*h - 57. Suppose -193 + 55 = -3*o - 3*v, -5*v = 2*o - h. Is o a multiple of 20?
False
Suppose 134 = -14*u + 22. Does 19 divide (51/2 - -3)*u/(-6)?
True
Let l = -953 - -1405. Suppose 0 = 4*u - 4*g - l, 226 = 2*u + 5*g - g. Does 27 divide u?
False
Let x be (27/12)/((-6)/264). Let d = 45 - x. Does 18 divide d?
True
Let t = 41 - 32. Suppose -8*h + t*h - 21 = 0. Is 7 a factor of h?
True
Suppose -3*f - 144 = -24. Let o = 174 + f. Let s = -92 + o. Is s a multiple of 14?
True
Let c(x) = x**2 + 11*x - 24. Let t be c(-13). Suppose 0 = 2*j + 3*p + t*p - 208, 0 = 2*j + p - 192. Is j a multiple of 4?
False
Suppose 4*r = 5*m - m + 12480, 0 = 2*r - 8*m - 6246. Is r a multiple of 9?
False
Suppose -348 - 3830 = -2*d + 2*v, d - 2109 = -3*v. Does 64 divide d?
False
Let h = 47 - 42. Suppose -136 - 114 = -h*q. Does 7 divide q?
False
Is 42 a factor of (-159732)/(-238) - (-12)/14?
True
Suppose -10*d + 767 = -853. Is 4 a factor of d?
False
Suppose 0*l - l - 15 = -2*t, -5*t - 2*l = -60. Suppose 0 = -2*k + t, 5*i - k - 987 = 148. Let y = i + -152. Does 11 divide y?
False
Let h(o) = 5*o**2 - 2 + o**2 + 3*o - o**3 + 12 - 2*o**2. Is h(-4) a multiple of 16?
False
Suppose 130*r - 149*r = -40280. Is r a multiple of 106?
True
Suppose 80*m = 78*m + 800. Is 