*d = -5*a + 29190, 5*a - 10505 - 18680 = -4*d. Does 110 divide a?
False
Suppose 3*r - 6*r = -2*v - 12, 0 = -5*v. Suppose -2*j = 2*j - 3*t - 33, -3*j - r*t + 6 = 0. Let n(h) = 2*h**2 - 6*h - 6. Is n(j) a multiple of 15?
True
Let z(c) = c**3 + 10*c**2 + 5. Let i be z(-10). Suppose -14 = -r + 4*j - 2*j, i*r - 5*j - 45 = 0. Suppose -r*v + 78 = -v. Is 6 a factor of v?
False
Let h be 296 + 3 + -5 + 3. Suppose 5*n - h = -72. Suppose 2*m + 15 = -4*j + 55, 2*m - n = -3*j. Is 10 a factor of m?
True
Suppose 8*f = 1566 + 930. Is 78 a factor of f?
True
Suppose 3*w - 3*j = 1 + 20, 4*j = w + 2. Is 7*w*3/6 a multiple of 7?
True
Suppose -w + 5 = -0*w. Does 26 divide (-546)/4*(-1 + w/(-15))?
True
Let p = 171 + 67. Does 7 divide p?
True
Let s(f) = -f**3 - 15*f**2 - 2*f + 12. Let k be s(-15). Suppose -5*l + k = -28. Is 9 a factor of l?
False
Suppose -5*q = -4*i + 3*i - 2098, -5*i + 850 = 2*q. Does 15 divide q?
True
Does 22 divide (56/80*4)/(1/55)?
True
Let x(m) be the first derivative of m**5/20 - m**4/12 - m**3/6 + 21*m**2 - m - 4. Let a(f) be the first derivative of x(f). Is 12 a factor of a(0)?
False
Suppose 78840 = 30*g - 3*g. Does 40 divide g?
True
Suppose 0*u + 7455 = 5*u - 3*r, 4*u + 2*r - 5986 = 0. Is 9 a factor of u?
True
Let t(f) = -3*f**3 - 2*f**2 - 4*f - 5. Let u(p) = -7*p**3 - 5*p**2 - 8*p - 11. Let o(c) = 9*t(c) - 4*u(c). Does 22 divide o(5)?
True
Suppose 237*a = 243*a - 576. Is a a multiple of 32?
True
Let m be 1 + -10 + (2 - 4). Let h(i) = -i - 9. Let f be h(m). Suppose f*n = 23 - 5. Does 9 divide n?
True
Suppose m - 65 = -13. Let a be 2/4*(3 + -3). Suppose 5*y = -5*u - a*y + 95, -4*y = 3*u - m. Is 12 a factor of u?
True
Is 4/((-48)/(-9)) + (-70411)/(-44) a multiple of 9?
False
Let j(a) = -a - a - a**2 + 3 - 5*a + a. Suppose 0 = 2*l + 3*b + 2, -2*b - 18 = 5*l - b. Is j(l) a multiple of 4?
False
Suppose -4*w = x - 175, -3*x + 162 = -w - 311. Is 53 a factor of x?
True
Suppose 3*x - 2*k - 237 = 0, 3*k + 210 + 186 = 5*x. Is x a multiple of 27?
True
Suppose -5*d + 692 = -0*m - m, -3*m = d - 132. Suppose -5*y - 38 + d = 0. Suppose 5*v - v = y. Is v a multiple of 3?
False
Suppose z = 4*u - z, -5*z = -4*u. Suppose r + 10 - 3 = u. Let w(v) = -10*v + 17. Does 12 divide w(r)?
False
Let d(g) = 2*g**3 - 12 + 90*g + 92*g - 180*g - 4*g**2. Is d(5) a multiple of 31?
False
Suppose -2464 - 485 = -3*y - i, -3934 = -4*y - 2*i. Is y a multiple of 74?
False
Let a be ((-49)/(-3) - 7)/(1/51). Suppose -8*d - a = -10*d. Does 17 divide d?
True
Suppose -2*j - 9 = -3*j. Suppose j*n - 11*n = -38. Is 19 a factor of n?
True
Suppose 3*p = -2*i - 7, -3 = -2*p + 4*p + i. Is 2 a factor of 8/(-12)*-15 + p?
False
Let u be (-292)/14 + 2 + (-1)/7. Let l = u - -183. Is l a multiple of 44?
False
Let x be ((-6)/(-4))/((-12)/16). Let k be (x/(-4))/(5/10). Let v(n) = 58*n - 2. Is 12 a factor of v(k)?
False
Is -7 - (-3585)/10 - 4/(-8) a multiple of 4?
True
Let j(g) = -g**3 - 14*g**2 - 71*g + 22. Is j(-11) a multiple of 11?
True
Let b be (6/(-4))/((-1)/(-2)). Let y(k) = -3 + 40*k**2 - 5*k**3 - 6 + 3 - 41*k**2 - 4*k. Is 34 a factor of y(b)?
False
Suppose -4*m - 20 = -3*i - i, 5*m + 9 = 3*i. Suppose -2*g + i*g + 36 = 0. Does 36 divide 5916/114 - g/57?
False
Let v(b) = b. Let l be v(4). Suppose -32 = -h + 5*m, l*h - 3 = -0*h - 5*m. Suppose -h - 20 = -3*x. Is 8 a factor of x?
False
Let x(w) = 2*w**2 + 3*w + 5. Suppose 5*b + 57 = -4*l, 2*b + 3*l = -2*b - 45. Is 14 a factor of x(b)?
True
Let x(t) = -t**3 + 4*t + 4. Let l be x(-2). Let o be (-402)/9 - 4/(-6). Let s = l - o. Does 12 divide s?
True
Suppose -4*t - 4*t - 48 = 0. Is t/3*4*-2 a multiple of 16?
True
Let u(l) be the second derivative of l**5/20 - l**4/4 - 2*l**3 - 94*l. Suppose 32 = 2*x - 5*v, -3*x = -3*v - v - 34. Is 19 a factor of u(x)?
False
Let p(l) = l**3 + 12*l**2 - 3*l - 3. Let q be p(-12). Does 13 divide 11/q + (-155)/(-3)?
True
Let q(m) = 5*m**2 + 14*m - 14. Is 14 a factor of q(-5)?
False
Let z be -1*(-4 - 0) + 2. Suppose -3*k = -z, 0*n - 2*n = 5*k - 58. Is n a multiple of 5?
False
Let d(p) = -11*p + 16 + 21*p + 5*p**2 - 10*p. Does 51 divide d(7)?
False
Suppose -2*u + 196 + 140 = 0. Does 17 divide u + (-1 + 3)*(4 + -3)?
True
Let y(i) = i**2 + 4*i - 13. Let a be y(-6). Let w = a - -7. Does 2 divide (-3)/((4 - 6)/w)?
False
Suppose 2*c + u = 468, -17 = 4*u - 1. Let w = 61 + c. Is w a multiple of 33?
True
Does 11 divide 555/25*-1*-5?
False
Suppose -5*m = -2*m - 33. Let w(f) be the third derivative of f**5/60 - f**4/6 - 7*f**3/3 - 2*f**2. Is w(m) a multiple of 15?
False
Let c be 270/10 + 2/2. Suppose 118 = 3*r + 5*h, -2*h - 50 = -2*r + 18. Let t = c + r. Is t a multiple of 22?
False
Suppose -2*c - 3 + 27 = -2*s, s - 20 = -3*c. Is 8 a factor of c?
True
Is 26 a factor of 27/(810/37644) + 6/5?
False
Let y = -43 - -35. Is (-169)/(-9) + y*1/(-36) a multiple of 9?
False
Suppose 0 = -49*k + 50*k + 5*f - 1837, -4*f + 3704 = 2*k. Is k a multiple of 57?
False
Let b = 15 + 2. Suppose -63 = 8*m - b*m. Does 3 divide m?
False
Is 85 a factor of 601 - (-1 + (-3 - -10))?
True
Let p = 127 - -153. Does 28 divide p?
True
Let k be (-2)/(-6) - (-219)/(-9). Let p = -16 - -5. Let b = p - k. Does 5 divide b?
False
Let x = -440 - -697. Does 33 divide x?
False
Suppose w + 3 = 2*w, 5*z + 5*w - 35 = 0. Let s be -78 - 3/((-4)/z). Let d = s - -126. Does 17 divide d?
True
Suppose 4*s - 2*c - 58 = 0, 4*s - 11 = s - 5*c. Is 6 a factor of s?
True
Suppose 0 = -0*u - 8*u + 2560. Does 16 divide u?
True
Suppose 2*t + 5*w = 193, 3*t - 258 - 20 = 4*w. Suppose 4*x - 3*u - 106 = 205, 4*u + t = x. Is x a multiple of 13?
False
Let l be 310/3*(30/(-4))/(-5). Let w = l - 147. Is 8 a factor of w?
True
Suppose 22*b = -2207 + 7047. Does 44 divide b?
True
Suppose r - 188 = -3*d, 0 = 3*r - 2*r + 4*d - 184. Does 50 divide r?
True
Does 22 divide (20/(-2))/(-4*2/88)?
True
Let x(a) be the first derivative of -13*a**2/2 - 24*a - 31. Is 19 a factor of x(-8)?
False
Suppose -2*t + 3 = -3. Let z be (t/(-9))/((-2)/18). Suppose -z*y = -29 + 5. Is y a multiple of 8?
True
Let t(b) = -b**2 + 14*b + 72. Is t(17) even?
False
Suppose 0 = 5*v - 5 - 45. Suppose 136 = -v*c + 14*c. Does 8 divide c?
False
Suppose -5*b + 5*q = -0*q + 10, 3*b - q = -10. Let o = b + 0. Is 13 a factor of 29 - o*(-1)/4?
False
Suppose -5*r - 2*i = -5208, 0 = -r - 2*i + 1400 - 352. Is 8 a factor of r?
True
Let l(a) = -80*a**3 - 1. Is l(-2) a multiple of 9?
True
Let g be 4/(-32) + (-130)/(-16). Suppose 0*z - g*z + 944 = 0. Is z a multiple of 35?
False
Let p(b) = -23*b - 2. Let t be p(-6). Let x = t + -71. Is 11 a factor of x?
False
Suppose 12210 = 66*l - 61*l. Is 33 a factor of l?
True
Suppose -31 = 2*l - 391. Suppose 0*n = 5*n - l. Is n a multiple of 18?
True
Let r = 102 + -52. Suppose 2*h - 210 + r = 0. Is 13 a factor of h?
False
Let u(y) be the first derivative of 5*y**3/6 - y**2 + 5*y - 5. Let d(p) be the first derivative of u(p). Is d(8) a multiple of 19?
True
Let r(m) be the first derivative of -m**3/3 - 5*m**2 - 5*m - 6. Let q be r(-7). Suppose -i + q = i. Is 7 a factor of i?
False
Let v(o) = -o**3 - 5*o**2 - 2. Let j be v(-5). Let y be j/3 + 190/15. Is (-2)/y - 171/(-54) a multiple of 3?
True
Let c be (8/3)/((-4)/(-6)). Suppose 3*l - 19 = 2*a - 3*a, a = -c*l + 24. Suppose -a*p + 36 = -2*p. Is 6 a factor of p?
True
Suppose 0*a = -4*j + 2*a - 40, -j - 15 = 2*a. Let s = -5 - j. Does 7 divide 2/(s/69) + 0?
False
Suppose -v + 4 - 7 = 0. Let s(d) = 3*d**2 + 2*d - 4. Is 5 a factor of s(v)?
False
Suppose -4*h + 343 + 1581 = 0. Let m = h + -316. Is 15 a factor of m?
True
Suppose -6580 = -16*d + 6*d. Is 14 a factor of d?
True
Let h be 1/(1 + 2/(-3)). Suppose 0 = -8*g + 9*g + h. Does 14 divide (g/(-4))/((-3)/(-240))?
False
Let b(l) be the second derivative of -19*l**4/12 + l**2 + 2*l. Let r be b(2). Let j = r - -106. Does 16 divide j?
True
Let j = 1671 - 1476. Is j a multiple of 6?
False
Suppose -o + 4*h = 4, -5*h + 2*h - 20 = 5*o. Let y(v) = -5*v**3 + 3*v**2 + 3*v + 2. Let l be y(-2). Let s = o + l. Does 29 divide s?
False
Let z = 22 + -11. Let f(d) = -113*d**2 + 3 + 102*d**2 + d**3 + 6. Does 8 divide f(z)?
False
Let a(h) = -10*h - 5. Let z = 31 + -42. Does 15 divide a(z)?
True
Let c(g) = -2*g - 51. Let d(i) = -5*i - 103. Let l(f) = 5*c(f) - 3*d(f). Is 31 a factor of l(14)?
True
Suppose 5*o - 6*o = 7. Let v(h) = h**2 + 6*h - 7. Let