e
Suppose -1579*a = -1596*a + 503744. Is 105 a factor of a?
False
Let y be (-1596)/(-8)*(1000/(-15))/4. Does 19 divide y/(-7) + (0/2 - 0)?
True
Let r(m) = 234*m**2 + 1. Let v be r(-1). Let z = -1728 + 1737. Suppose -4*j + z*j = v. Does 16 divide j?
False
Let a = 504 + -497. Suppose -a*t - 4*c + 782 = -4*t, 0 = 4*t - 3*c - 1001. Is t a multiple of 16?
False
Suppose 0 = 3*s - 25 + 10. Suppose d = -d - 5*i + 340, s*d + 4*i = 884. Is 20 a factor of d?
True
Let v = 728 + 4038. Is 88 a factor of v?
False
Let g(d) = 4*d + 14. Suppose -4*c = -4*t - 4, 3*c - 5*t + 4 = -1. Suppose 0*a + 8 = 2*a - 2*o, 4*o - 38 = -c*a. Does 26 divide g(a)?
False
Is 6 a factor of (-11961)/9*(-4 + -13)?
False
Suppose 2*q = -3*n + 4*q + 48, 2*q = 0. Does 34 divide (85/30*-3)/((-2)/n)?
True
Suppose 2*h = -v - 7, 0*v + 10 = -5*v - 5*h. Suppose -s = v*s - 20. Let y = 6 + s. Does 2 divide y?
False
Let n = 6781 + -3676. Is 15 a factor of n?
True
Suppose 7*t = 5*t + 12. Suppose -52 = -7*m + t*m. Let x = m - 28. Does 24 divide x?
True
Suppose -g = -14*h + 15*h - 4740, 5*h = g + 23730. Is 14 a factor of h?
False
Suppose -7*m + 19698 = -4*m + 3*n, 0 = m + 3*n - 6578. Is m a multiple of 40?
True
Let x be -1*3*8/(-6). Let u = -2994 - -2998. Suppose 4*v - u*b = -33 + 197, 0 = x*v + 3*b - 143. Is 38 a factor of v?
True
Suppose 26*o = 25*o + 625. Suppose -3*f + p + 477 = -0*p, o = 4*f - 5*p. Suppose 4*m + 0*m - f = 0. Does 20 divide m?
True
Let h be (9/6)/(2 - (-10)/(-8)). Suppose -d = -h*d + 35. Let m = 7 + d. Is m a multiple of 21?
True
Let v(h) = -8*h - 46. Let c be v(-6). Suppose -51 = -3*p - 4*f, -4*p - 2*f + 5 = -53. Suppose -p*q + 2640 = -c*q. Does 16 divide q?
True
Let v(j) = 59*j - 67. Let n be v(7). Suppose 22 = -4*q + n. Is q a multiple of 27?
True
Let m(k) = -2*k**2 + 41*k - 36. Let a be m(17). Let x be (-4 - -2)/(2/(-199)). Let c = x - a. Does 16 divide c?
False
Let m = 1512 + -67. Does 28 divide m?
False
Let z = -3 - -6. Suppose -z*w - 6 = -6*w. Suppose 2*t + 2*g = 58, 4*g = 3*t + w*t - 136. Does 7 divide t?
True
Suppose 5*o = -103*c + 99*c + 132414, -o + 26466 = 5*c. Does 41 divide o?
True
Let r(a) = -a**3 - 7*a**2 + 9*a + 12. Suppose 6*t + 3 = 7*t. Suppose -t*g - 24 = 3. Does 11 divide r(g)?
False
Let p be 3 - ((-1)/3 + (-11128)/(-39)). Let s = p + 568. Is 19 a factor of s?
False
Let y be (3/3)/(1/(-2)). Let x(c) = -28*c - 26. Is x(y) a multiple of 13?
False
Let w(s) = 2*s**3 - 22*s**2. Let n be w(11). Suppose 4*u - 5*q - 271 - 97 = n, -5*u = 3*q - 423. Is u even?
False
Suppose -18*m - 2 + 218 = 0. Suppose -6*j = -6*j + m*j. Suppose 315 = 5*w + q, -315 = -5*w - j*w + 4*q. Is 21 a factor of w?
True
Let a = 36209 + 3047. Is a a multiple of 28?
True
Suppose -32*i - 13 = 19. Let t(h) be the second derivative of 31*h**4/6 + 2*h**3/3 + h**2 - 7*h. Does 12 divide t(i)?
True
Suppose 4*h = 3*x + 9883, 2*x - 2175 = -3*h + 5250. Is 25 a factor of h?
False
Is 54 a factor of (((-39)/(-4))/(105/(-16520)))/((-6)/33)?
False
Let l(b) = 2*b**3 + 8*b**2 - 3*b - 6. Let h(t) = t. Let w(g) = -6*h(g) - l(g). Let s be w(-7). Suppose -3*z + s = 123. Is z a multiple of 10?
False
Suppose -l = -y + 112, -4*y + 7*l - 12*l = -421. Let n = 622 + y. Is n a multiple of 10?
False
Let c = 7 + -15. Let n be 8/(-10)*1860/c*2. Suppose 0 = 5*f - b - 3*b - n, 3*f - 213 = -b. Does 7 divide f?
False
Let y(s) = 7*s**2 - 3*s - 9. Let w(j) = 15*j**2 - 8*j - 19. Let t(c) = 2*w(c) - 5*y(c). Suppose u = -u. Does 5 divide t(u)?
False
Suppose 26*v = 5*c + 21*v - 112715, -15*c - 5*v = -338005. Is c a multiple of 12?
True
Suppose v - 4*p + 4 = -4*v, -2 = -2*v - 2*p. Suppose 0*j + 3*j - 12 = v. Suppose -106 = -j*c + 34. Is c a multiple of 26?
False
Suppose -2*y - 8 = g + 2, -3*g + 4*y = 10. Is 696 + g/3 - (6 + -2) a multiple of 30?
True
Let q(a) = -a**3 - 9*a**2 - 18*a - 3. Let s(n) = 4*n**3 + 38*n**2 + 73*n + 12. Let g(c) = 9*q(c) + 2*s(c). Is 2 a factor of g(-4)?
False
Let m(j) = -j**3 - 11*j**2 + 16*j + 51. Suppose 8*q + 40 = -4*n + 10*q, -4*n = 5*q + 68. Is m(n) a multiple of 2?
False
Let r(d) = -d**3 + 8*d**2 + 9*d + 4. Let a be r(9). Suppose 0*t = a*t + 20. Is t + 6 + 17/1 a multiple of 3?
True
Is 60 a factor of (-3 + -469)*(14 - 36)?
False
Let j(t) = 138*t**2 + 80*t + 125. Is 12 a factor of j(-10)?
False
Suppose 4*o - 2*r = 2284, -5*o + 585 = -4*o - 4*r. Let s = o + -344. Is s a multiple of 36?
False
Suppose -3*r + 2*z + 3*z = -4, -2*r + 3*z = -3. Let v(c) = 194*c - 1944. Let k be v(11). Suppose -x + 0*h + r*h + 194 = 0, x = 2*h + k. Does 44 divide x?
False
Let f(d) = -d + 1. Let j be f(6). Does 10 divide (0/2 + j)*1*-15?
False
Suppose -2*u = -y - 173, 4*u = 5*y + 326 + 23. Suppose -z - u = 38. Does 16 divide z*(-4 + 9/3)?
False
Suppose 3*v - t = 16, -4*v + 3*t = 6*t - 4. Suppose v*b - 1740 = -8*b. Is 6 a factor of b?
False
Let x = 35 - 38. Let l(m) = -3*m - 33. Let i be l(-19). Let v = i - x. Does 9 divide v?
True
Suppose 8*a = -7*a + 11*a + 32888. Is 62 a factor of a?
False
Let s(r) = -12*r - 58. Let w(b) = -12*b - 55. Let c(l) = 5*s(l) - 4*w(l). Does 11 divide c(-15)?
True
Let x(o) = 53*o - 52. Let u be x(27). Suppose -2968 - u = -23*v. Is v a multiple of 7?
True
Suppose 49*q = 30*q + 133. Suppose 0*r = q*r - 112. Does 4 divide r?
True
Let y(g) = -g**3 - 13*g**2 - 15*g + 39. Let t(h) = 3*h**2 + 18*h - 15. Let x be t(-6). Is y(x) a multiple of 21?
True
Suppose -j = 4, 5*c - 5*j + 0*j - 35 = 0. Suppose c*g = -5*g + 88. Let l(a) = a**2 - 8*a + 3. Is 5 a factor of l(g)?
False
Let v = 2236 + -957. Let k = -745 + v. Is k a multiple of 6?
True
Let u(l) = -297*l - 3994. Does 12 divide u(-28)?
False
Let w(v) be the third derivative of v**4/12 + 49*v**3/3 + v**2 - 16. Is w(-16) even?
True
Let s be (1 + 0 - -18) + -4. Suppose 4*p - 5*p = -s. Suppose 2*d + d - 3*j = p, 0 = -4*d + 2*j + 26. Does 2 divide d?
True
Let i = 6479 + -3837. Does 129 divide i?
False
Suppose -3*g + 2*u - 1384 = -4*g, 0 = -3*g + u + 4201. Is g a multiple of 6?
True
Suppose 6490 = -3*u - 2*u. Does 8 divide (-37)/111 + (-1)/(6/u)?
True
Let t = -14308 - -15448. Is t a multiple of 15?
True
Let f = -40 - -2161. Suppose 67*g = 60*g + f. Does 21 divide g?
False
Let o(u) = -326*u**2 - 3*u + 11. Suppose 0 = -b + 2*b - 8. Let k(m) = -109*m**2 - m + 4. Let s(c) = b*k(c) - 3*o(c). Is s(1) a multiple of 28?
False
Let s = -195 - -203. Let u(z) = 11*z - 52. Let a(b) = 16*b - 78. Let w(t) = -5*a(t) + 7*u(t). Is w(s) a multiple of 2?
True
Let q = 3292 - -5378. Does 85 divide q?
True
Let l = -1 + 3. Let h = -111 - -114. Suppose -h*i + l*i + 53 = 0. Is i a multiple of 6?
False
Let f = -91 + 94. Suppose -4*k + o + 435 = 0, -4*k + 531 = k + f*o. Let q = 128 - k. Is q a multiple of 20?
True
Let p be 2/(-3*(-4)/282). Suppose 0 = o - 3*x + 9, 0*o - 5*x + 15 = -4*o. Suppose o = -52*v + p*v + 100. Is v a multiple of 20?
True
Let k(v) = 16*v - 8. Let f be k(-2). Let q = f - -43. Suppose h + q*y - 127 = 0, -h + y = -2*y - 115. Does 20 divide h?
False
Suppose 5*j - 8*n = -12*n + 4967, 3*n = 2*j - 1973. Is 23 a factor of j?
False
Let s = -547 - -531. Is ((-54)/(-12) + s/4)*476 a multiple of 7?
True
Let h be 5/((-1)/((-24)/20)). Suppose 2*z - 14 = -h, -5*z + 1672 = 4*x. Is x a multiple of 34?
False
Let c be (-2)/6 - -1 - 3344/(-33). Let i = c + 108. Does 35 divide i?
True
Suppose -5*v - 5083 - 2800 = -3*a, -2*a + 4*v + 5256 = 0. Is a a multiple of 26?
True
Does 14 divide ((-88)/14)/((-174)/40803)?
False
Is (-6)/(12/5)*-80*2 a multiple of 10?
True
Let m be (0 - -1)/(-1) - 2. Let a = 6 + m. Suppose 342 = a*k - 78. Does 28 divide k?
True
Let n be (-56)/40 - 6/(-15). Let g be (n/(-2))/(3/(-108)). Is 63 a factor of (-4072)/(-18) + g/81?
False
Let y be 21*(-2)/(-6) + -5. Suppose -y*t - 195 = -5*o, 3*t + 368 = -o + 33. Let n = 66 - t. Does 16 divide n?
True
Suppose -14*k = -8*k + 1014. Let j = 198 + k. Is j a multiple of 2?
False
Let t be (-2 - 0) + 2 - -5. Suppose 4*p = -2*p + 24. Suppose 3 = -3*j - 3, p*f = t*j + 330. Is f a multiple of 14?
False
Suppose -5*i = -v - 21, -2*i = 2*v - 20 + 2. Let l(b) = 14*b + 104 - i*b - 12*b. Does 12 divide l(0)?
False
Let b be (2 - 3)*(-2530)/(1 + -6). Does 28 divide (40/15)/(-8) + b/(-6)?
True
Let k(q) = 47*q - 3. Let p be k(6). Suppose 3*s - p = -2*m, -55 + 148 = s - m. Is s a multiple of 31?
True
Suppose 0*q - 5*r + 16 = -2*q, 0 = -4*q + 2*r - 32