 d(0) a multiple of 6?
False
Let j(s) = s**2 - 7*s - 8. Let k be j(8). Suppose g - 4*i + k*i - 34 = 0, 4*i = -2*g + 56. Suppose l + 4*l = g. Does 6 divide l?
True
Let g(r) = r**3 + 13*r**2 + 71*r + 14. Does 10 divide g(10)?
False
Suppose -7*j + 31 = -1019. Is j a multiple of 32?
False
Let g be (1 - 54) + (1 - 1). Let f = 30 - g. Does 22 divide f?
False
Let a be ((-4)/(-16)*0)/1. Suppose a = -11*u + 13*u - 232. Does 29 divide u?
True
Suppose -5*m = -2*l + 102, 15 + 129 = 4*l + 5*m. Does 5 divide l?
False
Suppose -1207 = -15*w + 548. Does 3 divide w?
True
Let s = 305 + -941. Let f = -426 - s. Is 48 a factor of f?
False
Suppose -5*o - 4*s = -s - 4026, 3*s - 6 = 0. Is o a multiple of 5?
False
Suppose 6*y + 250 = y. Let h = -12 - y. Does 38 divide h?
True
Let u(v) = 156*v. Let y be 2/((-4)/(-2))*1. Let x be u(y). Suppose t - x = -3*t. Is t a multiple of 11?
False
Suppose 4*k - 11 = -3. Let m be (-69)/21 - k/(-7). Let x(z) = z**3 + 6*z**2 - 2*z + 4. Is 13 a factor of x(m)?
False
Let o = 37 + 3. Let s = o + -33. Does 5 divide s?
False
Suppose 460 + 4300 = 7*o. Does 20 divide o?
True
Is 1282 + (58/10 - 8/(-40)) a multiple of 4?
True
Let z(k) = 22*k + 53. Let j be z(12). Is j/2 + (-42)/(-28) a multiple of 16?
True
Suppose -3120 = -11*l - 2*l. Does 17 divide l?
False
Let v = -32 - -591. Is 43 a factor of v?
True
Suppose 3*l - 2*s + 5 = 0, 3*l - 3*s + 7 = -2*s. Let j = 157 + -110. Is 18 a factor of (-3)/(j/16 + l)?
False
Suppose 3*j = 12*j - 684. Let b = -28 + 6. Let n = b + j. Is 18 a factor of n?
True
Let g be 22/121 + 2 + 8290/22. Suppose 3*i = 7*i - 20. Suppose -g = -i*h + 26. Does 27 divide h?
True
Let u(x) = 2*x - 14. Let z be u(-15). Let d = 99 + z. Does 11 divide d?
True
Let d be (-154)/(-13) - (-14)/91. Suppose -5*y - 2 + 12 = 0. Is (y - d)*(-6)/12 even?
False
Is 54 a factor of ((-6)/1)/6 - 865*-1?
True
Let j = 39 - 41. Does 16 divide (4 + -5 + 0)/(j/40)?
False
Let l = 2882 + -1713. Is l a multiple of 9?
False
Suppose -5*x - 1325 = -w + 749, -3*w + 3*x + 6198 = 0. Is 24 a factor of w?
True
Suppose 7*u - 670 = 2*u. Let c be (0 + 0)/(1/3*3). Suppose -3*o + 2*r + 310 = c, -4*r = -5*o + 386 + u. Is o a multiple of 36?
False
Suppose 2*u + 2*t - 3*t = 12, t = -2*u + 4. Let q be 358/12 - u/(-24). Let g = q + -18. Is g a multiple of 6?
True
Suppose m - 160 - 533 = 4*p, 5*p = 0. Is 5 a factor of m?
False
Let l(m) = -11*m - 2. Suppose -2*h - 20 = 2*h, 16 = 2*r - 4*h. Let u be l(r). Let c = u + -3. Is c a multiple of 17?
True
Suppose -5*y + 0 - 200 = 0. Does 5 divide ((-15)/10)/(3/y)?
True
Suppose 5*s = 90 + 50. Let d = -25 + s. Suppose -d*a + 29 + 124 = 0. Is 17 a factor of a?
True
Is 4 + -9 + 1 + 1166 a multiple of 53?
False
Suppose -6*n + n + 2*o = -29, 0 = -n + 3*o + 11. Suppose -q + 0 - n = 5*x, -5*q + 31 = -3*x. Is 4 a factor of ((-42)/(-35))/(x/(-20))?
True
Let g(i) = 183*i - 203. Is g(7) a multiple of 49?
True
Let u be ((-396)/(-77))/((-3)/(-322)). Let d = u - 388. Does 31 divide d?
False
Suppose -4*d = -4, -3*r + 103 = -52*d + 47*d. Is r a multiple of 4?
True
Suppose 5*x - 14 = 2*s, 0 = 4*x + 4*s - s - 2. Suppose 0 = 14*w - 15 - 167. Suppose 0 = g - 4*q + w, -x*g - 5*q = g - 46. Is 2 a factor of g?
False
Let b = -7 - -12. Suppose f - 2*h - 224 = 3*h, 1100 = 5*f - b*h. Suppose -5*w = 29 - f. Does 25 divide w?
False
Let y be ((-2)/4)/((-8)/208). Suppose -2*o = -3*o + y. Does 6 divide o?
False
Let b(l) = -3*l**2 - 7*l + 5. Let y(k) = -8*k**2 - 21*k + 13. Let i(n) = -11*b(n) + 4*y(n). Is 45 a factor of i(-12)?
True
Suppose f - 5 + 23 = 0. Let j = f + 42. Let w = j - 14. Does 6 divide w?
False
Suppose 3*c = -5*v + 4718, -2*c = 3*v + 551 - 3381. Does 67 divide v?
False
Let r = 4 - -2. Suppose -2*t - z = -9, z = -t + r*z - 12. Is t a multiple of 3?
True
Suppose -2*f + 18 = 2. Let o = -4 + f. Suppose 0 = o*q - 3*q - 20. Is 7 a factor of q?
False
Let g be (-4)/(-8) - 146/4. Let j = 69 + g. Does 7 divide j?
False
Let s be (-2)/5 - ((-9384)/(-15))/(-4). Suppose -5*w + 439 = -s. Is 12 a factor of w?
False
Let d(t) = 3*t**2 - 5 - 10*t - 4 + 5*t**2 - 7*t**2. Let r be d(11). Does 8 divide (-4)/(2/(-8)*r)?
True
Let y be 4 + -2 + 1*-78 - 2. Let l = y + 96. Is 10 a factor of l?
False
Is 34 a factor of (-2916)/8*(-4)/3?
False
Let m = 127 - 91. Let j = m + -21. Does 14 divide 436/6 - (-5)/j?
False
Suppose -4 = -10*h + 46. Suppose 4*s = -h*b + 77, -2*b = 5*s - 9*s - 42. Does 7 divide b?
False
Suppose 29*q + 366 = 30*q - t, -2*t = -q + 366. Does 19 divide q?
False
Let u be (-3 + 4)/(1*-1). Let m be 0 - (0 - (2 - u)). Suppose -4*w + 18 = h, -m*h - 3*w + 2*w = -43. Is h a multiple of 7?
True
Let a(f) = -1 + 5 + 9 + 7*f + 21*f. Is a(2) a multiple of 23?
True
Suppose -g - x - 1680 = -3*g, -x = 4*g - 3360. Does 14 divide g?
True
Suppose -3*q + 10 = -2*c, 3*q = 2*c - 5*c. Suppose 2*j - q*z = 62, 4*z - 14 - 54 = -2*j. Does 7 divide j?
False
Let g be 0/1*4/8. Let u be 3 + (1 + g)/(-1). Does 14 divide 56*(-3)/(u*-3)?
True
Let t(o) = 2*o**2 + 7*o - 1. Let c be t(-5). Is ((-132)/c)/((-2)/28) a multiple of 33?
True
Let q(b) = 84*b**2 - 8*b + 20. Is 10 a factor of q(2)?
True
Let v(n) = 16*n + 32. Let x(d) = d**3 - 8*d**2 + 8*d + 3. Let m be x(7). Is 32 a factor of v(m)?
True
Let x(t) = -2*t + 7. Let o be x(5). Is 1 - (-7 - o - -2) even?
False
Does 6 divide 15*54/15 - -5?
False
Let y(f) = 17*f**2 + 4*f + 25. Is 7 a factor of y(-4)?
False
Suppose 2*y - 16 = -4*u, 20 = 2*u + 3*u + 3*y. Suppose 0 = u*o - 21 - 15. Let s = 7 + o. Is 16 a factor of s?
True
Suppose 3*n + 124 = 4*l - 48, l + 2*n - 32 = 0. Let v = -20 + l. Is 12 a factor of v?
False
Let t be (-4)/(-16) - ((-4732)/16 + 0). Suppose 2*g + 3*a - 138 + 30 = 0, a - t = -5*g. Is g a multiple of 5?
True
Let o = 812 - 152. Is o a multiple of 44?
True
Suppose 4*m + 2*v - 3*v - 96 = 0, -8 = -2*v. Does 24 divide m?
False
Suppose 4*j - 75 = -3*g, -3*g + 3*j + 154 = 2*g. Suppose 356 = 5*q - g. Does 15 divide q?
False
Suppose 597 = 4*h - 283. Does 11 divide h?
True
Suppose -6*q = -3*i - 11*q + 37, -4*q = -4*i - 4. Suppose -3*k + 4*k = 0. Suppose k = -i*z + 24 + 56. Is 7 a factor of z?
False
Let l = -660 - -705. Is 15 a factor of l?
True
Suppose 2*w = 4*f - 38, 3*w + 23 = -5*f + 76. Suppose 3*o + f = 43. Is 3 a factor of o?
False
Let v = 1522 - -1250. Is v a multiple of 12?
True
Let f(n) = 5*n + n**2 - 2 + 7 - 4*n. Let h be f(0). Suppose -h*p + p + 40 = -t, 0 = p - 5*t + 9. Is p a multiple of 5?
False
Suppose 5*z - 7*z - 4*j = -948, 0 = -4*z + 2*j + 1866. Does 19 divide z?
False
Let d = 27 + -31. Is 37 a factor of (d - -3)*111*-1?
True
Let p(d) = d**3 - 2*d**2 - 4*d + 3. Let u be p(3). Suppose 3*k = 3, u*w = w + 2*k + 3. Let o(b) = -b**2 - 5*b + 9. Is 3 a factor of o(w)?
True
Let d(k) = -5*k + 4. Let q be d(-12). Let g(l) = -l - 1. Let t be g(-3). Suppose -2*x + t*n + 49 = 7*n, q = 2*x + 2*n. Is 28 a factor of x?
False
Let b(g) = -g**2 - 5*g - 2. Let s be b(-4). Suppose 84 = -s*c + 4*c. Suppose 3*w = c + 6. Is 15 a factor of w?
False
Let t = -37 + 7. Let l = t + 65. Does 35 divide l?
True
Let r(x) = 38*x**2 + 22*x. Is r(-5) a multiple of 15?
True
Let s(v) = 3*v + 15. Let c be s(-7). Does 7 divide ((-2)/c)/(7/168) - 0?
False
Let u(n) = -n**3 + n**2 + n - 1. Let i be u(-2). Suppose -15 - 3 = 9*v. Let z = i + v. Is z a multiple of 2?
False
Suppose -4*x = 2*h - 234 - 18, h + 3*x - 128 = 0. Let c(w) = -2*w - 4. Let d be c(-4). Suppose -d*r + h = -46. Is 21 a factor of r?
True
Suppose 12 = -0*r - 5*r + t, r + t = 0. Let i be r/(-7) - (-40)/7. Let l(f) = f**3 - 6*f**2 + 4*f + 3. Is l(i) a multiple of 9?
True
Let o = -23 - -16. Let x(i) = -i**2 + 15*i - 6. Let b(f) = -2*f**2 + 15*f - 5. Let u(m) = 2*b(m) - 3*x(m). Is u(o) a multiple of 23?
False
Let q be (-2)/(-6) - ((-32)/(-24) + -1). Suppose 10*m + 699 - 2089 = q. Is 24 a factor of m?
False
Let n(k) = -12*k + 408. Is 30 a factor of n(-41)?
True
Let o(f) = -2*f + 30. Let h be o(12). Let w = h - 1. Does 5 divide w?
True
Suppose 6*z - 3*z - 45 = 0. Suppose -3*m - 2*m = -z. Suppose m*g - 188 = -8. Is 20 a factor of g?
True
Let y = -23 + 23. Suppose -5*a + 5 = y, c - 4*c = -a - 11. Suppose -p = -c*p + 192. Is p a multiple of 32?
True
Let y(x) be the second derivative of x**5/20 + 5*x**4/6 + 7*x**3/6 - 3*x**2 + x. Let z be (4/(-4)*9)/1. Is y(z) a multiple of 4?
True
Let y = -6 - -10. Suppose -k = 