vide g?
False
Let u(t) = -t**3 + 2*t**2 - 12*t + 11. Does 2 divide u(-5)?
True
Suppose -3*j + 4 + 2 = 0. Suppose -j*m = -m + 5*n + 55, 335 = -4*m + 3*n. Let t = 116 + m. Is 12 a factor of t?
True
Suppose 0 = -11*t + 5*t - 1680. Let x = 158 + t. Let u = x + 206. Is 28 a factor of u?
True
Let p = 2312 + -997. Does 23 divide p?
False
Let u = 18 + 22. Suppose 12*y - 78 = 186. Let j = u - y. Does 6 divide j?
True
Let j(l) = -2*l - 8. Let m be j(-6). Suppose 3*o - 2*o = -3*x + 9, m*x - 12 = 3*o. Suppose o*v = 2*v - 162. Is 27 a factor of v?
True
Let k = 43 - 55. Is 7 a factor of (-183)/k + 5/(-20)?
False
Let f = 28 - 14. Suppose 0 = 3*i + i - 8. Suppose f = i*a - 6. Is 3 a factor of a?
False
Let f(x) = -4*x**2 - 2*x - 1. Let n be f(-1). Let k be 4*(-8 + n + 6). Is (-9)/(-12) - 525/k a multiple of 27?
True
Let s be -3 - (1 + 0 + -2) - -11. Is 9 a factor of (-3)/(s/2) + 56/3?
True
Let q be 111/21 + 4/(-14). Suppose q*v = 4*r + 63, -r - 35 = -7*v + 4*v. Does 4 divide v?
False
Suppose -5*k - 26 = -36. Suppose -110 = -2*d - k*o, -2*d + o + 104 = -0*d. Is d a multiple of 3?
False
Let r(i) = 27*i - i**2 - 5 + 38 - 49*i. Is r(-21) a multiple of 17?
False
Let l be (-1)/4 - 14181/(-116). Suppose -p + 88 = -l. Does 26 divide p?
False
Let d = 541 + -397. Does 36 divide d?
True
Suppose -5*q = -25, 3*s + 2*s - 5*q = 1575. Is s a multiple of 8?
True
Suppose 10*r - 1031 = 2149. Is r a multiple of 23?
False
Suppose 0 = 186*j - 188*j + 3572. Is j a multiple of 20?
False
Does 3 divide ((-588)/(-126))/(1 - (-25)/(-27))?
True
Let t(l) be the third derivative of -1/6*l**4 + 0 + 5/6*l**3 + 3*l**2 + 0*l. Is 3 a factor of t(-4)?
True
Let v(j) = j + 62. Suppose b - 2*t = -6, 4*b + 3*t + 1 = 10. Let z be v(b). Suppose -3*x + z = -49. Is 27 a factor of x?
False
Suppose 2*b - 4*r - 257 = -b, -5*b + 4*r + 423 = 0. Is 10 a factor of -4 + b + 4/4?
True
Suppose -442 - 6502 = -28*v. Is 6 a factor of v?
False
Let y(z) = z. Let t(h) = -6*h - 5. Let u(x) = t(x) + 4*y(x). Let n be u(-5). Suppose 2*j - 258 = -3*f + n*j, 2*j = f - 91. Does 27 divide f?
True
Let j = -11 + 54. Is 3 a factor of j?
False
Let c(l) = 2*l**2 + 21*l + 4. Let d(h) = h + 1. Let b(t) = -c(t) - 2*d(t). Is 5 a factor of b(-11)?
True
Suppose 3*w + 3 = 0, 0*h + 4*w = 4*h - 24. Is h/(1 - (-40)/(-44)) a multiple of 11?
True
Suppose -2*c + 1000 - 163 = 5*p, -4*p - 3*c = -664. Does 13 divide p?
True
Suppose 0*z + z - 9 = 0. Let i(y) = -3 + z - 1 - y. Does 15 divide i(-10)?
True
Suppose i + 118 = 4*h, 4*h = 2*h - 4. Let z = -68 - i. Is z a multiple of 6?
False
Suppose 5*w + 6 - 31 = 0. Suppose -2*h - 41 = 2*t - 5, 0 = 2*t + w*h + 51. Let l = -1 - t. Does 4 divide l?
True
Let u = -239 + 308. Is 8 a factor of u?
False
Suppose -5*b - 54 = -249. Let t = 136 - b. Suppose -t - 3 = -5*f. Does 5 divide f?
True
Suppose -o = 321 - 375. Is 12 a factor of o?
False
Let z(r) = -2*r + 13. Suppose 3*u - 21 + 9 = 0. Let s be u*1/(8/(-20)). Is 23 a factor of z(s)?
False
Suppose 4*n - 438 = -2*i, -n + 3*i = -0*n - 92. Suppose 2*d - 4*u - n = 25, -2*d = -3*u - 137. Is d a multiple of 30?
False
Let x = -1512 - -2587. Does 24 divide x?
False
Let t(a) = 13*a**2 - 4*a - 7. Is t(6) a multiple of 8?
False
Let l = -6 - -11. Suppose 10 = -10*i + l*i. Does 7 divide (i/4 - -1)*26?
False
Let j(u) = -27*u - 9. Let b be j(-2). Suppose -3*g - 4*d = -b, -6*g = -3*g - d - 45. Is 5 a factor of g?
True
Does 7 divide ((-1)/(0 - -1))/1 + 57?
True
Let y = -90 + 224. Does 13 divide y?
False
Let g be (-24)/6 + (1 - -9). Let s(z) = z - 3 + 3*z + 11 - 3*z. Is s(g) a multiple of 9?
False
Suppose -22*z + 3519 = z. Does 51 divide z?
True
Does 4 divide 0 - 7 - 10914/(-102)?
True
Let k = -561 - -1585. Suppose k = 11*a - 3*a. Is a a multiple of 18?
False
Let u(w) = w**2 + 11*w + 8. Let l be u(-11). Does 11 divide 86/l*8/1?
False
Let v be (25 - 16)*1/3. Does 19 divide v + -2 - (-1 + -36)?
True
Let x(o) = 25*o - 4. Suppose 2*r = -5*r + 28. Is x(r) a multiple of 24?
True
Suppose 0 = 14*x - 3338 - 1142. Is x a multiple of 16?
True
Suppose 3*v = h + 16, -v + 9*h = 4*h - 10. Suppose -v*m = 5*r - 335, -r = -4 + 1. Is m a multiple of 16?
True
Suppose 2161 - 41 = 5*b. Is b a multiple of 106?
True
Let r = 286 + -172. Is 6 a factor of r?
True
Let f = 6406 - 4129. Is 27 a factor of f?
False
Suppose 0 = -y - 16 + 71. Let v = 44 - 16. Let c = y - v. Is c a multiple of 15?
False
Suppose -5 = 4*u - 49. Let a be 368*(-2 + u/4). Suppose -2*f - a = -5*z, -81 = -4*z + 3*f + 137. Does 15 divide z?
False
Let q(s) = 217*s. Let y be q(1). Suppose 23 + y = 4*n. Does 16 divide n*4/(-5)*-1?
True
Is (4/(-5))/((-16)/40) + 78 a multiple of 20?
True
Suppose -3*v + 5*t = -40, -2*v + 16 = -t - 6. Suppose -v*p + 170 = 50. Is 4 a factor of p?
True
Suppose 2*r - 4*r + 4 = 0. Let a(n) = 2*n**r - n**2 - 9*n + 11 + 9*n**2 - n**3. Is a(9) a multiple of 11?
True
Does 3 divide 28 - (4 + -8 + 0)?
False
Let u(y) be the first derivative of 49*y - 49*y + 3 + 2*y**2. Is 8 a factor of u(3)?
False
Let m be (0 - 1)/((-2)/(-18)). Let p be (m/6)/(6/(-448)). Suppose 0*g = -5*y - 5*g + 100, 5*y + g = p. Is 10 a factor of y?
False
Let f(g) = 2*g**3 + 18*g**2 + 6*g + 4. Is 10 a factor of f(6)?
True
Suppose -2*k + 573 - 245 = 0. Does 82 divide k?
True
Suppose 3*c - 2*h - 1714 = 0, -5*c + 2855 = 28*h - 31*h. Is c a multiple of 12?
False
Suppose 0 = 40*y - 51*y + 3971. Is y a multiple of 24?
False
Let m(y) = -y**3 + 11*y**2 + 16*y - 20. Is 23 a factor of m(11)?
False
Suppose 0 = -168*d + 161*d + 315. Is d a multiple of 9?
True
Let x be 2/3 + 8/(-3). Let n be x/(-5) - (-16)/(-40). Suppose -5*w + i = -102, n*i = -2*w - 3*i + 34. Does 5 divide w?
True
Let j(t) = -t**3 + 14*t**2 + 16*t - 13. Let b be j(15). Suppose -3*y - b*l + 433 = 0, 2*y - 5*l = 4*y - 307. Is 8 a factor of y?
False
Suppose 0*w + 3*j - 30 = 3*w, -j = 0. Let z be 0*(-4)/(-8) - 276. Is 10 a factor of z/(-27) - w/(-45)?
True
Let h(n) = n**2 - 19*n - 68. Is h(-17) a multiple of 17?
True
Does 18 divide (-6)/(-10) - (-434)/10?
False
Let u(w) = 2*w**2 + 2*w - 4. Let a be u(-2). Suppose 3*c = -2*t + 404, t + 4*t + 5*c - 1020 = a. Is t a multiple of 26?
True
Suppose 5*j + 215 = y, -5*y + 3*y - 5*j = -460. Suppose 3*u - 5*n = -y, 2 = -u + n - 71. Is (-28)/u*(176 + -1) a multiple of 14?
True
Let s = 7 + 13. Suppose -4*f + 3*m = -s - 64, -82 = -5*f - 2*m. Does 3 divide f?
True
Suppose 2*t = -3*d + 157 + 51, 0 = -d. Let p = t - -28. Does 28 divide p?
False
Let d = 268 + -233. Does 5 divide d?
True
Suppose 12 - 15 = 3*m. Is 6/((-145)/155 - m) a multiple of 12?
False
Suppose -2*y = y + 225. Let g = y - -225. Suppose g = 4*a + a. Does 10 divide a?
True
Suppose 4*l - 2*c + 6 = 0, 4*l - 3 + 24 = -3*c. Let m = -46 + 65. Let g = l + m. Does 4 divide g?
True
Let b(i) = -42*i - 70. Is b(-11) a multiple of 23?
False
Suppose -27 + 59 = 2*y. Is 2 a factor of y?
True
Suppose 0 = -3*z + 6*z + 6, -3*z = 4*o + 6. Suppose 12*s = s - 99. Is o/(s/(-3)) + 12 a multiple of 6?
True
Let i be 91/(-2) - (-13)/(-26). Let t = i + -60. Let o = -71 - t. Is 35 a factor of o?
True
Suppose 2*k = 4*k. Suppose 4*f = -k*f + 256. Suppose 0 = 3*o - f - 32. Is 16 a factor of o?
True
Let u(c) = 8*c + 2. Let l be u(-1). Let m be 6/(-5 - -2) + 8. Does 17 divide (-302)/l - m/(-9)?
True
Let f(n) = -6*n - 5*n**2 + 12 - 3*n + 6*n**2 - 5*n. Is f(15) a multiple of 9?
True
Let x(r) = 10*r**2 + 2*r. Let i be (-4)/16 - (-14)/(-8). Does 9 divide x(i)?
True
Suppose -f - 3*f = -5*l + 5, -2*f + 2*l = 0. Let o = -2 + f. Suppose -4*r + 88 = 3*h, o*h - 57 - 19 = -r. Does 6 divide h?
True
Let a = -86 - -110. Suppose 2*b = 2*x + 186, -5*b + 2*b = 3*x - 249. Suppose 0 = -o - a + b. Is o a multiple of 16?
True
Let z(m) = 379*m**3 + 3*m**2 - 4*m + 2. Does 50 divide z(1)?
False
Let d(y) be the second derivative of y**3/6 - 6*y**2 - 4*y. Let c be d(9). Let v(w) = 4*w**2 + w - 1. Is v(c) a multiple of 12?
False
Let r(i) = -8*i + 6. Let o(a) = -9*a + 6. Let t(x) = -5*o(x) + 6*r(x). Let k be t(6). Is (-3)/k - (-95)/4 a multiple of 12?
True
Let y(g) = -7*g**3 + 64*g**2 - 2*g + 7. Is y(7) a multiple of 28?
True
Does 103 divide 8 + ((-15)/(-9) + -5)*-1728?
True
Does 16 divide 816/((-186)/(-24) - 7)?
True
Let x(h) = -h + 12. Let o be x(9). Suppose -o*l + 54 = 9. Suppose 5*i - l = 2*i. Does 3 divide i?
False
Suppose 43 = 5*q - 487. Is -2*(q/(-4) 