y(b)?
True
Let y(m) = 37*m - 46. Let u be y(2). Suppose -37*z + u*z = -225. Does 12 divide z?
False
Suppose -1561*t - 1626552 = -1643*t. Does 18 divide t?
True
Let k(i) = -i**2 + 13*i - 13. Let q(j) = j**3 - 13*j**2 + 13*j - 2. Let f be q(12). Let u be 68/7 - f/(-35). Is 4 a factor of k(u)?
False
Let h(v) = v**2 - 4*v + 7. Let p be h(4). Suppose 3*u = p*u. Suppose u*o = -2*o - d + 239, -d = -4*o + 481. Is 20 a factor of o?
True
Let l(s) = 3996*s**2 + 171*s + 519. Does 10 divide l(-3)?
True
Let p(n) = 10*n**3 + n**2 + 10*n - 2. Let q be ((-245)/(-11))/5 - 12/(-22). Does 90 divide p(q)?
False
Let a(b) = 14*b + 24. Let x be a(-2). Does 91 divide x - (2 + (-10)/4)*1646?
True
Suppose 134498 = 45*a + 8498. Does 100 divide a?
True
Let q = -653 + 1838. Suppose 8*g - q = -65. Let o = -106 + g. Does 4 divide o?
False
Let m = 24409 + -49505. Is m/(-24) + 16/12 a multiple of 45?
False
Let x(j) = 338*j + 161. Let q be x(-3). Let i = q - -1858. Is i a multiple of 11?
False
Let j = -46692 + 65294. Does 142 divide j?
True
Let b be 28/(-42)*(-36)/(-2) + 1. Let y(k) be the first derivative of -k**4/4 - 3*k**3 + 3*k**2/2 + 13*k - 28. Is y(b) a multiple of 19?
False
Let x be -1 - ((-12)/24)/(2/20). Suppose 3*l - 5*j - 1006 = 0, x*l + 399 = -5*j + 1752. Is l a multiple of 9?
False
Suppose -4*m - 2*b + 8450 + 6444 = 0, 0 = -5*m + 4*b + 18650. Is m a multiple of 81?
True
Let i = -2061 - -2724. Does 4 divide i?
False
Let n(j) = -5*j**2 + 10*j + 35. Let a be n(-7). Does 7 divide (-56)/a - (-2169)/5?
True
Suppose -p = 0, 15*p = -5*t + 16*p. Suppose t = -59*y + 56*y + 276. Does 4 divide y?
True
Suppose q = s + 8847, 57*q - 56*q - 8832 = -4*s. Is q a multiple of 124?
False
Suppose 18 = i + 3. Suppose 5*j = 25, 3*g - g - 5*j = -i. Does 34 divide 690/g + (2 - 4)?
True
Suppose -z + 5 = 0, -5*r + 14 + 51 = z. Suppose 4*i + 3*j - 23 = 0, 0 = 2*i + j + j - r. Suppose -790 - 100 = -i*p. Is p a multiple of 23?
False
Let w(z) = -34*z**3 - 13*z**2 + 7*z + 7. Let n(q) = 16*q**3 + 6*q**2 - 3*q - 3. Let t(r) = 5*n(r) + 2*w(r). Does 5 divide t(1)?
False
Suppose 3*g + 4*s = 5759, g + 2*s + 65 - 1984 = 0. Is g a multiple of 94?
False
Does 20 divide (-5)/6 + 1 + 8375/(-2010) + 1044?
True
Let y = -874 - -1308. Suppose 15*w - y = w. Is w even?
False
Is 3 a factor of 55917/15 + 1818/(-1010)?
True
Let o(m) = -69*m**3 + m**2. Let k be o(-1). Let a = 858 - 840. Suppose 17*u - a*u = -k. Does 15 divide u?
False
Suppose -4*z + 0*b + 124 = -4*b, -2*b - 92 = -3*z. Is 5 a factor of (-7 - -33)*-33*(-5)/z?
False
Let a = -276 - -302. Suppose a*v - 33*v + 728 = 0. Does 9 divide v?
False
Let n(f) = -3*f**3 + f**2 - 8*f - 5. Let x be n(-6). Suppose 1924 - x = 9*p. Is p a multiple of 45?
False
Let x(t) = -t**3 + 7*t**2 - 8*t. Let l be x(6). Let r = 15 + l. Suppose 0*q - q - 2*g + 36 = 0, -163 = -r*q + 5*g. Is 14 a factor of q?
False
Suppose 15 = 2*v + 123. Let f = 70 + v. Suppose -15*y - 13 = -f*y. Is y a multiple of 2?
False
Suppose -3*l + 2*l = -5. Does 18 divide (122 - 5/l*-1) + 3?
True
Let m = -10126 + 11524. Is m a multiple of 22?
False
Suppose -4 = -6*b + 8. Suppose 5*z = 2*z - b*z. Suppose -4*a - 202 = -2*k - 18, 5*k + 5*a - 445 = z. Is 30 a factor of k?
True
Suppose -9*t = -494 - 2314. Let u = 368 - t. Does 8 divide u?
True
Suppose 15*h = 13*h + d + 3961, -3*d = -15. Does 73 divide h?
False
Is 1100/150*((-3885)/(-6) + -1) a multiple of 5?
False
Let t = 1 + 32. Suppose -35*i + 22 = -t*i. Suppose 5*l - 128 = -a, -i*a + 6*a = 5*l - 120. Is 13 a factor of l?
True
Let w be 6*(8278/60 + 9/45). Let l = w + -675. Is l a multiple of 22?
True
Suppose 3*z - 3*c - 12135 = 0, 2*z + 179*c - 176*c = 8070. Is z a multiple of 71?
False
Let j(x) = 13*x**3 + 12*x**2 + 19*x - 13. Let d(h) = -29*h**3 - 23*h**2 - 38*h + 25. Let r(n) = 4*d(n) + 9*j(n). Is 16 a factor of r(-13)?
False
Suppose 263*r + 2624386 = 4658952 + 3709880. Does 163 divide r?
True
Let n(f) = -1263*f + 1748. Is n(-38) a multiple of 34?
True
Let u(x) = x**3 - x - 1. Let f be (10/(-10))/(10/12 + -1). Let v(r) = 7*r**3 - 9*r**2 + 6*r - 20. Let o(n) = f*u(n) - v(n). Does 4 divide o(7)?
True
Is 17 a factor of -2 + 17707 + 259 + -284?
True
Suppose -3*c + 2*x + 22 = 0, 0 = c + 4*x - 5*x - 8. Let p(f) = 5 - f - 28 + 7*f - c. Is 7 a factor of p(13)?
True
Suppose -2*f + 170 = 12*j - 8*j, -3*f - 5*j + 256 = 0. Suppose -w + f = -233. Is 16 a factor of w?
True
Let s be 4 + 0 + (-32)/4. Let l(m) = -4*m - 58. Let f(d) = d. Let n(x) = s*f(x) + l(x). Is n(-9) a multiple of 3?
False
Let w be (2/11)/((-30)/(-165)). Does 10 divide 18/21 - w - 10020/(-70)?
False
Suppose -4*b + 5*x = 8*x - 11343, -4*x + 2839 = b. Is 139 a factor of b?
False
Does 17 divide (0 - (-2)/6)/(82/2379558)?
True
Suppose 19 - 62 = -c. Suppose c*d = 40*d + 198. Is 6 a factor of d?
True
Let l be (92/6 + 6)/(2/6). Suppose 5*t - l = 1946. Suppose 0 = 5*w - 313 - t. Is w a multiple of 12?
False
Suppose y + o = 3*o - 6, 0 = -4*o + 16. Suppose -r - 4*p + 640 = 3*r, -r - y*p = -160. Does 5 divide r?
True
Suppose 2*g = j + 78, 6*j - 3*j - 94 = -2*g. Let r = g + 150. Is 10 a factor of r?
False
Suppose 3*t = -12, 178*c - 173*c + 2*t - 1232 = 0. Does 45 divide c?
False
Let v = 289 + 101. Let m = -309 + v. Is m a multiple of 18?
False
Let y(w) = -w**3 - 17*w**2 + 13*w - 90. Let r be y(-18). Suppose r = -2*q + h + 1005, 0 = -4*q + 3*h + 990 + 1017. Is q a multiple of 14?
True
Suppose -9645 - 24173 = -4*r + 6966. Is r a multiple of 13?
False
Let w(g) = 50*g**3 - 2*g**2 - 8*g - 14. Let s be w(-2). Let y = s + 691. Is 16 a factor of y?
False
Suppose 8*z = 7*z + 11. Suppose x + 7*o = z*o + 67, 2*x - 134 = 5*o. Suppose x = 2*w - 29. Is 8 a factor of w?
True
Let k be (2 + 0)/((-10)/35). Let t be 4/((-56)/(-130)) + 2/k. Suppose 151 = 5*g + a, 4*g - t*g - 5*a + 135 = 0. Is 9 a factor of g?
False
Let l(c) = 9*c**2 - 3*c + 2. Let w be l(1). Suppose 0*v = w*v - 264. Does 12 divide v?
False
Suppose -b + 2*l + 22 = 0, b - 4*b + 66 = 5*l. Let s(c) = 21 + b - 15*c - 43. Is 10 a factor of s(-8)?
True
Is 182 a factor of (284 - -48)/((-2 - -4) + (-540)/273)?
True
Suppose -484901 = -56*w + 28*w + 372095. Is 16 a factor of w?
False
Let g be -4*3/(-12)*(8 + 1). Let v be (-96)/(-56)*(-2 + g). Suppose -3*n + v*n = 711. Is 18 a factor of n?
False
Suppose 4*k - 82 = -3*r, -18 = -3*r - 3*k + 63. Suppose 2400 = 36*c - r*c. Is 3 a factor of c?
True
Suppose 26*c - 375946 = 349402. Is c a multiple of 16?
False
Suppose -603*r + 5310591 = -460*r. Is 44 a factor of r?
False
Suppose 3*l = 4*g + 19, -2*l = -5*g + l - 26. Is (-1 - g)*(0 - -31) - -2 a multiple of 26?
False
Let c be (-35)/25 - (-2)/((-10)/3). Does 15 divide 2 + 0 + (1 - c) + 129?
False
Let a = 228 + -253. Does 13 divide ((-8)/(-10))/(10/a) + 15?
True
Suppose 3*x - 1410 = -5*i + 3568, 2*x + 2983 = 3*i. Suppose i + 225 = 10*d. Let u = d - 79. Does 4 divide u?
False
Let o be (-5847)/(-33) + 5/(165/(-6)). Suppose -4*h = o - 693. Is h a multiple of 42?
False
Is 154 a factor of (-9260370)/(-140)*(-8)/(-18) - 15/3?
False
Let q(n) = 5*n - 11. Let h be q(9). Suppose 4*m + h = 2*f + 152, 0 = 2*f - 6. Let r = 37 - m. Is 4 a factor of r?
False
Let w(t) = 186*t**3 + 4*t**2 - 4*t + 25. Does 11 divide w(4)?
False
Suppose 4*y - 5*r = 13, -14 = -y - 4*y + 4*r. Suppose y*g = -4*g + 2130. Suppose -3*z - g = -8*z. Is 38 a factor of z?
False
Let u(p) = 2616*p**2 + 33*p - 58. Is 77 a factor of u(2)?
True
Let m(a) = 2*a**3 - 263*a**2 + 334*a - 295. Does 50 divide m(131)?
False
Suppose 4*n = -2*o - 30, 3*n - o = -0*n - 35. Is 195/n*330/(-9) a multiple of 11?
True
Suppose s + 4*m = -25, 8*m + 42 = -3*s + 7*m. Let h(v) = 2*v**3 + 28*v**2 + 2*v + 28. Does 11 divide h(s)?
False
Let f be 20/15*(-6)/(-4). Let w be -2 + f + 0 + 0/2. Suppose w = -4*t - 3*v + 262, -2*t - 4*v = v - 138. Is t a multiple of 46?
False
Suppose -98*b - 8127 = -107*b. Let q = -510 + b. Is q a multiple of 15?
False
Suppose 8079 = 5*v - 44091. Does 141 divide v?
True
Let x be -2 + -2 + 2 - (-261 + 16). Suppose 2*f - b = 163, 3*f - x = -5*b + 34. Does 14 divide f?
True
Let h(l) = -4*l**2 - 4*l + 3. Let z(r) = 3*r**2 + 5*r - 4. Let n(u) = -5*h(u) - 6*z(u). Suppose -6 = 36*v - 294. Is n(v) a multiple of 19?
True
Suppose -74*q = -32*q - 138852. Suppose 4*a + 5*c = q, -2*a + 916 = -5*c - 722. Is 19 a factor of a?
False
Let k(o) = -o**3 + 10*