2 - 9. Let v = g + 11. Is 4 a factor of v?
True
Let x = 18 - 2. Suppose 3*b = -5*u + 14, -b = u - 4 - 0. Suppose 3*n + 45 = b*v, -2*v - 5*n + 35 + x = 0. Is v a multiple of 9?
True
Suppose 4*n = -0*n - 84. Let v = 26 + n. Suppose -5*t - 18 = -y + 16, v*t - 111 = -4*y. Is y a multiple of 9?
False
Let u(a) = 2*a**2 + 2*a - 1. Let o be u(1). Suppose -5*w - 5*p - 25 = 0, -o*w - 3*p = 2*p + 19. Is ((-6)/w)/(3/30) a multiple of 10?
True
Suppose 0 = -22*n + 24*n - 6. Suppose 26 = 3*t + 4*z, t - 33 = -2*t + n*z. Is 9 a factor of t?
False
Let z(v) be the second derivative of -v**5/20 - 5*v**4/6 - 3*v**3/2 + v**2/2 - v. Let w be z(-9). Let t = 21 + w. Does 4 divide t?
False
Let l be (-26)/(-4) - 3/2. Let f(j) = 4*j - 2*j**3 + 3*j**2 - l + 2 + j**3 + j. Is f(3) a multiple of 6?
True
Suppose 4*g + 325 = 3*v, 0 = 2*v - g - 156 - 64. Is v a multiple of 11?
False
Suppose 9684 - 708 = 8*j. Is j a multiple of 17?
True
Let q(p) = -23*p - 8. Let x = 92 - 99. Does 17 divide q(x)?
True
Let m(t) = -2*t - 6 + 4 + t + t**2 - 33*t**3 + 0*t**3. Does 7 divide m(-1)?
False
Suppose 113 + 219 = 4*v. Let o = -47 + v. Is o a multiple of 14?
False
Let m(r) be the second derivative of r**4/12 - r**2 - r. Let c be m(0). Is 6 a factor of (-2 - (c - 1)) + 17?
True
Suppose -3*m + 5 = -5*u, 2*u - 3 = 1. Suppose -3*k = -m*k + 390. Is k a multiple of 19?
False
Let v(i) = -i + 2. Let q be v(-8). Suppose -3*d = 15, -5*w + 219 + 11 = -4*d. Let o = w - q. Is o a multiple of 14?
False
Let k = 287 + -170. Is k a multiple of 24?
False
Let t(z) = -2*z**3 - 15*z**2 - 17*z - 105. Does 45 divide t(-12)?
True
Let p(s) = 3*s**2 - 6*s + 3. Does 8 divide p(-3)?
True
Let a(d) = -d**3 + 11*d**2 + 9*d - 53. Is a(9) a multiple of 41?
False
Let c = -3047 + 5302. Is 27 a factor of c?
False
Let y(s) = 20*s + 93. Is 47 a factor of y(7)?
False
Let h = 2419 - 1717. Does 18 divide h?
True
Let a be (-68)/(-14) + (-1)/(-7). Suppose 1 - a = -x. Suppose -x*v + 2*v = -80. Is v a multiple of 20?
True
Let r = 279 - 220. Is 4 a factor of r?
False
Is 633/1 + 10/6*3 a multiple of 18?
False
Let j be (-4)/2*(12 - 2). Let f = j - -8. Is 3 a factor of 24/10*(-40)/f?
False
Suppose -50*p = -13*p - 37851. Is 11 a factor of p?
True
Let q(h) = 85*h. Let a be q(1). Suppose -z - 15 = -a. Suppose -2*r + 4*l = -z, 0 = -2*r - 3*r + 4*l + 151. Is 9 a factor of r?
True
Let k(m) = 3*m**2 - 3*m + 9. Let x(a) = a**2 - 2*a + 4. Let p(y) = 2*k(y) - 5*x(y). Let n(c) be the first derivative of p(c). Is 5 a factor of n(6)?
False
Suppose 14*x - 15*x + 828 = 0. Does 46 divide x?
True
Let r = -685 - -818. Is 11 a factor of r?
False
Suppose -924*z + 934*z - 9450 = 0. Does 15 divide z?
True
Let y = 9 + -6. Suppose y*r = 6, -2*m + r = -2*r. Suppose -30 = m*x - 6*x. Does 10 divide x?
True
Suppose -3*u = -29 - 469. Is u a multiple of 2?
True
Let y = 9 + -1. Let c be (-100)/y + 1/2. Is 13 a factor of c/((2/(-7))/1)?
False
Suppose -288 = -2*q + 314. Is 30 a factor of q?
False
Let d(z) = -5*z**2 - 10*z - 8. Let f(m) = 4*m**2 + 11*m + 7. Let n(r) = -5*d(r) - 6*f(r). Does 3 divide n(17)?
True
Let a(h) = h**2 - 11*h - 12. Let i be a(12). Suppose 3*k - 59 = -4*s, i = s + 4*k - 14 - 4. Does 2 divide s?
True
Suppose 75 = 3*p - 0. Let k = -10 + p. Is k a multiple of 3?
True
Let b(t) = -63*t**2 - 3*t + 1. Let g be b(1). Let c = g - -142. Is c a multiple of 14?
False
Let u = -734 + 1074. Is 17 a factor of u?
True
Suppose -5*k + 23082 = k. Does 24 divide k?
False
Let h = 6 + -9. Let y = 6 + h. Suppose -3*j + 172 = -5*c + 52, 4*j - y*c - 171 = 0. Is j a multiple of 12?
False
Suppose 5*s = h - 0*h - 20, 2*s = -3*h + 26. Let t = 14 - h. Suppose -2*g - 3*k = -41, 4*g + t*k - 80 = -0*g. Is g a multiple of 12?
False
Let q = 22 + -17. Suppose -3*s - 6 = -0*s, 5*s = -q*g + 550. Is 16 a factor of g?
True
Does 7 divide (4 - 3)*99 - (5 - 4)?
True
Suppose 0 = -6*k + k + 10. Let p be k/(-10) - (-1089)/45. Let u = p - 3. Is u a multiple of 7?
True
Let r = 949 - 758. Is r even?
False
Let c = -7 - -15. Suppose -5*i + 18 = -3*u, 2*i - 5*u = i + c. Does 17 divide (102/4)/(i/6)?
True
Let o = -40 + 42. Suppose -166 = -3*t - 0*d + o*d, 5*t - 266 = -2*d. Is t a multiple of 7?
False
Let s = 17 + 568. Is 5 a factor of s?
True
Suppose -8*o = -3*o - w - 19, 8 = -2*w. Suppose 3*z + 15 = u, -2*u = -7*u + o*z + 135. Does 10 divide u?
True
Let m be 2/2 + (27 - 12). Suppose -12*d - 896 = -m*d. Is d a multiple of 12?
False
Let g = 42 - 5. Let r = 50 - g. Does 5 divide r?
False
Let r be 2/((-6)/(-15))*1. Suppose 5*g + 3*y = 290, 0*y + 5*y = -r*g + 280. Is g a multiple of 34?
False
Let h = 3070 + -2123. Does 12 divide h?
False
Is 4 - ((-2)/(-3) + 35550/(-27)) a multiple of 33?
True
Suppose -4*j = 5*g - 12917, 33*j = 2*g + 38*j - 5177. Does 29 divide g?
True
Let b = 32 + -17. Let i = 150 + -141. Let h = b - i. Is 4 a factor of h?
False
Let i = 41 + -37. Suppose 442 = 5*w - i*h, -w + 5*h - 1 + 81 = 0. Is w a multiple of 10?
True
Let v(j) = -j**3 + 7*j + 3. Let b be v(5). Let n = b - -137. Is 10 a factor of n?
True
Let o(b) = 390*b - 46. Does 56 divide o(5)?
True
Suppose -l + 4*l + 36 = 0. Let a = l + 15. Let z = a - 0. Is z a multiple of 3?
True
Does 36 divide (3/3)/(-5) + (-23410)/(-50)?
True
Let l(k) = 93*k**2 - 7*k - 9. Is l(-2) a multiple of 13?
True
Let y = 710 - 221. Does 43 divide y?
False
Suppose 2*w + 2*z = 256, -4*w + 396 = -5*z - 116. Suppose -3*q + w = 5*a + 4, -8 = 4*q. Is 6 a factor of a?
False
Suppose 4*n + 47 = -2*y - 33, -4*y = 3*n + 50. Is 56 a factor of (-5108)/n - 4/22?
False
Suppose -3*z - 70 = -13*z. Suppose 24 = 11*h - z*h. Is 2 a factor of h?
True
Let o(i) = i**2 - 4*i. Let f be o(2). Let s be -43*(-4)/(-8)*f. Let q = s - 46. Does 9 divide q?
False
Suppose 2*p - 115 = 5*v + 5*p, 2*p + 120 = -5*v. Let c = -344 + 299. Let u = v - c. Is u a multiple of 12?
False
Does 20 divide (60/7)/(15/1260)?
True
Let s be ((-84)/(-10))/(11/(-110)). Let b = s + 136. Is 13 a factor of b?
True
Let i be (2 - 38)*(-2 + 1). Let y = -33 + i. Suppose 0 = -0*o - o + y, -4*f + 193 = 3*o. Is 15 a factor of f?
False
Let m(o) = 63*o - 1. Let q be m(5). Suppose -2*b - 44 = -q. Let h = b - 95. Is 20 a factor of h?
True
Let p(x) = 2*x**2 - 3*x - 2. Let o be p(-2). Let a = 45 + -41. Let t = o - a. Does 8 divide t?
True
Suppose -4*f + 3*f + 4 = 0. Suppose 7*a + f*q - 32 = 3*a, 2*a = -q + 11. Suppose -a*t + 88 = -2*w, 4*w - 125 = -5*t + 3*w. Does 8 divide t?
False
Suppose -12 = -4*f - 0. Suppose f*l + 2*r = 6*l + 216, -15 = -5*r. Let t = -49 - l. Does 6 divide t?
False
Let i be (-4)/(-2) + -2 + 2. Suppose -3*p + 3 = -i*p. Is 10 a factor of (-90)/(-6)*2/p?
True
Is (-312)/(-21)*((-95)/(-10) + -6) even?
True
Suppose -2*y + 3267 = 135. Is y a multiple of 27?
True
Suppose 5*y = -z - 0*z + 1900, 3794 = 2*z + 4*y. Is 15 a factor of z?
False
Let o(k) = 726*k - 223. Is 5 a factor of o(1)?
False
Let o be (-4 - -22)/(((-24)/(-4))/(-3)). Is (-172)/(-18) - 4/o a multiple of 5?
True
Suppose 1 + 6 = 2*s - 3*g, -2*g + 2 = 0. Is s a multiple of 5?
True
Let g be (-1)/2 - 9/6. Let r = g + 20. Let n = r + 18. Is n a multiple of 18?
True
Suppose 5*k - 80 - 30 = j, 33 = k + 2*j. Let v(z) = -z**3 - 13*z**2 - 16*z - 11. Let b be v(-12). Suppose -3*h + b = -k. Is 5 a factor of h?
True
Suppose -4*s + l - 1092 = 0, 2*l - 79 = -3*s - 887. Let j = s - -64. Does 7 divide (j/20)/((-6)/15)?
False
Let o(y) = -1. Let i(t) = -26*t + 2. Let k(h) = i(h) + 6*o(h). Is 8 a factor of k(-2)?
True
Suppose 3*t - 10*t = -5810. Does 83 divide t?
True
Let i = 22 + -20. Suppose i*b = -51 - 19. Is 14 a factor of (-4 + 64/20)*b?
True
Suppose 5*p + 8*i - 1320 = 3*i, p = 4*i + 244. Does 9 divide p?
False
Let y(a) = -2*a**3 + 2*a**2 + a. Let s be y(-2). Suppose -162 = -2*c + s. Let i = -53 + c. Does 10 divide i?
False
Let c(v) = 33*v**2 + v. Let n be c(1). Suppose -22 = -7*j + n. Does 4 divide j?
True
Suppose 608 = -3*n + 2*b, n + 3*b + 184 = -b. Let a = n + 359. Does 10 divide a?
False
Let j = 104 + -45. Suppose 0 = n - k - j, 8*k - 3*k = n - 39. Suppose 3*h - 65 - n = 0. Does 13 divide h?
False
Let q(c) = -1 - 5 - 2*c + 0*c. Is 2 a factor of q(-10)?
True
Suppose 20 = 9*p - 4*p. Let h be (p/(-6))/((-12)/(-18)). Is (-27)/(-2) - h/(-2) a multiple of 3?
False
Suppose 4*f + 2876 = 3*t, -2185 - 689 = -3*t + 3*f. Is t/10 - (-9)/((-180)/(-8)) a multiple of 15?
Fa