e
Let m be (60/(-70))/((-9)/42). Suppose -434 = -4*p + 2*p + m*v, 886 = 4*p + v. Is 50 a factor of p?
False
Let j = -2228 + 7448. Does 58 divide j?
True
Let l(p) = p**3 - 7*p**2 - 18*p + 7. Let j be l(9). Is 4 a factor of (89 - 0) + (j - 12)?
True
Let n be 26/(-117) + (-58)/(-18). Let l be n/(-7) + (-57)/(-133). Suppose 0*b - 4*b + 2*m = -168, l = b - m - 41. Is 4 a factor of b?
False
Suppose 109 = 4*q + 377. Let d be 0 + 0 + -2 + (-22 - 5). Let i = d - q. Is i a multiple of 13?
False
Let a = -16055 - -42453. Is 136 a factor of a?
False
Suppose 15*a = 10*a - 5, -5*d + 25247 = -2*a. Does 51 divide d?
True
Suppose 720 = 16*f - 14*f. Let u = -190 + f. Suppose 2*z = k - 3*k + 124, -u = -3*k + 5*z. Is k a multiple of 7?
False
Let c(x) = 33*x**2 + 205*x + 176. Is c(22) a multiple of 11?
True
Let w(g) = -4*g**2 + 1185*g - 3. Does 92 divide w(19)?
True
Let o(t) = t**3 - 5*t**2 - 6*t - 2. Let p be o(6). Is (10 - 300/36)/(p/(-72)) a multiple of 20?
True
Let v = -208 - -3648. Is 9 a factor of v?
False
Let t be (-448)/(-48)*(-39)/(-4). Is (-78)/t - 5360/(-14) a multiple of 62?
False
Suppose -3*r + 2*d - 14499 = -3*d, -r - 4832 = -2*d. Let n be -1*2/(-9) + r/(-18). Suppose 3*f - 3*z - n = z, -5*z + 141 = 2*f. Is 14 a factor of f?
False
Suppose -2*t + 6*t - 1592 = 0. Let u = t - 188. Let b = u - 147. Is 11 a factor of b?
False
Let u(a) = -12296*a - 414. Is 8 a factor of u(-1)?
False
Let u be -2 + 3 - 1*(-8 - -7). Suppose 256 = o + 4*i, -3*i + 569 = u*o + 32. Is o a multiple of 6?
True
Suppose 27*m - 110833 = 155947 + 167650. Is m a multiple of 28?
False
Suppose 0 = l - 3*u - 0*u - 11084, -5*l + 2*u = -55316. Is l a multiple of 20?
True
Suppose -4*v + y = -12, -6*y = v - 7*y. Does 44 divide v/(-6)*(-19 + -707)?
True
Let h(t) = 43 + 2 - t**2 + 20 + 16*t. Is h(18) a multiple of 4?
False
Suppose 1076712 = 66*j - 24*j - 14*j. Is j a multiple of 13?
True
Let w(y) = 213*y**2 - 4*y + 6. Let t be w(1). Let n = t + -62. Does 17 divide n?
True
Let t be 1 + 4/(-4)*-1. Suppose 3*q + 89 = t*w, -30 - 60 = -2*w + 2*q. Let i = -15 + w. Is 13 a factor of i?
False
Let n be (3 + (-17)/5)/(1/(-15)). Suppose 28*v - 22*v = n. Let x(f) = 89*f**3 - 2*f**2 + 2*f - 1. Does 8 divide x(v)?
True
Suppose g = 221 - 150. Does 2 divide g?
False
Suppose i = 2*f - 5441, 0 = -5*f + 13*i - 12*i + 13604. Suppose -11*n + 5122 = -f. Is n a multiple of 29?
False
Suppose 0 = 9*b + 29*b - 21736. Suppose -3*z + b = p, -5*p + 919 = 5*z - 41. Is 2 a factor of z?
True
Suppose 0 = -i - 2*h + 14, -i - 5*h + 29 = -0*h. Suppose -i*l + 62 = 54. Does 33 divide 1404/30*(-2 + (l - -5))?
False
Let b be (-65)/15*(-2 + -25). Let a = 205 - b. Suppose 2*s - a = 134. Is s a multiple of 15?
False
Let c(z) = 9 - 16*z + 3*z**2 + 4 - 12. Let t be c(-8). Suppose -8*a = -t - 447. Is 6 a factor of a?
True
Does 7 divide ((-77)/(-308) + 60441/(-12))*(-2)/1?
True
Suppose p - 3 = 0, 3*n + 17*p = 13*p + 4107. Does 5 divide n?
True
Let s(q) = q**3 - 4*q**2 - 2*q + 5. Let p be s(0). Suppose -d - 7*h = -10*h - 53, p*d + 2*h = 197. Does 2 divide d?
False
Is 50 a factor of (287/(-77) - (-21)/(-77))*-150?
True
Let b(l) = -2*l**2 - 7*l - 5. Let i be b(-4). Is 5 a factor of (-64)/(-2) - (i - -7)?
False
Does 39 divide ((-48)/14)/(77/(-4004)*8/14)?
True
Suppose -8 = -20*x + 18*x, 0 = 2*v + 4*x - 24. Suppose -5*f + v*i + 146 = -360, 4*f - 3*i = 405. Is 11 a factor of f?
False
Let r be (0 - (-5 - -2977)) + (-2 - 1). Is r/(-30) + (-1)/6 a multiple of 33?
True
Let w(o) = -o + 1. Let v be w(-2). Suppose 0*j - 4028 = -4*j + 2*a, -3028 = -v*j - 2*a. Is 21 a factor of j?
True
Let j(d) = -d**2 - 11*d - 16. Let l be j(-8). Let g(o) = -2*o + 19. Let n be g(l). Let a = n + 10. Does 13 divide a?
True
Let r be (-424)/(-16)*2*1. Let a = -37 + r. Suppose -n = -3*j - 32, -n + 2*j - 3*j + a = 0. Is n a multiple of 5?
True
Let q = -11 + 43. Suppose 0 = 4*y - 2*y + q. Is 4 a factor of y + 29 + 1*-4?
False
Suppose -4*k - 3180 = -4*h, 2*h - 1611 = -128*k + 127*k. Is h a multiple of 26?
False
Suppose 20*o - 45053 - 31267 = 0. Does 55 divide o?
False
Let o = 563 + -290. Suppose 8*w = -o + 81. Let t = w - -77. Is 13 a factor of t?
False
Let k be 205 - 16 - (-1 + 2). Suppose 552 = -k*d + 189*d. Is d a multiple of 46?
True
Suppose 4*d + 22*d - 88350 = 7*d. Does 15 divide d?
True
Let g be -4*61*1 - -1. Suppose 3*f - 1308 = -3*w, -17*f + 13*f = 2*w - 1746. Let l = g + f. Does 32 divide l?
False
Let y(s) = 2*s**3 + 14*s**2 - 11*s - 10. Let b be y(6). Suppose 12*f - 832 = b. Does 14 divide f?
False
Suppose 0 = 2*q + 9 - 7. Let o be 121*q/1*-1. Is 21 a factor of 14/21 + o/3?
False
Let o(b) be the third derivative of -b**6/30 - b**4/8 - 3*b**3/2 - b**2 - 52. Is 15 a factor of o(-7)?
False
Let i(b) = 4*b**2 - 43 - 13*b + 3*b + 23*b + 19*b. Is 52 a factor of i(-12)?
False
Suppose s = 4*v - 18673, 5*v - 79*s + 76*s = 23350. Is v a multiple of 70?
False
Suppose -t - 8 + 5 = 0, 0 = r + 2*t - 53. Suppose q = -2*l - 51, 2*q + l = 2*l - 97. Let c = r + q. Does 2 divide c?
True
Let l = 8856 - 6810. Is 22 a factor of l?
True
Suppose -33007 = 92*n - 810867. Does 19 divide n?
True
Let h be 2 - 2/((-8)/(-4)). Let k be 60 - (-7 - (-2 + -2)). Is 16 a factor of (k/(-18))/(h/(-32))?
True
Let c(o) = o**3 + 3*o + 12. Let z(l) = l**2. Let q(k) = -c(k) - 5*z(k). Let j be q(-5). Suppose -2*s + j*s = 1, g - 27 = s. Is 7 a factor of g?
True
Suppose 2*a = -2*p - 10, -a = a + 3*p + 11. Let k(j) = -j**3 - 8*j**2 - 2*j + 9. Let g(i) = -1. Let t(d) = a*g(d) - k(d). Does 4 divide t(-7)?
False
Let m be -1 + (-37 - 4) + -2. Let n = -30 - m. Does 37 divide (-1028)/(-28) - (-4)/n?
True
Suppose -3046 = -b - 2*m, 2*m = -50*b + 48*b + 6098. Does 14 divide b?
True
Let b(i) = i + 163. Let g be b(12). Suppose -164*k - 12881 = -g*k. Does 48 divide k?
False
Let w(m) = 5*m**2. Let d be w(2). Let v = -923 - -951. Let o = v - d. Is 2 a factor of o?
True
Is 5 a factor of ((-66652)/114)/((-3)/9)?
False
Suppose -27*w - 381872 = -143*w. Is w a multiple of 52?
False
Does 19 divide ((-56)/224)/(2/(-2176))?
False
Suppose 185 = 3*y + 2*y. Suppose -3*g - 6 = 0, -4*g + 2 = -v + 13. Suppose 29 + y = v*p. Does 7 divide p?
False
Let r be ((-258)/8 + 0)*(-15 - -7). Let v = r - 250. Is v a multiple of 2?
True
Let h be 4 + ((-2 - -2)/(-1) - -1). Suppose -3*l = 0, -5*b = -0*l + h*l - 1400. Is b a multiple of 20?
True
Let b(x) = 3*x**3 + x**2 + 3*x + 3. Let v be b(-2). Let d(f) = 20*f**2 + 12 - 4 - 53 - 26*f - 21*f**2. Does 2 divide d(v)?
True
Suppose -21*d + 14 = -7*d. Is 5 a factor of (-4)/8*(-1*226)/d?
False
Suppose 0 = 23*n - 24*n - 95. Let i = n - -94. Does 4 divide -3 - 2 - (-36 + i)?
True
Let g(n) = n**3 - 3*n**2 - 3*n + 10. Let o = 38 + -27. Suppose o*t - 5*t - 36 = 0. Is g(t) a multiple of 16?
False
Let c(i) = -34*i**3 + 4*i**2 + 11*i + 22. Does 32 divide c(-2)?
True
Let l = -2402 + 4244. Is l a multiple of 16?
False
Let h be (-2)/((-3)/6 + 4/(-8)). Let k(b) = -13*b - 8 - 2 + 0 + h*b**2. Is k(10) a multiple of 15?
True
Let g = -33 - -28. Let n be (2/5 + g/75)*6. Is 100 + (0 - 2)/n a multiple of 19?
False
Let i(t) = -2*t**2 - 1. Let y(f) = 2*f**2 - 6*f + 13. Let w(x) = -6*i(x) + y(x). Is 19 a factor of w(5)?
False
Let y(c) = c + 14. Let h be y(-6). Let m(s) = 5*s**2 - 11*s + 17. Is 12 a factor of m(h)?
False
Let f be (-3012)/(-7) - (-12)/(-42). Suppose 2*x + 5*v - 26 = 0, 2*v = -5*x + 10 + 13. Suppose 0 = -5*d + 5*r + f, 6*r = d + x*r - 94. Is d a multiple of 16?
False
Let j = -22903 - -36435. Does 34 divide j?
True
Let x be (-180 - (-12)/(-4))/((-2)/4). Suppose -3*p + x + 1133 = -4*c, 2460 = 5*p + c. Is 29 a factor of p?
True
Is 14/(1008/18)*73072 + -5*1 a multiple of 3?
False
Let v(n) = 1284*n - 45. Does 33 divide v(7)?
True
Is (-4767)/(-12) + (-4)/16 + 5 a multiple of 46?
False
Suppose -1143 - 225 = -8*n. Does 6 divide n?
False
Suppose -2*c + j = -0*c + 8, 5*j = 20. Suppose -124*y - 32 = -92*y. Is 25 a factor of 60 - (0 + (c - y))?
False
Suppose 241*i - 242*i + c + 29795 = 0, -c = 4*i - 119165. Is i a multiple of 152?
True
Let f = 536 + -567. Let u(c) = -7*c + 37. Is 8 a factor of u(f)?
False
Let w(r) = 355*r - 169. Is w(7) a multiple of 12?
True
Let t = -1392 - -6976. Does 4 divide t?
True
Suppose -6*h + 19 = 55. Suppose 1 = d, 4*m - 3*d + 70 - 3 = 0. Does 5 divide (h/1)/((m/(-10))/(-4))?
True
Does 13 divide (-5112)/