ide u(6)?
False
Suppose -4 = -4*u + 160. Suppose 0*k + 2*k + g - 73 = 0, -k + 4*g + u = 0. Is k a multiple of 14?
False
Suppose -a + 0*a = -27. Is 9 a factor of a?
True
Let r(i) = -10*i**3 - i**2 + i - 1. Let y be r(1). Let v = y + 25. Does 5 divide v?
False
Let y = 0 + 2. Let f be ((-3)/y)/(-3)*38. Suppose 2*k - 3*k + f = 0. Does 19 divide k?
True
Does 16 divide (568/6 - (-10)/(-15)) + 2?
True
Let b = -5 - -5. Let y(w) = -w**3 - 6*w**2 - 4*w + 7. Let m be y(-5). Suppose b*r + 4*r - 16 = m*o, -4*o = -8. Is r even?
False
Let m be (0 - 3)/((-3)/(-2)). Is 12 a factor of m/(-1) + 0 + 15?
False
Let r(d) = 8*d + 1 - d**2 - 8*d. Let m be r(-3). Is 8 a factor of (23/4)/((-2)/m)?
False
Suppose 4*k + 5 - 1 = 0, 4*o = -3*k + 5. Suppose o*n - 3 = 5. Suppose -n*a = -2*d - 2, -4*a + 0*a = -20. Is 9 a factor of d?
True
Suppose 0 = 3*a + 15, -28 + 68 = y + 4*a. Is 15 a factor of y?
True
Let s = -16 - -6. Let y = -2 - s. Let a(t) = t**3 - 9*t**2 + 11*t - 5. Is a(y) a multiple of 7?
False
Let t be 60/14 + (-6)/21. Suppose -t*z = -50 - 162. Is 19 a factor of z?
False
Suppose 0 = -l - 4*l. Suppose l = b + 4, i + i = -3*b. Is 2 a factor of i?
True
Suppose 1 - 4 = -t. Suppose 3*c + 5*a = -43, 4*c - 4*a = -0*a - 4. Let h = t - c. Is h a multiple of 3?
True
Suppose 0*c + 2*c = 0. Suppose 0 = -4*x + 2*a - 6, 17 = -c*x + 2*x + 3*a. Does 6 divide x/((-3)/45*-1)?
False
Suppose -4*o - 2 = b, 2*o + 3*o + 8 = -4*b. Suppose 4*t - 4*w = 24, 0 = 3*w + 20 - 5. Does 4 divide b*t/2*-7?
False
Suppose -5*n = -b + 106 - 16, n - 191 = -2*b. Let y = b - 63. Let c = y + 4. Is 12 a factor of c?
True
Let d(w) = -w - 1. Let l(r) be the first derivative of -43*r**3/3 - 3*r**2/2 - 2*r + 2. Let b(s) = 2*d(s) - l(s). Does 21 divide b(-1)?
True
Let r be 2/(-5) + 37/5. Suppose -r*b = -2*b - 45. Does 9 divide b?
True
Suppose -h + 100 = 4*h. Suppose -4*s - h = -9*s, 5*t + 5*s - 140 = 0. Does 13 divide t?
False
Suppose -4*y - y = 260. Suppose -5*c - 624 = -5*w - 144, -2*w + 5*c = -183. Let x = y + w. Is x a multiple of 21?
False
Suppose 2*n + 5 = -1. Let i(p) = -2*p - 2. Let y be i(n). Is 10/y*(-88)/(-10) a multiple of 11?
True
Let u(z) = z + 17. Does 5 divide u(8)?
True
Suppose 96 = 3*l - l. Suppose -l = -n - n. Is n a multiple of 12?
True
Suppose -4*n + 0 - 2 = v, 0 = 5*v - 5*n - 15. Suppose 5*b = 3*t - 402, -v*b = -2*t + 6*t - 510. Suppose -2*g - g = -t. Does 15 divide g?
False
Let d(j) = 3*j**2 + 12*j - 6. Let q(u) = u**2 + u. Let v(s) = d(s) - 4*q(s). Suppose -4*t + 7*t = -5*a + 37, 5*t = -2*a + 30. Is v(a) a multiple of 9?
True
Suppose -3*o - 6 = 0, -5*o + 3*o = -2*d + 8. Is 2 a factor of d?
True
Let d = -34 + 168. Is d a multiple of 35?
False
Suppose g + 2*t + 5 = 0, 0 = 7*g - 3*g + 2*t + 2. Suppose -9*l = -8*l. Is 25 a factor of g/(2/86 + l)?
False
Suppose -4*q + 116 = -20. Does 17 divide q?
True
Suppose -171 - 277 = -4*f. Suppose 2*p - 74 = f. Does 17 divide p?
False
Let d(g) = -g**2 - 10*g - 3. Let a be (3/6)/(-1)*18. Let x be d(a). Let f = x + -4. Is f even?
True
Let q = -3 + 3. Suppose q = -2*t + t + 5. Suppose 6*y - y = -4*a + 82, t*y - 73 = -a. Is 8 a factor of y?
False
Let q(i) = i**2 - 10*i + 13. Let x be q(10). Suppose -x = -p + 9. Is 22 a factor of p?
True
Does 2 divide (2/(-4) + -1)/((-1)/12)?
True
Let t(v) = 2*v**2 - 2*v - 1. Let h be t(-1). Suppose -h*l + 72 = -0*c - 3*c, -2*l - 4*c = -42. Suppose 4*i = -l + 87. Is 8 a factor of i?
True
Is 25 a factor of 537/4 + (4 - 102/24)?
False
Let r = 9 - 1. Let p = r - 0. Does 5 divide p?
False
Suppose 2*m = -0*q + 5*q + 7, 0 = -2*m + 4*q + 12. Suppose -3*g + 2*h = -76, g + m - 56 = -3*h. Is 28 a factor of g?
True
Let z be 5 + -8 + 0/(-2). Let g be 0/(2/(z + 5)). Suppose o + 4*a = 28, g*a - 165 = -5*o + 5*a. Is o a multiple of 16?
True
Suppose 0*i + 3*i = 54. Does 6 divide i?
True
Let o(f) = -f**3 - 4*f**2 + 2*f. Let b(w) = -5*w. Suppose -5*i - y = -7, 11 = 5*i - 0*i + 3*y. Let l be b(i). Is o(l) a multiple of 15?
True
Let x(l) = -l**2 + 6*l + 2. Let c be x(6). Suppose 5*n = 5*i - 205, -c*i + 118 - 34 = -4*n. Is 16 a factor of i?
False
Let y(d) = -d**3 - 9*d**2 - 6*d - 31. Is 5 a factor of y(-9)?
False
Is 5 a factor of (71/3 - 3)*3/2?
False
Suppose -3*s + 16 = -104. Let c = 227 - 123. Suppose 4*m + 0*m = 4*t - c, -s = -2*t - m. Does 12 divide t?
False
Suppose -4*y - 54 = -5*y. Does 26 divide y?
False
Let x(d) = d + 9. Let z be x(-7). Suppose z*o - o - 21 = 0. Suppose 3*c - 43 - 3 = -4*t, 4*c = t - o. Is 13 a factor of t?
True
Suppose 4*o - 52 = -3*p, 4*o + p - 56 = -p. Let u = o + -47. Let w = 48 + u. Is 17 a factor of w?
True
Suppose 2*p = -p + 3. Let q = p - 1. Suppose q = 7*a - 3*a - 56. Is a a multiple of 14?
True
Suppose -6*d = -9*d + 150. Is 10 a factor of d?
True
Let p(f) = f**2 + 7*f - 8. Is 15 a factor of p(-12)?
False
Let x(w) = 21*w + 6. Is 3 a factor of x(1)?
True
Let f = 19 + -4. Is f a multiple of 5?
True
Let t(y) = 2*y - 4. Is 2 a factor of t(6)?
True
Suppose 2693 = 10*v - 457. Does 15 divide v?
True
Let g(r) be the first derivative of 65*r**3/3 + r**2/2 - 5. Does 22 divide g(1)?
True
Let g be (1 - -17)*(-14)/21. Let k = g - -18. Is k a multiple of 6?
True
Let s(z) be the first derivative of -z**2 - 4*z + 3. Is s(-6) a multiple of 3?
False
Let m(h) = -h. Let q be m(-2). Suppose t - 2*p = 6 + 14, -q*p = t - 12. Is t a multiple of 7?
False
Suppose 4*q - 275 = -5*t, -4*q = -0*q. Let d = -33 + t. Suppose -5*c + d = -33. Does 5 divide c?
False
Let o(x) = -x + 1. Let g be o(-5). Let u(s) = -s**3 + 5*s**2 + 8*s - 7. Is 2 a factor of u(g)?
False
Suppose -5*l - g + 122 = 0, -2*l + 56 = 6*g - 2*g. Is 3 a factor of l?
True
Suppose 3*h - 4*h + 3 = 0. Suppose -2*c - h + 35 = 0. Does 8 divide c?
True
Let b(n) = n - 8. Suppose -40 = -3*s + 5. Is b(s) even?
False
Let z = -76 - -125. Suppose -3*o = 59 + z. Does 4 divide ((-2)/3)/(2/o)?
True
Let t(f) = f + 5. Let u be t(0). Let h(p) = 10*p - 2. Let y be h(u). Suppose -l + y = l. Is 12 a factor of l?
True
Let a(g) = g**2 + 6*g - 2. Is a(-8) a multiple of 3?
False
Let a = 161 + -115. Does 23 divide a?
True
Let d(j) = -j**2 + 11*j + 9. Let s be d(9). Let v = -15 + s. Is v a multiple of 12?
True
Let f(q) = -11*q - 11. Is 9 a factor of f(-8)?
False
Let h(v) = 20*v + 12. Is h(8) a multiple of 43?
True
Suppose -4*g + z + 2*z - 64 = 0, -3*z = 5*g + 80. Let n be (g/10)/(1/(-5)). Suppose 0*o + n = 4*o. Does 2 divide o?
True
Does 9 divide (6 - 24/(-5))/(1/5)?
True
Let r = 11 + 3. Suppose 11 = -5*d - r. Let i = d + 17. Is i a multiple of 6?
True
Let i(j) = -j**2 + 4*j + 6. Let v be i(6). Is 15 a factor of (306/15)/(v/(-15))?
False
Suppose -n + 0 = -4. Suppose -5*r + 2*q + 295 = 0, 2*q - 229 = -n*r + 5*q. Is 21 a factor of r?
False
Let y(l) be the second derivative of -l**3/3 + 2*l**2 - l. Let j be y(3). Is 8 a factor of j/(-9) - 284/(-18)?
True
Let f be (-2)/3 - 28/(-6). Suppose -4*w = -4*u - 20, w = u + f*w - 11. Does 14 divide 29 + 2*u/2?
True
Suppose 240 = 5*i + 55. Is i a multiple of 9?
False
Let n be (1*-2)/((-2)/(-4)). Let a = n - 2. Let u(b) = -2*b - 8. Does 2 divide u(a)?
True
Suppose -3*d + 32 = d. Suppose -c + d = -0*c. Is 8 a factor of c?
True
Let t(h) = 5*h**2 + h + 1. Let l be t(-1). Suppose l*w - 2*p = 27, -4*p + 1 = 3*w - 10. Does 2 divide w?
False
Suppose 0 = 6*a - 3*a - 33. Does 11 divide a?
True
Suppose 2*k - 4 = 6. Let l(v) = -v. Let g(s) = s**2 - 8*s + 2. Let w(x) = -g(x) + 2*l(x). Is w(k) a multiple of 3?
True
Let d(n) be the third derivative of -n**4/8 + 7*n**3/6 - 4*n**2. Suppose -2*m - 2 = 0, 3*m - 19 - 3 = 5*g. Is d(g) a multiple of 11?
True
Suppose -16*f + 19*f - 210 = 0. Is f a multiple of 10?
True
Let j = 185 - 95. Is j a multiple of 15?
True
Let s = 41 - 76. Let a = s - -57. Is a a multiple of 22?
True
Suppose 1 = t - 3. Suppose t*f - 38 - 2 = 0. Suppose p + 2*i - f = 3*i, 5*p - 64 = -2*i. Is 5 a factor of p?
False
Suppose j - 15 - 98 = -3*p, -2*j + 10 = 0. Does 18 divide 21/(-3)*p/(-14)?
True
Suppose 5*x - 144 = x + 4*z, 2*z = 0. Does 6 divide x?
True
Let d = -43 + 66. Suppose 5*f - 2*p - 55 = 0, 4*p - 3*p + 5 = 0. Suppose o = d - f. Is 14 a factor of o?
True
Let m(x) = 2*x + 1. Let o(f) = f + 42. Let q be o(0). Suppose -10 = 4*p - q. Is m(p) a multiple of 17?
True
Suppose -2*a = a + 15. Let z = a - 2. Let y = z - -12. Is y even?
False
Is 10 a factor of (-40)/((-3)/3)