 -2*c + 3*d + 12 = 5*d. Let j(m) = 29*m - 129. Let q be j(7). Suppose -q = -c*v + 52. Does 14 divide v?
True
Let d = 45 - 43. Suppose d*m - 3*m = -62. Is 9 a factor of m?
False
Suppose -125 = -c + 62*x - 67*x, 0 = 2*c + 3*x - 222. Does 6 divide c?
False
Does 9 divide 508/14 + ((-195)/21 - -9)?
True
Let b(s) = -s**3 - 11*s**2 + 2. Let k be b(-11). Is (-2)/(k*1/(-88)) a multiple of 22?
True
Suppose 2*v + 934 = 2*i - 224, -2*v = -i + 574. Is 39 a factor of i?
False
Let i = 27 - 28. Let r = i + 15. Is r a multiple of 7?
True
Let q be (-154)/21*(4 - 1). Let m = -92 - q. Let y = -25 - m. Does 15 divide y?
True
Suppose -1770 = 4*q - 14*q. Is q a multiple of 14?
False
Suppose 0 = -7*r + 2 + 12. Suppose -4*o + r*o = -42. Does 2 divide o?
False
Let a(b) = -b**2 - b + 6. Let m(i) = 1. Let h(f) = -a(f) - 2*m(f). Is h(-7) a multiple of 3?
False
Suppose -3*c + x = -x + 485, -c - x - 165 = 0. Let n = c - -294. Is 21 a factor of n?
False
Let d be (127 - -1)*(-2)/(-4). Suppose 622*q = 620*q. Suppose 5*c + 2*w - d = q, -3*c + 3*w = -2*w - 26. Is 12 a factor of c?
True
Let a(q) = -q**2 - 3*q + 12. Let i be a(-5). Suppose 3*u - 2*z - 684 = -u, -i*u = 4*z - 342. Does 13 divide u?
False
Let h = -327 - -367. Is h a multiple of 40?
True
Let y = -20 - 48. Suppose 590 = 4*u + u. Let j = y + u. Is j a multiple of 18?
False
Let s = 22 + -22. Let a = 12 - s. Does 3 divide a?
True
Let j(p) = 56*p**3 - 1. Let i be j(-1). Let w = 76 + i. Is 19 a factor of w?
True
Let b = -1070 - -1974. Is 113 a factor of b?
True
Let y be (70/(-15))/(4/6). Let m = y - -9. Suppose x - 40 = m*v, 17 = x + 4*v - 47. Does 24 divide x?
True
Let y(r) = -3*r**3 - 6*r**2 - 2*r + 3. Let z be y(-4). Let a be 5*(-35)/25 - -1. Let w = z - a. Does 40 divide w?
False
Suppose 2*a + a - 3*h = 45, -5*a + 48 = 4*h. Let w be 8/((a/15)/2). Suppose -5*v - w = -320. Is 20 a factor of v?
True
Suppose -i + 2*v + 3 = 0, -3*i = v - 6*v - 9. Suppose 4*p + 2*c = -0*c - 28, i*p = c - 11. Does 5 divide 18/p*40/(-12)?
False
Let l(o) be the second derivative of o**3/2 - 4*o**2 + o. Let j(d) = -d + 14. Let x be j(7). Is l(x) a multiple of 3?
False
Let x(o) = 23*o - 148. Does 16 divide x(28)?
True
Let d(q) = -1. Let f(r) = -9*r**3 + 3*r**2 - 2*r - 2. Let o(h) = 2*d(h) - f(h). Let u be o(2). Suppose -434 + u = -5*x. Does 14 divide x?
False
Let m be (-161)/(-14) - 2/(-4). Is 14 a factor of m/(-3) + (-144)/(-8)?
True
Let z(b) = -b - 11. Let y be z(-14). Suppose -a = y*a - 768. Suppose -7*t = -4*t - a. Does 16 divide t?
True
Is 4 a factor of (1 + 24/(-6) - 1) + 18?
False
Let h be (-256)/96*321*2/(-8). Suppose -3*a + h + 176 = 0. Is 26 a factor of a?
True
Let j(r) = -r**3 + r**2 + 6*r + 1. Suppose o - 2*i + 3 = -i, 3 = -o + 5*i. Is j(o) a multiple of 4?
False
Suppose -809 = -7*c + 4*c + 4*o, 0 = c - 4*o - 259. Is 5 a factor of c?
True
Suppose -8 = 2*f - 4*q, 5*f + q = f - 34. Let m be 10/(f/(-4)) - 2. Suppose o = 2*r + 5*o + 6, -m*r = -o - 26. Is r a multiple of 5?
False
Let q(g) = -1 + 0 + g - 2*g + 2. Let f be q(-3). Suppose 2*n - 77 = -w, f*w - 98 = -3*n + 6*w. Is n a multiple of 12?
True
Let l(d) = d**2 + 4*d - 3. Let w be l(7). Suppose -4*p + w = -50. Is p a multiple of 9?
False
Let c = 52 - 50. Is 46 + (-3)/(c + (-1)/2) a multiple of 5?
False
Suppose -l + 3*k + 8 + 26 = 0, 4*k = -12. Suppose -x + 0*d = -3*d - 143, -l = 5*d. Is 16 a factor of x?
True
Let t = -160 - -459. Is t a multiple of 23?
True
Suppose -14*k = -11190 - 1802. Is 32 a factor of k?
True
Suppose 0 = -2*b - 3*b + 2*n + 17, 4*b - 12 = 2*n. Suppose 4*c = -3*t - 21, 3*t - 4*c = -b*c - 21. Does 11 divide 1*7/(t/(-24))?
False
Suppose 2*v = -5*k + 16, -7*k + 3*k = -5*v + 7. Suppose -335 = -5*i + s, 2*i - 137 = -k*s + 3*s. Is 22 a factor of i?
True
Suppose -12*j - 10816 = -64*j. Is 9 a factor of j?
False
Is 40 a factor of (-6)/(-5)*3000/(-135)*-39?
True
Let b be -2 - 0 - -1 - 9. Let o(v) = -6*v - 24. Let k be o(b). Suppose -81 = -3*w - k. Does 2 divide w?
False
Let y = 113 + 24. Is 14 a factor of y?
False
Let z(v) = 21*v**3 + v**2 + v. Let h be z(-1). Let c = 11 + h. Is 8 a factor of (1 + -11)*32/c?
True
Suppose -37*d + 38*d - 128 = 0. Suppose 4*c - 13 = 5*x - 597, x = -2*c + d. Is 8 a factor of x?
True
Let i(d) = -5*d**3 - 3*d**2 + d + 1. Let z be i(3). Let w = z + 112. Let r = w + 68. Is 8 a factor of r?
False
Suppose 5*d = 2*y + 905, 345 = 3*d - 5*y - 179. Is d a multiple of 67?
False
Let o = -42 - -51. Is (o/(-18))/((-2)/1256) a multiple of 51?
False
Let p be 2 - 0 - (4 + -3). Suppose -2*c - 2*t = -10, -2*c + p = -t - 0. Suppose -50 = -3*j - 5*m, -c*j - 2*j + 55 = -5*m. Is 4 a factor of j?
False
Let i(l) be the second derivative of 0 - l**2 + 1/12*l**4 - 7/20*l**5 - 1/6*l**3 - 7*l. Is 15 a factor of i(-2)?
True
Let y(w) be the third derivative of w**6/120 + 3*w**5/20 - w**4/3 + w**3/3 - 53*w**2. Is y(-7) a multiple of 12?
True
Suppose 0 = 30*f - 15880 + 4480. Does 20 divide f?
True
Let c(p) = -3*p + 9. Let y be 1/(-2) + (-18)/(-4). Suppose 40 = -y*w + 4*m, -5*w + 3*m + 12 = 52. Is c(w) a multiple of 8?
True
Let h(w) be the third derivative of -w**6/120 + 3*w**5/20 + w**3/3 - w**2. Is h(6) a multiple of 22?
True
Let d be ((-2)/(-3))/((-20)/30). Let t be 0 - (178/1)/d. Suppose -5*m + t = 5*x - x, -5*x + 216 = 3*m. Does 9 divide x?
False
Let u = 21 + -12. Let m = u + 55. Suppose 2*r = -2*r + m. Is r a multiple of 11?
False
Let g(c) = c**3 + 35*c**2 + 91*c + 25. Is g(-32) a multiple of 3?
False
Suppose 3*i - 6*d + 3 = -4*d, -5*i + 5*d - 5 = 0. Let t(m) = -m**2 + m + 2. Let p be t(i). Suppose -6*n + 2*n + 20 = p. Is 3 a factor of n?
False
Is 48 a factor of (1111/55 - 10/(-2))*40?
True
Suppose 60 = 3*y + 5*w, 3*y - 4*y - w = -18. Is 2 a factor of y?
False
Does 84 divide (72/10 + 0)/(10/575)?
False
Let i be (-6)/9*(-6)/2. Suppose -i*o + 3*o = 156. Suppose -2*z = -5*z + o. Does 15 divide z?
False
Suppose -13*m + 16*m - 30 = 0. Is m a multiple of 5?
True
Suppose 2*b + 2223 = 5*b + 3*w, 2*w = -6. Does 21 divide b?
False
Let d be (-2 + 0 - (1 - 2))*-144. Suppose -8*v - d = -12*v. Is v a multiple of 9?
True
Suppose 4*w - 10 + 4 = -2*a, -1 = 4*w - 5*a. Let s(r) = 5*r**2 - 10*r + 4. Let k be s(3). Let m = k + w. Does 10 divide m?
True
Let g(j) = -2*j - 6. Let n be g(-4). Suppose 0 = 4*d + 16, 2*m + n*d - 163 = -m. Is m a multiple of 21?
False
Suppose 4*x - 8 = -3*j - 0, -3*x - 2*j + 7 = 0. Let l be (-36)/10*(-8)/12*20. Suppose -i = -x*i + l. Is i a multiple of 10?
False
Suppose 9*k = 101 + 25. Is k a multiple of 3?
False
Suppose 4*i - 17*i = -6552. Is 24 a factor of i?
True
Suppose 0 = -2*q + 8, 0 = 4*h - q - 0*q - 192. Let u = h - 35. Is 4 a factor of u?
False
Let g(w) = -w**2 + 29*w + 4. Is 8 a factor of g(26)?
False
Let y = -122 + -76. Let t = 294 + y. Does 42 divide t?
False
Suppose 2*d + 3*g = 1357, -8*d - 5*g - 2725 = -12*d. Is 12 a factor of d?
False
Let u = -272 + 437. Suppose 0 = 4*i - 20, 2*b = -3*b + i + u. Let l = 48 - b. Does 7 divide l?
True
Let v = 113 + 126. Does 23 divide v?
False
Let l(z) = z**3 - 3*z**2 + 3*z + 1. Let f be l(2). Suppose 2*a - 213 = 5*y, 0 = -a + f*a + y - 231. Is a a multiple of 19?
True
Let h(k) = 20*k**2 - 11*k - 7. Is h(-7) a multiple of 10?
True
Let g = -37 + -6. Let r = 139 + g. Is 54 a factor of r?
False
Let x = 974 + -43. Is x a multiple of 15?
False
Let o(k) = 176*k**3 - 5*k**2. Is 19 a factor of o(1)?
True
Let x = 13 - 13. Suppose 2*w - 4*h + 38 = x, -20 - 15 = 2*w - 3*h. Let r = w - -40. Is 27 a factor of r?
True
Let r = -984 - -1509. Is 3 a factor of r?
True
Suppose 9*p - 5 = 8*p. Suppose 0 = p*m - 3*m - 2*r - 38, -125 = -5*m - r. Is m a multiple of 11?
False
Let n(l) be the second derivative of -l**5/20 + 5*l**4/12 + 2*l**3/3 + 13*l**2/2 + 7*l. Let v be n(6). Is 10 a factor of 30 - (4 + -5 + v)?
True
Let k be (-4 + -2)*(-20)/6. Let c be k*2/8*-3. Let j = 53 + c. Is j a multiple of 19?
True
Let h(d) = 2*d - 28. Let p be h(14). Suppose p*z + 10 = z. Is z a multiple of 8?
False
Let g be (0/(-11))/(-1 - 1). Suppose -4*f + 218 = 5*o, -5*o + g*o = -f - 233. Suppose 2*l + 5*b - 88 = -l, -2*l = -3*b - o. Is 13 a factor of l?
True
Suppose 4*a - 4*l - 1188 = 0, -3*l - 31 - 274 = -a. Is a a multiple of 20?
False
Suppose -60*t + 76403 + 52117 = 0. Is 20 a factor of t?
False
Let i(t) = 5*t**2 + 5*t + 9. Let w be i(5). Suppose -191 - w = -