factor of f(h)?
False
Let c = 0 - -1. Suppose l - c - 3 = 0. Suppose -5*x + 4*t = -94, t - l = -0*t. Is x a multiple of 11?
True
Is 2146/14 + -1*(-6)/(-21) a multiple of 17?
True
Suppose 8 = 4*l - 8. Let u be 2/4 - (-30)/l. Let w = u + -5. Does 3 divide w?
True
Let h be 22/121 - (-35)/(-11). Is 13 a factor of (-2)/6 - 40/h?
True
Suppose -5*i + 4*x + 1470 = -x, 5*i + 3*x - 1438 = 0. Is 10 a factor of i?
True
Let g be 3 + -2 - 3/(-1). Suppose 0 = -2*d + 5*y + 52, 2*y = 3*d - 0*y - 100. Suppose d = -c + g*c. Is 12 a factor of c?
True
Let m = 48 + 11. Does 10 divide m?
False
Let r(k) = 2*k**2 - 16*k + 24. Is 2 a factor of r(9)?
True
Suppose -4*s + 1 = -19, -s - 97 = -3*l. Does 8 divide l?
False
Is ((-216)/15)/(2/(-10)) a multiple of 24?
True
Let y = -7 - -5. Let f be (-4 - 0)*(y - 12). Suppose 3*z = 5*a + f, -z + 3*z + 4*a - 8 = 0. Does 12 divide z?
True
Suppose -104 = -i + 3*l, -4*i + 201 = -3*l - 170. Suppose 3*g - i = -2*k, 9 = -k - 4*g + 66. Suppose -19 = -4*t + k. Is 14 a factor of t?
True
Suppose -2*n + 6*n = -4*w + 44, 4*w = n + 59. Let q be -10*(w/(-10) + 1). Suppose 2*k + 1 + 21 = p, q*p + 2*k - 88 = 0. Is 11 a factor of p?
True
Suppose -5*c - 18 + 3 = 0. Let i(a) = -57*a + 4. Let t be i(c). Suppose -m = -4*w + t, 4*m = -2*w + 99 - 7. Is w a multiple of 15?
False
Let q = 60 + -84. Let f = 11 - 6. Does 16 divide f/((-75)/q)*20?
True
Let l(d) = d**3 + d**2 + 7*d - 8. Is l(4) a multiple of 25?
True
Let i(z) = z**3 + 4*z**2 - z - 4. Let h(v) = 1. Let f(t) = -t**2 + t + 7. Let o(r) = -f(r) + 6*h(r). Let b(u) = i(u) - 2*o(u). Is 16 a factor of b(2)?
True
Let z = -4 - -14. Suppose 2*o + 3*x - 9 = 6, -o = 5*x + z. Does 15 divide o?
True
Let g(u) = 0*u**3 - 9*u**2 - 4*u**3 + 5*u**3 + 9 + u**2. Does 9 divide g(8)?
True
Let q be (-4 - -1)*(-16)/48. Is 11 a factor of (-8)/(-8) + 32*q?
True
Let i(r) = r**3 + 14*r**2 + r + 30. Is 7 a factor of i(-13)?
False
Let c(k) = k**2 - 7*k + 9. Let r be c(7). Suppose 4*h + 115 = r*h. Suppose 5 = -g + h. Is 9 a factor of g?
True
Let v = 7 - 2. Let t = v - 5. Is (26/2)/(t - -1) a multiple of 11?
False
Let t = -5 - -6. Is 12 a factor of -1 + (-1 + t - -18)?
False
Let w(n) = -n**2 + 10*n - 7. Let m be w(9). Suppose -m*x + 2 = -5*i - 2, 4*i + 2*x = 4. Let f(p) = -p**3 - p**2 + p + 16. Is f(i) a multiple of 12?
False
Let i = 32 - 18. Suppose 3*w - i = 112. Is w a multiple of 14?
True
Let x = 47 - 34. Suppose 4*h - o = 72, h + x = o + 28. Is h a multiple of 7?
False
Let h be 26/8 - (-3)/(-12). Suppose -9 = -0*q - h*q. Suppose 6 = -2*y + q*y. Is y a multiple of 6?
True
Let c(p) = -p - 3. Let b be c(-6). Suppose -16 - b = -o. Is o a multiple of 16?
False
Let s(z) = 2*z - 2. Let b be s(5). Suppose b*o - 2180 = 3*o. Does 13 divide (-1)/3 - o/(-12)?
False
Let u(v) = 5*v**2 + 7*v - 19. Is 17 a factor of u(-6)?
True
Let y = -5 + -2. Let g(w) = -2*w - 8. Let s be g(y). Suppose -p = -s*p + 15. Is p a multiple of 3?
True
Suppose 7*v = 11*v + 12. Is ((-9)/6)/(v/28) a multiple of 14?
True
Let k(n) = -3*n - 9. Let o be k(-4). Let p(f) = -f**3 + 7*f**2 - 6*f + 3. Let j be p(6). Suppose -j*s - o*d = -5*d - 35, d - 15 = -s. Does 7 divide s?
False
Let x(j) = -j**3 - 28*j**2 - j + 10. Is 12 a factor of x(-28)?
False
Suppose 3*k - 8*k = -5*r - 155, 2*r + 146 = 5*k. Is 15 a factor of k?
False
Let w = -144 + 271. Is w a multiple of 9?
False
Let f be (-10)/(((-6)/5)/(-3)). Let k = 40 + f. Is k a multiple of 10?
False
Let x(y) = y + 3. Let j be x(0). Suppose 3 = -3*q - j. Is (20/(-16))/(q/40) a multiple of 20?
False
Suppose q = 3*q - 76. Is q a multiple of 8?
False
Let v(s) = s**3 + 5*s**2 + 4*s - 1. Let h be v(-3). Suppose -p = 4*b - 50, h*p + 0*b = -5*b + 220. Does 14 divide p?
True
Suppose -2*r + 3 = -3. Suppose -2*v = 5*y, 4*y + r*v = v. Suppose y = -4*d + s + 101, 34 = -2*d + 3*d - 2*s. Is 12 a factor of d?
True
Let i(r) = -r + 38. Is i(0) a multiple of 22?
False
Let i = -5 + 3. Suppose 3*t + 3*a = 11 + 31, 4*t + 3*a - 51 = 0. Let p = i + t. Is p a multiple of 3?
False
Let l(u) = -u**3 + u - 9. Is l(-4) a multiple of 17?
True
Let o = -43 - -13. Is 6/(-4)*o/9 even?
False
Suppose 0 = -2*q + 1 + 3. Let s(p) = p**2 - 2*p. Let k be s(q). Is -1*(k + 1)*-19 a multiple of 15?
False
Suppose 5*b + 5*h - 85 = 0, -67 = -4*b - 4*h + h. Is 8 a factor of b?
True
Let m be (-128)/(-22) - (-2)/11. Is 6 a factor of m/(-39) - 474/(-39)?
True
Let v(n) = 56*n**3 - n**2. Let g be v(1). Suppose -4*a = -3*k - 8*a - g, 27 = -3*k + 3*a. Let u = k - -26. Is 6 a factor of u?
False
Suppose 5*m - 3*c = 70 + 61, -2*m - c + 48 = 0. Let y = 65 - 80. Let r = y + m. Is 10 a factor of r?
True
Suppose 5*v - 4*s = 45, -v - 4*s = -5 - 4. Let l(r) = 4*r + 2. Does 11 divide l(v)?
False
Let h be (1/(-2))/(6/516). Suppose 4*j = -51 - 17. Let y = j - h. Does 26 divide y?
True
Let m be 14 - -8 - (-2)/(-2). Suppose 18 = -0*p + 2*p. Let f = p + m. Does 16 divide f?
False
Suppose 4*x + 57 = 4*n - 55, 3*n - 2*x = 83. Let f = -13 + n. Is f a multiple of 7?
True
Suppose 273 = 7*r - 420. Is r a multiple of 11?
True
Suppose 2*p - 6 = -3*j, -15 = 3*p - 5*j - 5. Suppose p*i = i - 12. Is i a multiple of 3?
True
Suppose -14*k = -8*k. Let d(r) = r**2 - r - 5. Let t be d(6). Suppose k = 5*w - t, -3*w + 37 = o + o. Is o a multiple of 11?
True
Suppose 0 = -5*o - 15, 5*u - 110 = o + 3. Does 11 divide u?
True
Suppose 5*z = 5*h - 265, 4*h = h + 4*z + 156. Is h a multiple of 14?
True
Let s = -7 - -4. Let c = s - -7. Suppose -i + c*i + 31 = 5*t, -i = 2*t - 8. Is t a multiple of 2?
False
Let o be (1/2)/(5/20). Suppose -d = -3*f + o*d + 78, f - 46 = -4*d. Is f a multiple of 10?
True
Suppose 10 = -y - 3*j - 0*j, y = -4*j - 11. Let q = 3 - y. Is 10 a factor of q?
True
Is 19 a factor of 2/(-12) - 6855/(-90)?
True
Let z(m) = -14*m + 2. Is z(-2) a multiple of 5?
True
Is (-2)/4 + 294/12 a multiple of 12?
True
Suppose -5*g + 16 = -24. Does 6 divide 115/20 - (-2)/g?
True
Suppose 5*v - 2*v - 270 = 0. Is v a multiple of 30?
True
Is (3/(-6) + 0)*-74 a multiple of 37?
True
Suppose -3*v - v = -1328. Suppose 2*s + 2*s = v. Is 17 a factor of s?
False
Let k(i) = i + 6*i**2 - 2 - 4*i + 2*i. Does 12 divide k(-2)?
True
Suppose t - 4*p - 10 = -0*t, -3*t - 4*p = -110. Is t a multiple of 8?
False
Let n(v) = -v**3 + v**2 - 5*v - 2. Let i = 2 - -2. Let t be n(i). Is 4/8 + t/(-4) a multiple of 16?
False
Let m = 27 - 47. Let t = m + 40. Suppose t = 2*r - 0*r. Is 10 a factor of r?
True
Let y(i) = 12*i**2 + i - 2. Let d = -4 + 6. Is y(d) a multiple of 19?
False
Let o be (-9 + 11)/((-2)/14). Let b be -2 - 4/(2/2). Let i = b - o. Does 8 divide i?
True
Let c = -38 + 76. Let h = 71 - c. Is h a multiple of 13?
False
Suppose s + 4*g = 123, 619 + 47 = 5*s + 3*g. Is s a multiple of 21?
False
Let u = 816 + -496. Is 16 a factor of u?
True
Does 16 divide 5*6/135 + (-1346)/(-18)?
False
Let n = -106 - -237. Is 16 a factor of n?
False
Let m(w) = -2*w + 44. Is 32 a factor of m(0)?
False
Let t be 64/10 + 6/(-15). Let s(u) = -u**2 + t*u + 0 + 0 - 1. Is s(5) a multiple of 2?
True
Let w(i) = -i**2 + 8*i + 4. Is w(4) a multiple of 4?
True
Let b(r) = r**3 - 10*r**2 - 12. Let v be b(9). Let q = -46 - v. Is q a multiple of 15?
False
Let k(t) = -t**3 + t**2 - 2*t + 2. Let l be k(2). Let d = l + 28. Is 22 a factor of d?
True
Suppose y + 120 = 2*y. Does 5 divide 4/3*y/16?
True
Does 4 divide 536/44 + (-4)/22?
True
Does 5 divide 73/5 - 4/(-10)?
True
Let y = 3 + -7. Let z = y - -4. Suppose 0 = -z*n + 4*n - 44. Does 10 divide n?
False
Let q be (-8 - -10)*(-19)/(-2). Suppose q = 5*f - 31. Is 3 a factor of f?
False
Let n be -1 + 2 + (-2 - -1). Suppose -4*m + 4*b + 0*b = -112, 0 = 2*m + 5*b - 91. Suppose n = -2*l + m + 7. Is l a multiple of 10?
True
Let w be 17/3 - 4/6. Suppose a = -0*a - 3, -w*f = 4*a - 3. Suppose 0 = f*k + 12, 2*k + 20 = i - 2*k. Is 4 a factor of i?
True
Let g be 1*(3 - 1) + 33. Suppose g = l + 1. Does 8 divide l?
False
Let h = 9 + 2. Suppose -4*a = -3*i - 26, 14 = 2*a - 2*i - 0*i. Suppose 18 = 2*n + 4*t, 0 = a*n - 2*t - h + 2. Does 2 divide n?
False
Let i = -135 - -245. Does 19 divide i?
False
Suppose w - 601 = -61. Suppose 5*r + 0*g - 5*g = w, 0 = 5*r - 2*g - 534. Suppose 143 = 4*y + k, r = 6*y - 3*y + 2*k. Is 12 a factor of y?
True
Let j(s) = -4*s + 0*s - 18 - 7. Is 3 a factor of j(-11)?
False
Suppose 3*b - 9 = -3. Suppose -144 = -5*j + b