e h(-10)?
True
Let g = -4 - -14. Let o = g + -4. Suppose 144 = o*c - 2*c. Is c a multiple of 13?
False
Let p = 12 + -8. Let o = -92 + 208. Suppose -3*j - 41 = -5*v + 64, -p*j + o = 4*v. Is 5 a factor of v?
False
Let j(y) = 4*y**3 + 2*y**2 + 2*y + 2. Let s be j(3). Suppose s = -g - g. Let d = g - -125. Is d a multiple of 13?
False
Suppose -5*i + 5 + 20 = 5*w, w = 4*i. Let h be (-2 + 3)*(-12 - i). Does 9 divide (-4)/(1 + 15/h)?
False
Let q be 0*(-1)/(4 + -3). Let i(p) = -p - 1 + 10*p - 4 + q*p. Is 12 a factor of i(7)?
False
Let g be (-1562)/(-7) + 2/(-14). Suppose -g - 673 = -4*x. Does 43 divide x?
False
Let m(y) = y**2 - 6*y + 2. Let u be m(6). Let p(q) = 28*q**2 - 3*q - 4. Does 25 divide p(u)?
False
Suppose -5*q - 140 = -2*h, -218 = -3*h - q + 9. Does 5 divide h?
True
Suppose 0*y - y + 192 = 3*m, 5*y = -4*m + 245. Let n = -95 + m. Let r = -19 - n. Is r a multiple of 11?
True
Suppose -3*i - 7 = -4*l, 2*l - 4*l + i + 3 = 0. Suppose 0 = 11*w + 84 + 169. Let j = l - w. Is 6 a factor of j?
True
Suppose 6*s - 8*s + 364 = 0. Is s a multiple of 13?
True
Suppose -z + m - 8 = 0, 4 = -4*z - m - 3. Is 6 a factor of 42*(-4)/(-6) + z?
False
Let k = 2961 - 555. Is 69 a factor of k?
False
Suppose -2*c + 5*c - 1452 = 0. Let a be (-14)/35 + c/10. Suppose -2*l - a = -5*l. Is l a multiple of 9?
False
Let h(y) = -y**3 + 3*y**2 + 6*y - 4. Let m be ((-6)/3 - -4) + 2. Let f be h(m). Suppose d - f - 19 = -c, 5*c + 3*d - 113 = 0. Is c a multiple of 5?
False
Let n be 5 + -4 - (1 - 4). Let d = -6 + n. Let v(x) = 12*x**2 - 2*x - 1. Is 15 a factor of v(d)?
False
Let y = -90 + 242. Let p = y - 88. Is p a multiple of 26?
False
Let r be 2*(-2 - -1) + 7. Suppose -2*l = -3*c - 6, -15 = -4*l + 5*c - r. Suppose l = -g + 3 + 1. Is g a multiple of 3?
False
Suppose -261*g - 1017 = -262*g. Does 22 divide g?
False
Let j(q) = -q**3 + 7*q**2 + 12*q - 4. Suppose -9*w + 11*w = 16. Is 19 a factor of j(w)?
False
Suppose 0 = 5*b - 4*t - 1826, 13*b + 4*t - 346 = 12*b. Is b a multiple of 4?
False
Let s(v) = -v**3 + 12*v**2 + 2*v + 3. Let f be s(12). Suppose f*i - 280 = 23*i. Does 4 divide i?
False
Let c(z) = z**2 - 5*z + 6. Let o be c(4). Suppose -o*l + g + g - 28 = 0, g - 3 = 0. Let p = 23 + l. Is p a multiple of 2?
True
Is 20 a factor of (6 + 3080/11)/((-1)/(-2))?
False
Let w be (-3 - -2) + (8 - 5). Suppose 4*p = 0, -w*p = -2*y - y + 243. Does 10 divide y?
False
Suppose 5*a + 114 = 2*b, -2*a + 2*b - 9 = 33. Let s be 132/a*(-9 - -1). Suppose -h = h - s. Does 16 divide h?
False
Suppose -675 = -2*w + v, -2*v = -w - v + 336. Let y = w - 81. Is y a multiple of 43?
True
Suppose 0 = 3*k + 21 - 27. Let c = 5 - k. Suppose h - 3*h = -2, -c*n = -2*h - 13. Is 5 a factor of n?
True
Suppose -563 = -5*s + 1492. Does 24 divide s?
False
Is 73 a factor of ((-1314)/(-21))/(35/490)?
True
Suppose 0 = -3*a + 3*k + 3, 5*a = a - 4*k - 20. Let s = -13 - a. Let q = 48 + s. Is q a multiple of 11?
False
Let i(o) = 3*o**2 - 12*o + 23. Let g(p) = -5*p**2 + 18*p - 34. Let y(r) = 5*g(r) + 8*i(r). Is 7 a factor of y(-7)?
True
Let w(x) = 72*x + 207. Is w(23) a multiple of 12?
False
Let v be 1*5/(15/1053). Suppose 433 = 7*q - v. Is q a multiple of 24?
False
Let r be ((-21)/(-7))/3 + 2*2. Suppose r*q - 841 - 314 = 0. Is 11 a factor of q?
True
Let l(s) = 1 - 4*s + 0*s + 3 - 2*s. Is 5 a factor of l(-6)?
True
Let v(k) be the third derivative of k**4/24 - 5*k**3/6 + 6*k**2. Let q be v(5). Let t(g) = g**3 + g + 66. Is t(q) a multiple of 22?
True
Suppose -40*c + 3900 = -27*c. Does 6 divide c?
True
Suppose -9*n + 585 = -4*n. Suppose 10*c = c + n. Is c a multiple of 2?
False
Suppose i = 6*i - 20. Suppose -i*h - 2*h = 402. Let q = h - -122. Is 27 a factor of q?
False
Let v(t) = -47*t + 539. Is 15 a factor of v(0)?
False
Let j(f) be the third derivative of -f**4/12 - 2*f**3/3 - 4*f**2. Let n be j(4). Is (-7 - (2 + -5))*n a multiple of 16?
True
Let v(b) = b**3 + b + 8. Let u be v(0). Let o = u + -11. Does 23 divide 41 - (-3 - o - 0)?
False
Suppose -1233 + 441 = -9*w. Suppose -u + 463 = 5*c, -c - 11 = -5*u - w. Is c a multiple of 21?
False
Suppose 36 = -3*r + 6. Let u = 15 + r. Does 3 divide u?
False
Let v(o) = -3*o - 7 + o**2 + 5*o**2 + 0 + 5. Does 7 divide v(-2)?
True
Suppose 0 = -2*c - 190 - 102. Let x = 282 + c. Does 34 divide x?
True
Let t(a) = a**3 + 6*a**2 + 5*a. Let i be t(-6). Does 14 divide (-5)/i + (-166)/(-12)?
True
Let z(n) = -543*n**3 - n**2 - 4 + 561*n**3 - 1 + 4*n. Is z(2) a multiple of 11?
True
Let f = -45 + -10. Let y = -107 - f. Does 19 divide y*(0 + (-12)/8)?
False
Let y(a) = -a**3 + 13*a**2 + 8*a - 4. Let j be y(10). Suppose 0 = -o + 3*n + 113, -5*o + 229 = 5*n - j. Is 27 a factor of o?
False
Suppose 5*t - 41 = 139. Is t a multiple of 4?
True
Let g = -1120 - -1610. Does 7 divide g?
True
Suppose -k = -0*k - 4. Suppose -5*s + 5*a = -30, s + 6*a + 6 = k*a. Is 25 a factor of (-27*s)/(3 + -5)?
False
Let f be 1 + (-3 - -3) + 92. Let h = f - 52. Is h a multiple of 15?
False
Let o(d) = 15*d + 261. Is o(5) a multiple of 48?
True
Suppose -5*n + 6561 = 4*b - 7*b, 0 = -5*n - 4*b + 6582. Is 4 a factor of n/54 + (-2)/6?
True
Let r(b) = 5*b**2 + 162*b - 8. Is r(-37) a multiple of 2?
False
Let f(a) = -a + 4. Let t be f(2). Suppose 3 = t*l - 3*l. Is 16 a factor of 36*-4*1/l?
True
Let c = 306 - 108. Is 8 a factor of c?
False
Let h(t) = -3*t + 15. Suppose -y - 5*r - 5 - 3 = 0, -y + 4*r - 17 = 0. Does 19 divide h(y)?
False
Let o = -59 - -34. Let m = -23 - o. Suppose a + m*a = 156. Is a a multiple of 8?
False
Suppose 5*z + g = -611, 138 = -5*z - 5*g - 457. Let l = 133 + z. Does 5 divide l?
True
Let q(p) = 8*p**2 + 8*p + 3 + 3*p**2 - 10*p**2 + 14. Is q(-8) a multiple of 17?
True
Let n(j) = 2*j**3 - 11*j**2 - 24*j + 17. Is 10 a factor of n(10)?
False
Let t = 1036 + -452. Is 15 a factor of t?
False
Suppose 29*z - 13*z - 8528 = 0. Is 14 a factor of z?
False
Let j = 70 + -43. Suppose -v + j = -141. Is 14 a factor of v?
True
Suppose 3*k = 2*h + 3, 6*k = 3*k - 2*h + 15. Suppose 6*m + k = -3. Let r = m - -27. Is r a multiple of 6?
False
Let i = -159 - -160. Suppose -4 = 5*d + 6. Does 6 divide 19 + i - d/2?
False
Suppose -25*x = -74000 + 6500. Does 100 divide x?
True
Let k = 1494 - 1242. Is k a multiple of 3?
True
Suppose 3*l = 4*l - 304. Suppose -5*u + 31 + l = 0. Does 37 divide u?
False
Let y(k) = -48*k - 2. Let s be y(-1). Suppose 3*h + 2*c - s = 0, 0 = 3*h - 5*h + 3*c + 35. Does 4 divide h?
True
Let r be (2 - -1) + (13 - 11). Suppose 2*f - 5*c - r = -0*f, 0 = -5*f + c + 24. Suppose m - 5*h - 10 = -3*h, 0 = f*h. Is 10 a factor of m?
True
Let v = 30 - 27. Suppose 0 = v*u - 135 - 201. Does 28 divide u?
True
Let c be (3 + 1)*(-18)/8. Let z = 730 - 704. Let u = c + z. Does 17 divide u?
True
Does 77 divide 8/(16/21)*(-264)/(-4)?
True
Let c = -698 - -1367. Does 14 divide c?
False
Let r(w) = 4*w**2 - 4*w + 4. Let u be r(1). Suppose -u*y - y + 350 = 0. Is 10 a factor of y?
True
Let v be ((-1)/2)/(3/(-3738)). Suppose 498 = 4*h + y, -5*h = y - 0*y - v. Let w = -55 + h. Is w a multiple of 12?
False
Suppose 0 = 7*w + 402 + 1341. Does 29 divide -3 - (-3 + w)/3?
False
Suppose 12*c = 7*c - 20, 5*b + 3*c = 5108. Does 32 divide b?
True
Let q(r) = r**2 - 7*r + 10. Let h be q(8). Is 7 a factor of h/4*(-14)/(-3)?
True
Suppose 0 = -2*c + 3*x + 6, -4*x = -4*c + 7 + 1. Suppose 36 = -2*y - c*y. Let f = y - -36. Does 6 divide f?
True
Let b(s) = -19*s**3 + 2*s**2 + 2*s + 6. Let w = 81 + -83. Does 18 divide b(w)?
True
Suppose 4*h = -3*x + 97, 5*h - 7*x + 2*x - 130 = 0. Suppose 129 - h = 4*l. Is 3 a factor of l?
False
Suppose -4 + 14 = 2*t. Suppose -4*c - q + 4 = -5, -15 = t*q. Suppose c*v + 175 = 3*x + 37, 0 = -2*x + v + 91. Is 24 a factor of x?
False
Suppose z = -2*y - 3*z + 160, z + 135 = 2*y. Let m = y + -52. Does 2 divide m?
True
Suppose -4*z - 4 = -16. Suppose -46 = -3*w - 2*s, z*s = -2*w - 2*s + 27. Is w a multiple of 16?
True
Suppose -f = w - 5, -3*f - w = -4*f - 3. Suppose -10 = -2*m - 3*m. Is 9 a factor of (f - 11)/(m/(-4))?
False
Suppose 2*g = 36*g - 18598. Is 5 a factor of g?
False
Let o(p) = p + p**2 - 5*p**2 + 5*p**2 + 1. Is o(-3) a multiple of 6?
False
Let n(p) = 7*p**3 - 3*p**2 + 8*p - 12. Is n(3) a multiple of 26?
False
Suppose 4*s - 93 - 303 = 0. Suppose b - 4*b = -s. Is b a multiple of 6?
False
Suppose 73*c - 39864 = 49*c. Is c a multiple of 23?
Fa