. Does 12 divide h?
True
Suppose 0 = -7*y + 18 + 24. Suppose -4*b = -2*p + p - 165, 0 = -2*p + y. Does 2 divide b?
True
Let z(k) be the third derivative of 23*k**4/24 - 2*k**3/3 + 6*k**2. Is z(2) a multiple of 14?
True
Suppose -3*p = -4*g + 7*g - 1224, 4*p + g - 1617 = 0. Is p a multiple of 36?
False
Suppose -1876 = 18*k + 302. Let x = -61 - k. Is x a multiple of 6?
True
Let g be 144 - 5/((-5)/(-2)). Let s = g - 92. Is s a multiple of 10?
True
Let t = -17 + 67. Suppose 0*q - 5*q + t = 5*u, 3*u - 20 = -q. Suppose -4*l + 124 = 4*f, q*l - 5*f - 129 = 16. Is 8 a factor of l?
False
Suppose -4*y - 13 = -t + 1, 0 = 3*y. Is 2 a factor of 186/t + (-14)/49?
False
Let a be 3 - 0 - (-2)/(-1). Suppose -2*r + a = -81. Let o = -4 + r. Is o a multiple of 10?
False
Suppose 12 + 420 = -4*m. Let l = -76 - m. Is l a multiple of 16?
True
Is 56 a factor of (-100763)/(-65) - (-2)/(-10)?
False
Suppose -5*x + 1443 = -4*v + 415, 0 = 4*x + 4*v - 808. Is 3 a factor of x?
True
Let n(i) = 3*i**3 - 3*i**2 - 3*i - 2. Let x be (-10)/(-3) - 1/3. Suppose -3*l + 2*l + x = 0. Does 14 divide n(l)?
False
Let n = 59 - 59. Is 14 a factor of ((-12 - 0) + n)/(9/(-132))?
False
Is (4479/2)/(1040/(-64) - -17) a multiple of 27?
False
Suppose 0*l + 4*l + 180 = 0. Is (-354)/(-10) + 18/l a multiple of 14?
False
Suppose -2 = 2*n + 16. Is -1 + (-231)/n + (-3)/(-9) a multiple of 4?
False
Let x = -9742 + -4208. Is 24 a factor of (1/(-3))/(25/x)?
False
Let b be ((-18)/(-10))/(45/300). Suppose -2*t = -4*i + b, t + t - 28 = -4*i. Suppose -5*f + t*f = -73. Is 15 a factor of f?
False
Suppose 20 = 3*m + 2*m. Suppose -2*z + 8 + 20 = 4*d, m*d = 3*z + 48. Is d a multiple of 2?
False
Let f(k) be the second derivative of 11/2*k**2 + 8*k + 1/12*k**4 + 2/3*k**3 + 0. Is f(-6) a multiple of 4?
False
Suppose -4*q - 2*m = -8, 0 = -3*q + 4*m + 17 + 11. Let g = 43 + q. Let d = 82 - g. Does 7 divide d?
True
Let r(l) = -8*l - 20. Let n = -14 + 7. Is 10 a factor of r(n)?
False
Let h be (0/2)/(-2 + 4). Suppose h = -5*q + 154 - 14. Suppose 0 = 14*x - 10*x - q. Is x a multiple of 7?
True
Suppose -4*s - 444 = 3*n - 1629, 4*s = 4*n + 1192. Is s a multiple of 9?
True
Let f(k) = 2*k**2 + 2*k - 3. Let h be f(-3). Let u(o) = -3*o**2 - 3*o. Let x be u(-2). Does 8 divide 2*h + (-8 - x)?
True
Suppose -2*p + 5*l + 2 = 1, 0 = -3*p - 3*l + 12. Suppose d + 3*v - 55 = -p*d, 20 = 4*v. Does 10 divide d?
True
Let t = 40 + -38. Suppose 81 = t*m + 15. Does 11 divide m?
True
Suppose -3 = -s - 2. Let v be s + 2/(6/(-9)). Does 21 divide v*(-3 + (-60)/8)?
True
Suppose -4*q - v + 5*v + 1628 = 0, 3*v = 0. Is q a multiple of 71?
False
Let v(r) = 10*r**2 - 8*r - 8. Let f(s) = 10*s**2 - 8*s - 7. Let w(t) = -4*f(t) + 5*v(t). Is w(-3) a multiple of 19?
False
Suppose 18 + 1390 = 4*p. Is 8 a factor of p?
True
Let d(l) = 2*l**2 - l - 1. Let i(o) = -19*o**2 + 3*o - 1. Let k(c) = -3*d(c) - i(c). Suppose 7*u - 2*u = 10. Does 7 divide k(u)?
True
Let t(x) = -12*x + 98. Does 29 divide t(-16)?
True
Suppose 4*p - 5 = 3. Suppose 3*y - 4*d + 1 - p = 0, 2*y - 3*d = 0. Does 5 divide (-31)/(-4) + y/12?
False
Let h(z) = 3*z**2 + 2*z - z**2 + 9 - z**2. Suppose 0 = -158*a + 151*a - 35. Is 21 a factor of h(a)?
False
Suppose -4*n = 2*v - 172, -18*v + 20*v = 3*n + 151. Is v a multiple of 10?
True
Suppose 0 = i + w - 30, 3*w = -14 - 1. Suppose -3*u - i = -8*u. Suppose g - 35 = -u*h + 4*h, -h + 37 = g. Is g a multiple of 19?
True
Let i be -1*(-8)/10*10. Let t(f) = f**2 + 30*f - 32. Let d(s) = s**2 + 20*s - 21. Let n(v) = i*d(v) - 5*t(v). Does 12 divide n(-7)?
False
Let l(i) = 4*i**2 - 14 - 6*i + 19 - 3*i**2. Let k be l(6). Suppose -45 = -2*x + k*d, 4*x + 5*d - 60 = -x. Does 4 divide x?
False
Suppose -w + 8*y - 16 = 3*y, 3*w = -y. Is 18 a factor of w/(282/142 + -2)?
False
Is 18 a factor of (2/6)/(2/432)?
True
Let t(q) = -2*q + 22. Let o(b) = 10*b - 111. Let y(s) = 2*o(s) + 11*t(s). Let d be -10*-4*(-6)/16. Is y(d) a multiple of 25?
True
Let h = -23 - -134. Suppose -4*q - 3*x = -4*x - 411, -q + 3*x = -h. Is 17 a factor of q?
True
Let x = 3 + -11. Let t = -1 - x. Suppose -3*g + t*g = 32. Is 4 a factor of g?
True
Let v be (-6)/(-3)*212/8. Suppose -18*r = -19*r + v. Is r a multiple of 8?
False
Let p = 613 + -574. Is 5 a factor of p?
False
Suppose -u = 2*j - 2*u - 2, 3*j - 8 = -u. Let k be 21 - (-2)/(j - 0). Is 10 a factor of -5 + 3 + (k - 0)?
True
Let n = 3203 - 2930. Is n a multiple of 21?
True
Let u = 40 + 38. Suppose c + u = 4*c. Suppose -b + c = 5*a, 0 = 4*b + a + 2*a - 138. Is b a multiple of 18?
True
Let b(g) = -2*g + 1. Let v be b(-2). Suppose -5*p = -5*u + 110, -7*u = -3*u + v*p - 106. Is 12 a factor of u?
True
Let n = -2018 + 3919. Does 12 divide n?
False
Is 6 a factor of (3 - -5) + 633 + -5?
True
Suppose 5*i = 12 + 28. Suppose -i*u + 6*u = -350. Is 23 a factor of u?
False
Let l = 85 - -1284. Does 37 divide l?
True
Let s(d) = 9*d**2 - 7*d - 19. Is s(5) a multiple of 19?
True
Suppose -63 = -11*m + 25. Is 7 a factor of (1533/(-28))/(0 - 6/m)?
False
Let p = 1189 + -514. Is 7 a factor of p?
False
Suppose 0*g = g + 4, 4*n = -5*g + 7512. Does 5 divide n?
False
Let j = -27 - -108. Suppose j*d - 79*d - 180 = 0. Is 30 a factor of d?
True
Let o(b) = 3*b**2 + 3*b + 4. Let t be o(-5). Suppose s + 5*i - 7 = 0, -2*s - 3*s + 4*i + t = 0. Suppose -q + 4*w = -s, 2*q = -q + 2*w + 36. Is 6 a factor of q?
True
Let w = 978 + -310. Is w a multiple of 78?
False
Suppose 3*s - 7*s + 20 = 0, 3*s = -2*n + 255. Is 30 a factor of n?
True
Suppose -a = -3*a + 1500. Let u be (a/(-20))/(6/(-32)). Suppose g - u = -4*g. Does 20 divide g?
True
Let i = 246 + -184. Is 8 a factor of i?
False
Let t = 618 + -226. Does 8 divide t?
True
Let a be 2 + -1 + -7 + 5. Let p = a + 4. Is (40/6)/(p/9) a multiple of 14?
False
Suppose 4*s - 6*j + 260 = -4*j, 0 = 2*s + 2*j + 136. Let q = 135 + s. Is q a multiple of 23?
True
Let i = -1008 - -1333. Does 13 divide i?
True
Let y = -31 - -28. Does 7 divide y/(-21) + 1220/35?
True
Let l = -10 + 12. Let u be l + 7 + -3 + 9. Suppose -h + u + 27 = 0. Does 21 divide h?
True
Suppose k - 3 = t, -5*k + 7 = -8. Suppose -2*b + 2 + 10 = t. Suppose i = -r + 45, 0 = 4*r - i + b*i - 181. Is r a multiple of 10?
False
Suppose -111 = -4*p - 3*j, -19 = -3*p + 3*j + 38. Is 3 a factor of p?
True
Is (-70 - (26 + -13))/(1/(-7)) a multiple of 32?
False
Let j(f) = 445*f**2 - 9*f + 8. Is j(2) a multiple of 15?
True
Let c(n) = 7*n + 0*n - 4*n - n**3. Let v be c(-2). Suppose -5*p + 125 = r, -v*r = p - 6*p + 110. Is 8 a factor of p?
True
Suppose 14205 = 23*q + 2843. Does 15 divide q?
False
Suppose -23*f - 270 = -32*f. Does 3 divide f?
True
Let n = 16 + 10. Let h(m) = -4*m - 10. Let f be h(-7). Let l = n - f. Does 5 divide l?
False
Let c(j) = 10*j**3 + 2*j**2 - 7*j + 3. Does 9 divide c(3)?
True
Let r(t) be the third derivative of 0 - 5/3*t**3 - 1/60*t**5 + 2*t**2 + 0*t - 2/3*t**4. Does 2 divide r(-15)?
False
Let k = 227 + -33. Is k a multiple of 12?
False
Let g = -970 - -1042. Does 6 divide g?
True
Let t = -3 - -8. Suppose 6*p = t*p. Suppose -5*j + 10 = p, 2*j = -2*c - 0*c + 68. Is 32 a factor of c?
True
Suppose -o - 43*w = -48*w - 327, -w - 1683 = -5*o. Is o a multiple of 10?
False
Let u(k) = k**3 - k**2 + k + 1. Let f(c) = 13*c**2 - 3*c - 12. Let t(o) = f(o) + u(o). Let n be t(-12). Suppose -3*l + 77 + n = 0. Does 15 divide l?
True
Let k be (-363)/(-22)*6/(-9). Let u(n) = n**2 + 10*n + 11. Does 7 divide u(k)?
False
Suppose -219 - 37 = -4*v. Is v a multiple of 5?
False
Let u be (-10)/(-6) - (-11)/(-3). Is 11 a factor of 2 + (-5 - u) - (0 + -177)?
True
Let f = 8 - 6. Let k(d) = 4*d**2 - 29*d + 7. Let w be k(9). Suppose -2*b = -f*t - w, -4*b + 3*t - 85 = -6*b. Does 11 divide b?
False
Let c = 2084 - -2350. Does 28 divide c?
False
Suppose 17*c = 2035 - 556. Does 12 divide (0/(-2) + 1)*(c - -12)?
False
Let k(q) = -30*q + 229. Does 29 divide k(-19)?
False
Let r = -1283 + 2356. Is r a multiple of 49?
False
Suppose 375 + 138 = l. Is l a multiple of 15?
False
Suppose -111*y + 2070 = -101*y. Is y a multiple of 23?
True
Let n(f) = -f**2 + 18*f + 6. Let y be n(18). Let q(z) = z**3 - 5*z**2 + z + 2. Does 7 divide q(y)?
False
Suppose -4*y = 2*m - 14, 2*y - 27 = -0*m - 5*m. Does 27 divide ((-81)/(-2))/(m/10)?
True
Let q(z) = 25*z - 135. Is 10 a factor of q(9)?
True
Suppose -89*c = -36*c - 77645. Does 19 divide c?
Fa