4 divide m?
True
Suppose -1 - 11 = -3*c. Let h be (-6)/33 - c/(-22). Suppose -100 = -h*n - 2*n. Is 25 a factor of n?
True
Let g(m) = 8*m**2 - 2*m - 3. Let d(t) = -7*t**2 + t + 2. Let w(j) = -5*d(j) - 4*g(j). Is 5 a factor of w(3)?
False
Let z be 3/(((-8)/4)/(-2)*-1). Is z + (-573)/(-3) - -3 a multiple of 23?
False
Let d be -1 + 2/1 - 0. Let f be 194 - -1 - (d + 2). Suppose f = 3*c + 60. Is 22 a factor of c?
True
Suppose 0*s + 5*s = -p + 18, p - 9 = -2*s. Let j be (-448)/(-12) - (-2)/p. Let x = -16 + j. Does 22 divide x?
True
Does 10 divide (-19 - 6)*(-1 - (-295)/(-25))?
True
Let v = 1753 - 1458. Is 12 a factor of v?
False
Is 19 a factor of (1197/6)/(3/(-6) - -1)?
True
Let c = 1329 + 5610. Does 14 divide c?
False
Let m(g) = 2*g**2 - 12*g - 8. Let v(y) = 2*y**2 + 2*y - 5. Let i be v(-3). Is m(i) a multiple of 2?
True
Let y be 14/(3 + 80/(-25)). Let l = 149 + y. Is 22 a factor of l?
False
Suppose 0 = -o + v + 4, -o + 0*o - v = -12. Suppose -o*n + 385 = -3*n. Is 10 a factor of n?
False
Suppose 5 = 5*q + 5*u, -2*u - 15 = -3*q - u. Suppose -160 = -q*y - 20. Is y a multiple of 10?
False
Suppose -o - 4 = -5. Let m(h) = 3*h + 1. Let j(t) = 2*t. Let y(q) = 18*j(q) - 2*m(q). Is y(o) a multiple of 7?
True
Let c = 27 - 24. Suppose 4*z = z + 123. Suppose z = 4*n - c*n. Does 11 divide n?
False
Let t = 245 - -231. Is 34 a factor of t?
True
Let i(h) be the second derivative of -h + 0 + 1/20*h**5 - 1/4*h**4 - 4/3*h**3 + 5*h**2. Is i(5) a multiple of 7?
False
Let g(x) = 8*x**2 + 12*x - 5. Let y be g(5). Let k = -76 + y. Does 12 divide k?
False
Let i = 9 - 36. Let r(g) = 15*g**2 + 31*g - 5. Let m be r(-3). Let c = m + i. Is 7 a factor of c?
False
Let y be (2/3)/(16/(-24))*-281. Let i = y - 143. Is i a multiple of 46?
True
Suppose 1506 = -60*k + 66*k. Is 24 a factor of k?
False
Let x(k) = 2*k**3 + 5*k**2 - 2. Let v be x(-4). Let a(q) = 3*q**2 + 10*q + 7. Let g be a(-7). Let h = v + g. Is h a multiple of 34?
True
Let i(r) = r**2 - 9*r + 3. Let c(s) = 3*s + 12. Let k be c(-6). Let f = k - -17. Is i(f) a multiple of 10?
False
Let o = 5 + -1. Suppose o*d - 28 - 32 = 0. Does 6 divide d?
False
Let v = 14 - 94. Let j be 19/4 + (-20)/v. Suppose 61 = 4*c - q - j, -5*c = 4*q - 93. Is 6 a factor of c?
False
Suppose 4*l - 8*l = -40. Does 39 divide 2 - (136/l)/(2/(-30))?
False
Suppose -6659 - 96 = -7*y. Is y a multiple of 14?
False
Suppose -s = 559 - 628. Is s a multiple of 38?
False
Suppose 4 = 6*i - 50. Is 12 a factor of 19/9*25 - (-2)/i?
False
Let m(n) = -n**3 + 17*n**2 + 142*n - 25. Is 13 a factor of m(22)?
False
Suppose 0 = -7*u + 11 + 94. Suppose u*y - 1716 = 4*y. Does 12 divide y?
True
Suppose 5*m - 82 = -4*p, -5*p - m - 117 = -10*p. Let w = p + 5. Let j = w + -12. Is j a multiple of 8?
True
Let y(m) = 79*m + 665. Does 109 divide y(4)?
True
Let k be 10 - (1 + -3 - -4). Let t(n) = k*n - 6 + 2 - 6. Is 13 a factor of t(4)?
False
Is ((-3)/9)/(-1) + 1676/3 a multiple of 36?
False
Suppose -9*c + 1204 = -2*c. Let l be (-103)/(-1*(-3)/(-3)). Let w = c - l. Is w a multiple of 23?
True
Suppose 142 + 43 = 5*o. Let m = o - -29. Let z = m - 40. Is 13 a factor of z?
True
Let q(f) = f + 23. Let s be q(11). Suppose n - s = -3*z + 1, -2*n + 74 = 5*z. Is n a multiple of 7?
False
Suppose 5*d - 24 = 1. Suppose -v = 1, -71 = -0*i + d*i + v. Let r = 50 + i. Is r a multiple of 12?
True
Suppose -31*b = -29*b - 30. Suppose 2*p - b - 59 = 0. Is p a multiple of 21?
False
Let o(x) = 4*x**2 - 5*x + 1. Let t be o(2). Suppose -4*c + 0*c = -28. Does 16 divide (-2)/t - (-338)/c?
True
Suppose -11790 = 3*w - 6*w + 4*b, 3*b = 4*w - 15720. Is w a multiple of 110?
False
Let f(s) = 14*s - 1. Let n be f(-8). Let j = -76 - n. Let y = j + 7. Is y a multiple of 11?
True
Suppose 20*o - 17*o = 21. Let u(w) = -w**3 + 6*w**2 + 8*w. Does 7 divide u(o)?
True
Suppose 31945 - 10678 = 17*z. Does 9 divide z?
True
Suppose -b = -5*o + 15, -3*o - 3*b - 7 - 2 = 0. Let u = 50 + -4. Suppose -o*k + 3*k = u. Is 12 a factor of k?
False
Let l(p) = -23*p + 1. Let w(v) = 22*v - 1. Let g(f) = 5*l(f) + 4*w(f). Let k = -40 - -39. Is 28 a factor of g(k)?
True
Is 17 a factor of 900/105*14/4?
False
Let t(v) = 8*v - 1. Let b be t(1). Let j(r) = -5*r - 5 - 1 + r**2 + 2. Is j(b) a multiple of 4?
False
Is 45747/26*28/21 a multiple of 12?
False
Suppose -4*t + 827 = c - 429, 4*c = 2*t - 646. Is t a multiple of 45?
True
Is 2 a factor of 332 + (-32)/(-4) + 6*-1?
True
Let t(g) = g**2 + 14*g + 10. Let f be t(-12). Let v = f - -15. Is 5 a factor of -1 + v - 0 - -15?
True
Suppose -17*t = -12*t - 10. Is ((-3)/18*t)/((-2)/510) a multiple of 18?
False
Does 6 divide ((-134)/(-12))/(10/60) - -3?
False
Suppose 3*a - 2*a - 10 = -p, 0 = -2*p - a + 16. Suppose -4*s + 66 = -p. Is s a multiple of 9?
True
Let s be (-2 + 30)*1/2. Let t = 4 + s. Suppose 3*m - t - 84 = 0. Is m a multiple of 7?
False
Suppose -2*l = -2*r - 6, -5*l + 0*l + 5 = 0. Let m be ((-8)/(-10))/(r/(-5)). Suppose 62 = x - 4*y, -8 - 86 = -2*x + m*y. Does 21 divide x?
True
Let n(f) = -18*f - 18. Let k be n(-5). Let z = -29 + k. Is 43 a factor of z?
True
Let g(u) = 4*u**3 + u**2 + 10*u - 20. Let v be g(3). Let s = v + -73. Is s a multiple of 13?
False
Let k = -406 - -424. Is k a multiple of 2?
True
Suppose -6338 = 5*f - 1643. Let x be (-1)/4 - f/12. Does 11 divide 2/13 - (-4590)/x?
False
Suppose -d - 407 = -x, -3*d - 2 = -5*d. Does 51 divide x?
True
Let t = 429 + -826. Let w = -267 - t. Is w a multiple of 10?
True
Suppose -2*r + 5*f = -76, -4*r + 4*f = -70 - 58. Let n = r - 1. Suppose n = -4*w + 219. Is 15 a factor of w?
False
Suppose -5*p - 32 = 3*t, -t = -6*t - 3*p - 32. Does 8 divide (-48)/(3*t/32)?
True
Is 8 a factor of ((-1936)/55)/(77/(-25) + 3)?
True
Let j(q) = 62*q**2 + 21*q - 4. Is 52 a factor of j(-8)?
True
Suppose 0 = -3*h - z + 2053, 0*h + 2739 = 4*h + z. Is 18 a factor of h?
False
Let s be -50*(-2 - 64/5). Suppose 16 = 4*q, 4*p - 3*q + q = s. Does 17 divide p?
True
Let t(m) = m**3 + 12*m**2 - 12*m - 10. Let i be t(-8). Suppose -11*k + 8*k = -i. Is k a multiple of 33?
False
Let o(x) = -13*x**2 + 2*x - 73. Let j be o(-13). Is 13 a factor of ((0 + -1)*1)/(56/j)?
False
Let v(k) = 3*k**3 + 46*k**2 + 17*k - 76. Let p(d) = -2*d**3 - 31*d**2 - 11*d + 51. Let r(f) = 7*p(f) + 5*v(f). Is r(-12) a multiple of 3?
False
Let t(h) = -75*h + 85. Is 10 a factor of t(-11)?
True
Suppose -d + 19 = -4*s, -2*s + 8 = -0*s. Suppose 455 = 5*k + d. Is k a multiple of 14?
True
Let h(j) = -7*j**3 - j**2 - j. Let l be (-4)/6 - 10/30. Let v be h(l). Is (v/21)/(1/6) a multiple of 2?
True
Let q = -5 - -538. Does 44 divide q?
False
Let m be (-4)/((-80)/988) + 4/(-10). Let u(a) = 3*a + 2. Let n be u(9). Let h = m - n. Does 5 divide h?
True
Let s = -149 - -497. Does 18 divide s?
False
Suppose -3*p + n = -342, 21*p - 19*p = -n + 223. Does 17 divide p?
False
Let i = 10 - 7. Let c be i/9 + (-22)/(-6). Suppose -c*p = -f - 42, -2*p + 3 + 23 = -3*f. Is 5 a factor of p?
True
Let q = -715 - -1742. Does 79 divide q?
True
Let o be (-1)/2 - 2/(-4). Suppose -4*n + 30 - 10 = o. Let u(y) = 6*y + 7. Is u(n) a multiple of 10?
False
Suppose -11 - 9 = -2*z. Let p(g) = g**3 - 8*g**2 - 14*g. Is p(z) a multiple of 20?
True
Let g = 1678 + -1125. Is g a multiple of 15?
False
Let v be ((-117)/(-12))/(6/16). Let j = v - 16. Let o(g) = -g**2 + 10*g + 9. Is o(j) even?
False
Let s(o) = 2*o**3 + 2*o**2 + 7*o + 15. Let g be s(-4). Let j = 156 + g. Does 20 divide j?
False
Let p(i) = 15*i - 135. Let y be p(9). Suppose -4*h = -5*v + 39, -2*h = -6*v + 2*v + 24. Is 10 a factor of 40/h*(y - 3)?
True
Let v = 67 + -21. Suppose -2*q + 83 = 3*m, q + 4*m = m + v. Is q a multiple of 10?
False
Let n = 13 - 9. Suppose 47 = n*x + 3*m, 0 = -x - 2*x + m + 45. Is 8 a factor of x?
False
Let v be 6 - (4 + -1 + -1). Suppose 3*c + 26 = -l + 3*l, 0 = v*l + 2*c - 20. Is 2 a factor of l?
False
Let t(o) = -o**3 + 4*o**2 + o - 7. Let p be t(4). Is 3 a factor of 3/(-6)*(p + -9)?
True
Let d be (-28)/(-10) - (-19)/95. Let u(k) = 2 - 2*k**3 + 3*k + k**3 - 5*k**3 - 5*k**d. Does 6 divide u(-1)?
False
Does 3 divide 119 + 4/8*-2 + -2?
False
Let c = -150 + 220. Suppose 0*l + i + 66 = 4*l, -5*l + c = 5*i. Is 8 a factor of l?
True
Suppose -3*w = -2*t + 4*t - 4, -5*t = 2*w + 12. Suppose -3*u + 3*m = -6*u + 33, 0 = u + w*m - 5. Does 3 divide u?
False
Suppose -3*u + 21 = 4*u. Suppose 0 