144 = -4*u - 3*a, u + 108 = 4*u - w*a. Is u a multiple of 6?
True
Let u be (2/(-4))/((-1)/(-86)). Let z = -441 + 531. Let f = u + z. Is 8 a factor of f?
False
Let g(f) = 490*f**2 + 15*f - 12. Is g(1) a multiple of 6?
False
Let v = 90 - -183. Does 13 divide v?
True
Suppose -4*d + 3 = -13. Suppose -4*m = -d*w - 4, 10 + 21 = 4*m + 5*w. Suppose -q - 5*t + 33 = -24, -m*t + 84 = 2*q. Is 7 a factor of q?
False
Let f = 16 - 16. Let t = f + 6. Suppose 3*b = 5*p - 484, -t*b + b + 175 = 2*p. Is 19 a factor of p?
True
Suppose -s - 5*n + 55 = 0, -n - 245 = -0*s - 3*s. Let u be 10/55 - s/(-44). Suppose 0 = -u*x + 13 + 7. Does 10 divide x?
True
Suppose -16*h - 1500 = -17*h. Is 10 a factor of h?
True
Let b be (-5)/5 - 12/(-4). Suppose 48 = b*i - 4*w, -2*i + 72 = 3*i + 2*w. Does 16 divide i?
True
Suppose -109*z = -114*z + 1755. Is 13 a factor of z?
True
Suppose -4*c = -c + 108. Let d = c + 44. Is d a multiple of 4?
True
Let w(n) be the second derivative of -17*n**3/3 + n. Suppose -5*p - 16 = 2*r, -18 = p + 5*r - 1. Is w(p) a multiple of 17?
True
Let x(q) = -2*q**2 - 14*q - 13. Let k be x(-6). Does 11 divide (-1)/(1/19*k)?
False
Suppose 0 = 5*p + 2*p - 1414. Let r = 3 - 3. Suppose r*c + 261 = 4*n + 3*c, p = 3*n - 4*c. Does 33 divide n?
True
Let f = -65 + 100. Does 10 divide f?
False
Let d = -753 + 1123. Does 37 divide d?
True
Suppose -2*u + 356 = -2*i, -4*u - i = -4*i - 714. Is 9 a factor of u?
True
Let g(o) = o**3 - 23*o**2 - 23*o + 76. Is 5 a factor of g(24)?
True
Suppose -4*c = -9*c + 100. Suppose -c*p = -15*p - 50. Suppose -p = x - 3*x. Is 2 a factor of x?
False
Suppose 18*q - 14490 = -3*q. Is 15 a factor of q?
True
Suppose -w - 45 = -2*t, 3*t - 2*t - 18 = -w. Is 4 a factor of (2/3)/(t/504)?
True
Let f(x) = 2*x**2 + x. Let n be f(1). Let k(d) = 48*d**2 - d + 2*d**3 - d**n - 51*d**2 + 1. Is k(4) a multiple of 5?
False
Let w(r) = -215*r - 902. Is 3 a factor of w(-6)?
False
Let m(v) = v**3 + 8*v**2 - 2*v - 6. Let g be m(-5). Suppose -g = -5*w - 54. Is w a multiple of 3?
False
Let l(k) = 3*k**2 + k + 7*k + 14*k - 4*k**2 - 25. Suppose 3*t + 18 + 8 = q, -2*q - 2*t + 28 = 0. Does 15 divide l(q)?
True
Let h = -23 - 108. Let g = -15 - h. Does 29 divide g?
True
Suppose 3*l + 833 = 3719. Is 37 a factor of l?
True
Suppose -2*k + 5 = -3*k. Let s = k + 24. Suppose -s*w = -14*w - 280. Is 14 a factor of w?
True
Suppose 4*m + 6 = -3*o, 0 = 5*m - 5*o - 10 - 0. Suppose 93 = -m*q + 3*q. Is q a multiple of 4?
False
Let o(s) = s**2 + 13*s + 18. Let c(n) = n**3 + n**2 + 6*n + 3. Let b be c(-2). Does 3 divide o(b)?
True
Let d = -23 + 87. Suppose -a + 23 = -d. Is 29 a factor of a?
True
Let t = 2092 + -1831. Is 6 a factor of t?
False
Let c = -226 + 293. Is c a multiple of 3?
False
Let v = 84 - 67. Suppose 0 = 2*c - 159 - v. Is 15 a factor of c?
False
Let n = 65 - 119. Let w = n - -94. Is 40 a factor of w?
True
Let y(w) be the first derivative of -13*w**2/2 + w - 1. Let p be y(-9). Suppose -204 - p = -4*n - 2*t, -3*n + 259 = 5*t. Is n a multiple of 25?
False
Is 2 a factor of -5 - -7 - (-72)/3?
True
Let f = -7 + 16. Let t(b) be the first derivative of b**4/4 - 10*b**3/3 + 11*b**2/2 - 12*b - 1. Is 6 a factor of t(f)?
True
Let g(s) = 9*s + s**2 + 54 + 58 - 128. Let h(l) = -l - 11. Let x be h(0). Is 2 a factor of g(x)?
True
Suppose -3*n = 2*y - 6269, 3*n + 3*y - 1090 = 5183. Does 76 divide n?
False
Let b(u) = 14*u + 9. Suppose -10*j = -64 - 16. Is b(j) a multiple of 21?
False
Suppose 0 = 14*q - 3670 - 1342. Does 6 divide q?
False
Suppose 5*g + 3*v - 665 = 0, 2*g - g = -v + 135. Suppose -2*w + g = -0*w. Does 36 divide w?
False
Let w(u) = u**2 - 7*u - 8. Suppose 26 = 3*i + 2. Let h be w(i). Suppose -3*d - v + 56 = h, v + 24 = d + 4. Is 8 a factor of d?
False
Suppose -3*b + 7*t + 35 = 2*t, 5*b - 2*t - 33 = 0. Let p = 5 - b. Suppose p = 3*u - 7*u + 228. Is u a multiple of 19?
True
Let g(o) = 6*o**3 + o**2 + 5 - 4 - o**2 - o**2. Let m be g(1). Let w = m - -42. Is w a multiple of 24?
True
Suppose -107 - 179 = -3*n + 4*q, -160 = -2*n - 5*q. Let j = n - -169. Suppose 5*a - 20 = 0, -a = 4*u + u - j. Is u a multiple of 14?
False
Let u = -61 + 69. Is 27 a factor of 2*106/u + (-2)/(-4)?
True
Does 48 divide 504618/(-248)*(-8)/6?
False
Suppose 28 = 2*g - 0. Suppose -2*f + 4*f = -g. Is 4/(-14) + (-177)/f a multiple of 25?
True
Let z be (-539)/14 - 1/2. Let b = z + 14. Does 10 divide (0 + 2)/(-1) - b?
False
Let w be 2*33/(-6)*1. Let i = w - -83. Does 24 divide i?
True
Let i = 1027 - 568. Is i a multiple of 27?
True
Let o(f) = f**2 - 13*f - 4. Is o(25) a multiple of 52?
False
Let y(q) = 282*q. Let d be y(1). Let s = 189 - d. Let k = -36 - s. Is 13 a factor of k?
False
Suppose -10*b = -9*b + 2. Let i be 1 + b - (-58 + -1). Suppose -i = -3*v - j - 0*j, -2*j + 8 = 0. Is 18 a factor of v?
True
Let s = -407 + 447. Does 5 divide s?
True
Suppose 4*h + 45 = 2*s - 151, 0 = 4*h + 16. Does 18 divide s?
True
Suppose -4*o + 591 = 5*f, 5*f + 22 = -3. Does 44 divide o?
False
Let j = -37 - -51. Suppose 13*k + 112 = j*k. Does 16 divide k?
True
Suppose -3*m = -6*m. Let a = 3 - m. Suppose 4*i - a*h - 37 = 3, 2*i = 2*h + 22. Does 2 divide i?
False
Let t = -55 - -34. Does 9 divide 6215/231 + (-2)/t?
True
Let l(b) = -b - 2. Let g(d) = 3*d + 4. Let q be g(-3). Let a be l(q). Suppose u = a*u - 34. Is u a multiple of 3?
False
Let i(w) = -w - 1. Let c(b) = -b + 5. Let j(g) = c(g) - 2*i(g). Let k be j(-8). Does 16 divide k - (0 - (3 + 46))?
True
Let i be 8/(-32) - 1/(-4). Let w(f) = -3*f + 10. Is w(i) a multiple of 5?
True
Let z(a) = 41*a + 5. Let q be z(5). Let m = -117 + q. Is 7 a factor of m/4 + 6/8?
False
Suppose 4*s + 2 = a + 10, -5*s - 41 = 3*a. Does 4 divide 3/(-18) + (-194)/a?
True
Suppose 0 = -29*p + 25*p + 116. Does 4 divide p?
False
Let r(c) = c - 10. Let y be r(8). Is 9 a factor of ((-71)/4)/(y/8)?
False
Suppose 0 = -4*y - 12, z + z - y + 2881 = 0. Let u be (-6)/(-42)*7 - 0/(-2). Is z/(-42) - u/3 a multiple of 11?
False
Suppose l = -n + 975, 1296 = l + 2*n + 326. Does 70 divide l?
True
Let f = 20 - -485. Does 50 divide f?
False
Let f(j) = 18*j**2 - j + 1. Let u be 20*4/(3 + -7). Let d = 21 + u. Is f(d) a multiple of 10?
False
Let n(x) = x**2 + 4. Let w be n(5). Suppose 5*f - 2*i - 44 = 54, 34 = f - 4*i. Let m = w + f. Is 22 a factor of m?
False
Let m be (16/10)/(6/15). Suppose 265 + 615 = -4*q + m*d, -2*d = -8. Is (q/(-20))/((-2)/(-5)) a multiple of 13?
False
Is 12 a factor of ((-2667)/(-12) - -5) + (-10)/8?
False
Suppose 5*o = 5*w - 11 - 4, -2*w + o + 9 = 0. Let t(d) = -d**2 + 6*d - 13. Let c be t(12). Let m = w - c. Does 32 divide m?
False
Let v(r) = -9*r - 43. Let f be v(-13). Let d = 181 - f. Does 11 divide d?
False
Suppose -24*w + 30*w = 132. Suppose 0 = 5*m - 1042 + w. Does 48 divide m?
False
Let y be (-1116)/(-4) + -3 - (1 + 2). Let b = y - 183. Is 45 a factor of b?
True
Let z(f) = -8*f. Let y = 41 - 62. Let b = y + 18. Is 12 a factor of z(b)?
True
Let l(w) = 55*w + 2. Let g(b) = -166*b - 6. Let x(d) = 5*g(d) + 14*l(d). Let u be x(-1). Suppose u = 5*o - 2. Is o a multiple of 7?
False
Let h = 561 + -381. Suppose -3*d + 3*c + 108 = 0, -5*d = -3*c + 7*c - h. Let y = d - 25. Is y a multiple of 11?
True
Let l(m) = 2*m**2 - 27. Let n be l(-5). Let u = 156 - n. Is u a multiple of 32?
False
Let y(s) = -4*s**2 - 4*s - s**3 + 7 + 0*s**3 - 5*s**2 + 3*s**2. Let w be y(-5). Suppose -3*g = -w*g - 17. Does 10 divide g?
False
Let b(y) = -y - 4. Let m be b(-2). Suppose 0 = 6*d - d + 200. Does 10 divide (4/m)/(2/d)?
True
Suppose 2*k - 5101 + 143 = 0. Does 15 divide k?
False
Suppose 7*s + 5*m - 79 = 4*s, 5*s = -3*m + 105. Is 22 a factor of 9/6*600/s?
False
Is (4 + -2)/(3/(1702 - -8)) a multiple of 15?
True
Let i(y) = 36*y + 186. Does 20 divide i(32)?
False
Suppose -w = -3*a - 13 - 28, -4*w - 2*a = -206. Suppose 5*g - 21 = -o, 0 = -3*o - 5*g + 13 + w. Is 11 a factor of (o/(-6))/7*-38?
False
Let p(y) = y**3 - 6*y**2 - 2*y - 11. Let l(g) = g**3 - g**2 - 2*g + 8. Let i be l(0). Is 17 a factor of p(i)?
False
Suppose 194 = -5*m - 6. Let h = m + 74. Is 17 a factor of h?
True
Suppose -4*l = 4*i + i - 22, 0 = -i + l + 8. Let o be 33 + 1 + i/3. Suppose -5*y + o = -y. Is 3 a factor of y?
True
Is (-13)/(546/28)*2718/(-4) a multiple of 12?
False
Let j(s) = s - 1. Let f(q) = 19*q - 1. Let v(m) = f(m) - 3*j(m). Is 6 a factor of v(1)?
True
L