 + -3)?
False
Suppose -11*n - 840 = -16*n + 2*h, 0 = 5*n - 5*h - 840. Is 35 a factor of n?
False
Let s(y) = 8*y**2 + 32*y - 50. Does 4 divide s(8)?
False
Let m(w) = -21*w**3 + 2*w**2 + w + 4. Let i = 114 + -116. Does 8 divide m(i)?
False
Let m = -190 - -326. Is m a multiple of 8?
True
Is 9 a factor of ((-9)/15 - 3)*(-55)/2?
True
Suppose 0 = -l + 311 - 24. Does 7 divide l?
True
Suppose 0 = 35*y - 26*y - 4698. Is 9 a factor of y?
True
Suppose 3*f = -6 - 3. Let i be 4 - ((-3)/f + 3). Suppose i*g + 4*g - 5*p = 41, 59 = 4*g + p. Does 5 divide g?
False
Is 2/(-3)*((-1759)/2 - 10) a multiple of 37?
False
Let a(g) = -g**3 - 6*g**2 + 4*g - 11. Let c be a(-6). Let y = c + 151. Does 29 divide y?
True
Suppose -2*v = -2*i - 321 - 145, -4*v - 3*i = -960. Is 28 a factor of v?
False
Let q be (-2)/(-2) + 16/4. Suppose -q*l + 4*v + 745 = 0, 3*v + 353 + 244 = 4*l. Does 17 divide l?
True
Does 20 divide 24/(8/(-300)*-3)?
True
Suppose 21*q - 53636 + 5126 = 0. Is 77 a factor of q?
True
Suppose 0 = -18*v + 8662 - 1048. Is v a multiple of 47?
True
Suppose -3 = -u + 2*h - 5, 4*h - 16 = -4*u. Suppose 4*f = u*f + 54. Does 9 divide f?
True
Let x = -37 + 1. Let y be 1088/x - 8/(-36). Does 7 divide y/(-3)*(7 + -1)?
False
Let x(o) = 3*o**3 - 5*o + 4. Let f be x(3). Suppose -u + t - 18 = 0, -4*u - 5*t = u + f. Is 4*(-4 - 156/u) a multiple of 5?
False
Suppose 221 = 3*p - 55. Let j(q) = -q**3 + 5*q**2 + 7*q - 5. Let t be j(7). Let g = p + t. Is 19 a factor of g?
True
Let t = -4 + 0. Suppose -2*a + 6 = 0, -4*z + 36 = -3*z + 4*a. Let n = z + t. Does 10 divide n?
True
Suppose 0 = -5*p + k + 3300, 16*k - 3300 = -5*p + 12*k. Is 29 a factor of p?
False
Let q(u) be the first derivative of -2*u**2 - 3*u - 6. Is q(-3) a multiple of 5?
False
Let k(l) = 588*l + 36. Is 36 a factor of k(2)?
False
Let h = 906 - -760. Is h a multiple of 14?
True
Let j be (5/(-3))/((-1)/3). Suppose -j*t + 77 = -23. Is 5 a factor of t?
True
Suppose 0 = 40*z - 28459 - 88101. Does 62 divide z?
True
Suppose -1317*s - 320 = -1322*s. Does 8 divide s?
True
Let b(t) = -t. Let n(y) = -5*y**2 + 3*y + 2. Let c be n(-1). Let k(j) = 16*j. Let a(o) = c*b(o) - 2*k(o). Is 13 a factor of a(-2)?
True
Let v(g) = -4*g**2 + 6*g - 5. Let f(c) = -c**3 + c**2 - c + 1. Let i(k) = -2*f(k) - v(k). Let b be i(3). Let h = 123 - b. Does 15 divide h?
True
Let m(y) = y**2 + y - 28. Let w be m(0). Is (14/w)/((-2)/96) a multiple of 6?
True
Let t = 6160 - 3640. Does 120 divide t?
True
Suppose 8*k + 877 - 2149 = 0. Suppose k = 2*q - 2*x - 171, 4*q - 696 = -5*x. Is 13 a factor of q?
True
Suppose 4*u - 3*u = 312. Suppose 12*s - u = -0*s. Is s a multiple of 15?
False
Is 10 a factor of (-17 - (-8 - 1403))*2/4?
False
Let q(m) = -m**2 + 7*m + 1. Let c be q(5). Suppose -6*x = -c*x + 60. Is x a multiple of 10?
False
Suppose -4*n + 29 = -35. Let a be n/(-12)*(-9)/6. Suppose 0 = -2*x, 0*x - 8 = -m + a*x. Is m even?
True
Suppose -2904 = -5*d - 4*n, -86 + 1822 = 3*d - 4*n. Does 8 divide d?
False
Suppose -16 = 6*g - 4*g. Is g/(0 + -4)*60 a multiple of 20?
True
Let o = 50 + -66. Is 90/(28/o*6/(-7)) a multiple of 15?
True
Suppose -15*c - 5*t = -17*c + 8531, 12809 = 3*c - 5*t. Is c a multiple of 23?
True
Suppose -p - 1524 = -2*n - 5*p, -5*n - 5*p = -3830. Is n a multiple of 69?
False
Let h = -5216 - -9405. Does 48 divide h?
False
Let d = 597 + -387. Is d a multiple of 35?
True
Suppose -2*g - 1 = -3*o + 3, -4*o + 5 = -3*g. Suppose 22 = q + 2*s, -o*q - q + 3*s = -84. Is q a multiple of 8?
False
Suppose -3*i = 3*t - 132, -4*t - 6*i + 174 = -i. Let r = 38 + t. Is 7 a factor of r?
True
Suppose 7*n = 2944 - 466. Is 2 a factor of n?
True
Let h(r) = -r**3 + 7*r**2 + 7. Let s = 25 - 18. Let d be h(s). Let q = d - -29. Is q a multiple of 9?
True
Let t(g) be the second derivative of -g**5/20 - g**4/6 + 4*g**3/3 - 5*g**2/2 + g. Let s = -42 + 36. Is t(s) a multiple of 25?
False
Suppose -4*n = h - 11, -3*n + 6*h + 3 = 5*h. Suppose 0 = n*v + 4*a - 88, 5*a + 3 = 23. Is 26 a factor of 2368/v + 2/9?
False
Let o(v) = v**2 - 159. Let p be o(0). Let r be (-2)/12 + (-5013)/54. Let w = r - p. Is 19 a factor of w?
False
Suppose 0 = 4*h - 66 + 62, 0 = 5*k + h - 10731. Is k a multiple of 58?
True
Suppose 4*m = 4*h + 7*m - 399, -3*h - 3*m = -303. Is h a multiple of 6?
True
Let t(r) = 34 - 9 + 2*r**2 - 3*r**2 + 7*r + 0. Is t(9) a multiple of 7?
True
Let c(b) = 75*b + 32. Is c(2) a multiple of 13?
True
Let i(x) be the third derivative of 17*x**6/120 + x**5/20 - x**4/24 - x**3/6 + 15*x**2. Is i(1) a multiple of 15?
False
Suppose 0 = -2*j - 4*j - 6. Let a = j - -5. Suppose 4*w - 65 = 4*o - 5*o, -278 = -a*o + 2*w. Is 23 a factor of o?
True
Let v(a) = 57*a + 125. Is 16 a factor of v(19)?
False
Let m = -25 - -229. Is m a multiple of 12?
True
Let s be (3 - 4)/(-1)*0. Suppose s = 2*q - 2*z - 70, 0 = -3*q + 4*z + 63 + 39. Is 19 a factor of q?
True
Suppose -71 + 35 = -2*h. Is 4 a factor of h?
False
Let z(l) = -l**2 + 6*l + 5. Let p be z(4). Let q(h) = 3*h - 16. Is q(p) a multiple of 23?
True
Let r = 1689 - 780. Does 31 divide r?
False
Let f = 77 + -110. Let s = 57 + f. Is 12 a factor of s?
True
Let g(q) be the third derivative of 0*q + 13/4*q**4 + q**2 + 0 + 1/2*q**3. Does 40 divide g(2)?
False
Let k(u) = -u**2 + 8*u + 3. Let n be k(7). Suppose -n*t + 12*t - 184 = 0. Does 14 divide t?
False
Let y(r) = -r**2 - 3*r + 2. Let q be y(-3). Suppose 0*z = q*z - 4. Suppose -b + i + i = -81, -157 = -z*b + 3*i. Is b a multiple of 36?
False
Let s(a) = -a**3 + 3*a**2 + 8*a - 3. Let v be s(5). Let o = 16 + v. Suppose -o*k = -k + 5*y - 65, 5*y = -4*k + 155. Is k a multiple of 12?
False
Let v be 46 - 4/(5 + -1). Let j = 64 + v. Is j a multiple of 23?
False
Suppose -5*z + 2388 = -c, -5*c - 1150 = 4*z - 3043. Is z a multiple of 29?
False
Suppose -c + 4 = 2*x, -2*x - c = 4*c + 12. Suppose 3*v + 581 = x*n, -3*n + 276 = 4*v - 141. Is n a multiple of 13?
True
Let h be -6 - (-2 + (-4)/4). Let b be (h/5)/(5/(-25)). Suppose 2*c - 33 = b*l + 7, 0 = -c - l + 25. Is 13 a factor of c?
False
Let b(z) = 167*z**2 + 55*z - 56. Is 45 a factor of b(1)?
False
Suppose -4*n = 4*i, 4*i - 4*n - 4 = 12. Does 3 divide (-34 + 1)/((i + 2)/(-4))?
True
Let h be ((-1)/(6/4))/(6/9). Suppose 5*s = -a - 4, -4*a + 1 = 2*s - a. Does 13 divide (-13)/(-3 - h - s)?
True
Let h = 694 - 402. Is h a multiple of 4?
True
Let x be 2/(-3) + (-8)/(-3). Let m = 7 - -13. Is 26 a factor of (182/35)/(x/m)?
True
Suppose -6*g - 1 = 23. Does 12 divide 6/g*(-200)/6?
False
Suppose 0 = -5*n + n + 232. Let r = 121 - 9. Suppose -n + 210 = 4*s - 4*q, 3*s - 4*q = r. Is s a multiple of 10?
True
Let u(o) = o**3 - 2*o**2 - 2*o. Let s be u(3). Does 5 divide 18/2 + -2 + s?
True
Let c(d) = 3*d**3 - 2*d. Let h be c(2). Suppose -5*x + x = -4*g - h, -2*g = 2*x + 2. Does 8 divide 78/3 - (-5 - g)?
False
Suppose 2*b = -0*u - 4*u + 20, 3*b - 3*u - 21 = 0. Suppose -b*k + 1104 = -4*k. Suppose 4*v = k - 8. Does 14 divide v?
False
Let z = 11 + -11. Let y = z - -51. Let x = y - 10. Does 13 divide x?
False
Let v(l) = 64*l + 145*l - 68 + 27 + 37. Is 18 a factor of v(1)?
False
Let c = -75 + 76. Does 43 divide 3900/48 - c/4?
False
Suppose -18 = 3*k - 4*k. Suppose -17 = -5*y + k. Is y even?
False
Suppose -5*b + 131 = 6. Does 18 divide b?
False
Let d be 1 + 0 + -2*1. Let i = -9 + d. Is ((-32)/i)/((-3)/(-15)) a multiple of 8?
True
Suppose 0 = -3*t + q + 1180, -29*t + 4*q = -34*t + 1978. Is t a multiple of 23?
False
Let a = 62 + 78. Is 10 a factor of a?
True
Let r = 5830 + -3403. Is 10 a factor of r?
False
Suppose -7*l - 7403 + 23363 = 0. Is l a multiple of 8?
True
Suppose 0 = 3*z + 4*s - 8, -5*s = -3*z - 8*s + 6. Suppose -9*y + 62 + 253 = z. Does 7 divide y?
True
Suppose -8 + 400 = 7*t. Let r = 69 - t. Is 2 a factor of r?
False
Suppose 82*m = 79*m + 306. Is m a multiple of 6?
True
Let r = 0 - -8. Does 9 divide (r/(-10))/(4/(-180))?
True
Let s = 62 - 23. Is s a multiple of 4?
False
Let r be (-12)/(-15) - ((-202)/(-10))/(-1). Suppose 0 = f - m - 86, f = 3*m + r + 61. Is f a multiple of 11?
True
Is (264/(-9) - -2)/((-20)/1320) a multiple of 103?
False
Let j(g) = 2*g**2 + 8*g - 7. Let p be j(-5). Suppose d + 128 = 2*x + 3*d, -124 = -2*x - p*d. Is 17 a factor of x?
True
Suppose -l = 3*t, 0*t + 51 = -5*l + 2*t. Does 8 divide (-3)/l + (764/12 - -2)?
False
Let g(k) = 2*k - 9. Let f(v) = 5*v - 17. Let r(