 m, 0 = 2*m + 4*h - 40. Is m a multiple of 5?
True
Suppose 0*d + 215 = 2*d + h, -5*d - 3*h + 540 = 0. Is d a multiple of 7?
True
Let k = 32 - 23. Let h = 9 - k. Suppose 5*m + m - 66 = h. Does 3 divide m?
False
Suppose 2*q = 2*i - 300, -5*q - 25 - 284 = -2*i. Is 7 a factor of i?
True
Let v(t) = -3*t - 5. Let i be v(-3). Is 31 a factor of 682/(-11)*(-2)/i?
True
Let c be (-37 + 1)*(16 + -12). Is 9 a factor of ((-1)/(-2))/((-2)/c)?
True
Suppose 0 = 2*r - 4*r + 372. Suppose -5*g + 3*p + 39 = -4*g, 4*g - 2*p = r. Is 6 a factor of g?
True
Let j(i) = -i**2 + i + 1. Let b(y) be the first derivative of -y**4/4 - 7*y**3/3 - y**2 + 10*y + 7. Let d(p) = -b(p) - 6*j(p). Is d(-13) a multiple of 16?
False
Let s be 9/(-4)*(-7 + 3). Suppose s + 13 = 4*v + 2*x, 3*x + 21 = 3*v. Is 23 a factor of (3/v)/(2/92)?
True
Suppose -105 = -4*u - 5*g, 0*u - 30 = -2*u + 2*g. Let z = 77 - u. Is 5 a factor of z?
False
Let k = 81 + -24. Suppose 4*u - k - 39 = 0. Suppose -2*a + 150 = -c - u, -c = 4. Is 26 a factor of a?
False
Let p(a) = 2*a - 12. Let k be p(6). Let y(u) = u**3 + u**2 + 5*u + 127. Does 14 divide y(k)?
False
Let k = 319 - -100. Does 60 divide k?
False
Suppose 5*s + 4*y = 3*y + 113, -3*y + 63 = 3*s. Let k = -8 + s. Is k even?
False
Let q = 2773 - 2476. Is 14 a factor of q?
False
Suppose -131*t + 135*t - 1012 = 0. Is t a multiple of 20?
False
Let h = 39 + -10. Let v = 69 - h. Is 4 a factor of v?
True
Suppose 9*p = 18*p - 27. Suppose 2*m - 256 = 3*g - g, 0 = -m + p*g + 132. Is 14 a factor of m?
True
Suppose 0*j - 4*t - 2784 = -4*j, -5*j = t - 3498. Is j a multiple of 8?
False
Let y = -11 - -5. Let m = y + 10. Suppose -x = -5*a - 48, x + m*x - 186 = -2*a. Does 19 divide x?
True
Let y be 1 + (-2 - (-3 - -1)). Let g = y + 1. Is 5 a factor of (-20)/(g*(-2)/4)?
True
Does 12 divide (-35682)/(-380) - (-1)/10?
False
Let w be 1/(-1) - -4 - -96. Is 13 a factor of 1/(-3)*1*w*-3?
False
Let j(o) = -3*o**2 - 3*o**2 + 2*o - 2*o**2 - 5. Let t(k) = 9*k**2 - 3*k + 6. Let w(m) = -4*j(m) - 3*t(m). Is w(2) a multiple of 8?
True
Suppose 9*a - 71*a = -111600. Is 18 a factor of a?
True
Suppose -4*d - 3 = -27. Suppose 2*l = -5*b + 1, -d*b = l - 5*b - 2. Suppose -4*x = y - 76 - 47, -l*y + 129 = 4*x. Does 10 divide x?
True
Let i(u) = -6*u + 9. Let b(p) = 7*p - 9. Let f(g) = -5*b(g) - 6*i(g). Let n be f(3). Let l(r) = -r**3 - 4*r**2 - 3*r - 9. Does 27 divide l(n)?
True
Let n = 0 + 7. Suppose 72 = -5*k + n. Does 10 divide (-3240)/(-65) + (-2)/k?
True
Let l = -967 + 1662. Does 5 divide l?
True
Suppose 2*q + 4*f = 6128, 4*q + 3049 = 5*q - f. Does 10 divide q?
False
Let c(a) = 5*a - 6. Suppose -4*z + 2*o = -2*o - 48, -3*o + 4 = 2*z. Let n be c(z). Suppose 9*g = n + 56. Does 7 divide g?
False
Let o(m) = -36*m**3 - 2*m - 9. Does 17 divide o(-3)?
True
Let i = 56 - 95. Let m = i - -50. Does 3 divide m?
False
Suppose -4*m = -l - 20, -2*m - 8 = -l + 5*l. Suppose w + m*w - 99 = -3*f, w + 4*f = 30. Does 18 divide w?
True
Suppose 138 = j + 44. Suppose 0*x - 4*v - j = -2*x, 170 = 4*x - 2*v. Let i = x + -16. Is 11 a factor of i?
False
Is (-8931)/(-12) + 9/(-36) a multiple of 62?
True
Let p(j) = -2*j**3 - 9*j**2 - 2*j. Let c be p(-7). Let w = c - 45. Is 43 a factor of w?
False
Suppose 2*y + 3*y = 15. Let l be 2 - (-2 + -1 + y). Suppose 4*s = -3*b + 255, l*s + 3*b = -0*s + 123. Does 33 divide s?
True
Let i be (3/2)/((-10)/(-20)). Let x be -6*1/(0 - i). Suppose t + 23 - 84 = -3*p, 0 = x*p + t - 39. Is p a multiple of 18?
False
Let n be -2 - (-8 - (-1 + -3)). Suppose 8*g = 7*g + 2*s + 177, 0 = n*g - 2*s - 348. Is 19 a factor of g?
True
Suppose 3*a - 35 = 70. Let g = 59 - a. Suppose 3*x - g = -5*s, -3*s = -0*s. Is x even?
True
Let d = 3801 - 2806. Does 36 divide d?
False
Let f = 23 + -21. Suppose -5*g + 128 = -0*g + f*m, 2*g = -m + 51. Is g a multiple of 13?
True
Suppose -a - 20 = -5*u, -23 = -u - a + 5*a. Suppose -u*s - 16 = s, -4*d - 3*s = 0. Suppose c = q - 71, -d*q = 2*c + 2*c - 192. Does 17 divide q?
True
Is (2 + 0)/(-1 + -5)*-915 a multiple of 3?
False
Suppose 2*j + 3*j - 4*n - 200 = 0, 0 = -4*j + n + 160. Let v = j - 29. Let z(w) = -w**3 + 11*w**2 + 4*w + 12. Does 12 divide z(v)?
False
Does 53 divide (-1)/(-5)*(58 - -12397)?
True
Let j be ((12/7)/3)/((-4)/(-14)). Suppose -j*x + 297 = x. Does 33 divide x?
True
Is 17/4 - 4 - (-1917)/12 a multiple of 22?
False
Let p(d) = 5*d - 6. Let t be p(2). Suppose 0 = y + t*k - 176, -2*k + 195 = 3*y - 293. Is y a multiple of 40?
True
Let i(n) = -3*n**3 - 5*n**2 - 11*n - 56. Let k(l) = -l**3 - 2*l**2 - 4*l - 19. Let u(m) = -3*i(m) + 8*k(m). Let v be u(0). Does 9 divide 2*2/(v/36)?
True
Suppose 15 = -5*d + 5*s, 0*d + 4*s - 21 = -5*d. Is 40/6*(d - 1/(-2)) a multiple of 3?
False
Is 85 a factor of 897520/440 - (1 - (-26)/(-22))?
True
Let o(i) = 13*i**2 + 19*i + 138. Is 12 a factor of o(-8)?
False
Let d(x) = 6*x**3 + 3*x**2 - x + 5. Let f(w) = 5*w**3 + 3*w**2 + 5. Let h(n) = 4*d(n) - 5*f(n). Is h(-4) a multiple of 27?
True
Let z(b) = -6*b - 20. Let l be z(-4). Suppose -51 = -n - n - m, -l*n - 3*m + 105 = 0. Is n a multiple of 24?
True
Let g(f) = 4*f**3 + 5*f**2 - 3*f - 6. Let v be g(4). Suppose 5*l - v = -0*l + 4*z, 5*l = -4*z + 342. Does 33 divide l?
True
Let l(f) = f**3 - 19*f**2 + 17*f + 21. Let o be l(18). Suppose -4*j + o*j - 165 = -2*m, 15 = -5*j. Is 20 a factor of m?
False
Let i(z) = -40*z**3 + 2*z**2 - z. Let s be i(1). Let g = 68 + s. Let f = -20 + g. Is f a multiple of 9?
True
Let k(r) = 2*r - 3. Let v be k(0). Let f be 10 + -6 + v + 1. Suppose 13 = f*c - 35. Does 8 divide c?
True
Suppose -28 - 62 = -g + 3*i, 0 = -g - i + 106. Is g a multiple of 10?
False
Suppose -4*i - 5*m = -2999, 3*m + 20 = -m. Is 18 a factor of i?
True
Suppose -48 = s - 6. Let m be ((-72)/s)/((-6)/189). Is 8 a factor of m/(-2)*3/9?
False
Let l(h) = -h**3 + 16*h**2 - 16*h + 19. Let t be l(15). Suppose -d + 197 = d + 5*p, t*p = -20. Is 15 a factor of d?
False
Let n(c) = -c**3 - 5*c**2 + 3*c - 12. Let o be n(-6). Suppose 5*t = -3*k + 42, 3*t - o*k = -3*k + 30. Does 9 divide t?
True
Let z = -13 + 16. Suppose -z*h + 0*l - l = -29, l - 19 = -2*h. Is ((-1)/2)/(h/(-1420)) a multiple of 13?
False
Let n(a) = 45*a**2 + 23*a + 214. Is n(-9) a multiple of 13?
False
Suppose -4*r + 5*a = -1899, -4*a - 480 = -r - 8*a. Does 14 divide r?
True
Let a = -1780 - -3370. Does 10 divide a?
True
Let d = 7 + -5. Suppose -3*s + 2*q + 88 = -2*q, 0 = -d*s - 3*q + 87. Is s a multiple of 6?
True
Suppose d = 5*o + 7, 0 = -5*d - 0*d + 2*o + 12. Suppose 4*y = -3*f + 44, -3*f + d*y - 2 = -2*f. Suppose 2*l - 22 = -2*n, l - 1 = 2*n - f. Is 3 a factor of n?
True
Suppose 2*r - h = 6*r + 3008, 4*r = -2*h - 3008. Suppose 0 = 5*k + 5*o - o - 22, -4*k + o + 26 = 0. Does 31 divide (k/(-4))/(24/r)?
False
Let v(m) = 8*m - 13. Let l be v(-7). Let u = -21 - l. Is u a multiple of 8?
True
Let s(c) = -4*c**2 - 17*c + 18. Let v(p) = -21*p**2 - 84*p + 89. Let g(r) = -11*s(r) + 2*v(r). Let u be g(-15). Suppose -d = 4*d - u. Is 11 a factor of d?
False
Suppose 2*k - 605 = 5*n, -2*n = 6*k - k - 1556. Is 3 a factor of k?
False
Let o be 0 + 467/(-5) + 2/5. Let s = o + 161. Is 34 a factor of s?
True
Suppose 103 = 2*h + 4*l - 7*l, 3*l - 47 = -h. Does 50 divide h?
True
Suppose 48*g - 68385 = g. Is 97 a factor of g?
True
Let d = 1114 + -324. Is d a multiple of 79?
True
Let v(z) = 3*z**3 - 7*z**2 - z + 15. Is 10 a factor of v(5)?
True
Let a(v) = -v**3 + 11*v**2 + 2*v - 18. Does 6 divide a(6)?
True
Suppose y + 21 = 5*h, 7 = -0*y - 2*y + 3*h. Suppose -2*q - 198 = -y*d, -3*d - 4*q - 196 = -7*d. Is d a multiple of 20?
False
Suppose 5*b - 20*b = -2025. Does 9 divide b?
True
Let c(p) = 2*p - 2. Let l be c(3). Suppose l*x = 9*x - 105. Does 4 divide x?
False
Suppose -4*p + 300 = -804. Suppose -4*m + 17 + p = -3*i, -2*i = -3*m + 220. Does 11 divide m?
False
Suppose 22*b = 25*b - 2*l - 1344, 0 = b + 3*l - 448. Is b a multiple of 32?
True
Suppose 7*m - 152 = 3*m. Suppose -4*n - m = -6*n. Is 19 a factor of n?
True
Suppose 3*v + 11 = 20, 0 = j - 4*v - 416. Does 40 divide j?
False
Does 69 divide 3019/4 - -4 - 3/(-12)?
True
Suppose 4*u = 5*u - 5. Suppose -u*o = -2*n - 23, -2*n - o = 2*n + 57. Let r = -8 - n. Is 6 a factor of r?
True
Let z = -2249 + 3242. Does 31 divide z?
False
Suppose 160 = 3*p - 5*f, -p + 5*f + 50 = -0*p. Suppose -6*x = -p - 59. Suppose -267 = -4*i - x