vide y(-4)?
False
Suppose -r = f - 1245, 0 = -4*r + 39*f - 44*f + 4980. Is 15 a factor of r?
True
Suppose 110 = -n - 4*k, 2*n = -2*k - 12 - 208. Let d = n - -171. Does 8 divide d?
False
Suppose -n + 210 + 258 = 0. Does 13 divide n?
True
Suppose 0 = 4*n + j - 148 + 25, 2*j + 106 = 3*n. Suppose 0 = 11*i - 23 - n. Is 4 a factor of i?
False
Let v(t) = -t**2 + 21*t - 73. Is v(8) a multiple of 31?
True
Suppose -4*x + 0*x = -5*n + 4, -36 = -5*x - 4*n. Suppose 0 = -5*p - x*u + 210, -4*p = 5*u - 155 - 13. Is p a multiple of 14?
True
Let p = -30 + 0. Let g = -27 - p. Suppose -4*i - g - 9 = 0, 4*t - 486 = 2*i. Is t a multiple of 31?
False
Let g(i) = -i**3 - 5*i**2 + 7*i + 6. Let f be g(-6). Is 4 a factor of (18/24)/(1/28 - f)?
False
Suppose 2073*j + 874 = 2092*j. Is j a multiple of 23?
True
Let x = -32 - -34. Suppose 5*t - x*t - 69 = 0. Does 7 divide t?
False
Let f be ((-28)/(-21))/((-3)/9). Let g be f + 21/3 - -202. Let q = g - 111. Is q a multiple of 12?
False
Let m = -21 - -26. Suppose 0 = 2*p - 0*h - 5*h - 204, 0 = -3*p - m*h + 256. Does 10 divide p?
False
Let f(w) be the second derivative of -4*w**3/3 + 35*w**2 - 41*w. Is 10 a factor of f(0)?
True
Does 56 divide (-22)/(-77) - 2/(42/(-13707))?
False
Suppose -y = 2*y. Suppose 5*b = -y*b, 0 = t + 4*b - 90. Suppose 9*c - t = 4*c. Is 18 a factor of c?
True
Does 25 divide 7 + (-18 - -8) - (-182 - 0)?
False
Suppose -g = -4*u + 15, 5*g - 5 = -0*g. Suppose 4*k + u = n, n + 2*k + 5 = 33. Is n a multiple of 20?
True
Let n(p) = -p - 4. Let z be n(2). Let c(g) = -g**3 - 5*g**2 - 4*g + 3. Let r be c(z). Let q = -38 + r. Is 12 a factor of q?
False
Suppose -3*g - 259 = 2*g - f, -108 = 2*g + 4*f. Let u be 2/3 - g/39. Suppose -5*s = 3*q - 135, -u*s - 3*s + 45 = q. Is q a multiple of 13?
False
Let j = 63 - 60. Suppose 0 = -4*s + j*s + 186. Is s a multiple of 30?
False
Let c(o) = -o**3 - 2*o**2 - 2*o - 9. Let a = -38 - -32. Is c(a) a multiple of 18?
False
Let m(l) = -6*l. Let k be m(-3). Suppose -2*i + i - k = 0. Let w = 31 + i. Does 13 divide w?
True
Let d be (124/10)/((-4)/(-20)*-1). Let w = 78 + d. Does 16 divide w?
True
Let t(k) be the first derivative of k**5/120 + 7*k**4/12 + 4*k**3/3 + 1. Let z(m) be the third derivative of t(m). Is 3 a factor of z(-6)?
False
Suppose 0 = -v + 8*v - 602. Let h = v + -63. Does 23 divide h?
True
Let w(h) = 17*h - 22. Let n be w(-7). Let b = -22 - n. Suppose 7*s - b = 77. Is 4 a factor of s?
True
Let b be (8/20)/(1/5). Suppose -2*t = 5*i, b*i + 1 + 1 = -t. Let x = t - -17. Is x a multiple of 7?
True
Let m(w) = 15*w**2 - 2*w - 4. Let p be m(2). Suppose 3*q = q + 5*x + 59, -q + p = 5*x. Is 4 a factor of q?
False
Let i = -219 + 397. Is 11 a factor of i?
False
Let a be 6 - (2 + 2 - 2). Suppose -a*v + 2*v = -10. Suppose -2*b = -6*b + v*g + 75, -15 = -3*g. Does 8 divide b?
False
Let v = 65 - 184. Let w = v - -245. Is 21 a factor of w?
True
Let r(z) = -157*z - 418. Does 5 divide r(-5)?
False
Is 55 a factor of -1*13*12/(-24)*110?
True
Let p = 31 + -57. Let w = 28 + p. Suppose 12 + 18 = w*v. Does 15 divide v?
True
Let b(t) = t**2 + 3*t - 7. Let p be b(-5). Suppose 0 = -5*g + p*n + 63, 4*g + 3*n = -g + 87. Let f = g + 1. Does 4 divide f?
True
Suppose 2*h + 2*b - 1293 = 1217, 0 = 4*h - 2*b - 5050. Is h a multiple of 20?
True
Suppose 1 = -2*x + 3. Suppose 0 = -5*q + q - 12, q + 183 = 3*b. Is 26 a factor of ((-1)/(-2))/(x/b)?
False
Let c(v) = 2*v**3 + 5. Let m be c(4). Let l = -43 + m. Is 15 a factor of l?
True
Let x = -185 - -214. Is 2 a factor of x?
False
Suppose 7*o - 6*o - 2 = 0. Suppose 268 - 114 = f - k, 3*f - o*k = 466. Suppose 2*x + 46 - f = 0. Does 19 divide x?
False
Let m(z) = -z**2 + 18*z + 7. Let v(x) = -x**3 + 6*x**2 + 6*x. Let o be v(6). Suppose -3*l = -0*l - 3*c - o, 28 = 2*l + 2*c. Is 21 a factor of m(l)?
False
Let a = 1354 - 703. Does 31 divide a?
True
Let d = 704 + -368. Is d a multiple of 8?
True
Suppose 19*x - 1481 + 531 = 0. Does 10 divide x?
True
Suppose -155*j = -148*j - 4753. Is j a multiple of 27?
False
Is -3 + 2 + 1/((-4)/(-1568)) a multiple of 28?
False
Let h = -23 + 21. Let j be h*1/(-3 - -4). Does 16 divide ((-20)/5)/(j/31)?
False
Let j(c) = c + 92. Let a be 0/(0 - 2)*-1. Let w be j(a). Let s = w + -23. Is 23 a factor of s?
True
Let x(f) = -25*f - 29. Let w(j) = -5*j - 6. Let m(s) = -11*w(s) + 2*x(s). Is m(11) a multiple of 9?
True
Let q = -60 + 17. Let x = 49 + q. Is 2 a factor of x?
True
Suppose -105 - 84 = 3*q. Is 7 a factor of (q/(-27))/(1/6)?
True
Suppose -4*g + 3*f = -20, -g + 2*f + 4 = -1. Suppose -g*o - 2*w + 984 = 0, -468 = -5*o - w + 519. Does 30 divide o?
False
Is -9 + 17 + (-816)/(-1) a multiple of 40?
False
Let f = 33 + -28. Suppose 2*v = b + 49, -f*v - 2*b + b = -133. Is 6 a factor of v?
False
Suppose y - 107 = -5*a + 638, -3*a - 3 = 0. Does 10 divide y?
True
Suppose -2*x + 666 = 4*m, 2*x - 1322 = -2*x + 2*m. Is 35 a factor of x?
False
Suppose 2*p - 2 = 0, -5*n + p = -2*p - 297. Is n a multiple of 15?
True
Does 2 divide (3/5)/(6/50)?
False
Let z be (-110)/(-12) - 4/24. Suppose 4*f - 3*f - z = 0. Is 3 a factor of f - 0/(-3 - 2)?
True
Suppose 9 + 6 = -y. Let l be (36/y)/((-3)/20). Let t = l - -15. Is t a multiple of 8?
False
Let t = -391 + 417. Does 26 divide t?
True
Let t(j) = 54*j + 551. Does 10 divide t(13)?
False
Is 27 a factor of 1*162/((-6)/(-2))?
True
Let t(p) = -p**3 - 3*p**2 + 18*p + 17. Is 11 a factor of t(-8)?
False
Suppose -2*z + 2*w + 234 = 0, 4*z - 2*w - 211 = 253. Is z even?
False
Let p = 3 + 0. Suppose -p = b - 7. Suppose -b*g + 5*v + 27 = 0, -5*g = 2*v + 10 - 85. Is g a multiple of 13?
True
Suppose -8 = 2*t, 0 = 4*j + 7*t - 4*t - 9060. Is j a multiple of 81?
True
Let w(z) = 14*z - 28. Let n be w(4). Let u = n - -57. Does 10 divide u?
False
Suppose -2*f + 8 = -0*f. Let y(j) = 5*j**3 - j**2 + 2*j - 4. Let h be y(f). Suppose -h = -2*s - 2*s. Does 16 divide s?
False
Let m be 413 + -1*(0 - (1 + -3)). Suppose 216 = 11*l - m. Is 27 a factor of l?
False
Is 18 a factor of ((-4)/(-8))/(4/720)?
True
Suppose 8 + 1 = 3*h. Suppose -3*i - 2 = -2*x, -24 = -4*x - h*i - i. Suppose w - 100 = -x*w. Is w a multiple of 8?
False
Suppose 0 = -3*s - 4*m + 219, 3*s + 0*s - 2*m = 201. Is 8 a factor of s?
False
Suppose 0 = -4*l - 5*h - 16, 3*l - 17 = -2*l + 3*h. Suppose 3*x = -l - 89. Let p = x + 53. Does 23 divide p?
True
Suppose 0 = -2*h + 6*h + 124. Suppose -11*d + 8*d - 33 = 0. Let c = d - h. Does 5 divide c?
True
Let c(b) = -2*b - 8. Let f(o) = -1. Let r(w) = c(w) + 2*f(w). Let p be r(8). Let v = 44 + p. Is v a multiple of 18?
True
Suppose 11*b - 15477 + 5005 = 0. Does 74 divide b?
False
Let a(o) be the third derivative of o**4/6 + o**3/3 + o**2. Suppose -7*f - 20 = -11*f. Is 22 a factor of a(f)?
True
Let g(u) = -3*u**3 - 11*u**2 - 8*u - 3. Let f(s) = -2*s**3 - 5*s**2 - 4*s - 1. Let b(d) = 5*f(d) - 3*g(d). Is 9 a factor of b(8)?
True
Let u(m) = -m**2 - 12*m. Let a be u(-12). Suppose -2*y + y + 266 = a. Does 38 divide y?
True
Let g = 2 - -19. Suppose 0 = -5*p + 5*s + 5, 0 = -5*p - 2*s - s + g. Suppose -3*y + p*q = -66 + 24, 0 = -5*q + 5. Does 5 divide y?
True
Suppose 2*k = -v + 13, 3*k = k - 4*v + 28. Let d = k - 2. Suppose -d*s = s - 72. Does 12 divide s?
True
Let w = -8 - -6. Let i be 4/5*(-5)/w. Suppose i*r = 2*h + 112, -2*r = h + 2*h - 87. Does 17 divide r?
True
Suppose 5*o - 22*g + 20*g = 593, 0 = -3*o + g + 356. Does 17 divide o?
True
Suppose 1 + 23 = -3*p - 3*r, 4*p + 5*r = -34. Let v(q) = 2*q**2 + 2*q + 12. Is v(p) a multiple of 18?
True
Suppose -132*p = -127*p + 5*s - 5580, -4*p + 2*s = -4464. Is p a multiple of 14?
False
Let v(w) = -w**2 - 11 + 23 - 10*w - 14. Is 3 a factor of v(-7)?
False
Let f(o) = -61*o - 107. Does 37 divide f(-7)?
False
Suppose -3*r - r = -20. Suppose 5*z + 4*x = 41, r*z + 2*x + 10 = 53. Does 3 divide 4/(-3 + 7) + z?
False
Is 56 a factor of (0 - 1) + -7 + -7 + 455?
False
Let u(q) = q**3 + q**2 - 5. Let r be (-4 - -7)*(-5)/(-3). Let c(x) = 2*x**3 + 2*x**2 - 8. Let p(i) = r*c(i) - 8*u(i). Does 8 divide p(2)?
True
Let a be (-4)/20 - 3213/(-15). Let d = a - 115. Is d a multiple of 12?
False
Let m(y) = y**3 + 6*y**2 - 5*y + 20. Let l be m(-7). Let v be 0 - (2 + (2 - l)). Suppose -36 = -v*u - a + 4*a, -3*u + 2*a = -54. Is 9 a factor of u?
True
Let w be -5*4/(-5) + 1. Suppose -l = -5*d + 2*l + 390, d - 78 = w*l. Is 28 a factor of d?
