actor of (-248)/r - 1/(-2)?
True
Let r = -5 + 6. Suppose -14 - r = -5*l. Does 5 divide -1*12*l/(-6)?
False
Suppose -2*a = 4*z - 25 - 41, 0 = -a - 3*z + 38. Is a a multiple of 14?
False
Let n(i) = 2*i**2 + 3*i - 2. Let b be ((-16)/(-6))/4*3. Is n(b) a multiple of 12?
True
Let q be (2/(-3))/(1/(-3)). Suppose 25 = q*v - 5*a, 3*a = 4*v + a - 42. Is v a multiple of 9?
False
Suppose 2*k - 124 = k. Suppose 4*f - 2 = 14, 2*f - k = -2*d. Is d a multiple of 21?
False
Let i(x) = 5*x**2 + x. Let n be i(1). Suppose -5*t + 0 = 3*f - n, 0 = -4*f + 2*t + 8. Let w(q) = 2*q**3 - 2*q**2 - q + 2. Does 4 divide w(f)?
True
Suppose -2*v = -7 - 43. Suppose 2 + v = d. Does 7 divide d?
False
Let b(a) = -a**2 - 1. Let r(g) = g**3 + 5*g**2 - g + 1. Let y(p) = -2*b(p) - r(p). Let k(h) = -h**2 + 6*h - 4. Let c be k(6). Does 10 divide y(c)?
False
Let s(o) = 4*o - 1. Suppose 11 = -3*j - 1, 0 = 5*v + 2*j - 17. Is s(v) a multiple of 19?
True
Suppose 14 = -4*f - 70. Let k = f + 41. Is 10 a factor of k?
True
Suppose 6*c + c - 357 = 0. Is c a multiple of 17?
True
Suppose -2 = -i - 0*i. Suppose 0 = 4*l - 16, 3*w = -2*l + 119 - 33. Let a = w + i. Is 14 a factor of a?
True
Is (-4)/8*-44*1 a multiple of 14?
False
Let i(o) = 7*o**2 + 19. Does 36 divide i(-5)?
False
Let k(d) = 2*d + 40. Is k(17) a multiple of 9?
False
Let j be (4/6)/((-10)/(-45)). Let t(w) = -w + 4 - 3*w + w**2 + j - 6. Is t(-3) a multiple of 22?
True
Let j = 0 + 3. Suppose -j*q + 6 = -q. Does 3 divide q?
True
Let i = -155 - -245. Is 6 a factor of i?
True
Suppose -88 = -3*m + 4*b, 2*m - 3*b - 36 = m. Let j = -17 + 10. Let c = j + m. Does 8 divide c?
False
Let b be (-4)/3*3/(-2). Suppose b*g - 46 + 16 = 0. Is g a multiple of 3?
True
Let v(i) = 20*i**3 + 33*i**2 + 7*i - 27. Let q(f) = 7*f**3 + 11*f**2 + 2*f - 9. Let u(l) = -17*q(l) + 6*v(l). Does 2 divide u(-10)?
False
Suppose 2*i - 15 + 9 = 0. Suppose 2*q + 52 = i*p - 3*q, -2*p = 2*q - 24. Is 13 a factor of p?
False
Is 6 a factor of (-50)/(-4) - 4/8?
True
Suppose i - 4*o = -3 + 7, 0 = -5*i - 2*o - 2. Suppose 3*y - 3*r - r - 74 = i, 3*y = -2*r + 98. Is y a multiple of 15?
True
Let t = -158 - -308. Does 20 divide t?
False
Let h be ((-178)/(-4))/((-2)/(-4)). Let t = -35 + h. Is t a multiple of 18?
True
Suppose 4*s + a - 57 = 0, 5*a + 0*a - 25 = 0. Is s a multiple of 10?
False
Suppose -3*k + 614 = -k. Suppose 0 = -5*a + k - 107. Is a a multiple of 20?
True
Does 16 divide 167*(20/50 - 3/(-5))?
False
Suppose 28 = 3*n + 10. Let u = 5 - n. Is 15 a factor of (15 - -2) + u + 3?
False
Let r(g) = 2*g. Let j be r(0). Let x = -4 + 8. Suppose -4*y + 3*f + 25 = j, -f = -y + 3 + x. Does 4 divide y?
True
Let s = 14 + 2. Suppose v = s + 18. Is v a multiple of 12?
False
Let o be (-4)/14 + 414/(-21). Let l = o + 29. Let m = l + 15. Does 12 divide m?
True
Suppose -9 = -4*h + 2*h - s, 9 = 5*h - 2*s. Suppose 0 = -k - h*k. Is 5 a factor of (-1 + -6)*(k + -1)?
False
Let r(g) = g**2 + 9*g - 17. Is r(-11) a multiple of 4?
False
Let v(b) be the third derivative of -b**6/120 + b**5/15 + b**4/4 + 7*b**3/6 + 5*b**2. Let g(i) = -4*i**3 + i**2 - i - 1. Let o be g(-1). Does 9 divide v(o)?
False
Let z(i) be the first derivative of i**6/120 - i**4/12 - 2*i**3/3 + i**2 + 2. Let k(m) be the second derivative of z(m). Does 15 divide k(3)?
False
Let k be (-3 + 0 + 3)/(-1). Does 7 divide 8/(4 - k) - -16?
False
Let p(m) = -m**3 - m**2 - m - 1. Let a be p(-1). Suppose a*d - 3*d = -6. Suppose 0 = 4*u + 5*y - 2 - 1, 5*y + 11 = -d*u. Is u even?
False
Suppose 5*r - 135 = -5*u, -4*u + u = -2*r - 96. Is u a multiple of 3?
True
Let n(l) = 9*l - 1. Let d be -3 + 1 + 1 + 4. Let s = d + 0. Is 13 a factor of n(s)?
True
Let z = 1 - -30. Is z a multiple of 16?
False
Let c = 47 - 2. Does 36 divide c?
False
Is 6 a factor of (-38)/(-3 - (-4 + 3))?
False
Suppose -4*s - 353 - 290 = -5*o, 2*s = 5*o - 639. Suppose 3*v - 247 = -3*z - v, -5*v = 2*z - 153. Let u = o - z. Does 19 divide u?
True
Let f = 8 + -6. Suppose 6*x = f*x + 116. Is 14 a factor of x?
False
Suppose 4*r = f - 104, -4*r - 3*f - 66 = -2*r. Let c = 41 + r. Does 3 divide c?
False
Suppose 3*v - 4 - 11 = 0. Let k(t) = -t**3 + 4*t**2 + 5*t + 5. Is k(v) a multiple of 2?
False
Is 43 - 1 - (0 + 3 + -1) a multiple of 8?
True
Let k be (-18)/(-1 + (-1)/2). Let s = 20 - k. Is 8 a factor of s?
True
Let l = -17 + 75. Suppose 2 = -4*k + l. Does 13 divide k?
False
Let m(z) = 2*z**2 - 3*z + 7. Let o be 1 - 0 - (-2 - 2). Is m(o) a multiple of 14?
True
Let r be (-6)/(-4) - 42/(-4). Let t = r - 17. Let l = 8 + t. Is 2 a factor of l?
False
Is 43 a factor of 1/(-2*(-5)/1670)?
False
Let y = -177 - -300. Is y a multiple of 27?
False
Let j(u) be the first derivative of 35*u**2/2 - u + 1. Suppose -2*n = -2 - 0. Does 12 divide j(n)?
False
Suppose -4*m - h + 16 = 0, 3*m - 7 = -3*h + h. Let b = -26 + 154. Suppose -z - b = -m*z. Does 16 divide z?
True
Let m = 66 - 60. Suppose 6 + 10 = 4*q. Suppose q*g = m*g - 84. Is g a multiple of 21?
True
Let n(w) = w**3 - 6*w**2 - 2*w + 9. Let b be n(6). Let r(t) = 5*t**2 + 4*t + 3. Let j be r(b). Let g = 68 - j. Is 16 a factor of g?
True
Let n(g) = -g**3 - 12*g**2 + g. Let a be n(-12). Let v be ((-2)/4)/(2/a). Suppose 0*s = -v*s + 12. Is 2 a factor of s?
True
Let a(k) = -k - 2. Let j be a(-4). Let f be (-3 - -2)/(j/(-6)). Suppose -4*y = f*u - 90, -u + y = -0*y - 23. Is 7 a factor of u?
False
Let f(r) = 7*r + 2 + 2 - 4*r. Let l be f(4). Suppose -5*d = 4*h - 121, 0 = 5*d + l - 1. Is 17 a factor of h?
True
Let z(d) = -d**2 + 4*d + 1. Let r be z(-3). Let u = -7 - r. Is 6 a factor of u?
False
Suppose 0 = 15*g - 19*g + 720. Does 15 divide g?
True
Let b = 53 - 23. Is b a multiple of 10?
True
Suppose 5*w = 5*l - 145, -4*w = 3*l - 0*l - 101. Is l a multiple of 4?
False
Suppose 5*s + 4*f = 490, -2*f - 599 = -4*s - 181. Let w be (14/(-3))/(12/(-36)). Suppose 4*m = s - w. Is 22 a factor of m?
True
Let j(i) = -15*i - 8*i**3 - 14 + 12*i**2 + 0*i**3 - 3 + 9*i**3. Does 3 divide j(-13)?
True
Suppose 0*q = q - 5. Is q a multiple of 5?
True
Let m(o) = 2*o - 41. Let i(r) = -r + 21. Let z(h) = 5*i(h) + 2*m(h). Let l be 1 + (3 + -2 - 2). Does 6 divide z(l)?
False
Let c(q) = q**2 - 8*q - 6. Is 4 a factor of c(11)?
False
Let d = -15 + 21. Is 3 a factor of d?
True
Suppose 4*q = 5*p + 34, -2*q = 2*q + 4*p - 52. Let s = 77 + -34. Suppose q = -a + s. Does 16 divide a?
True
Let z be ((4 + -4)/(-2))/2. Let y(w) be the second derivative of w**5/20 + w**4/12 + 3*w**2 + w. Does 3 divide y(z)?
True
Suppose j - 78 = -4*i + 190, 4*i = 4*j + 248. Does 9 divide i?
False
Let d be 6/14 - (-76)/(-14). Is 10 a factor of 276/15 - (-2)/d?
False
Let s = -216 - -304. Suppose -3*p + s = p. Is 21 a factor of p?
False
Suppose -3*n = -4*u + 24 + 2, -n - 15 = 5*u. Let c = -58 + 52. Let q = c - n. Is q a multiple of 4?
True
Suppose 9*c - 4*c = 445. Is c a multiple of 7?
False
Let m(i) = -i**3 + 9*i**2 - 9*i - 8. Let h(k) = 2*k - 1. Let p be h(4). Is 7 a factor of m(p)?
False
Suppose -r = 4*k + 1, 0*r - r + 6 = -3*k. Suppose 3*q - r*c = 2*q + 6, -c - 2 = 3*q. Suppose q = -0*m + m - 27. Is m a multiple of 8?
False
Let l(v) be the first derivative of 3*v**2/2 - v - 2. Let i be l(5). Suppose 3*a - 16 = 4*s + i, 5*a - 82 = -4*s. Is a a multiple of 14?
True
Is (-6)/2 - (-55 - 12) a multiple of 16?
True
Suppose -7 - 23 = -5*u. Let d be (u/4)/(3/4). Suppose d*v - 42 = -2*f + 4, -5*v = f - 95. Is v a multiple of 14?
False
Suppose -3*f - 17 = 46. Let q = f - -9. Is (-74)/(-6) + 4/q a multiple of 9?
False
Let z be 2/9 - 32/(-18). Suppose -4*y - x = -4*x - 554, 564 = 4*y + z*x. Suppose 4*i + 4*o = y, -4*i + 0*i + 140 = -5*o. Is 16 a factor of i?
False
Suppose -3*a - 7 = -2*j, -3*a - 11 = 2*a - 3*j. Is 18 a factor of a/2 - (-73)/2?
True
Suppose 0 = -5*g + 2*g + 6, 3*g = 5*y - 64. Does 5 divide y?
False
Suppose -5*c + 574 = 3*t, -c + 50 = t - 66. Is c a multiple of 30?
False
Is 23 a factor of 18/12*284/3?
False
Let s be 2/(-4) + 1/(-2). Is (-37 - s)*(-8)/12 a multiple of 12?
True
Let q(b) = -3*b - 1. Suppose 4 - 12 = 4*w. Does 5 divide q(w)?
True
Let l be (-1)/(-3) + (-197)/(-3). Let h(q) = -q + 2. Let v be h(-7). Is (3/v)/(2/l) a multiple of 6?
False
Is (-110)/((-3)/(-1) - 5) a multiple of 11?
True
Let y = -14 + 16. Suppose -a + j + 40 = 0, -3*a + y*j = -6*a + 145. Does 15 divide a?
True
Let v = -40 - -162. Does 18 divi