+ w. Is 13 a factor of s?
True
Let b(h) = 15*h + 78. Let g(k) = 16*k + 80. Let j(m) = 7*b(m) - 6*g(m). Is j(15) a multiple of 10?
False
Let p be 2 - (-1 + 6/2*-10). Is 76 + 1 + 99/p a multiple of 16?
True
Does 24 divide (-4)/34 + (-1156842)/(-1377)?
True
Let t = -107 + 110. Suppose -4*l = -0*l + c - 16, -3*l = t*c - 12. Does 4 divide 41/6*l + 26/39?
True
Let m(v) = 4*v + 62. Let h be m(-5). Suppose -h = -3*o + 1962. Is o a multiple of 67?
False
Let u(n) = n**2 + 4*n - 9. Let f be u(-7). Suppose -f*g + 1521 = -3*g. Let a = -121 + g. Is 16 a factor of a?
True
Suppose 25 = 11*g - 30. Let n(r) = r**2 - 4*r + 4. Let h be n(g). Suppose -5*p = -h*p + 204. Is 17 a factor of p?
True
Let h(m) = -6*m**3 + 2*m**2 + 2*m + 3. Suppose -4*q + 3*z = -0*q, 28 = -4*q - 4*z. Is 11 a factor of h(q)?
False
Let h(r) = -2*r**3 - 8*r**2 + 4*r - 3. Let z be h(-6). Suppose -4*t + 24*s - 22*s = -778, -t - 4*s = -190. Let k = t - z. Is k a multiple of 12?
False
Let l(a) = a**3 + 15*a**2 + 2*a - 23. Let s be l(-15). Let z = s - -125. Let j = z - 31. Is j a multiple of 16?
False
Suppose 5*f + 3*s - 11643 = 0, -f + 23*s = 25*s - 2337. Is 30 a factor of f?
False
Suppose -184*u - 20 = -179*u. Let w be (12/u - -1)*(-21 - 4). Let d = 129 - w. Is 13 a factor of d?
False
Let a(w) = 62*w**3 + w. Let c be a(-1). Is 8 - 2 - 6 - c a multiple of 7?
True
Suppose -m + 7*x + 24 = 8*x, -m + 5*x = -12. Suppose -5*k + 2 - m = 0, -f - 3*k = 8. Suppose 0 = 3*c + g - 46, -4 = f*g - 2*g. Is 7 a factor of c?
False
Suppose 8*n = -0*n + 48. Suppose 0 = n*g - 10 - 38. Suppose 2*h - 430 = -g*h. Does 43 divide h?
True
Let b(o) = -274*o**3 - 8*o**2 + 275*o**3 - 10*o - 9*o**2 - 96 - 2*o**2. Does 64 divide b(21)?
True
Does 5 divide (2/5 + (21364/(-60) - 3))*-3?
False
Suppose 114*d = 126*d - 516. Suppose -d*u = -1266 - 3937. Is u a multiple of 5?
False
Let k(c) = 37*c**2 + 10*c - 9. Let j be k(1). Suppose 18*w - j*w + 5040 = 0. Does 18 divide w?
True
Let k be (-2 - -2 - 19)*-3. Suppose -2*y + 688 = -4*s, 2*y = -4*s + 427 - 1091. Let w = k - s. Is 10 a factor of w?
False
Let j(d) = -3*d**3 - 24*d**2 - 16*d - 240. Does 7 divide j(-15)?
True
Suppose 5480*z - 5483*z + 5832 = 0. Does 8 divide z?
True
Suppose 3*r + 2*m = -46, 0 = 5*r + 4*m - 0*m + 78. Is (1832/(-24) - -10)*(r + 2) a multiple of 71?
False
Let q = -363 + 372. Suppose q*c = 1791 + 5751. Is 21 a factor of c?
False
Suppose 3*i - i - 113 = -l, 0 = 4*i + l - 231. Suppose 4*h = j - i + 9, -5*j + 280 = -5*h. Is 37 a factor of j?
False
Suppose 345 = 2*x + 3*x. Let t = x + -66. Suppose -3*l - t*j + 72 = -2*j, -2*j = -l + 24. Does 24 divide l?
True
Let h = 7036 + -4210. Suppose 4*z = -y + 5*y + 2268, -5*z + h = -2*y. Is z/4 + -3 + -1 + -2 a multiple of 27?
True
Let i(o) = -o**2 + o + 6. Let d(b) = -b**3 + b**2 + b. Let l be d(-2). Let u be i(l). Is 3 a factor of (u/20)/((-1)/5)?
True
Let t(x) = x**3 - 3*x**2 + 36*x - 499. Does 3 divide t(12)?
False
Let l = -479 - -210. Let g = 288 + l. Does 3 divide g?
False
Suppose 0 = -5*r - 3*y + 18874, 4*r - 2*y - 7572 = 2*r. Is 7 a factor of r?
False
Let z = -8715 - -33873. Is z a multiple of 84?
False
Suppose -23*s + 119780 - 30540 = 0. Suppose -5*u - 5*f + s = 0, -5*u + 5*f + 3592 + 338 = 0. Is u a multiple of 10?
False
Let k(p) = -p**2 - 15*p - 58. Let n be k(-9). Let h(b) = -237*b + 154. Does 29 divide h(n)?
True
Let k be -1*(-65)/(-10)*-54. Let m = k - 303. Does 3 divide m?
True
Let p(w) = 4*w**2 + 136*w - 70. Is p(-36) a multiple of 13?
False
Let j = -68 - -72. Suppose -l - l = -3*s + 56, -j*s + 3*l + 74 = 0. Is s a multiple of 5?
True
Suppose -3*b + 7*b = 4448. Let c = -995 + b. Is 4 a factor of c?
False
Suppose -44 = -23*a + a. Does 17 divide (a + -37)*(-4)/(40/102)?
True
Let l(k) = -59*k**3 - 19*k**2 - 197*k - 18. Does 266 divide l(-10)?
True
Suppose -4*v + 16034 = 3*o + 1571, -5*v = -o + 4840. Is 111 a factor of o?
False
Let t be 4/14 - 11*(-15)/35. Suppose 52 = -4*h - 5*u, 16 = -t*h - 2*u - 66. Is (h/(-15))/((-3)/435*-2) a multiple of 11?
False
Suppose -3*a + 4*g = 9*g + 13, 27 = 3*a - 3*g. Suppose 5*y = 12 + 8, -b = -a*y - 684. Is b a multiple of 13?
False
Let o be ((-1035)/(-20) - -1)/((-2)/8). Let p = 45 - o. Does 9 divide p?
False
Let z(g) = 3*g. Let q(v) = 14*v - 113. Let d(k) = -q(k) + 5*z(k). Is d(-29) a multiple of 42?
True
Let z(a) = -21*a - 37. Let h be z(-7). Let q = 47 - h. Let t = q - -300. Does 53 divide t?
False
Suppose 0 = -4*a - 5*s - 510 + 5000, -2*a = 3*s - 2246. Is 28 a factor of a?
True
Suppose 0*m = 3*f + m + 704, -5*f - 1172 = m. Let l = -159 - f. Is l a multiple of 15?
True
Is -880*(-207)/(-23)*(-8)/15 a multiple of 176?
True
Suppose 0 = -116*u + 111*u - 505. Suppose 4*f + 16 = -0, -4*z = -2*f + 524. Let a = u - z. Does 4 divide a?
True
Let t(m) = -4*m**3 - 4*m**2 - 8*m - 2. Let q be t(-5). Let i = q + -92. Does 18 divide i?
False
Let m(j) = -j**3 - 6*j**2 - 8*j + 14. Suppose 5*z + 2*g + 32 = 0, -z + 4*g - 2 = -0*z. Let i be m(z). Let a = -48 + i. Does 7 divide a?
True
Let o = 4945 + 1074. Is o a multiple of 76?
False
Suppose -394 = 7*k - 4174. Does 38 divide k?
False
Does 68 divide (-679 - 227)*(-10)/6?
False
Let g be -1 + 2 + (4 - -60). Suppose -4*h = -2*p - 1032, -2*h + 589 = 3*p + g. Let l = h - 124. Does 9 divide l?
True
Let k be (-326)/(-30) - (-8)/60. Let o be (-10 + k)/(1/3). Is 11*6 + -4 + o a multiple of 13?
True
Suppose 14*c = 17*c + 66. Let x be (11/(c/(-776)))/(-1). Is 7/((-14)/x) + 1 a multiple of 13?
True
Suppose 4*m + 2*u = -0*u + 6, 2*m = 4*u + 18. Suppose -5*n - d - m*d = 209, 2*n + d = -83. Let k = -21 - n. Is 4 a factor of k?
True
Let r be 2/((-10)/5)*-278. Let d = 693 - r. Suppose g - 123 + 17 = -4*t, d = 5*g - 3*t. Does 12 divide g?
False
Let n(a) = -8*a - 79. Let t be n(-11). Suppose 1610 = 16*o - t*o. Is 10 a factor of o?
True
Suppose -6*g = 11*g - 680. Does 77 divide (51/(-2) + 1)/(g/(-880))?
True
Let x(t) = 17*t - 19. Let p be x(3). Let r = p + -22. Suppose 135 = -5*l + r*l. Is 5 a factor of l?
False
Let z(i) = i**3 - 42*i**2 + 307*i + 130. Is z(43) a multiple of 92?
True
Suppose 13*f + 17*f = 24*f + 7008. Does 8 divide f?
True
Let l(k) = -32*k - 123. Let r be l(-4). Suppose 0 = 6*s - s - 4*b - 4021, 0 = 5*b - r. Does 35 divide s?
True
Let p = 112 - 66. Let y = 20 + p. Suppose -14 = -2*l + y. Is 20 a factor of l?
True
Suppose -2*q + 5*r = -6229, 358*r = -5*q + 362*r + 15598. Is 39 a factor of q?
False
Let d(k) = 2*k**2 - 6*k. Let s be d(4). Let b(u) = -u**2 + 9*u - 4. Let q be b(s). Suppose 0 = -3*h - 2*l + 50, q*h + l + l - 70 = 0. Does 10 divide h?
True
Let c = -2104 - -3093. Is c a multiple of 70?
False
Suppose -13452 = 8*x + 14356. Is 13 a factor of x/(-18) + (1 + 1)/(-18)?
False
Suppose 57000 = -51*b - 57*b + 120*b. Is 5 a factor of b?
True
Let q(g) = 23*g - 1325. Does 55 divide q(60)?
True
Suppose 12*b - 22*b = -10. Let o be b*-3 - (-22 + -319). Let m = o - 208. Does 25 divide m?
False
Suppose -g = -5*b + 9, 4*g + 14 = -2*b - 0*b. Let u be (-198 + -2 + b)/(21/(-63)). Suppose 0 = 5*j - 2*d - 1004, 2*j + u = 5*j - 3*d. Is 16 a factor of j?
False
Let q(o) = -o**2 + 4*o - 4. Let d = -59 - -61. Let u be q(d). Suppose -4*g - 106 = -5*s, u = 5*g - 3 - 2. Is 11 a factor of s?
True
Let r(v) = -3672*v - 828. Is 14 a factor of r(-4)?
True
Is 6796855/598 + (-4)/(-184) a multiple of 4?
False
Let x = 78747 - 54607. Is 71 a factor of x?
True
Let v(g) = -3*g + 18. Let w be v(0). Let o be ((w/(-4))/9)/(1/(-6)). Suppose -372 = -4*m + 3*d - 0*d, -m + 84 = -o*d. Is 16 a factor of m?
True
Let j(p) = 329*p + 9744. Does 98 divide j(38)?
True
Let y(w) = w**2 + 7*w + 18. Let l be y(-7). Suppose -318 = -3*f + l. Is f a multiple of 5?
False
Let p be ((-368)/69)/((-2)/6). Suppose p*f - 180 = 6*f. Does 9 divide f?
True
Let q(z) = 8*z**2 - 33*z - 513. Is q(-19) a multiple of 79?
True
Let m(p) = -368*p**3 - 13*p**2 - 32*p - 84. Does 101 divide m(-3)?
False
Let m(r) = -2*r**2 + 16*r - 5. Let t be m(7). Suppose 4*w - t*w = -15. Suppose 10*k - 217 = w*k. Is 12 a factor of k?
False
Let c = -47 - -55. Let n(o) = 2*o - 1036*o**2 + c - 4*o + 1078*o**2. Does 12 divide n(2)?
False
Let t = -549 + 545. Let v(u) = -2*u**3 + 33*u**2 + 114*u + 4. Is 13 a factor of v(t)?
False
Let d = -2801 - -3329. Is 8 a factor of d?
True
Let i = -26 + 30. Suppose 12*d = -i*d - 48. Does 9 divide d*(1 - 123/