- 2988, 5*q = -l + 587 + 16. Does 46 divide l?
True
Suppose 21*x - 50*x + 10672 = 0. Is x a multiple of 12?
False
Suppose 0 = 4*f + 59 - 75. Suppose f*z + 0*j + j - 80 = 0, -2*z = 3*j - 30. Does 11 divide z?
False
Let o(f) = 6*f**2 + 8*f + 12. Let s be 9/(-2) + (-7)/(-14). Does 19 divide o(s)?
True
Let n(y) = 5*y**2 + 2*y - 28. Let c = 86 + -81. Is 8 a factor of n(c)?
False
Let q(o) = -37*o + 187. Does 48 divide q(-5)?
False
Suppose 4*r = 5*j + 30, -2*r - 4*j + 1 = -1. Suppose -r*m - 150 = -3*c, -2*c + 5*m + 1 = -94. Is 8 a factor of c?
False
Let b(k) = 40*k**2 - 14*k - 76. Is b(-5) a multiple of 71?
True
Suppose 0 = f + f + 5*k + 2, f = 4*k + 12. Let s = 4 - f. Suppose -u - 4*y - 130 = -3*u, s = 2*y - 4. Does 23 divide u?
True
Let t(g) = g + 6*g + g - 6 - 4*g. Let s be t(-9). Is (-30)/(-7) + 12/s a multiple of 4?
True
Let j(h) = 60*h - 38. Let u(b) = 24*b - 15. Let l(z) = -5*j(z) + 12*u(z). Let n be l(-4). Let c = n - 34. Is 6 a factor of c?
True
Let v be 2 + (-6)/4*22/(-33). Is (-15)/3 + v + 1 + 67 a multiple of 6?
True
Suppose 0*m + 232 = 4*m. Let n = m - 45. Is 13 a factor of n?
True
Is 28 a factor of (-32 + 4)/(((-26)/(-44))/(-13))?
True
Suppose -1131 = 2*t - 5*t. Is 29 a factor of t?
True
Let g(y) be the third derivative of y**6/720 + y**5/12 - y**4/12 + 5*y**2. Let l(p) be the second derivative of g(p). Is l(0) a multiple of 3?
False
Suppose 4*i - 19 = 5. Suppose i = 2*w, 4*w - 36 = -n + 1. Suppose -n = 3*x - 8*x. Is 5 a factor of x?
True
Let j(u) = u**3 + u + 2. Let b be j(0). Let n = b + 0. Is 25 a factor of 2211/22 + n/(-4)?
True
Is (-4641)/(-2) - 69/138 a multiple of 116?
True
Is 6 a factor of 236 - 12/((-6)/(-1))?
True
Let j be 2234/(-4) + -1*(-2)/(-4). Let r = 828 + j. Does 33 divide r?
False
Is ((-424)/(-56) - (5 - 0))*154 a multiple of 7?
False
Suppose 4*j - 1 = 3*o, j - 4*j - 2*o = -5. Is 15 a factor of 69*(-6)/15*(-4 - j)?
False
Is (-851)/(-2) + 7/(-14) a multiple of 17?
True
Let q = -360 + 630. Is q a multiple of 18?
True
Suppose 2*f + 8 = 0, 0 = -0*j - 3*j - 2*f + 76. Is 5 a factor of 7/(j/8) - -26?
False
Let u be (2 - 0)*15/(-30) + 4. Suppose -2*n - u*f - 26 = -108, 3*n - f = 134. Does 3 divide n?
False
Let b = 148 + -77. Let z = b + 1. Does 17 divide z?
False
Let f(x) = 2*x**2 - 6*x + 16. Is f(-7) a multiple of 4?
True
Suppose 18*h - 20936 = -2486. Does 41 divide h?
True
Suppose -74*z + 77*z = 6342. Is z a multiple of 14?
True
Suppose 13*l - 15*l + 1033 = -3*s, 2*l + s - 1037 = 0. Is l a multiple of 74?
True
Let y(t) = -2*t + 6*t - 12 + 4. Suppose -3*n + 2*m + 24 = -2, -5*n - 2*m = -22. Is y(n) a multiple of 10?
False
Suppose 3*a = -3*g + 6099, 5*g + 1560 - 11743 = a. Is g a multiple of 28?
False
Suppose -j + 5*j = 16. Suppose -2*r + j - 2 = 0. Suppose 0 = y + 2 + r, -y = -5*x + 168. Does 17 divide x?
False
Suppose 19*t + 4315 - 15772 = 0. Is 9 a factor of t?
True
Let v(c) = 51*c**3 - c**2 + 6*c - 19. Does 45 divide v(2)?
False
Let u(h) = 4*h - 4. Let w be u(1). Suppose 8*c - 18 - 22 = w. Suppose -3*r + 2 = 14, 44 = 4*q - c*r. Is q even?
True
Let j(o) = -21*o - 262. Is 3 a factor of j(-25)?
False
Suppose -22*b - 5*w = -20*b - 780, 3*b - 1170 = -4*w. Is 10 a factor of b?
True
Let w be ((-12)/8 + 0)*-2. Suppose -5*c = -o + 40, 4*c - 4*o + w*o = -33. Is 5 a factor of c + 4 + (10 - 2)?
True
Suppose 2*v + 50 = -4*u, -4*v = 2*u + 16 + 54. Let b(d) = -4*d - 4. Let w be b(v). Let n = 82 - w. Is n a multiple of 13?
True
Suppose 14*r - 1548 - 986 = 0. Does 6 divide r?
False
Let m = 651 + 194. Is 65 a factor of m?
True
Let w = -123 + 115. Let s = 109 - w. Is 13 a factor of s?
True
Suppose -4*g - 42 = 162. Let c = 163 + g. Is c a multiple of 11?
False
Suppose 3*d - 2*z = -6*z - 20, d = -5*z - 25. Suppose d = -9*c + 5*c + 248. Suppose -21*n - c = -22*n. Does 14 divide n?
False
Let y(b) = 22*b - 5. Let x(p) = -66*p + 14. Let i(l) = -4*x(l) - 11*y(l). Let o(w) = -w**3 + 5*w**2 + 7*w - 5. Let r be o(6). Is i(r) a multiple of 7?
True
Let q = -722 + 2313. Is 37 a factor of q?
True
Let b = -177 - -226. Does 6 divide b?
False
Suppose -5*m + u + 5 - 3 = 0, 5 = 2*m + u. Suppose r = m + 16. Does 5 divide r?
False
Suppose -5*r = -4*h + 2, 5*h + 5*r - 24 - 1 = 0. Let n(c) = -9*c**3 - 7*c**h + 2*c**2 + 2*c**3 - 1. Does 7 divide n(-1)?
False
Let o(f) = 6*f + 8. Suppose 6*r + 15 = 87. Let k be o(r). Suppose 8*j - 3*j - k = 0. Is 4 a factor of j?
True
Let l(k) = -k + 10. Let o be l(7). Suppose -3*n = -z - 145, n = -3*n - o*z + 215. Suppose 4*u = -u + n. Is u a multiple of 5?
True
Let x(k) = 97*k + 4. Suppose -21*t + 6 = -18*t. Is x(t) a multiple of 28?
False
Suppose m - 41 = 209. Suppose 19*r = 21*r - m. Is r a multiple of 26?
False
Let q(t) = t**2 - 2. Let k be q(-2). Let m(l) = 4*l - 14. Let o(i) = -i - 1. Let f(s) = m(s) - 12*o(s). Is 10 a factor of f(k)?
True
Suppose 528 + 836 = c. Is 24 a factor of c?
False
Is 14 a factor of (-27965)/(-705)*5/(10/24)?
True
Suppose -k = 2*k. Suppose g + 2*l = 1, 0 = -4*g - k*l - l + 11. Suppose 2*f = g*f + 3*p - 15, -5*f = 5*p - 115. Is 10 a factor of f?
False
Suppose 0 = 5*r - 4*t - 4490, 3*r - 1824 = r - 4*t. Is r a multiple of 21?
False
Let k(d) = d**3 - 10*d**2 + 4. Let h be k(10). Suppose h*g = 5*n + 16 + 21, 25 = 3*g - n. Is g a multiple of 4?
True
Suppose -q = 11*q - 4764. Is 42 a factor of q?
False
Let b(c) = -9*c - 7. Let m = -11 - -13. Suppose 16 = -m*q - 2*q. Is 18 a factor of b(q)?
False
Suppose -q - 471 = 2*q. Let y = q - -271. Suppose y = 2*h - 2*t, h - 129 = -h + 5*t. Is h a multiple of 13?
True
Let x(c) = 5*c - 3. Let n be x(8). Let b(a) = a + 10. Let f be b(-6). Suppose 2*l = -f*m + 32, -l + n = -0*l - 5*m. Is l a multiple of 11?
True
Let v be 1/(-1)*(-3 - -3). Suppose d - 3 + v = 0. Suppose -5*o - 2*u = -178, 4*o - 24 = d*u + 100. Is o a multiple of 11?
False
Let b(w) be the third derivative of -w**6/120 - w**5/30 - w**4/24 + 3*w**3/2 - 37*w**2. Is 15 a factor of b(-4)?
True
Let b be (13/39 + 2/2)*-39. Let t(l) = -l**3 - 2*l**2 - 2*l - 2. Let h be t(-2). Is (39/b)/(h/(-240)) a multiple of 30?
True
Let x = -147 + 339. Does 43 divide x?
False
Suppose 308*x = 309*x - 988. Is x a multiple of 13?
True
Let p(y) = -y - 10. Let d = -7 - 5. Let f be p(d). Suppose 5*n - 340 = 5*o, f*n - 3*o = -0*n + 137. Is n a multiple of 17?
False
Let c(g) be the first derivative of g**6/180 + g**5/24 + 5*g**4/24 - g**3 - 7. Let h(z) be the third derivative of c(z). Is h(5) a multiple of 21?
False
Is 13 a factor of ((-326)/24 + 28/112)*-6?
False
Suppose 0*b + 2*b = 0. Suppose m - 4*m - 2*w + 57 = b, -w + 18 = m. Is m a multiple of 4?
False
Let y(v) be the third derivative of v**6/120 + 13*v**5/60 - v**4/12 - 10*v**3/3 + 48*v**2. Is y(-8) a multiple of 32?
False
Let t(v) = 9*v**2 - 3*v + 9. Let q(k) be the second derivative of -k**4/12 + k**3/6 + k**2/2 + 6*k. Let h(y) = 4*q(y) + t(y). Is 20 a factor of h(-4)?
False
Is (214/10 + 2)*(-490)/(-21) a multiple of 78?
True
Let s be 16/72 + ((-250)/(-18))/5. Is 7 a factor of -1 - (-1 - s) - -11?
True
Is 2 a factor of 64 + 7 + -7 + 4?
True
Let n(y) = -190*y**2 + 2*y + 3. Let w be n(-1). Is 24 a factor of 0 + (-2)/(-4) + w/(-2)?
False
Let d = -366 + 537. Suppose 2*c = -3*v + 598, -v + c + 4*c = -d. Is v a multiple of 28?
True
Let c be 46 - (0 - (4 - 8)/1). Suppose 3*i + 351 = 4*j, j = 5*i + c + 67. Is 12 a factor of j?
True
Is (-46)/(-207) - ((-23846)/(-18))/(-1) a multiple of 53?
True
Suppose 26 - 22 = r. Suppose -5 = -r*j + 23. Does 6 divide j?
False
Is 17 a factor of (592 - (-1)/1) + -10?
False
Let x = -294 + 413. Is x a multiple of 15?
False
Suppose -4*s = -3*s. Suppose s*j + 55 = j. Suppose 0*n - o = 2*n - j, 3*n = o + 90. Is 6 a factor of n?
False
Let p(u) = 3*u**2 - 5*u. Let q be p(2). Suppose 4*v - 57 = -q*z + 179, -v = -3*z + 382. Does 21 divide z?
True
Suppose 5*c - q - 125 = 0, -5*c = 4*q - 85 - 15. Does 14 divide (c/(-40))/((-1)/105)?
False
Let d = 2 - 9. Let w(g) = 5 - 2*g + 10 - 3 - 5. Does 7 divide w(d)?
True
Let j = -102 - -98. Does 9 divide (j/(-5))/((-26)/(-2275))?
False
Let r = 1430 - 769. Is r a multiple of 35?
False
Suppose 4*c + 8 = 0, g + 156 = -3*g + 4*c. Let h = 85 + g. Is h a multiple of 22?
True
Let n(y) = y**2 + 12*y + 4. Let l be n(-10). Let k(i) = -2*i + 31. Does 21 divide k(l)?
True
Let y(m) = 2*m - 21. Let r be y(14). Suppose 6*x = r*x - 131. I