rue
Let l = -19 + 35. Let o = l - 15. Let c(y) = 26*y + 2. Is 7 a factor of c(o)?
True
Does 10 divide 40/3*3159/78?
True
Let n(u) = -5*u - 6. Let o(z) = 10*z + 12. Let y(c) = 5*n(c) + 2*o(c). Let i be y(-3). Suppose -i*b = -8*b - 8. Is b a multiple of 5?
False
Let b be 0 - (4 - 2 - 212). Let g be (576/60 + -10)/(2/(-20)). Suppose g*k + k - b = -5*y, 3*y - k = 134. Does 9 divide y?
False
Let n(a) = 24*a + 696. Is n(-18) a multiple of 33?
True
Suppose -66 = -6*o + 234. Is o a multiple of 50?
True
Suppose i = -5*s + 6*s + 259, -5*s - 267 = -i. Is i a multiple of 13?
False
Suppose -2*o - 3*o + 5*v = -20, 0 = -2*o + v + 4. Suppose 5*w - 133 = -3*z, 2*z - 2*w + w - 67 = o. Does 9 divide z?
True
Let p(i) be the first derivative of i**3 + 7*i**2/2 + 9*i + 29. Suppose -3*c - 9 - 9 = 0. Is p(c) a multiple of 25?
True
Does 9 divide (-26)/(-247) + 3684/19?
False
Let t(b) = -141*b**3 + b**2 - 4*b - 3. Does 33 divide t(-1)?
False
Suppose 2*u + 5*d - 1322 = d, 3*u - 2003 = -2*d. Is u a multiple of 20?
False
Let d = 3 + -3. Suppose 0*z - 3*u = -2*z + 503, 2*z - 4*u - 498 = d. Does 21 divide z?
False
Let n = 21 - 26. Let o(v) = 5*v + 3. Let i be o(n). Let u = 36 + i. Is u a multiple of 7?
True
Let r be ((-1)/(-1))/1*-3. Let o(n) = -7*n**2 + n + 3. Let i(h) = -3*h**2 + 1. Let a(v) = -5*i(v) + 2*o(v). Is a(r) even?
True
Let b be 1*6*4/(-8). Suppose 0 + 4 = -l. Is l/6 + (-89)/b a multiple of 13?
False
Let g be 3 - (-6)/9*9/(-2). Suppose -3*h + g*h + 9 = 0, 0 = 2*q - h - 157. Is q a multiple of 5?
True
Suppose -2*c = 1 + 11. Let o = 13 + c. Let p = 21 - o. Is 10 a factor of p?
False
Let i be (-90)/(-2)*2/3. Let q be ((-7)/3 + 3)*-15. Let k = i + q. Is 16 a factor of k?
False
Suppose -3*g + 12 = -12. Is 510/g + (-3)/(-12) a multiple of 16?
True
Suppose -3*b - i = -469, 5*i = 5*b - 930 + 155. Is b a multiple of 6?
True
Suppose -21*x - 540 = -5*f - 16*x, f - 3*x - 110 = 0. Is f a multiple of 34?
False
Suppose -45*q + 5940 = -18*q. Does 4 divide q?
True
Let m(b) = -40*b**2 + b. Let z be m(1). Let l = -33 - z. Does 23 divide (l/9)/(2/255)?
False
Suppose 3*w - 72 = -t - 28, w + 36 = t. Let g = t + -9. Suppose -g = -o - 8. Is 10 a factor of o?
False
Let h = 24 + -26. Does 10 divide 38 + (h - -6)/2?
True
Let t be (-9)/27 - 128/3. Suppose 7*k = 5*k - 172. Let n = t - k. Is 9 a factor of n?
False
Is (-2699)/(-4) - (-1)/(0 + 4) a multiple of 36?
False
Let p be (6/(-36))/(1/(-6)). Does 12 divide (-7 - p)/(5/(-60))?
True
Let a = 638 - -771. Is a a multiple of 25?
False
Let c be (-9)/27*(1 + -11 + -2). Suppose 3*a + 2*n + 171 = 975, -c*n - 1362 = -5*a. Is 15 a factor of a?
True
Let y(f) = -68*f - 4. Let v be y(11). Is 20 a factor of 6/(-33) - v/22?
False
Let p(u) = -u - 1. Let q be p(-6). Suppose 61 = 4*h + q. Let f = 22 - h. Does 4 divide f?
True
Suppose 0*z - 4*z = 0. Suppose 3*g + f - 254 = z, 3*g - 337 = -g - 3*f. Is g a multiple of 17?
True
Let q(j) = j**3 - 7*j**2 - 8*j - 7. Let n be q(8). Let r(w) = -3*w**2 + w**2 - 2*w**2 + 5 - w**3 + 10*w. Is 22 a factor of r(n)?
False
Let i(b) = -b**2 + 8*b + 2. Let j be i(8). Does 4 divide (j/6)/(1/36)?
True
Is (-1*487)/(23/(-46)) a multiple of 35?
False
Let l = 637 + -627. Is l a multiple of 2?
True
Let x = 38 + -12. Let l = 29 - x. Does 40 divide (72/14)/(l/70)?
True
Suppose -2*r - 332 - 952 = -4*v, 2*v - 5*r - 626 = 0. Is v a multiple of 17?
True
Let l = 69 + -49. Let m be (4 + 18/(-4))*l. Does 3 divide -3 - ((-2 - 0) + m)?
True
Let b be (-2)/(-2)*0*(-3)/24. Let a(k) = 2*k**2 + 2*k + 315. Does 45 divide a(b)?
True
Suppose v + 2*a - 1 = -6, 2*v - a = 15. Suppose 372 - 92 = v*w. Does 12 divide w?
False
Let c(j) = -j + 22. Let a be c(6). Suppose -a = -4*p, 0*y + 4*p = 3*y - 14. Suppose -y - 38 = -3*r. Does 8 divide r?
True
Suppose 0*v - 21 = 4*v + 3*o, -v = o + 5. Does 56 divide (v/6)/((-3 + 0)/258)?
False
Suppose -5*j - 5*o + 2120 = 0, -j - 176 = 4*o - 612. Is 21 a factor of j?
True
Let r = -83 + 130. Does 2 divide r?
False
Suppose 0 = 5*p - 25, -1706 = -3*w - 5*p + 335. Suppose 2*z - 8*z = -w. Is 26 a factor of z?
False
Let b = -49 - -82. Is 440/b*(-30)/(-4) a multiple of 25?
True
Let i = -51 - -13. Let o = i + 122. Does 12 divide o?
True
Does 7 divide ((-2)/8)/(21/532)*-27?
False
Let b be (-43)/(-3 + 16/6). Let o = -71 + b. Is 29 a factor of o?
True
Let s(k) = -k**3 + 13*k**2 - 20*k - 5. Let p be s(11). Suppose -p*u + 9*u = -832. Does 8 divide u?
True
Does 27 divide (-15 - -16) + 1*193?
False
Suppose -11 = -4*o - 3. Suppose -3*k + k = -8. Let u = k + o. Is u a multiple of 3?
True
Suppose 12*m - 9*m - 2269 = g, 5*m = 5*g + 3785. Is m a multiple of 4?
True
Suppose 14 - 158 = 6*m. Let q be 1/4 + 126/m. Is q + 3 - (-9 - 0) a multiple of 7?
True
Suppose -7*r - 1065 = -4887. Is 49 a factor of r?
False
Let a(i) = -3*i + 26. Let l(t) = 1. Let x(m) = a(m) - 2*l(m). Does 18 divide x(-6)?
False
Let s = 769 + -409. Is (4/(-6))/(1784/s - 5) a multiple of 3?
True
Let j be (-2)/(-11) - 1832/(-88). Let l = j - 7. Suppose 7 = a - l. Does 7 divide a?
True
Let u(g) = 48*g - 59. Is u(6) a multiple of 10?
False
Suppose -41 = 9*u + 985. Let y = 136 + u. Is 22 a factor of y?
True
Let v(p) = 13*p**2 + 4. Let q be v(3). Let b = 179 - q. Suppose b - 2 = f. Does 19 divide f?
False
Let y be ((2 - 180/8) + 1)*2. Is 48 a factor of (-2)/3 + (-7553)/y?
False
Let y = -17 + 17. Does 11 divide 1/(1/33 + y/1)?
True
Let z = -201 + 295. Does 8 divide z?
False
Let t(i) be the second derivative of -4*i - 1/6*i**3 + 1/12*i**4 + 67/2*i**2 + 0. Does 21 divide t(0)?
False
Suppose -1 = -k, 5*i = 2*k - 3*k + 4226. Is i a multiple of 52?
False
Let y(n) = n**2 - 6*n - 3. Let o be y(-5). Suppose -i - o = -3*i. Is i a multiple of 6?
False
Let g(s) = -s + 0*s + 28 - 4*s**2 + 2*s**2. Let p = -29 - -29. Is 10 a factor of g(p)?
False
Let j = 12 - 15. Let v be (j - (-7)/1) + 0. Suppose 1 - 17 = v*w, -5*w + 48 = 4*k. Is k a multiple of 7?
False
Let r(w) = -w**2 + 3. Suppose 2*s + 3*s = 0. Let q be r(s). Suppose -q*f = -3*j + 120, 0 = 5*j + 3*f + 5 - 197. Does 14 divide j?
False
Let u be 55/(-20) + (-2)/8. Let z be 2*3/(-6) - 24. Does 7 divide 12/(-9) + z/u?
True
Let f(r) = r**2 + 3*r + 1462. Is 43 a factor of f(0)?
True
Let v(s) = -2*s**3 + 13*s**2 - 6*s + 4. Let l be v(6). Suppose 0 = -2*z + l, -3*r + z = 3*z - 454. Does 15 divide r?
True
Let q = -473 + 3938. Does 9 divide q?
True
Let l = -7987 - -12266. Is l a multiple of 11?
True
Let t = -16 + 18. Suppose t*m - 132 = -4*m. Suppose -5*r + 3*r = -m. Is r a multiple of 3?
False
Suppose -164*s + 130 = -162*s. Is 5 a factor of s?
True
Let z(n) be the first derivative of n**3 - 3*n**2/2 - 3*n + 7. Let l = 0 + -2. Is 9 a factor of z(l)?
False
Suppose 3*k - 80 = -k. Suppose 10*t = 5*t + k, -2*g = -4*t - 72. Does 9 divide g?
False
Let d(w) = -3*w - 1. Let j be d(-2). Suppose 0 = -4*f + j*q + 21, -5*f + 3*q + 9 + 14 = 0. Suppose 11 = 3*k + 2*l - 186, -f*l - 191 = -3*k. Is 13 a factor of k?
True
Is 1*(16 + (-2 - 0)) a multiple of 6?
False
Is 13 a factor of (-1)/6 - (9 - 6414/36)?
True
Is -527*(-2)/6 - 90/135 a multiple of 12?
False
Let v = 1 + 1. Let m = v - 0. Suppose 5*i + 127 = m*l, 2*l - 106 = -0*l - 2*i. Is l a multiple of 28?
True
Suppose 15 = -0*z + 3*z. Suppose 38 = z*y - 32. Is ((-3)/(-6))/(1/y) a multiple of 4?
False
Let c = 1376 - 1006. Is c a multiple of 10?
True
Is ((-3)/(9/(-12)) + 0)*39 a multiple of 26?
True
Suppose 5*z - h - 193 = 0, 5*z + 3*h - 162 = z. Suppose 0 = -f - 2*f + z. Suppose -5 - f = -3*t. Is 3 a factor of t?
True
Let b be (-1)/(1*4/776). Does 13 divide b/((3 - 4) + -1)?
False
Suppose 34*b = 39*b + 50. Does 14 divide ((-5)/(b/4))/(8/224)?
True
Let a(w) = 4*w**2 - 38*w + 153. Is a(5) a multiple of 21?
True
Suppose -4*r = -0*t - 4*t - 72, 0 = -4*r - t + 77. Suppose -2*p - p = q - 73, p = q + r. Let g = 33 - p. Is 3 a factor of g?
False
Suppose -3*o + 30 = -6*o. Let h(p) = -4*p - 19. Is h(o) a multiple of 21?
True
Is (33319/(-44))/((-85)/20 - -4) a multiple of 44?
False
Let r(a) = -2*a**3 - 6*a**2 + 28*a - 22. Is 29 a factor of r(-7)?
True
Let p = 162 - -153. Is p a multiple of 9?
True
Let u be -2*1/(-1) + 11. Suppose -k = u - 3. Let m = 23 + k. Is 10 a factor of m?
False
Let n be 4/2*45/18. Suppose -1 = -w + n. Is 3 a factor of w?
True
Let q = -584 - -921. Does 28 divide q?
False
Let v(p) = p**2 - 1. Let q be v