+ -1)/(k/(-38))?
False
Let z = 967 - 851. Is 5 a factor of z?
False
Let n = -90 - -250. Suppose 5*d - n = 65. Is d a multiple of 10?
False
Let l(x) be the second derivative of x**5/20 + 2*x**4/3 + 7*x**3/6 + 7*x**2 + 36*x. Does 7 divide l(-7)?
True
Let d(v) = 37*v + 1. Let t be d(-5). Let y = -44 - t. Does 35 divide y?
True
Suppose 7*r - 1 - 517 = 0. Let y = r - -6. Is 19 a factor of y?
False
Let l = -537 + 1822. Does 26 divide l?
False
Let w(q) = 9*q**2 - 7*q - 16. Is w(8) a multiple of 12?
True
Let l(b) = -4*b - 54. Let g be l(-15). Suppose -2*t + 16 = 2*z, g = t - 0*z + 2*z. Is t a multiple of 2?
True
Suppose -4*i + 4 = 2*o, -5*o - 16 = -o. Suppose 0 = -11*b + 6*b - 15, 2*w + 2*b = -6. Suppose w = i*v - 2*v - 11. Is 11 a factor of v?
True
Let s be (3 + -4)/((-616)/(-612) - 1). Let c = -58 - s. Is 19 a factor of c?
True
Suppose l + 131 = 5*m - 522, m - 2*l = 136. Suppose 4*k + 10 = m. Does 6 divide k?
True
Let k = 46 + 35. Suppose -76 = -k*s + 80*s. Is s a multiple of 19?
True
Suppose -9*h + 2255 = -3901. Does 9 divide h?
True
Let q be -4*((-8 - -4) + -2). Suppose -18*c - q = -20*c. Is 9 a factor of c?
False
Suppose 10*r + 2*y + 90 = 13*r, -3*y + 73 = 2*r. Does 8 divide r?
True
Suppose -4*z + 304 = 4*d, 5*z - 2*d - 400 = 3*d. Does 10 divide z?
False
Suppose 3*t = -2*r + 1, r = -0*r - 3*t - 1. Suppose 3*b - 15 = 2*s - s, r*s = -5*b + 25. Suppose 4*k - 20 = s, 4*f = 5*k + 49 + 78. Is 19 a factor of f?
True
Suppose -v - 2*v = -4*z + 4, 4*v + 4 = 4*z. Let w = -7 - -31. Let o = v + w. Does 4 divide o?
True
Let y = -259 + 370. Suppose 5*p = 2*c - y, -5*c = 2*p - 157 - 193. Does 8 divide c?
False
Let t(p) = 377*p + 484. Is t(14) a multiple of 38?
False
Let q(r) = -r**2 + 6*r + 6. Let s be q(7). Let i(l) = l + 1. Let p be i(s). Suppose -t + 1 + 10 = p. Is t a multiple of 11?
True
Let a be 12*(-3 - (-3)/(9/11)). Suppose 4*q = a*q - 72. Is 9 a factor of q?
True
Let a(n) = -n**2 + 11*n + 28. Does 4 divide a(10)?
False
Let a = -28 - -17. Let t = a - -30. Does 8 divide t?
False
Let n(d) = -44*d + 131. Is 40 a factor of n(-13)?
False
Let c = 1742 - 1162. Let r be c/44 - 6/33. Suppose 0 = -10*f + r*f - 96. Is f a multiple of 6?
False
Let c(k) = -k**2 - 63*k + 430. Is 30 a factor of c(-40)?
True
Suppose -2*o - 4*o - 750 = 0. Let u = o - -272. Is 29 a factor of u?
False
Suppose 3*c = 12*c - 3312. Does 16 divide c?
True
Let w = 488 - -898. Does 14 divide w?
True
Let q(h) = -h**2 - 8*h + 8. Let o be q(-8). Suppose 5*t + 0*t - 1 = -3*i, 2*i - t + o = 0. Is 1 - (-6)/i*-12 a multiple of 16?
False
Let h = 491 + -81. Does 10 divide h?
True
Suppose 3*j + 30 = -3*u - 0*u, 4*j = -2*u - 20. Is 13 a factor of ((-104)/u)/((-2)/(-15))?
True
Let h(k) = -3*k + 405. Does 34 divide h(-69)?
True
Let r be -6*3/(-6)*1. Suppose 0 = -2*u - r*u + 25. Suppose u*h - 21 = 2*h. Does 4 divide h?
False
Let f = 5455 - 3773. Is f a multiple of 58?
True
Let m(f) = f**2 - 3*f + 56. Let g(k) = -k + 9. Let i be g(9). Does 4 divide m(i)?
True
Let u(j) = j**3 - j**2 + j + 3. Let z be u(0). Suppose z*h + 5*a = 107, 2*h - a - 2*a = 65. Suppose 0 = -2*p + p + h. Is 17 a factor of p?
True
Let o = 242 - -38. Is 8 a factor of o?
True
Suppose 4*r - 2*v + 1 = -1, -3*v = -15. Let t = r + -2. Suppose t = 8*n - 5*n - 60. Does 4 divide n?
True
Suppose 4*j = -3*k - 1, 0*j = 3*k - j + 26. Let w = k - -27. Does 3 divide w?
False
Suppose 0 = -5*k + 231 - 86. Suppose 0 = -k*i + 24*i + 600. Is 8 a factor of i?
True
Suppose -2*i + 5*w + 190 = 0, 70 = 2*i + 5*w - 80. Let g = 157 - i. Is 6 a factor of g?
True
Let u = 175 - 47. Is 64 a factor of u?
True
Let i be -1 - ((-3)/(-6) + -1)*2. Suppose -g - 5 = i, -4*g - 153 - 217 = -2*q. Is q a multiple of 8?
False
Let i(o) = -o**3 - 9*o**2 - o - 6. Let s be i(-9). Is (-2)/(-6) - (-209)/s a multiple of 26?
False
Suppose 12*s = 7*s + 300. Let y = s + -195. Is (-8)/(-5)*y/(-6) a multiple of 14?
False
Is (-3)/(-6) - 1822*3/(-12) a multiple of 13?
False
Suppose 7*c - 2*c + 5*h = 45, 3*c + 5*h - 35 = 0. Suppose 50 = 5*q - c*d, -2*q + 0*q - 4*d - 10 = 0. Is 5 a factor of q*2*24/15?
False
Suppose 1113 + 455 = 7*l. Is l a multiple of 7?
True
Let z(a) = 94*a**3 - 4*a**2 - 15*a + 39. Is z(3) a multiple of 89?
False
Is (5 - -719) + -2 + 1 a multiple of 31?
False
Suppose -c - 3*c = -3*f, -3*f + 3 = -3*c. Suppose b + 4 = -c*b. Is 19 a factor of (4/8)/(b/(-158))?
False
Suppose 0*o + 8*o = -1360. Let p = o + 352. Does 10 divide p?
False
Let j(r) = 62*r - 581. Is 17 a factor of j(47)?
False
Let k = -931 + 1637. Does 24 divide k?
False
Let g be (-3 - -2)*(-67)/(-3 - -4). Suppose -2*d = -g - 5. Is 18 a factor of d?
True
Suppose 4 + 2 = 2*w. Suppose -15 = -5*k, 5 = -w*y + 4*k + 2. Is 16 a factor of (-27)/y*(-1 + -12)?
False
Let b = 6 - 3. Suppose -4*s = -2*j - 4, b*s - 5*s = -4*j - 2. Suppose 9 + 6 = -3*m, j = 4*u + 3*m - 133. Is u a multiple of 15?
False
Suppose -44*m = -20251 - 23309. Is m a multiple of 99?
True
Let v = 2075 + -1982. Is 47 a factor of v?
False
Let m = 22 + -24. Let q be m/16 + 769/8. Suppose j = 5*j - q. Is 9 a factor of j?
False
Let x(u) = 2*u**2 + u - 1. Let o be x(1). Suppose 0 = -5*p + 4*k + 59 + 49, -2*k = o*p - 54. Is p a multiple of 24?
True
Suppose 0 = 5*n - 3*g - 4505, 5*g - 261 = -5*n + 4244. Does 27 divide n?
False
Suppose -6*k = -878 - 658. Suppose 3*a - 11*a = -k. Is 8 a factor of a?
True
Let n = 14 + -10. Suppose 4*g - 186 = 2*r - n*r, -2*r - 78 = -2*g. Does 11 divide g?
True
Suppose -4*c = -8*c - 16. Let z be 22/c*(-3 - 23). Suppose 2*n - 7 = z. Is 21 a factor of n?
False
Let x(m) = m**2 - 6*m + 1. Let w be x(8). Suppose 4*l + w = 4*q + l, -5 = -l. Suppose 2*y + 3*j = 20, 5*j - 4 = -2*y + q. Is 16 a factor of y?
True
Suppose -549 = 13*t - 22*t. Is t a multiple of 61?
True
Let o(k) = 8*k + 1. Let n be o(-1). Let q = n - -10. Suppose 2*h - 5*u - 95 = 0, 3*u + 190 = q*h + 2*h. Is h a multiple of 12?
False
Let p = -37 + 365. Is 36 a factor of p?
False
Let t = -7 - -802. Is t a multiple of 15?
True
Let x = -3 + -1. Let g = 32 + x. Does 14 divide g?
True
Let r(z) = 6*z - 4. Suppose b = 4*o + o - 24, -3*b = -2*o + 7. Is r(o) even?
True
Suppose 2*u = l - 546, 2175 = 4*l - 10*u + 5*u. Is l a multiple of 36?
True
Suppose 0 = 3*v - 212 - 352. Let x = v + -79. Does 11 divide x?
False
Let i = 11 - -3. Let q = 60 - i. Is 13 a factor of q?
False
Suppose 0 = j + 3*j - 4*t + 48, 2*t = -4*j - 48. Let d = j + 12. Suppose 3*v + 3*f - 109 - 137 = 0, d = 3*v + 5*f - 240. Is v a multiple of 13?
False
Suppose 2*q = 9*q - 21. Is (q + 22 - -2) + -3 a multiple of 4?
True
Let n(s) be the second derivative of 35*s**3/3 + 3*s**2/2 + 3*s. Does 21 divide n(1)?
False
Suppose 66*z - 61*z - 40 = 0. Is z a multiple of 8?
True
Let i be ((-24)/(-32))/(2/8). Suppose -2*p + 40 = i*p + 5*t, 4*p - 2*t = 20. Let n(v) = 4*v - 14. Is n(p) a multiple of 5?
True
Let h(u) = -10*u + 7. Let j be h(-8). Suppose j = o - k, k + 1 = 2*k. Let x = 124 - o. Does 18 divide x?
True
Let f(o) be the first derivative of 2*o**3/3 - 3*o**2/2 + o + 5. Does 27 divide f(-6)?
False
Suppose -2*a + 2*k = 84 + 6, -25 = a + 4*k. Does 9 divide 1 - (a*1 + 3/(-1))?
True
Let b(k) = k**2 - 2. Let o be b(-2). Suppose o*v = v + 43. Suppose 2*m - m = v. Does 16 divide m?
False
Suppose -21*k = -2*k - 24472. Is 14 a factor of k?
True
Does 18 divide (-10)/70 - 1010/(-14)?
True
Let m(h) = 6*h. Suppose 3*r + 1 = -2*a, 3*r + 5*a = -15 - 1. Suppose 0*i - 27 = -r*i. Is 18 a factor of m(i)?
True
Suppose 4*i = -262 + 86. Let c = i + 55. Is c a multiple of 6?
False
Let u = 23 - 11. Let z = -8 + u. Suppose -z*m + 4 = -3*m, -n = 5*m - 60. Is 10 a factor of n?
True
Let f(i) = -2*i**3 + 38*i**2 - 37*i. Does 31 divide f(17)?
True
Suppose -v = -0 - 42. Let x = -2 + v. Does 20 divide x?
True
Let n(m) = 23*m - 12. Let p be n(-7). Let x = p + 243. Suppose -3*a = 5*c - x, -18 + 147 = 5*a - 4*c. Is 5 a factor of a?
True
Let c(v) = -34 + 0*v + v**2 - 8*v + 6*v. Does 4 divide c(-6)?
False
Suppose -d - 4*p - 9960 = -5*d, 0 = 4*d - p - 9966. Is d a multiple of 13?
False
Let n be (-2 - (3 + -3)) + 5. Suppose -2*a = -5*a + 2*v - 1, -24 = -3*a - n*v. Suppose 32 - 2 = a*y. Is 5 a factor of y?
True
Let i(t) = -69*t - 2. Does 37 divide i(-3)?
False
Suppose 100*c + 33264 = 118*c. Is c a multiple of 28?
True
Let i = 106 + -31. Let m = i + 12. Does 19 divide m?
False