uppose -5*x - 4*t + 29 = 0, 0*t = 5*x - 5*t - 65. Suppose -5*w + 5*b = -300, 3*b - 51 - x = -w. Does 15 divide w?
True
Let t(h) = -2*h - h + 6*h**2 + h + 11*h**2 + 1. Is t(-1) a multiple of 4?
True
Let j = -32 - -51. Let k = j + 92. Is 37 a factor of k?
True
Suppose -10*z + 7*z = -18. Suppose -148 = z*p - 778. Is p a multiple of 21?
True
Let x(u) = u**3 + 19*u**2 + 31*u - 37. Let t be x(-17). Does 16 divide (((-16)/(-20))/(-2))/(t/(-3535))?
False
Let n be -3*25*(-4)/(-12). Let j = 14 + n. Let t = 20 + j. Is t a multiple of 9?
True
Let g(j) = -5*j**3 + 2*j**2 + 5*j + 17. Let x(r) = -6*r**3 + 3*r**2 + 6*r + 18. Let y(n) = 7*g(n) - 6*x(n). Is 11 a factor of y(6)?
True
Let p(n) = 7*n - 9. Let u be (26/(-4) - -2)*-2. Does 27 divide p(u)?
True
Let s(v) = v**2 - 13*v - 29. Let f be s(15). Let m(j) = 176*j. Does 44 divide m(f)?
True
Let q be (-4)/(-6)*(-117)/(-6). Suppose 3*l - q = 17. Suppose l = z - 2. Is 3 a factor of z?
True
Let x(i) = -6*i**3 - 3*i**2. Is x(-2) a multiple of 12?
True
Let s(l) be the first derivative of l**2/2 + 6*l + 4. Let v be s(7). Suppose 0 = 5*j - 3*h - 40, 2*h - v = 3*j - 37. Is j a multiple of 4?
True
Let m be ((-2)/4)/((-2)/(-188)). Let r = m - -79. Is 11 a factor of r?
False
Suppose 4*q = -3*w + 8148, 3*w + 16*q - 18*q = 8130. Does 24 divide w?
True
Suppose -10 = -2*k + 4*j, -3*k + j + 31 = -j. Let x = k + -9. Suppose m + 4*i = 42, 0 = -i - x*i + 15. Is 15 a factor of m?
True
Suppose 5*w - 1000 = 4*c, -2*w + 779 = 2*w + c. Does 14 divide w?
True
Let v(j) = -j**2 - 5*j - 4. Let g be v(-3). Suppose 0*q - 4*q = 0. Suppose q = 3*k - g*k - 5*a - 109, 405 = 5*k + 3*a. Is k a multiple of 24?
False
Let u(p) = 5*p + 1. Let t(a) = 6*a. Let y(z) = -2*t(z) + 3*u(z). Let k be y(0). Suppose n = 3*h - 25, -k*n = 4*h - 60 + 5. Is h a multiple of 10?
True
Let l = -93 - -221. Suppose 3*k = l + 79. Does 23 divide k?
True
Suppose 5550 = 14*p - 4*p. Is p a multiple of 15?
True
Let d(q) = q**3 - 13*q**2 - 19*q - 18. Is 56 a factor of d(16)?
False
Let x = 245 + 180. Let k = x - 215. Is 47 a factor of k?
False
Let z = 743 - 527. Suppose -2*v + z = -i, -i + 324 = 3*v - 4*i. Suppose -v = 4*d - 6*d. Does 18 divide d?
True
Suppose 0*n - 3*n - 2*c = -2, -2*c = 5*n - 2. Suppose 2*i = -h + 89, n*h - 5*h + 419 = -3*i. Does 14 divide h?
False
Let i(m) = -m**2 + 0*m + 14 + 15*m - 3*m. Is 8 a factor of i(11)?
False
Let v(f) = 2*f**2 + 11*f + 14. Let i = 11 + -17. Let p be v(i). Does 2 divide 14*(p/(-8) - -3)?
False
Suppose -4*n + 41 = -5*y, -33 = -2*n - 2*y + 7*y. Let c(g) be the third derivative of g**4/12 + g**3/3 + 18*g**2. Is c(n) a multiple of 4?
False
Let o(q) be the second derivative of 0 + 1/20*q**5 + 9*q - 1/6*q**3 - 1/4*q**4 + q**2. Does 30 divide o(5)?
False
Let b(y) = -11*y + 8. Let n be b(-11). Suppose 0 = -5*x + 4*q + 143, 5*x - n = -q + 4. Is x a multiple of 15?
False
Let n = -26 + 28. Suppose 4*z = n*z. Suppose -4*w - 4*x + 84 = z, 64 - 4 = 2*w - 4*x. Is 12 a factor of w?
True
Let m be (-11)/22 - 9/(-2). Suppose -j = -m*u + 331, 2*u - 3*j + 169 = 4*u. Does 21 divide u?
False
Let c = -16 + 18. Suppose -c*v = -v + 8. Let k(l) = -5*l - 8. Is k(v) a multiple of 6?
False
Let o be ((-104)/(-6))/(16/24). Let h be (-8)/(-28) + o/7. Suppose 56 + 220 = h*n. Is 22 a factor of n?
False
Let k be (-10)/(-2 - -7) - -7. Suppose -74 = -d + k*w, w = -w + 6. Is 16 a factor of d?
False
Let g(n) be the third derivative of 0*n - 6*n**2 - 1/60*n**5 - 11/24*n**4 - 1/6*n**3 + 0. Does 14 divide g(-8)?
False
Suppose -7*w + 5376 = -w. Suppose 10*d - 6*d = w. Is 28 a factor of d?
True
Let d(s) = -5 + 4*s + 1 - 5 - 4. Suppose 0 = -2*o - 2*o + 44. Is 25 a factor of d(o)?
False
Let s = 578 + -575. Let n = 0 + 0. Suppose w - 2*z - 124 = n, -8*w + s*w + 599 = -3*z. Is 13 a factor of w?
False
Is ((-1870)/(-15))/((-2)/(-24)) a multiple of 96?
False
Suppose -7*n - 270 = -12*n. Let r(k) = -2*k**3 + 2*k**2 + 4*k - 3. Let h be r(3). Let y = h + n. Does 12 divide y?
False
Let f be (-840)/(-18) + (-4)/6. Suppose 0 = -6*b + 4*b + f. Suppose 2*m = b + 39. Is 30 a factor of m?
False
Let t(f) = -16*f + 364. Does 28 divide t(0)?
True
Suppose 4852 = 4*k - 2*k - 2*s, 4*k + 5*s - 9722 = 0. Is k a multiple of 26?
False
Suppose -6*g + g = -25. Suppose -5*m = 4*h - 11, -g*h - 8 = -2*m - 3*h. Is 14 a factor of (m/(-2))/((-3)/40)?
False
Let b(o) = 0 + 8*o + 5 - 3*o. Let h(q) = -14*q - 16. Let g(c) = -8*b(c) - 3*h(c). Is g(0) a multiple of 8?
True
Let t = 33 + -18. Is (51/9 + -3)*t a multiple of 10?
True
Suppose 0 = 3*v - 8*v + 50. Let o be 8*(-5)/(v/(-7)). Let u = 8 + o. Is 12 a factor of u?
True
Let h be (-16)/(-12) + 4/6. Suppose 4*q - h*q - 3*o = 11, 2*q = -4*o + 4. Is 82/q - (-4)/(-8) a multiple of 11?
False
Let j(q) = 2 - 10*q + 4 - q**2 + 8. Is j(-8) a multiple of 11?
False
Let i = 99 + 258. Suppose 10*w + i = 13*w. Suppose -3*k - 35 = -w. Is k a multiple of 14?
True
Let y(i) = -37*i - 1. Let n be y(-1). Let c be (n/4)/3 + 1. Suppose 6*q = 2*q + 4*r + 24, -45 = -c*q - 3*r. Does 4 divide q?
False
Let n = 149 + -35. Is 9 a factor of n?
False
Let s(a) = 17*a + 21. Let x be s(9). Suppose 0 = c + w - 58, 2*w = 3*c + 4*w - x. Is 26 a factor of c?
False
Let a(c) = -33*c - 39. Does 3 divide a(-2)?
True
Suppose -2*q = 3*h - 3077, -3*h = -4*q + 2*q - 3073. Is h a multiple of 11?
False
Suppose 0 = -7*g + 446 - 68. Suppose 56*v - 192 = g*v. Is v a multiple of 12?
True
Is 38*(-15)/12*36/(-30) a multiple of 16?
False
Suppose 5*x - 5*b - 4940 = 0, -2*x = 12*b - 11*b - 1961. Is 11 a factor of x?
False
Let s(h) = 83*h - 32. Is s(5) a multiple of 10?
False
Let h be 22/(-4) - (-1)/(-2). Does 20 divide h/((-18)/(-15))*-7?
False
Let z = 1096 + -640. Is z a multiple of 6?
True
Suppose -5*n + n + 16 = 0. Suppose -3*h = -2*h - n. Suppose -4*d + 280 = -h*j, 5*d + 2*j - j = 326. Is d a multiple of 17?
False
Let t be (-5 + (-114)/(-15))/(2/10). Suppose 3*x = t*x - 150. Is x a multiple of 5?
True
Let m(b) = -2*b**2 + 9*b - 15. Let o be m(3). Let k(u) be the first derivative of -u**4/4 - 5*u**3/3 + 3*u**2 + 6*u + 1. Does 5 divide k(o)?
False
Let o = 456 - 50. Does 6 divide o?
False
Let g be (0 + (-2)/1)/(20/(-310)). Let m = 8 + g. Is m a multiple of 13?
True
Suppose 6*t + 14 = 110. Let u(r) = 3 - t + 3 + 4*r. Does 14 divide u(6)?
True
Let b(p) = 63*p - 261. Is b(15) a multiple of 57?
True
Suppose 3*k - 3 + 21 = 0. Let q = 9 + k. Suppose -b = -3*d - 3, q*d + 34 = 5*b + 7*d. Does 6 divide b?
True
Suppose -2*m + 2*c = -2*c - 878, -m - 3*c = -449. Is m a multiple of 17?
False
Suppose 1969 = -3*s + 2347. Is 7 a factor of s?
True
Let a(z) be the first derivative of -z**7/840 + z**6/180 + 8*z**3/3 - 9. Let p(i) be the third derivative of a(i). Does 4 divide p(-2)?
True
Let n(y) = y**3 + 10*y**2 + 9*y - 1. Suppose -18 = 4*q - 2*q. Let w be n(q). Does 6 divide (-2)/(w*4/60)?
True
Let j(l) = l**3 + 12*l**2 + 11*l - 7. Suppose 0 = 4*p - 6*p - 22. Let o be j(p). Let f = -1 - o. Is f a multiple of 5?
False
Let t(g) = g**3 + 11*g - 12. Is t(9) a multiple of 51?
True
Suppose 6*r = -2*r. Suppose -5*t - 37 + 552 = r. Is 23 a factor of t?
False
Let j(a) = a**3 - 3*a**2 + 34*a + 10. Does 23 divide j(6)?
True
Is (6/(-10))/((-183)/25925) a multiple of 5?
True
Does 22 divide (-45)/60 + (-7574)/(-8)?
True
Suppose -d - 4*b + 57 = 0, -5*b + 137 = 3*d - 13. Let j = d - 21. Is 4 a factor of j?
True
Suppose 5*t = z + 14, -3*t + 5*z + 23 = -3. Suppose 0 = -t*g - 2, 5*w + g + 2 = -4. Let o(v) = -24*v**3 + 1. Does 13 divide o(w)?
False
Suppose -2*j - 4*c - 8 = 0, 0*j - j = 5*c + 16. Suppose 0 = -j*y - 4*m + 216, 2*y - 3*y + 62 = 3*m. Is y a multiple of 40?
False
Suppose -5*g + g - 228 = 0. Let l = g + 87. Is l a multiple of 5?
True
Let g(d) = -10*d + 10. Let l be g(8). Let w(p) = p**3 - 16*p**2 + 7*p - 12. Let c be w(15). Let h = l - c. Is 14 a factor of h?
False
Let h be (2 - (0 + 5))*-1. Suppose -4*i - 2*z + 22 = 0, -h*i - 2*i - 3*z = -30. Suppose -i*u = -2*u - 14. Is 14 a factor of u?
True
Let r(g) = -6*g**2 - 3*g + 7*g**2 - 5*g**2 + 7 - 10*g**2 - g**3. Is 16 a factor of r(-14)?
False
Let q = -18 - -15. Let p be 1*q - (-8 - -3). Does 16 divide (-4 + 2)/(p/(-29))?
False
Suppose 0 = 78*i + 14*i - 68540. Does 31 divide i?
False
Suppose -o + 45 = -0*u + 4*u, 5*u = -25. Let p = 2 - o. Let n = -45 - p. Does 9 divide n?
True
Let g(r) = 26*r**2 -