e 0*i = 3*v + 2*i - 1054, -k = -2*i. Is (-12)/16 - v/(-8) a multiple of 16?
False
Let q = -153 - -97. Let i be q/(-21) - 4/6. Is 15 a factor of -19*(i*-2 - -1)?
False
Let b = 1181 + 444. Is b a multiple of 25?
True
Suppose 5*y + j - 1404 = 0, y - 3*y - 2*j = -568. Is y a multiple of 20?
True
Suppose -39*t + 45*t = 126. Is 7 a factor of t?
True
Suppose 5*t = -2*x - 107, -2*x - 37 - 88 = -t. Let s = 14 - x. Does 7 divide s?
False
Is ((-65)/(-39) + -1)*822 a multiple of 9?
False
Is ((-68)/(-6))/((-6)/(-9)) a multiple of 5?
False
Let r(y) = -70*y - 1. Suppose 3*o = -o + p - 1, 3*o = -p - 6. Does 13 divide r(o)?
False
Let a(r) = -r**3 - 5*r**2 - 4*r + 5. Let z be a(-5). Does 33 divide 3178/10 - (-2 - 3)/z?
False
Suppose -4*g - 2*k = -456, -g - 3*k = -0*g - 114. Suppose -4*c - 2*m = -g, -3*c - 72 + 185 = -4*m. Is 12 a factor of c?
False
Suppose -h + 4*b + 486 = 0, 2*h - 3*h = -5*b - 486. Is 6 a factor of h?
True
Let c = -211 + 320. Let j = c + -62. Is j a multiple of 16?
False
Let w(q) = 16*q**2 - q - 7. Let r(x) = -4*x - 19 + 10*x**2 - 1 + 37*x**2. Let a(m) = 3*r(m) - 8*w(m). Is a(-2) a multiple of 12?
False
Let h(z) = -z**3 - 10*z**2 - z + 8. Let k(r) = r. Let q(v) = h(v) - 3*k(v). Is q(-10) a multiple of 7?
False
Let x(z) = -z**2 + 25*z + 57. Is 3 a factor of x(25)?
True
Let n(b) = -b**2 - 8*b + 13. Let z be n(-9). Suppose 2*o - 46 = p, -o - p + 28 = -z*p. Suppose c = -c + o. Is c a multiple of 4?
False
Let z(u) = -7*u**3 - 4*u**2 - 22*u - 2. Is z(-4) a multiple of 24?
False
Let j(w) = w**3 - w**2 - 3*w + 2. Let n be j(7). Suppose -a - n = -4*s, -5*a + 189 = -0*s + 3*s. Is 30 a factor of s?
False
Suppose 5*s + 6 = 4*z - 11, -20 = 2*s + 5*z. Does 12 divide 67 - (s + (-2 - -2))?
True
Suppose 40*p + 13*p - 1272 = 0. Does 24 divide p?
True
Suppose 0 = 4*r + b - 11284, 3*r + 2*b - 3658 - 4805 = 0. Is 52 a factor of r?
False
Let m(b) = 59*b**3 - 7*b + 41. Is 85 a factor of m(3)?
False
Suppose -5*d = -2*k - 1153, 2*k = 4*d - 3*k - 919. Is 44 a factor of d?
False
Let t(c) be the first derivative of -c**3/3 - 3*c**2 + 8*c - 2. Suppose 0 = -3*r - 4*r - 42. Is 8 a factor of t(r)?
True
Let h(x) = -x**3 + 19*x**2 - 32*x - 11. Is h(15) a multiple of 13?
False
Let d(z) be the third derivative of 3*z**4/8 - z**3/3 + z**2. Does 14 divide d(8)?
True
Suppose 0 = 2*l + 2*l - 356. Suppose -2*m - 23 = l. Let b = 105 + m. Does 16 divide b?
False
Let o(y) = 9*y**2 + y**3 - 5*y - 11*y**2 + 0*y + 7. Is 13 a factor of o(6)?
False
Let s = 38 - -21. Let k = s - 40. Suppose -103 + k = -4*z. Does 7 divide z?
True
Let j(t) = 3*t**3 + 2*t**2 - 2*t + 1. Let o be j(1). Suppose -3*n + 3 = 4*p, -3*p = -o*p - 3*n - 6. Is p a multiple of 2?
False
Let p(j) be the second derivative of j**3/3 - 5*j**2/2 - 2*j. Let m be p(7). Let o = 41 - m. Is o a multiple of 8?
True
Let a(h) = 15*h + 10. Does 5 divide a(5)?
True
Suppose 3*l = l + 4200. Does 50 divide l?
True
Let x be -3 + 65 + -1 + -1. Let p = 35 + x. Is p a multiple of 19?
True
Does 34 divide 36/30*1190/21?
True
Let n be 4/(-26) - (-216)/52. Suppose -2*g + 247 = 3*b, g + n*b = 2*g - 107. Is g a multiple of 24?
False
Suppose 2*b - 4 = 5*a, 2*a = 4*b - 15 + 7. Let w be (-4*(-2)/b)/2. Suppose w*y + 2*y = 88. Is 7 a factor of y?
False
Suppose 5*v = -3*x + 39, 5*x = 3*x - 2*v + 22. Let m be (-1858 - -4)*x/(-12). Does 10 divide m/36 - (-2)/3?
False
Suppose -250 + 96 = -7*l. Suppose 0 = -k - 2, 2*v + k - 5*k = l. Is 7 a factor of v?
True
Let a(g) = g**3 + 8*g**2 - 11*g - 10. Let n be a(-9). Suppose n = 5*u - 12. Suppose -3*i - 39 = -u*i. Is 12 a factor of i?
False
Let n = 235 - 113. Let h = n + -97. Is h a multiple of 5?
True
Let q(t) = 14*t**3 + t. Let g be q(1). Suppose -5*f + 45 - g = 0. Does 14 divide (0 - 49)*f/(-7)?
True
Let v(c) = c**3 - 12*c**2 - 19*c + 21. Is 7 a factor of v(14)?
True
Let i(n) be the second derivative of n**2 - 1/12*n**4 + 0 - 3*n - 3/20*n**5 + 0*n**3. Does 9 divide i(-2)?
False
Let w(j) = -j**3 + 52*j**2 + 126*j + 106. Does 7 divide w(54)?
True
Let r = -1875 - -2167. Is 9 a factor of r?
False
Let l be (250/20)/((-1)/6). Let b = -10 - l. Suppose -4*z = 21 - b. Is 2 a factor of z?
False
Let s = 30 + -9. Suppose 26*o = s*o - 130. Is (o/4)/((-1)/2) even?
False
Let d(p) = -p + 18. Let n be d(14). Suppose -10 = 2*h + 3*h, -3*r - n*h - 17 = 0. Is 21 a factor of (-1)/(-1)*r + 65?
False
Let y = 513 - 326. Suppose 2*w - 313 = -5*x, 2*x + x - y = -w. Is x a multiple of 3?
False
Let x be 1/4 - 301/(-28). Suppose 0*f = -2*u + f + 31, -u + 5*f + x = 0. Does 26 divide (-65 - 0)*u/(-40)?
True
Let a = -667 + 752. Does 3 divide a?
False
Let h(u) be the first derivative of -u**4/4 + 3*u**3 - 7*u**2/2 + 14*u + 6. Let c be h(8). Is 13 a factor of c/(-8)*(-6 - 6)?
False
Let x = 193 - 133. Let z = -15 + x. Is z a multiple of 15?
True
Suppose 25*b = 28*b - 3498. Is 11 a factor of b?
True
Suppose 102*t - 6237 = 81*t. Is 33 a factor of t?
True
Let i(r) = -r**3 - 7*r**2 + 11*r + 9. Let u be i(-6). Does 25 divide u/(-18) - 5 - (-2050)/12?
False
Let m(s) = 177*s**2 - 2*s - 5. Let p be m(-2). Let t = p - 493. Is t a multiple of 21?
False
Let t(n) = -n**2 + 30. Let p be (-8)/36 + 6/27. Does 30 divide t(p)?
True
Let z be ((-2)/(-1 - -7))/(20/(-2340)). Does 20 divide (-3)/(-2)*5486/z?
False
Suppose 3*w + 5 = -4, h - w - 2 = 0. Let s be 1 + h - 20/(-5). Suppose 9*t = 4*t + s*q + 10, -4*q = -3*t - 2. Is t a multiple of 2?
True
Does 43 divide 54/6 + (-1 - -1926)?
False
Suppose 5185 = 20*z - 15655. Is z a multiple of 24?
False
Let p be (-30)/(-12) + (-2)/4. Suppose p*t - 1 = -j + t, 2*t = 5*j - 26. Is (-260)/(-15) + j/6 a multiple of 9?
True
Let m(c) = -10*c + 17. Let n(g) = -g + 1. Let l(s) = -m(s) + 3*n(s). Is l(5) a multiple of 8?
False
Suppose -5*m - 9 - 171 = 0. Let q = m - -136. Is q a multiple of 10?
True
Suppose 4*d - 2*l - 325 = -17, l = -4*d + 296. Is 15 a factor of d?
True
Suppose -2*v = -w - 3357 + 364, 0 = -6*v + w + 8977. Is v a multiple of 20?
False
Does 11 divide (10/2 + (3 - 6))*548?
False
Let i(f) = -3*f + 1. Is i(-15) a multiple of 4?
False
Suppose 3*z + 20*g - 18*g - 208 = 0, 3*z - 3*g = 213. Is z a multiple of 10?
True
Does 34 divide (54/4)/(114/2584)?
True
Let s(q) = -q - 8 - q - 2*q. Suppose 56 = -5*u + t, 3*u - t + 28 = t. Is 10 a factor of s(u)?
True
Let f(u) = u**3 + 54*u**2 - 5*u + 9. Is f(-54) a multiple of 3?
True
Does 3 divide (-183)/122*62/(-1)?
True
Let j(b) = -29*b - 26. Let g be j(-7). Let s = g - 103. Is 30 a factor of s?
False
Let u(v) = -91*v - 160. Is u(-17) a multiple of 19?
True
Let z = 60 - 112. Is z*((-14)/8 + -3) a multiple of 27?
False
Let z = -22 - -36. Suppose z = 2*u + 4. Let l(k) = k**3 - 7*k**2 + 13*k - 7. Is 8 a factor of l(u)?
True
Let a be ((-45)/6)/((-3)/20). Suppose -j + 0*j + a = 0. Is j a multiple of 18?
False
Suppose -5*j = 5*h - 185, -3*j + 45 = h + 8. Is h even?
False
Let k = 17 + -7. Let j(z) = z**2 - 8*z + 17. Does 37 divide j(k)?
True
Let t = 139 + -237. Let i = t + 233. Is i a multiple of 15?
True
Let j(o) = o**3 - 5*o**2 - 8*o - 17. Does 16 divide j(7)?
False
Let v(n) = -n**3 + 3*n**2 + 3. Let c be v(3). Suppose 4*l - c*s = 46, -l - s = -4*s - 16. Does 10 divide l?
True
Let w = -11 - -9. Let u = w - -6. Does 5 divide 2/(-1)*(-10)/u?
True
Suppose 0 = 5*z - 3 - 7. Suppose 0 = -z*q - 8 + 4. Is (q - 25/(-10))*108 a multiple of 27?
True
Let z be ((-10)/2)/(2/12*-2). Let i = 9 - -16. Let c = i - z. Is 10 a factor of c?
True
Suppose 3*w = -2*q - 111, 4*q - q = 3*w + 126. Let k be (w/52)/((-2)/8). Suppose 4*r = k*r + 22. Does 8 divide r?
False
Suppose -2*n + 291 = v, 107 = 2*v + 3*n - 478. Does 33 divide v?
True
Let t(a) = -a + 8. Let o be t(3). Suppose -d + 3*d - 76 = 4*p, -4*p + 246 = o*d. Is 5 a factor of d?
False
Suppose 5*s - 3148 = 8772. Suppose -9*k = -k - s. Does 59 divide k?
False
Let v(a) = 2*a**2 - 3*a - 1. Suppose 5*d - 2*o + o + 14 = 0, -o + 8 = -2*d. Let k be v(d). Suppose -2*b = -3*s - 2*s - 24, b = 3*s + k. Does 7 divide b?
True
Let i(c) = c**2 + 6*c + 36. Suppose 2*d = 3*q + 24, 4*q + 37 = 4*d + 5. Is 10 a factor of i(q)?
False
Let v(p) = 30*p - 132. Is v(5) a multiple of 9?
True
Does 12 divide ((-4240)/100)/((-2)/10)?
False
Let i(r) = 89*r - 33. Is i(16) a multiple of 13?
True
Let u be 7/1*(5 + (-30)/5). Let t = 46 - 21. Let d = t + u. Does 6 divide d?
True
Let p be (3 + -2)