-3*x = -2*x + 4*o - 1136, 1 = o. Is x a multiple of 38?
False
Let c(t) = -35*t**3 + t**2. Let v be ((-48)/28)/(4/(-14)). Let d = -7 + v. Does 12 divide c(d)?
True
Suppose 3*m = 4*m + 4*p - 1318, 5*m - 6705 = 3*p. Is m a multiple of 116?
False
Let m(v) be the third derivative of 0 - 9*v**2 - 5/12*v**4 + 7/6*v**3 + 0*v. Is 8 a factor of m(-5)?
False
Suppose 94*q + 3444 = 96*q - 3*v, -2*q = 4*v - 3458. Is q a multiple of 13?
False
Suppose -s - 152 = -5*s. Let z(u) = u**3 - 6*u**2 + 2*u + 1. Let n be z(4). Let b = n + s. Does 6 divide b?
False
Is (-2 + (-56)/(-12))*(66 - -3) a multiple of 9?
False
Let x(a) = -2*a**3 - 2*a**3 - 4 - 3*a - a. Let i be x(-3). Let z = i + -67. Is z a multiple of 31?
False
Suppose 2*l - 926 = -k, -7*k - 1856 = -9*k - 2*l. Is k a multiple of 6?
True
Let w be -14*4/24*-3. Suppose 2*m = -o + w, -5*m = -3*o - 12 - 11. Let h = m - -8. Is h a multiple of 4?
True
Suppose 4*x + 4*o - 628 = 0, 2*x - x - 169 = -4*o. Suppose 2*a + 2*a = 5*v + 222, -4*v - 5*a - x = 0. Let n = -26 - v. Is 16 a factor of n?
True
Let a(w) = 15*w - 10. Let y be a(10). Does 13 divide 2 + (6/(-7))/((-5)/y)?
True
Suppose 11*p = p + 130. Suppose p*y - 10*y = 723. Does 29 divide y?
False
Let z = -6 - -14. Let x be (-2)/(-8) - (-38)/z. Suppose -5*h + 2*h + x*b = -1, h + 4*b = 23. Does 5 divide h?
False
Suppose 0 = -4*l + 528 + 188. Is l a multiple of 9?
False
Suppose 3*a - 21 + 6 = 3*o, 2*o + 20 = 4*a. Suppose 0 = -0*j + a*j + 80. Is 3/(3/(-1 - j)) a multiple of 10?
False
Let d(x) = 10*x**2 + 2. Let c(v) = v**2 - 5. Let h be c(0). Let k be 1/h*80/(-8). Is 14 a factor of d(k)?
True
Let i(z) be the second derivative of -z**4/12 - 5*z**3/6 - z**2/2 - 6*z. Let m be i(-4). Suppose o + m = -1, -5*g - 5*o + 40 = 0. Does 7 divide g?
False
Let n(r) = 5*r**3 - 5*r**2 + 2*r**2 - 3*r**3 + 2. Let f be n(2). Suppose 2*i = f*i - 112. Is 7 a factor of i?
True
Let r be ((-2)/(-7) - (-1095)/(-35)) + -3. Let q = r - -38. Is q a multiple of 3?
False
Suppose -273 = -6*q + 327. Does 5 divide q?
True
Suppose -c - 8 = 5*k, 0*k - 2*k + 4 = 4*c. Let h be -3 - 0 - k - 0. Is 16 a factor of 5*3 - h/1?
True
Let w(k) = k + 12. Let o(s) = -3*s - 24. Let j(d) = -3*o(d) - 5*w(d). Suppose -2*m = -3*u - 9, 2*u = 3*u - 3. Does 16 divide j(m)?
True
Let d be 226 + 3/(-2)*2. Let f = -157 + d. Suppose 3*r = -3*g + f, -5*r + 101 = -g - 21. Is 4 a factor of r?
True
Is 0 - (-1702)/69*(1 + 26) a multiple of 10?
False
Let d(h) be the second derivative of 0*h**2 + 0*h**3 + 5/2*h**4 + 0 - 6*h. Does 6 divide d(1)?
True
Let t = 5206 - 2876. Does 80 divide t?
False
Let c be (-70)/(-6) + 0 - (-22)/66. Suppose 92 = c*g - 8*g. Is g even?
False
Let f(u) = -u**3 + 10*u**2 + 4*u + 7. Is 26 a factor of f(7)?
True
Let o(y) = y**3 - 11*y**2 - 13*y + 4. Let b be o(12). Let q be (-4)/(-8) + 4/b. Suppose -7*m + 239 - 71 = q. Does 4 divide m?
True
Let k = -3 - -13. Let x be k/4*36/10. Let p(d) = -d**2 + 10*d - 1. Does 4 divide p(x)?
True
Let w = -9 + 9. Suppose w*b = -5*b + 650. Suppose 4*i - b = -i. Does 8 divide i?
False
Let g(p) be the third derivative of p**4/6 + 2*p**2. Let k = -16 - -25. Is 12 a factor of g(k)?
True
Suppose 2*l + 5*x = 276, 4*l + 5*x - 552 = 3*x. Is 6 a factor of l?
True
Suppose o - 269 - 345 = -5*x, 3*x = -o + 622. Does 21 divide o?
False
Let k(d) = -276*d**2 - 2*d + 0*d + 280*d**2 + 5*d. Suppose 4*b + 5 = -3. Is 7 a factor of k(b)?
False
Let i(v) = -2*v**2 - 15*v - 1. Let y be i(-7). Suppose -5*r + z = y*z - 285, 8 = -2*z. Is r a multiple of 12?
False
Suppose 5*z - 34 = -f, -4*z + 5*f = 9*f - 24. Suppose 3*t = 5*m + z*t - 564, -114 = -m - 2*t. Is 7 a factor of m?
True
Let p(h) = -h + 9*h - 4 + 1 - 2. Let k be p(2). Suppose 13*j = k*j + 76. Is j a multiple of 12?
False
Is 40 a factor of 5 - ((-60)/80 + 7177/(-4))?
True
Let n(u) be the second derivative of 3*u**4/8 + u**3/6 - 4*u**2 + 8*u. Let k(j) be the first derivative of n(j). Is 9 a factor of k(4)?
False
Let k(l) = l**2 - 2*l + 48. Is k(11) a multiple of 4?
False
Let d(t) = t**3 - 9*t**2 + 12. Let w(k) = -2*k + 4. Let z be w(3). Let r be 1 + z - 20/(-2). Is d(r) a multiple of 12?
True
Let c(u) = 3*u. Let l be c(1). Suppose -4*a + 5*s = -116, l*s + 13 = 1. Does 4 divide a?
True
Let n be (-2)/(-11) + (-2)/11. Suppose 2*k + 24 - 86 = n. Does 27 divide (k/(-4))/(6/(-72))?
False
Does 21 divide -4*24/(-32) - -942?
True
Suppose u + 3*w - 54 = 60, -4*w = u - 119. Does 21 divide u?
False
Let i = -573 - -191. Let p = 646 + i. Suppose -p = -5*h + h. Is h a multiple of 33?
True
Let q(f) = 19*f - 7. Suppose -3*m + 6*m + 18 = 0. Let y(b) = -18*b + 7. Let t(w) = m*y(w) - 5*q(w). Is 12 a factor of t(7)?
True
Let d(x) be the second derivative of -x**5/20 + 5*x**4/12 + 11*x**2/2 + 2*x. Is d(5) even?
False
Let b(a) = -10*a + 3. Let p(d) = -9*d + 4. Let k(h) = -4*b(h) + 5*p(h). Does 32 divide k(-8)?
False
Let k be 2/(-4)*300/6. Let h be 40/k*(-10)/4. Suppose -4*g + h*l + 56 = 0, 2*g - 4*l = -g + 46. Is g a multiple of 5?
True
Suppose -3*x = -4*u - 28, 5*u = 14 - 4. Suppose -x = -18*h + 14*h. Suppose 0 = h*a - 144 + 57. Does 23 divide a?
False
Suppose 12*c - 16*c = 20. Let m(d) = -3*d - 4. Does 3 divide m(c)?
False
Suppose 0 = 65*r - 58*r - 1589. Is r a multiple of 42?
False
Let t = 67 + -55. Let g(s) = s**2 - 8*s + 4. Does 16 divide g(t)?
False
Let t be (-2)/(-1) - (-1 + -1). Suppose 0 = -4*u - 2*n + 1148, 0 = -6*u + 3*u + t*n + 872. Is u a multiple of 16?
True
Suppose -583 + 70 = -19*g. Is (-6)/g*447*6/(-4) a multiple of 51?
False
Suppose f - 30 = 2*s, 6*s - 3*s + 5*f + 45 = 0. Let h = s - -126. Is h a multiple of 29?
False
Suppose 3*x = -12*x + 540. Is 11 a factor of ((-4)/4)/((-2)/x)?
False
Suppose -5*x + 33 - 43 = 0, 3*m - 5*x = 2620. Does 50 divide m?
False
Let p(a) = -2*a + 4. Let w be p(6). Let u = w + 8. Is 9 a factor of u + 1 - (-6 + -11)?
True
Let b be (-9)/(-12)*-2*-2. Suppose -b*c = c + 8. Is (-1)/((-3)/(41 + c)) a multiple of 13?
True
Let q be (-15 - -13)/((-2)/4). Suppose q*n + 3180 = 16*n. Is 16 a factor of n?
False
Suppose -7*t + 212 = -5*t - 2*c, -2*t - c + 203 = 0. Does 14 divide t?
False
Let i = 28 + -47. Let r = -19 - i. Suppose r = -w - 5*o - 3, 3*o + 1 = -11. Does 13 divide w?
False
Let v = 41 + -86. Does 34 divide (255/(-2))/(v/60)?
True
Is 7 a factor of ((25 - 21) + -1*5)*-266?
True
Let k = 6118 - 3481. Is k a multiple of 8?
False
Let s = 212 + 242. Is s a multiple of 10?
False
Suppose -7*d = -238 - 133. Is d a multiple of 34?
False
Suppose -3*t - 905 = -5*z, 390 = 3*z + 3*t - 177. Is 3 a factor of z?
False
Let o(q) = 23*q - 122. Does 15 divide o(34)?
True
Let h(q) = -q**3 + 10*q**2 + 12*q + 2. Let j be h(11). Suppose -2*b - j = z, b = -4*z - z - 47. Is (z/(-6))/(5/180) a multiple of 17?
False
Suppose -9*f + 2809 + 9080 = 0. Is 3 a factor of f?
False
Let m(c) = -c**3 + 14*c**2 - 26*c + 26. Does 4 divide m(11)?
False
Suppose -1961 = -4*i + a - 125, 3*i + 3*a - 1362 = 0. Is 6 a factor of i?
False
Suppose -11*f + 932 = -3072. Is f a multiple of 13?
True
Suppose 26*v = -3*l + 25*v + 690, 909 = 4*l + 5*v. Is l a multiple of 8?
False
Suppose -27*s = -31*s + 8. Suppose k + 2 = 0, 6*l = s*l - 4*k + 592. Is l a multiple of 15?
True
Suppose -c + 3*b - 6 = -3*c, 0 = -b. Let x be c/(6/8) - 1. Suppose 4*i + x*s - 240 = 25, i = 5*s + 49. Is 16 a factor of i?
True
Let n(m) = 2*m + 1. Let g be n(1). Suppose -o - 3 = 0, c = -3*c - g*o + 239. Does 10 divide c?
False
Suppose 3*d - 5*a = 5, 4*d + 0 = 5*a + 5. Let u(z) = -3 + d - z + 4*z + 6*z. Is u(7) a multiple of 30?
True
Let v be 33/9 + 8/(-12). Suppose -7*i + 84 = -v*i. Is i a multiple of 17?
False
Suppose -3 - 13 = -2*j + 5*r, 4*j + 3*r = 84. Let n = j - -13. Does 16 divide n?
False
Let f(p) = -12 + 9*p**2 - 22*p - p**2 + 34*p - p**3. Is 2 a factor of f(9)?
False
Let x(m) = -10*m**3 + 2*m**2 + 4*m - 3. Does 7 divide x(-4)?
False
Suppose 0 = 2*m - 20 - 82. Suppose -3*n - 5*c = -169 - m, -221 = -3*n - 4*c. Does 14 divide n?
False
Let k(i) = i**3 - 12*i**2 + 5*i - 2. Let r be k(13). Suppose -2*l + 282 = -r. Does 20 divide l?
False
Let t = -282 - -328. Is 2 a factor of t?
True
Let m = 1065 - 611. Does 24 divide m?
False
Let q = 2749 + -1665. Is q a multiple of 78?
False
Let i = -19 - -28. Let l = i - -45. Is 18 a factor of l?
True
Let x = 59 + -44. Is 9 a factor of 4/((-20)/x) - -12?
True
Let w(s) be th