 v = 9 - -143. Is 68 a factor of v?
False
Let i(m) = 3*m**2 + 6*m + 18. Does 42 divide i(7)?
False
Suppose x + 597 = l + 8, 5*x + 581 = l. Is 3 a factor of l?
True
Let t = -298 - -391. Is 13 a factor of t?
False
Let k = 64 - 64. Is 27 a factor of (-7 + 16)/(1/18 + k)?
True
Suppose 4*k = -3 + 299. Let p = 146 - k. Does 13 divide p?
False
Suppose 9*n = 13*n. Let g be n/(-2)*(4 - 5). Is 12 a factor of g/(-12) - (0 + -24)?
True
Suppose -15033 - 29167 = -50*t. Is t a multiple of 8?
False
Suppose k - 1432 = 4*p - 5872, 4*k = 0. Does 24 divide p?
False
Suppose 3*r = r + 930. Let o(n) = -n**2 - 5*n - 3. Let p be o(-2). Suppose p*h - r = -2*h. Is h a multiple of 31?
True
Is 9 a factor of (28/56)/(3/40)*66?
False
Suppose -91329 = -53*p - 20097. Is 20 a factor of p?
False
Suppose 32 = 5*m - 3*z, -2*m + 4*z + 4 = -5*m. Suppose -3*u + 2*h + h = -213, -274 = -m*u + 2*h. Is u a multiple of 20?
False
Suppose -2*o = 6*o. Suppose o = 4*h + h - 25. Does 5 divide h?
True
Let g(o) = 5 - 2*o + 3 - 8*o + 7 - o**3 + 8*o**2. Is g(6) a multiple of 20?
False
Let k(v) = v**2 + v + 4. Let w be k(0). Suppose -i + 20 = -0*i + w*a, -a = 2*i - 12. Let y = 42 - i. Is y a multiple of 14?
False
Suppose -10*z = -12*z + 688. Is 22 a factor of z?
False
Let j be 2 + (-1 - 0) + 0. Is (-3 - (-2 + j)) + 158 a multiple of 39?
True
Let q(i) be the third derivative of i**5/60 + i**4/4 + 2*i**3/3 - i**2 + 4*i. Is q(-6) a multiple of 3?
False
Suppose -9*x = -18 - 36. Suppose -x*k = 3*k - 1431. Is k a multiple of 27?
False
Suppose -29 = -5*p + 11. Let o = -14 + p. Does 16 divide (1/2)/(o/(-576))?
True
Suppose 10 = -2*f + 4*d + 22, -2*d = f + 6. Let q(u) = u - 5. Let t be q(5). Suppose -x - 3*b + 48 = t, -x + 33 = -f*x - 2*b. Is x a multiple of 14?
False
Let s(y) = y + 6. Let a be s(6). Let n(h) = 7*h + 8. Is n(a) a multiple of 14?
False
Let z(u) be the second derivative of u**4/6 - u**3/2 - u**2/2 - 4*u. Let r be z(3). Suppose -3*w + 6*l = l - 74, -w + r = -5*l. Is w a multiple of 11?
True
Suppose -5 = 10*v - 5*v. Let l = 5 + v. Suppose l*u = -0*u - 4*j + 16, 2*j = -u. Does 3 divide u?
False
Let r = -1356 - -1930. Is 7 a factor of r?
True
Suppose 3*p - 24 = -p. Does 3 divide (-36)/(-8) + p/4?
True
Let w = -21 - -22. Let y be -2 + (-2 - -7) + w. Suppose 21 = -y*q + 309. Is 24 a factor of q?
True
Let g be (-21*(-4)/8)/(1/2). Suppose -g*c + 18*c = -219. Is c a multiple of 9?
False
Suppose -5*a + 22 = 132. Let m = -13 - a. Does 9 divide m?
True
Suppose -29*w + 19*w - 40 = 0. Is 7 a factor of 72 + ((5 + w)*1 - 3)?
True
Let b(l) be the third derivative of l**7/2520 + l**6/80 - 17*l**5/120 - l**4/12 - 2*l**2. Let i(o) be the second derivative of b(o). Is 10 a factor of i(-13)?
False
Let c = 1660 + -745. Is 15 a factor of c?
True
Suppose 4*x - 2*f = -2, -3*f = -3*x - x - 5. Let b be (2/(-4) + x)*2. Is 20 a factor of (0 + 1)/(b/50)?
False
Suppose -7*d + 4 = -8*d. Let z(x) = -10*x + 15. Let a(r) = 3*r - 5. Let t(c) = d*z(c) - 14*a(c). Is 9 a factor of t(-8)?
False
Let o = 119 - 208. Let p(m) = -40*m - 34. Let f be p(-5). Let y = f + o. Is y a multiple of 11?
True
Suppose -3*p + 595 = -p - g, -3*p + 2*g = -892. Is 3 a factor of p?
False
Suppose -5*p = -6*p + 219. Suppose 3*d = -0*d + p. Is d a multiple of 10?
False
Suppose -3*g = f - 0*f - 10, g = -1. Let k be (2/4)/(2/264). Suppose -j - 5*y + 16 = 0, -2*j = 3*y + f - k. Does 11 divide j?
False
Suppose -4*s = s - 55. Let j = 10 - s. Is 11 a factor of 294/9 - j/3?
True
Let d(z) = 3*z**3 - 2*z**2 - 4. Suppose 9*l - 20 = 4*l + 2*v, -4*v = 0. Does 30 divide d(l)?
False
Suppose 0 = 2*a + 1 - 5. Is 9 a factor of (7 - -21) + (0 - a)?
False
Suppose 0 = 8*b - 563 - 453. Does 3 divide b?
False
Is 0 - (-140 + 1 + (-22 - -19)) a multiple of 5?
False
Let y(r) = -r**2 - 35*r - 59. Does 43 divide y(-30)?
False
Suppose -3 = 3*s + 6. Let o be s*(-4)/6*-1. Let f = 9 + o. Is f a multiple of 2?
False
Suppose -5*f + 95 = 5*x - 50, 5*x - 125 = -f. Is 14 a factor of x?
False
Let v(w) = -w**3 + 14*w**2 - 17*w + 16. Suppose -8*n = -95 - 1. Is 20 a factor of v(n)?
True
Let w(j) be the first derivative of -j**4/4 - j**3/3 - j**2/2 + 9*j - 5. Let i be w(0). Suppose -i*r + 5*r = -12. Is 3 a factor of r?
True
Let d(c) = 2*c**3 + 26*c**2 + 14*c - 21. Is d(-11) a multiple of 7?
False
Let d be (-2)/(-4) + 70/20. Suppose j - d*j = 0, 0 = -u + 3*j + 50. Does 10 divide u?
True
Let f = 39 + -36. Suppose -2*v - 83 = -f*r + 33, -4 = 4*v. Does 8 divide r?
False
Let s(a) = -29*a + 99. Is 20 a factor of s(-9)?
True
Let i = 8 - 3. Suppose -n - i*u + 22 = 0, 4*u - 26 = -n - 4*n. Suppose -5*s - 2*w = -n*s - 99, 4*s = -5*w + 132. Is 12 a factor of s?
False
Let k be (-3)/(-2)*168/63. Does 26 divide 700/9 - k/(-18)?
True
Suppose 5*m - 2*t = 8708, -5*m + 9*t + 8714 = 13*t. Is m a multiple of 26?
True
Suppose 0 = -2*l - 5*u + 4*u + 1, -5 = -5*u. Suppose l = -3*y + 7*y - 408. Is 27 a factor of y?
False
Suppose -4837 = -2*b - k, -3*b + 7251 = -12*k + 9*k. Is 31 a factor of b?
True
Suppose 0 = -7*x + 249 - 18. Let l(z) = -7*z - 5. Let d be l(-5). Suppose d = i - x. Does 21 divide i?
True
Let o(p) = -p**2 + p + 1. Let s be o(0). Suppose -4*q + m - 3 = -s, 3 = 5*q - 4*m. Is 7 a factor of ((-4)/(-5))/q*-15?
False
Suppose 3*t = 95 + 91. Let m = -75 + 199. Let k = m - t. Does 19 divide k?
False
Does 18 divide 1 - -11 - (-1472 + -44)?
False
Let u(s) = -s**2 + 6*s + 6. Let v(m) = 8*m + 2*m**2 - 3*m**2 - 11 - 21*m + 2*m**2. Let c(h) = -5*u(h) - 3*v(h). Is 24 a factor of c(5)?
False
Suppose -4*t + 2530 = -3*g, 0*g + 1908 = 3*t + 3*g. Does 13 divide t?
False
Let i(o) = -7*o - 22. Suppose -4*f - 20 = -2*f. Let d be i(f). Does 20 divide ((-15)/(-6))/(2/d)?
True
Let u = 181 - 123. Suppose -u - 120 = -2*s. Let x = 128 - s. Is 9 a factor of x?
False
Let t(g) = 14*g + 1. Let i be t(1). Let f = i - -3. Does 4 divide f?
False
Let g be ((1 + -4)*3)/(18/(-12)). Suppose -g*b - 7*b + 702 = 0. Is b a multiple of 9?
True
Let s = -24 + 27. Suppose -2*g - 4*d = -4, 3*d - d = -s*g + 6. Suppose -n - 54 = -2*n - g*z, -209 = -4*n - z. Is 12 a factor of n?
False
Suppose -3*z = -4*t + 643 + 371, 4*t - 1004 = -2*z. Does 12 divide t?
True
Let d = 43 + 164. Let z = d + -78. Does 17 divide z?
False
Let u = 36 - 58. Suppose -2*j + 255 = 3*j - 5*q, j - 3*q - 53 = 0. Let r = u + j. Is 14 a factor of r?
True
Let g = 66 - 63. Suppose p - 4*p - 249 = -j, 5*p = g*j - 763. Is j a multiple of 15?
False
Suppose 0 = -196*n + 192*n + 7340. Is 58 a factor of n?
False
Suppose -107 + 527 = 7*s. Does 5 divide s?
True
Is 83 + (1 - 5) + 16/2 a multiple of 29?
True
Suppose 0 = -4*w + 5*w. Let l = 5 - w. Suppose -l*u - 5 = -45. Does 4 divide u?
True
Let m(v) = -5*v**2 - 3*v + 3. Let i(h) = -6*h**2 - 3*h + 2. Let c(u) = -7*i(u) + 6*m(u). Is c(3) a multiple of 9?
False
Let z be 3/((-21)/4) - 12428/(-91). Let v = z + 74. Is 42 a factor of v?
True
Let j(f) = -f**3 - 8*f - 36. Is 63 a factor of j(-8)?
False
Suppose 5*z - 5*i + 708 - 3273 = 0, -2*i = 2*z - 1018. Is z a multiple of 10?
False
Suppose -16 = -u - 13. Suppose -u*k + 0*k - 15 = 0, -5*k + 251 = t. Is 23 a factor of t?
True
Let v(f) = f**3 - 5*f**2 - 9*f + 1. Let b be v(11). Let h = b + -430. Is 33 a factor of h/1*(-2)/(-3)?
True
Suppose u - 6 = -u. Suppose 0 = u*c - 0 + 3. Let d(g) = 47*g**2 + 2*g + 1. Is 14 a factor of d(c)?
False
Let c = 754 - -240. Does 25 divide c?
False
Let g(d) = 4*d**3 - 7*d**2 + 9*d - 6. Let a be g(4). Let k = -102 + a. Does 9 divide k?
True
Suppose 2*m - 6*m = -4104. Does 38 divide m?
True
Let a = -4 - -6. Suppose -a*p + 5 = -p. Let c(n) = 5*n + 10. Is c(p) a multiple of 7?
True
Let o be -2*(-2)/1*1. Suppose -2*f = -12 + o. Suppose -f*x + 17 = -367. Is x a multiple of 32?
True
Let r = 176 - -22. Does 22 divide r?
True
Suppose -79 + 490 = -3*t. Let p = 231 + t. Does 25 divide p?
False
Suppose 6*s - 10 = s. Let o(w) = -12*w**2 - 3*w - 1. Let r(g) = 12*g**2 + 2*g + 1. Let v(d) = s*o(d) + 3*r(d). Does 6 divide v(1)?
False
Let m(x) = x**3 - x**2 + 1. Let z be m(0). Suppose a + 3*v + 8 - z = 0, -4*a - 3*v = -8. Let p = a + 13. Does 18 divide p?
True
Let p(b) = -2*b**2 + 3*b + 4. Let l be p(3). Let a(q) = -13*q - 9. Is 14 a factor of a(l)?
True
Suppose -28 - 9 = 2*g + 5*q, 2*g + 31 = -3*q. Let f(r) = -10*r + 17*r - r**2 - 5 + 2*r + 2*r**2. Is f(g) a multiple of 17?
True
Let t(m) = 