 + w/4?
True
Let m = 12 - 7. Is 4 a factor of ((-12)/m)/((-1)/5)?
True
Suppose 2*p = -0*p + 22. Does 11 divide p?
True
Let l = 1 - -3. Let w = l + -1. Suppose -2*t + 14 = w*u, -6 = 2*u + 4*t - 2. Is 4 a factor of u?
True
Let n(i) = 4*i - 12. Let d(m) = -4*m. Let q be d(-2). Does 10 divide n(q)?
True
Let y = -26 + 76. Suppose 0*m - y = -m. Is 25 a factor of m?
True
Suppose 4*i - 5*w - 12 = 0, 4 - 12 = -4*i + 4*w. Is 15 a factor of (-15)/i*(-1 + 3)?
True
Is 97/3 + (-4)/3 a multiple of 14?
False
Let k(i) = -i**2 - 10*i. Does 9 divide k(-9)?
True
Suppose 0*j - 4*j = -180. Is 9 a factor of j?
True
Does 15 divide 9/(-12) - (-63)/4?
True
Suppose -3*j + 0*j = 5*s + 17, 5*j = 4*s - 16. Is 25 a factor of (6/j)/((-3)/150)?
True
Let p = 2 - -30. Does 26 divide p?
False
Suppose o - 5*n - 33 = -0, 9 = o + 3*n. Does 18 divide o?
True
Is 5 a factor of 34/4 - 9/(-6)?
True
Let f be 4/3*(-21)/(-2). Suppose -5*b + f = -31. Is 4 a factor of b?
False
Let s = 0 - 2. Let z = s - -8. Suppose -t = -z*t + 100. Is 10 a factor of t?
True
Let o = 7 + 9. Is 16 a factor of o?
True
Suppose 0 = 3*b + 3, 5*g = -3*b + 4*b + 6. Let l be g/5 - 1008/(-35). Let d = l + -20. Is 9 a factor of d?
True
Let t be (-8)/(-6)*24/(-16). Let r(s) = -2*s**3 - 2. Does 7 divide r(t)?
True
Let j be (1 - 1) + 1 + 0. Let i be (-1)/j + -1*1. Does 9 divide i/(-4)*26 - 0?
False
Let b be 0 + -1 + (-12)/(-3). Suppose -b*h + 67 = -35. Does 17 divide h?
True
Let a(p) = -4*p**2 + 9*p**2 - 4*p**2 + 49. Is 17 a factor of a(0)?
False
Let k(u) = 26*u + 2. Let g(l) = 51*l + 5. Let n(q) = -2*g(q) + 5*k(q). Does 14 divide n(1)?
True
Let u(w) = w**3 + 7*w**2 - 11*w - 8. Is u(-7) a multiple of 23?
True
Suppose -3*t = -146 - 103. Suppose 0 = 3*r - 2*n - 194, 63 = 2*r + 2*n - t. Is r a multiple of 17?
True
Let j = -12 + 109. Is j a multiple of 11?
False
Suppose 2*a - 10 = -z, 77 = 5*z + 2*a - a. Suppose 12*l - z = 8*l. Is 2 a factor of l?
True
Let m(n) = 4*n - 9. Let z(k) = k**2 - 1. Let c(l) = -m(l) + 6*z(l). Is 10 a factor of c(2)?
False
Let z = -57 + 135. Is z a multiple of 26?
True
Is 12 a factor of -6*(-3)/6 - (-40 - 5)?
True
Let b = 52 + -36. Let l = 56 - b. Is l a multiple of 20?
True
Let h(i) = -3*i**2 + 3*i - 2. Let u be h(1). Is 17 a factor of u/((-7)/(357/6))?
True
Suppose 2*u = -2*u + 56. Does 14 divide u?
True
Let s(z) = 2*z**3 - 17*z**2 + 8*z - 15. Let n(w) = w**3 - 9*w**2 + 4*w - 8. Let y(m) = 5*n(m) - 3*s(m). Is 9 a factor of y(5)?
False
Let j = 17 - 4. Suppose 5*u - j - 47 = 0. Does 12 divide u?
True
Is -1 - -1 - 3 - -13 a multiple of 10?
True
Suppose 0 = q - 5*q + 8. Suppose y + 2 = 0, -11 + 3 = -2*g + q*y. Suppose g*l = 0, -p + l = -15 + 5. Is 5 a factor of p?
True
Suppose 48 = 5*y - 3*y. Is 17 a factor of y?
False
Does 49 divide ((-343)/(-14))/(3/42)?
True
Suppose 5*z + 2*u = 70, 0*z - 37 = -2*z + u. Does 8 divide z?
True
Suppose -5*o - 3 + 0 = 4*d, 2*d - 2*o - 12 = 0. Let b be 978/18 + 2/3. Suppose -b = -2*g - d*g. Does 5 divide g?
False
Let j be 15 - 1*(0 - 1). Suppose -4*m = -3*m - j. Does 16 divide m?
True
Let y be 0/(-2)*2/4. Suppose y = c - 0*c. Suppose c = 3*f - 102 - 12. Is f a multiple of 15?
False
Suppose 0 = 5*l - 2*h - 27, -l + 2*h = -0*l + 1. Is 3 a factor of l?
False
Let u = -1 + -1. Let v = u + 6. Suppose 3*m + 24 = v*m. Is 12 a factor of m?
True
Let f(a) = a**2 - 2*a + 4. Suppose 3*z = -n + 8, -3*z - 3*n = -0*z. Is f(z) a multiple of 4?
True
Let x be 22/6 - (-4)/(-6). Suppose i - 4*i = -9. Suppose 11 + 34 = i*b - c, x*b - 4*c = 36. Does 16 divide b?
True
Is 30/15 + 2*1 even?
True
Let q(o) = o + 8 - 3*o - o. Does 13 divide q(-6)?
True
Let a be (0/(-2))/(1/1). Suppose -134 = -a*t - 2*t. Does 18 divide t?
False
Let m(c) = -22*c - 11. Let f be m(-5). Suppose 5*s - f = 6. Is 21 a factor of s?
True
Let n(i) = 8*i**3 + i**2 - i + 1. Suppose -6*u + 4*u = -2. Let g be u*1/3*3. Does 9 divide n(g)?
True
Let r be 354/(-4)*-6 - 2. Suppose -163 = -n + v - 0*v, -5*v + r = 3*n. Suppose -4*b = 24 - n. Does 15 divide b?
False
Let g(z) = 8*z + 2. Is 4 a factor of g(2)?
False
Suppose 195 = 3*t - 51. Let u = t - 48. Is u a multiple of 17?
True
Suppose 0 = i + 12 - 32. Is 5 a factor of i?
True
Suppose 4*g - 6 = 3*g. Does 2 divide g?
True
Suppose -4 = -2*i + i. Suppose 0*p + i*p - 112 = 0. Does 7 divide p?
True
Suppose 3*t = 4*x - 11 - 16, 4*t - 2*x + 36 = 0. Let q = 57 - t. Is q a multiple of 22?
True
Suppose 2*i - 16 - 22 = 0. Let u be 0/(-1) - 3/(-1). Suppose o - m = i, -4*o + 24 = -u*m - 49. Is 14 a factor of o?
False
Let d(r) = 3*r**2 - 8*r + 11. Does 14 divide d(3)?
True
Let l(m) = -m**3 - 5*m**2 + 6*m + 5. Let u = -13 - -7. Let g be l(u). Suppose g*v - 114 = -4*x, -2*x + 36 = 2*v + 2*x. Is 12 a factor of v?
False
Let v = 180 - 85. Is v a multiple of 19?
True
Let t = 17 - 20. Is 5 a factor of -1 - ((-6 - t) + -8)?
True
Let j(f) = -2*f + 79. Is j(-13) a multiple of 68?
False
Suppose 0 = 5*t - 5*k - 1500, k - 4*k = -3. Is t a multiple of 13?
False
Let j(b) = -b**3 - 9*b**2 + 10*b + 11. Is j(-10) a multiple of 6?
False
Suppose -w = 4*w + 3*p - 567, 0 = -4*p + 16. Suppose 4*c = -2*l + 152, 131 = 2*l + 4*c - 7*c. Let d = w - l. Is d a multiple of 18?
False
Suppose -4*n - 5*j - 56 = 38, -j = -3*n - 61. Let z be n + 2 - 1/(-1). Is (z/2)/(-1)*3 a multiple of 12?
False
Let g be 60/27 - 2/9. Let k(f) = -5 - g*f**2 + 0*f + f**2 - 13*f. Does 13 divide k(-5)?
False
Suppose -3*t = 2*t - 5. Let o be t*(-2 - 1*-43). Let m = -15 + o. Is 13 a factor of m?
True
Suppose -96*m = -98*m + 150. Is m a multiple of 5?
True
Let y = -18 + 30. Let l be 84/10*40/y. Suppose 3*a + l = 5*a. Is 6 a factor of a?
False
Suppose 4*g + 3 = g. Let d be ((-2)/(-4))/g*-148. Suppose 0*n + 56 = 2*l + 5*n, -5*n = 3*l - d. Is 9 a factor of l?
True
Suppose -6*k + 715 = -k. Is 11 a factor of k?
True
Suppose -4*n + 0*n + 56 = -4*b, -8 = -n - 2*b. Let a be (-80)/n*3/(-2). Suppose 0*u - 2*u = 3*j - 50, 0 = -5*j + a. Is u a multiple of 10?
False
Let f(u) = -5*u**2 - 4*u - 2. Let v be f(-3). Let b(g) = -g**3 + 14*g**2 + 13*g - 20. Let m be b(15). Let c = v - m. Does 15 divide c?
True
Suppose 0*c + 5*f = 2*c - 10, -4*c - 24 = f. Let b = 5 - c. Is b a multiple of 7?
False
Let z = 92 - 55. Let p = z + 17. Is 18 a factor of p?
True
Let d(t) = t**3 - 6*t**2 + 8*t - 4. Let i be d(5). Suppose -i = 2*z + 31. Let o = -6 - z. Is o a multiple of 9?
False
Suppose -3*f = -66 - 45. Does 37 divide f?
True
Suppose -9 = -2*i + 7. Is 6 a factor of i?
False
Suppose -2*z + 0*z + 2 = 0. Let s = z + 5. Is s a multiple of 6?
True
Let f be 8/(-20) + 2/5. Suppose 0 = -5*b - 5*q + 35, -2*b + 4*q + 14 = -f*q. Let m = b - 3. Is m a multiple of 4?
True
Suppose 4*g - 5*g = -2*j + 9, 5*j + g = 33. Suppose -j*x - 81 = -9*x. Does 7 divide x?
False
Let i be -2*1*60/(-8). Suppose -2*c - 3 = -i. Does 6 divide c?
True
Let j(f) = 44*f**2 + 6*f + 4. Does 9 divide j(-2)?
False
Suppose 5 - 20 = -5*j. Suppose j*b = -b + 60. Does 15 divide b?
True
Is 9 a factor of (15/(-12))/((-3)/108)?
True
Let z(b) = b**3 - 3*b**2 + b. Let y be z(1). Let u = 13 - y. Does 14 divide u?
True
Suppose -6*b + 3*b = -9. Is 2 a factor of b?
False
Suppose 19 = 5*x - q, -3*x = -0*q - 3*q - 9. Is 7/x - (-1)/4 even?
True
Does 2 divide (-4 - -2 - -4) + 3?
False
Suppose 0*i + 2*m - 4 = -5*i, -3*i - 6 = -3*m. Suppose i = 3*f - 5*f + 22. Is 11 a factor of f?
True
Suppose -8 = -0*v - 4*v. Suppose 0 = -3*h + h + 4. Suppose v*p - h*l = 78, -105 = -3*p - l - 0*l. Is p a multiple of 13?
False
Suppose 6*q - 17 = 91. Is q a multiple of 9?
True
Suppose 0 = -8*a + 15*a - 1092. Is 26 a factor of a?
True
Let i be (1 + 0 + -2)/(-1). Suppose -5*y - 2 = k + 2*k, i = -3*k - 4*y. Let j(f) = 12*f**2 + 2*f - 1. Is j(k) a multiple of 13?
True
Let v(d) = 17*d - 3. Let h be v(5). Suppose h = 3*a - 2. Let m = -13 + a. Is m a multiple of 14?
False
Let h be 55 + (-3 - -5) + -4. Suppose -55 = -6*k + h. Is k a multiple of 13?
False
Suppose -3*w - 3*f + 9 = 0, 3*f + f - 4 = 0. Is 13 a factor of 37 - (0 + -4)/w?
True
Let h(y) = -1 + 6*y**2 - 6*y + y**3 + 2 - 4*y. Suppose -4 = 3*o + 17. Is h(o) a multiple of 11?
True
Suppose 0 = -5*u - 4*v - 70, 2*u - 2*v + 30 = -2*u. Let y(a) = 10*a**2 + 2 + 13*a**3 + 14*a**3 - 26*a**3 + 4. Does 6 divide y(u)?
True
Let s = 8 + 5. Is 13 a factor of s?
True
Suppose 6*g = 4*g + 58. Is g a multiple of 15?
False
Let o