a multiple of 14?
True
Let i(w) = -2*w**3 - 2*w**2 - w. Let u be i(-2). Is 3*8 + u/(-5) a multiple of 22?
True
Let s(x) = 43*x - 1. Let i be s(1). Let n = i - 2. Suppose n = 4*b + b. Does 3 divide b?
False
Suppose 0 = -2*w - 0*w + 270. Does 15 divide w?
True
Let q be (3/(-9))/(3/(-9)). Is 9 a factor of 18/(2/(2/q))?
True
Let x(a) = 4*a**2 - 8*a + 5. Let d be x(-6). Let j(v) = 5*v - 26. Let b be j(6). Suppose -11 - d = -b*p. Does 26 divide p?
True
Let q = 43 - 30. Let h = q - 64. Let y = h + 71. Is 10 a factor of y?
True
Suppose -4*o - 4*s = -25 - 63, 72 = 3*o + 5*s. Is o - (-5 + (-3 - -5)) a multiple of 11?
True
Suppose -2*x = -x. Is 28 - 4/(-16)*x a multiple of 28?
True
Is (19 + -3)/(2 + -1) a multiple of 5?
False
Let a(w) = 2*w**2 - 2*w + 1. Let b be a(2). Suppose b*o + 3 = 83. Is o a multiple of 5?
False
Let b = 57 - 40. Suppose 2*d + b + 95 = 0. Is 14 a factor of (d/6)/(3/(-9))?
True
Let b = 185 - 118. Is 28 a factor of b?
False
Suppose 2*g - 4 = 0, 3*d + 3*g - 21 = -3. Let y(h) = 3 + 3 - 2 + h**2. Does 9 divide y(d)?
False
Let i = 118 + 132. Does 15 divide i?
False
Suppose -2*o = -5*n - 25, -o - n = -2*n - 8. Let q = o + -3. Is q a multiple of 2?
True
Let j be 21/((-2)/4*-2). Let h = j + -12. Is 4 a factor of h?
False
Suppose 3*q - 2*k + 14 = 0, -5*q + 2*q = 3*k - 6. Let x be -118*((-6)/(-4) + q). Suppose -5*v - u + 3*u + 148 = 0, -2*v = -u - x. Does 15 divide v?
True
Suppose -2 = 2*q - 4. Let m(n) = 8*n - 1. Let w be m(q). Let j = w - 5. Is 2 a factor of j?
True
Let d = -4 - -6. Suppose 0 = -p - 4*w - d, 2*p + 7*w = 4*w + 16. Is 7 a factor of p?
True
Let f(o) = -5*o - 7. Suppose 10*q + w = 5*q - 11, 0 = -2*q + 2*w - 14. Is f(q) a multiple of 4?
True
Is (-132)/(4/12*-3) a multiple of 33?
True
Let a(u) = -u**3 + 6*u - 1. Let y be a(4). Let x = y - -107. Does 25 divide x?
False
Let z(m) = 9*m**2 - 3*m + 1. Let c be z(3). Suppose 2*g + c = 2*a + 11, -3*a + 4*g + 97 = 0. Is 2/(1 + (-25)/a) a multiple of 10?
False
Let o = -21 + 31. Is 6 a factor of ((-60)/(-25))/(4/o)?
True
Let m be (102/9)/((-1)/3). Let c = m - -68. Is 17 a factor of c?
True
Suppose -4 = -3*v + 8. Suppose f = v*f. Suppose 4*l + 13 - 41 = f. Is l a multiple of 3?
False
Suppose 0 = -2*f - 2*v + 8, 2*f - v = v + 12. Suppose a = -3*m - 15, 2*a - f*m - 3 = -0*m. Does 5 divide (39/(-6))/(3/a)?
False
Let y be -2 + 2/1*9. Suppose -7*r = -5*r + 14. Let f = r + y. Does 9 divide f?
True
Let x = 71 + -25. Is x a multiple of 23?
True
Let k be -10 + 8 + 1*7. Suppose -4*o - 34 = -f - 0, 29 = 2*f + k*o. Is f a multiple of 11?
True
Let q = 18 - 7. Is 3 a factor of q?
False
Is 10 a factor of (-24)/14*(-70)/4?
True
Is 298/5 + (-12)/(-30) a multiple of 12?
True
Let t be -1*(-1)/(-2)*0. Suppose k - 6*k + 60 = t. Let h(c) = c**3 - 13*c**2 + 14*c - 8. Does 8 divide h(k)?
True
Suppose 24 = -2*t + 6*t. Suppose 3*b = t*b. Let h(w) = w**3 + w**2 + 39. Does 13 divide h(b)?
True
Let i(j) = -j**3 - 8*j**2 - 2*j - 1. Does 15 divide i(-8)?
True
Suppose -i + 0*i + 72 = 0. Suppose -4*w = -i - 80. Is w a multiple of 10?
False
Let k = -60 - -110. Let s = -4 + 4. Suppose s = -5*z + k - 15. Is 5 a factor of z?
False
Suppose 0*b = 2*b - 16. Is (-2)/b + 90/8 a multiple of 3?
False
Suppose -3*j = 0, 2*j = 4*o - 0*o. Suppose -10 + o = -k. Is 5 a factor of k?
True
Suppose -2*r + 5 = -5. Let o = r + -1. Suppose -2*a + 18 = g, -2*g - o*a + a + 37 = 0. Is g a multiple of 10?
True
Suppose -5*u + 111 = -64. Let o = -15 + u. Is o a multiple of 8?
False
Suppose 1 - 4 = z. Let b be 28/3 + (-2)/z. Does 24 divide 245/b - (-1)/(-2)?
True
Let m = -7 + 43. Let r = m - -6. Is r a multiple of 8?
False
Suppose -4*p + 9*p - v - 215 = 0, p - 3*v - 43 = 0. Is 29 a factor of p?
False
Suppose 3*b - 7 = -1, -4*k - 5*b = -38. Does 4 divide k?
False
Let x be (-2)/(-8) - 198/(-8). Suppose x + 35 = 3*z. Is 20 a factor of z?
True
Suppose y = 2*y - 3. Suppose o - 111 = -u, 5*u = 5*o - 285 - 220. Suppose y*m - m = o. Does 19 divide m?
False
Let p be 0*2*2/(-8). Suppose 5*q - 19 - 21 = p. Is q a multiple of 4?
True
Let p(d) = d**2 + 5*d + 3. Let b be p(-2). Let r = b - -3. Suppose r = n - 3*n + 20. Is 10 a factor of n?
True
Suppose 7*m - 2*m = -30. Let n(v) = v**3 + 7*v**2 + 5*v + 6. Let p be n(m). Suppose -32 = -2*x - p. Is 6 a factor of x?
False
Suppose -37 = -5*b + 28. Suppose -4*z + 11 = -3*r, 0 = -6*z + z + 3*r + b. Suppose -z*t + 67 = -5. Is 13 a factor of t?
False
Let s = 18 + -4. Let g be 1 + -2 + 3 + s. Suppose 0*l + l + g = z, 40 = 2*z - 4*l. Is 12 a factor of z?
True
Let t be 6/18 + (-62)/6. Let q = 12 + t. Is 3 + 1 - 0/q a multiple of 3?
False
Let i(j) = -5*j**3 - j**2 + 8*j - 4. Let l(p) = -p**3 - p**2 + p - 1. Let s(y) = -i(y) + 6*l(y). Does 5 divide s(-5)?
False
Suppose -16 = 2*n + 6*r - r, -n + 2*r - 26 = 0. Let g be 4/n*-3*9. Suppose g*t + 88 = 10*t. Is t a multiple of 22?
True
Let w(t) = 2*t**2 - 12*t + 7. Let l(h) be the third derivative of h**5/60 + 3*h**4/8 + 4*h**3/3 + h**2. Let z be l(-9). Is w(z) a multiple of 18?
False
Let a(i) = i**3 - 11*i**2 + 11*i - 5. Let g = 7 - -3. Is 3 a factor of a(g)?
False
Let z(o) = 3*o**2 - o + 3*o - 3*o + 1. Is z(-2) a multiple of 5?
True
Let z be 3/(((-12)/(-10))/2). Suppose 0 = 4*n + z - 1, 4*i = 5*n + 129. Does 11 divide i?
False
Suppose -40 = -5*z + 15. Let v be (-1222)/(-91) + (-3)/7. Suppose -v = -2*d + z. Is 6 a factor of d?
True
Let h(j) = 2*j + 20. Suppose -6*d = -5*d. Does 5 divide h(d)?
True
Let x be ((-16)/(-5))/((-4)/(-30)). Let m = x - 14. Is m a multiple of 10?
True
Let y(w) be the second derivative of -w**4/12 + 11*w**3/6 + 3*w**2 - 2*w. Let l(r) = -r**3 - 2*r**2 - r - 2. Let b be l(-3). Is y(b) a multiple of 16?
True
Let b(v) = 2*v**2 + 5*v + 6. Does 21 divide b(-8)?
False
Let g(r) be the first derivative of -r**4/4 + 14*r**3/3 - 9*r**2/2 - 16*r + 6. Does 18 divide g(13)?
True
Let x(k) be the second derivative of k**3/3 + k. Is 9 a factor of x(9)?
True
Is 18 a factor of (-8)/3*(-27)/2?
True
Does 2 divide 7 - (-2)/10*0?
False
Let a(r) = -2*r - 3. Let g be a(-2). Let w be (-1 - -2)*(-34)/g. Is 6 a factor of w/(-6) - (-2)/6?
True
Let s(c) be the second derivative of c**6/360 + c**5/30 + c**4/12 - c**3/3 + 2*c. Let l(z) be the second derivative of s(z). Does 13 divide l(-8)?
False
Let y(g) = g**2 + 2*g + 1. Let i be y(-3). Let b(v) = v + 3*v - 3*v + 0*v. Is b(i) a multiple of 4?
True
Let f = 15 + -15. Suppose -5*i = 3*w - w - 17, f = -w + 5*i + 46. Is 21 a factor of w?
True
Suppose 4*s - 5*g - 5 = 0, -16 = -0*s - 2*s - 2*g. Suppose -114 = -2*h - d + 4*d, s*h - 323 = -2*d. Does 19 divide h?
False
Let s(h) = 29*h - 48. Does 3 divide s(3)?
True
Suppose -5*n + 3 = -37. Suppose -18 = b + g, n*b + 3*g + 88 = 3*b. Let m = -11 - b. Does 3 divide m?
True
Let l(m) = 27*m. Let t be (1 - 3) + 1 + 5. Let f be l(t). Suppose -2*q + f = 5*y, -5*q - 20 = -3*y + y. Does 14 divide y?
False
Suppose -8*j + 4*j = -16. Is 40 - (-1)/(2/j) a multiple of 15?
False
Let y = -1 - -61. Is 20 a factor of y?
True
Let y(t) = -t**3 - 7*t**2 + 8*t - 3. Let b be y(-8). Is (b - (0 + -2))*-35 a multiple of 22?
False
Let d(r) = 5*r**2 + 4*r + 1. Let v be d(-3). Suppose 85 = 5*b + 5*p, 2*b - v = 2*p + 3*p. Is 17 a factor of b?
True
Let y(f) = 3*f**2 + 12*f + 6. Is 42 a factor of y(-6)?
True
Suppose y - 72 + 25 = 0. Let p = 18 - 43. Let q = y + p. Does 11 divide q?
True
Suppose 1 = 3*w - 8. Let h = 5 - w. Suppose 0*b = h*b - 28. Is b a multiple of 4?
False
Suppose 0 = -2*y - q + 6, 0*y - 5*q = 5*y - 5. Is y a multiple of 2?
False
Suppose -5*i + 10*i + 5*l = 560, 248 = 2*i - 4*l. Let t = i + -80. Is 16 a factor of t?
False
Let y(g) = -g**3 - 4*g**2 - 2. Let r be y(-4). Let n = 2 - r. Let w(m) = -m + 9. Is w(n) even?
False
Let y(h) = 4*h - 1. Let s be y(-2). Let u be 321/s - 1/3. Let w = 61 + u. Does 9 divide w?
False
Let l(v) = 21*v - 34. Does 4 divide l(7)?
False
Let o be -6*3/6*-1. Suppose 27 = -4*q - 5*d, q - d = d + o. Is (-14)/(((-6)/q)/(-2)) a multiple of 14?
True
Let r(k) = k**2 + 9*k + 8. Is 30 a factor of r(-11)?
True
Let a = 2 - 0. Suppose -n = a*n. Suppose 0 = 3*d - n*d - 111. Does 14 divide d?
False
Let b be (10 - 7)*4/6. Let a = b - 4. Does 8 divide (-3)/((-6)/(-40)*a)?
False
Suppose -1243 = -3*p - 5*m, 5*m + 430 = 2*p - 382. Does 48 divide p?
False
Let t(m) = -m**2 - 12*m + 3. Does 6 divide t(-11)?
Fal