-877 + -478. Is 28 a factor of (-2 + r/(-10))*(2 - 0)?
False
Let x(d) = d**3 - 5*d**2 - 5*d + 24. Let y(i) = 20*i + 146. Let u be y(-7). Is 10 a factor of x(u)?
True
Let v(u) = -u**3 + 19*u**2 - 4*u + 23. Let h be v(16). Let m = -435 + h. Does 23 divide m?
False
Let v(k) = k**3 + 31*k**2 - 47*k - 301. Is 21 a factor of v(-24)?
False
Does 38 divide (-2168958)/(-63) + (-7 - -5) + 6/63?
False
Suppose -3*d + o = -17462, -4*d - 5*o + 3021 = -20268. Is d a multiple of 14?
False
Let k be (-2 + 1 + -1)*(-27)/2. Suppose 0 = 28*a - k*a. Suppose -5*m + 99 + 216 = a. Is 11 a factor of m?
False
Let l(q) be the third derivative of 7*q**4/8 - 59*q**3/6 + 153*q**2. Does 4 divide l(7)?
True
Suppose -7*s - 14750 = -6*s - 11*s. Does 5 divide s?
True
Let v = 33 - 26. Suppose 2*y = -8, 0 = -2*q + v*q - 4*y - 31. Suppose q*f = -5*z + 775, -5*f + 242 = z + 65. Does 35 divide z?
False
Suppose -28 = -8*u + 44. Suppose -u*y + 44 = -7*y. Suppose n = -5*l + 42 + 13, -2*n = 2*l - y. Is l a multiple of 2?
False
Suppose -121149 - 72174 = -33*q + 201885. Is 4 a factor of q?
True
Let t be ((-6)/(-15) - 0)/(1/235). Let d = t - 67. Is d a multiple of 6?
False
Let m(n) be the third derivative of n**4/3 + 16*n**3/3 - 611*n**2. Let a be 41/4 + 2/(-8). Does 17 divide m(a)?
False
Let f(a) = 3*a**3 + 34*a**2 - 94*a + 8. Does 106 divide f(-12)?
True
Does 30 divide (-9228297)/(-867) + 2/34?
False
Suppose 22*o + 3*d = 23*o - 3876, -3*o = 3*d - 11664. Is 37 a factor of o?
True
Let i(c) = c**3 - 6*c**2 + 6*c + 1. Let y be i(6). Let r be y*4*(-3)/(-4). Suppose u + 2*h - 67 = r, 4 = 4*h. Is u a multiple of 44?
True
Suppose -n - 2*n = -3*a + 33, 4*n = 2*a - 26. Suppose -5*s - a*f + 4452 = -10*f, 0 = s - 5*f - 876. Is 81 a factor of s?
True
Suppose 13*z + 3 = 12*z, 22526 = 5*o + 3*z. Is 15 a factor of o?
False
Suppose -23552 = -2*n - 4*y, -365 + 333 = -4*y. Does 10 divide n?
True
Let f = -18 - -18. Suppose -5*x = -10 - f. Suppose -3*i - 423 = x*y - 5*y, 4*i - 556 = -4*y. Is 20 a factor of y?
True
Is 36/(-24)*-13162 + (7 - 10) a multiple of 15?
True
Let o(c) = 66*c**3 - 8*c**2 + 3*c - 3. Let f be o(-2). Let b = f - -839. Is 27 a factor of b?
True
Let v = 181 - 176. Suppose 5*n = -2*k + 6*k + 1065, 4*n = v*k + 861. Does 8 divide n?
False
Let k(f) = -64*f + 22. Let z be k(-10). Let x be 2 + 27/(-12) - z/8. Let l = -21 - x. Is 31 a factor of l?
True
Suppose f - 4*u - 2 = 0, f - u - 4*u - 3 = 0. Let b be (f - 0) + 2 + 0 + -28. Let o = -19 - b. Is 9 a factor of o?
True
Suppose -m - 3*v = -15, -2*m - 3*m + 4*v = -18. Let t(d) = -d**3 + 6*d**2 + 2*d + 29. Does 4 divide t(m)?
False
Suppose -4*x = -2*l - 24, -3*l + 16 - 44 = -4*x. Is 19 a factor of ((x/(-12))/1)/(2/(-342))?
True
Let b(a) be the second derivative of -a**4/12 - 7*a**3/6 - 7*a**2/2 + 17*a. Let t be b(-5). Suppose -5*j + 160 = 5*v, -j = t*j - v - 143. Is 10 a factor of j?
False
Let d = 66 - 67. Let y be (2*-29)/((-10)/5) - d. Let v = y + 26. Is 7 a factor of v?
True
Suppose -4*y - 5*m + 71886 = 0, 5*y - 148*m - 89874 = -146*m. Is 86 a factor of y?
True
Let u = 45 - 29. Suppose 5*v - u = -4*r, 9 = v + v - r. Suppose -f + 480 = v*f. Is 18 a factor of f?
False
Suppose -d = -5*i - 1534 - 3926, -4*i + 21936 = 4*d. Is 20 a factor of d?
True
Let h(c) = c**3 - 7*c**2 + 4*c - 21. Let n be h(7). Is ((-3745)/25)/n*-15 a multiple of 32?
False
Let x be 0/(-6)*(-1 + 0) + 7. Suppose 0 = -x*y + 3*y + 44. Is 24 a factor of (-2 + (2 - 13))/(y/(-121))?
False
Let o = 92584 - 62032. Is o a multiple of 201?
True
Suppose -4*q + 2*t + 13074 = -0*t, -3*t - 13079 = -4*q. Suppose 11*j - q = 1464. Does 57 divide j?
False
Let g = -661 + 961. Suppose 5*l + 180 = 3*p + l, -5*p + 5*l = -g. Does 4 divide p?
True
Suppose 0 = 9*y - 29 - 7. Suppose y*k = -2*m + 418, m - 313 = -5*k + 2*k. Does 8 divide k?
True
Suppose 0 = -5*w + 3*w - 272. Let u be 2 + 5/(-15)*3 + -2. Let g = u - w. Is 27 a factor of g?
True
Suppose -2*r = -g + 3590, 3*g + 60*r - 62*r - 10758 = 0. Is 32 a factor of g?
True
Let a be 6/(-20)*-5*3176/12. Suppose -12*v - a = -1477. Is v a multiple of 10?
True
Suppose 0 = 12*d + 60. Let a(j) = -j**3 - 5*j**2 + 6. Let n be a(d). Suppose -5*m - 63 = -2*z, n*z - 3*m - 69 = 4*z. Does 14 divide z?
False
Let m(r) = 14*r**2 + 33*r - 46. Does 11 divide m(8)?
False
Suppose 82633 = 51*w - 4341 - 51593. Is w a multiple of 7?
False
Let s(r) = 7*r**2 - 69*r - 6. Let b be (-1)/(5/4*(-12)/210). Is s(b) a multiple of 4?
True
Let t(x) = 5*x**3 + 163*x**2 - 14*x - 62. Does 38 divide t(-32)?
True
Let t(n) = -n**2 + 16*n - 54. Let k be t(6). Let j(m) be the second derivative of m**5/20 - m**4/2 + 5*m**3/2 + m**2/2 - 10*m. Does 28 divide j(k)?
False
Does 108 divide 194565/15 - (19 + -8)?
True
Let w = 24 - -28. Let g(h) = -h**3 + 9*h**2 + 2*h - 12. Let z be g(9). Does 26 divide (8 + -5)/(z/w)?
True
Suppose -63 = u + 4*w, 0*w + 45 = -u + 5*w. Let r = -51 - u. Suppose 0 = d - r*n - n - 117, 0 = -5*d - 2*n + 531. Does 19 divide d?
False
Let m = -13580 - -19358. Does 4 divide m?
False
Let m(k) = k**3 - 7*k**2 + 8*k - 14. Let c be m(5). Let u = 26 + c. Suppose u*v + 23 - 239 = 0. Is v a multiple of 27?
True
Suppose -3*l = -v - 22, 5*l + 11 = -2*v + 44. Suppose 0 = l*h - h. Is (-1)/((-2)/(h + 118)) a multiple of 8?
False
Suppose 0 = -k + 7 - 5. Suppose 0 = -k*f + 6*f + 16. Does 5 divide (-76)/f + -4 - 4?
False
Is -2040*(136/36 + -5 - 2/(-9)) a multiple of 3?
True
Suppose -8927 - 19799 = -4*q + 3*m, 0 = 3*q + m - 21538. Does 22 divide q?
False
Let z(p) = 6*p**2 + 13*p + 7. Let b be z(-5). Suppose 2*n - b = 196. Is 9 a factor of n?
True
Suppose 20*f - 4 = -124. Let c(z) = z**3 + 6*z**2 - 3*z - 17. Let a be c(f). Is 23 a factor of a/(-4) + (-4825)/(-20)?
False
Suppose -5*x - 5*r + 780 = 0, 0*x + 156 = x - 3*r. Is x a multiple of 10?
False
Let v be 8/40 - 19/(-5). Let p be (15/12)/((-2 + v)/8). Let l = p + 61. Is 9 a factor of l?
False
Let m(o) = -o**3 + 15*o**2 + 51*o + 177. Does 25 divide m(-9)?
False
Suppose 5*g = h - 76139, 20*g = 4*h + 21*g - 304661. Is 22 a factor of h?
True
Let o(x) = -281 + 13*x - 2*x**2 + 39*x + 304. Let i be o(23). Suppose -3*k = -i - 274. Is 29 a factor of k?
True
Is 8 a factor of (384/10)/((-432)/(-61920))?
True
Let h = 2959 - 2347. Is 102 a factor of h?
True
Suppose 4 = -5*y - 11. Let w = -13 + y. Let m = 22 - w. Is m a multiple of 8?
False
Let f(y) = 2*y**2 + 12*y - 4. Let z be f(-6). Let m be (2/z)/((-3)/5472). Suppose -162 + m = 6*d. Is 25 a factor of d?
True
Let p = 17947 + -4638. Is 61 a factor of p?
False
Suppose 0 = -2*v, 2*v - 3 + 13 = 2*n. Let s = n + 1. Suppose s*y = 2*y + 44. Is y a multiple of 5?
False
Suppose 30*c - 10 = 25*c. Suppose -c*n + 737 = -165. Let v = n + -319. Is 14 a factor of v?
False
Let n be (9 - 11)/(1/(-34)*4). Let l = n - 9. Is 3*-1*-19 + l/(-8) a multiple of 7?
True
Suppose 8*k = -2*m + 12*k + 68, 0 = -5*m + 2*k + 130. Suppose -3994 - 1382 = -m*x. Is 32 a factor of x?
True
Let g = 3199 - -1349. Is 8 a factor of g?
False
Is 11 a factor of (-979)/((-28)/(-21)*-6 + 7)?
True
Let u(v) = -v**2 + 11*v - 14. Let i be (-3*(-410)/(-15))/(-2). Let g = -35 + i. Does 8 divide u(g)?
True
Let v be (-6)/(1 - 13)*-22. Let y(a) = -14*a - 49. Does 15 divide y(v)?
True
Let p be (68 + 2)/((-8)/(-20)). Let g = p + -34. Suppose -4*d + 547 + g = 0. Does 21 divide d?
False
Suppose -2*h + 5*s + 15 = 2*h, h - 5*s + 15 = 0. Let l be ((-24)/h)/(6/45). Does 19 divide (-644)/l + (-6)/(-27)?
False
Suppose 37960 = 15*o - 95. Is o a multiple of 9?
False
Let d = -220 - -223. Suppose 4*n + 3*i - 2753 = 0, n + d*i + 2*i = 701. Is n a multiple of 14?
True
Suppose 6*b - 3*b - 6 = 0. Suppose 3*k - 40 = -b*k. Suppose 0 = t - k - 5. Is t a multiple of 13?
True
Let g be 35/10*28/49. Let h = 7 - 4. Is 9 a factor of (5 - g)/h*27?
True
Suppose -4*x = 6*q - 39426 + 3900, q = -3*x + 5921. Does 9 divide q?
False
Let w = -554 - -783. Is w a multiple of 45?
False
Suppose -8*v + 22819 - 19 = 0. Is 34 a factor of v?
False
Suppose 87*c = 97*c - 50. Let y(d) = d**3 - 3*d**2 + 2*d + 20. Is y(c) a multiple of 2?
True
Suppose 0*h + 4*h + 2*o - 16 = 0, 2 = o. Suppose -180 = h*p - 8*p. Is 10 a factor of p?
False
Let i(g) = -g**3 + 40*g**2 - 246*g + 54. Is i(28) a multiple of 41?
False
Suppose 5*y = -5, 0 = -2*x - 3*y + 7*y + 1710. Let c = -482 + x. Does 21 divide c?
False
Suppose 5110 - 4