 r*v - 195 = -2*v. Does 13 divide v?
True
Let z(b) = b**3 + 14*b**2 - 74*b - 17. Is 2 a factor of z(-17)?
True
Let b be 6/(-15) - 27/(-5). Suppose 0 = x + 4*x + b, -4*x = 5*l - 16. Suppose l*m - n - 76 = -6*n, -52 = -4*m + n. Is 4 a factor of m?
False
Suppose -3*v = 4*v + 168. Let f = v + 39. Is 2 a factor of f?
False
Let g be 2 + (307 - -3) - 4. Let n be (-2072)/10 - 4/(-20). Let q = g + n. Is q a multiple of 26?
False
Let m = -113 + 123. Is m a multiple of 5?
True
Let z be ((-176)/6)/((-20)/60). Suppose -4*j = 5*p + 242, 5*j + 1 + 60 = -p. Let v = z + p. Does 7 divide v?
True
Let x be 21/14*(-2 - 380/(-6)). Let o = -24 + x. Does 17 divide o?
True
Let h = 537 - 326. Does 15 divide h?
False
Let g(w) = -w**3 - 5*w**2 - 4*w - 6. Let q(m) = 2*m**2 - 2*m + 2. Let h(t) = -t**2 + 1. Let l(x) = -3*h(x) - q(x). Let b be l(0). Is 9 a factor of g(b)?
False
Let d be ((-6)/(-4))/(-1)*2. Let l(a) be the first derivative of 7*a**3/3 - 3*a**2/2 + 3*a + 32. Is 25 a factor of l(d)?
True
Let g(f) = -3057*f + 33. Does 30 divide g(-1)?
True
Let m = 57 - -146. Is 6 a factor of m?
False
Is 7 a factor of 10/40*479 - (-9)/(-12)?
True
Suppose -3*u + 4*u = 75. Does 21 divide u?
False
Let p(u) = u**3 - 6*u**2 + 6*u. Let n be p(4). Let w be (-4 + 13)*n/(-3). Let d = 25 + w. Does 12 divide d?
False
Suppose 3*n - n = -2. Is (-10)/(0 + 2)*n a multiple of 5?
True
Suppose 6 = -4*n - 2. Is -4 - (n + (-66 - -2)) a multiple of 19?
False
Let v be 1 - 1 - (-5 - (3 - 2)). Is (((-2079)/v)/(-7))/((-2)/(-4)) a multiple of 12?
False
Is (49/4)/((-109)/(-8284)) a multiple of 19?
True
Let w = -18 - -22. Let x = w - 10. Let o = 43 - x. Is 7 a factor of o?
True
Suppose 0 = -45*o - 13*o + 62814. Is 19 a factor of o?
True
Suppose 34*g - 34661 = 25315. Does 28 divide g?
True
Suppose 13 = 3*b - 2. Suppose -4*h = -0*p - 3*p + 192, 294 = b*p + 2*h. Let a = p + -2. Is 29 a factor of a?
True
Suppose -4*d - k + 3896 = 0, 17*d = 14*d - 3*k + 2913. Is 10 a factor of d?
False
Let x(l) = 2*l - 12. Let t be x(7). Suppose 5*j + 5*u = 3*u + 164, -j + t*u = -28. Is 3 a factor of j?
False
Let g(k) be the third derivative of -k**6/120 - k**5/15 + k**4/12 + 5*k**3/6 - 31*k**2. Does 20 divide g(-5)?
True
Suppose 3*v = 4*v - 3. Let k = -3 - 34. Is v - (k + -3 + 0) a multiple of 7?
False
Let l be 8*(15/5 + 63). Suppose -4*v + 4*a = -0*a - l, -a = 5*v - 660. Is v a multiple of 20?
False
Let h(f) = 21*f**2 - f - 3. Let b be h(-2). Let c = b - 34. Is 7 a factor of c?
True
Suppose -40387 = 49*c - 211495. Is c a multiple of 18?
True
Is 45/(-9) - -1017 - 7 a multiple of 67?
True
Let j(x) = -x**3 + 16*x**2 - 2*x + 12. Let o be j(9). Is 47 a factor of 3/6 - o/(-6)?
True
Let g(d) be the first derivative of d**3/3 + 3*d + 3. Let u be g(0). Let o(y) = y**2 + 2*y - 1. Is o(u) a multiple of 14?
True
Let r(m) = m**3 - 2*m**2 + 6*m - 3. Suppose -18 = 4*x - 2*d, -x - 7 = 2*d - 0*d. Let k(v) = v**3 + 5*v**2 - v - 1. Let y be k(x). Is 11 a factor of r(y)?
False
Suppose 65*k - 51343 - 121037 = 0. Is 13 a factor of k?
True
Let q(b) = -b**3 - 2*b**2 + 2*b + 333. Is q(0) a multiple of 8?
False
Let q be (-14)/4*(1 - (-52)/(-28)). Is (7/(28/8))/(q/60) a multiple of 24?
False
Let i = -25 + 45. Suppose -i*j + 36 = -16*j. Is j even?
False
Let p = 224 + -40. Let q = 292 - p. Is q a multiple of 18?
True
Let a(g) = -g**2 + 10*g + 9. Suppose 0*m - 4*v = m - 17, 8 = 4*v. Is 3 a factor of a(m)?
True
Is 21 a factor of 0 - -4 - 353/(-1)?
True
Does 12 divide -1 - 2417/(-7) - (-62)/(-217)?
False
Let g(u) = 2*u - 4. Let d be g(4). Suppose -d*p + p + f = 7, 8 = 2*f. Is 8 + (p - 1) + 0 a multiple of 6?
True
Let j(g) = -145*g**3 - 13*g**2 + 4*g + 5. Is 17 a factor of j(-2)?
True
Let u = -71 + 221. Let m = u - 82. Is m a multiple of 34?
True
Let w(c) = -18*c - 6. Let i(d) = -d**2 + d - 1. Let x(p) = p**2 - 10*p. Let h(o) = 2*i(o) + x(o). Let r be h(-8). Is 12 a factor of w(r)?
False
Let n(o) = -40*o**3 + 4*o**2 + o + 2. Is 8 a factor of n(-2)?
True
Let y(a) = -17*a - 21. Let z be y(-3). Suppose 4*v - z = 34. Is v a multiple of 2?
True
Let w(c) = -6*c - 1. Let s be w(-6). Suppose 11*g - s = 119. Is g a multiple of 8?
False
Suppose 0 = -4*v - v + 2*n - 18, -v - 1 = -3*n. Let o(m) = -24*m - 16. Is o(v) a multiple of 9?
False
Let b = 112 - 74. Suppose -p + b = 2*d, -4*p - d - d = -146. Does 5 divide p?
False
Let c be 83/6 - 10/(-60). Let n = c + -10. Suppose 0 = -n*o + y + 25, o - 4*o + 5 = 2*y. Is 4 a factor of o?
False
Let h = -189 + 542. Is h a multiple of 7?
False
Suppose -3*m + 4*y = 289, 2*m - 4*y + 198 = -0*m. Let s = m + 151. Is 10 a factor of s?
True
Let n be (-309)/(-4) + (-2)/8. Suppose 0 = 5*q + 12 - n. Is 8 a factor of q?
False
Is 20370/42 - (6 - 1) a multiple of 8?
True
Let q(f) = -f**2 - 8*f. Let v be q(-6). Let o = v + -13. Is 13 a factor of o/(-8)*26*4?
True
Suppose -7*g + 3498 = -51. Does 10 divide g?
False
Suppose -2 = -4*f + 6. Let j be (304/12)/(10/45). Suppose -j = -f*n + 4*p, 3*n = -2*p + 101 + 70. Is 19 a factor of n?
True
Let j = -19 - -41. Let m = j + -11. Does 4 divide m?
False
Suppose 17*u - 2051 - 3729 = 0. Does 34 divide u?
True
Suppose 6 - 2 = -4*a - 4*k, 18 = -2*a + 2*k. Does 5 divide (1185/(-27))/a + 6/27?
False
Suppose 3*g - w = 7744 + 1031, -w = 0. Is g a multiple of 111?
False
Let v = -28 + 37. Let z = v + 3. Is 3 a factor of z?
True
Suppose -4 = 5*c - c. Let i(f) = -31*f + 1. Let v be i(c). Suppose -2*z + 22 = -v. Does 21 divide z?
False
Let k be 4 - (-1 - 1 - 0). Let x be 21/k - 2/(-4). Suppose -x*j = -95 + 27. Is 17 a factor of j?
True
Suppose 0 = 2*x + x - 12. Let o(g) = -x + g**2 + 11*g - 2*g**2 - 4 - 2. Is 8 a factor of o(9)?
True
Let s(b) = 2*b**2 - 8*b - 30. Suppose -8*n = -n + 35. Does 12 divide s(n)?
True
Suppose -g + 4*t - 2 - 12 = 0, g + 3*t - 21 = 0. Suppose d - 2*f - 21 = 0, 3*f = -3 - g. Does 13 divide 500/d*6/4?
False
Let v be 36/45*(-25)/(-2). Let t = v - 7. Suppose 0 = -t*z + 236 - 41. Is z a multiple of 13?
True
Let m(i) be the first derivative of i**2/2 - i - 8. Is m(10) a multiple of 3?
True
Suppose 0 = 4*q - 0 + 4, 5*q - 427 = -3*i. Is i a multiple of 22?
False
Let t be 6/10 - 396/(-15). Suppose -t = -v - 10. Suppose 2*c = 10, -107 = -3*y - 3*c - v. Is y a multiple of 18?
False
Let s(c) = -13*c**3 + 8*c**2 - 2*c - 15. Is 91 a factor of s(-5)?
True
Let o(h) = -h**2 - 4*h + 23. Let x be o(-10). Is 5 a factor of (x/(-3))/((-5)/(-15))?
False
Suppose -l + 3*f = 17, 3*f - f = 2. Is (-6)/4 - 1309/l a multiple of 23?
True
Suppose 3*d = -74 + 71. Does 19 divide (-52)/(-156)*(0 + d + 115)?
True
Let k(n) = 2*n**2 - 6*n + 2. Let z(j) = -j**3 + 6*j**2 - 4*j - 1. Suppose d + 5 = 2*d. Let x be z(d). Does 5 divide k(x)?
True
Let l(t) = 18*t**2 - 6*t + 3. Does 10 divide l(-4)?
False
Let f(r) = 8*r + 10. Let g be f(-8). Is g*(8 + -3)/(-5) a multiple of 27?
True
Let s be (115 - -3)*1/2. Suppose 0 = h + 5*z - s, 6*h - z = h + 295. Is 26 a factor of h?
False
Let f(a) = 485*a - 1. Let q be f(-1). Let h = -332 - q. Is 12 a factor of h?
False
Is (-7 + (-115)/(-10))*2464/6 a multiple of 66?
True
Let a(t) = -20*t - 6 - 25*t - 10 + 0. Is a(-8) a multiple of 33?
False
Suppose 4*u + u - 10 = 0. Suppose -286 = -u*k - 3*g, -2 - 6 = -4*g. Is 32 a factor of k?
False
Suppose 2*m - 6*m = -2*p + 918, 0 = -p - m + 447. Suppose -2*f - 5*v - 39 = -p, 0 = -2*f + 2*v + 440. Is f a multiple of 13?
False
Let x = 184 + -222. Suppose -2*o = -0*o - 152. Let l = x + o. Is l a multiple of 19?
True
Let w(k) = 2*k**2 + 10*k + 8. Let a = -16 + 11. Let u = a - 1. Is w(u) a multiple of 20?
True
Let u = 121 + -238. Is 15 a factor of (-2552)/(-26) - (-18)/u?
False
Suppose 2*g + 5*q = -584 + 1514, 4*q = 2*g - 966. Suppose -4*n + g + 317 = 0. Does 33 divide n?
True
Let w = -8 - -71. Suppose 0 = 5*q - w - 277. Suppose -13*y + 11*y = -q. Is y a multiple of 14?
False
Suppose b = 2 - 4. Is 15 a factor of ((-60)/14)/(b/28)?
True
Let s = 20 - 30. Let n be 15/25 + 86/s. Is 19 a factor of (-2)/n - 675/(-20)?
False
Let n(s) = -s**2 - 3*s + 6. Let k be n(-4). Let j(q) = 12*q - 3. Does 7 divide j(k)?
True
Let t(d) = 0 - 1 - d**2 - 13*d - 2. Let x be (-24)/(-14)*7/(-2). Does 13 divide t(x)?
True
Suppose -z - 6*p + 4*p = -4, -2*p = -2. Let s be (-1)/(0 - z/(-14)). Let j(o) = -3*o - 15. Is j(s) a multiple of 6?
True
Is (-13)/4 - -3 - 10665/(-36) a multiple of 37?
Tr