 Is 15 a factor of l?
False
Does 23 divide 16/22*11986 + (783/99 - 8)?
True
Let g be (7/2 - 3)*(1722 + 2). Let a = -422 + g. Is a a multiple of 14?
False
Let u = -433 + 295. Let s = 5513 - 5347. Let t = u + s. Does 2 divide t?
True
Suppose -i - 8116 = i. Is 58 a factor of (-1)/(-5) - i/10?
True
Does 7 divide ((-120)/(-3))/5*(-42)/(-4)?
True
Let a(n) = -n**3 - 6*n**2 - 14*n - 2. Suppose y - 47 = -2*u, 5 + 96 = 4*u - 5*y. Let g = 18 - u. Is 5 a factor of a(g)?
False
Let i be (56/49)/(2/7). Suppose 3*l - 4*l - 3 = 0, 2*l = -i*y - 558. Is 12 a factor of (y/(-161))/((-2)/(-252))?
True
Suppose -7*r + 122 - 24 = 0. Suppose 4*p + r*o = 15*o + 319, 0 = 4*p + o - 329. Does 12 divide p?
False
Suppose 259 - 15887 = -4*h - b, -2*h = 4*b - 7800. Is h a multiple of 2?
True
Let s(d) = 2*d**3 - 5*d**2 - 5. Let f be s(3). Suppose -2*l = -5*m + 28, 0 = 9*m - f*m - 10. Is 13 a factor of (-3 - 15)/(l/78)?
True
Let g = -218 + 242. Is 17 a factor of (-356)/g*(0 - 6)?
False
Let d(i) = 14*i + 38. Let u be d(10). Suppose 5*h + 2*r - 607 = u, -h = 3*r - 144. Is h a multiple of 53?
True
Let g = -893 - -894. Is (g*38)/(559/(-39) - -15) a multiple of 3?
True
Let x = -475 + 266. Let l = x - -283. Is 13 a factor of l?
False
Let p(n) = -129*n - 72. Suppose -31*s + 64 = -39*s. Does 16 divide p(s)?
True
Is ((-3)/(-15))/(16/501520) + (1 - -2) a multiple of 16?
True
Suppose 4*l + 2*p = -22, 25 = -5*p - 0*p. Is 45 a factor of (((-45)/5)/l - 0) + 702?
False
Suppose 3*h = -3*b + 4206, -14*b + 2*h = -12*b - 2812. Does 54 divide b?
True
Let h(o) = 2*o**2 - 4*o + 3. Let x be h(-5). Suppose 0 = -3*q - 95 - x. Let n = q - -200. Does 17 divide n?
False
Suppose -j = -q + 70, -q - j + 71 = -3*j. Suppose 4*f - 880 = 389*v - 392*v, 0 = 3*f - 21. Suppose -5*b + 4*n = q - 429, -4*n - v = -4*b. Is 38 a factor of b?
True
Suppose -33*s - 13*s = -22540. Is 7 a factor of s?
True
Suppose 2*g - f + 25 = 0, -4*g + 6*f - 51 = 3*f. Let z(l) = -14*l + 132. Is 15 a factor of z(g)?
True
Let w be (-2 - 1)*(-140)/(-15). Suppose -15*h + 102 = 2*s - 11*h, -3*s + 153 = 3*h. Let a = w + s. Is 12 a factor of a?
False
Let d(v) = -v**3 + 9*v**2 - 21*v + 56. Let g = 51 - 45. Is 9 a factor of d(g)?
False
Let j be (6/(-5))/((-15)/(-550)). Is -1 + (-27)/(-33) - 35736/j a multiple of 28?
True
Does 29 divide -8*(-2)/24*(4291/2 + -5)?
False
Let c(i) = 17*i - 1. Let g be c(1). Suppose z + 5*v + g = 0, v = -0*v - 4. Suppose -68 = -7*p + 3*p + z*b, 2*p = -b + 46. Does 21 divide p?
True
Suppose 0 = 2*i - i - 5*y + 6, -i = 4*y - 12. Suppose 0*s = -i*s + 40. Is 10 a factor of s?
True
Let u = 846 - 327. Suppose 18*v - 17*v = u. Is v a multiple of 84?
False
Suppose 4*g - 4 = 0, 2*i + 5*g = 5*i - 139. Suppose 9*f - 5*f = i. Is 12 a factor of (63/(-2))/((-3)/f)?
False
Let r(y) = 12*y**2 + 4*y - 32. Let v = -600 - -604. Is r(v) a multiple of 22?
True
Suppose -4*l = 2*q - 18, -25 = 6*q - q. Let c(x) = -14 + l*x + 6 + 7*x - x**2. Is 2 a factor of c(12)?
True
Let d(m) = -68*m - 64. Let i = 590 + -595. Is d(i) a multiple of 9?
False
Suppose -4*m + 3*d - 100 = d, m + 20 = -2*d. Let v be 10/(-12)*m/30*3. Suppose 1176 = 10*z - v*z. Is z a multiple of 18?
False
Let u(g) be the second derivative of 41*g**3/6 - 135*g**2 - 3*g + 4. Is u(28) a multiple of 31?
False
Let a(w) = -4143*w**3 - 3*w**2 - 3*w. Does 14 divide a(-2)?
True
Let c(d) = 12453*d + 9243. Is 93 a factor of c(4)?
True
Is 30/(-13 - 10455/(-804)) a multiple of 13?
False
Let m be (-1736)/63*6*18/(-4). Suppose 3*t = 8*z - 9*z + m, -t + 5*z = -232. Is t a multiple of 19?
True
Is 418/(-4)*16*-1 + 8 a multiple of 10?
True
Let p = -19379 + 23731. Is p a multiple of 79?
False
Suppose 5*g + 0*f + 124 = -3*f, 4*g + 108 = 2*f. Let z be (78/24)/((-2)/40). Is 30 a factor of (-2504)/(-10) - g/z?
False
Let f be -34*(-119)/14*(-1 + 2). Suppose 4*g = 2801 - f. Is 72 a factor of g?
False
Suppose 2*h - 5*a = 14909, a - 2*a = 1. Suppose 39*f = 62*f - h. Does 46 divide f?
False
Let u(f) = 15*f + 155. Let n be u(-10). Suppose 0*d - n*d - 15 = 0, -4*d - 1136 = -4*g. Does 20 divide g?
False
Let x = -166 - -754. Suppose 0 = -42*g + 39*g + x. Is g a multiple of 14?
True
Suppose z - 552 = 3*n, 5*z - 2816 = -4*n + 5*n. Suppose -2*w - 2*a + z = 0, w + 11*a - 294 = 13*a. Does 22 divide w?
True
Does 162 divide 102/(-68) - (-19659)/6?
False
Is 28 a factor of (3286/9)/(128/1152)?
False
Suppose 9*c - 87 = 6*c. Suppose c - 17 = 3*g. Let m(r) = 2*r**2 - 4*r + 4. Is 10 a factor of m(g)?
True
Let g(n) = 2*n**2 + n**2 + 6 + 0*n**2 + 20*n. Is 56 a factor of g(-12)?
False
Suppose 5*j + 15 = 0, 28*y - 25*y - 23955 = 5*j. Is 20 a factor of y?
True
Is 16 a factor of -768*((-7 - (-5)/((-120)/(-152))) + -1)?
True
Let u(l) = 3023*l - 3895. Does 10 divide u(5)?
True
Let i(p) = -152*p - 688. Is i(-49) a multiple of 20?
True
Suppose -4*h + 4954 = 5*m, m + h + 427 - 1417 = 0. Suppose 5*a = 0, -m - 106 = -5*w - 2*a. Does 3 divide w?
False
Let i = 90 - 86. Suppose g + 3*q - 93 = 0, 0 = g - 0*q + i*q - 94. Suppose 8*b - 3*b - g = 0. Does 3 divide b?
True
Let x(r) = 2*r**3 + r**2 - 7*r - 2. Let g(l) = l**2 + 2*l - 10. Let d be g(3). Suppose 5 = h - d*s - 19, 0 = 5*s + 20. Does 26 divide x(h)?
False
Let g = 413 + -303. Suppose -2*b + o + 1013 = 0, -o + g + 392 = b. Is b a multiple of 20?
False
Suppose 0 = -3*i - 12, 0 = -3*a - 3*i - 0*i - 12. Suppose a = -d - 5*d. Suppose 2*k - 174 + 24 = d. Is k a multiple of 15?
True
Let n = 43 - 37. Suppose 0 = -n*v - 501 - 399. Is ((1 - 1) + -33)/(45/v) a multiple of 22?
True
Let w(n) be the second derivative of -n**3/3 + 7*n**2 + 26*n. Let x be w(8). Is 5/x*(-3492)/30 a multiple of 41?
False
Suppose 266742 = 36*u - 4*u - 11*u. Is u a multiple of 3?
True
Let h be (2 + 6 + -11)/(2/(-38)). Suppose h = 3*u - 0*u + 2*n, 25 = 2*u - 3*n. Is u a multiple of 8?
False
Let z = 8062 - 5668. Suppose -2*u - z = -8*u. Is u a multiple of 20?
False
Let a(p) = -p**3 + p**2 + p. Let i(u) = -2*u**3 + 4*u**2 + 18*u + 60. Let v(x) = -3*a(x) + i(x). Is 60 a factor of v(0)?
True
Suppose -21 = -11*q + 188. Suppose -3*b + q - 4 = 0, 4*j + 4*b - 772 = 0. Is 3 a factor of j?
False
Let s = -5763 - -8795. Is 4 a factor of s?
True
Suppose 4*h = -2*f + 46, 3 = h - 5*f - 36. Suppose 76 = 4*j - 4*p, 2*p - 3*p - 40 = -2*j. Suppose -3*z + 4*d + j = 0, 2*z = 3*z + d - h. Does 2 divide z?
False
Suppose 7*m + 46892 = 212778. Is 289 a factor of m?
True
Let s(n) = 7*n**2 + 450*n + 6665. Does 10 divide s(-15)?
True
Let z = 4450 + -1662. Is z a multiple of 34?
True
Let x(o) = -15*o**3 + o**2 - 1. Let q be x(-2). Let j = -29 + q. Does 47 divide j?
True
Suppose 0 = 5*d + 4*n - 10, -3*n + 4*n = -2*d + 7. Let x = 54 + d. Does 3 divide x?
True
Let q be ((-5)/(-10)*-4 + 0)/(-1). Suppose -q*s = -236 + 54. Is s a multiple of 13?
True
Suppose x = 4*x - 2*d + 499, 4*d = -16. Suppose 1565 - 6699 = 17*g. Let f = x - g. Is f a multiple of 11?
False
Let u be (55/(-10))/(2/(-4)). Suppose -210 = 4*f - u*f. Let d = -14 + f. Is 3 a factor of d?
False
Let a be (-57)/(-12) - (-2)/8. Suppose 0 = -4*o - 20, 2*q + 0*q = a*o + 35. Suppose -5*g + 235 = 5*s, 2*s - q*g - 235 = -3*s. Is s a multiple of 4?
False
Suppose -q + 7713 = -5*i, 0 = 21*q - 26*q + 4*i + 38460. Is q a multiple of 31?
True
Suppose 5*y + 4*f = 20, f - 10 = -3*y + 2. Suppose 80 = n + n + 4*w, -2*w = -y*n + 110. Suppose 5*r + n = 180. Does 5 divide r?
True
Let c be 9 + -7 - (2 + 16*4). Let f be c/(-28) + 6/(-21). Suppose 0*w = -2*o - w + 372, -f*w = -3*o + 544. Is o a multiple of 23?
True
Is -354*(106/(-6) - 6) a multiple of 142?
True
Suppose -8 = -9*t + 13*t, -2*t - 5128 = -4*b. Suppose -4*f = m - b, 4*m - m = -2*f + 643. Is 40 a factor of f?
True
Let r be (-136)/(-2*(-2)/4). Let g = -1628 + 1629. Is r*2*g/(-4) a multiple of 7?
False
Suppose -2*i + 18 = 5*c, -11*i = -7*i + 3*c - 36. Let b be 410/4 - (-6)/12. Suppose -i = -3*d, 2*q = -2*d - b + 421. Is q a multiple of 19?
False
Let m = 73 + -55. Let q = m + -24. Is 13 a factor of 470/3 + 4/q?
True
Suppose -3*x = -3*g + 2*g - 11, 4*x = 5*g. Suppose 0 = -s + g, s = -3*v - 2*s + 831. Is v a multiple of 13?
True
Let i(q) be the second derivative of q**4/6 - 6*q**3 + 69*q**2/2 + 2*q - 8. Is i(29) a multiple of 30?
False
Let i be 54/4*(-1716)/(-11). Suppose 2*j - i = -4*m, m + 1068 = 3*m - 4*j. Is 10 a factor of m?
False
Suppose 80825 = 78*i - 22906