se n = 4*o + 12, 3*o = -2*l + 5*l - 636. Does 16 divide l?
False
Suppose -21 = -5*i + 2*i. Suppose -550 = i*t - 12*t. Does 39 divide t?
False
Let f be (-24)/(-20)*15/6. Suppose -f*h = -g - 13, -2*h = 3*h - 5*g - 25. Suppose -5*t = h*v - 272, v + 0*t - 68 = -t. Is v a multiple of 17?
True
Let c(i) = i**3 - 40*i**2 + 49*i - 40. Is 12 a factor of c(40)?
True
Let o = 33 - 13. Suppose -4*c + o = c, -c - 425 = -3*j. Is 39 a factor of j?
False
Let a(n) = 2*n**2 - 28*n - 7. Let o = -70 - -85. Does 5 divide a(o)?
False
Suppose 12*d - 101 - 1927 = 0. Is 27 a factor of d?
False
Suppose -20*z + 1697 + 3203 = 0. Is z a multiple of 5?
True
Is 15 a factor of 45830/40 + 2 + 7/(-4)?
False
Suppose 2*i + 12*k = 9*k + 36, -100 = -4*i + k. Does 3 divide i?
True
Suppose 3*o + 954 = 4*d, 3*d + 5*o = -0*d + 730. Is d a multiple of 24?
True
Suppose 3*b - 3*w = 2079, -3*b - 2*w = -3040 + 976. Does 19 divide b?
False
Let o be 7*2/(-4)*-6. Let h = -20 + 15. Let y = o + h. Does 4 divide y?
True
Let s(k) = -219*k - 184. Does 34 divide s(-6)?
False
Let v = 38 - 34. Is 3 - (1 + v)/(-5) even?
True
Let c(k) = -k + 24. Let d = 48 - 48. Is c(d) a multiple of 12?
True
Let x(y) = 10*y**3 + 8*y**2 - 27*y + 81. Is x(5) a multiple of 8?
False
Suppose -5*y - 2*u + 58 = 0, -38 = -2*y - 3*y + 3*u. Let d(p) = p. Let v be d(y). Suppose -68 = -3*c - 4*i, 0 = -i - 4*i + v. Is 20 a factor of c?
True
Let n(a) = -2*a**3 + a**2 - 5*a - 5. Suppose -3*h + 2 = -5*h - 2*d, h - d = 5. Let b be (-1 + 2)/(h/(-4)). Is n(b) a multiple of 7?
False
Suppose -7*v - 20 - 8 = 0. Let t be 4*((-105)/(-20) + v). Suppose t*j + 62 - 262 = 0. Does 7 divide j?
False
Suppose -1140 = -196*r + 190*r. Is r a multiple of 19?
True
Let z = -83 + 330. Does 31 divide z?
False
Suppose -307*g = -306*g - 1594. Does 49 divide g?
False
Let t(b) be the second derivative of b**5/20 - 7*b**4/6 + b**3/2 - 9*b**2 - 7*b. Does 12 divide t(14)?
True
Let r(y) = y**2 - 13*y + 37. Let a(v) = -v**3 + 10*v**2 - 7*v - 5. Let z be a(9). Is 37 a factor of r(z)?
True
Let a(u) = 4*u**3 + 20*u**2 + 4*u - 4. Does 8 divide a(-3)?
True
Let u be 13/65 + (-304)/(-5). Suppose 4*i + 5*m = 7*i + u, i - 5*m + 17 = 0. Let w = 35 + i. Does 3 divide w?
False
Suppose -4*u = 5*x - 62, -3*x + 74 = 4*u - 4*x. Let c = u - -10. Does 12 divide c?
False
Suppose 0*t + 5*l + 25 = t, 0 = 2*t + 2*l - 2. Suppose 3*f = t*g - 1257, f = 2*g - 158 - 345. Is 39 a factor of g?
False
Let n(j) = -j - 6. Let u be n(-5). Is u/(-5) + (-447)/(-15) a multiple of 13?
False
Let u(g) = g**3 - 11*g**2 - 11*g - 6. Let m be ((-4)/(-6))/((-14)/(-252)). Does 2 divide u(m)?
True
Let y(m) = 3*m - 6. Let t be y(-2). Does 3 divide t/(-42) - 40/(-7)?
True
Let k(f) be the second derivative of 5*f + 1/6*f**4 + 14*f**2 + 0 - 1/6*f**3. Is 7 a factor of k(0)?
True
Let o(c) = 2*c + 1323. Is 29 a factor of o(-9)?
True
Let v(k) = -k**3 + 12*k**2 + 19*k + 3. Let g(m) = 2*m**2 + m + 3. Let x be g(2). Is v(x) a multiple of 27?
True
Let v(t) = t**2 + 8*t + 7. Suppose 0 = -2*h - 8, 6*n + 5 = 3*n + 4*h. Let s be v(n). Suppose 44 = 4*y - 5*f, -4*y + 4 = 5*f - s. Is y a multiple of 5?
False
Suppose -5*y + 3*u = 2*u - 2324, 2*u = 3*y - 1393. Let x be (-2)/8 - y/(-20). Suppose -x = -0*b - b. Does 14 divide b?
False
Suppose 0 = 5*d - 0*k + 2*k - 112, -2*d - 2*k + 40 = 0. Let v = -2 + -2. Let u = v + d. Is u a multiple of 20?
True
Let f(y) = -y**3 + 2 - 10*y**2 + 7*y**2 + 7*y**2 + 5*y. Let g be f(5). Suppose -g*r - 296 = -6*r. Is 17 a factor of r?
False
Suppose -51*n - 2*n + 56021 = 0. Is n a multiple of 19?
False
Let u(v) = -v**2 + 15*v + 32. Does 5 divide u(15)?
False
Suppose 0 = -3*z + w - 2*w + 1, 11 = 3*z - w. Suppose -z*o + 0*o - 5*t = -19, 5*t = 25. Let d = 30 + o. Does 21 divide d?
False
Let f(y) = y**2 - 6*y - 2. Let j be f(6). Let a(c) = -3*c**2 - 2*c - 1. Let r be a(j). Is -3*7*12/r a multiple of 7?
True
Let z(c) = c + 13. Let h be z(-9). Suppose -3*f = -h*f + 44. Does 11 divide f?
True
Let l be 2 - (1*-714)/(-6). Let y = 162 + l. Is y a multiple of 17?
False
Let m(x) = -x**3 + 15*x**2 - x + 16. Let k be m(15). Is 3 a factor of 78/9*(6 + -1 + k)?
False
Suppose 694 = p - 2*h, 3824 = 5*p + h + 398. Does 2 divide p?
True
Let y = 61 + -85. Let t = 27 + y. Suppose -3*f + 5*f = -t*w + 25, 11 = w + 2*f. Does 3 divide w?
False
Let k = -25 + 48. Let g = k + 8. Suppose 5*u = l + g + 7, 3*u - 26 = -l. Does 8 divide u?
True
Suppose -5*j = -3*w - 361, 5*j + 5*w - 525 = -140. Is 6 a factor of j?
False
Is 36 a factor of (-14031)/(-15) + (-3 - 52/(-20))?
False
Let h = -13 - -22. Suppose -16 - h = -5*k. Is 5 a factor of k?
True
Let m be 2*2/(-3 - -2). Let p = 7 - m. Suppose -f + 3*i + p = 0, 2*f - 30 = -3*i + i. Does 13 divide f?
False
Is (-1425)/(-6)*(-5 - -7) a multiple of 21?
False
Suppose -4*m - 3*g + 1 + 0 = 0, 3*g = 4*m - 31. Suppose m*n + n = 10. Is 18 a factor of (462/(-7))/(n/(-1))?
False
Let g(q) = -4*q - 2. Let w be g(-1). Suppose 0 = -4*r - c + 24, w*c = -r - r + 18. Suppose 2*f - r*l = 150, -4*l = -4*f + 100 + 188. Is f a multiple of 11?
False
Suppose -2*n = 6*n - 456. Is n a multiple of 12?
False
Suppose 0 = 5*a - 491 - 269. Suppose -3*t = -0*t + 315. Let b = t + a. Is b a multiple of 9?
False
Suppose -15 + 1 = -v. Suppose 0 = v*k - 18*k - 432. Let c = k - -180. Is c a multiple of 11?
False
Suppose 0 = 5*v + 2*t - 44 - 46, 0 = -4*v + 4*t + 44. Does 3 divide ((-12)/(-3) - 2)*v?
False
Let u(a) = -a + 63. Is u(8) a multiple of 3?
False
Let z(q) = 2 - 2 + 4*q + 6 - 3*q. Let h be z(-2). Suppose 0 = h*a + 2*c - 50, -a + 4*c - 9 = -2*a. Does 4 divide a?
False
Let m(s) = s**3 - 11*s**2 + 2*s - 6. Suppose 0 = l - 5 + 3. Suppose l*f + 2*f + n = 39, -5*f + 65 = -2*n. Is m(f) a multiple of 16?
True
Is (-18)/63 + 282/7 a multiple of 8?
True
Let o = 327 + 39. Is 56 a factor of o?
False
Let m = 5 - 10. Let s(i) = 3*i - 4*i + 7*i**2 + 7 - i**3 + 2*i**3. Is 31 a factor of s(m)?
True
Let r = -12 + 14. Let t(q) = -3 + 0*q - 6*q - q**3 + 5*q**2 + 3*q**r + 0*q. Does 11 divide t(6)?
True
Suppose k = 2*v + 318, -3*v + 211 + 117 = k. Is k a multiple of 7?
True
Suppose 0 = -12*b + 158 - 50. Let o = b - -4. Is o a multiple of 4?
False
Let m = -169 + 271. Is m a multiple of 17?
True
Let s(m) = 251*m**2 + 9*m - 10. Is s(1) a multiple of 29?
False
Let b = -10 - -40. Let h be 48/20*b/(-4). Let n = 53 + h. Is n a multiple of 35?
True
Let n(v) = v - 3. Let y be n(3). Suppose -4*j = -2*j + 2*w - 186, -4*j + 2*w + 342 = y. Suppose -f - m = 4*m - 28, 5*f - m - j = 0. Does 7 divide f?
False
Suppose 0*r + r = 2. Suppose 4*c - 138 = c - 2*g, -3*c + 132 = 4*g. Suppose -f + c = r*f. Is 8 a factor of f?
True
Let v = 591 - 321. Suppose 3*i + y - v = 0, -i = 5*y - 134 + 44. Is 31 a factor of i?
False
Suppose -f - 135 = -2*f. Suppose 0*v - 5*v = -f. Does 8 divide v?
False
Let a = -146 - -185. Is 3 a factor of a?
True
Suppose -3*p + p + 44 = 4*z, 20 = 4*z. Let m be (21/p)/(3/(-24)). Is 300/21 - (-4)/m a multiple of 9?
False
Suppose 0 = 5*k - b + 29, 4*k - b - 15 = -39. Let r(h) = -h**2 - 6*h - 1. Let y be r(k). Let w(a) = a**3 - 2*a**2 + 2*a + 5. Is 14 a factor of w(y)?
False
Let l = -29 - -28. Is 15 a factor of (-242)/4*l + 3/(-6)?
True
Let q be -1 + 3 + -4 - -4. Suppose -q*i + 27 = -9. Is 6 a factor of i?
True
Let t(g) = -g**3 + 5*g**2 - 3*g. Let h be t(4). Suppose h*d = 138 + 134. Suppose -2 - d = -v. Is 10 a factor of v?
True
Let k(w) = -2*w**2 - 25*w + 13. Let l be k(-13). Suppose l = -3*x + 4*y + 165, -2*y = 5*x - y - 298. Is x a multiple of 14?
False
Let p(i) = 5*i + 1. Let m be 13/(-2)*(-12)/6. Let f = m - 9. Is p(f) a multiple of 8?
False
Let u(z) = 2*z**2 - 13*z + 4. Let c be u(9). Suppose 0 = -3*l + 2*l - o + c, 5*l - o = 215. Suppose -l = 2*b - 3*b. Is 9 a factor of b?
False
Suppose 6*u - 38 = 5*u. Suppose 50 = 2*g - u. Is g a multiple of 22?
True
Suppose 0*j = -2*p + 2*j + 4, -3*j = -p. Let v be 2904/(-84) - p/7. Let o = 12 - v. Does 13 divide o?
False
Let w = -1036 - -1453. Suppose -w + 12 = -5*f + 4*k, -k = 3*f - 243. Is 9 a factor of f?
True
Let k = -560 - -1328. Is k a multiple of 64?
True
Let b = -117 - -264. Suppose -b = 8*x - 395. Does 4 divide x?
False
Let z(p) = -5*p - p - p**2 - 2*p + 16. Let r be z(-9). Let k = r + 6. Is 13 a factor of k?
True
Suppose 225 = -0*z + 5*z. Let l be ((z/3)/(-1))/1. Let n = -11 - l. Is n a multiple