0 = 0. Is l a multiple of 35?
True
Suppose -6*f = 56 - 74. Suppose 1205 = 5*k + 3*n, 0 = -f*k - 6*n + 3*n + 729. Is k a multiple of 14?
True
Let r(l) = l**2 + l - 1. Let w(k) = k**3 + 7*k**2 + 8*k - 5. Let i(m) = -2*r(m) + w(m). Let a be i(-5). Is a*4*-2*4/16 a multiple of 11?
True
Suppose 3*d - 10 = 47. Suppose 8*x - 7*x = -d. Let f = x - -124. Does 35 divide f?
True
Let i = 5707 + -1863. Does 6 divide i?
False
Suppose -d + 281 = -2*o + 3*o, -d + 283 = 3*o. Let i(w) = w - 22. Let p be i(27). Suppose -3*x = 4*y - 224, -9*x + 12*x + d = p*y. Is y a multiple of 10?
False
Suppose -2535267 - 3413451 - 1661630 = -254*z. Is 15 a factor of z?
False
Let d(m) = 2*m - 8. Let c be d(6). Let f(b) = 6*b**2 - 4*b - 10*b**2 + 11*b**2 + c. Is f(-4) a multiple of 12?
True
Suppose -x = -2*x + 89. Suppose -x = 8*c + 71. Let i(b) = -21*b - 12. Is 48 a factor of i(c)?
False
Let q = -559 - -667. Is 36 a factor of -35*10/(-75)*q?
True
Suppose m - 2*m = 1. Let v = 276 - 266. Is 102/v - m/(-5) a multiple of 2?
True
Suppose 19*b = -b + 135470 - 38990. Is b a multiple of 12?
True
Let n be 1 + 325 + -4 + -2 + 7. Suppose -3*l - n = 2*x - 1603, 638 = x - 5*l. Does 29 divide x?
True
Let o(l) = 4*l**2 - 20*l - 132. Does 20 divide o(-8)?
False
Suppose 9*j - 22*j = -23959. Suppose -2*x + 2*d = -2*d - 1222, j = 3*x - d. Does 27 divide x?
False
Let a = 356 - 361. Does 10 divide (-32)/20 + (-3908)/a?
True
Suppose -5*z - 16 = 15*u - 16*u, 3*u = -2*z + 31. Let s(w) = 71*w - 253. Does 22 divide s(u)?
True
Let g be 0/((-60)/(-33) - 6/(-33)). Suppose g = 63*y - 9*y - 4104. Does 5 divide y?
False
Suppose -7015*u + 91005 = -7000*u. Is 55 a factor of u?
False
Let r(u) = -u**3 - 14*u**2 + u + 17. Let s be r(-14). Let f(l) = -l**2 + 2. Let p be f(s). Let o(i) = i**2 + i + 7. Is 8 a factor of o(p)?
False
Suppose 3*b - 936 = 10*b - 8*b. Is 26 a factor of b?
True
Suppose -2*w + 5 + 13 = 0. Suppose w*x - 12*x = 132. Is 0 + -1 + (-2 - x) a multiple of 7?
False
Let s(v) = v**3 + 4*v - 1. Let r = -82 - -80. Let z(l) = -3*l + 2. Let x(w) = r*s(w) - 3*z(w). Is 40 a factor of x(-4)?
True
Let g(j) = -3*j - 65. Let c(l) = 3*l + 64. Let t(v) = 5*c(v) + 6*g(v). Let f be t(-27). Is 8 a factor of (4917/12)/f + (-2)/8?
False
Suppose 38*a - 14804 = 7616. Is a a multiple of 59?
True
Suppose 5*u = -0*u + 5*m + 105, -2*u - 5*m = -77. Let y = 29 - u. Suppose y*q - 1 = 2, -4*x + 99 = 3*q. Is x a multiple of 9?
False
Suppose -2506 + 56 = -5*s. Suppose -5*w + 5*i = -s - 320, -4*w + i + 657 = 0. Is 15 a factor of w?
True
Let k = 21256 + -18657. Is k a multiple of 10?
False
Suppose -12 - 12 = -8*v. Suppose -858 = b - v*b + 2*o, o = 0. Suppose -6*z + b = -291. Is 13 a factor of z?
False
Suppose 0 = 2*g - 3 - 9. Let b = 1590 + -1436. Suppose -g*a + 656 = -b. Is a a multiple of 27?
True
Let k(p) = -p**3 + 5*p + 2. Let j be k(-2). Suppose j = -w + d - 6*d + 149, 725 = 5*w + 5*d. Suppose -11*z + 2*z + w = 0. Is z a multiple of 8?
True
Let g be 5*-2*(3 - 42/12). Suppose -1767 = -g*w + 78. Is 41 a factor of w?
True
Let o(s) = -s**3 + 33*s**2 + 5*s - 54. Suppose -5*k - 81 = 4*n - 6*n, 126 = 4*n + 2*k. Is o(n) a multiple of 37?
True
Let n(o) = 9*o**2 + 3*o - 34. Suppose -4*m - 3*a + 25 = 0, 2*m - 9 - 5 = -2*a. Is n(m) a multiple of 19?
False
Is -4398*(-12)/18 + 96/(-16) a multiple of 14?
True
Let b(u) = -u**2 - 36*u - 164. Does 15 divide b(-28)?
True
Let l(p) = 140 - 234 - 3*p + 13*p. Is l(31) a multiple of 8?
True
Suppose -64 = 22*r - 19*r + 5*p, -r = 4*p + 19. Let o = r - -447. Is o a multiple of 53?
True
Let w(y) = 15*y - 357. Let d(k) = -3*k - 2. Let v(a) = 18*d(a) + w(a). Does 21 divide v(-16)?
True
Let p(h) = -12*h - 34. Let c be p(-3). Suppose -16 = c*b - 50. Is 3 a factor of b?
False
Let u(x) = x**3 + 4*x**2 - 16*x - 55. Let z be u(-5). Suppose z = -3*n + 763 + 50. Is n a multiple of 13?
False
Suppose 151 = 3*b + 2*z, 0*z + 5*z + 210 = 5*b. Suppose -b*d - 405 = -52*d. Let y = 226 - d. Is y a multiple of 29?
True
Suppose -7644 = -6*v - 2292. Suppose 238 = d + s + 14, -5*s = 4*d - v. Suppose n + 4*q = 57, -11*n + 7*n + 2*q = -d. Is n a multiple of 19?
True
Suppose 3*y + 12 = 0, 3*f + 4*y - 1305 - 3551 = 0. Is 12 a factor of f?
False
Suppose 3*f = -2*n + 8605, 497*n - 495*n + 2*f = 8602. Does 24 divide n?
False
Suppose -3*h - 32*h - 1400 = 0. Let w = h - -364. Is 6 a factor of w?
True
Suppose 1918 = -5*h - r - 1420, -2*r = 6. Let x = h - -1435. Is 48 a factor of x?
True
Let y be 1 + 107/(-15) - (-20)/150. Let u be y*(1 + 0/(-2)). Let g = 28 - u. Is g a multiple of 3?
False
Let j(a) = 2161*a + 177. Is 15 a factor of j(3)?
True
Suppose 33 + 19 = -13*y. Let t(p) = 17*p**2 - 15*p - 44. Is t(y) a multiple of 12?
True
Let y(r) = r**3 - 14*r**2 - 13*r - 78. Is 71 a factor of y(17)?
True
Suppose 5*b - 2*u + 7 - 14 = 0, -2*u = 2*b - 14. Suppose 0*v = -5*c + 2*v + 1238, b*c - 741 = 3*v. Is c a multiple of 31?
True
Suppose 2*u - 2*o = 4616, -23*o + 6882 = 3*u - 20*o. Does 39 divide u?
True
Let h = 79 - -65. Suppose -3*t + h = -450. Does 6 divide t?
True
Let m(h) = h**3 + 4*h**2 - 4*h + 2. Let q be m(-6). Let z be (-4)/1*23/q. Suppose -3*p = -z*f + 97, 2*f - 24 - 38 = -4*p. Is 24 a factor of f?
False
Let d(y) = -13*y + 1084. Is 16 a factor of d(-14)?
False
Is 15 a factor of 306896/30 - (-26 - (-13192)/510)?
True
Let n be (0 + 3)*5/(-10)*-26. Suppose 5*j - 5*w = 65, -n = -3*j + w - 5*w. Suppose 6*x - j*x + 336 = 0. Is 12 a factor of x?
True
Let v = 122 - 64. Let a = v - 47. Suppose a*t + 208 = 857. Is t a multiple of 8?
False
Let b(k) = 13*k**2 + 15*k + 41. Let u(p) = -2*p**2 - 6*p + 30. Let v be u(-6). Does 43 divide b(v)?
False
Let q(n) = -n**3 + 38*n**2 - 96*n - 48. Is 3 a factor of q(35)?
True
Suppose -2 = -8*n + 10*n. Let p be 18/(-27)*576/n. Suppose -4*l + 274 = -l + 2*f, 2*f = 4*l - p. Is 8 a factor of l?
False
Let q = 203 + -243. Is 23 a factor of 460/q*(-2 + -18)?
True
Let p(t) = -2*t - 11. Suppose -11*j = -12*j - 9. Let u be p(j). Suppose 0 = 4*g - u*g + 123. Does 7 divide g?
False
Suppose -55*r + 688034 = -549191. Is r a multiple of 11?
True
Let x(t) = -2*t**2 + 52*t + 1503. Does 7 divide x(0)?
False
Let o(m) = -20*m - 2 + 8*m + 38 + 7*m. Let w be o(-9). Let v = w + -25. Is 26 a factor of v?
False
Suppose -2*k = -2*r - 55920 - 13452, -69369 = -2*k + r. Is k a multiple of 209?
False
Suppose 0 = -4*c + 4*u - 2*u + 74, -4*c + 68 = -4*u. Suppose -c + 81 = 5*q + 4*w, -q + w + 14 = 0. Suppose 0 = -q*o + 4*o + 648. Is o a multiple of 13?
False
Let h(y) be the third derivative of -y**4/4 + 7*y**3/2 - 17*y**2. Let i be h(3). Suppose i*n + 33 = 105. Does 12 divide n?
True
Let f(z) = -2*z**3 + 51*z**2 - 17*z. Is f(17) a multiple of 56?
False
Suppose 0 = 33*g - 36*g - 18. Let s(v) = v**2 + 15*v + 41. Let r be s(g). Let y(l) = -l**3 - 12*l**2 - 2*l + 5. Is y(r) a multiple of 40?
True
Let u be ((-20)/(-8) - 2)/((-6)/48). Is u - -73 - 1/2*-6 a multiple of 24?
True
Let t(s) = s**3 - 395174 - 6*s**2 - 3*s**2 + 395159. Let n be 158/14 + (-6)/21. Does 26 divide t(n)?
False
Suppose 2*i - 67734 = -4*y, 3*y + 28*i = 33*i + 50755. Does 19 divide y?
False
Suppose -5*x + 26 = 1. Suppose t - x*u = 24, 0*u + 160 = 5*t - 5*u. Let j = 100 + t. Does 35 divide j?
False
Let c be 63/6 - 2/4. Let h(x) = -5*x**2 + 9*x - 8. Let r(a) = -9*a**2 + 18*a - 17. Let z(b) = 7*h(b) - 4*r(b). Is 7 a factor of z(c)?
False
Let p(i) = i**2 - 19*i + 69. Let o be p(11). Let r(x) = -x**2 - 21*x - 37. Let a be r(o). Is 8/12*(a - -122) a multiple of 16?
False
Let r(y) = 4*y**2 + 48*y - 731. Is r(37) a multiple of 2?
False
Suppose v = -3*s + 409, -v + 6*s - 2*s = -402. Let a = 811 - v. Is 15 a factor of a?
True
Suppose 0 = 36*g - 3*g - 95667. Does 59 divide g?
False
Let y(p) = -3*p**3 - p**2 + 69*p - 232. Does 16 divide y(-22)?
False
Let o be -6 + 0 - (-1 - 3). Does 12 divide 140 + (-8 - (o + 2))?
True
Let z(x) = x**3 - 13*x**2 - 27*x + 1. Let c be z(14). Let v = 451 + c. Is 27 a factor of v?
True
Let w(v) = -172*v - 81. Let i = -5 + -1. Does 74 divide w(i)?
False
Let t(a) = -a**3 - 8*a**2 - 6*a + 7. Let m be t(-7). Suppose m = -2*k + 4 + 2. Suppose -k*z + 20 + 1 = 0. Is z a multiple of 2?
False
Let h(g) = 44*g**3 + 13*g**2 + 40*g - 196. Is h(5) a multiple of 29?
True
Let v be ((-4)/14 + (-1224)/126)*-30. Suppose 5*l - 50*r = -45*r + v, -4*l = -5*r - 243. Is 19 a factor 