 a factor of u(-1)?
False
Let n = -38 - -166. Let v be n - 0*3/6. Suppose v = 2*c + 38. Does 13 divide c?
False
Suppose -7 - 29 = -4*c. Is 9 a factor of c?
True
Suppose -17*m - 8*m + 2125 = 0. Is m a multiple of 14?
False
Let r = -30 - -55. Does 5 divide r?
True
Let z = -55 - -36. Let i = -8 - z. Suppose 3*g - i = -2. Does 3 divide g?
True
Let p(x) = x**3 + 8*x**2 + 11*x + 7. Does 9 divide p(-4)?
True
Let c = -2 + 12. Does 14 divide (-1)/2 - (-285)/c?
True
Let l = 12 + 21. Suppose -l = -4*t - 5. Is t a multiple of 5?
False
Let i(h) = -11*h**3 + 2*h**2 + 8*h + 2. Does 45 divide i(-3)?
False
Is 13 a factor of -2 + 1020/16 + 2/8?
False
Is 11 a factor of 4/22 + 9648/176?
True
Suppose 0*k + k = 3. Suppose 4*u - k*t = 55, 4*u - 5*t = u + 55. Suppose -2*p = -42 + u. Does 9 divide p?
False
Is 15 a factor of 1*-47*(-6)/6?
False
Suppose 0 = -0*m + 2*m - 5*c - 82, 0 = m + 2*c - 23. Does 10 divide m?
False
Let j(b) = -2*b + 2. Let u be j(4). Let f(c) = c**3 + 7*c**2 + 5*c - 3. Let l be f(u). Suppose -6 + 54 = l*m. Is 8 a factor of m?
True
Let v = -5 + -3. Let j(p) = p**2 + 9*p - 5. Let b be j(v). Let m = b - -26. Is m a multiple of 7?
False
Let l(r) = 5*r**2 - 9*r + 8. Let q be l(7). Suppose -135 = -5*y + q. Let b = -37 + y. Is b a multiple of 12?
False
Suppose -6*k = -2*k. Suppose -2*v = -5*o - 3*v + 227, k = -v + 2. Is 21 a factor of o?
False
Suppose 3*l - 6*l = -18. Suppose 3*g - 4*a = 12, -5*g - a - a - l = 0. Suppose 0*s + 4*s - 60 = g. Does 15 divide s?
True
Let w be 2/7 + 348/(-42). Does 5 divide 50*(2 + w/5)?
True
Is 9 a factor of 1346/22 - 26/143?
False
Is 22 a factor of (-4)/(-20) - (-987)/15?
True
Suppose -3 + 8 = a. Suppose 25 = a*b, 2*b = -5*w - 3*b + 105. Does 16 divide w?
True
Is 15/(-2)*(-2 - 0) a multiple of 3?
True
Let g = -9 + 18. Let o(h) = h**3 - 9*h**2 + h - 2. Is o(g) a multiple of 7?
True
Let l(m) be the first derivative of -m**3/3 - 5*m**2 + 3*m + 4. Is 6 a factor of l(-6)?
False
Suppose -3*u - 2*u = 2*r - 65, u = -3*r + 26. Is 9 a factor of ((-24)/1)/(9 - u)?
False
Let z = -9 + 17. Is z a multiple of 7?
False
Suppose -11*b + 18 + 136 = 0. Does 14 divide b?
True
Let r(q) = -q - 1. Let o(v) = v**2 - v - 17. Let u(j) = o(j) - 2*r(j). Let n be u(0). Let m = 5 - n. Is m a multiple of 10?
True
Let o(b) = -b + 16. Is 2 a factor of o(7)?
False
Is 9 a factor of (-5 + (0 - -2))/(1/(-12))?
True
Let t be (-57)/21 + (-2)/7. Is 24 - (t + 1 + 5) a multiple of 7?
True
Suppose 0 = -p - l + 5, -3*p = -4*l + 5*l - 13. Suppose p + 4 = 2*t. Does 4 divide t?
True
Let a(l) = 3*l. Let m be a(4). Let n be (657/m)/((-2)/(-8)). Is 6 a factor of (-1)/4 - n/(-12)?
True
Suppose -4*x = -2*x - 70. Is 5 a factor of x?
True
Suppose 42 - 6 = 4*q + 4*i, -4*q + 39 = 5*i. Suppose -q = -s + n, s + 0*s - 3*n - 10 = 0. Suppose 5*d + 4*a - 8 - 7 = 0, 5*a = s*d - 53. Is 4 a factor of d?
False
Is 16 a factor of 4/6 - 188/(-6)?
True
Suppose 0 = -v - v + 6. Suppose 2*c = -2, v*b - 12 = -5*c + 1. Suppose q + 205 = b*q. Is q a multiple of 19?
False
Let t(w) = -24*w - 2. Let s(r) = r. Let n(m) = -5*s(m) - t(m). Does 20 divide n(2)?
True
Let v be 237/9 + 2/(-6). Let q = v - 6. Does 10 divide q?
True
Let z be (-2 - -1)/((-7)/(-301)). Let g = -21 - z. Is g a multiple of 11?
True
Let l(d) = d**2 + 4*d - 8. Suppose 2*b + 4 = i - 2*i, -5*i - 2*b + 4 = 0. Let z be 54/(-8) + i/(-8). Is l(z) a multiple of 13?
True
Let o(x) = -x**3 - 2*x**2 - 2*x - 4. Is o(-4) a multiple of 12?
True
Let z(a) = -a**3 + 9*a**2 + 13*a - 10. Is 5 a factor of z(10)?
True
Let c(h) = -h**2 - h + 4. Let n be c(0). Suppose -n*g + 4*d = -24, 0 = -3*d - d - 12. Suppose o + 30 = g*o. Does 15 divide o?
True
Let q(v) = -4*v**2 - v + 6. Let g(k) = -17*k**2 - 4*k + 25. Let r(y) = 2*g(y) - 9*q(y). Is r(4) a multiple of 14?
False
Suppose -4*h + x + 492 = 0, -2*h + 0*h = -3*x - 236. Does 31 divide h?
True
Let j(b) = 23*b**2 + 2*b + 3. Let k be j(-2). Let g = k + -58. Is g a multiple of 17?
False
Suppose 0 = -25*l + 26*l - 264. Is l a multiple of 44?
True
Suppose 3*c - 7 = 2*i - i, -2*c + 3 = i. Let r be (1 - (-24)/(-3)) + c. Does 9 divide ((-34)/(-6))/(r/(-15))?
False
Is (-53 - 7)*8/(-6) a multiple of 16?
True
Let q(a) = -2*a**2 - 5*a - 9. Let w be q(-7). Let b be 0 - (50 - 4/2). Let g = b - w. Is g a multiple of 12?
True
Let n(h) = -4*h - 1. Suppose -3*i + 3 = -6*i. Let o be n(i). Suppose 1 = -s + 2*s, o*g - 48 = 3*s. Is g a multiple of 8?
False
Does 27 divide (-245)/(-9) - (-8)/(-36)?
True
Let o = -5 + 9. Suppose 71 = -o*y + 231. Is y a multiple of 26?
False
Let q be (42/35)/(4/10). Suppose -d = -q*p - 0*p + 89, -p - 4*d + 8 = 0. Does 10 divide p?
False
Suppose 0 = 4*y - 5 - 7. Let c(w) = y*w - 1 + 3 + 1. Is 12 a factor of c(8)?
False
Suppose 5*o + 5 = 5*s, -s - s = -4*o. Is 27 a factor of (-3)/(-1) - (-74 + s)?
False
Let c(q) = -3*q - 1. Let i be c(-2). Suppose i*n - 102 = 43. Is n a multiple of 18?
False
Let p(m) = 7*m - 4. Is p(9) a multiple of 23?
False
Suppose -2*m - 3*m + 2*d + 353 = 0, m - d - 73 = 0. Suppose -3*c - b + 59 = -2*c, -3*b = c - m. Suppose 2*k + 8 - c = 0. Does 8 divide k?
False
Suppose -o - 11 = -4*y, -3*o = 5*y - 6 - 12. Suppose -2*d - 23 = o. Does 6 divide (-150)/d - 1/2?
True
Suppose -b - 119 = -6*b - 3*h, -5*h + 15 = 0. Does 11 divide b?
True
Let v = 4 + 0. Suppose g = -v*g + 210. Is g a multiple of 21?
True
Is -197*(-6)/6 + 1 a multiple of 18?
True
Let y = 19 + -7. Suppose -c - y = -5*c. Suppose -s - 2*k - 20 = -2*s, 0 = -4*s - c*k + 69. Does 9 divide s?
True
Suppose -3*u + 30 = a + 116, -u = 2*a + 192. Let v = a - -142. Is v a multiple of 22?
True
Suppose -4*x + 0*w + 28 = -2*w, 0 = -2*w + 8. Let g be 2/(-3 + x)*0. Suppose g*s - 44 = -s. Is s a multiple of 12?
False
Let b(o) = -2*o + 8. Is 4 a factor of b(-6)?
True
Suppose 1 = 2*c - 47. Is c a multiple of 2?
True
Suppose -5*n = -46 - 54. Suppose -2*g = -7*g + n. Suppose 8 = 4*v + g*f, v - 9 = -2*v - 2*f. Is v a multiple of 5?
True
Let r(g) = -g**3 - 5*g**2. Let l be r(-5). Let x = -2 - l. Is (x - 33/(-6))*12 a multiple of 21?
True
Let p(v) = -v**3 + 13*v**2 - 13*v + 15. Let l be p(12). Suppose 5*q = -2*x + 53, -60 = -3*x - 3*q - l. Is x a multiple of 7?
True
Let n = -192 + 320. Is 30 a factor of n?
False
Suppose 5*h - 78 = 3*l, -6*l + 4*l - 17 = -h. Does 9 divide h?
False
Let o = -16 - -37. Is 10 a factor of o?
False
Let t = 2 + -2. Let j = t + -38. Is -2*(j/4 + 0) a multiple of 12?
False
Is 30 a factor of ((-182)/21)/(4/(-54)) - -3?
True
Let o(n) = 3 - 3 - 12*n - 2 + 2*n**2 + 6. Is 17 a factor of o(8)?
False
Suppose -162 = -3*p - 27. Is p a multiple of 17?
False
Let x = 13 - 8. Suppose 0 = -2*m + x + 15. Is 10 a factor of m?
True
Suppose -4*r - 3*b + b + 456 = 0, -b = 4*r - 452. Suppose 3*j - 7*j = -r. Does 4 divide j?
True
Suppose 10 - 475 = -5*f. Does 31 divide f?
True
Suppose -4*p - 22 = -202. Does 15 divide p?
True
Let z(d) = d + 3*d**2 - 3*d - d + 2*d. Does 14 divide z(-2)?
True
Let w(l) be the second derivative of l**4/12 + 5*l**3/6 - 3*l**2 + 6*l. Does 3 divide w(-7)?
False
Suppose 3*y + 30 = 2*y. Let c = y + 57. Is c a multiple of 8?
False
Let y = 221 + -78. Is 13 a factor of y?
True
Suppose 8*y - 5*y = 192. Does 24 divide y?
False
Let v = 7 - 5. Suppose -3*g + 143 = -4*h, -2*g + 62 = v*h + 2*h. Is 13 a factor of g?
False
Let p be 9/36 - (-1)/(-4). Let t(c) = c**3 - c**2 - c + 12. Does 5 divide t(p)?
False
Let u = 155 + 39. Is 28 a factor of u?
False
Let g be (-16)/(-6)*(-6 - -3). Let q(c) = -c**3 - 8*c**2 - 4*c + 4. Is 11 a factor of q(g)?
False
Suppose -4 + 49 = 3*t. Is 5 a factor of (11 + -1)/(10/t)?
True
Suppose -156 = -0*j - 4*j. Suppose -u - 14 = -j. Does 7 divide u?
False
Let r be (-1 - -4) + -1 + 9. Suppose 0 = 5*v - r - 229. Is 19 a factor of v?
False
Let w(p) = p**2 + 4*p - 7. Let s be w(-6). Suppose -3*u - 5*t = -70, 0 = u - t + s*t - 28. Does 4 divide u?
True
Let i(l) = l**2 + 8*l + 3. Let y be i(-8). Suppose r - y*p = -3*r + 60, r = -4*p + 34. Is 6 a factor of r?
True
Suppose -5 = -4*g - 13, -4*g = -2*w - 10. Suppose 0*c = 3*c - 426. Is 8 a factor of c/9 - 2/w?
True
Is (-4)/(-3)*5/(-10)*-36 a multiple of 24?
True
Let c(v) = 27*v + 1. Is c(7) a multiple of 19?
True
Suppose x + 3*x + 2*o - 22 = 0, 5*x = -4*o + 20. Suppose -x*t + 190 = -3*t. Does 38 divide t?
True
Let h = 15 + 4. Let i = 13 + h. Is 16 a factor of i?
True