ose 35441 = u*o + 9466. Is o a multiple of 20?
False
Is -4 + ((-1746018)/(-57) - (312/(-76) - -4)) a multiple of 38?
True
Let w(u) be the first derivative of u**3/3 + 5*u**2 + 18*u + 22. Let o be w(-8). Suppose -193 + 21 = -4*d - s, 0 = -o*d + 2*s + 76. Does 14 divide d?
True
Suppose 0 = 5*d + 2*p - 5 + 4, p + 3 = d. Let t(m) = 110*m + 1. Let u be t(d). Suppose 0*i = -2*r + i + 222, 5*i + u = r. Is r a multiple of 18?
False
Suppose -4*p = 10*p - 1414. Let u be 0 - ((-1)/(-1) + -6). Suppose -u*j - a + 2*a + p = 0, j = -3*a + 17. Is 6 a factor of j?
False
Suppose 287*v + 53406 = 330*v. Is 23 a factor of v?
True
Is 164 a factor of 8/(-8 + 16) - -11 - -46236?
True
Suppose 0 = -8*l + 25*l + 34. Does 4 divide l - -31 - (1 - 5)?
False
Suppose -25*n + 2 = -27*n, -n = -4*m + 2985. Let f = m - 501. Is f a multiple of 49?
True
Let h(s) = -2858*s - 2434. Does 8 divide h(-1)?
True
Let k = 29 + -231. Let s = k + 331. Suppose -3*o - f + s - 20 = 0, 2*f = -3*o + 113. Is 6 a factor of o?
False
Let b(o) = -o**2 - 10*o - 6. Let a(k) = -k**2. Let j(f) = 2*a(f) - b(f). Let s be j(9). Is 14 a factor of ((-425)/s - -5)*(-12)/2?
True
Let f = 63 - 75. Is 14 a factor of (56/f)/(11/(-2607))?
True
Let a = 340 - 349. Is 5 a factor of (142/a)/((-21)/189)?
False
Suppose -o - 286 = -367. Suppose -3*y + o = 5*l, l + 4*y - 17 = 3*y. Suppose l*v - 25*v = -1470. Is 21 a factor of v?
True
Let b = 22012 - 8314. Is 18 a factor of b?
True
Let c be ((-3895)/(-19))/(((-2)/4)/(-1)). Is c + 3 - 48/6 a multiple of 63?
False
Suppose 0 = 12*s - 1 - 11. Does 23 divide s + -1 + 4 + (330 - 93)?
False
Suppose 4956*o + 19890 = 4986*o. Is 3 a factor of o?
True
Suppose 16*a + 24210 = -8190. Is 45 a factor of (a/(-18))/((-3)/(-6))?
True
Suppose 12*a = 32 + 1192. Suppose 270 - a = z. Is 5 a factor of z?
False
Let x(w) = -20*w - 10. Let z = 30 - 37. Let f be x(z). Suppose -3*m = f - 481. Is 31 a factor of m?
False
Suppose -5*z - 4*l = l - 15, -2*z - 5*l + 3 = 0. Let s = z + 13. Is (s/3 + -1)*3 even?
True
Is 16 a factor of 620970/98 + (-33)/77?
True
Let m be (-8)/(-3)*3 + -7. Is 32 a factor of m/((-6)/(-2)) + (-44137)/(-69)?
True
Suppose 55587 = 4*r + k, 255*k = -5*r + 259*k + 69468. Is r a multiple of 18?
True
Let s(v) = -28*v + 142. Let x be s(5). Suppose 3*a = x*u + 1733, -7*a + 5*a = -4*u - 1166. Is a a multiple of 23?
True
Is (((-150)/(-20))/1)/((-12)/(-10000)) a multiple of 5?
True
Let j(h) = 9*h + 19. Let f(d) = -7*d + 20. Let t be f(-5). Let i = -46 + t. Does 17 divide j(i)?
False
Suppose -i - 40 = -4*t, 5*i + 8*t - 4*t = -128. Is ((-16)/6)/(i/5838) a multiple of 49?
False
Suppose -6*v + 20 = -190. Suppose u = 5*h - 22, 0*u + 4*u + 2*h = -66. Let o = v + u. Is 13 a factor of o?
False
Let w = 2153 - 1197. Is 32 a factor of (-12)/(-15) + 3/(15/w)?
True
Let y(c) = c - 27. Let f be y(14). Is 1/(3/9) - f a multiple of 4?
True
Is 704344/28 + (-216)/(-252) a multiple of 31?
False
Suppose 2*o - 44704 = 4*a, 0 = 22*a - 4*a + 72. Is o a multiple of 7?
True
Let y = 145 - 92. Let j = -116 + y. Let d = j - -91. Is d a multiple of 28?
True
Let u = 121715 - 82575. Is u a multiple of 103?
True
Let m(t) = t**2 + 11*t + 9. Let p be m(-11). Suppose p*c = 7*c + 30. Suppose 2*y = -4*q + c + 417, 4*y - q - 855 = 0. Does 27 divide y?
False
Suppose 0 = -25*d + 19*d + 42. Let a be d + -4 + (3 - 2). Suppose -3*w - 59 = -a*w - n, w + 2*n - 57 = 0. Does 7 divide w?
False
Let i(l) = 256*l + 91. Is 182 a factor of i(1)?
False
Suppose -12*g + 17*g - z - 7552 = 0, -3*z = -9. Does 11 divide g?
False
Let i = -21 - 22. Let s = i - 5. Let n = 82 + s. Does 6 divide n?
False
Let g(j) = j**2 - 7. Suppose -33 = k - 36. Let h be g(k). Suppose h*n + 2*n - 672 = 0. Does 27 divide n?
False
Suppose 9*z - 462 = 11*z. Let h = z - -441. Is h a multiple of 10?
True
Let g(w) = 6*w**2 + 77*w - 7571. Does 100 divide g(50)?
False
Suppose -v - 4*h = -14, -2*h + h + 17 = -2*v. Let x(a) = -13*a**2 - 16*a - 28. Let j(b) = 12*b**2 + 14*b + 27. Let m(w) = 5*j(w) + 4*x(w). Does 24 divide m(v)?
False
Let i = -4817 + 7146. Does 8 divide i?
False
Let h(c) = 964*c**2 - 10*c + 3. Let g be h(4). Is 6/(-4) + g/138 a multiple of 12?
False
Is 24 a factor of (-360)/(-4 + (-51)/(-12) - 196/112)?
True
Let k = 479 + -5741. Does 24 divide ((-16)/12)/1*k/4?
False
Suppose -203 = -78*u + 53 + 56. Suppose c - 6*c + 20 = 0. Suppose c*j = -12, 0*j = -3*g + u*j + 117. Does 8 divide g?
False
Let n(w) = w**3 + 17*w**2 + w + 3. Let u be n(-7). Let s = -212 + u. Does 10 divide s?
False
Let t(n) = -64*n - 7. Let z be t(1). Let h = z - -72. Is 7 a factor of h/(-5 - -4)*-77?
True
Let k(x) = x - 10. Let n be k(13). Suppose 3*j - 183 = -3*g, -n*g + 6*j + 175 = j. Is g a multiple of 4?
True
Let k be 72/(-16)*(16/6)/4. Let w be (204/k)/(-2) + 24/6. Let x = 131 - w. Does 14 divide x?
False
Let z = -104 + 58. Let x = 52 + z. Suppose 13*b - x*b - 630 = 0. Is 15 a factor of b?
True
Let u(o) = 98*o**2 + 162*o - 1606. Is 82 a factor of u(9)?
True
Suppose 4*p + 2565 = -15*p. Let m = 198 + p. Is m a multiple of 9?
True
Suppose -580*o - 869568 = -612*o. Does 91 divide o?
False
Let z = 128 - 124. Suppose -21*h - z*h + 10875 = 0. Does 28 divide h?
False
Suppose 5*n - 992 = 2*g - 0*g, 3*n - 597 = 3*g. Let i = 68 + n. Does 32 divide i?
False
Let f(z) = 24*z**2 + 75*z - 12. Let q be f(-5). Let v = q + -80. Is 27 a factor of v?
False
Suppose -110 = -110*p + 120*p. Suppose 5*h = 4*w - 0*h + 53, -5*h - 49 = 2*w. Let t = p - w. Does 2 divide t?
True
Let c(g) = -5*g - 52. Let n be (1*-16)/(-15 + 16). Let m be c(n). Suppose -m*a + 23*a = -270. Is 14 a factor of a?
False
Suppose -7*w = -12*w + 18*w - 183547. Is w a multiple of 26?
False
Suppose 453*c = 455*c - 4116. Does 7 divide c?
True
Does 45 divide (81/(-12)*10)/(186/(-77624))?
True
Suppose 4*u + 2*y = 5*y + 75, 4*u + 5*y - 35 = 0. Let j be 2 - 100/(-12) - 3/9. Does 4 divide ((-72)/u)/((-2)/j)?
True
Suppose 30180 = 5*q + 10*p, -3*q + 2*p + 6353 = -11803. Is 112 a factor of q?
True
Let g(j) = 3*j**2 - 4*j - 27. Let q = -6 - -12. Let m be (-5)/(q/(-4)*6/18). Is g(m) a multiple of 62?
False
Suppose -v = 0, 2*v = -5*d - 0*v - 10. Let o be 1*(3 + -2) + 12/d. Does 17 divide (-2)/o + (-2376)/(-10)?
True
Is 16 a factor of ((-1)/(-3))/(226/10433064)?
False
Suppose 27*g = 26*g + 847. Let z = g - 1921. Does 11 divide (z/4)/(-3) + 21/(-14)?
True
Let f(i) = -3*i + 125. Suppose 3*r - 675 = 30*r. Does 5 divide f(r)?
True
Let m(i) = -3*i + 28. Let a(v) = -v + 23. Let l be a(13). Let b be m(l). Is b/3*(-5 - 67) a multiple of 12?
True
Let p = -348 - -351. Suppose p*g - 3*f = -2*g + 2309, 0 = -g - 4*f + 471. Does 11 divide g?
False
Suppose 4*v = 2*v + 4*s + 10, 3*s = -4*v + 9. Suppose 0 = -2*h - 0*h + v*z + 97, -3*h + 171 = 4*z. Suppose 2*r - h = 5. Is 4 a factor of r?
False
Let y = -14 - -17. Let b be 2/(-12) + y/(4 - -14). Suppose 2*o - 90 - 130 = b. Is o a multiple of 10?
True
Suppose -3*t = 4 + 5, 5*g + 3*t + 29 = 0. Let v(m) = -19*m - 1. Let s(d) = -208*d - 12. Let a(b) = 3*s(b) - 32*v(b). Is a(g) a multiple of 12?
True
Suppose -i - 4 = 0, -2*v - 4*i + 10 = 36. Is 24 a factor of -1*(1498/v - (-6)/10)?
False
Let h = 133 + -133. Suppose -5*f - 3*t = -221, h = 8*t - 4*t - 8. Does 12 divide f?
False
Suppose 56 = 3*v - 1. Suppose -v*m + 2616 = -11*m. Does 55 divide m?
False
Suppose -8*o + 5*o = -9. Suppose -3*l = 2*d + 13, 4*d - o*l + l = -18. Does 4 divide (-10)/(-3)*(-6)/d?
True
Let t(a) = 19*a + 2192. Let f be t(0). Suppose -4*k + 3*o = 6*o - f, -4*k = -4*o - 2164. Is k a multiple of 9?
False
Suppose 0 = -6*g - 32*g + 114. Suppose 4*n = -5*w + 1095, 6*n + 3*w - 822 = g*n. Does 5 divide n?
True
Let j(s) = s**3 - 43*s**2 - 19*s + 89. Does 9 divide j(47)?
False
Suppose -x + 7 = -1. Suppose -x*r - 2172 = -20*r. Is r a multiple of 23?
False
Let c(n) = -n + 4. Let r be c(-8). Let h be r/(-15)*(-25)/10. Suppose 3*o - 183 = h*o. Is o a multiple of 27?
False
Does 3 divide (-525)/(-45)*(-4 - (-14)/2)?
False
Let x = -8202 + 15520. Does 3 divide x?
False
Is 25 + -25 + 56/(-16)*(-9582)/3 a multiple of 41?
False
Let k be (-126)/105*15/(-2). Suppose -4*c - 4 = 0, -523 = -k*d + 4*d - 2*c. Does 6 divide d?
False
Let k(c) = c**2 + 55*c + 65. Let q be k(-42). Let h = q - -1056. Is h a multiple of 25?
True
Suppose -7 = -m - y, 0 = -4*m - 2*y - 0*y + 18. Suppose -4*p = 4*a - a - 8