de k(i)?
True
Suppose -8*u + u = -1008. Is u a multiple of 36?
True
Suppose -16 = -3*h + 2*p, -h + 5*h = 4*p + 16. Let y(g) = 56*g**3 + 6*g + 11*g**2 + 49*g**3 - 106*g**3 - 3*g**2 + 7. Is 12 a factor of y(h)?
False
Suppose -2687 = -4*v + 2305. Is v a multiple of 24?
True
Suppose 2*w + 16 = 6*w. Suppose 5*r + 16 = w*h, 5*h - 7 = 2*r + 13. Is h - (2 - (-4 - -52)) a multiple of 25?
True
Is 10 a factor of (-15406)/(-20) - 102/340?
True
Suppose 7*w = 4*w + 75. Let c = -17 + w. Suppose -o + 2*u + c = 0, 2*o - 54 = -3*o + 3*u. Is 6 a factor of o?
True
Suppose x + 2*i - 237 = 0, 0 = 2*x - 0*i + 2*i - 468. Suppose -2*g + 4*v + 51 = -105, 0 = -3*g + 5*v + x. Does 12 divide g?
True
Is 17 a factor of (-41976)/(-165) + (-4)/10?
False
Let l be (((-175)/(-4))/(-5))/((-6)/(-144)). Let a = -145 - l. Does 13 divide a?
True
Let l(n) = n**3 - 3*n**2 + n + 2. Let q be l(3). Suppose m - 3*m = q*r + 47, -m = -3*r + 51. Let t = m - -62. Is t a multiple of 7?
False
Suppose -2*u = 0, 3*u = 6*q - q - 5. Let l be 4*q/2*17. Suppose -2*m - 143 = -7*m + 2*j, m + 5*j = l. Does 10 divide m?
False
Suppose -2*g - 2 = -0*g - 2*b, 5*b - 5 = 3*g. Let o = g + -12. Let a(t) = t**2 + 10*t - 7. Does 16 divide a(o)?
False
Let y be (-3)/6*0/(-1). Suppose -h - 2*h = -4*x + 159, y = -3*x + 3*h + 123. Is 12 a factor of x?
True
Let g be (0/4)/(2 - 1). Suppose -44 = -4*b - 2*o, g*b + 3*b - o = 38. Let x = b + 6. Is 6 a factor of x?
True
Suppose -15*i - 181 = -31. Is 35 a factor of 2/i - (-2873)/65?
False
Suppose -4*a - 5*x = -0*x - 199, -3*a + x + 173 = 0. Suppose -4*n + 0*n + 2*y + a = 0, -3*n = -y - 41. Does 3 divide n?
False
Let f(o) be the third derivative of -o**4/3 - 35*o**3/2 + 7*o**2 + 2. Does 3 divide f(-15)?
True
Is 4 a factor of (-43)/(6/((-126)/7))?
False
Is ((-72)/28)/6 - (-17628)/21 a multiple of 52?
False
Suppose 4*t + 3*j - 438 - 133 = 0, -t + 146 = 4*j. Is 71 a factor of t?
True
Suppose 0*u + 2*u = -2*l + 158, 89 = u - 4*l. Is 6 a factor of u?
False
Let w(s) = -s**3 + 10*s**2 + s - 10. Let u be w(10). Let b be (-10)/(-5) - (3 + -5). Let f = u + b. Does 4 divide f?
True
Suppose -4*g - 135 = -495. Let t = -57 + g. Does 11 divide t?
True
Suppose -2*w + 400 = 4*d, 3*w - 172 = 2*w + 5*d. Is w a multiple of 16?
True
Let v(j) = 19*j - 4. Let u be v(4). Let m = u + -38. Does 7 divide m?
False
Is -19*(-1)/(1030/(-345) + 3) a multiple of 23?
True
Suppose 24 = -6*l + 156. Suppose 0*b + 2*b + 10 = 0, 0 = 2*f - 5*b + 3. Let u = l + f. Is 4 a factor of u?
True
Let j(n) = 5*n - 21. Let h be 25 - 0 - (5 - 3). Suppose h + 55 = 6*d. Is j(d) a multiple of 9?
False
Let p(g) = g**3 - 9*g**2 - 2*g + 1. Let v be p(5). Let t = v - -191. Does 41 divide t?
True
Suppose 0 = -6*r + 8 + 16. Let i(t) = -t**3 - 3*t**2 - 3*t - 6. Let y be i(-4). Suppose y = 3*a + r. Is a a multiple of 6?
True
Suppose 0 = -22*y + 6*y + 8496. Is 9 a factor of y?
True
Suppose -3*p - 2*n + 7 = 0, -n = -3*p + 19 - 0. Suppose -2*a = -p - 5. Suppose -191 = -a*j + t + t, 4*t + 109 = 3*j. Is 13 a factor of j?
True
Let s be 2/(2*(-2)/30). Let q = -15 - s. Suppose 5*i - 8*i + 60 = q. Is i a multiple of 10?
True
Suppose 9*m = 6*m + 12. Suppose -7*n = -3*n - m. Is 9 a factor of 18 + 3 - n*4?
False
Let z = -129 - -324. Suppose 3*a + 0*y - y - 300 = 0, z = 2*a + y. Is 11 a factor of a?
True
Suppose 0 = -16*g - 68*g + 84084. Is g a multiple of 7?
True
Suppose -4*a - 302 = -u, -6*u + 2*a + 1474 = -u. Suppose 0 = -4*n - 4, -j + 6*j - u = -n. Does 15 divide j?
False
Suppose -3*t + 240 = -3*j, 5*j - 2*j - 96 = -t. Suppose -4*v - 32 + 2 = -2*q, -4*v - q = 15. Does 10 divide (1 - v)*t/9?
False
Let h(s) = -55*s - 147. Is 21 a factor of h(-16)?
False
Let d(h) = 9*h + 10. Let r be d(-7). Let w = -31 - r. Is 22 a factor of w?
True
Suppose -6 = 2*j - j. Let p(q) = q + 10. Let r be p(j). Suppose 0*x + 68 = r*x. Is x a multiple of 14?
False
Let y(b) = -b**3 + 22*b**2 - 18*b - 58. Let g be y(21). Let m be 1274/8 + 2/(-8). Suppose g*l - m = -3*u, 3*u = -5*l - u + 162. Is 15 a factor of l?
True
Is 62 a factor of 3/2*526594/843?
False
Suppose 0 = -18*z - 701 + 3077. Is 12 a factor of z?
True
Suppose -5*l = 3*r - 6227, 0 = -28*l + 33*l - 2*r - 6232. Is 31 a factor of l?
False
Let a = 21 - 8. Suppose a*n = 8*n + 25. Does 5 divide n?
True
Suppose 8*v = 7*v - 2*t + 5359, -2*v = -3*t - 10746. Is 119 a factor of v?
False
Let j = 360 - 194. Is j a multiple of 8?
False
Is -52*(2 - (-35)/(-14)) a multiple of 17?
False
Suppose -4*m - 7*g + 5944 = -3*g, -g = -5*m + 7442. Does 124 divide m?
True
Suppose 5*k + 124 = -3*z + 31, -4*k - 74 = 2*z. Is 32 a factor of ((-189)/(-7))/((-2)/k)?
False
Let o be 4836/21 - (-12)/(-42). Suppose w - o = -4*w. Is 13 a factor of w?
False
Let c = 47 + -42. Suppose -c*j + 89 = -4*j. Is j a multiple of 11?
False
Let v = -459 + 773. Is 10 a factor of v?
False
Is 8 a factor of (-94 - -98)/(-1 - 195/(-194))?
True
Let j be (-15)/6*((-296)/(-40) - 7). Let m(a) be the second derivative of 3*a**4/4 + a**3/6 + a. Does 4 divide m(j)?
True
Suppose -8*z + 9*z - 2 = 0. Suppose 2*h = 4*i - 84, -3*i + h + 58 = z*h. Is 2 a factor of i?
True
Let i be 3/(-2)*(3 + -2 + 91). Let b = 272 + i. Is b a multiple of 27?
False
Let j = 2915 - 1981. Is 18 a factor of j?
False
Suppose 7*j = -b + 4*j + 22, -3*j - 10 = -b. Let d = -14 + b. Suppose -4*l = d*t - 90 + 14, 0 = 2*l - 3*t - 46. Is 15 a factor of l?
False
Let q = 19 + -8. Suppose 4*y - q = -15. Does 15 divide y/(-6) - (-442)/12?
False
Let i be 2*(9/2 + -3). Suppose -i*b - g + 17 = 0, -6*g = -3*g - 15. Is b a multiple of 2?
True
Suppose n + 33 = 3*n + j, 37 = 2*n - 3*j. Let f = n - 17. Suppose -8*x + 6*x + 88 = f. Does 11 divide x?
True
Let u(j) = -5*j - 8 - 10 + 4*j**3 + 5 + 12*j**2 - 3*j**3. Is 47 a factor of u(-12)?
True
Suppose -3*o + c = -10, -o + 4 = 3*o + c. Suppose -131 = 5*h - 0*s + o*s, 2*s = 5*h + 119. Let p = -4 - h. Does 21 divide p?
True
Suppose -3*u = 4*u. Let d = -17 + 19. Suppose d*o - 88 = -u*o. Is o a multiple of 21?
False
Suppose -5*l = -5, -4*h + h = 3*l - 9. Let p(q) = -3*q**3 - 387*q**2 + 2*q + 3 + 387*q**h. Is 9 a factor of p(-2)?
False
Suppose 5*j + 6*q = 10*q + 8926, -4*q + 1790 = j. Is j a multiple of 6?
False
Let r be 7/(-2)*14/(-21)*-15. Is 1/(((-15)/r)/3) a multiple of 7?
True
Let s(q) be the first derivative of -q**7/840 + q**6/180 + q**4/3 - 2*q**3 - 8. Let k(g) be the third derivative of s(g). Is k(0) a multiple of 2?
True
Let o(n) = 13*n**2 + 2*n - 1. Let w(x) be the third derivative of -x**6/120 + x**5/20 + x**4/8 + 5*x**3/6 - x**2. Let c be w(4). Is 7 a factor of o(c)?
True
Suppose -3*z + 4*k = 12, -z - 5 = 5*k - 1. Let d be (-78)/((-12)/z) - 1. Let a = d - -55. Is 14 a factor of a?
True
Let p(x) = 13*x - 46. Let m be ((24/(-9))/(-4))/(2/36). Does 22 divide p(m)?
True
Let o = -370 + -106. Is (o/(-36) - -3) + 2/(-9) a multiple of 8?
True
Let n(u) = 2*u**2 + u - 8. Let l = -4 + 9. Suppose 14 = l*m - 11. Is n(m) a multiple of 11?
False
Let t = 0 + 4. Suppose -31*d + 30*d + 3 = 0. Suppose 0 = 2*q + t*f - 176, d*f - f + 4 = 0. Is q a multiple of 23?
True
Let a(u) = -50*u + 163. Is 23 a factor of a(-11)?
True
Let b = 32 + -18. Let w = b - 9. Suppose 0 = 3*s + 4 + 8, 168 = w*r + 3*s. Is 12 a factor of r?
True
Suppose 469 = -3*y + 10*y. Let g = 188 - y. Is 11 a factor of g?
True
Let m(o) = 0 + 3 + 189*o - 1 - 123*o. Is 35 a factor of m(2)?
False
Let l(v) = 12 + 18*v + v**2 - 20*v + 11*v. Is 8 a factor of l(-10)?
False
Let j(m) = 7*m**3 + 2*m**2 - m + 1. Let v(x) = x - 6. Let o(u) = u**3 - 7*u**2 + 8*u - 4. Let i be o(6). Let y be v(i). Is 21 a factor of j(y)?
True
Suppose -2*s - 752 = -t, -6*s + 2956 = 4*t - s. Does 24 divide t?
True
Let a = 87 + -73. Suppose a*c - 470 = -78. Is c a multiple of 5?
False
Let a(d) = 6*d - 32. Let z(i) = -i**3 + 3*i**2 + 3*i + 2. Let g be z(-2). Is 23 a factor of a(g)?
False
Let r = -1 + 11. Let p = 14 - r. Suppose -p*y = -5*y + 39. Does 12 divide y?
False
Suppose -5*l - 32 = 18. Let c be (-5)/(l/188) - 1. Suppose -c = -3*m - 5*w, -3*m = -6*m + 4*w + 120. Is m a multiple of 6?
True
Suppose -117 = -5*o - 582. Let v = o + 219. Does 14 divide v?
True
Is (-7)/(-7)*-3 - -12 a multiple of 6?
False
Suppose 5*t = 2*t + 6. Let x(l) = -l**3 + 9 + t*l**3 + 3 - 12*l**2 + 2*l. Is x(12) a multiple of 12?
True
Suppose 3*p = p + 10. Suppose -p*j + d + 377 = 0, -d