= 2*g - 108. Does 26 divide g?
True
Let i = -52 - -41. Let t = i - -20. Is t even?
False
Let l(t) = t + 6. Let f = -42 + 30. Let a = 12 + f. Does 4 divide l(a)?
False
Does 22 divide ((-68)/4 - 1)*11/(-3)?
True
Let r = -1966 - -3766. Is r a multiple of 20?
True
Let r = -721 + 393. Let p = -170 - r. Does 20 divide p?
False
Let t(f) = 2*f**3 - 8*f**2 + 14*f - 4. Let z be (260/16)/5 - (-9)/12. Is t(z) a multiple of 7?
False
Let i(h) = -9*h**2 + h - 12. Let r(t) = -t**2 + t - 1. Let w(d) = -i(d) + 4*r(d). Does 28 divide w(-5)?
False
Suppose -4*p = -4*r - 0*p + 1056, 3*r - 4*p = 796. Is 10 a factor of r?
True
Let v = -434 - -638. Is 17 a factor of v?
True
Let r(d) = d**3 + 14*d**2 + 12*d - 11. Let b be r(-13). Suppose -i + 3*k + 89 = 0, 3*k = 3*i + b*k - 235. Does 11 divide i?
True
Let j be 3/1 + 1 - 0. Suppose -2*p = -w - 8, j*p = w + 2 + 10. Suppose -3*k = p*g - 32, 2*g - 3*k = -33 + 89. Does 12 divide g?
False
Let n(m) = -5*m - 16 - 17 + 18 - 14. Is n(-10) a multiple of 21?
True
Suppose 0 = 6*s - 393 - 1431. Let q = s - 111. Is q a multiple of 28?
False
Let w(j) = j**3 - 2*j**2 + j - 6. Let y be w(3). Suppose -y*a + 0*a = -96. Suppose 0 = -a*m + 11*m + 85. Is 4 a factor of m?
False
Suppose 2*a - j = 85, a + 0*a - 4*j - 46 = 0. Let s = a + -18. Is s a multiple of 8?
True
Let x(q) = 10*q**2 + q + 21. Let d be x(5). Let g = d + -94. Does 23 divide g?
False
Let k(f) = 77*f + 9. Let c be k(3). Let d be 4*2*c/32. Suppose -o = -6*o + d. Does 5 divide o?
False
Let k = -93 + 163. Let d = 57 + k. Does 28 divide d?
False
Suppose -5*i - 5*i = -140. Is 13 a factor of i?
False
Let n(b) = b**3 - 7*b**2 + 12*b + 4. Let g be n(4). Suppose -g*h = 0, z + 30 = 2*z - 2*h. Does 10 divide z?
True
Let f = 27 + -25. Suppose -f*r + 300 = r. Is 27 a factor of r?
False
Let y be ((-2)/(-1))/((-1)/(-2)). Suppose y*m - 2 = -3*a + a, 5*a + 2*m - 29 = 0. Does 4 divide a?
False
Let l be 2/5*(-26 - -31). Suppose 5*g - l*g = 636. Does 53 divide g?
True
Suppose 29*j - 39*j + 7020 = 0. Is 14 a factor of j?
False
Suppose 4*y = -3*d + 29, 4*d + 5 = 3*y + 2. Suppose -2 = d*c - 116. Does 9 divide c?
False
Let s = -838 - -885. Does 5 divide s?
False
Let w(r) be the second derivative of -r**5/20 + 13*r**4/12 + 5*r**3/3 - 3*r**2 + 9*r. Is w(13) a multiple of 21?
False
Suppose -3*g + 2*g = -4*w + 5, -3*w - 5*g = 25. Suppose -7*y + 8*y + 33 = w. Does 11 divide (y/2)/((-10)/20)?
True
Let k(j) = -j + 10. Let g be k(7). Suppose -n = 3*n - r - 9, n = 2*r - g. Suppose 2*d = n*v - 36, v = -d + 14 - 2. Is 7 a factor of v?
False
Suppose -4*y - y = 5*w - 10, -4*y - 3*w = -8. Suppose -40*m + 28*m = -24. Suppose 136 = y*a + m*a. Is a a multiple of 17?
True
Let k = -18 + 20. Let w be -2*(k/(-4) + -3). Let v(c) = 2*c**2 - 9*c + 17. Is 13 a factor of v(w)?
True
Suppose 0 = 2*d - 4*g - 84, -13*g - 45 = -d - 12*g. Is d even?
True
Suppose 4*a + a - 10 = 0. Suppose n - 21 + 77 = -a*g, n = -g - 28. Is g/(-1)*(9 + -8) a multiple of 7?
True
Let h be ((-2)/6)/(6 - (-111)/(-18)). Suppose 2*v = -5*a + 349, -a - h*a = 4*v - 201. Is 8 a factor of a?
False
Let v(f) = 2*f**2 - 3*f - 2. Let w be v(2). Suppose 5*r - 24 = -3*a + 93, w = 5*a + r - 173. Is a a multiple of 34?
True
Let p be (2 - 1)*(-2 + -65). Suppose -7*o + 3*o + 520 = 0. Let c = o + p. Is 21 a factor of c?
True
Suppose 2413 = 13*d - 8195. Is 17 a factor of d?
True
Does 31 divide -2 - ((-388)/(-12))/((-1)/6)?
False
Let d = 108 - 106. Suppose -5 + 237 = d*c. Does 36 divide c?
False
Let r(d) = d**2 - 26*d - 16. Let o be r(23). Does 13 divide 0 - (-2 + 6 + o)?
False
Suppose s = -3*t, 0 = -s + 3*t - 2 + 14. Suppose n + 5 = s*n, 0 = -3*x - 3*n. Is 7 a factor of (-12)/x*(-14)/(-4)?
True
Suppose -4*p - 3*a + 13 = 0, 4*a = 5*p + 5*a - 30. Suppose p*b = 525 + 189. Is b a multiple of 17?
True
Does 25 divide ((-21)/4)/(9/(-600))?
True
Suppose 21*n = 4*n + 5916. Is n a multiple of 5?
False
Suppose -3*s - 3*s = -660. Let t = -50 + s. Is t a multiple of 15?
True
Suppose -3408 = -4*d - 4*h, 4296 = 5*d - 15*h + 11*h. Is d a multiple of 7?
False
Let u(d) = -37*d - 13. Let h be u(7). Let k = -100 - h. Let z = k - 77. Does 22 divide z?
False
Let d be (-5 - (-2586)/(-18))*(-8 - 1). Suppose -4*y + 1678 = 5*g - 3*y, 3*y - d = -4*g. Is g a multiple of 16?
True
Let g(c) = -c - 14. Suppose -3*b - 14 = -b. Let z be g(b). Let q(u) = u**2 + u + 6. Does 16 divide q(z)?
True
Let r(t) = -193 + 2*t**2 + t + 197 + 2*t. Does 12 divide r(4)?
True
Suppose -3*m - 2*m + 625 = 0. Is 14 a factor of ((-2100)/m)/((-2)/10)?
True
Let k(i) be the first derivative of i**4/4 - 4*i**3/3 - i**2 + 12*i - 17. Does 35 divide k(6)?
False
Suppose 1345 = 10*p - 2145. Is 8 a factor of p?
False
Let o = 1109 + -1084. Does 5 divide o?
True
Let u be (8 + -11)*88/3. Is (u/(-3))/(6/9) a multiple of 9?
False
Let j = 50 - 47. Suppose j*a = 157 + 317. Is a a multiple of 23?
False
Let c(n) = n**3 - 3*n**2 - 2*n. Let v(o) = o**2 + 21*o + 44. Let d be v(-19). Is c(d) a multiple of 9?
False
Let d = 10 + -2. Suppose 0 = q - 2*j + 3, -3*q - 9 + 2 = -4*j. Is (d + -7)/(q/(-13)) a multiple of 12?
False
Let m(y) be the third derivative of -y**6/60 - y**5/20 - 5*y**4/24 - 2*y**3/3 + 2*y**2. Suppose -2*a - 2*a = 12. Does 19 divide m(a)?
True
Suppose -3*y + 1209 = -5*c, y - 12*c + 10*c = 402. Is y a multiple of 68?
True
Suppose -147 = 4*z + 85. Let c = z + 133. Suppose 0 = -7*r + 6*r + c. Does 15 divide r?
True
Let d(j) = j - 9. Let n be d(10). Suppose -2*z - 69 = z. Let w = n - z. Does 12 divide w?
True
Let c(s) = 794*s**3 - s**2 + 12*s - 10. Does 32 divide c(1)?
False
Suppose 11*y = 5444 + 2608. Suppose -852 - y = -11*n. Is 18 a factor of n?
True
Let x(o) = -2*o**2 + 4*o + 3. Let c be x(-3). Let a be 6/(-15) + c/(-5). Let w = a - -7. Is 10 a factor of w?
False
Suppose 18*n - 2407 = 113. Is n a multiple of 5?
True
Let k = 99 - 29. Does 10 divide k?
True
Let b be 0 - ((-2)/(-2) + -3). Suppose 15 = b*h - 4*t + 5, -2*h = 4*t + 6. Let l = 21 - h. Does 4 divide l?
True
Suppose -3*d + 47 - 32 = 0. Is (88/55)/(1/d) a multiple of 2?
True
Let x(m) = 48*m - 187. Does 13 divide x(6)?
False
Is 37 a factor of -2 + 0 - -381*12/9?
False
Let d = -31 - -50. Suppose 4*t - 9 = d. Is t even?
False
Let r be (0/(-5 + 2))/(-3). Let u(c) = -c**2 + c - 75. Let a be u(r). Let d = a + 107. Is 8 a factor of d?
True
Suppose 4*w = 5*t + 3, 15 = 2*w + 2*t - 9. Let x(f) = -f**2 + 5*f + 1. Let j be x(w). Let h = j + 27. Is 8 a factor of h?
False
Let x = 50 - 30. Let j = 71 - x. Does 17 divide j?
True
Suppose 0 = -1479*n + 1477*n + 2340. Is n a multiple of 9?
True
Let i(d) = 4 + 11*d - 44 - 3*d. Is i(8) a multiple of 8?
True
Let v(w) = 5*w**2 - 6*w. Let t(k) = -14*k**2 + 18*k - 1. Let b(h) = 4*t(h) + 11*v(h). Does 2 divide b(4)?
True
Is (-1908)/(-45) + 2/(-5) + -3 a multiple of 3?
True
Suppose 4*g = -0*g + 12. Suppose 0 = y - 4, -y = -f + y + 12. Suppose 0 = 4*t + f, 0*a = -g*a - 2*t + 32. Is 12 a factor of a?
False
Does 20 divide -6 + 11 - 3 - -540?
False
Let t be 61/2*82 + 0. Let b = -620 + t. Does 8 divide 1/(-5) + b/55?
False
Let a(d) = -8*d**2 - 5*d - 6. Let f(w) = w + 1. Let p(r) = -a(r) - 5*f(r). Is 23 a factor of p(3)?
False
Let g(x) be the second derivative of 0 - 5*x + 1/2*x**2 - 5/6*x**3 + 1/4*x**4. Is g(4) a multiple of 13?
False
Is 175 a factor of 4/16*-44 + 4736?
True
Let g(x) = 3*x**2 - 5*x - 20. Does 92 divide g(7)?
True
Let z(k) = 2*k**2 - 14*k - 16. Let x = 8 + 4. Does 29 divide z(x)?
False
Let f(t) = 7*t - 19. Suppose -5*n + 7*n - 20 = 0. Does 3 divide f(n)?
True
Let w(y) = y**3 + y**2 - y + 24. Let u be w(0). Let k = 11 + u. Does 4 divide k?
False
Suppose 0 = -2*k - 4*i - 0*i, 4*k + 18 = i. Does 18 divide (89 - (k + 1))/1?
False
Suppose -m - 71 + 348 = 0. Let a = -21 + m. Suppose -4*h = 32 - a. Is 27 a factor of h?
False
Let x = 2035 + -905. Suppose 3*u - 576 = -2*a, 12*a - 8*a - 5*u = x. Is 21 a factor of a?
False
Let y(f) = f - 13. Let o be y(18). Suppose -255 = -3*n + o*h, -4*n - 3*h + 71 = -3*n. Is n a multiple of 16?
True
Suppose 0 = -4*i + 1543 + 1561. Is 8 a factor of i?
True
Let q(m) = -m + 6. Let d be q(-5). Suppose 3*u + d = -4. Is 7 a factor of u/15 + 64/3?
True
Let l(o) = -2*o**3 + 2*o**2 - 2*o - 3. Let x be l(-2). Suppose x = 5*s - 3*v, 4*s + v + 2*v - 20 = 0. Suppose -s*m + 65 + 10 = 0. Is 5 a factor of m?
True
Let a(o) = o**2 +