ppose 2*o = -5*b + 312, -4*o = -3*b - b - 680. Suppose 3*s - 835 = -o. Suppose -40 - s = -4*t + 3*h, -5*h = 2*t - 125. Is 13 a factor of t?
True
Suppose 0 = -7*u - 67 - 346. Does 15 divide 2/8 + u/(-4)?
True
Suppose -2803 = -d - 5*j, 2*d + 4*j - 2345 - 3243 = 0. Does 34 divide d?
True
Let s(f) = -8*f**2 + 13*f + 1. Let z be s(-8). Does 14 divide (-3)/9*z/5?
False
Let v(k) = -k**3 - 8*k**2 + k + 7. Let y be v(-8). Let c be (y/3)/((-5)/(-615)). Let f = 60 + c. Is f a multiple of 9?
False
Let c(j) = -19*j**3 - 7*j**2 - 4*j + 8. Let n be c(-4). Does 19 divide 9/15 - n/(-20)?
True
Suppose -s = 2*v - 894, -3558 = -4*s + 17*v - 16*v. Is s a multiple of 39?
False
Suppose -2*x = -3*h + 17, 0 = 2*h - 10. Let o(m) = 2*m + 55. Let r be o(-27). Is 13 a factor of x + r/(3/42)?
True
Suppose -4*f + 164 + 172 = 0. Does 14 divide f?
True
Suppose -173 = -k + 5*u + 126, 3*u = -5*k + 1495. Is 5 a factor of k?
False
Let k = 891 + -727. Does 82 divide k?
True
Let j(d) be the third derivative of d**6/120 - 13*d**5/60 - d**4/3 - 9*d**3/2 - 13*d**2. Is 32 a factor of j(14)?
False
Let n(m) = -2*m**2 - 8*m + 3. Let b(h) = 5 + 2 - 1 - 17*h - 4*h**2. Let i(f) = 4*b(f) - 9*n(f). Is i(6) a multiple of 29?
False
Let g(a) = -66*a + 60. Is 17 a factor of g(-22)?
False
Let c(b) = 8*b - 43. Is c(21) a multiple of 8?
False
Does 5 divide 3/4 + (-38050)/(-200)?
False
Let c = -9 + 11. Suppose 5*b - 20 = 0, -2*b + 175 = 3*i + c*b. Does 19 divide i?
False
Let i(n) = -46*n + 110. Is 80 a factor of i(-12)?
False
Suppose 0 = -10*j + 9*j. Suppose 0*r = -r + 3*h + 47, j = 3*r - h - 149. Is r a multiple of 25?
True
Let z(r) = -2*r**3 - r**2 + 4*r + 3. Let q be z(-2). Let a = 8 - q. Let c(y) = 18*y**3 + y**2 - 1. Is c(a) a multiple of 18?
True
Is 2 a factor of 4*-1 + 2916/36?
False
Let r be (-4)/(-48)*9*4. Suppose -r*i + 34 + 23 = 0. Is 4 a factor of i?
False
Let b = 135 + -31. Let p = b - 73. Is p a multiple of 9?
False
Let w(r) = -r + 11. Let v be w(8). Let q(i) = 3*i - 6. Let y be q(v). Is y/(12/(-14))*-6 a multiple of 15?
False
Suppose q - 14 = -5. Let k be (-7700)/(-99) + 2/q. Suppose -146 = -5*v - 3*t + 104, -v + 5*t = -k. Is v a multiple of 31?
False
Let v = -970 + 2246. Does 11 divide v?
True
Let h = -88 - -88. Suppose 0 = -z - 0*z, h = 3*a + z - 192. Does 5 divide a?
False
Let z be (186/24)/((-3)/12). Let g be z/(-2) - 2/(-4). Let a = 37 - g. Is a a multiple of 7?
True
Suppose 6*g - 7*g = -32. Let q = -17 + g. Suppose 3*h + q = 8*h. Is h a multiple of 3?
True
Let q(g) = 3*g**3 + g**2 - 3*g + 2. Let f be q(1). Suppose 4*b - 4 = 0, 7*v = f*v + 2*b + 118. Does 13 divide v?
False
Suppose -4*f + 124 + 224 = 0. Is 29 a factor of f?
True
Let g be (-1)/(3/36*-3). Let i(z) = z**2 - z - 6. Let k be i(g). Suppose -3*x = 2*y - 130, 2*y - k + 14 = 0. Is x a multiple of 7?
False
Let o = 12 - 39. Is ((-12)/(-10))/(o/(-990)) a multiple of 22?
True
Let w be 1/2*(-46 - 2). Let k be (2/3)/((-2)/w). Suppose k*x - 7*x = 12. Does 4 divide x?
True
Suppose -3*k - 27 = -3*n, -4*k + 13 = -3*n - 9*k. Let a(o) = 61 - 4*o + 43 - o**2 + n*o. Is a(0) a multiple of 29?
False
Suppose 6324 = 7*v + 360. Is 119 a factor of v?
False
Suppose 3*d - 564 = -4*k, -8*d + 416 = 3*k - 4*d. Suppose -14*v + k = -5*v. Does 8 divide v?
True
Suppose -m = -3*b - 162, 5*m - 9*m + 609 = b. Is m a multiple of 3?
True
Suppose 5*c + 441 = 2*u - 6*u, 3*u = 3*c + 243. Let o = -1671 + 1844. Let m = c + o. Is 22 a factor of m?
True
Let a(r) = -r**2 + 8*r - 13. Let u be a(3). Let f(h) = h**2 + h - 4. Let z be f(-6). Suppose z = u*t - t. Does 26 divide t?
True
Let x = 5 - 5. Suppose -3*q = 0, p - 2*p - q + 126 = x. Suppose -5*a - 94 = -3*z, 3*z - p = 2*a - 5*a. Does 8 divide z?
False
Let s = 147 - 73. Is 35 a factor of s?
False
Let w(l) = 22*l**2 + 10*l + 8. Is 36 a factor of w(-5)?
False
Suppose 2*v + 312 = r, -19*r = -14*r + 4*v - 1518. Does 5 divide r?
False
Let b(q) = -q**3 - 8*q**2 - 11*q - 23. Let d be b(-7). Suppose -d*s + 4*s = -24. Does 6 divide s?
True
Let k(r) = -r**2 - 21 + 45 - 23 - 14*r**3. Is 7 a factor of k(-1)?
True
Let n = -983 - -1200. Does 11 divide n?
False
Suppose 42 = -4*y - 126. Does 9 divide y/98 + (-1392)/(-14)?
True
Suppose -2*b = -4*b + 58. Suppose 0 = -2*l + 2*c + 223 - b, -c - 301 = -3*l. Suppose -z + 112 = 5*u - 58, -3*u - 4*z = -l. Does 18 divide u?
False
Suppose 80*x = 83*x - 13662. Is x a multiple of 18?
True
Let m be (-4 - 1) + 0 + 2. Let q be (85/m - -1)*-3. Suppose 28 = -3*i + q. Is i a multiple of 18?
True
Suppose -5*p + 18 = -d, 4*p = -d - d + 34. Suppose -70 = 2*a - d*a. Is 14 a factor of a?
True
Is 35 a factor of (6/(-2))/(24/(-3392))?
False
Let o = 783 + -533. Does 10 divide o?
True
Let g be ((-17)/(-2))/(3/54). Suppose -2*b - b + g = 0. Suppose 0 = q - 4*d - 66, -3*q = -3*d - 213 + b. Is 13 a factor of q?
False
Let y(p) = -p**3 - 2*p**2 + 5*p + 2. Let a be y(-3). Let k = 10 + a. Suppose -n + 45 = -k. Is 14 a factor of n?
False
Suppose -3*s + 2502 = 28*t - 27*t, 5*t + 4*s - 12532 = 0. Does 19 divide t?
True
Suppose 5*r = -3*t - 485, -6*r - 480 = -r + 2*t. Let a = r + 137. Is 8 a factor of a?
False
Let d(m) = m**3 + 18*m**2 + 12*m - 35. Is 5 a factor of d(-17)?
True
Suppose 25*t - 4266 = 30484. Is 16 a factor of t?
False
Let w be (-8)/24 + 21/9. Suppose -2*q = -5*d - 5*q + 1290, -773 = -3*d - w*q. Does 11 divide d?
False
Suppose -5*h - 823 = -4*j, 0 = 3*j + 2*h - 792 + 146. Let i(q) = -q**3 + 8*q**2 - 14*q + 84. Let v be i(6). Suppose 4*k = j - v. Does 12 divide k?
False
Let v be 3 + 20/(16/(-4)). Let g be (-3)/((-7)/v - 2). Is 14 a factor of 1 - (2 + g) - -27?
True
Let x(i) = -i**3 + 3*i**2 + 2. Let j be x(4). Let v = j - -29. Is 15 a factor of v?
True
Is 13 a factor of (56/(-12) - -5) + (-568)/(-6)?
False
Suppose -5*y - 2875 = -2*d, -13*d + 9*d + 5765 = 5*y. Is d a multiple of 36?
True
Suppose l - 3*i = 21, -4*l - l = -2*i - 40. Does 3 divide l?
True
Let z(y) = y**2 - 11*y - 19. Let p(h) = -3*h**2 + 22*h + 39. Let c(v) = 2*p(v) + 5*z(v). Let j be c(-12). Let o = -13 - j. Is 8 a factor of o?
True
Suppose 0 = 5*j + 4*a - a - 83, -4*j + 3*a + 88 = 0. Let b = 57 + j. Does 13 divide b?
False
Let n(i) = 174*i**2 + 4*i - 1. Is n(1) a multiple of 59?
True
Let j(o) = -o + 1. Let p(n) = 5*n - 10. Let b(k) = -6*j(k) - p(k). Is 2 a factor of b(-2)?
True
Suppose 0 = -3*o + 17 - 761. Let j be o/14 + 2/(-7). Does 7 divide (-9)/(j/20) - -3?
False
Let q(u) = -8*u + 19. Let m be q(6). Let x = m + 48. Is x a multiple of 16?
False
Let w be (-21)/(-49) + 32/7. Suppose -8*k + 156 = -w*k. Is 13 a factor of k?
True
Is 13 a factor of -34*(-5)/((-30)/(-78))?
True
Suppose -18*x + 22*x - 610 = -2*w, -3*w + 924 = -3*x. Is 6 a factor of w?
False
Let v(q) = 122*q**2 + 9*q - 9. Does 3 divide v(1)?
False
Let z = 5 - -394. Is 19 a factor of z?
True
Suppose 135 = v + 3*d - 103, -v + 230 = -5*d. Suppose 3*p + 457 = 4*k, 4*k + 2*p + v = 677. Suppose -3*g + 12 - 30 = -l, -4*l + 2*g + k = 0. Does 13 divide l?
False
Let l be 8/40 + (-98)/(-10). Let q(a) = 3*a - 9. Is q(l) a multiple of 7?
True
Let n = -225 + 657. Does 8 divide n?
True
Let g = 926 + 205. Does 29 divide g?
True
Let a be -4*(-1 + 4 + -2). Let w(s) = -s**2 - 9*s - 5. Let x be w(a). Suppose d - 2*y = 1, 2*y - x = -d - 3*y. Is d a multiple of 5?
True
Let i = -14 + 16. Suppose -2*r - 4 = i, -r + 39 = 2*w. Suppose w = 5*l - 34. Is 11 a factor of l?
True
Let l(y) = -y**3 + 7*y**2 - 2*y + 5. Does 5 divide l(3)?
True
Does 12 divide (154/55*-10)/(2/(-144))?
True
Let y = -11 + 7. Let i = 16 + y. Suppose -i = 2*o - 3*o - 4*w, -3*o + 80 = w. Is o a multiple of 28?
True
Suppose -33*u + 81*u = 8112. Is 63 a factor of u?
False
Let p(f) = 2*f**2 + 8*f - 2*f**2 + 0*f**2 - 5 - f**2. Let g be p(7). Suppose -4 = s, g*x - s + 39 = 3*x. Is x a multiple of 19?
False
Let n be ((-216)/(-45))/((-2)/(-50)). Suppose 22*o - 19*o - n = 0. Is o a multiple of 5?
True
Suppose -3*t + 25 = -2*d, t - 3*d = -2*t + 30. Suppose -12 = 5*r - 3*g, g - 20 = t*r - 4*g. Suppose -3*c - 37 + 154 = r. Does 23 divide c?
False
Let c = -11 - -6. Let t be (1 + -1)/((-20)/c). Is 2/(t + (-1)/(-6)) a multiple of 4?
True
Let w = 14 - 16. Let j be -2 - (w + -2 + 6). Is ((-36)/(-8) + j)*178 a multiple of 27?
False
Let x = 46 - -29. Is 14 a factor of x?
False
Let v be (-60)/9*(-48)/10. Suppose 7*j - 5*j = v. Is j a multiple of 8?
