e
Suppose g + 12 = 3*g. Let u be 3/2*(-4)/g. Does 13 divide ((-13)/(-4))/(u/(-4))?
True
Let c(l) = -l**2 + l. Let n be c(3). Let y(v) = -14*v + 2. Is 27 a factor of y(n)?
False
Let s(u) = -6*u + 7. Let v be s(-6). Suppose -4*t + 69 = -v. Does 7 divide t?
True
Let u be 4/(-3)*(-6)/4. Suppose u*p + 28 = 3*p. Is 14 a factor of p?
True
Suppose 35 = -6*l + l. Let n = l + 11. Suppose n*v - 9 - 15 = -4*q, 3*q = v - 22. Is 10 a factor of v?
True
Suppose m - 145 = 5*p, 0 = 2*m + p - 251 - 39. Suppose 5*n + 3*x = -0*n + 349, 2*n - m = -3*x. Let i = -43 + n. Is i a multiple of 9?
False
Suppose -3*t - 3 = -9. Suppose u = 3*l + 148, 2*u - 559 = -t*u + l. Suppose -u = -4*g - 51. Is g a multiple of 11?
True
Suppose 1 - 2 = -h - n, 4*n = -4. Suppose h*i + 0*i = 4*m, -8 = -2*i + 2*m. Is 4 a factor of i?
True
Let s(w) be the first derivative of -w**4/4 + 10*w**3/3 - 7*w**2/2 - 4*w + 4. Let r be s(9). Let g = r + -8. Does 3 divide g?
True
Let r = 111 + 9. Does 24 divide r?
True
Suppose 3*i + 5*v + 5 = 0, 0 - 4 = -3*i + 4*v. Suppose -4*u + 22 - 6 = i. Suppose 2*z + 0*z = -u, 2*f - 24 = 4*z. Is f a multiple of 3?
False
Suppose 4*x + f + 88 = -f, -x - 4 = 5*f. Is -3*(x + 3)/1 a multiple of 25?
False
Suppose 0 = o - 5*o + 168. Does 14 divide o?
True
Let c(k) = k - 7. Let f be c(7). Suppose f*b = -b - 4. Let p = b - -10. Is 4 a factor of p?
False
Let w be (-6)/(-33) - 2/11. Suppose w = 2*x + 2, 2*v - 7*v = -2*x + 28. Is (-12)/10*80/v a multiple of 8?
True
Let v(w) = w**3 - 6*w**2 - 6*w - 5. Let i be v(7). Suppose -n + 11 = i. Does 9 divide n?
True
Let g(v) = 7*v**2 + 6*v**3 - 2*v**2 - v - 3*v**2. Suppose -3*k = 3*p - 10 - 8, 5*k - 22 = 3*p. Is g(p) a multiple of 7?
True
Suppose -t - 3*m + 2 = 0, -2*m + 8 = 2*t - 0*t. Suppose -27 = -t*r + 8. Suppose 2*y = -4*k + 72, -3*k + r*y - 2*y + 28 = 0. Does 7 divide k?
False
Suppose 106 = 2*z + 2*u, 0*z - 45 = -z + 3*u. Is 17 a factor of z?
True
Let g(n) = n + 14. Let f be g(-10). Suppose 3*o + 3*i - 84 = 0, 35 = f*o + i - 92. Does 11 divide o?
True
Suppose -772 = -4*g + 2*t, 3*g + 4*t - 601 = -0*g. Is g a multiple of 15?
True
Suppose -9 = w - 26. Is w a multiple of 17?
True
Let d(p) = p - 3. Let o be d(4). Let l be o - -1 - 0/2. Suppose -l*q - 24 = -58. Is q a multiple of 17?
True
Suppose -14 = -2*l + 62. Is 19 a factor of l?
True
Suppose -5*l + 20 = 0, l = 2*o - 3*l - 84. Is o a multiple of 15?
False
Let j(v) = v**2 + 8*v - 3. Does 9 divide j(-12)?
True
Suppose 4*f - 20 = 4*x, -x = -4*f + 2*x + 22. Let c(h) = h**3 - 7*h**2 + h - 8. Let v be c(f). Does 4 divide -2 - (11*v + -2)?
False
Suppose -s + 3*s = -2*y + 12, 0 = 4*s + 5*y - 24. Let m(p) = p**3 - 4*p**2 - 4*p - 2. Does 12 divide m(s)?
False
Let u = -156 - -351. Is 13 a factor of u?
True
Let t(l) = 11*l**2 - 2*l + 2. Let i be (-30)/20*4/(-3). Is 14 a factor of t(i)?
True
Suppose 168 - 60 = 4*s. Does 9 divide s?
True
Let t(l) = l**2 + 6*l - 6. Let n be t(-5). Let j = n + 15. Is j a multiple of 2?
True
Let w be (384/(-9))/((-3)/9). Suppose p - w = -3*p. Does 16 divide p?
True
Suppose -5*g = -0*g - 20. Let f(a) = 0 + 0*a + 2 + 4*a. Does 17 divide f(g)?
False
Let z(y) = 83*y + 1. Does 14 divide z(1)?
True
Suppose 4*v + 3*m = 4*m + 7, -3*m = 4*v - 27. Suppose -v*y + 12 = -24. Is 7 a factor of 18/y*28/3?
True
Suppose -4*a + 97 + 151 = 0. Is 11 a factor of a?
False
Let z(n) = n**3 - n**2 - n - 7. Let i be z(0). Let f = 3 + i. Let q(j) = -j**2 - 8*j. Does 8 divide q(f)?
True
Does 9 divide 89 + 5 + 0 + -1?
False
Let a(p) = p**3 + p**2 - p - 3. Let c be a(0). Let n(i) = i**3 - 3*i**2 - 6*i - 6. Let s be n(-5). Does 15 divide (2 + s)*1/c?
False
Suppose -4*u - 2*w = -188, 90 = 3*u - u + 3*w. Is 8 a factor of u?
True
Is (-19*(-1)/(-2))/(56/(-784)) a multiple of 5?
False
Suppose 4*q = -b - 1, -2*b + 4*q + 8 = -2. Suppose -3*g + 5*j = g - 104, b*g = -j + 59. Does 16 divide g?
False
Let u = -23 + 21. Is 9 a factor of ((-6)/(-9))/(u/(-180))?
False
Let v(u) = 8*u - 32. Is 8 a factor of v(6)?
True
Suppose 2*c = 2*l - 18, -2*c = -l - 4*c - 6. Suppose -l*y - 3*y + 567 = 0. Is y a multiple of 13?
False
Let w = 13 + 53. Is w a multiple of 11?
True
Is 38 a factor of (-2)/(-11) + (-6328)/(-44)?
False
Let q be (-3 - 1)/((-12)/6). Suppose -5*o + 79 = -3*z, q*o - 3*o + 23 = -3*z. Is 7 a factor of o?
True
Let n(k) = 4*k**2 - 12*k**2 + 0*k + 3*k - 2*k + 10 - k**3. Let t be n(-8). Suppose t*u - 5 = 7. Is u a multiple of 6?
True
Is 22 a factor of (-9)/6 - 6903/(-26)?
True
Suppose -5*t + 5 = -5. Suppose 3*m - 18 + 3 = 0. Suppose -m*c + t*c + 45 = 0. Is 12 a factor of c?
False
Let z(o) = 4*o**2 + 36*o + 18. Does 6 divide z(-9)?
True
Suppose -3*a + 540 = 2*a. Is 24 a factor of a?
False
Let h(q) = q + 1. Let j be h(4). Suppose 5*u + 58 = 2*z - 0*u, j*z - 130 = 5*u. Is 5 a factor of z?
False
Let d be (-15)/10 + 41/2. Suppose 3*b - 5 = d. Does 4 divide b?
True
Let n(b) = 6*b + 11. Let y be n(-6). Let x be (-256)/14 + (-4)/(-14). Let u = x - y. Does 3 divide u?
False
Let r be 2*6/(5 - 2). Suppose 0 = -r*s + 110 - 14. Is 9 a factor of s?
False
Suppose 3*n + 2*g + 124 + 148 = 0, 3*g = -5*n - 454. Let i = 48 + n. Does 2 divide (-14)/35 - i/10?
True
Let c = 330 + -202. Is c a multiple of 16?
True
Suppose 3*q = -f - 30, -f = 2*q + f + 24. Is 6 a factor of q/(14/(-4) - -2)?
True
Let m(s) = 6*s**2 + 2*s + 6. Let g be m(-4). Suppose -5*o + 5*z + 110 = 0, 4*o + 6 = -3*z + g. Is o a multiple of 11?
True
Let r be (-54)/(-8) + 3/12. Let v = -4 + r. Suppose v*c = 3*g + 63, -5*g = -11 - 14. Does 15 divide c?
False
Let c(l) = l + 74. Is 8 a factor of c(6)?
True
Suppose 2*i - 178 = -5*m, -242 = -4*m + 2*i - 96. Is m a multiple of 9?
True
Suppose 3*g = 47 + 22. Does 10 divide g?
False
Suppose 0 = -3*q + 7*q. Suppose 3*j - 36 - 75 = q. Is j a multiple of 17?
False
Let c = 5 - 3. Suppose -c*j - 5*l - 110 = -6*j, -3*j - l + 73 = 0. Suppose j - 1 = 3*t. Is 8 a factor of t?
True
Let t = 30 - -60. Is t a multiple of 20?
False
Let d = 113 - 80. Is d a multiple of 3?
True
Let s = -27 - -59. Let l = 21 - s. Let t(x) = -3*x - 13. Is t(l) a multiple of 10?
True
Let c(s) = 2*s**2 + 9*s - 30. Is c(8) a multiple of 17?
True
Let n(f) = 6*f + 3. Is n(8) a multiple of 17?
True
Let s = -37 - -50. Is s a multiple of 13?
True
Let j = 551 - 345. Suppose -4*u - 200 = -q - 0*q, 2*u - j = -q. Suppose q - 79 = 5*p. Is 11 a factor of p?
False
Suppose 5*d + 25 = 0, d - 22 = 4*j - 95. Suppose 5*w - 2*n = -j, -2*w = -w + 3*n + 17. Let y = 14 + w. Does 9 divide y?
True
Suppose 3*o = o + 8. Suppose -o*l = -l - 24. Is l a multiple of 8?
True
Let d = -48 + 25. Let r = 35 + d. Does 6 divide r?
True
Let c(q) = q + 8. Let r be c(-10). Let m be 1*2/r + 3. Does 10 divide 29/(3 - m) - 3?
False
Let v = -24 + 16. Let w(q) = -q**3 - 7*q**2 + 4*q - 9. Is w(v) a multiple of 6?
False
Let u be ((-2)/4)/(7/(-252)). Let y = u + -6. Suppose -k + 0*k = -y. Is k a multiple of 12?
True
Suppose 4*f = y + 2*y + 106, 4*y + 131 = -5*f. Does 14 divide (y - -1)/(-1*1)?
False
Let m(t) = t**3 + 4*t**2 - 2*t - 4. Let g = 3 - 7. Is m(g) a multiple of 4?
True
Suppose 5 = -x, -2*f - 3*x = -0*f - 13. Let z be -7 + (-4 + 4 - 1). Let h = z + f. Does 6 divide h?
True
Let u(l) = 6*l**3 + 2*l**2 + 2*l - 1. Let z be u(2). Let q = z + -27. Suppose 2*x = 4*x - q. Does 8 divide x?
True
Suppose -5*b = -1 - 4. Let v(o) = 17*o**2 + o. Is 9 a factor of v(b)?
True
Let v = 21 - -27. Suppose 3*q - 18 = v. Suppose 0 = 4*s + s - 5*d - 10, q = 5*s - 2*d. Is s a multiple of 6?
True
Suppose 7*j + 8 = 3*j. Let c(i) = -2*i**3 - 2*i**2 + 2*i + 1. Is c(j) even?
False
Let b(h) = 2*h + 1. Let o be b(2). Suppose 2*x - 25 = 3*v, 5*v = -5*x + v + 5. Suppose 2*f - 4*f - m + 17 = 0, -20 = -x*f + o*m. Is 4 a factor of f?
False
Let t = -13 + 7. Let v(a) = -a**3 - 6*a**2 - 3*a - 6. Is 3 a factor of v(t)?
True
Let c = 10 - 72. Let b be (-6)/(-4)*c/(-3). Suppose -f + 31 = -4*i, f + 6*i = 2*i + b. Is f a multiple of 15?
False
Suppose 3 = 3*r + 4*d - 95, 0 = -5*r - 2*d + 182. Is 26 a factor of r?
False
Suppose -3*i + 115 = -56. Does 10 divide i?
False
Suppose 4*h = -7 + 95. Is 11 a factor of h?
True
Suppose -h + 21 = 5*l, -2*h = -l - l - 18. Suppose -4*u + 25 + h = 0. Is -3*u*(2 + -3) a multiple of 7?
False
Suppose 0 = -6*g - 3*g + 486. Is g a multiple of 8?
False
Suppose 4*v + t + t - 374 = 0, -273 = -3*v - 3*t. Is 32 a fac