 0 = -2*v + 5*v + z - 503, -2*z + 330 = 2*v. Does 13 divide v?
True
Suppose -2*m + 6 = 3*i + i, 3*i - 3*m = -18. Let l = i - -4. Suppose 2 = l*o - 28. Does 10 divide o?
True
Let w be 4/14 + (-1912)/28. Let c = w - -125. Does 18 divide c?
False
Suppose 56 - 2 = 9*i. Does 4 divide i?
False
Let z = -73 - -161. Does 8 divide z?
True
Suppose 2*l - s = 122 + 63, s = -5. Is 18 a factor of l?
True
Let p(f) be the second derivative of f**5/5 + f**4/6 - f**3/3 + f**2/2 + f. Suppose -4*k = -3 - 1. Is 5 a factor of p(k)?
True
Is (-2006)/(-26) + 14/(-91) a multiple of 11?
True
Is 12 a factor of (-288)/56*28/(-6)?
True
Let v = -9 - -9. Suppose v = -4*w + 3*k + 16, -2*k = 2*w - 22. Is w a multiple of 3?
False
Suppose 4 = f - 0*f, -4*f = 2*g - 40. Let c = -7 - -4. Let l = g - c. Is l a multiple of 15?
True
Let i be 1450/8 - (-1)/(-4). Suppose i = 5*f - 0*b + b, -5 = -5*b. Does 12 divide f?
True
Let d = 0 - 3. Let v(z) be the second derivative of -z**5/10 - z**4/3 + z**3/6 + 3*z**2/2 - 2*z. Does 7 divide v(d)?
False
Let f = -6 - -11. Suppose -a + 3 = -4*v, 0 = -3*v - 0*a - 3*a + 9. Let q = f + v. Is 5 a factor of q?
True
Does 33 divide -495*-2*1/6?
True
Let r(s) = s**3 - 3*s**2 + 4*s - 3. Let g be r(2). Does 3 divide (4/g)/(-12)*-15?
False
Let j = 137 - 201. Let p = -28 - j. Does 12 divide p?
True
Let i = -10 - -12. Let t(h) = 6*h**3 - 2*h**2 - 3*h + 2. Does 9 divide t(i)?
True
Suppose -2*d = -72 + 12. Is 15 a factor of d?
True
Let n = 182 - 274. Let g = 148 + n. Is 28 a factor of g?
True
Let y be (-1)/(-3) + (-22)/(-6). Suppose -y*w = -5*c - 104, 0*w + 108 = -4*c - 3*w. Let o = c + 46. Is o a multiple of 10?
False
Suppose 33 = -3*b + 2*l, -2*b - 18 = -b - 3*l. Is 2/(-4)*(b + -1) a multiple of 5?
True
Let c be (1 - (-2 + 2)) + 30. Let b(g) = -5*g + 3. Let x be b(4). Let r = c + x. Does 7 divide r?
True
Let i = -7 - -97. Is 15 a factor of i?
True
Let j be (-13)/(-1) + 1 + 0. Suppose k + 3*k - j = 2*m, -4*k = -m - 17. Suppose k*r = 3*c - 24, -4*r - 31 - 9 = -5*c. Is 6 a factor of c?
False
Let u(q) = 0*q - q**2 - 1 - 5 - 6*q. Let v be u(-5). Does 3 divide (-4 + -1)/(0 + v)?
False
Suppose 4*l + 19 = 51. Suppose 2*s - 4*g - l - 26 = 0, -29 = -s + 5*g. Is s a multiple of 9?
True
Let u be (-2)/(-8) + 1/(-4). Let t be (1 + u)/((-5)/185). Let y = -22 - t. Is 5 a factor of y?
True
Let k be (12/10)/((-6)/(-20)). Suppose 0*m + 2*m - 5*t = 62, 152 = k*m + 4*t. Is 9 a factor of m?
True
Let y be 16/(-6)*45/(-12). Suppose y*q + 180 = 13*q. Is q a multiple of 12?
True
Suppose -6*v = -8*v + 5*k + 174, 0 = 2*v + 3*k - 206. Is 15 a factor of v?
False
Suppose 2*j = -5*s + 19, 0 = -5*s + 6*s + 2*j + 1. Is (s - 4)/(1/14) a multiple of 7?
True
Let a be ((-2)/(-8))/(1/4). Is 3*a*(-4)/(-4) a multiple of 3?
True
Let w = 100 + -53. Does 34 divide w?
False
Let p(z) = z**3 - 12*z**2 + z + 3. Does 3 divide p(12)?
True
Let p(c) = c + 43. Is 12 a factor of p(0)?
False
Let q(j) = j**3 + j**2 - 7. Let w be q(0). Let s(i) = -1 + 0 - 3 - 4*i + 3*i. Does 3 divide s(w)?
True
Let t(q) be the first derivative of q**2/2 + 6*q - 1. Does 16 divide t(10)?
True
Let v(f) = 9 - 2*f**3 - 11*f + 4*f**3 - f**3 + 9*f**2 + 15*f. Is v(-8) a multiple of 13?
False
Suppose 48 = 15*u - 13*u. Does 8 divide u?
True
Let z(u) be the third derivative of u**6/720 + u**4/24 + u**2. Let a(h) be the second derivative of z(h). Is a(4) a multiple of 2?
True
Suppose -3*k + 73 + 111 = 4*t, -5*k + 149 = 3*t. Does 8 divide t?
False
Let j = -9 - -70. Does 12 divide j?
False
Suppose -4*r = -17 + 1. Suppose 2*t - 5*t = -5*u - 195, -r*t + 255 = -5*u. Does 11 divide t?
False
Suppose -4*o = 4*b - 52, b + 3 = -o - 4*b. Let u = o - -4. Does 21 divide u?
True
Let d(r) = -25*r + 7. Let u(o) = -12*o + 3. Let l(h) = 4*d(h) - 9*u(h). Does 7 divide l(1)?
False
Let o(f) = 2*f**3 - 7*f**2 + 4*f + 5. Let s(y) = -5*y - 1. Let j be s(-1). Is 22 a factor of o(j)?
False
Let c be (-2 + 1)*744/2. Let z be ((-1)/(-2))/((-2)/c). Suppose 76 = 2*m - 4*u, -2*m + u = -5*m + z. Does 16 divide m?
True
Let i(v) = -v**2 - 10*v - 3. Let t be i(-6). Suppose g + 1 = l + 2*g, -l + 4*g = -t. Is l a multiple of 5?
True
Suppose -5*q - 6 = 3*i, 5*i - 6 = -3*q - 0*q. Suppose 80 - 224 = -i*l. Is l a multiple of 24?
True
Let i = -52 - -188. Suppose q - 2*q + 55 = 2*r, 4*q = -5*r + i. Does 14 divide r?
True
Let a = -182 + 346. Let i be 6*2/12*2. Suppose 0 = -i*h - 2*h + 2*d + a, 0 = 3*h - 4*d - 113. Is h a multiple of 23?
False
Is 12 a factor of -17 - -12 - -263*1?
False
Suppose -5*c + 2*l = 6, 8*c + 3 = 3*c + l. Suppose -5*w + w + 3*j - 262 = c, 4*w + 4*j + 276 = 0. Let s = -48 - w. Is 10 a factor of s?
False
Let f(a) = -a**3 - 4*a**2 + 3*a - 4. Let j(c) = 2*c + 13. Let w be j(-9). Let r be f(w). Is 57/9 - 2/r a multiple of 6?
True
Let k = 12 - 27. Let n = -7 - k. Does 4 divide n?
True
Let z(y) = -2*y**3 - 4*y**2 + y + 2. Let q = -9 - -6. Is 5 a factor of z(q)?
False
Suppose 2*u - c + 3*c - 144 = 0, 4*u - 3*c - 274 = 0. Is u a multiple of 14?
True
Suppose -20 = -4*d, 0*z - 4*d = 4*z - 108. Is 10 a factor of z?
False
Suppose -c = -2*k + 398, 2*k + 0*k + 4*c - 378 = 0. Does 13 divide k?
False
Let o = 13 - 9. Let p = 17 - o. Is p a multiple of 10?
False
Let p = -1 + 4. Is p*(2 + (-132)/(-9)) a multiple of 13?
False
Let c be (3/(-9))/((-1)/(-3)). Does 14 divide (-7)/7 - 33*c?
False
Suppose 8 = 3*f + 2. Suppose -2*r = 2*i + 4, i = -2*i - f*r - 1. Suppose -2*h + 5*h = 5*y + 93, 2*y = -i*h + 93. Does 13 divide h?
False
Let y(b) = -b**3 + 3*b + 3. Let f be y(-2). Suppose -3*i + f*r = 2*i - 25, -20 = -5*i + 4*r. Let z(w) = -w**2 + w + 11. Is z(i) a multiple of 11?
True
Let u be 2/3 - (-228)/(-18). Let r be 57/4 + 3/u. Suppose 8 + r = c. Is c a multiple of 15?
False
Let y(x) = -x**3 - 8*x**2 + 8*x + 12. Suppose 2*n + 9 = n. Is y(n) a multiple of 7?
True
Let q be 2/(2 + -5 - -4). Is (37 - 1) + 1 + q a multiple of 18?
False
Suppose h - 4*m = 37, 2*h - 3*h + m = -22. Is h even?
False
Let q(d) be the third derivative of d**6/60 + d**3/6 + 4*d**2. Suppose 8 = 2*i + 2*i. Is 9 a factor of q(i)?
False
Let r(c) = -c**3 + 9*c**2 + 2*c + 3. Is r(9) a multiple of 20?
False
Suppose 5*f - 5*j = -45, -2*j + 23 = -3*f - 0*j. Let i = 4 - f. Is 4 a factor of i?
False
Let d be (324/(-15))/(3/(-10)). Suppose -2*x + n + 47 = -2*n, 3*x = 3*n + d. Suppose -5*i = 2*h - 40, -i + x = 3*i + 3*h. Does 7 divide i?
False
Suppose 4*h + 6 = -6. Let n(a) = -20*a + 3. Is 20 a factor of n(h)?
False
Suppose 7*d = 2*d. Let t be -4*((-10)/(-8) + d). Does 2 divide 2/t + 54/10?
False
Let b = 346 - 180. Does 36 divide b?
False
Let l = 11 - -25. Does 10 divide l?
False
Does 24 divide 86*(9/(-6) + 2)?
False
Suppose 5*u = -3*o + 4*o + 19, -4*u + 4 = 2*o. Suppose 0*y + 126 = u*y. Does 14 divide y?
True
Is 16 a factor of (1 - 13)/((-5)/(58 + 2))?
True
Suppose -4*v = -2*v. Suppose -2*r - m + 25 = 0, v = -4*r - 5*m - 21 + 80. Is 4 a factor of r?
False
Is (-8)/5*(-2 + (-62)/4) a multiple of 5?
False
Suppose 2*l + 44 = 3*l - 4*t, -4*t = -3*l + 164. Is l a multiple of 15?
True
Let t = 13 + -9. Suppose 4*z - t + 0 = 0. Does 5 divide (-6)/((-14)/8 + z)?
False
Let g(w) = 41*w + 1. Let i be g(2). Let n = i - 47. Does 6 divide n?
True
Let w be ((-48)/18)/(2/(-3)). Suppose -w*z + 17 = -3. Is z a multiple of 5?
True
Does 64 divide 18015/105 + (-6)/(-14)?
False
Let c(x) = -3*x + 6. Let m be c(-8). Suppose 0*v + m = v. Is 11 a factor of v?
False
Suppose -10 = -5*g + 5. Suppose -g*w = w - 24. Is 10 a factor of (-40)/(-3)*w/5?
False
Let v be -3 - 2/(8/12). Let f(w) = -w**3 - 5*w**2 - w - 6. Is 12 a factor of f(v)?
True
Let p = -81 + 114. Does 7 divide p?
False
Let v(s) be the first derivative of -51*s**2/2 + 30*s + 2. Let m(y) = 10*y - 6. Let l(h) = 11*m(h) + 2*v(h). Is l(4) a multiple of 7?
False
Suppose -230 - 195 = -5*s. Let u = s + -43. Is u a multiple of 21?
True
Suppose -2*f + 3*f - 272 = -4*z, 3*z = -f + 270. Does 24 divide f?
True
Suppose 8 = 2*o - 2. Let d(y) = 1. Let a(g) = g**3 - 5*g**2 + 6*g + 1. Let q(t) = a(t) + 5*d(t). Does 13 divide q(o)?
False
Let d = 5 + -1. Suppose -3*i = -i - d. Suppose i*f = -f + 54. Does 9 divide f?
True
Let o(z) = z + 10. Does 15 divide o(5)?
True
Suppose -h + 7*h = 780. Is h a multiple of 13?
True
Let k(r) be the second derivative of -5*r**3/6 + r**2/2 - 5*r. Is k(-2) a multiple of 11?
True
Suppose 0