3595)). Suppose -1065 = -17*d + y. Does 6 divide d?
True
Suppose -g + 0*g = -1, -9 = 4*h + 3*g. Is 15 a factor of 1*405/6*6 + h?
False
Suppose 58893 = 3*r - 2*b, -3*r = -4*r - 5*b + 19665. Is 165 a factor of r?
True
Suppose -6*i = -342*o + 340*o - 160052, 106706 = 4*i + o. Does 27 divide i?
True
Let h(t) = -2099*t - 9281. Does 8 divide h(-11)?
True
Is 18/3 + 0 + (12505 - 9 - 6) a multiple of 11?
True
Let a = 73 - 38. Suppose -a = -s + 1. Is s a multiple of 9?
True
Suppose -j - 13 = 2*l, j + l + 11 = -7. Let z = -14 - j. Suppose 72 = -3*f + z*f. Is f a multiple of 12?
True
Suppose 5*q = -158 - 42. Let j be 6/(-2) - (2 + q + -2). Suppose j*m - 288 = 33*m. Does 8 divide m?
True
Let l = 43 + -21. Suppose -5*d = j - 1 - 0, -5*j - l = -2*d. Does 7 divide (d/(-2))/(((-5)/(-42))/(-5))?
True
Suppose -11*q + 12*q + 1 = 0. Let u(f) = 7*f**2 + 9*f - 10. Let j(r) = r**2. Let n(g) = q*u(g) + 6*j(g). Is 23 a factor of n(-6)?
False
Let h be (-24)/2*-24 + -2. Let v = 858 + -504. Suppose -5*r + v = -h. Does 28 divide r?
False
Let j = -43 - -6. Let m = 439 + j. Does 23 divide m?
False
Let u = -2727 - -6476. Is 23 a factor of u?
True
Let w(h) = 48*h**2 + 2*h - 4. Let g be w(2). Suppose 78*d + g = 79*d. Does 16 divide d?
True
Suppose -186*f + 147*f = -1184352. Is f a multiple of 73?
True
Let n(i) = i**3 - 34*i + 220. Is n(21) a multiple of 7?
False
Suppose 0*i + 25 = 5*i. Suppose 2*p + 204 = 4*w, w - 2*w = -i*p - 69. Let l = w + 92. Does 33 divide l?
False
Let z(s) = -188*s - 371. Does 9 divide z(-16)?
True
Suppose -18*x + 27*x = 1269. Is 20 a factor of 0/14 + (x - 1)?
True
Let m(u) = -13*u**2 + 48*u + 20. Let f be m(7). Let y = f + 380. Is y a multiple of 9?
True
Suppose -44*o + 40*o = -26304. Does 12 divide o?
True
Let o = 2 - 15. Let g = 18 + o. Let x(i) = 3*i**2 - 6*i + 21. Is x(g) a multiple of 11?
True
Suppose 0 = -5*a - 3*c - 149, -3*c = -3*a + 4*a + 25. Let x = a - -33. Suppose 40 - 4 = x*i. Is 11 a factor of i?
False
Let b = -37 - -33. Let j = -12 - b. Is 9 a factor of (-142)/(-4) + (-4)/j?
True
Let k(z) = z**3 + 11*z**2 + 23*z + 1. Let t be k(-8). Suppose -t*s = -s - 680. Is 16 a factor of s?
False
Let f(y) = -y**3 + y + 1. Let o(g) = -9*g**3 + g**2 + 6*g + 5. Let p(b) = -3*f(b) + o(b). Let h = 110 + -111. Is 3 a factor of p(h)?
True
Let i be (0 + ((-5)/(-2))/(-5))*2. Let r be 29 + (17/(-51))/(i/(-3)). Suppose -3*x + 68 = -r. Is 8 a factor of x?
True
Let z be -2 + (-16)/(-6) - 28/42. Suppose 11*b - 10*b - 3*n - 698 = z, 2*b - 3*n - 1402 = 0. Is 12 a factor of b?
False
Let n(q) = -q**3 + 3*q**2 + q + 1. Let b be n(3). Suppose s - b*c - 11 = -2*s, -27 = -5*s - 2*c. Suppose t + o = -4*t + 29, -5 = 3*t - s*o. Does 2 divide t?
False
Suppose -23*a + 20*a + 345 = 0. Does 47 divide (-226)/(-3) + (a/15 - 7)?
False
Let o be (0/1)/(1 - 3). Let m = 934 + -604. Suppose m = 5*i - o. Does 11 divide i?
True
Let q(d) = -d**2 + d + 13. Let r be q(0). Suppose -r - 47 = 5*s. Does 30 divide 90*((-3)/s + (-6)/(-8))?
True
Let z = -19073 + 33040. Is z a multiple of 160?
False
Suppose 38*v = 40*v - 4. Suppose 36 = 2*n + 3*y, -2*y - v*y - 7 = -n. Suppose -34*o - n = -39*o. Is 3 a factor of o?
True
Suppose 0 = -2*l - 59 + 63. Let i be l/4*(-12)/8*4. Is 28 a factor of 84/8*(i - 69/(-9))?
False
Let o be 3/2*88/6. Let g(v) = v**2 - 40*v - 41. Let k(p) = -5*p + 2. Let m(s) = -g(s) + 4*k(s). Is 3 a factor of m(o)?
False
Suppose -2*m = -2097 - 3827. Is m a multiple of 32?
False
Suppose -20 = 5*k + 4*c - 9*c, -4*k + 5*c - 15 = 0. Let q(b) = -28*b + 146. Is 13 a factor of q(k)?
True
Let q = -11 - -31. Let a(t) = 9*t + 9. Does 21 divide a(q)?
True
Suppose 3*r + 252 = 1650. Is r a multiple of 58?
False
Suppose 4*d = 6 + 14. Suppose d*h + 9 = -1. Does 41 divide (-1)/h + (-1665)/(-18)?
False
Let c(u) = -20 + 2 - 9 - 57*u - 2*u**2. Does 4 divide c(-25)?
True
Suppose 203*h - 205*h = -60. Suppose 17*s + 1365 = h*s. Is s a multiple of 9?
False
Let c(o) = o**2 - 8*o + 10. Let b(d) = -d**2 - 10*d - 1. Let g = 34 + -42. Let j be b(g). Is c(j) a multiple of 15?
False
Suppose -7338 = -4*y - c, -4*y + 2*y - 11*c = -3690. Is 7 a factor of y?
True
Let b(i) = 910*i**2 - 2*i - 2. Let r be b(-1). Let t = r + -458. Is 27 a factor of t?
False
Let z = 43 + -36. Let k = z + -8. Does 8 divide (1/(4/(-4)))/(k/37)?
False
Suppose -55 = -4*z + c + 70, -4*z = -4*c - 140. Suppose -3*t + 312 = 2*f, f + t + z = 188. Does 24 divide f?
False
Suppose 36*i = -4*x + 34*i + 2686, 3*x - 2017 = i. Is 12 a factor of x?
True
Let t = -29 - -112. Suppose 0 = -t*w + 78*w + 10. Suppose -4*g + 152 = 4*b, -5*b - 27 - 35 = -w*g. Is g a multiple of 9?
True
Let w be -1 + -366 - 7 - -5. Let j = -262 - w. Does 12 divide j?
False
Suppose 41*t - 40*t = -5*o + 15931, -3*t + 3189 = o. Does 18 divide o?
True
Suppose 0*j + 2*j + 740 = -5*l, -2*l + 740 = -2*j. Let m = 257 + j. Let h = 177 + m. Is h a multiple of 48?
False
Let m = -129 - -129. Suppose 0 = 3*p + 9, m = -3*f - p - p + 825. Does 52 divide f?
False
Let j(u) = 55*u - 1. Suppose -2*r - 4 = 4*h - 0, -4 = -5*r - 3*h. Suppose r*f + 4*y = -14, -y - y = 4*f + 4. Is j(f) a multiple of 9?
True
Suppose -4*c = 5*m - 7005 - 12366, 7754 = 2*m + 3*c. Does 79 divide m?
True
Let t = 25 + -21. Suppose -1 = -3*w + t*w. Let q(x) = 178*x**2 - 1. Is 33 a factor of q(w)?
False
Let d = -70 + 57. Let z be (-11)/(-13) + -1 - 80/d. Does 4 divide z/21 + 612/14?
True
Let k be (-1)/(-6) + (-2 - 340/24). Let u(d) = d**2 + 16*d - 1. Let q be u(k). Is 23 a factor of (138/9)/((-2)/6*q)?
True
Let z(b) be the second derivative of -b**4/12 - 7*b**3/6 - b**2 + 1445*b. Let t(q) = -q - 2. Let u be t(4). Is 4 a factor of z(u)?
True
Let d(t) = 15*t + 12. Let i be d(-9). Let f = 126 + i. Suppose -110 = -2*l - 3*s, -f*l + 4*l - 69 = 2*s. Does 16 divide l?
False
Let j = 4378 - -1463. Is 59 a factor of j?
True
Let n(o) be the second derivative of 281*o**4/12 + o**3/6 + 17*o - 49. Let t = -2 - -1. Is 28 a factor of n(t)?
True
Let z(b) = 18*b - 7. Let t = 1 - -11. Suppose -30 = 2*l - 7*l - 2*q, -2*l + 4*q = -t. Does 28 divide z(l)?
False
Suppose 2*h - 163 = 5*y, 3*y - 2*h + 91 = -10. Is 23 a factor of ((-147)/(-6) - -1)/(y/(-372))?
False
Let l(c) = 5*c - 12. Let p(g) = -g - 2. Let f(b) = 1. Let j(i) = 3*f(i) + p(i). Let a(o) = 2*j(o) + 2*l(o). Is a(13) a multiple of 25?
False
Let t(i) = 35*i + 1443. Is t(-39) a multiple of 3?
True
Let s be (37*(-18)/(-15))/(6/165). Let w be (s/(-15) - -1)/((-4)/10). Suppose -k = -4*k + w. Does 18 divide k?
False
Suppose -3*z = 4*u - 262, 5*u - 4*u = 5*z + 54. Let m = u + -50. Does 2 divide m?
True
Suppose 46*o - 246000 = -109*o + 105*o. Does 120 divide o?
True
Suppose 5*x = n + 13, -3*x - 44 = -4*n - 7*x. Is 38 a factor of (-1)/((-7)/7497) - n?
True
Let l(p) = 1229*p**2 - 24*p - 74. Does 45 divide l(-3)?
False
Let q(p) = 14*p - 339. Let o be q(21). Is -5 + (28/(-4) - o) a multiple of 2?
False
Let n = -27052 + 41768. Is n a multiple of 13?
True
Suppose 14*x = -593 + 2077. Is 8 a factor of x + 16/(-6) + 6/9?
True
Suppose 4*d = 3*v - 17276, -3*v + 18832 = 4*d + 1572. Is v a multiple of 39?
False
Let q(k) = k**2 - 11*k - 6. Let n be q(13). Suppose 5*x - n = 0, -2*f = 7*x - 5*x + 234. Let u = 41 - f. Is u a multiple of 50?
False
Let k(i) = -14*i - 52. Let f be k(-4). Suppose -f*l = -r - 1019, 2*r - 85 = -3*l + 682. Does 51 divide l?
True
Let u be (-36400)/28*(-3 - 0) - 0. Suppose 10*k = -16*k + u. Does 6 divide k?
True
Let f(i) be the third derivative of 79*i**5/15 - i**4/4 + 5*i**3/6 - i**2 + 44*i. Is f(1) a multiple of 45?
True
Suppose -2*j + 118 = -2*u, j + 115 = -3*u - 54. Suppose -35*h = 2*h - 6*h - 2790. Let l = h + u. Is 18 a factor of l?
False
Suppose -4*u - n - 71 = 4*n, -9 = 3*n. Let x be (0 - -1)/(-13 - u). Let v(f) = 209*f**3 + 3*f**2 - 4*f + 2. Is v(x) a multiple of 21?
True
Suppose -2*h - 83 = 45. Let x = h - -68. Suppose -x*g + 616 = 4*g. Does 10 divide g?
False
Let q(d) be the second derivative of 28*d - 13/2*d**2 + 0 - 11/2*d**3. Is q(-7) a multiple of 16?
False
Let g = -115 - -4623. Is 98 a factor of g?
True
Suppose -10 - 25 = -5*p. Let d be ((-1)/(-2)*(p + -7))/(-2). Suppose 2*m - 321 + 121 = d. Is 25 a factor of m?
True
Let o be (-20)/(-28) + -1 + 20643/49. Let a = o - 295. Does 18 divide a?
True
Let h be ((-16)/(-6) - 2)*2214/4. Suppose 2*o - 2*b - h - 195 = 0, 850 = 3*o - 5*b.