s 9*u/6 - -15 a multiple of 18?
True
Let p be 1 + -12 - (22 + -19). Let x = p + 36. Is x a multiple of 22?
True
Let q(s) = -s**3 + s**2 - 2*s - 1. Let n be q(-2). Let i be (0 + 3)/((-3)/n). Is (i/(-10))/(3/62) a multiple of 16?
False
Suppose -41*z + 13416 = -15*z. Does 43 divide z?
True
Let n(v) = 77*v + 4. Let t be n(4). Suppose 5*w = -u - 0*u - t, 6 = -3*u. Let s = w - -108. Is s a multiple of 23?
True
Is 24 a factor of 16 + (-2002)/126 - (-9449)/9?
False
Let i(w) = -41*w + 103. Is i(-5) a multiple of 32?
False
Suppose 2*v + 5*d = 1898, 2*v - d - 4772 = -3*v. Is 18 a factor of v?
True
Let n = 86 - -256. Is 9 a factor of n?
True
Let m = -6 + 8. Suppose -59 = -m*j - 3*s, -j + 2*s = -3*s - 49. Is j a multiple of 22?
False
Suppose -3*r - 3*d - 17 + 5 = 0, -4*d - 16 = -4*r. Suppose 0 = y - 5*u - 147, -5*y + r*y + 711 = -u. Is y a multiple of 13?
False
Does 16 divide (-96)/(-1)*(-12)/(-18)?
True
Suppose 2*x + 0*r + r = -10145, 25 = -5*r. Let p be x/(-42) - 2/(-7). Let i = p + -42. Is i a multiple of 13?
False
Suppose 32 = -2*j + 4*o, 3*o - 25 = j - 4. Let r = j + 10. Suppose 3*s + r*c = 84 + 21, 5*s + 2*c = 189. Is s a multiple of 13?
True
Let m(c) = 3*c**2 + 56*c - 59. Does 8 divide m(-25)?
True
Let a be -6*(3 + (-20)/6). Let f(v) = -6 + 0 - a + 9 + 7*v**2 - 2*v. Is 26 a factor of f(3)?
False
Suppose 2*c + 5*u - 317 = 0, -3*u = 3*c + 12 - 510. Suppose -o + 101 = -4*t, 3*t = -4*o + c + 138. Is o a multiple of 15?
False
Let j be 108 + 1 - 1 - 0. Let x = -56 + 55. Does 18 divide (1/x)/((-2)/j)?
True
Suppose 10 = 4*k + 6. Let q be (0/(-3 + k))/(-2). Is 13 a factor of q/1 + 1 - -77?
True
Does 6 divide 4110/(-45)*(3/(-6) + -4)?
False
Suppose -6*a + 52 = -2*a. Suppose a*b + 64 = 9*b. Let h = -6 - b. Does 5 divide h?
True
Suppose 905 = 12*v - 763. Is v a multiple of 17?
False
Suppose -902 = 8*m - 9*m + k, 5*m - 4520 = -5*k. Is m a multiple of 79?
False
Let l(m) = 24 - 4*m + 4*m - m. Let h be l(10). Does 8 divide (1*h)/((-22)/(-55))?
False
Let m(c) = -2*c + 28. Let h be m(9). Let t(g) = -g**2 + 15*g - 10. Is 5 a factor of t(h)?
True
Suppose 6*b - 508 = 20. Is 12 a factor of b?
False
Suppose -c - 113 = 2*y, -4*y - 98 = -2*y - 2*c. Is 20 a factor of (6 - y) + (2 - (3 + -1))?
True
Let u(q) = 141*q - 264. Does 17 divide u(12)?
True
Let a(b) = -7*b**2 - 5*b + 99. Let y(r) = 10*r**2 + 8*r - 148. Let s(f) = 7*a(f) + 5*y(f). Is 3 a factor of s(-10)?
True
Suppose b + 687 = 3*f, 7*b = 2*f + 2*b - 445. Is f a multiple of 20?
False
Is ((-50)/6 + 5)*-27 a multiple of 5?
True
Suppose -33*z - 20328 = -66*z. Does 22 divide z?
True
Let j = 1 + 2. Suppose -4*w + 7 = j. Does 10 divide ((2 - w)*-37)/(-1)?
False
Let z = -1704 - -2132. Is 58 a factor of z?
False
Suppose 1181 - 149 = 2*k. Is k a multiple of 12?
True
Suppose 8*n - 30 = 10. Does 8 divide (-1805)/(-25) - ((-4)/n - -1)?
True
Let b = 553 + -361. Let d = b - -167. Is d a multiple of 45?
False
Suppose -1187 - 899 = -7*h. Is h a multiple of 58?
False
Let l(s) = 11*s**3 + 13*s**2 + 15*s + 11. Let j(v) = 6*v**3 + 6*v**2 + 7*v + 5. Let w(h) = -13*j(h) + 6*l(h). Let r be w(1). Let q = 9 - r. Does 10 divide q?
False
Suppose 0 = -2*a - 10, 5*a + 647 + 1343 = 5*g. Does 5 divide g?
False
Suppose -3*y = 9, -401 = 3*d + d + 3*y. Suppose -2*j + 4 = -o, 0*j + 5*o = -3*j - 7. Does 11 divide d/(-3) + j/3?
True
Let y be (-8 - -89)/(-1*3/(-2)). Suppose 12 = -p + y. Is 20 a factor of p?
False
Let p(j) = 3*j**3 + 72*j**2 + 18*j + 17. Does 17 divide p(-23)?
True
Let h(l) = -l. Let k(c) = -c**2 + 9*c + 9. Let z(t) = -5*h(t) - k(t). Let x be z(6). Suppose -3*u + 114 = 3*m, -4*m - m + x*u = -150. Is m a multiple of 11?
True
Let i be -1 + (-7)/(21/(-6)). Let m be (1 + i - 0)*1. Suppose -2*k - 78 = -3*k - 3*o, 0 = m*k - 3*o - 111. Is k a multiple of 21?
True
Let y = -5 - -13. Let p = y - 7. Is p - ((-528)/4)/3 a multiple of 9?
True
Let f(h) = 4*h**2. Let w be f(1). Suppose 4*k - 3*i + w = 16, 4*i + 16 = -3*k. Suppose 0 = 2*p - k*p - 20. Is p a multiple of 5?
True
Let f(o) = -26*o**2 + o - 9. Let l be f(-4). Is (-3 - 8/(-3))*l a multiple of 35?
False
Suppose -2*p + 2 = 2*d - 86, 78 = 2*d + 4*p. Suppose -8 = 3*y - 3*b + d, -4*b - 14 = 2*y. Does 5 divide (0 - 2)/(3/y)?
True
Let n(r) = r**3 + 8*r**2 + 10*r - 14. Let b be n(-6). Is (-1)/(b - 219/(-111)) even?
False
Does 9 divide 90/(-10*(-5)/100)?
True
Is (120 - 108)/(7077/3534 - 2) a multiple of 38?
True
Suppose 0 = -2*j + 287 - 177. Does 55 divide j?
True
Let z(u) = -8 + 13*u**2 - u**3 + 0*u**3 - 18*u**2. Does 8 divide z(-6)?
False
Let p(m) = -m**3 - 6*m + 13 + 7*m**2 - 2 + 3*m + 1. Is p(6) a multiple of 27?
False
Let v = -99 + 154. Let n be (-4)/(-18) + 43/9. Suppose -5*b + v = n*i - 0*b, i - 3*b = -9. Is i a multiple of 2?
True
Let v(i) = -10*i - 2. Let r be (-10 + 8)*1/(-2). Suppose 3*x = -t - 9, 4*t = -x - r - 2. Is v(x) a multiple of 10?
False
Suppose -4*c + 8 = -3*c. Suppose 2*n = -2*n + 3*t - c, 0 = -n + 2*t - 2. Is 5 a factor of (3 + (-26)/4)*n?
False
Does 118 divide -3394*(-4)/(-1 - -5)?
False
Suppose 0 = 4*k - 3*b - 599, -11*k = -15*k - 2*b + 614. Does 19 divide k?
True
Does 11 divide 5*((-4)/16 - 737/(-20))?
False
Let y(x) = -x**2 - 10*x - 6. Let a be y(-8). Suppose 0 = -b - b + a. Suppose -4*m + 3*m - 262 = -b*s, 4*s - m - 209 = 0. Is 14 a factor of s?
False
Let p(t) = t**3 - 5*t**2 + 23*t - 22. Does 4 divide p(5)?
False
Suppose -2*u + 4 = -10. Let i(x) = -13 - 4*x + u*x**2 + x**3 + x**2 + 1. Is 8 a factor of i(-8)?
False
Suppose -5*h + 5*f + 15 = 0, -h + 0*f + 11 = 3*f. Suppose -3*r - r + 110 = j, 0 = 2*j - h*r - 259. Is 21 a factor of j?
False
Suppose 0 = 3*x - 3*k - 3108, -2*k - 4043 = -5*x + 1149. Is 8 a factor of x?
True
Let w(d) = 24*d**2 + 3*d - 4. Let v = -88 - -85. Does 14 divide w(v)?
False
Let z be 2/7 - 465/35. Let t be (-3)/(-1 + 4)*z. Suppose 38 = 5*j + t, 3*s - 3*j = 63. Is 13 a factor of s?
True
Suppose -10*g - 152 + 1352 = 0. Is g a multiple of 3?
True
Let u be (1/(-2))/(8/3328). Let v be (-9)/(-6)*u/(-12). Let k = 5 + v. Is 16 a factor of k?
False
Let z be (-56)/(-10) - 4/(-10). Suppose 2*a + 0*a = 3*g + 42, 2*g + 30 = 2*a. Is (z - g)*(-7)/(-2) a multiple of 22?
False
Let d(k) = -112*k - 51. Is 10 a factor of d(-3)?
False
Is (1150/(-69))/((-2)/66) a multiple of 55?
True
Let q be (-4)/12*0 + 5. Suppose -65 = -q*g + 10. Let k = 27 - g. Is 3 a factor of k?
True
Suppose -5*m + c = -19 + 4, -2*m + 3*c - 7 = 0. Suppose -m*i = -0*i. Suppose -j + 3*n = -27, i = j - 0*n + n - 27. Is j a multiple of 13?
False
Let d be (-154)/(-13) + 10/65. Does 18 divide 6/9 - (-2044)/d?
False
Suppose 0 = j - 12 - 3. Let g = 19 - j. Suppose 0 = g*k + k - 80. Does 16 divide k?
True
Let r = 28 + -43. Let h(i) = -i**2 - 16*i - 15. Let k be h(r). Is (1 - k)/((-4)/(-92)) a multiple of 5?
False
Let k(w) be the third derivative of -w**4/3 - 5*w**3 - 23*w**2. Is k(-8) a multiple of 17?
True
Let v(u) be the first derivative of -u**3/3 - 23*u**2/2 - 18*u - 9. Is v(-10) a multiple of 29?
False
Let d(a) be the second derivative of a**5/20 - a**4/4 + a**3/2 + 5*a**2/2 + 14*a. Does 12 divide d(4)?
False
Let v(t) = -t + 3. Let x be v(3). Suppose -3*g = -x*g - 9. Suppose 0 = -g*w + 4*w - 62. Does 14 divide w?
False
Let v(s) = 2*s**3 - 4*s**2 + s + 4. Let d be v(2). Let j = 10 - d. Suppose -31 = -j*n + 29. Is 8 a factor of n?
False
Suppose f - 4*k - 31 = -7, 5*k = -10. Is (4/(-10) - 18/(-20))*f a multiple of 3?
False
Let l(m) = 179*m + 130. Does 40 divide l(4)?
False
Let z be (56/12 + -3)*(-2 + 5). Suppose -x - 72 = -6*x + 4*c, 0 = 4*x + z*c - 74. Is x a multiple of 15?
False
Let a(x) = 9*x - 7. Let n be a(5). Let f = 51 - n. Does 13 divide f?
True
Suppose 12 = -4*v, -5*v - 15 = -2*w + 28. Suppose -3*a = 5*i + w, 0*a = a - 3*i - 14. Suppose a - 7 = -t. Is t a multiple of 3?
False
Suppose 3*q - 13 - 200 = 0. Does 17 divide q?
False
Suppose -3*y = 656 + 31. Let t = y + 329. Is t a multiple of 20?
True
Suppose -10*z = -25*z + 3750. Does 10 divide z?
True
Suppose -9*z + 4*z = -130. Does 11 divide 22/(-143) + 2942/z?
False
Is 15 a factor of 193 - ((-5)/(-5) + -3)?
True
Suppose p = w, 2*w = 4*p + 3*w - 10. Suppose 68 = x - 2*f, 0*f = -2*x - p*f + 124. Does 11 divide x?
False
Let z = -333 - -1278. Does 14 divide z?
False
Let a(f) = f**3 + f**2 + f + 18. Suppose -8 = 2*x, 5*o - 3*o + 32 = -5*x. Let i(k) = -k**2 