(-120)). Suppose 9 + 23 = x*v. Is 2 a factor of v?
True
Is (0 + -11)*(-1)/(-2)*-14 a multiple of 2?
False
Suppose 0 = 21*n + 46978 - 131608. Is 155 a factor of n?
True
Suppose -7 + 4 = z. Let a(x) = -34*x - 6. Does 12 divide a(z)?
True
Suppose -18*h + 7636 + 10256 = 0. Is h a multiple of 64?
False
Let c(p) = 4*p + 138. Is c(56) a multiple of 4?
False
Suppose -g - 11*g + 1104 = 0. Is 13 a factor of g?
False
Suppose -268*x + 269*x = 439. Is 5 a factor of x?
False
Suppose -2489 = -5*r - 2*y, 2*r = -3*r + 5*y + 2510. Suppose -4*d - i + 388 = -3*i, -r = -5*d - i. Let v = 146 - d. Is v a multiple of 27?
False
Let k = 55 - 53. Suppose 2*o + o - 25 = -j, 5*j + 28 = k*o. Is 9 a factor of o?
True
Let r(z) = -z**3 - z**2 + 4*z + 4. Let u be (-7)/3 - (-8)/(-12). Let f be (0/u)/4 + -3. Does 3 divide r(f)?
False
Let w = -4 - 6. Let s = 8 + w. Let v(c) = -3*c**3 - 2*c**2 + c - 1. Is 3 a factor of v(s)?
False
Let j(a) = -a**3 + 5*a + 2. Let m be j(-3). Let z be ((-2)/3)/(m/(-105)). Suppose -z*v - 4*r + 303 = 0, -2*r = -5*v - r + 293. Does 13 divide v?
False
Suppose -5*f = 15, -3*f + 372 = 2*x - f. Is 4 a factor of x?
False
Let r(t) = 12 - 7 - 6 - 5*t**2 - 2*t**3 - 5 - 5*t. Is 31 a factor of r(-4)?
True
Suppose 3*x + 2*a - 37 = -3*a, -2*x + 23 = 3*a. Let q(j) = 4*j**2 - 5*j + 9. Is 11 a factor of q(x)?
False
Let g(b) = b**3 + 7*b**2 + 7*b + 6. Let u be g(-5). Let i = 23 - u. Is 13 a factor of -13 + 63 + 2/i?
False
Is (908/(-4))/((-2)/8) a multiple of 30?
False
Let b(q) = -5*q + 2. Let m(k) = 2*k + 5. Let z(i) = -i - 3. Let o(d) = -3*m(d) - 5*z(d). Let a(f) = -2*b(f) + 6*o(f). Is 23 a factor of a(8)?
False
Let b(x) = -x**3 - 7*x**2 - 7*x + 17. Let c be b(-5). Is 17 a factor of -3 + 141/c + (-2)/(-4)?
True
Suppose 8160 = 10*k - 4*k. Is k a multiple of 16?
True
Is 20 a factor of (2550/(-35))/(1/(-7))?
False
Suppose 23*p = 10*p + 10010. Is 16 a factor of p?
False
Suppose -32 = 3*k + 4*b, -4*b = 2*k - 0*k + 24. Let w be 0 - (k + (-1 - -5)). Let f = w - -21. Does 7 divide f?
False
Suppose 0 = -14*y + 1538 + 1416. Is y a multiple of 38?
False
Let v(a) = a**3. Let x be v(1). Let q be x*(2 - -1) + -33. Let p = 14 - q. Is p a multiple of 22?
True
Let q be 153/63 + 3/(-7). Suppose 0 = 4*o - 3*n - 4, -q*o - 5*n = -5*o - 8. Suppose p = o*g - 52, 0 = -4*g + 2*g - 5*p + 4. Is g a multiple of 4?
True
Suppose z + 4*r = -0*z - 11, -r = -2*z + 14. Suppose -i + 59 = k - 2*k, 283 = z*i - k. Does 12 divide i?
False
Suppose 12*x = -8*x + 440. Is 22 a factor of x?
True
Suppose -5*g = -3*s + 905, -s = 3*g + 313 + 216. Let t = -98 - g. Is 10 a factor of t?
True
Suppose 72 = 4*i - 48. Let s = -25 + i. Is s a multiple of 5?
True
Let o(y) = 8*y**2 - y + 11. Is o(5) even?
True
Let u(x) = -14*x**2 + x - 2. Let y(i) = -i**2. Let f(t) = -u(t) + 2*y(t). Let l be f(-2). Is (-2)/((-1)/l*2) a multiple of 26?
True
Let f = 1734 - 1184. Is 11 a factor of f?
True
Suppose n - 369 = -42. Is n a multiple of 6?
False
Let b(d) = d**2 + 12*d + 4. Let g be b(-12). Suppose g*u - 327 + 1302 = 5*z, -3*u = 0. Does 39 divide z?
True
Let p = -2006 - -2402. Does 33 divide p?
True
Suppose 25 = -4*d + 85. Suppose 0 = i - 4*i + d. Is (i - 3)/(2/32) a multiple of 8?
True
Let k = 719 + -419. Let b = -11 - -15. Suppose l - k = -b*l. Is l a multiple of 12?
True
Let u = 9 + -10. Let a be (-4 - u)*10/(-3). Suppose s - a = -y, 4*s + 59 = 5*y - 0*y. Is y a multiple of 5?
False
Suppose 0 = -3*i + 8 + 25. Let g(j) = -j**3 + 12*j**2 - j + 4. Let w be g(i). Let a = -67 + w. Is a a multiple of 28?
False
Suppose 0*t + 5*t = -25, -4*i = -3*t - 15. Suppose i = -3*g + 23 + 19. Is 18 a factor of g/(-7) - (-38 - 0)?
True
Suppose 4*h = -0*m + 5*m - 150, 3*h = -5*m + 115. Suppose 3*i + 96 = 4*q, -2 + m = q - 3*i. Is q a multiple of 12?
True
Suppose -10*a + 8 = -8*a. Let u(s) = 4*s + s - 3*s + 2*s**2 - s - 1. Is u(a) a multiple of 9?
False
Suppose 4*z + 5*m = 1636, 0*z - 2*m = -5*z + 2012. Is z a multiple of 4?
True
Let x(v) be the second derivative of -v**5/20 - 4*v**4/3 - 2*v**3/3 - 2*v**2 + 3*v. Does 12 divide x(-16)?
True
Let b = 118 - 118. Let i(y) be the first derivative of y**3/3 - y**2/2 + 3*y - 2. Is 2 a factor of i(b)?
False
Let y(d) = -d**3 - 6*d**2 + 15*d - 18. Suppose 0*h - 5*h + 5*f - 40 = 0, -4 = h - 5*f. Does 9 divide y(h)?
True
Is 30 a factor of (27 - 3)*(-30)/(-4)?
True
Suppose -18*v + 15*v = f - 504, 4*f - 4*v = 1968. Does 15 divide f?
True
Suppose 0*l + 24 = 5*y + 3*l, 4*y + 2*l = 18. Let k be (-174)/(y - 0) - -3. Let q = -33 - k. Is 22 a factor of q?
True
Let c(g) = -g**3 - g. Let z(s) = -6*s**3 - 6*s**2 - 7. Let u(r) = -5*c(r) + z(r). Is u(-7) a multiple of 4?
False
Let h = 33 - -23. Let c = h - -154. Is c a multiple of 42?
True
Suppose 6*x = 9*x - 825. Does 11 divide x?
True
Let p(i) = -i**2 - 14*i - 41. Let j be p(-7). Suppose j*z = 4*z + 196. Is z a multiple of 4?
False
Suppose 0*a - 51210 = 3*u - a, -3*a + 68280 = -4*u. Is 25 a factor of u/(-105) - (-6)/14?
False
Suppose -5*r + 191 = -2*t, 3*t = -5*r - 57 + 258. Suppose 2*l + 3*d = 3*l - r, -3*d + 105 = 5*l. Is l a multiple of 12?
True
Suppose -3*c = 3, -v + 3*c = -346 + 122. Does 6 divide v?
False
Suppose -3*k + 3*d = -291, -4*d = -2*k - 33 + 231. Does 25 divide k?
False
Suppose 0*w - f - 357 = -3*w, -w = -5*f - 119. Is w a multiple of 17?
True
Let i(g) = 2*g**2 - 3*g + 7. Let z be i(5). Suppose 3*d + 3*t - 6 + 0 = 0, -t - 4 = 0. Suppose -9*y + z = -d*y. Is 7 a factor of y?
True
Suppose 4*t - 129 + 9 = 0. Let b = t - -57. Suppose -2*l - b = -4*l + 3*s, 0 = -2*s - 10. Is 12 a factor of l?
True
Let k = -24 + 16. Let c(z) = z**2 + 8*z - 2. Let m be c(k). Is ((-3)/4)/(m/216) a multiple of 27?
True
Let b be -6*(-22)/3*63/28. Suppose 0*s + 4*s + b = 3*a, 3*s - 132 = -4*a. Does 33 divide a?
True
Suppose 4*c - 56 - 880 = 0. Suppose -5*m - 34 = -c. Is m a multiple of 5?
True
Let z = 596 - 533. Is z a multiple of 7?
True
Let t = 3508 + 3068. Is 17 a factor of t?
False
Suppose 0 = -5*h + 10*h - 20. Let w be 3 + (120/(-2) - h). Let y = w - -91. Does 10 divide y?
True
Suppose 94*u - 110*u + 43360 = 0. Does 8 divide u?
False
Does 13 divide (-4)/((-12)/195)*(-935)/(-55)?
True
Let f(a) = -3*a**2 - 3. Let t(g) = 16*g**2 + 16. Let h(k) = -11*f(k) - 2*t(k). Let w be h(2). Is ((-4)/w)/(6/(-15)) a multiple of 2?
True
Suppose -4*b + 337 = -5*c, 2*b - 5*c - 73 = b. Suppose b*m = 85*m + 300. Is 5 a factor of m?
True
Suppose -5*a + 39 = 4*v, -2*v - 6 - 24 = -2*a. Let m(t) = t**3 - 12*t**2 + 12*t + 15. Is 26 a factor of m(a)?
True
Suppose -4*p + u = -4798, -4790 = -4*p - 32*u + 37*u. Is 12 a factor of p?
True
Suppose s - 725 = v, -4*s - 3*v + 4242 - 1328 = 0. Is s a multiple of 75?
False
Let j be (0/(-1) - -4) + -1. Let m be (j/6)/(1/(-66)). Is 18 a factor of (-11)/(m/216) + -2?
False
Does 5 divide 0 + (-75)/(65/(-25) + 2)?
True
Let j = -16 + 71. Let r = j + -39. Is r a multiple of 4?
True
Let s = -1668 + 1849. Does 3 divide s?
False
Let l(w) = 5*w - 1. Let m be l(1). Suppose 0*n + m*n - 3*i - 67 = 0, 0 = 2*i + 2. Is 8 a factor of n?
True
Let p(f) = -f**3 + 10*f**2 - 9*f. Let r(g) = -g + 1. Let k be r(-8). Suppose -2*y + 15 = 5*t - 6*y, -2*t + y + k = 0. Is p(t) a multiple of 17?
False
Suppose 0 = -4*o + 2*o + 14. Suppose 3*i = 2*d + o*i, 16 = 5*d + 2*i. Is 4 a factor of d?
True
Let u = -42 - -36. Let n be (-129)/(-6) + (-2)/(-4). Let x = u + n. Is x a multiple of 5?
False
Let l be (52 + -3)/((-4)/(-4)). Let g = 109 - l. Is g a multiple of 5?
True
Suppose 599 + 2161 = 40*v. Is 41 a factor of v?
False
Let s(c) = 60*c - 4. Let p be s(-1). Let m = -4 - p. Is m a multiple of 30?
True
Suppose 2*h - 2*d - 19 - 13 = 0, 0 = 2*h + 5*d + 3. Suppose h*n + 348 = 17*n. Is 18 a factor of n?
False
Does 71 divide 7*15/245 - (-10931)/7?
True
Suppose 7*x - 1300 = -5*q + 6*x, -2*q - 3*x = -507. Is 21 a factor of q?
False
Let a = -19 - -45. Let q = a + -26. Suppose q = -3*f - 36 + 99. Is 6 a factor of f?
False
Let q(j) be the third derivative of -j**4/8 - j**3/3 - 25*j**2. Is 25 a factor of q(-9)?
True
Suppose 233 = 5*i - 3*f - 565, -3*i + 478 = -2*f. Does 18 divide i?
True
Suppose -15 - 8 = -d. Let g = d - 20. Suppose -g*h = -k - 7, 2 = -h - 2*k + 16. Is h a multiple of 2?
True
Suppose -4*f + 5010 = 1838. Suppose 794 = 3*l + 4*c, 0*l - f = -3*l - 5*c. Is 9 a factor of l/10 + (-20)/(-50)?
True
Is (-15)