4*i - 618 = -r - 608. Does 9 divide w/28 + 1/r + -1?
False
Suppose 2540 - 6908 = -4*x. Let b = x - 745. Does 25 divide b?
False
Let t(f) = f**3 + 27*f**2 + 27*f + 31. Let h be t(-26). Is 21 a factor of ((-84)/h)/(1/(-5))?
True
Let v(w) = w**3 - 2*w**2 + 8*w + 1112. Does 8 divide v(0)?
True
Let f(y) = -6*y + 7*y - 3 - 27*y + 1. Does 6 divide f(-12)?
False
Let f(i) = 2*i**2 + 10*i - 23. Let u(m) = -2*m**2 + 27*m - 6. Let z be u(13). Is f(z) a multiple of 13?
False
Is (-47 - -111711)*8/28 a multiple of 24?
False
Suppose 12*r - 500 - 112 = 0. Suppose -r*j = -55*j + 2316. Is 7 a factor of j?
False
Suppose 0*l + l = 4*d + 355, -355 = -l + 3*d. Suppose 250 + l = 11*m. Is m a multiple of 6?
False
Let h(x) be the third derivative of 11*x**4/24 - 3*x**3 + x**2. Suppose 4*m = -3*w + 25, w = -3*m + 3*w + 40. Is 7 a factor of h(m)?
False
Let h be (0 + 0)/((-3 - -1) + 3). Is (h - -1)*-11*-16 a multiple of 44?
True
Let o(g) be the first derivative of g**2/2 + 166*g - 132. Does 72 divide o(-44)?
False
Suppose -2*p - 7*u + 2*u = -35088, 2*p - 35104 = -u. Does 22 divide p?
False
Suppose 5*j - 47 = -d, j - d - 7 = -2*d. Suppose -5*v - 840 = -j*v. Suppose 3*x + 3*x - v = 0. Does 20 divide x?
False
Suppose 6*a + 80 = 2*a. Let k be (-156)/((a/35)/2). Let j = k - 362. Is j a multiple of 46?
True
Suppose 64 + 8 = 9*x. Suppose -897 = -x*s + 1007. Is s a multiple of 34?
True
Let p(u) = 35*u**2 + 4*u + 6. Let m(t) = -36*t**2 - 3*t - 6. Let r(a) = -3*m(a) - 2*p(a). Does 27 divide r(3)?
True
Let g(p) = -4*p**2 + 5*p - 2. Let k be g(2). Let n be 60/k*28/2. Let i = 185 + n. Does 10 divide i?
True
Let g(q) = 3*q + 19. Let m(a) = -a + 2. Let n(d) = -g(d) + 2*m(d). Does 7 divide n(-10)?
True
Let v(d) = 135*d - 987. Is v(17) a multiple of 2?
True
Is (-22)/(-385) - (-81190)/175 a multiple of 28?
False
Suppose 14*d + 18*d + 16*d = 59904. Does 12 divide d?
True
Let h = -276 - -280. Does 10 divide ((-2)/(5 - h))/1*-25?
True
Let h(t) = -52*t - 67. Suppose -3*m + 2*n = 3, 2*m - 6 + 0 = 4*n. Does 14 divide h(m)?
False
Is 29 a factor of 1047*1 + (25 - 23) + -5?
True
Let z be (1 + 0 + -15)*(-1490)/20. Suppose 3*x - 3*t + z = -t, 20 = 5*t. Is (0 - 1)/(5/x) a multiple of 7?
False
Suppose -45*l + 33358 = 7123. Is l a multiple of 17?
False
Is 139 a factor of 3599 + (13 - (-28)/14)?
True
Let j be 2*(6/(-9))/(6/(-9)). Suppose 3*o - 3*z - 2362 = -j*z, -3136 = -4*o - 2*z. Is 27 a factor of o?
False
Let v(h) = 22*h + 22. Let d be v(-1). Suppose -3*o - 8*o + 5467 = d. Is o a multiple of 7?
True
Suppose 2*w - 36 = -4*w. Let q be (w - (-2)/2)*(-14 + 15). Suppose p + q = 53. Does 33 divide p?
False
Suppose -3*o + 17 = 2. Let s(x) = -3*x**2 + x - 10. Let g(d) = 4*d**2 + 11. Let v(z) = -2*g(z) - 3*s(z). Is 18 a factor of v(o)?
True
Let g(i) = 24 + 2*i + i**2 + 0*i**2 - 3*i. Let s be (-4 + (14 - 9))*0. Does 9 divide g(s)?
False
Suppose -2*n - 10*j = -n - 3065, 0 = 5*n - 2*j - 15065. Is n a multiple of 67?
True
Let z = 165 + 661. Does 60 divide z?
False
Suppose 5*t = 3*w + 50, -50 = -5*t - 2*w - 0*w. Is 4 a factor of (-35)/(-7) - (t/2 - 4)?
True
Is 60 a factor of (-2 - (-482 - 0))*(-85)/(-10)?
True
Let o = 630 - 316. Let b = 1235 - o. Suppose -87 - b = -6*j. Is j a multiple of 21?
True
Let n be 1152/108*(7/4 - 1). Suppose 0 = -n*t + 3183 + 1625. Is 7 a factor of t?
False
Let b(s) = -s**3 + 9*s**2 + 13*s - 3. Let z be b(10). Suppose -5*a - d = 0, -4*d = -2*a + d - z. Is 3 a factor of a/(-3)*38*3?
False
Suppose -4*w + 2*n + 3612 = 0, 187*n - 190*n - 2718 = -3*w. Is 15 a factor of w?
True
Let w(c) = 12*c + 18. Let k be w(-4). Does 4 divide (200/150)/((-1)/k)?
True
Suppose 176*b - 201026 - 287425 = 200765. Does 133 divide b?
False
Let o(c) = 1249*c + 44. Does 55 divide o(5)?
False
Suppose -33*q - 247 = -93*q + 113. Let f = 1 + -1. Suppose -q*w + 365 + 13 = f. Does 26 divide w?
False
Suppose -h + 57 = 7. Suppose 15*k = 13*k + h. Suppose -5*z - k = -145. Is 4 a factor of z?
True
Let l(q) = -q**3 - 4*q**2 + 5*q - 10. Let c be l(-5). Let m be 48/c - (-1)/(-5). Let b = m + 28. Is 6 a factor of b?
False
Let m be -1 + 10/5 + -2. Let h be (m - 4) + (-1 - (-4 + 1)). Is 10 a factor of 60*(1/h - 10/(-12))?
True
Let x(m) = 11*m**2 + 61*m + 493. Is 3 a factor of x(-16)?
False
Suppose 0 = -2*t + 2*q + 13594, -51*q + 50*q = 4*t - 27203. Does 85 divide t?
True
Suppose -3*g + 2502 = -3*x, -2*g - 4*x + 4152 = 3*g. Suppose 5*b - g = -2*t, -3*t = -2*t - 2*b - 398. Is 14 a factor of t?
True
Suppose 12 = -o + 57. Suppose m - 10*m + o = 0. Suppose -238 = -2*g - 3*f, -m*g + 882 = f + 287. Is g a multiple of 10?
False
Let g(p) = p**2 + 12*p + 3. Let n be g(0). Suppose 3*y - 2052 = -3*s - 462, 5*y = -n*s + 2650. Is 16 a factor of y?
False
Let p(f) = 3*f**3 - 11*f**2 + 31*f - 34. Does 101 divide p(14)?
False
Let v(n) = 22*n**2 + 3*n - 1. Suppose -y - 2*l = 5, y + 0*y = 3*l - 15. Let d = y + 7. Is v(d) a multiple of 27?
True
Suppose -5*b - o + 0*o = -10284, 2*b - 5*o - 4092 = 0. Let l = b - 1120. Is l a multiple of 12?
True
Let m(q) = q**3 - 56*q**2 + 156*q - 40. Is 8 a factor of m(54)?
True
Suppose 0 = -3*x + 15, 0*z + 4*z + 175 = 3*x. Suppose 21*h + 924 = -7*h. Does 3 divide z/(-22) - 6/h - -4?
True
Let i(k) = 11 - 31*k - 30 + 19. Let m be i(-11). Suppose -m - 311 = -4*g. Is g a multiple of 14?
False
Let o be 28/5 - (-3)/(-5). Is 41 a factor of o*((-33)/(-2))/((-150)/(-80))?
False
Let u(x) = -34 + 24*x - x - 25*x + 11*x**2. Does 57 divide u(-8)?
False
Let v be -8 - (-96)/(-112)*-7. Let b(s) = -6*s - 4*s**3 - 3*s**3 - 15 + s + 3*s**2. Is 7 a factor of b(v)?
True
Suppose 3*b + x = 183 - 174, -3*x = -3*b + 21. Suppose -q + 0*q = -b*w - 233, 15 = 5*w. Is q a multiple of 47?
False
Does 67 divide (-36)/(-126) - ((-89232)/14 - -4)?
False
Suppose -5*c - d - 1681 = 2*d, -4*d = -12. Let m = -208 - c. Is 26 a factor of m?
True
Suppose -289*z + 281520 = -197*z. Is 9 a factor of z?
True
Suppose -14610 = -d - 1849*b + 1848*b, -d - 3*b = -14598. Is d a multiple of 63?
True
Let j be (0 - 1)*-9 - -5. Suppose -2*x + j = -4*n - 2, 3*n = -5*x - 25. Let w(s) = 4*s**2 + 5*s - 15. Is 26 a factor of w(n)?
False
Suppose 4*p = -3*f - 945, 0*p - 3*f = 3*p + 708. Let w = p + 523. Suppose -5*c + w = -89. Does 5 divide c?
True
Let o(c) = -2*c**2 - 5*c + 89. Let v be o(-8). Is v + (-565)/(-5) + 6 a multiple of 40?
True
Is -1 - (-22)/26 - (-203848)/52 a multiple of 40?
True
Let v(n) be the third derivative of 43*n**5/60 + 3*n**4/8 + n**3 + 102*n**2 + n. Does 4 divide v(-1)?
True
Let w(g) = g**3 + 5*g**2 + 5*g + 9. Let h be w(-4). Suppose -h*q - q = -660. Is 22 a factor of q?
True
Let y(c) = -2*c + 21. Let z be y(0). Suppose -5*p - z = -0*k + 4*k, 0 = 4*p - 4*k + 24. Is (3 + p + 1)*-23 a multiple of 3?
False
Let z = 13558 - 7034. Suppose -7462 - z = -42*f. Does 37 divide f?
True
Suppose 64757 = 29*n - 119422. Suppose 31*w - n = 11505. Does 36 divide w?
True
Suppose 0 = -798*k + 793*k + 25. Suppose k*p - 86 = 574. Is p a multiple of 12?
True
Suppose 0 = -3*c - 0*c + 78. Let w = c - 28. Does 22 divide 2/(-4) + (-299)/w?
False
Suppose 0 = -6*g + 7*g - 2*i + 98, 4*g + 404 = -4*i. Let o = g + 397. Is 11 a factor of o?
True
Let d(r) be the first derivative of 131*r**3/3 + 5*r**2/2 - 6*r - 12. Is d(2) a multiple of 16?
True
Let l(g) = g**2 - 17*g - 10. Let z(f) = f + 1. Let b(j) = l(j) + z(j). Let h be b(16). Is 15 a factor of -3 - -75 - (2 + h + 3)?
False
Let k(h) = 31*h + 2*h + 5 - 2*h + 2*h**2 + 10 + 27. Is 27 a factor of k(13)?
True
Is 2595*(178/(-10) + 18) a multiple of 2?
False
Is 27 a factor of (-3 + 1045/(-25))/(-7 + 2829/405)?
True
Suppose 56*r + 162 = 59*r. Suppose 57*b - 336 = r*b. Is 53 a factor of b?
False
Suppose -7*d = 6*d - 208. Suppose 200 = 2*h + 2*h + 5*p, 0 = -4*p + d. Is h a multiple of 9?
True
Suppose 14*i + 22*i = 5*i. Suppose i = -2*p + g + 446, 0*p + 920 = 4*p + 5*g. Is 12 a factor of p?
False
Let a = -151 - -153. Suppose -4*i - a*k + 29 = -535, 8 = 2*k. Is i a multiple of 4?
False
Let k be 312/(-5)*3/(-9)*10. Suppose k = 2*d + 4*g, 5*d + g + 29 - 585 = 0. Suppose 328 = 4*b - d. Is b a multiple of 10?
True
Is 7 a factor of (0 - 1)*467436/(-180) - 2/(-15)?
True
Let m = -8330 - -16487. Does 69 divide m?
False
Suppose -6*f - 7*v = -3*f - 1, 0 = 3*f + 2*v - 11. Suppose -f*s - 18*s + 50370 = 0. Is 15 a factor of s?
True
Let r(x) = -99*x - 794. Is 