s 10 a factor of f?
False
Let d(k) = -150*k - 3570. Is d(-139) a multiple of 135?
True
Let f(p) = -7*p**2 + 3*p + 16. Let a be f(8). Let s = -286 - a. Is 61 a factor of s?
True
Suppose -2*a + 964 = 9*i - 5*i, -i - 3*a = -231. Suppose -n = 171 - i. Is 4 a factor of n?
True
Suppose 2*k - 8*a + 12*a = 6, 31 = -3*k + 4*a. Let t = k + 642. Is 14 a factor of t?
False
Let r(y) = 2*y**3 - 67*y**2 - 39*y + 166. Let s be r(34). Suppose 0 = i - 2 - 0. Is 53 a factor of (s/8)/(i/(-860))?
False
Suppose 0 = 17*d - 13*d - a + 2144, 0 = d + 4*a + 519. Let i = -179 - d. Is i a multiple of 27?
False
Suppose -11 + 29 = 6*o. Suppose 3*m - o*i - 180 = 0, 4*m - 53 = -2*i + 217. Does 3 divide m?
False
Let a be 103 + (2 - 0)/(-1). Let h = 351 - a. Suppose -3*s + h = -38. Is 24 a factor of s?
True
Let o = -2134 - -2477. Does 5 divide o?
False
Suppose -34 = 4*c - 94. Is 9 a factor of 3256/120 - 2/c?
True
Let z(d) = d. Let y(x) = 11*x - 82. Let r(i) = y(i) + 4*z(i). Suppose -4*h - 12 = -2*m, 5*h = -3*m + 31 + 20. Is 11 a factor of r(m)?
False
Let g be 0/((-2)/6 - 40/(-12)). Suppose 4*n - 12*n + 848 = g. Suppose -x + n = -20. Does 14 divide x?
True
Is 9/((10/(-170))/(-2 - 37)) a multiple of 17?
True
Let v be ((-40)/(-50))/((-2)/(-5)). Is 8 a factor of -4 + -5 + 536/v?
False
Let y = -34 + -35. Let f = y + 237. Does 42 divide f?
True
Suppose 4*p = -12, 2*k - 609 = 3*p + 546. Is k even?
False
Is 17 a factor of (6 - (13 + (-53847)/(-45)))/(4/(-10))?
True
Let h be ((-18)/(-15))/((-7)/35). Is h/(-15) + (-40656)/(-60) a multiple of 68?
False
Let y(w) = 13*w + 9. Let f(i) = -7*i - 5. Let r(g) = 11*f(g) + 6*y(g). Let x(b) = 24*b + 24. Let m(c) = 10*r(c) + x(c). Is m(3) a multiple of 12?
False
Let m(x) = x**2 - 18*x + 32. Let s(r) = -14*r**2 + 7*r + 5. Let o be s(-1). Is m(o) a multiple of 64?
True
Let k = 20967 - 13046. Does 89 divide k?
True
Let j(l) = -2*l**2 + 53*l - 15. Let p be j(26). Let a(u) = -u**2 + 10*u + 17. Let b be a(p). Suppose 338 + 4 = b*c. Is 8 a factor of c?
False
Suppose 316967 = 216*q - 1021033 - 819408. Is q a multiple of 19?
False
Let s(m) = 3200*m**2 + 98*m - 53. Is s(-4) a multiple of 311?
False
Let f(t) be the second derivative of -17*t**4/12 + 7*t**3/6 - 24*t**2 + 4*t - 2. Let n be f(4). Let l = n + 463. Is 57 a factor of l?
True
Suppose -5*x = -1730 + 90. Let w be (x/(-3) + 4)*(-6)/4. Let u = w + -78. Does 10 divide u?
True
Suppose -5*f = c + 2*c - 2004, 5*c = 2*f - 783. Suppose 21*y = 20*y + f. Is y a multiple of 16?
False
Let q = 26636 - 15210. Is 25 a factor of q?
False
Let a(p) = 5*p**3 + 17*p**2 - 18*p + 4. Let j(h) = 11*h**3 + 35*h**2 - 36*h + 9. Let x(t) = 13*a(t) - 6*j(t). Let i be x(8). Let l = i + 6. Does 9 divide l?
False
Let d = -118 + 121. Let g be 194 + 4 + d + 3. Suppose 2*p - 216 = -2*o, -p + 4*o = p - g. Does 8 divide p?
False
Let v(u) = u**2 + 36*u + 1034. Is v(-25) a multiple of 14?
False
Let q be 5/(-3)*(4 + -7). Suppose 9 = 3*b, 0 = -8*t + 5*t - 3*b + 15. Suppose -5*h + 3*n + t = -28, n = q. Is h a multiple of 3?
True
Suppose 18*r = 9639 - 3969. Is r a multiple of 15?
True
Suppose 0 = -71*b + 88*b - 102467 - 46436. Is b a multiple of 16?
False
Let k = -913 - -960. Suppose -g = -2*j + 415, -5*j - 51*g = -k*g - 1070. Is 15 a factor of j?
True
Suppose 93 = -5*g - 82. Let r = 20 + g. Is 3*5/r*-9 a multiple of 3?
True
Let d = -503 - -508. Is 1929/d - (7/(-7))/5 a multiple of 5?
False
Let l = 11585 + -8806. Is 183 a factor of l?
False
Let b = -34 - -37. Suppose -12 = -b*q, -3*j - 2*q - 88 = -300. Suppose -32 - j = -4*p. Does 25 divide p?
True
Does 23 divide (11370/(-6))/(9/(-9))?
False
Let b(k) = -4*k**3 - 52*k**2 - 40*k - 8. Is b(-19) a multiple of 107?
True
Let k(w) = -13*w - 368. Let t be k(-28). Let j(u) = -3*u**2 + u + 13. Let o(c) = 7*c**2 - c - 27. Let r(n) = -5*j(n) - 2*o(n). Is 2 a factor of r(t)?
False
Suppose -17*l = -13*l + 2336. Let j = -200 - l. Suppose 96 = -4*z + j. Is z a multiple of 24?
True
Let n be 11/(44/91254) - (-3)/6. Suppose -37*r = -71*r + n. Does 69 divide r?
False
Let s(j) = j**3 + 12*j**2 + 17*j + 15. Let z be s(-9). Is (-14)/z - 9128/(-60) a multiple of 19?
True
Let i(v) = 44*v**3 - 11*v**2 - 141*v + 873. Is 35 a factor of i(6)?
True
Suppose -i = 6, 5*i - 10670 = -4*h - 0*i. Is 62 a factor of h?
False
Let a(x) = 2*x**2 - 4*x - 9. Let p(u) = -u**2 + 3*u + 8. Let n(d) = 6*a(d) + 7*p(d). Let m be n(1). Suppose m*j = 6*j - 34. Is j a multiple of 3?
False
Let r(y) be the second derivative of y**5/20 - y**4/2 - 3*y**3/2 + 3*y**2/2 - 36*y. Let x be r(7). Let q(z) = z**3 + 12*z**2 - 8*z - 1. Is 47 a factor of q(x)?
False
Suppose 0 = -3*i + 1466 - 287. Suppose 4*z = -3*w - 2*w + 569, 0 = -3*z + 3*w + i. Is 17 a factor of z?
True
Let r(q) be the second derivative of -q**5/20 + q**4/2 + 11*q**3/6 + 5*q**2/2 + 2*q. Let p be r(7). Suppose -p*z = -28*z - 180. Does 36 divide z?
True
Suppose 4*t - 15 = -m, 0*m - 2*m = 4*t - 18. Suppose -t*z + 5*z + 4*r + 20 = 0, 0 = 3*r + 15. Suppose -2*d + 2*b + 28 = z, b = 2*d - 2*b - 30. Is d even?
True
Let u be 2/3 + (210/(-18))/(-5). Let i be u*(-6)/9 + 267. Suppose -i - 203 = -6*g. Is 13 a factor of g?
True
Suppose 11497664 = 304*m + 1982242 + 275646. Does 14 divide m?
True
Let z(u) be the first derivative of -u**2/2 + 5*u - 6. Let q be z(5). Suppose 2*d - 10 - 20 = q. Does 15 divide d?
True
Let c(g) = 70*g**2 - 33*g + 120. Is c(3) a multiple of 8?
False
Let a(i) = 5 + 2*i + 2 - 26. Let g be a(13). Let t = 17 - g. Is t a multiple of 4?
False
Suppose -3*k = -18*j + 17*j + 11937, -4*k = 4*j - 47876. Is j a multiple of 19?
False
Let v = -39 - -42. Suppose 14 = -3*q + 4*s + 440, 2*q - 267 = -v*s. Is q a multiple of 9?
False
Let j be -9*((-30)/72)/((-2)/(-16)). Is (1 - 1) + (j - (-3 - 0)) a multiple of 4?
False
Does 9 divide (0 + -7 + (-155)/(-25))/(2/(-4380))?
False
Let h(z) = -15*z + 321. Is h(5) a multiple of 34?
False
Let q = -1 - -3. Let d be (-1502)/(-6) - (-8)/(-24). Suppose -z - q*z + d = a, -3*z + 256 = -2*a. Is z a multiple of 12?
True
Let y = -94 - -96. Suppose l - 16 = -4*s, -y*s = -s + 4*l - 19. Suppose 5*o - 98 = -s*h + 39, 4*o - h = 113. Is 19 a factor of o?
False
Is (-2)/((-8061)/(-4842) - ((-102)/(-18) - 4)) a multiple of 82?
False
Let t(u) = -163*u - 756. Is t(-24) a multiple of 28?
False
Let l(x) = -x**3 - 5*x**2 + 22*x - 26. Let i be l(-8). Let y(k) = 4*k + 202. Is y(i) a multiple of 30?
False
Let z(j) be the first derivative of j**4/4 - 13*j**3/3 + j**2/2 + 18*j + 104. Does 2 divide z(13)?
False
Let k be 2/((-4)/(-14) - (-369)/(-1316)). Suppose -776 = -6*b + k. Does 12 divide b?
True
Let s(y) = 38*y - 44*y + 37*y - 37. Does 20 divide s(12)?
False
Suppose 2*s - 3*y - 77604 = 0, -4*s + 2*y - 3*y = -155236. Is s a multiple of 36?
True
Suppose -90*d + 237*d - 889056 = 0. Does 9 divide d?
True
Let a be ((-4 + 1)/3)/(1/35). Let g = a - -44. Let w = 26 - g. Is w a multiple of 14?
False
Suppose u - 8 = -0*u - 2*n, 3*u = 3*n + 60. Let v be -16*(-1)/4 + 328/2. Suppose -u*c = -9*c - v. Is c a multiple of 12?
True
Suppose -2*y + 104 = -34. Is y*(12/24 - (-1)/6) a multiple of 28?
False
Let m = -32 - 119. Let g = m + 333. Does 7 divide g?
True
Let v be (-5)/((-20)/262)*(0 - -2). Is 2 + -1 + (v - (1 - -5)) a multiple of 18?
True
Let t be ((-25)/(-10))/(30/12). Let m(i) = 915*i**3 + 4*i - 1. Does 74 divide m(t)?
False
Let o = 12333 + -11276. Is 7 a factor of o?
True
Let i(q) be the first derivative of 32*q + 5 + 24*q - 3*q**2 - 63*q. Does 14 divide i(-15)?
False
Suppose -4*t = 4*d - 2852, -77*t + 72*t + 1438 = 2*d. Suppose 8*v - 2987 - d = 0. Is 21 a factor of v?
True
Let g(f) = -4*f**3 - 6*f - 2. Suppose -3*i - 1 = 5. Does 6 divide g(i)?
True
Let m = -95 + 2360. Suppose -13*a + 985 = -m. Is 23 a factor of a?
False
Let g(p) = p**2 - 6*p + 3. Let o be g(4). Let x be 1022 - (-11 + 8 - 5). Is 14 a factor of o - (-64)/12 - x/(-6)?
False
Suppose -5*f - 35 = 2*r, -3*f + 34 = -2*r - 41. Let q = r - -30. Suppose 4*t + 141 - 381 = q. Does 12 divide t?
True
Let r(o) = -o**3 + 9*o - 3. Let f be (-7)/7*(-2 + 2). Suppose 4*a = s + 10, s + a = -5 - f. Is 53 a factor of r(s)?
True
Suppose w + 5023 = 3*z - 1011, -6*z = -4*w - 12058. Is 11 a factor of z?
True
Suppose 5*z - 21 = 3*b, -4*z - 3*b + 6 = -0*b. Let u be 3/(z/(-46))*(-9)/18. Is 3 + -6 + (u*4 - 1) a multiple of 23?
False
Let d(p) = 310*p*