ue
Let h(n) = 30*n - 13. Let u be h(3). Suppose q = -161 - u. Does 15 divide q/(-8) + 21/84?
True
Suppose -45*x + 8*x + 177238 = 7482. Does 37 divide x?
True
Let q = -24 - -100. Suppose -15 = 3*r, q + 168 = -3*j - 2*r. Is 13 a factor of (j/8)/(3/(-20))?
True
Suppose 0*m - 4*m = 0. Let k be (2 - 3)*(-12 + -5). Is 9 a factor of k/(-2 + 3 + m)?
False
Let r(b) = -b**2 - 7*b + 4. Let z be r(-8). Let k be z + 3*((-118)/(-3) - 2). Let f = -43 + k. Is f a multiple of 13?
True
Suppose 3*r = 3*n + 15, 3*r - r - n = 5. Suppose r*o + 333 = z - 5*o, 5*z = 5*o + 1585. Does 7 divide z?
False
Let j(z) = z**2 + 20*z + 34. Let i be j(-24). Suppose 0 = -s - 2*l + i, 0 = -5*l - 19 - 6. Is 35 a factor of s?
True
Let n = -84 - -88. Let z be -3*(-1)/3 + (n - 1). Does 13 divide -1 - z - (-143 - 6)?
False
Suppose -94*j = -39*j - 324335. Is j a multiple of 20?
False
Let s be -1*37 + ((-3)/3 - -2). Let h be s/(-16) - -1 - 2/8. Suppose h*y + 25 = 3*d - 170, -193 = -3*d + 5*y. Is d a multiple of 8?
False
Let v(d) = -7*d + 13. Suppose -q = -0 + 1. Let j(u) = u. Let o(c) = q*v(c) + 2*j(c). Is 20 a factor of o(12)?
False
Suppose 0 = 4*w, 4*j = 2*j + w - 4. Does 19 divide 505 - 28/(j - -9)?
False
Suppose 3*y = 2*l - 13, 0 = l + 3*y - 2 - 0. Suppose 2*x = 2*i + 910, 2*i + 2315 = 5*x + l*i. Is 46 a factor of x?
True
Let f = 1242 + -750. Suppose 0 = -3*k - 51 + 69. Suppose 0*o + f = k*o. Does 9 divide o?
False
Let f(x) = 2*x + 9. Let u be f(-4). Suppose 0 = -d - 5*o + 901, 6 = 5*o + u. Suppose -d = -4*n - 212. Is n a multiple of 32?
False
Let b(w) = -2*w**2 - 6*w - 4. Let s be b(-2). Suppose v - 4*x + 6 = s, 3*v = v - x - 48. Let r = -17 - v. Does 3 divide r?
False
Suppose 2*h = -5*j + 16176, -24250 = -266*h + 263*h - 4*j. Is h a multiple of 14?
True
Does 45 divide (-2)/((-5425222)/(-452105) + -12)?
False
Let x = -20826 + 38761. Does 211 divide x?
True
Suppose -2*b = 2*p - 19482, -4*b - 5*p - 4691 = -43652. Is b a multiple of 28?
True
Let o(h) = -5*h + 7. Let t be o(2). Let w = 0 - t. Suppose -5*z + 0*k + 75 = w*k, 3*z = -3*k + 39. Is 6 a factor of z?
True
Let x(s) = s**3 - 6*s**2 - 5*s - 17. Let p be x(7). Let t be (3/p)/(2/(-6)). Suppose 3*y = t, -5*y + 167 = 2*f - 0*y. Is 14 a factor of f?
False
Let m = 898 - 1414. Is m/(-3) - (-4)/(12/9) a multiple of 7?
True
Does 29 divide -1 + 1 - (27/6 - 2)*-1090?
False
Let o = 1811 + -1139. Does 16 divide o?
True
Suppose 0 = -5*j - 4*j + 5*j. Suppose 5*c + 3*b - 342 = -j*c, 0 = 2*c - 5*b - 143. Is 1/(-4) - (3 + c/(-4)) a multiple of 10?
False
Suppose 6*f - 3*f = 27. Suppose 2*i - f = 19. Suppose i = -2*v + 154. Is 35 a factor of v?
True
Suppose 4*h - 16683 = 5*k, 16*k - 4165 = -h + 23*k. Does 28 divide h?
True
Does 20 divide 5/(50/76)*(134 - -216)?
True
Suppose 3*v = -t + 347, 0 = -v - 4*t + 2*t + 124. Let u = v + -180. Is 11 a factor of u/((6/(-21))/((-6)/(-14)))?
True
Let y(w) = -71*w + 125. Let q be (12/(-10))/(12/80). Does 9 divide y(q)?
True
Let j(p) = -p**3 + 113*p**2 - 982*p + 26. Is j(98) a multiple of 110?
True
Let j(b) = 7*b**3 + 190*b**2 - 61*b - 72. Is 12 a factor of j(-27)?
True
Let u(l) be the first derivative of -l**3/3 + l**2/2 + 38*l - 14. Let h be u(0). Let c = h - -19. Is 19 a factor of c?
True
Let p be (-6)/(-12) - (-389)/(-2). Let o = p + 127. Let d = -38 - o. Is 4 a factor of d?
False
Let h(i) = 4*i**2 + 4*i + 3. Let v be h(-1). Suppose -23 = -3*t - 4*f - 8, -4*t + v*f = -20. Suppose -t*m + 115 = 15. Does 4 divide m?
True
Suppose -4*f + 4*i + 24 = 0, -5*f + 26 - 5 = 4*i. Suppose 0 = -a + 4*a + n - 2379, -f*n + 779 = a. Suppose 0 = -10*l + a - 194. Is l a multiple of 10?
True
Suppose -40 = -2*d + 7*d. Does 21 divide 1 - (-6 - d)*-103?
False
Let w = -403 - -410. Suppose 0 = -w*k - 635 + 2070. Is 5 a factor of k?
True
Let i(x) = 309*x - 20. Let j be i(1). Let s = 697 - j. Is s a multiple of 51?
True
Suppose -u + 45*u = 434720. Does 10 divide u?
True
Let h(o) = 159*o**2 + 13*o - 11. Is h(2) a multiple of 93?
True
Let z be (4 - -23) + (-9)/(1 + 2). Suppose -2*r + a = -269 + z, 5*r + 2*a - 599 = 0. Suppose 71 = 4*k - r. Is k a multiple of 6?
True
Let y = -1181 + 174. Let x = y - -1422. Is x a multiple of 33?
False
Suppose -5*f + 391 = 5*w - 504, 4*f + 530 = 3*w. Suppose k - 153 = w. Does 20 divide k?
False
Let v = 7716 - 5990. Is 20 a factor of v?
False
Let m(i) = -2*i**2 - 7*i - 7. Let j be m(-5). Let p = j + 53. Suppose -u + 5 + p = 0. Is 9 a factor of u?
True
Suppose -13111 = -138*m + 43745. Is 3 a factor of m?
False
Let d(i) = 8328*i**2 - 26*i - 3. Does 193 divide d(1)?
True
Let f(m) = 56*m**2 + 7*m - 17. Let i be f(-8). Suppose 4*o - i = -3*w - 2*w, 2*w - 874 = -o. Is o a multiple of 17?
True
Suppose 2*m - 4*m - 4 = -d, 22 = 4*d - 5*m. Let y(l) = -4*l - l + 4 + d*l - 1. Is 18 a factor of y(5)?
True
Let r be ((-20)/60)/(1/2817). Let v = -663 - r. Is 15 a factor of v?
False
Let h(d) = d + 3. Suppose 6*u + 6 = 3*u - 3*q, -2 = u - q. Let y be -27*u/(1 - -5). Is h(y) a multiple of 6?
True
Suppose 5*s - 2*c = 6872, 0 = -7*c - 45 + 73. Does 78 divide s?
False
Let k(w) = w**3 + 20*w**2 - 23*w - 31. Let l be k(-21). Let u = 74 - 37. Suppose l - u = -z. Is z a multiple of 3?
False
Is 44 a factor of -22*19/((-133)/602)?
True
Suppose -65*m = -52*m - 94393. Does 29 divide m?
False
Suppose -53*u + 54*u = -2*v + 3566, 3*v - u - 5344 = 0. Is v a multiple of 66?
True
Let d(c) = 202*c**2 + 565*c - 4572. Does 74 divide d(8)?
True
Suppose 3*f = -m + 7447, 0 = 38*f - 34*f + 12. Does 37 divide m?
False
Is (-147)/(-77)*383 + 4/(-22) a multiple of 11?
False
Suppose 2*w = 4*c - 3708, -2*c + 1864 = -0*c + 4*w. Let z = c - 609. Does 11 divide z?
True
Let o = -1952 + 4592. Does 48 divide o?
True
Let t(m) = m**3 - 23*m**2 - 23*m - 29. Let n be t(24). Let y be 194*1/(-2) - (n + 1). Let g = 13 - y. Does 12 divide g?
False
Let u = -244 + 255. Suppose -1314 = -u*t + 853. Does 16 divide t?
False
Let g = 218 + -106. Let t be (-14)/(2 + (-48)/21). Let w = g - t. Is 9 a factor of w?
True
Suppose h + i - 3 = 0, -6*i = -h - 5*i + 5. Suppose 0 = -h*c - 2*c + 414. Suppose -4*z = 3*o - c, -2*o = z - 6*o - 22. Is 9 a factor of z?
True
Let m(v) = -6*v**2 + 12*v + 24. Let g(t) = 5*t**2 - 11*t - 23. Let s(f) = -7*g(f) - 6*m(f). Let w be s(-7). Let k = 238 - w. Is 12 a factor of k?
False
Suppose -109*d = -79*d - 14010. Is d a multiple of 31?
False
Suppose 3*x + 8 = 5*x. Suppose x*v - v - 4*q = 23, -5*v + q = -27. Suppose 3*h = 4*w - 2*h - 257, v*h = w - 53. Does 10 divide w?
False
Suppose -2*k + 8 = 12. Let y be k/10 - (-239)/(-5). Let d = y - -144. Is 12 a factor of d?
True
Let q = -17 - -18. Let f be -2*(-5)/10*q. Let b(j) = 209*j**3 - j. Is b(f) a multiple of 11?
False
Suppose -42*b - 3238 = -21466. Does 2 divide b?
True
Suppose 4*b - 24444 = -3*s, 20*b - 6112 = 19*b - s. Is b a multiple of 81?
False
Suppose 3*s = -0*s - 5*n - 10, 4*n = 4*s - 8. Let m(v) = v**2 - 5*v + 126. Does 33 divide m(s)?
False
Let y be 1/(-3 + -1 + (-3)/(-1)). Let j be (-837)/(-27)*(2/2 - y). Is 20 a factor of j + 0/4 + -4?
False
Suppose 203320 = 2756*h - 2730*h. Is 5 a factor of h?
True
Suppose -5*n + 0*n = -100. Let s = 3695 + -3695. Suppose 4*u + s = n. Is u even?
False
Let d(n) = n**2 + n + 1. Let y be d(-2). Suppose -35*s + 34*s = -35. Let o = s - y. Is 16 a factor of o?
True
Let o be (-48)/(-18)*9*(-11)/(-2). Suppose 5*d + 5 = 0, 5*j + 3*d + o - 3069 = 0. Is j a multiple of 16?
False
Does 48 divide -3 + 7 + 218344/70*5?
True
Let b(v) = 2*v**3 - 18*v**2 - 16*v - 31. Let u be b(10). Does 29 divide (6/u)/((-12)/(-1242))*7?
False
Let g = 731 + -309. Let j = -155 + g. Suppose -729 = -4*i + j. Is i a multiple of 17?
False
Suppose 8*l - 51 = -11. Let k be 6/4*64/24. Suppose -l*p = -3*p - k*x - 190, 180 = 2*p - 2*x. Is 8 a factor of p?
False
Suppose 23*r - 17*r = -9966. Let n = -768 - r. Is 19 a factor of n?
True
Suppose -157 = -19*f - 119. Suppose -2*l + 452 = -5*k + 2875, -4*l = f*k - 950. Is k a multiple of 4?
False
Suppose -1603*k = -1576*k - 54918. Is 9 a factor of k?
True
Does 64 divide 9 + 8049 + (-1)/(-3) + (-51)/(-9)?
True
Suppose 4*w - 4*c = 2*w, 3*c - 22 = -4*w. Suppose 2*k - w*k + 8 = 0, k = 5*y - 651. Is 16 a factor of y?
False
Let j(d) = -d**2 - 2*d + 34. Let m be j(-5). Let v(b) = -b**2 + 19*b + 20. Let k be v(m). Is (90/k)/((-1)/(-10)) a multiple of 10?
False
Suppose 