pose r + g*r = 90. Is 9 a factor of r?
True
Suppose -3*j + 2*j + 5*d - 118 = 0, 4*j + 424 = 4*d. Let g be (-4)/(-14) - j/7. Is 3 a factor of (12/g)/(8/60)?
True
Let o(k) = k**2 + 3*k + 1. Let g be o(3). Suppose -161 - g = -5*t. Is t a multiple of 28?
False
Let n = -748 - -1938. Is 70 a factor of n?
True
Suppose 4076 + 368 = 4*b - q, 5558 = 5*b - 2*q. Does 111 divide b?
True
Let u = -8 - -11. Let m = -1 + u. Suppose 48 = h + 5*j, 3*h + 4*j = m*j + 92. Is h a multiple of 14?
True
Let r(q) = -q**3 - 5*q + 936. Is r(0) a multiple of 61?
False
Let d = -475 + 580. Is 2 a factor of d?
False
Is (-20)/(-75)*5*330 a multiple of 24?
False
Let c(u) = -3 - 4*u - 2 - 6*u - u**2 + 0*u**2. Let p be c(-9). Suppose v = p*m - 3, m + 4 - 26 = -4*v. Is v even?
False
Let z(b) = -b**2 - 11*b - 9. Suppose 32 = 5*r - 2*t, -2 = -t - 3. Suppose 0 = 4*v - 4*g + 20, v + 2*g - r*g = 1. Is 19 a factor of z(v)?
True
Let l = -2 + 4. Let f be l - (2 - 0/1). Suppose -t - 5*z = -f*z - 28, 4*t - z - 154 = 0. Is 11 a factor of t?
False
Let u(o) = -o**3 - 14*o**2 - 18*o - 7. Let z be u(-13). Suppose 0 = 2*n - 0*n - z. Does 8 divide n?
False
Let i be (-1080)/(-11) + 4/(-22). Is 23 a factor of (i/(-42))/(1/(-69))?
True
Let i = 1425 - 941. Does 20 divide i?
False
Let s = 1019 + -879. Is s a multiple of 70?
True
Suppose -216 = -10*z + 224. Is 515/9 - (-1 - z/(-36)) a multiple of 19?
True
Let b(f) = f**3 - 4*f**2 - 7*f + 14. Let c be b(5). Let s(r) = -9*r - 7. Let t(m) = -8*m - 6. Let u(x) = 2*s(x) - 3*t(x). Is 10 a factor of u(c)?
False
Let q(r) be the second derivative of -167*r**3/6 - 13*r**2/2 + 18*r. Is q(-1) a multiple of 56?
False
Suppose 12*m = 16366 + 9626. Is m a multiple of 10?
False
Let b be (-14)/(-35) - (-554)/(-10). Let n = 20 - b. Suppose 194 = 4*p + 2*w, 0 = 5*p - 3*w - 312 + n. Does 24 divide p?
True
Let x = 16 - -34. Let g be 2 + (3 + -39)/1. Let i = x + g. Is 16 a factor of i?
True
Suppose 0 = -3*m + 3, 5*m + 2 = -t + 7. Let p(v) = -v**3 - v**2 + v + 12. Is 5 a factor of p(t)?
False
Suppose 2*a = 4*a - 30. Let w be 99/a - (-4)/10. Let i(j) = j**3 - 8*j**2 + 8*j + 2. Is i(w) a multiple of 9?
True
Let i(y) = 7*y**3 - 13*y**2 - 6*y + 7. Let r(n) = 6*n**3 - 12*n**2 - 5*n + 7. Let a(s) = -5*i(s) + 6*r(s). Let d be (-24)/20*(-40)/6. Is 12 a factor of a(d)?
False
Let n be (-4)/2 + 0 + 4. Suppose -q - 5*c = n*q - 233, 2*c = 3*q - 205. Suppose 45 + 260 = 4*l + 5*f, -4*f - q = -l. Is l a multiple of 17?
False
Let n(i) = -3*i**2 - 46*i - 7. Does 24 divide n(-7)?
True
Let j(n) = 46*n - 4. Is j(4) a multiple of 15?
True
Suppose 42*u = 33*u + 891. Is u a multiple of 2?
False
Suppose -252 = -3*p + 5*f, 19*p + 4*f - 252 = 16*p. Is 14 a factor of p?
True
Suppose 0 = -10*w + 15*w - 215. Suppose -r - 3 = -0*r, -5*f + 104 = -3*r. Let k = w - f. Does 24 divide k?
True
Is 14 a factor of 3/12 + 42615/36?
False
Let f(z) = -13*z**2 - 6*z + 12. Let x(d) = -6*d**2 - 3*d + 6. Let r(t) = 4*f(t) - 9*x(t). Does 8 divide r(2)?
True
Suppose -2*k + 2122 = -2*s, 7*k - 4*k - 3179 = s. Is k a multiple of 64?
False
Let i(h) be the first derivative of 2*h**3/3 - 9*h**2/2 - 5*h + 3. Let a be i(5). Suppose 0 = -3*g + 3*y + 111, -2*y - 3*y + 25 = a. Is g a multiple of 6?
True
Let y(n) be the first derivative of n**4/4 - 3*n**3 + 8*n + 9. Does 2 divide y(9)?
True
Let x(i) = 2*i**2 - 10*i - 23. Let j be x(10). Suppose -3*g = -j + 20. Let s = -11 + g. Is s a multiple of 5?
False
Let a(q) = q**2 - 9*q + 2. Let z be a(9). Suppose -c - 13 = -t + z*c, -5*t = 3*c - 65. Does 4 divide t?
False
Suppose 14*r = 38*r - 8184. Does 31 divide r?
True
Is 16 a factor of 40/180 - 1722/(-27)?
True
Let p(h) = -2*h**3 - 9*h**2 - 8*h + 2. Let r be p(-7). Let c = -193 + r. Suppose 164 = 3*g - 4*o, -2*g = -6*o + 3*o - c. Is 13 a factor of g?
True
Let g(c) = 2 - c - 5 + 3. Let z be g(-7). Suppose -z*r = -5*r - 98. Does 23 divide r?
False
Suppose -2 = -2*z + 8. Suppose -z*h = 64 - 259. Does 5 divide h?
False
Let g(f) = f**3 - f**2 + 55. Suppose 24*x - 23*x = 0. Does 10 divide g(x)?
False
Let l = 0 - 0. Let w be l*(-3 + 5)/4. Suppose w = u + u - 130. Is u a multiple of 17?
False
Suppose -52*h = -46*h - 1056. Is h a multiple of 55?
False
Is 13 a factor of 48419/14 + 8/(-16)?
True
Let f be ((-8)/10)/((-4)/10). Suppose 5*c - 311 = 2*a, 2*a = -c + 7*a + 53. Suppose -25 = f*l - c. Is l a multiple of 16?
False
Let h(q) = -15*q**2 - 1. Let l be h(3). Let s = 220 + l. Suppose -5*u + 78 = -2*u - 4*i, 3*u - s = 2*i. Is u a multiple of 10?
True
Let c(d) = -2*d + 1. Let v be c(0). Does 12 divide v*(-108 + -3)/(-3)?
False
Is 52 a factor of 17772/27 + (-6)/27?
False
Suppose -7*r = -6*r. Is (r - (13 - 3))/3*-6 a multiple of 20?
True
Let c(d) = -d**3 - d**2 - d + 11. Is c(-5) a multiple of 29?
True
Let f = -23 + 26. Suppose -2*z - 79 = -5*i - 337, f*z + 3*i - 366 = 0. Suppose -t = 3*t - z. Does 31 divide t?
True
Let j(i) = i - 293. Let d(v) = -2*v + 732. Let b(l) = 5*d(l) + 12*j(l). Is b(0) a multiple of 13?
False
Let t = 2 + -64. Let u = 80 + t. Does 9 divide u?
True
Suppose 0 = i + 3*i - 32. Let o = i + -1. Is 2 a factor of o?
False
Let j(h) = h**2 - 42*h + 22. Is 20 a factor of j(-9)?
False
Let f = -1347 + 1771. Is f a multiple of 48?
False
Let l = 2 - 2. Suppose 0 = 5*p - l - 15. Suppose 0 = -p*t + t + 72. Is 17 a factor of t?
False
Let c(u) = -6*u + 1. Let s(k) = 7*k - 2. Let x(w) = -4*c(w) - 3*s(w). Let r be x(7). Let m = r - 3. Is 10 a factor of m?
True
Let h(t) = 2*t**2 - 34*t + 26. Let i(s) = -5*s**2 + 69*s - 52. Let d(l) = 7*h(l) + 3*i(l). Is 35 a factor of d(-23)?
True
Let y be ((-54)/15 + 2)/(2/(-35)). Suppose -4*b + y + 212 = 0. Is 20 a factor of b?
True
Let z be -3 - (-4 - (2 - 0)). Suppose z = -3*l, a - 4*a - 4*l = -29. Is 11 a factor of a?
True
Let w(q) = 3*q**3 + 7*q**2 + q - 3. Let a(v) = v**3 - v**2 - 1. Let g(u) = -2*a(u) + w(u). Does 13 divide g(-8)?
False
Let r(s) = -9*s**2 + 80*s + 1. Is 8 a factor of r(5)?
True
Is 1960 + 24 - (-2 + 6) a multiple of 33?
True
Let f(b) = b**3 - b**2 - 6*b + 1. Suppose 0 = 4*t - n - 16, t - 3*n + 0*n = 4. Is 25 a factor of f(t)?
True
Let f(s) = 2*s - 4. Let m be f(8). Let n(i) = -3*i - i - m - 7*i. Is n(-7) a multiple of 13?
True
Suppose -3*b = -929 - 1039. Does 82 divide b?
True
Let a be (4 - -1) + (-2)/2. Suppose 3*r + 65 = -a*o, -2*o + 6*o = -r - 19. Let b = -14 - r. Is 9 a factor of b?
True
Let d = 286 + -168. Let h = d + 25. Is 12 a factor of h?
False
Suppose 2*b = -22 + 6. Let n(m) = -10*m + 15. Does 11 divide n(b)?
False
Is 17 a factor of 13431/11 + 2 + 1?
True
Let m be 10/15 + (-22)/6. Does 24 divide 13192/153 + m*(-4)/(-54)?
False
Let k = -17 - -23. Suppose b = -5*m - 0*m + 6, -m = 2*b + k. Suppose m*w - 192 = -2*w. Does 16 divide w?
True
Let q(c) be the third derivative of c**6/120 + c**5/12 - c**4/24 + 11*c**3/6 - 6*c**2. Let l be q(-5). Suppose 99 + l = 5*z. Does 23 divide z?
True
Let p = 24 + -19. Suppose -557 = -p*s + 68. Is 25 a factor of s?
True
Suppose 873 = 52*t - 51*t. Is t a multiple of 15?
False
Let z(p) = -p**3 + p**2 - 1. Let x be z(1). Let k(g) = -50*g + 3. Is k(x) a multiple of 17?
False
Let d be (-2)/8 - (-185)/20. Let j = -9 + d. Suppose j = -0*y - y + 16. Is y a multiple of 8?
True
Let k = 6994 + -4895. Is 32 a factor of k?
False
Let l = 1270 + -746. Is 4 a factor of l?
True
Let o(h) = 24*h**2 - 5*h + 5. Let w be o(2). Let s be ((-36)/21)/((-2)/w). Suppose 3*j = 6*j - s. Is j a multiple of 12?
False
Let t = 5405 - 3005. Does 40 divide t?
True
Suppose 0 = 23*h - 1028 - 30. Is 2 a factor of h?
True
Does 13 divide ((-297)/(-18))/(3/26)?
True
Let m be (-18)/3*100/(-12). Is 25 a factor of 2530/m + (-6)/10?
True
Suppose -4*t - 30 = -10*t. Suppose -8 = t*u + 62. Is 10 a factor of 88/(-6)*21/u?
False
Suppose 4*c + 0*c + 132 = 3*v, -2*c = 5*v - 246. Suppose 2*b - 4 = -0*b, -4*q - 4*b + v = 0. Is 10 a factor of q?
True
Suppose 4*o + 0*o + 5*b + 116 = 0, 0 = 2*o + 4*b + 64. Let q(g) = -g - 8. Is 4 a factor of q(o)?
True
Let r = 251 + -171. Does 10 divide r?
True
Suppose 5*f = 1985 - 500. Suppose 97 - f = -5*q + m, 3*q + m = 112. Let c = q - 32. Is 6 a factor of c?
False
Let v(t) = t + 7. Let s be v(-5). Let d(z) = 27*z**2 + 3*z + 1. Is d(s) a multiple of 14?
False
Suppose 2*r + 97 = -5*y, 0 = -3*y - 2*r - 55 - 0. Let h be 9/6 + (-321)/(-6). Let m = y + h. Is 10 a factor of m?
F