-4*m - l. Is o a multiple of 17?
False
Suppose -8 + 3 = j, -3*v - 5*j + 974 = 0. Suppose 0 = -2*u - 123 + v. Is 21 a factor of u?
True
Let v(t) = t**3 - 18*t**2 + 15*t + 38. Let w be v(17). Suppose -w*o = -o - 78. Is 12 a factor of o?
False
Let u(x) = 3*x**3 - x**2 + 4*x + 5. Is u(5) a multiple of 15?
True
Suppose -11*t + 6*t + 20 = 0. Let z(x) = x**2 - 3*x - 2. Let i be z(t). Suppose -3*r + p = -93, -75 = -i*r - p + 6*p. Is 10 a factor of r?
True
Let a(q) = 8*q**3 - 11*q**2 + 34*q + 3. Does 17 divide a(6)?
False
Let x(p) = -2*p**2 + 14*p - 18. Let m(a) = -3*a**2 + 15*a - 18. Let v(r) = -3*m(r) + 4*x(r). Let g be v(-12). Let q = g - -21. Does 4 divide q?
False
Suppose 19*o = 80*o - 59658. Is o a multiple of 44?
False
Suppose 2*s + 0*y = 4*y + 250, -5*s + 657 = -2*y. Suppose l + 2*f - s = -2*f, 0 = -2*l + 5*f + 266. Does 13 divide l?
False
Let d = -269 + 247. Let a(f) = 2*f**2 + f + 4. Let c be a(-4). Let n = d + c. Is 10 a factor of n?
True
Suppose -1514 + 288 = -2*t - 4*l, -5*l - 641 = -t. Is t a multiple of 27?
True
Let k = -43 + 43. Suppose k = 3*b - 7*b + 188. Is b a multiple of 9?
False
Suppose -6*s - 357 = -3*s. Let g = 200 + s. Does 23 divide g?
False
Let g = -111 - -78. Let k = g - -35. Suppose -k*p = -42 - 6. Is 8 a factor of p?
True
Suppose 138 = 2*t - 2*m, 2*t - 4*m - 67 = 75. Suppose -3 = 3*v, -3*g + 3*v + t = -5. Does 4 divide g?
False
Let x be 1 + ((-4)/2 - -1009). Suppose 22*v = 13*v + x. Is v a multiple of 14?
True
Let h(o) = -8*o**2 + 11*o + 7. Let p be h(8). Let r = -282 - p. Is 27 a factor of r?
True
Let y(t) = 28*t**2 - 2*t + 2. Let w be ((-6)/(-4))/(15/10). Is y(w) a multiple of 19?
False
Suppose 1 = 2*s - 3. Let y(m) = 3*m**3 - m**2 + 4*m. Is y(s) a multiple of 7?
True
Suppose -5*l - 1 = -11. Suppose -17 + l = -a. Suppose y - a = 4*u + u, 0 = u - 1. Does 11 divide y?
False
Let g(w) = -w**2 + 2*w - 2. Let l(s) = -s**2 + 1. Let j(h) = g(h) - 2*l(h). Does 14 divide j(-7)?
False
Suppose 0 = a - 2, -4*x + 5*x + 4*a - 19 = 0. Suppose x + 74 = d. Is d a multiple of 5?
True
Let z be (-56)/(-6)*(-6)/(-4). Suppose 0 = 4*s + p - z, 2*p = 4*s - s - 5. Suppose -4*h = i - 112, 3*i - s*h - 21 - 270 = 0. Does 33 divide i?
False
Let c = 583 - -317. Does 60 divide c?
True
Suppose 12*m + 94 = 14*m. Let f = m + -19. Is f a multiple of 8?
False
Suppose 103*g - 331561 - 169328 = 0. Does 16 divide g?
False
Let z = -639 + 1949. Is 10 a factor of z?
True
Suppose -4*j + 910 = y - 11190, -3*y = 4*j - 12108. Is 108 a factor of j?
True
Let t = -1975 + 3559. Does 72 divide t?
True
Let c = -39 + 60. Suppose -116 = -22*b + c*b. Does 15 divide b?
False
Is 20/(-290) + (-67978)/(-29) a multiple of 22?
False
Let n be (-6)/(-45) + (-17)/15. Is 21 a factor of ((-2030)/6)/(-5) - n/3?
False
Let d(v) be the first derivative of -v**3/3 + v - 9. Let q be d(-1). Suppose 4*f + p - 46 = q, -f = p + p - 8. Does 12 divide f?
True
Let c be (42/8)/((-6)/(-32)). Suppose -4*w + c = 3*w. Suppose -61 = -w*z + 183. Is z a multiple of 21?
False
Is (-2)/6 - (-26234)/78 a multiple of 19?
False
Let z = -360 + 312. Let g = -1 - 3. Is -2 - g - 1*z a multiple of 25?
True
Let a be -1*1/5 + 7958/115. Suppose 0 = -a*c + 64*c + 180. Does 3 divide c?
True
Let q(h) = h**3 + 23*h**2 + 2. Let k be q(-23). Suppose k*v = -3*v + 680. Is 34 a factor of v?
True
Let w = -130 + 317. Does 17 divide w?
True
Let l = -41 + 43. Suppose 173 = 3*p + l*u - 25, -u = 0. Does 6 divide p?
True
Is ((-1)/(2/(-174)))/1 a multiple of 3?
True
Let s be 4/(3*(-3)/(-81)). Let n be (-8)/s + (-6)/(-27). Suppose n = d - 4*d + 69. Is 23 a factor of d?
True
Suppose 8 = 4*g, -2*g = 3*c + 2*g - 1868. Is c a multiple of 62?
True
Is (-20)/4 + (193 - 3)/2 a multiple of 3?
True
Suppose 5*l = -2*z + 1879, -2*l + 2246 = 2*z + 370. Is z a multiple of 33?
False
Suppose -64 = 47*q - 48*q. Is q a multiple of 10?
False
Let t be (1 + -2)*-83*3. Suppose 3*g = p - g - t, -5*p = -g - 1283. Is p a multiple of 29?
False
Suppose -390 = 5*q - 20*q. Let o = 143 - q. Is o a multiple of 13?
True
Let p be 16*(14/8 + -1). Let m be (-309)/p + (-1)/4. Is (-204)/m + (-12)/(-78) a multiple of 3?
False
Let u(t) = 65*t**2 + 3*t - 2. Let m(w) = w**2 + 12*w - 27. Let c be m(-14). Is 7 a factor of u(c)?
False
Suppose 0 = d - 3*q - 92, -4*d - 9*q + 13*q + 328 = 0. Is d a multiple of 2?
False
Let q(b) = b**3 - 7*b**2 + 6. Let s be q(7). Let i(g) = g**3 - 6*g**2 + 2*g - 6. Does 6 divide i(s)?
True
Let g be 2/7 + 7/(245/515). Suppose 1072 - 172 = g*f. Is f a multiple of 4?
True
Let k(w) = 231*w**2 + 9*w - 12. Is k(2) a multiple of 30?
True
Let g = -76 - -72. Does 21 divide (-6)/(-2)*-7*(g - 3)?
True
Let r(y) be the third derivative of y**6/60 + y**5/60 + y**4/24 + 8*y**2. Let f be r(-1). Does 10 divide f/(3 + -1)*-40?
True
Suppose -5*b = -4*b. Let p be (-4 - (b + -2)) + -2. Is 12 a factor of 48 - (-2)/p*0?
True
Let b = -4 + -2. Is (-18)/(-4)*((-98)/b - 3) a multiple of 20?
True
Let t(f) = 28*f**2 - 4*f + 4. Does 6 divide t(2)?
True
Suppose -13*z = -19*z + 390. Let r = z - 33. Does 3 divide r?
False
Let r(h) = -h**3 + 3*h**2 + 5*h + 2. Let w be 6/(-2) + (0 - 0). Is 8 a factor of r(w)?
False
Let p be (-6)/(-3 + 5) - -286. Suppose -4*q + 620 - 147 = 5*g, p = 3*g + 2*q. Is 31 a factor of g?
True
Suppose -17*k + 129 = -58. Let o(a) = 6*a + 2. Let y be o(6). Let f = y - k. Is 9 a factor of f?
True
Suppose 3*f - 2 - 22 = 0. Suppose 5*i - 6*o + 3*o = 12, 0 = -4*i - 2*o - f. Suppose -5*m = -5*c - i*c - 60, m = -5*c - 12. Is 4 a factor of m?
True
Suppose -45*c - 144 = -46*c. Is c a multiple of 21?
False
Let w = -659 - -923. Suppose -j + 3*x = -w, j + x + 2*x - 264 = 0. Is 24 a factor of j?
True
Let t = 5 + -20. Let b = 27 + t. Suppose -b + 2 = -m. Does 3 divide m?
False
Does 16 divide 402/1 - 5 - -6?
False
Is ((-24)/84 + (-1012)/(-14))*4 a multiple of 25?
False
Let a(u) = u + 2. Let h be a(0). Suppose 0 = d - 5*w - 24, 4*w + 28 = 5*d + h*w. Suppose -3*y + d*f = -28, y - 3*y - 5*f + 57 = 0. Does 8 divide y?
True
Let p(s) = s**2 - 4*s - 17. Let a be p(7). Suppose -5*b = 5*l - 255, -b - a = b. Is 22 a factor of l?
False
Let j = -2010 + 4090. Is j a multiple of 63?
False
Let g(y) = 28*y**2 - 4*y + 33. Is g(4) a multiple of 38?
False
Suppose -2*r = 4*d - 3*r - 16, -8 = -2*d + r. Suppose -2*k = 2*q - 26, -26 = -q - q + d*k. Let c = 28 - q. Is c a multiple of 5?
True
Does 69 divide (7/(-4))/(-5 + (-11817)/(-2364))?
False
Is 11 a factor of (-476)/(-119)*1/((-8)/(-622))?
False
Let y be ((-2832)/(-36) - (2 + -1))*3. Suppose -4*u + y = 4*d - 335, 454 = 3*u - 4*d. Is u a multiple of 10?
False
Suppose -m = 42 - 10. Let a = 17 + m. Is 35 a factor of 100/a*42/(-4)?
True
Suppose 5*m = -g + 7590, -3*g = 17*m - 12*m - 7590. Does 22 divide m?
True
Suppose 3 = 7*q - 18. Suppose q*j + 4*b - 9 = 46, 135 = 5*j - 2*b. Does 9 divide j?
False
Suppose -40*t = 22 - 2542. Is 18 a factor of t?
False
Let p(k) = 7*k**2 + 53*k + 457. Is p(-8) a multiple of 52?
False
Let c(p) = -3*p**3 - 15*p**2 + 13*p + 10. Does 6 divide c(-10)?
True
Let q(d) = d**3 - d. Let r(o) = -o**3 - 10*o**2 + 16*o + 6. Let z(x) = -2*q(x) - r(x). Let v be z(8). Let a(p) = p**2 - 9*p + 6. Does 3 divide a(v)?
False
Let m(w) be the third derivative of w**5/20 + w**4/24 + 8*w**2. Let q be m(-1). Let r = 15 - q. Does 5 divide r?
False
Suppose -34*c + 36*c - 2*s - 244 = 0, 5*c - s = 590. Does 6 divide c?
False
Does 27 divide 50 - -1612 - (-24)/2?
True
Let o be (2 - 4)*4/(-2). Let p be (3 - 10/o)*-72. Let f = p + 56. Does 10 divide f?
True
Let f(j) = -j**3 + 11*j**2 - 9*j - 10. Let h be f(10). Suppose -y + 2 = -h*y. Is ((-3)/y)/((-6)/32) a multiple of 8?
True
Suppose 0 = f + 3*w - 687, -4*f + w = -w - 2776. Is 21 a factor of f?
True
Let x be 4/16 + (-62)/(-8). Suppose 0 = -2*c - c + y + 38, c + 2*y = x. Is c a multiple of 6?
True
Let k(w) = -20*w + 128. Is k(-12) a multiple of 58?
False
Let s = -19 + 7. Let x be (20/(-16))/((-3)/s). Is (-254)/(-4) + x/(-10) a multiple of 16?
True
Let x = -575 - -5261. Is 22 a factor of x?
True
Let b(z) = z**3 + 10*z**2 - 11*z + 6. Let n be b(-11). Is 5 a factor of (3*104/n)/(4 - 2)?
False
Let a = -13 + 18. Let p = 1 + a. Let g(j) = j**2 - 2*j + 8. Is 32 a factor of g(p)?
True
Let h = -77 + 509. Is h a multiple of 12?
True
Let q = 3546 + -2455. Is 82 a factor of q?
False
Let a = -7 + 15. Let v(j) = 