 multiple of 7?
True
Suppose 8*y = 5*y. Suppose y = t + 12 - 68. Let l = -36 + t. Is l a multiple of 20?
True
Let k = -53 + 36. Let w = -11 - k. Suppose w*n - 23 = 7. Is n a multiple of 2?
False
Let w = -1254 - -1254. Let d(a) = a**2 - 1. Let q be d(-2). Suppose q*p - 5*p + 158 = w. Is p a multiple of 20?
False
Let a be 176/6 - 4/12. Suppose 22 = -3*c + 14*c. Suppose -4*g + 4*x = -92, -c*g + 3*x = -20 - a. Does 20 divide g?
True
Let g = 3086 + -1271. Does 11 divide g?
True
Let w(n) = -14*n - 7. Let v(s) = 7*s + 4. Let o(t) = -5*v(t) - 3*w(t). Let f be ((-12)/(-5))/(4/10). Is 9 a factor of o(f)?
False
Let j = -21 - -56. Let l be 60/j + (-2)/(-7). Does 5 divide (l/(-2))/((-1)/13)?
False
Let q = -2368 + 3334. Is q a multiple of 46?
True
Let r(q) = 6*q**2 - 25*q + 2. Let s be r(5). Suppose 0 = 6*d - 4*d. Let a = s + d. Does 7 divide a?
False
Let w be -5*(3 - (-8)/(-1)). Is 4 a factor of 85/(-2)*(-10)/w?
False
Let a(f) = -10*f**2 - f + 36. Let y be a(14). Is 39 a factor of y/(-18) + 9 + 1/3?
True
Suppose 2*n - 4 = -0*n. Suppose n*u + 564 = 6*u. Suppose -2*q - 4*b + 56 = 4, -b = -5*q + u. Does 14 divide q?
True
Let x be 6/4 - 2132/8. Let n = -41 - x. Is 16 a factor of n?
True
Suppose -3*f + 8*f - 25 = 0, -116 = a + 4*f. Is a/(-7) - 32/(-56) a multiple of 2?
True
Suppose -7*s = -5*s - 4. Is (-1)/(0 + s/(-110)) a multiple of 12?
False
Let h = -719 - -771. Is h a multiple of 4?
True
Suppose -314 = 31*f - 33*f. Is f a multiple of 14?
False
Let g be (46/6 - -3)*6. Suppose 2*v - g = 56. Suppose -2*c + 3*c - v = 0. Is 15 a factor of c?
True
Let k(c) = -c**3 - c**2 - 5*c + 1600. Does 20 divide k(0)?
True
Is (-12)/16 + -3 + 39570/24 a multiple of 47?
True
Let f = -12 + 21. Let w be 2 + 0 + 1 - 4. Let l = f + w. Is l a multiple of 8?
True
Let i be (3 - 1) + (5 - -618). Suppose -4*w + i = -3*a + 206, 0 = -3*w - a + 311. Is 22 a factor of w?
False
Suppose 6*a = 4*a. Suppose -5*n + 0*x - 2*x - 2238 = a, -2*n - x - 896 = 0. Is 12 a factor of (-16)/(-56) + n/(-7)?
False
Let w(p) = -229*p + 36. Does 85 divide w(-4)?
False
Let w(g) = -28*g - 3 + 6 - 2. Let f be w(-2). Suppose -2*j - j = -f. Does 8 divide j?
False
Is 16 a factor of ((-948)/30)/(6/(-180))?
False
Suppose -2*j - 1751 = -2279. Is j a multiple of 11?
True
Let v be 62/((0 - 1)*-2). Let q = -34 + 20. Let s = v + q. Is s a multiple of 6?
False
Suppose 4*c - 45 = l + 12, 4*c - 72 = 4*l. Suppose 3*r = -y - y - 5, -6 = -2*r. Let d = c + y. Does 3 divide d?
True
Suppose l = -17 - 18. Let o be 68 + (-6)/3 + 2. Let m = o + l. Does 11 divide m?
True
Let y(r) = -37*r + 157. Let h(c) = 13*c - 52. Let q(o) = 17*h(o) + 6*y(o). Does 6 divide q(-16)?
False
Let x(t) = 0 - 11 + t - 8*t + 6*t. Let y be x(-10). Does 3 divide (57/6)/(y/(-2))?
False
Is 16159/52 - 3/4 a multiple of 10?
True
Let n be 50430/70 - 3/7. Suppose 0 = -4*q + 14*q - n. Does 15 divide q?
False
Let s(i) = 3*i**3 - 3*i**2 + 7*i - 11. Does 3 divide s(3)?
False
Let a = -199 - -792. Does 11 divide a?
False
Let j be 2/(-8) + (-45)/12. Suppose -2*d - 4*x = x + 9, 2*x = 3*d + 4. Is d/j - 116/(-8) a multiple of 15?
True
Suppose 0 = 5*t + 5*p + 315, 27 + 45 = -t + 2*p. Let v be (-2)/4 - t/4. Suppose v = 3*c + 4. Is 2 a factor of c?
True
Is (-1)/((4/(-8))/((-1798)/(-4))) a multiple of 29?
True
Suppose q = -2*t + 5*t - 905, -3*t = -2*q - 910. Let l = t + -92. Is l a multiple of 34?
False
Let j(m) = m**2 + m + 9. Suppose l - 60 = 5*s - 19, l + 15 = -2*s. Is 13 a factor of j(s)?
True
Let v = 686 + 812. Is v a multiple of 14?
True
Suppose -3742 = 13*g - 16755. Does 7 divide g?
True
Let a(w) = -10*w - 32. Is 16 a factor of a(-8)?
True
Let m(w) be the second derivative of -w**4/12 + 13*w**3/6 - 3*w**2 - 14*w. Let s be m(10). Let g = -6 + s. Is g a multiple of 4?
False
Let h(z) = z**3 - 30*z**2 - 24*z + 45. Let w be h(31). Let l = -50 + w. Is l a multiple of 9?
False
Let y be (28 + 4)/((-6)/15). Let d = y - -168. Is d a multiple of 9?
False
Let v be 44 + -1 + (-5 - -2). Let y = v - 33. Does 3 divide y?
False
Suppose -6 - 6 = -4*r. Suppose -r*k - 8 - 17 = -2*h, -2*k + 5*h = 24. Let w = 25 - k. Is 18 a factor of w?
False
Let c(u) = 2*u**2 - 15*u - 11. Let h(q) = -q**2 + 8*q + 5. Let k(t) = -2*c(t) - 5*h(t). Is 9 a factor of k(13)?
True
Suppose 4*x - 104 = a, 2*a - 117 = 111*x - 116*x. Is 14 a factor of x?
False
Let m(x) = 56*x + 43. Is m(12) a multiple of 55?
True
Suppose -3*a + 5*x + 295 = 2*a, 3*x = 15. Suppose -2*o - 4*i - 42 = 0, -4*o + 0*o = 3*i + a. Let y(q) = q**2 + 7*q + 10. Does 26 divide y(o)?
False
Suppose -5*v + 28 = m - 25, -5*m = 2*v - 35. Let b(i) = -i**3 + 12*i**2 - 8*i + 2. Is b(v) a multiple of 26?
False
Let t(j) = 2*j**3 - 14*j**2 - 29*j + 9. Let g(u) = u**3 - 7*u**2 - 14*u + 4. Let h = 6 - 4. Let i(d) = h*t(d) - 5*g(d). Is i(8) a multiple of 10?
True
Suppose 4 = i - 0. Suppose i*t - 157 = 251. Is 21 a factor of t?
False
Suppose 15 = -a + 4*m, 3*a - a + 15 = 5*m. Is 13 a factor of (104/a)/((8/(-4))/(-20))?
True
Suppose 0 = -3*o - f + 16, -3*o - 14 = -6*o - 2*f. Is 7 a factor of o/(-21) + 1884/28?
False
Let w = 252 - 172. Suppose -2*b + w = 2*b. Let y = 54 - b. Does 17 divide y?
True
Does 16 divide (-10)/95 - (-97)/19 - -283?
True
Suppose 14*w - 617 = 2925. Does 11 divide w?
True
Suppose 5*v = 4*v - 5. Let x(z) = -z - 4. Let c be x(v). Is c/(-2) - (-34)/4 a multiple of 5?
False
Suppose -2 = -3*r - l + 2, 0 = -2*r + 2*l + 16. Let o be (-14)/(r + (-129)/42). Suppose -128 = -3*z + g, -5*g - o - 24 = -5*z. Is z a multiple of 14?
True
Let t = 802 + -450. Is t a multiple of 44?
True
Suppose 2*f = -194 + 32. Is 3 a factor of ((-3)/(-9))/((-9)/f)?
True
Suppose 0 = -c + 5, -3*p - 2*p + 35 = 4*c. Suppose 3 = 5*d + 63. Let x = p - d. Does 11 divide x?
False
Let l(k) = k + 12. Let z be l(-10). Is 5/(z + 21/(-12)) a multiple of 5?
True
Suppose -990 = 2*a - 1050. Does 3 divide a?
True
Let x(d) be the third derivative of d**5/20 + 11*d**4/24 + 3*d**3 - 13*d**2. Is 15 a factor of x(-6)?
True
Suppose -2*f - f + 352 = -2*k, -2*f + 2*k = -238. Does 3 divide f?
True
Suppose -5*h + 170 = -530. Suppose -h = -13*f + 18*f. Let q = f + 37. Is q even?
False
Let r(v) = 95*v - 136. Let q(k) = -24*k + 34. Let x(h) = 9*q(h) + 2*r(h). Does 38 divide x(-6)?
True
Suppose 3*g + 49 = -4*p + 8*g, 0 = 5*p - g + 35. Let f be (p + 9)/(4 + -1). Suppose -f = 3*h - 43. Does 3 divide h?
False
Let i(g) = -1. Let j(q) = 97*q + 9. Let z(r) = 6*i(r) + j(r). Does 20 divide z(1)?
True
Let r be (-6)/((-1 + 11)/5). Is 10*4/(r/(-3)) a multiple of 20?
True
Let o be (-6)/(-9)*18/4. Suppose -a = o*a + 216. Let h = a - -98. Does 16 divide h?
False
Let s be (-5)/(-15) - 250/(-6). Let y = -29 + s. Is y a multiple of 8?
False
Let s be -9*((-6)/9)/2. Does 13 divide s/6*-6 + 62?
False
Let d(y) = 12 - 5*y**2 + 4*y**2 + 8. Let t(x) = 4. Let p(q) = -2*d(q) + 11*t(q). Does 7 divide p(-3)?
False
Is (-29)/((21/6)/(-7)) - -2 a multiple of 12?
True
Let v(q) be the third derivative of 1/3*q**3 + 1/24*q**4 + 0*q + 0 - 5*q**2 - 1/60*q**6 + 1/30*q**5. Is v(-2) a multiple of 12?
True
Suppose -39 = -n - 4*y + 13, -4*y + 308 = 5*n. Suppose 3*v - 146 = -2*g + n, 0 = 2*g + v - 210. Is 21 a factor of g?
True
Suppose -3*i = -2*m + 3, -2*m - i + 13 = 2*m. Suppose 2*n = m*q + 346, 2*n + 4*q = -27 + 373. Is n a multiple of 22?
False
Let b be (1020/9)/4 + (-4)/(-6). Let n = 54 - b. Is 25 a factor of n?
True
Suppose 0 = h - 2*h + 116. Let w = h + -56. Is 5 a factor of w?
True
Is 56*(800/28)/5 a multiple of 32?
True
Suppose x - 5*x + 5*f = 13, 3*x = -f - 5. Let i be 792/16 + (-1)/x. Suppose 0 = 5*b + s - i, 7*s + 20 = 5*b + 2*s. Is 3 a factor of b?
True
Suppose 27*p - c + 8476 = 30*p, 0 = -2*p + 4*c + 5660. Is p a multiple of 85?
False
Let c(v) = 10*v**3 + v**2 - v - 1. Let z be c(-1). Let y(k) = k**2 + 9*k + 2. Let n be y(z). Does 7 divide n*(21/6 - 0)?
True
Suppose -259*p = -265*p + 2184. Does 79 divide p?
False
Let o(i) = -3*i - 5. Let g be o(-2). Let s be (2/(3 - 2))/g. Suppose 5*c - 90 = 3*w + 17, -s*c - 2*w + 30 = 0. Is c a multiple of 5?
False
Let u(i) = -2*i**3 - 13*i**2 - 50*i - 10. Is 51 a factor of u(-5)?
False
Let y = -95 - -1470. Does 11 divide y?
True
Suppose 71*r - 217874 + 50740 = 0. Is 107 a factor of r?
True
Let r = 7 - 2. Suppose -4*i - 3*m + 600 = -r*m, -5*i + 3*m = -750. Suppose 0 = 8*n - 3*n - i. Is 10 a factor of