- 6 - 4 = 0. Suppose v*g - 2*g - 51 = 0. Is g a multiple of 14?
False
Suppose v + 9 = 4*v. Suppose 5*o - 15 = v*c - c, -3*c - 5*o - 60 = 0. Is 3/c*32*-5 a multiple of 13?
False
Let l(o) = o**2 + 3*o + 2. Let w(t) = 1. Let q(g) = -3*g + 4. Let b(p) = q(p) - 3*w(p). Let y be b(-1). Does 10 divide l(y)?
True
Let u = 28 + -16. Is u a multiple of 4?
True
Suppose 0 = -3*r + 2 + 4. Is 3*1*4/r a multiple of 6?
True
Let h(g) = -g**3 + 2*g**2 - 2*g - 5. Let a be h(-4). Suppose -f + 12 = 2*f. Suppose a = f*p - 9. Is p a multiple of 10?
False
Let h be (9/6)/(3/14). Let p(j) = -h*j + 0 - 3 + 2. Is p(-1) a multiple of 6?
True
Let b = 463 + -307. Does 13 divide b?
True
Suppose 22 = 4*c + 10. Let i = c + 8. Is 11 a factor of i?
True
Let l(v) = -4*v + 2. Does 7 divide l(-5)?
False
Let y be ((-21)/(-2))/((-6)/(-12)). Suppose s = -4*z - 7, 5*s - 2 = -3*z + 14. Suppose -3*t + 62 = -4*p + y, 0 = -t + s*p + 10. Is t a multiple of 7?
False
Let q = 74 + -10. Suppose 5*p + 3*l - l = 176, -2*p - 4*l + q = 0. Is 16 a factor of p?
False
Let o(d) = -d**3 - 17*d**2 - 18*d + 5. Let s(x) = x**2 + 8*x - 4. Let g be s(-6). Does 10 divide o(g)?
False
Suppose 6*n - n = 0. Let v = 0 + 7. Let h = v - n. Does 7 divide h?
True
Let v = 17 - -56. Does 19 divide v?
False
Suppose -5*l - 63 = -y, -l + 4 = -2*l. Is y a multiple of 4?
False
Let z(q) = 2*q**3 + q - 1. Let b be z(1). Suppose 0 = b*s - 6*s + 40. Does 10 divide s?
True
Suppose 0 = 7*g - 1482 - 1262. Is g a multiple of 12?
False
Suppose 2*a - 5*a = 0. Suppose 7*f - 4*f - 117 = a. Is 13 a factor of f?
True
Let m(o) = 73*o - 5. Is m(1) a multiple of 14?
False
Suppose 2*v = -t - t, -4*t - 3*v = 4. Let s = -21 - -19. Is 14/(s/(t/2)) a multiple of 7?
True
Is -4*1*-3*67/6 a multiple of 8?
False
Let w be (-2)/(-4) + 219/6. Suppose h + 7 = w. Is 15 a factor of h?
True
Let p(j) = -5*j + 1. Let k be p(-1). Let h = k + -1. Suppose h*q - 16 = 29. Does 9 divide q?
True
Suppose 4*r - 87 = 5*z - 258, -5*z - 4*r = -179. Does 7 divide z?
True
Let n be -26 - (-6 - 0)/(-3). Let h be (-266)/6 - 1/(-3). Let k = n - h. Does 16 divide k?
True
Is (204/(-180) - (-2)/15) + 34 a multiple of 12?
False
Let a = -59 - -115. Does 28 divide a?
True
Let x = -394 - -592. Is x a multiple of 34?
False
Suppose 4*q - a - a - 286 = 0, 3*q - 5*a - 232 = 0. Suppose 0 = -t - 2*c - 19 + q, -1 = c. Does 16 divide t?
False
Suppose -6*f + f - 5*a = -420, -f + 78 = -a. Is 4 a factor of f?
False
Let y = -141 - -201. Does 20 divide y?
True
Let b(f) = -2*f**2 + 4*f + 4. Let q be b(4). Let m be 1/((q/9)/(-4)). Suppose -m*d + 2*d + 3 = 0. Is 3 a factor of d?
True
Let z(d) = 56*d**2 - 4*d + 2. Does 28 divide z(2)?
False
Suppose 4*i - 80 = 4*z, 3*i + 13 = -4*z + 52. Does 17 divide i?
True
Suppose -455 = -4*n - 71. Is 24 a factor of n?
True
Suppose -2*w + 2 = 0, x - 62 = -4*w + 49. Is 15 a factor of x?
False
Suppose -q = 4*a - 592, -5*q = a - 0*q - 167. Is a a multiple of 23?
False
Suppose 2*r - 2*j = 46, 2*r = -0*r - 2*j + 62. Is r a multiple of 6?
False
Suppose -2*g + 3 - 96 = -t, 5*t = -5*g + 480. Suppose -3*q - 2*q = -t. Does 6 divide q?
False
Does 4 divide 11 + 3/(6/(-4))?
False
Let l be 3/6 - (-11)/(-2). Let n(u) = -u**3 - 6*u**2 - 7*u - 2. Is 6 a factor of n(l)?
False
Suppose -4*m - m = p - 18, -4*p + 4 = 3*m. Let k(i) = i**3 + i**2 + i - 7. Let f(g) = g**3 + 2*g**2 + 2*g - 8. Let h(r) = 5*f(r) - 6*k(r). Does 9 divide h(p)?
True
Let s be (0 - (-1 + 0))*2. Let a be 231/6 - 1/s. Suppose 5*w - 62 = a. Does 10 divide w?
True
Suppose 4*u - 222 = -2*l, 4*u - 2*l + 29 = 263. Does 9 divide u?
False
Suppose -5*i = -145 - 45. Let s = i - -12. Is s a multiple of 19?
False
Let u(o) = 14*o - 4. Does 21 divide u(6)?
False
Suppose 2*m = -5*c + c + 494, 2*c - 5*m - 253 = 0. Is 18 a factor of c?
False
Let d = -2 - -5. Suppose d*z - 8 = -z. Suppose -k - z*t + 3 + 24 = 0, 57 = 2*k + 3*t. Does 15 divide k?
False
Suppose 0 = -0*v + 5*v - 80. Does 5 divide (-6)/18 - v/(-3)?
True
Let t(n) = -3*n + 1. Let c be t(-3). Let s = c + 8. Is 7 a factor of s?
False
Let i = 39 + -28. Does 11 divide i?
True
Suppose 5*w + 0*w - 290 = 0. Let v = 106 - w. Does 16 divide v?
True
Suppose -w = 4*w - 15, -z = 4*w. Let d = z + 7. Let y = 12 - d. Is 12 a factor of y?
False
Suppose 8*k - 201 = 4*k - 5*j, -2*k - 3*j + 103 = 0. Does 9 divide k?
False
Let u be (-16)/6*(-15)/10. Suppose u = 2*l - 124. Is l a multiple of 25?
False
Let f be (-76)/(-6) + (3/(-3))/(-3). Suppose t - 6*t = -25. Let c = f + t. Is 11 a factor of c?
False
Suppose 0 = w + 5 - 2. Let i = w + 5. Suppose 3*k + 4*x - 17 = 0, -4 + 16 = i*k + 2*x. Does 3 divide k?
False
Let o(t) = -2*t**3 - t**2 - 3*t + 2. Does 14 divide o(-4)?
True
Let f = 257 - 160. Let m be f/5 + 6/(-15). Is 18 a factor of (-1 - 0/2) + m?
True
Suppose -4*a = 4*d - 152, -3*d + 51 = -3*a - 63. Does 19 divide d?
True
Let s = 30 + -21. Does 4 divide s?
False
Does 25 divide 0 + 3 + (0 - -47)?
True
Let h = -5 + 8. Suppose h*v = 2*v + 34. Is 13 a factor of v?
False
Is 11 a factor of 1/(-5) - (-168)/15?
True
Let m(q) = 5*q**2 - q - 1. Let p be m(-1). Suppose 0 = 5*c - 73 - 397. Suppose -c = -p*j + 1. Is j a multiple of 7?
False
Let y be 2/10 - (-848)/(-40). Let d = y + 27. Does 6 divide d?
True
Let o(i) = 4*i - 1. Suppose 2 = 2*v - 0*v - 5*y, -4*y = -v - 2. Is o(v) a multiple of 8?
False
Let p(u) = u**3 - 4*u**2 + 1 - 3*u**2 - u + 2*u**3. Let r(z) = 4*z**3 - 7*z**2 - z + 2. Let a(c) = -3*p(c) + 2*r(c). Is a(7) a multiple of 6?
False
Suppose w - 174 = -2*w. Is 10 a factor of w?
False
Suppose -5*b = -2*l + 17, 2*b - 6*b = -4*l + 52. Does 4 divide l?
True
Let m(g) = -g**3 - 5*g**2 - 3. Is m(-6) even?
False
Suppose 87 = 6*x - 21. Is x a multiple of 6?
True
Does 7 divide 66/3 + -4 + 3?
True
Is (-140)/(-6)*(13 - 10) a multiple of 24?
False
Let n(w) = w - 4. Let t be n(2). Let u(l) = -l**3 + 2*l + 1. Is 3 a factor of u(t)?
False
Let m = 4 - 1. Suppose -65 = -m*h - 2*h. Does 13 divide h?
True
Let y = -27 - 32. Let a = y + 99. Is 20 a factor of a?
True
Suppose 2*w + 2*w = f - 49, -5*f = 2*w - 223. Does 15 divide f?
True
Let s be -14 - 1/((-3)/3). Let d = s - -39. Is 6 a factor of (-2)/4 - d/(-4)?
True
Let b(x) = x**2 + x - 1. Let j be 3*(20/(-6) + 2). Is b(j) a multiple of 8?
False
Let u(p) be the first derivative of p**4/4 - 2*p**3/3 - p**2/2 - 2*p - 1. Let m be u(3). Let n = m + -1. Is n a multiple of 2?
False
Let a(d) = d**3 - 8*d**2 + 6*d + 9. Let x be a(7). Let u be (-4)/2 - 3*-3. Suppose x*y = u*y - 145. Is 11 a factor of y?
False
Suppose 3*v - 4 = 5. Suppose 0 = -v*a - 5*r + 38, -2*a + r = -3*a + 10. Is a a multiple of 6?
True
Suppose -85 = -3*h + 2*u + 3*u, 3*u = -15. Is 9 a factor of 184/h + 2/(-10)?
True
Suppose -3*w - 4*t = -6*w + 17, 3*t + 14 = w. Let u be (0 - -1)/(w/(-2)). Suppose 0*j - 4*j - 14 = -u*p, 5*p - 28 = 3*j. Is p a multiple of 5?
True
Suppose 0*l - 1 = -l. Let r be 1 + 1/l - 10. Is 4 a factor of 1 - 4 - r/1?
False
Let n(k) be the first derivative of 1/2*k**2 + 9*k - 1. Is 3 a factor of n(0)?
True
Suppose 2*d = 5*j + 413 - 1528, -5*d = j - 250. Is j a multiple of 24?
False
Let m = 44 - 24. Let j = -26 - m. Let p = j + 76. Is p a multiple of 10?
True
Let n = -13 - -17. Is (1/(-3))/(n/(-84)) a multiple of 3?
False
Let y(b) = -5*b - 1. Let q be y(-1). Suppose 0*c + 4*c = 8. Suppose q*m - c*l - 35 = 37, 5*l = 5*m - 90. Is 18 a factor of m?
True
Let t be (-1)/(2*3/(-54)). Let o be 10/4 + t/6. Suppose -o*c = -0*c - 88. Does 6 divide c?
False
Suppose -2*u - 44 = -3*x, -8 = -0*u + 2*u. Suppose i = -k - k + 9, x = -3*k. Is 14 a factor of i?
False
Let t(u) = -3*u - 10 + 11 + u + 0*u. Does 13 divide t(-6)?
True
Let u = -4 + 8. Let v be (4/u)/((-2)/(-10)). Let b(j) = 2*j**2 - 6*j + 5. Does 14 divide b(v)?
False
Let t(a) = -18*a - 2. Let q be t(2). Let d = 27 + q. Is 2/d + (-712)/(-44) a multiple of 8?
True
Suppose 0 = 5*t - 0*t, 0 = 3*y + 4*t - 24. Let d(r) = -r**3 + 8*r**2 + 5*r - 10. Let p be d(y). Suppose 2*v - p = -3*v. Does 5 divide v?
False
Let g(v) = v + 1. Let o(d) = 8*d + 8. Let k(u) = -14*g(u) + 2*o(u). Is k(3) a multiple of 8?
True
Suppose 3*x - 5*l = -l + 157, -2*x - 4*l = -78. Is 47 a factor of x?
True
Suppose -2*q + 14 = -q. Does 7 divide q?
True
Suppose 252 = 6*d + d. Does 18 divide d?
True
Let p(s) = -s + 5. Let k be p(4). Suppose 3*a = 5 + k. Is a even?
True
Does 7 div