- 195 = h. Is 11 a factor of o?
False
Let l be 5*(-3*2)/(-3). Suppose 23*n - 18*n + l = 0. Let a(y) = -4*y**3 - 3*y - 2. Is a(n) a multiple of 6?
True
Let j = 263 - 181. Let o = j + -18. Is 4 a factor of o?
True
Let y = 10448 - 5529. Is 15 a factor of y?
False
Let f(s) = -2*s - 4. Let r(u) = -u - 3. Let b(z) = 2*f(z) - 3*r(z). Let l(t) = 6*t**2 - 6*t + 6. Let o(p) = -3*b(p) + l(p). Is o(2) a multiple of 7?
True
Suppose 0 = 12*r + 35 - 383. Does 8 divide (r/58)/(1/64)?
True
Let l(t) = -t**2 + 19*t + 5. Let j be l(19). Suppose 5*m - 4*i - 85 = -7, j*m - 5*i = 75. Is 13 a factor of m?
False
Let o = -3612 + 5409. Does 40 divide o?
False
Let a = 80 + -84. Let k be 4 + -389 + 4/a. Let i = -266 - k. Does 24 divide i?
True
Let n(d) = -d**3 + 31*d**2 - 21*d + 28. Let z(l) = 3*l**2 + l. Let j be z(3). Does 56 divide n(j)?
False
Suppose -12*d + 58*d - 102051 = 23*d. Is d a multiple of 36?
False
Let a be ((-1716)/165)/((-6)/(-315)). Let g = a - -651. Is 35 a factor of g?
True
Suppose -15042 = -2*f - 134. Does 30 divide f?
False
Suppose 2*m - 2*b = -4*b - 104, 2*m = 5*b - 83. Is 26 a factor of (m*(-5)/10)/((-2)/(-4))?
False
Let y = 322 + -227. Let w = -55 + y. Suppose -4*j = -256 + w. Is 18 a factor of j?
True
Suppose 5*q + 100742 = 3*g + 306324, 0 = 3*q + 4*g - 123326. Is q a multiple of 61?
True
Suppose 2*b - 864 = -0*m - 2*m, 5*m - 3*b = 2192. Let h = m + -247. Is 7 a factor of h?
True
Suppose 8 = -2*d + 3*t, 0 = 5*d + 2*t + 4 - 3. Let w be ((-44)/(-110))/(d/(-5)). Suppose -3*h = 9, 3*x - w*h - 605 - 22 = 0. Does 23 divide x?
True
Suppose -146*q - 2082 = -6107 - 2253. Is 6 a factor of q?
False
Let t = 35 + -24. Suppose -t*g + 603 = -321. Does 22 divide g?
False
Let n be (-47810)/(-12) + 170/60 + -3. Suppose -5*o - 33*r + 30*r + n = 0, 0 = 2*r + 4. Is o a multiple of 14?
True
Suppose -3*h + 0*y = 5*y - 55, 6 = 3*y. Suppose 2*c - 2*d - 526 = 0, 0 = 5*c - 2*c + 2*d - 764. Suppose h*a - 9*a = c. Is 9 a factor of a?
False
Suppose 4*f = 4*b + 12, -2 = 3*f - 2*b - 7. Does 8 divide (f*(-19)/(-2))/(63/(-2646))?
False
Suppose -387*f + 159*f + 11086956 = 0. Is 27 a factor of f?
True
Let t(a) = -5*a**3 + 183*a**2 - 78*a + 28. Does 14 divide t(35)?
True
Suppose 15*b - 12*b + 21 = 2*f, 16 = 2*f + 2*b. Let s be (0 - -11 - 1) + -1. Suppose -6*a + s = -f. Does 2 divide a?
False
Let n(g) = 10*g**3 - 3*g**2 - 9*g + 74. Let y be n(8). Suppose -783 + y = 11*f. Is 5 a factor of f?
False
Suppose -27*n + 24*n + 6 = 0. Let l(u) = u**2 - 4*u - 1. Let z be l(n). Is 43 a factor of (z - (-516 - 5))/2?
True
Suppose z = -2*g + 6348, -3*z = 3*g + 8061 - 27105. Does 97 divide z?
False
Suppose -720*u + 744*u - 249696 = 0. Is u a multiple of 17?
True
Let v(x) = -x**2 - 3. Let w be v(0). Let g(j) = 2*j**3 + 6*j**2 + 4*j + 6. Let s(z) = z**3 + z**2 + 2. Let y(f) = g(f) - s(f). Is y(w) a multiple of 5?
True
Let w(p) = -4*p - 28. Let b be w(-7). Let l be (-15)/(b + (-4 - -1)). Suppose 0 = -q - v + 32, l*q - v - 174 = v. Is 15 a factor of q?
False
Suppose 5*l + 0*i = 3*i - 2413, 3*l + 1443 = -3*i. Let m = l - -659. Is m a multiple of 10?
False
Suppose 0 = 4*w + 5*p - 2030 - 3816, w + 3*p = 1458. Does 74 divide w?
False
Let b(p) = 5*p + 1975. Is b(80) a multiple of 19?
True
Let m = -151 + 155. Suppose -162 = -2*d - 3*u, -81 - 67 = -2*d + m*u. Does 22 divide d?
False
Suppose 0 = 9*i - 22 + 4. Let q(y) = 105*y**2 - 40*y**i - 30*y**2 + 73 - 33*y**2. Is 10 a factor of q(0)?
False
Is 2 a factor of 45/108*-2 + 27115/30?
False
Let f(s) = 2*s - 2. Let o be f(1). Suppose 3*r - 8*r - 10 = o. Is (-8 - -2)/(-2 - 1 - r) a multiple of 3?
True
Suppose -5*v = -5*r - 91485, -5*v + 91499 = -850*r + 847*r. Is 176 a factor of v?
True
Let z = -94 + 63. Let q = -25 - z. Is 48 a factor of (-3)/q*(-4308)/6?
False
Does 30 divide ((-7116)/(-16) + 8)/(((-3)/20)/(-3))?
False
Let v(d) = -3*d**2 - 31*d + 13. Let y be v(-11). Is y/18 + (-2601)/(-6) a multiple of 40?
False
Let s(k) = -5 + 2*k - k + 3 + 4. Let j be s(1). Is 13 a factor of ((-16)/j - -4)*(-78)/4?
True
Let t(l) = -l - 5. Let d(s) = 3*s + 15. Let j(n) = -6*d(n) - 17*t(n). Let v be j(4). Is (-302)/(-4) + v/(-18) a multiple of 10?
False
Suppose 73 = 3*x - 152. Let l be 6/8 + (-4)/(80/x). Is (3 - (l + 2))*8 a multiple of 16?
True
Suppose -3*w - 5*k + 5405 = -0*w, 3*w + k = 5401. Does 15 divide w?
True
Suppose 2*w = -5*o - 29, -o = 3*w - 4 + 67. Let c = -20 - w. Suppose -92 = -c*l - 2*l. Does 23 divide l?
True
Let a = -58 + 52. Let k be (4902/9)/(a/(-45)). Is 17 a factor of (-2)/16 - (-1)/(40/k)?
True
Let d be ((-2)/6)/((-2)/396). Let a = d + -66. Let i(o) = -o**3 - o**2 + o + 38. Does 19 divide i(a)?
True
Let r(p) = 528*p**2 - 37*p + 887. Is 100 a factor of r(9)?
False
Let p = 21 + -1. Suppose 20 = 5*l - 3*v, -3*l = 2*l + v - p. Suppose l*h - 4*m - 56 = 0, 14 = 4*h + m - 47. Does 15 divide h?
True
Suppose 5*n - 3*w = n + 27, 3*n - 4*w = 22. Is 33 a factor of 2025/50*44/n?
True
Let z(r) = -r**3 + 31*r**2 - r + 42. Let q be z(31). Suppose 6*n + q*n = 2839. Is 20 a factor of n?
False
Does 41 divide (-119 + -107)*(-14)/4?
False
Suppose -14*t + 9 = -11*t. Let x(b) = -6*b**2 + 2*b. Let k be x(t). Let o = 124 + k. Does 19 divide o?
True
Let w = -2337 + 4029. Does 7 divide w?
False
Suppose -4*w - 269*w + 2176162 + 1548923 = 0. Does 59 divide w?
False
Let c(w) = w**3 + w**2 + 2*w + 12. Let h be c(0). Let t(y) = -y**3 + 10*y**2 + 23*y + 15. Let s be t(h). Let l(n) = 7*n**2 - 4*n + 12. Is l(s) a multiple of 7?
True
Let o be (28/16)/(((-20)/16)/(-5)). Let f(w) = 55*w - 127. Does 43 divide f(o)?
True
Let q = -8 + 12. Suppose -4*d - 8 = -q*c, -2*c = 4*d + 3*c - 37. Suppose -2*o + d*o = 14. Is o a multiple of 4?
False
Suppose -6 = 2*w, -6*w = -l - 9*w + 1111. Is l a multiple of 76?
False
Let n(c) = -c**3 - 15*c**2 - 15*c - 11. Let k be n(-14). Let f be ((-2)/6 - -2) + 1/k. Suppose -f*x = 26 - 156. Does 13 divide x?
True
Suppose 28*c - 30*c + 92 = 0. Suppose -p - 4*s = -c, -4*s + 8 = -0*s. Is p a multiple of 6?
False
Suppose 4*l + 3*z - 10721 = 1375, 0 = -l - 4*z + 3024. Does 63 divide l?
True
Does 3 divide 3691752/(-404)*1/(-2)?
True
Suppose 13 - 31 = -2*l. Let h be 6/l - 380/(-6). Let u = h + -60. Is 2 a factor of u?
True
Suppose -94 = -v + 554. Suppose 8*a - 2800 = -v. Let y = a + -101. Is 18 a factor of y?
False
Let v(o) = -3*o**2 - 40*o + 67. Let f be v(-15). Is 28 a factor of 1 + (62 - (f - -15))?
True
Suppose 12839 + 50021 = 4*f - 3*o, -3*f = 2*o - 47179. Does 79 divide f?
True
Suppose 16*r = -11 - 53. Is 23 a factor of (484/(-6) - r)*12/(-5)?
True
Let s be (-4)/(-14) - 732/14. Let f(r) = -r**3 + 14*r**2 - 51*r + 470. Let l be f(13). Let q = l - s. Is 7 a factor of q?
True
Let i be ((-24)/21)/(-5 - 222/(-42)). Does 20 divide (10 - -192) + (-2 - (4 + i))?
True
Let k be -8 - (-134 - (6 - 4)). Let c = k - 42. Is 10 a factor of c?
False
Let y = 41564 + -19586. Does 54 divide y?
True
Let q be 11/(-44) + ((-198)/8 - 1). Let p be 7/(-35) + q/(-5). Suppose -60 = -0*y - p*y. Is 2 a factor of y?
True
Suppose l + l - 356 = -d, -l + 178 = 5*d. Suppose -r + 119 = -l. Let p = r - 180. Is p a multiple of 20?
False
Suppose 0*r - 5*v = -5*r + 1470, 1152 = 4*r + 2*v. Let m = r - 105. Does 30 divide m?
False
Let k = 34 - 33. Suppose -g - k = 1. Is 12 a factor of (0 - 1/g) + 235/2?
False
Let i = -317 + 322. Suppose -i*y + 1993 = -3*m + 7*m, m - 399 = -y. Is 35 a factor of y?
False
Let k(t) = 679*t**2 + 143*t - 5. Does 9 divide k(2)?
True
Let k be (-6)/(3 + 3) - 12. Let x(q) = 2*q**2 + 12*q - 62. Is x(k) a multiple of 16?
False
Is 7 a factor of (-3060)/80*(0 - 48)?
False
Suppose -51*d = -49*d. Suppose d = 5*x + 5*x - 2900. Does 29 divide x?
True
Let g(a) = -5*a**2 + a. Let t be g(-1). Let v be (2 + 8 + -2)*(t + 31). Is 10 a factor of v/(-15)*(-2 - 1)?
True
Let f(w) = -155*w + 579. Is 3 a factor of f(3)?
True
Let c = 266 + -745. Let k = 995 + c. Is k a multiple of 21?
False
Suppose 3*p + 11 - 29 = 0. Suppose 5*l = p + 4. Suppose 7*j - 315 = -l*j. Is j a multiple of 7?
True
Suppose 0 = 4*x - 5*n - 92, -4*x + 6*x - 46 = -n. Suppose -5*q + x + 392 = 0. Is 23 a factor of q?
False
Let i(p) = -13*p + 2. Let a(h) be the third derivative of -19*h**4/12 + h**3 - 2*h**2. Let d(y) = -4*a(y) + 11*i(y). Is 6 a factor of d(4)?
False
Suppose 2*a - 9*c + 13*c = 30, 4*a + c - 25 = 0. Suppose 0 = 3*f - 0*t -