 (-152)/m - (-2)/3 a multiple of 13?
True
Let d = 4 - -1. Let i = -7 - -12. Let c = i + d. Does 3 divide c?
False
Suppose 0 = 2*o - 0*h - 2*h - 100, 2*o - 100 = -3*h. Does 10 divide o?
True
Suppose 2*l - 1 - 9 = 0. Suppose 3*r + 4 = 13. Suppose -r*d - 4*j = d - 132, -4*d - l*j = -129. Does 18 divide d?
True
Suppose -3*h + 154 = -2*h. Does 14 divide h?
True
Suppose 8*c + g = 4*c + 6, 0 = 5*c + 4*g - 2. Is 22 a factor of 132/8*(4 - c)?
False
Let n = 116 - 35. Is n a multiple of 19?
False
Let h be ((-122)/(-6))/(-1)*-3. Let w = h - 42. Let l = 8 + w. Is 12 a factor of l?
False
Let g be 98/((-21)/12 - -2). Suppose -g = -4*z - 3452. Is 16 a factor of z/(-33) + (-2)/11?
False
Suppose -256 = -2*m - 5*r, 4*m - 3*r + 110 - 570 = 0. Is m a multiple of 36?
False
Let r(f) be the second derivative of 5*f**4/24 + f**3 - f**2 - 2*f. Let v(n) be the first derivative of r(n). Is v(6) a multiple of 14?
False
Suppose 4*d = -2 - 6. Is (d + (-27)/6)*-6 a multiple of 7?
False
Let k = 62 + 103. Is 15 a factor of k?
True
Let y(q) = -q - 12. Let b be y(-12). Suppose b = -z - 4*z + 135. Is z a multiple of 13?
False
Let d(u) = -u**3 + 9*u**2 - u. Is 13 a factor of d(5)?
False
Suppose 0*m - m = -4. Suppose -3*v + 34 = 5*r, -m*r + 3*r = 1. Is 13 a factor of v?
True
Is (-72)/(-42)*182/4 a multiple of 13?
True
Suppose -2*o + g + 170 = 0, -2*o - 2*g = 2*o - 340. Is 22 a factor of o?
False
Suppose -2180 = -5*q + 4*c, -2*q - 5*c = -117 - 755. Is q/24 - (-2)/(-12) a multiple of 11?
False
Suppose -5*z = 3*q, -4*q = -3*q - 3*z. Is -3 - (29 + q)/(-1) a multiple of 13?
True
Let z = -13 + 31. Is z a multiple of 18?
True
Let l be (-4)/10 + 22/5. Suppose 2*u + 2 = -l. Let x = 19 + u. Is 8 a factor of x?
True
Let m(o) be the second derivative of o**4 + o**3/6 + 2*o. Is m(1) a multiple of 7?
False
Let h be (-2)/1*1 + -1. Let i = h + 8. Suppose 4*d + i - 13 = 4*o, -d - 3*o + 6 = 0. Is 3 a factor of d?
True
Is 1/(-5) + 501/5 + -2 a multiple of 14?
True
Let g(c) = -c**2 - c + 35. Does 11 divide g(0)?
False
Let h be 10/4 - 1/2. Suppose -h*a = -4*a + 16. Is a a multiple of 3?
False
Is 9 a factor of ((-18)/10)/((-6)/60)?
True
Suppose -4*o - 764 = -8*o + 2*g, -2*g = -3*o + 571. Does 27 divide o?
False
Suppose -2*z - 2*z = 5*x - 183, 0 = 3*z - 2*x - 143. Is 3 a factor of z?
False
Suppose -4 = v - 1. Let z(d) = -2*d**3 + 4*d. Is 15 a factor of z(v)?
False
Is 14 a factor of 472/6 - 16/24?
False
Let i be (17 + -5)*1/3. Does 4 divide (i/10)/((-5)/(-100))?
True
Let u(q) = 2*q**2 + 11*q - 1. Suppose -4 - 28 = 4*p. Is u(p) a multiple of 13?
True
Let a be ((-42)/(-35))/((-4)/(-10)). Is 12 a factor of ((-3)/2)/(a/(-66))?
False
Let w be 6*(-2 + (-5)/(-2)). Suppose -r = -w*a + 4*a - 12, 0 = 5*r - 20. Is 6 a factor of a?
False
Let l = -35 - -60. Is l a multiple of 25?
True
Is 9 a factor of (-35)/2*28/(-35)?
False
Let t(q) be the first derivative of -q**3/3 + 7*q**2/2 + q - 4. Is t(5) a multiple of 6?
False
Let c(k) = -k**2 + 21*k - 50. Is c(16) a multiple of 15?
True
Let q(f) = 14*f**2 + 4*f - 3. Let d be q(2). Let y = 136 - d. Suppose 4*v = v + y. Is v a multiple of 19?
False
Suppose 512 = -12*v + 8*v. Does 14 divide 4/(-6) + v/(-3)?
True
Suppose 0 = 2*c - 6*c + 424. Is c a multiple of 24?
False
Suppose -2 = -2*s + s. Suppose 0 = s*j + j - 48. Is j a multiple of 8?
True
Let r(b) = 7*b**3 + 18*b**2 - 7*b - 5. Let g(w) = 3*w**3 + 9*w**2 - 4*w - 2. Let a(d) = 9*g(d) - 4*r(d). Is a(8) even?
True
Suppose -3*a + 66 = -36. Is a a multiple of 14?
False
Suppose -6*i + 3*i = -99. Let t be i/22*16/6. Suppose 4*k - 161 = 5*r, 5*k - t*r = 241 - 42. Is 13 a factor of k?
True
Suppose 3*r - 2*r = 0. Suppose -2 = -y - r. Suppose -d - 16 = -y*d. Is d a multiple of 16?
True
Let p(a) = 7*a - 7. Let h = -9 - -21. Suppose -4*o = -h - 12. Does 9 divide p(o)?
False
Let u(o) = -1 + 7*o + 2*o**2 - 2 - o**2 - 3. Is u(5) a multiple of 18?
True
Suppose -2*r + 2*l + 39 = -r, -90 = -3*r - 3*l. Is 11 a factor of r?
True
Let q(a) = 6 - 4 - 2 - 5*a - 1. Let r(w) = 4*w + 1. Let c(o) = -6*q(o) - 7*r(o). Does 8 divide c(6)?
False
Suppose 2*x + 3*l - 142 = 0, -239 = -4*x + 3*l + 27. Suppose 5*k - 17 = x. Is 14 a factor of k?
False
Suppose 3*b = -3*q + 96, -2*b + 0*b + q = -76. Let a = 6 + -4. Suppose 12 = h + 3*g - 7*g, -b = -h - a*g. Does 14 divide h?
True
Does 10 divide (360/35)/((-2)/(-14))?
False
Let k = 6 - -1. Does 9 divide 3/(1 + (-6)/k)?
False
Let x(k) be the first derivative of 2 - 10*k + 3/2*k**2. Does 14 divide x(8)?
True
Suppose 3*y - 124 = 6*t - 2*t, -5*y + 4*t = -196. Is 9 a factor of y?
True
Suppose 32 = 2*g - 30. Is g a multiple of 16?
False
Let q(b) = 25*b - 3. Is 23 a factor of q(3)?
False
Let k = -23 - -26. Suppose -s - s + 56 = k*r, -2*r = 3*s - 34. Is r a multiple of 4?
True
Let b be (45 - -1)*(-5)/10. Let h = b - -49. Is h a multiple of 11?
False
Let l be (-253)/3 + (-2)/3. Is (-3)/9 - l/3 a multiple of 14?
True
Let b = -13 + 20. Let l = -7 + b. Suppose 3*d + 3*m - 117 = 0, l = -2*d + 3*m + 57 + 41. Is d a multiple of 17?
False
Suppose 3 = -2*v + 11, -3*g + 12 = -3*v. Is (-4*1)/2 + g a multiple of 4?
False
Is 10/(-45) + 389/9 + 2 a multiple of 9?
True
Let f be ((-1)/((-2)/8))/2. Suppose -5*m + 15 = -b, f*b - 3 = -2*b - m. Let r = b - -10. Does 10 divide r?
True
Suppose -3*d = 3, 3 = m - 5*d - 7. Suppose m*x - 2*x - 30 = 0. Does 10 divide x?
True
Suppose 10*z - 28 = 2. Let s be 1 + 0 + 2 + -2. Let y = s + z. Is y a multiple of 2?
True
Let u(d) = d**3 - 17*d**2 - 7. Let a be u(17). Suppose 0 = -3*l - l - 4. Let k = l - a. Is 3 a factor of k?
True
Let h = 17 + -16. Is 324/6 + h/1 a multiple of 20?
False
Suppose 3*q + 23 = 2*l - 31, 86 = 4*l + 5*q. Is 12 a factor of l?
True
Let f(d) = 4*d + 13. Is 11 a factor of f(5)?
True
Suppose 3*r + 10 = l - r, -5*r - 38 = 3*l. Let f(z) = z**3 + 7*z**2 + 4*z - 7. Let g be f(l). Suppose j - 5*c + 17 = 0, -g*j = -4*c - 24 + 4. Does 8 divide j?
True
Suppose -4*x + 7 + 17 = 0. Let j(a) = -x*a**2 + 2*a**3 + 7*a + 0 - 5 + 3 - a**3. Is 4 a factor of j(5)?
True
Suppose 14*l = 19*l - 215. Does 8 divide l?
False
Suppose -4*w + 495 = 3*z, -4*w - 5*z + 104 = -393. Is 23 a factor of w?
False
Let n be 0/((-2)/(2 + 0)). Suppose -h - 2*r - r - 5 = n, 5*r - 1 = 3*h. Does 3 divide (-2 - -1)*-1 - h?
True
Let r(g) = g**3 + 7*g**2 - 5*g + 28. Is r(-6) a multiple of 33?
False
Suppose 0 = 5*u - u. Let i = 6 - 4. Is (13 - i) + u - 2 a multiple of 9?
True
Suppose 2*w + 21 + 15 = 0. Is (-140)/w - (-10)/45 a multiple of 4?
True
Let w(g) = 3*g + 5. Let m(j) = -j - 2. Let y(c) = -5*m(c) - 2*w(c). Let r be y(-2). Is (4/(-8))/(r/(-52)) a multiple of 7?
False
Let a be (-2)/(-6)*(11 - 5). Suppose -35 = -2*p + 3*f, 3*p - 33 + 0 = -a*f. Is p a multiple of 13?
True
Is 7 a factor of 21 - (3/(-1) - -3)?
True
Suppose 0 = -5*b - 18 - 7, 3*b = 2*s - 7. Let k be (-2)/(-3) + s/(-3). Is 17 a factor of (-1)/k + (-207)/(-6)?
True
Suppose -4*s + 47 + 513 = 0. Is 35 a factor of s?
True
Does 26 divide (40/(-6))/(5/(-30))?
False
Let s(j) be the first derivative of -j**3/3 + j + 1. Let q(i) = i**3 + 7*i**2 + 2*i. Let y(l) = -q(l) - 4*s(l). Is 2 a factor of y(-3)?
True
Let u = 3 - 1. Suppose 0*o + 4*o = u*l - 60, 0 = -2*o - 2. Is 15 a factor of l?
False
Suppose -140 = -c - 23. Is 13 a factor of c?
True
Suppose 4*q - 14 = 3*q. Suppose -c = -2*x - q, 3*c - 3*x - 42 = x. Does 6 divide c?
False
Suppose -m + 0 + 2 = 0. Let h = 8 - m. Is h a multiple of 3?
True
Suppose -t - 30 = 5*t. Let c = 7 + -22. Does 6 divide ((-18)/c)/((-1)/t)?
True
Suppose -9*q = q - 760. Is 16 a factor of q?
False
Let h(u) = u**3 + 9*u**2 + 8*u + 12. Does 12 divide h(-8)?
True
Let b(o) = 2*o - 3. Let q be b(6). Let g = -56 + q. Let n = -27 - g. Is n a multiple of 9?
False
Let j(c) = -c**3 + 9*c**2 - 9*c + 12. Is j(8) even?
True
Let b(o) = -o**3 - o**2 + 1. Let q(f) = 4*f**3 + 8*f**2 + 8*f - 1. Let l(z) = -5*b(z) - q(z). Is 14 a factor of l(6)?
True
Suppose 0 = w + 3*h - 2*h - 4, -w + 22 = -5*h. Let r = w + -4. Suppose -4*g + a + 50 = 0, 2*a + 2*a + 44 = r*g. Is 12 a factor of g?
True
Suppose -10*n = -14*n + 384. Is 16 a factor of n?
True
Let l = 156 + -44. Is l a multiple of 28?
True
Suppose 1 + 2 = 3*g. Let j be (6/(-10))/(g/(-5)). Suppose -j*o = -16 - 5. Is 6 a factor of o?
False
Is (2 - 4 - 1) + 75 a multiple of 9?
True
Let f(l) = 2*l**2 - 5*l - 6. Let y = -11 -