52 = 2*d + 40. Suppose -4*t - b = -1972, -3*t - 3*b = -d*b - 1494. Does 26 divide t?
True
Let y be 1 - 20/5 - -60. Suppose -3*w + 24 = -99. Let x = y - w. Is 2 a factor of x?
True
Suppose 4*c = j + 26679, -4*c + 8*c - 5*j - 26675 = 0. Is c a multiple of 23?
True
Suppose -4483*c + 4511*c = 26012. Is c a multiple of 20?
False
Let l(m) be the first derivative of 6*m**2 + 23*m - 17. Is 89 a factor of l(36)?
False
Let t(b) = -35*b**3 + 21*b**2 + 127*b + 46. Is t(-6) a multiple of 152?
True
Let j(x) = 2*x**3 + 3*x**2 - 40*x - 23. Is 257 a factor of j(22)?
True
Let k(n) = -37 + 59*n - 25 + 5. Is k(8) a multiple of 23?
False
Let c(h) = h**3 + h**2 - 6*h - 20. Let v be c(-3). Does 14 divide (-200)/v*((-309)/(-15) - 1)?
True
Let t = 120 + 10. Suppose t = 5*k - 130. Is k + -6*3/6 a multiple of 3?
False
Let h(z) = 5*z**3 + 252*z**2 + 53*z - 112. Is h(-50) a multiple of 7?
False
Suppose 0*b - 9*b - 36 = 0. Is 36 a factor of 106 - (1 + b + -2)?
False
Is 107 a factor of ((-9416)/66)/(8/(-306))?
True
Is 17 a factor of ((-1202)/(-8))/((-418)/(-28424))?
True
Suppose 3*n - 5*x = -271, -10*x - 427 = 5*n - 6*x. Let m = -55 - n. Is 16 a factor of m?
True
Let j be (3 - 0)*(-98)/(-231)*11. Is 61 a factor of 45/((-3)/(-7) + (-5)/j)?
False
Let i be 65/13 - (-2)/(-2). Suppose 0 = -i*a + 2*a + 2. Is 10 a factor of (a - 22/10)*-25?
True
Let f be ((-7)/21)/(-2 - 177/(-90)). Suppose 5*d + 11*n - 521 = f*n, -2*d = -3*n - 205. Is 52 a factor of d?
True
Suppose -26*g - 4440 = -32*g. Let u = 857 - g. Is 2 a factor of u?
False
Let v = -57 + 85. Suppose 5*j + 0*g = -4*g + 31, -4*j - 3*g = -24. Suppose -v = -j*p + 53. Is p a multiple of 9?
True
Let z(a) = -a**3 - 23*a**2 - 23*a - 25. Let f be z(-22). Let b(l) = 5*l + 19. Let q be b(f). Suppose q*g - 85 = -25. Is 3 a factor of g?
True
Let p = -15951 - -25447. Is p a multiple of 14?
False
Suppose 5*h + 0 + 5 = 5*y, -2*y = -8. Suppose -62 = s - h*l - 15, 0 = 3*s - l + 173. Let t = s + 114. Does 11 divide t?
True
Let c(w) = w**3 - 11*w**2 + 15*w - 11. Let z(i) = i + 15. Let j be z(-5). Let b be c(j). Suppose 19*f - b = 16*f. Is 12 a factor of f?
False
Let g(l) = -1674*l**3 + 4*l**2 + 5*l - 6. Let x be g(-2). Suppose -232 = -8*t + x. Is 13 a factor of t?
True
Let i(j) = -433*j - 486. Does 28 divide i(-18)?
True
Suppose -2288 = 9*g - 13*g. Is (g - 3) + (-6 - -9 - 5) a multiple of 81?
True
Suppose -36*n = 20933 + 29863. Let q = 2757 + n. Is q a multiple of 20?
False
Let f be ((-2)/(-6))/((-138)/(-3726)). Let o(g) be the third derivative of 7*g**4/12 + 2*g**3/3 + 2*g**2. Is o(f) a multiple of 26?
True
Let q be (6 - 3)*(-490)/10. Let a = -368 - -154. Let x = q - a. Is 19 a factor of x?
False
Suppose 0 = -w - 49 - 26. Let m be (-128 - -11) + -1*2. Let q = w - m. Is q a multiple of 11?
True
Suppose -59 + 27 = -16*c. Let m be (8/12)/((-2)/(-291)). Suppose -u = 2*t + 3*t - m, 2*u - 134 = c*t. Does 8 divide u?
True
Let p(r) = -1. Let z(n) = -n. Let c(y) = -p(y) - 3*z(y). Let g be c(0). Does 2 divide (g/(-2))/((-2)/44)?
False
Suppose 2 = 2*k - 2. Suppose i = 2*h - 5 - k, -5*i + 15 = 0. Suppose -h*w + o = -826, -3*w + 701 = -2*o + 204. Is 15 a factor of w?
True
Suppose 27*t = 78 - 213. Is 5 - t - 5 - -372 a multiple of 13?
True
Let z(s) = s**3 + 14*s**2 + 14*s + 16. Let f be z(-13). Let x be (-221)/(-51) - 1/f. Suppose 4*k + 1 = 13, -x*t - 3*k = -129. Is 15 a factor of t?
True
Suppose -2*f + 24295 = 2*k - 3*k, -97117 = -8*f - 5*k. Is f a multiple of 24?
True
Let i be 53/(((-2)/3)/((-4)/(-6))). Let w = 48 + i. Let v(m) = m**3 + 7*m**2 + m - 9. Is v(w) a multiple of 9?
True
Let x(g) = -450*g - 1. Let n be x(-2). Suppose -14*y = -n - 4883. Is 16 a factor of y?
False
Let f = -14 + 31. Let o(i) = -13*i - 32. Let t be o(-4). Suppose -t*d = -f*d - 528. Is 22 a factor of d?
True
Suppose 40*n - 30755 = 32*n - 3595. Is n a multiple of 7?
True
Let g(n) be the third derivative of n**6/120 - 4*n**5/15 + n**4/6 - 35*n**3/3 + 34*n**2 + 1. Is 33 a factor of g(19)?
True
Let c(d) = -3*d**3 + 4*d**2 - 3*d - 4. Let j be c(-7). Suppose -3*r + 333 = -j. Is 25 a factor of r?
True
Let j = 39 + -38. Suppose k + j = 13. Is 2*k/2 - 3 a multiple of 9?
True
Let m(z) = 68*z**3 + 65*z**2 - 372*z + 5. Is 59 a factor of m(6)?
False
Is 9 a factor of 6*-3*1/3 + 1492?
False
Let f(s) = 15*s**2 + 11*s - 1. Let q(w) = -w**3 + w**2 + w - 1. Let l(k) = f(k) - 6*q(k). Let c be l(-4). Is (-2)/(-5 + (-1272)/c) a multiple of 17?
True
Suppose -4*o + 5*t + 2560 = 0, o - 5*o + 2560 = -3*t. Suppose 3*g - y = 8, -4*g - 5*y - 6 = -2*g. Suppose 6*m = g*m, 3*m - o = -5*c. Does 16 divide c?
True
Let l = 19284 - 8460. Is l a multiple of 11?
True
Let j(i) be the first derivative of -i**4/4 - 11*i**3/3 + 6*i**2 + 2*i + 2. Let n be j(-12). Suppose -41 = -h + n*g, -h + 3*h - 82 = -4*g. Does 17 divide h?
False
Let l be (-3 + (-5 - -3) - -174)/1. Let b = l + -79. Is b a multiple of 10?
True
Suppose 0 = -5*p + 9*p + 40. Let i be (396/p)/(((-8)/(-130))/(-2)). Does 18 divide (-12)/18*(-5)/(30/i)?
False
Let c = 5390 - 5198. Let v(z) = -22*z. Let m be v(-6). Let t = c - m. Is 6 a factor of t?
True
Let v(m) = -m - 25. Let c be v(-25). Let o(u) = -u**3 + 2*u**2 + 220. Let y be o(c). Suppose -h - 3*h + y = 0. Is h a multiple of 5?
True
Let n = -4712 - -5603. Is n a multiple of 11?
True
Let l(t) = -5*t**3 + 8*t**2 + 82*t - 6. Does 79 divide l(-11)?
True
Suppose 6*d + 3*d - 333 = 0. Suppose -68 = -x + d. Suppose 2*y + 29 - x = 0. Is y a multiple of 4?
False
Let c be 897 + 4/4 + 2. Suppose c = i + 4*i. Suppose 0 = -5*b - 0*b + i. Is 14 a factor of b?
False
Let l(d) = 430*d**3 - 3*d**2 + 4*d - 4. Let v be l(2). Suppose -9*u = -21*u + v. Is 26 a factor of u?
True
Let t(z) = -454*z**3 - 11*z**2 - 39*z - 44. Is t(-2) a multiple of 6?
False
Let q be ((-3)/(-6) - 1)*12. Let h be (-3)/q*226 + -1. Suppose 0 = -2*x + 3*x - h. Is 20 a factor of x?
False
Let s(b) = 2*b**2 - 66*b + 853. Is s(46) a multiple of 3?
True
Suppose -198 = -8*q - 3*q. Suppose 9*y = q*y - 666. Is 52 a factor of y?
False
Let c be -102 - 17 - (-6)/1. Let d = 4 - c. Is d a multiple of 37?
False
Let u be (16/6)/((-13)/39). Let r(l) = l**2 + 9*l + 9. Let n be r(u). Is 3 a factor of 2/(-6)*n*567/(-7)?
True
Suppose 2*a + z + 1001 = 0, 2014 = -4*a + 3*z - z. Let u = 727 + a. Suppose -7*q = -4*q - u. Does 15 divide q?
True
Let d = 57 + -51. Let i(o) = o**3 - 6*o**2 + o + 23. Let n be i(d). Suppose -n*a + 8*a = -336. Does 13 divide a?
False
Let o be 7 + (-39)/33 - 2/(-11). Let w(z) = 6*z**2 + 12*z - 15. Is w(o) a multiple of 12?
False
Let u(x) = 59*x**3 + x**2 - 11*x + 21. Suppose -2*b - 4*m + m = 8, 3*m = -b - 10. Is 48 a factor of u(b)?
False
Suppose 3*g + 124 = 5*r - 22, -3*r - g + 82 = 0. Let t(i) = i - 48. Let u be t(r). Let k(b) = b**2 + 18*b + 88. Is k(u) a multiple of 9?
False
Suppose -735904 = 2514*j - 2636*j. Is j a multiple of 29?
True
Let x(b) = 7*b**3 - 7*b**2 - 4*b - 237. Let m(l) = l**3 - l**2 + 1. Let z(o) = 6*m(o) - x(o). Does 12 divide z(0)?
False
Let d(j) = -j**3 + j**2 - 2*j + 8. Let f be d(0). Suppose f*l - 6107 = -23*l. Is l a multiple of 5?
False
Suppose -31 = -4*i - 3*j, i - j = -4*i + 15. Suppose 3*h + 16 = 2*p, -i*h - 11 = -3*p + 11. Suppose -4*f - f + 2*g + 45 = 0, 3*g = -p*f + 18. Does 2 divide f?
False
Let g be 35/(-15)*6 + 0 + 0. Let n(i) = -i**3 - 14*i**2 - 22*i - 21. Let a be n(g). Let q = a - 191. Is 24 a factor of q?
True
Suppose -27*k + 21*k + 11*k - 40015 = 0. Is k a multiple of 112?
False
Let i be (2 - 31) + (-4 - -8). Is (i - 11)*31/(-3) a multiple of 14?
False
Let q = -823 + 1903. Suppose q = 3*w - 756. Suppose 0 = -3*d - 3*a + w, -3*a + 310 - 102 = d. Does 31 divide d?
False
Suppose -9*m + 5*m = -152. Let y = m + -10. Is 14 a factor of (-36)/12*y/(-6)?
True
Let b = 56 + -28. Suppose 5*k - 33 = a, 0 = -4*k + a - 2 + b. Suppose k*r - 249 - 101 = 0. Does 5 divide r?
True
Let y be (-1 - -9)*(-1)/2. Let l(r) be the third derivative of r**6/120 + r**5/15 - 5*r**4/24 - 3*r**3/2 + 1414*r**2. Does 3 divide l(y)?
False
Suppose 232*n - 1336530 = 37*n. Does 28 divide n?
False
Let h(d) = d + 1 - 1335*d**3 + 2*d**2 - 299*d**3 - 1 - 200*d**3. Is h(-1) a multiple of 18?
False
Does 35 divide 9 + 1483/4*12?
False
Suppose -3*m = 4*j - 31905, 10635 + 13299 = 3*j + 4*m. Is 6 a factor of j?
True
Suppose -120*z - 190*z = -4749039 + 352619. Do