
Let x be (4/8)/((-3)/(-12)). Suppose -x*q + 18 = q. Does 12 divide (-3 + q)*(-16)/(-3)?
False
Let l(p) = 2*p**2 + 9*p + 7. Let w(b) = -b - 2. Let x be w(5). Is l(x) a multiple of 21?
True
Suppose -4*c + 12 = -3*c. Does 3 divide c?
True
Does 4 divide (-9)/(-1 + -2) - -15?
False
Does 33 divide ((-24)/20)/(6/(-580))?
False
Suppose -4*l - 215 = l. Let w be l/(4 - (-1 - -4)). Let i = -29 - w. Does 7 divide i?
True
Let p(v) = -6*v - 3. Let o be p(4). Suppose -3*b = -0*b + 5*x + 9, 2*b - 2*x + 22 = 0. Let m = b - o. Is 14 a factor of m?
False
Let p = -15 + 19. Suppose -2*b - 133 = -5*w - b, -2*b = -p. Is w a multiple of 9?
True
Suppose -k - 5*b = 6 - 58, -2*k + 3*b = -143. Is k a multiple of 12?
False
Suppose 3*r + 1 + 8 = 0, -775 = -4*h + r. Is 57 a factor of h?
False
Let u be 2 + (-26 + 2)/3. Is (12/9)/(u/(-27)) a multiple of 4?
False
Let o(v) = -2*v**3 + 4*v**2 - 3. Let m(k) = k**3 + k**2 - 1. Let n(t) = -2*m(t) + o(t). Let y be n(-1). Suppose 20 = 4*f, 2*g + 96 = y*g + 3*f. Does 9 divide g?
True
Let z = 3 - 1. Let y(n) = -n**3 - 3*n**2 + 7*n - 1. Let v be y(-5). Suppose z*k = -0*k + v. Is 2 a factor of k?
False
Suppose 3*r - 156 - 216 = 0. Suppose 3*u + u - r = 0. Is u a multiple of 19?
False
Let o = 18 + -13. Let y = o - 0. Suppose -3*c + 21 = -4*r - 22, 57 = 4*c - y*r. Is 13 a factor of c?
True
Is -1 - (-3)/1 - -130 a multiple of 12?
True
Let o be 4 + 1*(-2 + 0). Suppose -4*k + 44 = -2*a, o*k - a = -k + 32. Suppose -5*u + 76 = 3*b - k, -101 = -3*b - 2*u. Is b a multiple of 13?
False
Does 4 divide ((-32)/12)/((-6)/9)?
True
Let h(q) = 150*q**2. Is h(1) a multiple of 15?
True
Suppose 0*r + 3*r - 45 = 0. Let y = -10 + r. Suppose 116 = y*z + 6. Is z a multiple of 11?
True
Does 13 divide (-16)/64 - 53/(-4)?
True
Does 9 divide (-8700)/(-55) - 2/11?
False
Suppose 7*p = 2*p + 80. Is 16 a factor of p?
True
Suppose 5*d - 84 = 2*d. Is d a multiple of 4?
True
Suppose -8*i = -12*i + 660. Is i a multiple of 39?
False
Let b = -69 + 155. Is 11 a factor of b?
False
Suppose 78 = 3*s - 3*m, 0 = 4*s - 0*s + 4*m - 80. Does 11 divide s?
False
Let q be (-5)/2*(-266)/35. Let d = 4 + q. Does 7 divide d?
False
Let r = 61 + -15. Is r a multiple of 4?
False
Let l be 14/3 + (-2)/(-6). Suppose 4*w = 5*a - 29, w + 0*w - 49 = -l*a. Is a a multiple of 6?
False
Let g = 30 + -18. Does 12 divide g?
True
Let g = 294 - 96. Does 22 divide g?
True
Suppose 3*p - 2 = 7. Let r(w) = 2*w**2 - 2*w + 3. Is r(p) a multiple of 10?
False
Let u(p) = p**3 + 6*p**2 - 6*p - 6. Is u(-6) a multiple of 6?
True
Let d be (-1)/(3/(-2) - -1). Suppose 1 = -d*p + 15. Does 8 divide (31/(-4))/(p/(-28))?
False
Let k = -29 + 59. Is k a multiple of 6?
True
Let n(c) be the third derivative of c**6/120 + c**5/10 + c**4/12 - c**3/3 + 4*c**2. Is n(-5) a multiple of 6?
False
Let w(j) = 2*j**2 + 9*j + 2. Let b be w(-4). Let h(d) = d**3 + 7*d**2 + 7*d + 9. Let p be h(-6). Does 3 divide 4/(-1)*p/b?
True
Let q = 10 - 1. Is 9 a factor of q?
True
Let o be 22/4 - (-2)/(-4). Suppose -2*w = -o*w + 54. Is 9 a factor of w?
True
Let a = 13 + 15. Is 28 a factor of a?
True
Suppose 5*c + 50 = -5*d, -4*c - d - 2*d - 38 = 0. Let u(a) = -a + 11. Is u(c) a multiple of 12?
False
Suppose -d + 128 = 2*r - 6*d, 2*r + 4*d = 164. Is r a multiple of 31?
False
Let z(n) = n**3 - 6*n + 2. Let a be z(4). Suppose 4*j = 22 + a. Does 8 divide j?
True
Let o be (-2)/6 + (-32)/(-6). Suppose -b = -o*a + 84, 72 = 4*a - 0*b - 2*b. Is a a multiple of 8?
True
Let i(r) = r**2 + 8*r + 4. Let b be i(-7). Let w(a) = -a**3 + a**2 + 3*a + 1. Does 7 divide w(b)?
True
Suppose 5*a = 2*m - 80, 3*a - a + 2*m + 46 = 0. Let r(x) = x**3 - 5*x**2 + 3*x - 2. Let h be r(3). Let y = h - a. Is y a multiple of 5?
False
Let c be -15 - ((-1)/1 - 0). Suppose 5*x = x + 112. Let m = c + x. Does 7 divide m?
True
Let f(p) = -16*p + 1. Let l(w) = w - 1. Let x(d) = -f(d) + 2*l(d). Let m be x(2). Suppose 0 = -v + 5*s + 11 + 4, -4*s = v - m. Is v a multiple of 11?
False
Suppose -t = 3*t - 4. Let j(g) = 2 + 14*g + t + 3 - 4. Is j(2) a multiple of 10?
True
Suppose 10 = -2*x, 2*h - 3*x = -5 - 0. Is 4 a factor of (16/h)/((-4)/10)?
True
Suppose -135 = 8*r - 11*r. Is r a multiple of 9?
True
Let o(j) = j**3 + 8*j**2 - 3*j - 9. Let p(r) = r**3 + 9*r**2 - 3*r - 10. Let x(g) = -5*o(g) + 4*p(g). Is 15 a factor of x(-5)?
True
Let s(r) = -r**2 - 7*r - 6. Let b be s(-5). Suppose 3*c + 7*a - 88 = 3*a, 3*a = b*c - 159. Does 18 divide c?
True
Suppose 0 = 2*m + 3*m - 30. Let w be 4/m + (-40)/(-12). Suppose 0 = w*g - 3*p, 3*g - 15 = 2*g - 3*p. Does 3 divide g?
True
Suppose -2*d - 10 = -4*c - 4, 3*d = -4*c + 11. Suppose 70 = 3*n + c*n. Does 14 divide n?
True
Suppose 0 = 2*r - 37 + 9. Let u = -5 + r. Let n(o) = o**3 - 9*o**2 + 2*o + 4. Is n(u) a multiple of 11?
True
Let d(i) = -2*i**3 + 2*i**2 + 5*i + 4. Suppose 18 = -q - 4*q - 4*j, -8 = 2*q + 2*j. Is 6 a factor of d(q)?
True
Suppose 3*w - 72 = -w + j, 0 = -3*j. Let d be (w/(-4))/(3/(-4)). Let v(a) = -a**3 + 7*a**2 - 3*a - 4. Does 14 divide v(d)?
True
Let l(a) be the third derivative of a**5/60 - a**4/6 + 2*a**3/3 - 2*a**2. Let q be l(3). Suppose q = y - 32. Does 13 divide y?
False
Let b = 4 - 1. Suppose b*g = g + 6. Suppose 0 = 2*c - 8, g*y - 2*y - 3*c - 4 = 0. Does 6 divide y?
False
Let x(o) = -o**3 - 12*o**2 + 12*o - 11. Let z be x(-13). Let u = -5 - -8. Suppose u*g + z*g - 100 = 0. Does 13 divide g?
False
Suppose -4*o + 14 + 2 = 0. Suppose 3*q + 11 = o*a, 0 = -5*q + 4 + 11. Is 4 a factor of a?
False
Let d = 89 - 12. Is d a multiple of 15?
False
Is 4*355/10 - (-4 - -2) a multiple of 13?
False
Suppose -952 = 4*n - 11*n. Is 4 a factor of n?
True
Let j(q) = q**2 - 3. Let y be j(0). Let u be 10/y*6/(-2). Let d = u + -1. Does 7 divide d?
False
Let d = -37 + 4. Let n = d - -63. Does 15 divide n?
True
Let a(u) = -2*u + 4. Let o = 3 - 7. Does 3 divide a(o)?
True
Suppose 43 = l + 12. Is 27 a factor of l?
False
Let t(y) = 3*y**2 - y. Let d be t(-2). Suppose 2*o = 4 + d. Is 9 a factor of o?
True
Suppose 0 = f + 2*x - 18, 5*f + 0*f + 3*x - 55 = 0. Let g = 12 - f. Does 4 divide g?
True
Suppose v = -3*y + 7*y - 11, -5*y + 10 = 0. Is ((-4)/10)/(v/60) a multiple of 4?
True
Suppose -19 - 61 = -5*h. Let m(q) = q**3 - 17*q**2 + 17*q + 20. Is 14 a factor of m(h)?
False
Let g be -3*10/3*1. Let s = 28 + g. Is s a multiple of 6?
True
Let y = -17 + 32. Does 2 divide y?
False
Suppose -2*f - 10 - 2 = 0. Let s be (-297)/f - 6/(-4). Suppose 5*x - 3*m = 189, 3*x + s = 4*m + 171. Does 18 divide x?
True
Suppose -4*o = 8, d - 2*o - 12 = 3*o. Suppose g - c = 7, -d*g + 7*g - 27 = -3*c. Does 6 divide g?
True
Suppose 0*h - 5*h = d + 15, 4*h + 12 = -4*d. Suppose -15 = 3*k, k + d*k + 107 = -3*j. Let w = 61 + j. Is w a multiple of 16?
False
Is (-1484)/(-49) + 2/(-7) a multiple of 9?
False
Let a be (-8 + -2)*(-14)/(-35). Is 9 a factor of a*(4 + (-49)/4)?
False
Is 34 + 0 + 0/(-6) a multiple of 17?
True
Let k = 5 - 3. Let m be 1 + 0 - 231/(-1). Suppose 2*s + k*s - m = 0. Does 22 divide s?
False
Let n = -9 - -13. Suppose n*w + 2 = -6. Does 12 divide (-12)/7*(w + -5)?
True
Let s be 15/2*24/9. Let r = 22 + s. Let z = -24 + r. Is z a multiple of 9?
True
Let n(f) = 2*f**2 - 23*f + 11. Does 8 divide n(16)?
False
Suppose -3*v + 10 = -w + v, -3*w - 5*v + 38 = 0. Does 3 divide w?
True
Suppose g + 4*h + 0*h = 87, g = h + 92. Is 12 a factor of g?
False
Suppose -2*o - 8 = 0, 2*t - 38 = o - 5*o. Does 10 divide t?
False
Suppose -q - 71 = 4*n, -2*q + 4*q + 162 = -3*n. Let b = 310 + q. Suppose 5*z = -53 + b. Is z a multiple of 15?
False
Suppose -3*g - 4*w + 17 = 0, 0*w = -2*g + 2*w - 12. Let k = g - -3. Suppose m - 69 = -k*m. Is 15 a factor of m?
False
Suppose -2*f - 3*i = -3*f + 306, f - 4*i = 306. Is 51 a factor of f?
True
Let t be 3*(1 - 2)/1. Let x(q) = -q**2 - 5*q - 2. Let r be x(t). Does 14 divide 2*r/((-16)/(-50))?
False
Let n(a) = -a**2 - 5*a - 13. Let p(d) = d**2 + 6*d + 12. Let i(r) = 5*n(r) + 4*p(r). Let s be i(0). Let u = 27 + s. Is 10 a factor of u?
True
Suppose 2*f + 0*f + 12 = 0. Let l be (-4)/f - (-8)/6. Suppose -5*j - 2*r = l*r - 5, -3*j - 5 = 4*r. Does 5 divide j?
True
Suppose -5*z - 10 + 35 = 0. Let s be 0 + 2 - (-5)/z. Suppose -s*v = -5*p - 22 - 82, 5*p = 4*v - 132. Does 14 divide v?
True
Suppose 3*c - 2*h = 3, h + 6 = 3*c - 2*h. Let a be (-18)/(1/c + -1). Suppose 3*p = -5*t + 212, -124