 - 1996. Is m a multiple of 13?
True
Let a be 1*(-1 - 0) + 2 + 8. Let y = 124 + a. Let b = y - 25. Is 27 a factor of b?
True
Let g be (-38 + 33)/(0 - 1). Suppose 2*f + g*q = 0, 4*f = -3*q - 0*q. Suppose f = 6*x - 9*x + 135. Is x a multiple of 8?
False
Let l = 6856 - 5416. Is l a multiple of 118?
False
Suppose 0 = 4*b - 5 - 51. Is 7 a factor of 92/(-161) + 918/b?
False
Suppose x - 22 = 3*h, 8*h - 6*h + 3*x = 0. Does 26 divide 7 - (-1)/(-1) - (-890 + h)?
False
Let n = -181 - -181. Suppose n = -23*g + 15*g + 7936. Is 16 a factor of g?
True
Is 102 a factor of 126/7 + (-33912)/(-3)?
True
Let m(a) = -13*a + 1244. Is m(43) a multiple of 14?
False
Suppose 124 = -9*z + 2662. Does 8 divide z?
False
Let f be ((0 + 11)*9)/((-2)/(-20)). Suppose -8*i = -2*i - f. Does 11 divide i?
True
Does 45 divide (23168 - (13 + -9))*2/8?
False
Let f(i) = -i**3 + 10 - 2*i**3 - i - 4*i + 4*i**2 - 6. Let o be f(2). Is 1752/42 - (32/o + 2) a multiple of 7?
True
Let k(i) = i**2 - 6*i - 6. Let h = -36 - -67. Let b = h + -23. Is k(b) a multiple of 5?
True
Suppose 29*r - 114630 = 14565. Is 11 a factor of r?
True
Let i(z) = 592*z**3 + 5*z**2 - 4. Is 88 a factor of i(2)?
True
Let w be ((-46)/(-4) + -7)*104/(-6). Let r = w + 1163. Is 15 a factor of r?
False
Suppose 54*g - 61*g + 49 = 0. Suppose 2185 = -g*j + 12*j. Is j a multiple of 19?
True
Let r(i) = i**3 - 4*i**2 + 6*i - 4. Let n be r(3). Suppose -11*l + 9*l - 5*o = -747, 0 = -n*l + 5*o + 1780. Is l a multiple of 14?
False
Let a(i) = -37*i - 23. Let v be (-2)/(17/26 + 6/(-39)). Let j be a(v). Suppose -5*n + 445 = -j. Does 15 divide n?
False
Let f = 102 - 93. Suppose 0 = -f*g + 10*g + 5. Is (78*g/35)/((-2)/14) a multiple of 10?
False
Let x(n) = 118*n - 6076. Is 4 a factor of x(129)?
False
Suppose 13*g + 185 = 55. Does 12 divide (-4)/40*-602 - (-2)/g?
True
Let r = 166 + -188. Let y = r + 424. Is y a multiple of 14?
False
Suppose -12888 = 97*k - 103*k. Is 13 a factor of ((-8)/32)/((-3)/k)?
False
Let z(a) = 224*a - 18. Let l be z(3). Suppose -914 - l = -4*b + 5*c, -5*c - 1176 = -3*b. Is b a multiple of 49?
True
Suppose 192*z - 101*z - 3372187 = 0. Is 11 a factor of z?
False
Let m(b) be the third derivative of -29*b**4/24 + 19*b**3/2 + 24*b**2. Does 8 divide m(-6)?
False
Suppose -4*f = 5*a - 52768, a - 9788 - 781 = -3*f. Does 17 divide a?
False
Let h(r) = -r**3 + 14*r**2 + 3*r - 40. Let c be h(14). Suppose -c*o - 4*a + 630 = -0*a, 2*o - 636 = -a. Does 29 divide o?
True
Let f(t) = -t**2 + 2*t + 64. Let b be f(0). Suppose 8 = -4*z, 0*l - 2*z - b = -3*l. Let c = l + -17. Is c a multiple of 3?
True
Let m(f) = 12*f**2 - 179*f + 44. Is m(-17) a multiple of 69?
True
Suppose -2*v - r + 3634 + 542 = 0, -r = 0. Does 72 divide v?
True
Let q be ((-6)/(-9) - (-119)/(-21)) + 170. Let b = q + 131. Is 37 a factor of b?
True
Let f = 468 + -464. Suppose 5*t - 131 - 629 = -3*i, -3*t + f*i + 427 = 0. Is 23 a factor of t?
False
Let b = -5401 - -14905. Is 24 a factor of b?
True
Does 19 divide (2430/(-40))/(6/(-280))?
False
Is 40 a factor of ((-3016)/(-16))/((-14)/(-196))?
False
Let g(u) = 58*u - 456. Let k be g(8). Suppose -4*r = -k, 3*r = 4*v + v - 794. Is 4 a factor of v?
True
Let w be 3 + 3/(9/(-159)). Let f be 10/(-25)*w/4. Suppose 78 = i - 5*d, 5*d = -0*i + f*i - 470. Does 28 divide i?
False
Let f(y) = -14 + 35*y - 21 + 11*y. Let d be f(7). Let w = d + -197. Is w a multiple of 20?
False
Let f(t) = -2*t**3 - 3*t**2 - 5*t - 7. Suppose 4*i - 300 = -i. Suppose -48 + i = -4*l. Does 7 divide f(l)?
True
Suppose 5*i = -4*i + 12717. Suppose -16*l + i = -3499. Is 49 a factor of l?
False
Suppose -g = 4*t - 10308, -92*g + 91*g = -t - 10338. Is g a multiple of 21?
True
Suppose -4*w - 5*m + 38567 = 0, -134*m + 133*m - 9653 = -w. Is w a multiple of 134?
True
Let c(q) = -13*q + 28. Let g be c(2). Suppose 1540 = g*o - 168. Does 61 divide o?
True
Suppose -p = -3*p + 10. Let j be -25*p/15*-3. Suppose 4*l - j = 31. Is l a multiple of 2?
True
Suppose 2*g = -5*x + 26126, -2*x + 14*g = 17*g - 10457. Is x a multiple of 37?
False
Let r be ((-864)/45)/(6/(-20)). Let y = -24 + r. Is 3 a factor of y?
False
Let r = -795 - -749. Is 42 a factor of ((-92)/r)/(1/(-164)*-2)?
False
Suppose -7 = -p - 2*q, -q - 11 = -5*p - 3*q. Let i be 196 + (p - -1) + 15/(-5). Let y = -112 + i. Does 15 divide y?
False
Let z(r) = -r**3 - 49*r**2 - 78*r - 45. Does 155 divide z(-48)?
True
Suppose 0 = 5*r - t - 3060, 5*r = -6*t + 4*t + 3060. Is 6 a factor of r?
True
Let w(t) = t**3 + 8*t**2 - 2. Let r be w(-1). Does 15 divide (-8)/2 - (-648 - 5/r)?
True
Let p be ((-24)/(-2))/(4 + 265/(-70)). Suppose -2*f - l + 85 = 0, l - p = -5*f + 149. Is f a multiple of 4?
True
Let u = 10858 + 19. Does 73 divide u?
True
Suppose 9*b = -z + 4*b + 228, 2*b = -3*z + 723. Let t = z - 97. Is 5 a factor of t?
False
Let l = -468 - -117. Let w = -97 - l. Does 17 divide w?
False
Suppose -99 = -3*b - 4*u + 7*u, -b - 2*u = -39. Suppose 0 = -l + 4, 36*h + 4*l - 705 = b*h. Does 13 divide h?
True
Let r = 913 - 491. Suppose -2*n = -4, -2*o + 0*o = n - r. Suppose 0 = 13*u - 11*u - o. Is 14 a factor of u?
False
Suppose 0 - 6 = -3*x. Let c(y) = 14*y**2 + 3*y**3 - 4*y**3 - 20*y**x - 2. Is c(-8) a multiple of 40?
False
Let o = 35157 - 11432. Does 8 divide o?
False
Suppose -4*h = o - 272, 717 = 2*o + 5*h + 185. Suppose 2*n = 3*s - 996, -o - 392 = -2*s - 4*n. Does 34 divide s?
False
Suppose 46*u + 2853 = 55*u. Suppose 8*m - 13*m + 1561 = -4*s, -u = -m - 4*s. Is m a multiple of 8?
False
Let h(r) be the first derivative of 3*r**3 + 7*r**2/2 + 11*r + 1245. Suppose -15 = 2*f + f. Does 28 divide h(f)?
False
Suppose -4*l - 5*j + 0*j = -35178, -3*l + 26413 = -11*j. Is l a multiple of 22?
False
Let o(p) = 1536*p**2 + p + 1. Let s be o(-1). Suppose 53*c - 675 = -22*c. Suppose 17*h - s = c*h. Is 29 a factor of h?
False
Let d = -59908 + 103060. Does 11 divide d?
False
Let c be 44204/7 - (80/(-56))/10. Suppose -33*u = -9855 - c. Is u a multiple of 8?
False
Let w = -318 - -1547. Let c = 222 + -29. Suppose 7*b - w = -c. Does 37 divide b?
True
Suppose -27 = -3*i + 2*c - 7, 0 = i + 4*c - 2. Suppose -4*k + 0*l + 18 = 2*l, -2*l = i. Is 3/(-4) + (-130)/(-16)*k a multiple of 12?
True
Suppose 2*a - u = 29, 0 = 5*a - 4*u - 3 - 65. Suppose -a = 12*h - 64. Suppose -592 = -9*o + 4*o - h*x, 5*o - 3*x = 606. Does 8 divide o?
True
Suppose 3*b = -b - 2*q + 30, -40 = -4*b - 4*q. Let h(x) = 3*x**3 + 4*x**2 - 6*x - 5. Let m be h(b). Suppose -d = -11*d + m. Does 11 divide d?
True
Does 13 divide (48/90)/((-6)/15)*(-19 + -2867)?
True
Does 9 divide (-1611)/((-12)/30*(-15)/(-12))?
True
Suppose -3510 - 26410 = -16*d. Is 110 a factor of d?
True
Let n = 92 + -37. Let r = -19 - n. Let a = -28 - r. Does 23 divide a?
True
Suppose -14 = -14*n + 13*n. Suppose -10 = 9*o - n*o. Is 19 a factor of (188/6)/(o/6)?
False
Let y(d) = 20*d**2 - 24*d + 29. Let t(l) = 5*l**2 - 6*l + 7. Let p(a) = 9*t(a) - 2*y(a). Let f be p(3). Suppose 0 = -f*w + 27*w + 415. Is 13 a factor of w?
False
Suppose 3*b - 2*w - 60 = 0, 2*w = b - 0*b - 20. Suppose 6*f - b = 5*f. Let c = f + 32. Does 27 divide c?
False
Let y = 57 + -49. Suppose -2*g + y = -34. Suppose g = -8*x + 9*x. Is 3 a factor of x?
True
Let x be (5772/(-65))/(6/(-20)). Suppose 0 = -2*z + 8 + x. Does 8 divide z?
True
Let l(b) = b + 11. Let h be l(-13). Let f be -1 + (-9)/h - (-24)/(-16). Is 10 a factor of (-2)/8 - (f + 1636/(-16))?
True
Let l(x) = -x**2 - 8*x - 14. Let j be l(-4). Suppose 38 = j*p - 4. Is p a multiple of 5?
False
Does 181 divide ((-3 - -5) + -1088)*(4 + -9 + 3)?
True
Let z be ((-4)/5)/((8/20)/(-1)). Suppose 3*n - 568 = -t, -z = -3*t + 1. Suppose 396 = 3*p - 3*y, 5*p = -5*y + 481 + n. Is p a multiple of 19?
True
Let z(j) = -j**2 - 15*j - 45. Let d be z(-5). Is -1 + d - (4 - 0 - 70) a multiple of 3?
False
Suppose 0 = 3*i, -3*q = -4*q + 4*i + 713. Is q - (3/(6/(-4)))/2 a multiple of 14?
True
Suppose 0 = -5*x - 3*p, 2*x + 4*p - 14 + 0 = 0. Let i be (x*1)/(16/560). Let o = i + 162. Is o a multiple of 5?
False
Let j = -268 + 158. Let h = -71 - j. Suppose 6*z + h - 219 = 0. Is z a multiple of 5?
True
Let y = 114 - 111. Suppose g - y*l - 2 = -8, -g = -5*l + 10. Suppose -14*u + 7*u + 140 = g. Is u a multiple of 10?
True
Let q = -771 - -780. Does 25 divide 22/(-33) + -11*(-21)/q?
True
Suppose -g - 5*p + 3096 = 0, -4*g + p + 12327 = 2*p. Is 