-13 = -3*l - 1. Suppose 5*n - l*i - 451 = -5*i, 2*n - 5*i = 175. Let q = 156 - n. Is q a multiple of 22?
True
Suppose -d = -u - 1 + 7, -3*u = 0. Suppose 41 = 3*v + 2. Let l = v + d. Is l a multiple of 5?
False
Suppose j + 2*j - 12 = 0. Suppose 0 = 4*h + 3*m - 1 - 8, -5*m = 3*h - 4. Suppose h*a = -r + 33, 33 = 6*r - j*r - 5*a. Is 14 a factor of r?
False
Suppose -r = -4*r + 4*s + 1408, -2*r + 937 = -3*s. Does 17 divide r?
True
Suppose -43*q = -45*q + 102. Let t = q + -28. Is t a multiple of 4?
False
Let s(i) = -i - 11. Let h be s(7). Let b be (-2 + 4)*h/(-4). Suppose 0 = -4*n + b - 1. Does 2 divide n?
True
Let x = 12 + -23. Let j = x - -31. Is j a multiple of 15?
False
Let y = 319 + 143. Is 14 a factor of y?
True
Let c = -1385 + 2553. Is 73 a factor of c?
True
Is 1283 + (-407)/111 + (-2)/(-3) a multiple of 23?
False
Suppose 5*z - 5*t = -15, 0*t = 3*z - 2*t + 10. Let j be (z/3)/(2/3). Is 6 a factor of (6 - 0) + 3 + j?
False
Suppose 0 = 5*u - 3*s - 250, -4*s + 74 = u + u. Suppose 13 = 3*t - u. Does 3 divide t?
False
Let m(y) = y**2 + 15*y - 24. Let n be m(-17). Suppose 5*a + 0 - n = 0. Suppose z - 4*g = 25 + 53, a*z - 121 = g. Does 16 divide z?
False
Suppose 3*n + 107 = 32. Let x be (-5)/(n/(-2))*-5. Suppose -x*g + 47 = -11. Is 11 a factor of g?
False
Suppose 3*w - 9273 = -14*i + 10*i, 0 = -5*w - 25. Does 58 divide i?
False
Let j(p) be the third derivative of 5/24*p**4 + 1/30*p**5 - 1/3*p**3 - 2*p**2 + 0 + 0*p - 1/120*p**6. Does 2 divide j(3)?
True
Does 90 divide (44/(-66))/((-1)/1533)?
False
Let p be 2*((-116)/(-8) - 3). Suppose 40 = 2*c + 2*m, 4*m + p + 104 = 5*c. Does 2 divide c?
False
Let c be (2 + -2 - 0)*1. Suppose -4*p = -8 - c. Suppose 29 = 3*h - p*j, -5*j - 4 = -29. Does 12 divide h?
False
Is 15080/360 - (-2)/18 a multiple of 6?
True
Let f(k) = -k**2 - 2*k. Let r be f(-2). Let z be 5*(r - (-3)/3). Suppose w - 4*w + 29 = t, 5*w = z*t - 165. Is 8 a factor of t?
True
Suppose 6*o - 378 + 12 = 0. Let t = 5 + -2. Suppose 0*y + t*y + o = 4*c, -3*y = -c + 13. Does 9 divide c?
False
Let v be 0/((-3 - -7) + -2). Suppose h - 2 = 5*t - 12, v = -t + 2. Let o = 2 - h. Does 2 divide o?
True
Suppose 7*x - 245 = 1505. Does 25 divide x?
True
Suppose -340*w = -332*w - 1440. Is 18 a factor of w?
True
Let l(y) = 14*y - 2 - 2*y**2 - 5*y + y**2. Let f be l(8). Suppose -f*u - 32 = -8*u. Does 4 divide u?
True
Let z(k) be the third derivative of -k**6/60 - k**5/30 + k**4/24 + k**3/6 + 10*k**2. Let n be z(-2). Suppose -9 = -4*w + n, -w = -a. Is a a multiple of 3?
False
Let u = 68 - 34. Suppose -3*g + 4*z + 101 = 0, 3*z = -5*g + u + 144. Does 5 divide g?
True
Let m be (1 - (-1)/(-2)) + 975/(-6). Does 9 divide (m/(-10))/(1/5)?
True
Let u be (-24)/9*(63/(-2) + 3). Suppose b + u = 5*g, g + b = -0*g + 14. Is g a multiple of 5?
True
Let k = 1933 + 1070. Does 30 divide k?
False
Let k = 163 + -73. Suppose 6*f - k = 3*f - 3*p, -4*f = p - 129. Is f a multiple of 13?
False
Suppose -4*s - 29 = 343. Let j = -49 - s. Is j a multiple of 11?
True
Let n be (-9)/(-21) - (-3)/(-7). Suppose 0 = -3*r + 3*d - 120, n = -4*r - 0*r - 4*d - 200. Let a = r - -84. Is a a multiple of 14?
False
Suppose 8 = -4*a, 5*v + 730 = -a - 4*a. Is (v/(-27))/((16/18)/4) a multiple of 6?
True
Suppose -3*r + r + 3*t = -1633, 5*t = -15. Is 58 a factor of r?
True
Let c = -1094 + 1978. Does 13 divide c?
True
Let a be -6*1*4/(-6). Suppose -4*y + 12 = -a*z, y = -0*y + 4. Suppose s - 19 = z. Does 20 divide s?
True
Let i(m) = -m**2 + 2*m + 9. Let r be i(4). Suppose x + r = 2*u, 0*x - 11 = -x - 4*u. Is x a multiple of 3?
True
Suppose f = -t + 20, -3*t + 80 = -2*f + 6*f. Does 2 divide f?
True
Let f = 641 + 7. Does 33 divide f?
False
Is (188 - (12 + -7)) + -3 a multiple of 45?
True
Let h be (28/8)/(-7)*18/(-3). Suppose 8*l + 4*b - 151 = 3*l, -3*b = h. Does 6 divide l?
False
Let v be (-4)/((-2)/(-6)*-3). Let b = v - -12. Is 8 a factor of b?
True
Suppose 0 = -3*j + 2*r + 18 + 22, 4*j - 2*r - 54 = 0. Suppose x = -0*x + 2*o, -4*x = -o - j. Suppose 2*s + 5*z - 67 = s, -x*s = -2*z - 180. Does 9 divide s?
False
Let h(y) = y**2 + 3. Let d be h(0). Suppose -3*f - 111 = -3*v, 76 = 2*v + 2*f - d*f. Does 14 divide v?
False
Let u(d) = 43*d**3 + 2*d**2 - 3*d - 5. Does 24 divide u(3)?
False
Suppose -3*w = -m - 54, -102 = -5*w + 4*m - 12. Suppose -7*r = -4*r + w. Is 5 a factor of 3/r*(-240)/6?
True
Suppose -7*o + 4*o + 12 = 0. Suppose -3*q - 2*f = -127, o*f + 106 = 2*q - 0*f. Is q a multiple of 6?
False
Suppose -12*i - 2260 = -10900. Does 30 divide i?
True
Let s(p) = -3*p**3 + p**2. Let g be s(-1). Suppose -2 = i, -f - 2*i - g = f. Suppose f*a + a = 24. Is a a multiple of 24?
True
Let l(v) = -45*v**2 + 4*v - 3. Let c(i) = 89*i**2 - 7*i + 5. Let u(n) = 4*c(n) + 7*l(n). Let j = 653 + -652. Does 20 divide u(j)?
True
Let f = -489 + 833. Does 8 divide f?
True
Let w(p) be the first derivative of p**6/120 - p**5/40 + 4*p**3/3 - 5. Let c(x) be the third derivative of w(x). Is 17 a factor of c(-3)?
False
Suppose h - 5*h + 224 = 0. Suppose 0 = -2*w + 10*w - h. Is 3 a factor of w?
False
Suppose 0*q = 2*q. Suppose q = -4*z + 508 + 116. Does 13 divide z?
True
Let h = -70 + 9. Let w = h + 87. Is w a multiple of 10?
False
Let l(p) be the third derivative of -p**5/60 - 5*p**4/6 - 8*p**2. Is l(-18) a multiple of 6?
True
Let h(r) = -77*r**3 + 7*r**2 + 10*r + 11. Does 5 divide h(-2)?
True
Is 18 a factor of 175*(216/5)/12?
True
Let o be ((-10)/(-12))/(3 + (-34)/12). Suppose o*k + 264 = 8*k. Is k a multiple of 12?
False
Let h = -3 - -2. Suppose -120 - 51 = -19*q. Let g = h + q. Does 8 divide g?
True
Let m(j) = j**2 - j. Let v be m(-1). Suppose 0 = v*z + 5*u + 15, -4*z - 3*u - 2*u = 5. Suppose z*n - 6 - 19 = 0. Does 5 divide n?
True
Let u be -4*(23/(-4) + 5). Let b(y) = 58*y + 1. Is b(u) a multiple of 12?
False
Let v = -4 + 6. Let u be 14/v + -8 + 6. Suppose -s - 72 = -5*s - 4*b, -2*b = u*s - 75. Does 6 divide s?
False
Let v(m) = 4*m + 20. Let p be v(-4). Let k(c) = -2*c**2 + 11*c + 8. Does 20 divide k(p)?
True
Suppose 0 = 4*t - 8*t - 88. Is (-2 - 4)/(2 - t/(-10)) even?
True
Let p(f) = f**2 + 28*f + 428. Is 16 a factor of p(0)?
False
Let m be (2 + -176)*-1 + -3. Suppose -r = -i - 55, 0*r + m = 3*r - i. Is r a multiple of 11?
False
Let x(b) = b + 9. Let p = -56 - -26. Let n be (-2)/(-6) + (-140)/p. Is 10 a factor of x(n)?
False
Let j = 3 - 3. Let k = -56 + 59. Is 18 a factor of (j + -1)/(k/(-162))?
True
Let j be 26/(-6) - (-24)/72. Let u(v) = v + 4. Let g be u(j). Suppose g = 5*i - 10*i + 155. Does 31 divide i?
True
Let k be -133 - (-3 + 4)*3. Let u = -46 - k. Does 10 divide u?
True
Does 6 divide 9 - (-573)/(-63) - 21512/(-84)?
False
Let a(c) = 153*c**2 - 12*c - 11. Does 14 divide a(-1)?
True
Let d(g) = g + 7. Let f be d(-5). Suppose 5*p - 18 = -2*q + 84, -q - 48 = -f*p. Is 3 a factor of p?
False
Let z = 6 - -14. Let l = 37 - z. Does 17 divide l?
True
Let s be (-6)/9*-1*6. Let z(d) = -23*d**2 + 8*d - 24. Let j(q) = -8*q**2 + 3*q - 8. Let x(i) = 11*j(i) - 4*z(i). Is x(s) a multiple of 19?
True
Suppose 236*q - 230*q - 1692 = 0. Is q a multiple of 47?
True
Let t(h) = h**3 + 34*h**2 + 24*h - 108. Is 11 a factor of t(-30)?
True
Suppose -2*d - d + 17 = 5*a, 0 = -2*d + 2*a + 6. Let v = 161 + -34. Suppose -n = 3*s - 76, s + 2*n - v = -d*s. Is s a multiple of 5?
True
Does 20 divide 1*15/(-3) + (12 - -173)?
True
Let w(x) = 10*x**2 - 11*x - 8. Let n be w(-7). Let m = -3 - -5. Suppose -m*g - 101 = 5*t - n, -78 = -t + 3*g. Is 30 a factor of t?
True
Let r(a) = 14*a - 4. Let g(y) = -y**3 + 11*y**2 - y + 14. Let m be g(11). Is 12 a factor of r(m)?
False
Let w be ((-242)/(-4))/(1/2). Let j = w + -80. Is j a multiple of 41?
True
Let f(v) = -v**3 + 4*v**2 - 2*v + 6. Let g be f(4). Suppose d - 36 = -3*r - 19, 0 = 2*d - 10. Let t = r - g. Is 6 a factor of t?
True
Suppose -5663*m = -5662*m - 176. Does 85 divide m?
False
Does 21 divide -7 + (2 - 0 - -740)?
True
Let t = -5 + 8. Suppose 0 = t*l - 2 - 4. Suppose -l*i - 3 = -41. Does 19 divide i?
True
Let j(u) be the third derivative of 43*u**5/60 - u**4/8 - u**3/2 + 4*u**2. Is j(-2) a multiple of 21?
False
Suppose -3*b + r + 506 = -0*r, 836 = 5*b + 2*r. Suppose k + b = 9*k. Is 6 a factor of k?
False
Let f = -40 - 17. Does 4 divide (20/(-6))/(38/f)?
False
Suppose 0 = -6*o + o, 126 = 2*n - 4*o. Let l = -53 + n. Does 8 divide l?
