v = b, w = 3*t - 5*b. Is 30 a factor of t?
False
Suppose -166*o + 9660 = -161*o. Does 23 divide o?
True
Does 5 divide -9 - (-126)/15 - 396/(-10)?
False
Suppose -5*x + 4*x = -405. Suppose 4*w - x = -w. Is w a multiple of 12?
False
Let q(n) = n**3 - 7*n**2 + 9*n - 9. Let g be q(5). Let p = g + 12. Is ((-12)/(-10))/(p/(-15)) a multiple of 9?
True
Suppose -3*c + 6*c = 2355. Suppose -5*a + c + 295 = 0. Does 27 divide a?
True
Suppose -d - d = -w + 213, 5*d = -4*w + 852. Suppose 3*z - 192 = 5*t, 3*z + 0*t = -2*t + w. Does 7 divide -1 + (z/3 - 1)?
True
Let j(g) = 62*g**2 - g - 4. Let i be j(-2). Let m = i + -138. Suppose 11*w + m = 14*w. Is w a multiple of 18?
True
Let u(a) = 9 + 1 - 1 + 5*a - 4. Suppose 38 = 4*i + 2. Is u(i) a multiple of 25?
True
Let a be ((-6)/60*-5)/((-1)/(-372)). Suppose -3*c = -2*d - a, -5*c = 3*d - 4*d - 310. Is c a multiple of 31?
True
Suppose 0*u + 4*j = -2*u + 14, 6 = -3*u + 3*j. Let p be ((8 - 1) + -3)*u. Is (-2 + p - 3) + 61 a multiple of 15?
True
Suppose 0*m - f = 3*m - 722, 5*m + 3*f = 1206. Is m a multiple of 15?
True
Suppose -35 + 20 = 3*n. Let a(f) = -f**2 - 11*f + 2. Let x be a(n). Let i = x - 21. Is i a multiple of 4?
False
Let l(h) = -h - 3. Let r be l(3). Let q(v) = 2 + 0*v**3 - 2*v**3 - 1614*v**2 + v**3 + 3*v + 1610*v**2. Does 17 divide q(r)?
False
Suppose 2*i - 124 = 64. Suppose -5*h - 19 = 6, i = 2*a + 4*h. Let d = a + 28. Does 17 divide d?
True
Let a be (2 - (11 - -1))/(-2). Suppose -3 + 13 = a*q. Is q a multiple of 2?
True
Let a = 360 + -240. Let y = 182 - a. Is y a multiple of 10?
False
Let t be 10/15 - (-48)/9. Suppose -w = -t*w - 10, -445 = -5*s + 5*w. Is 29 a factor of s?
True
Let o be 4*((-20)/8 - -3). Suppose -o*p = -8, -3*g = 2*g + 4*p - 51. Is g a multiple of 7?
True
Suppose 32 = 3*l - 5*r, l - 3*l + r + 12 = 0. Is (l/10)/(-1*4/(-460)) a multiple of 8?
False
Suppose 0 = -6*k + 23 + 13. Let j(g) = -9*g - 10. Let a(u) = 5*u + 5. Let f(n) = -7*a(n) - 4*j(n). Is f(k) a multiple of 11?
True
Suppose 0 = -5*g + 25 - 5. Suppose -k = 2*k + 3*z - 18, g*k = -3*z + 21. Is -2 + k - (-22 - -1) a multiple of 11?
True
Suppose 20 = h + 4*h. Suppose h*p - 224 = -2*s - p, 5*s - 3*p - 498 = 0. Is s a multiple of 17?
True
Let c = -78 - -86. Suppose -11*l + 915 = -c*l. Does 14 divide l?
False
Let f(s) = 4*s**2 + 7*s + 5. Let b(y) = 2*y**2 + 15*y + 4. Let x(l) = -3*l**2 - 22*l - 6. Let c(u) = -7*b(u) - 5*x(u). Let h be c(-3). Is 24 a factor of f(h)?
False
Let s(z) be the first derivative of z**5/20 - 3*z**4/2 + 19*z**3/6 - 17*z**2/2 - 2*z + 8. Let t(f) be the first derivative of s(f). Does 12 divide t(17)?
False
Let r = -11 + 16. Suppose 0 = r*o - 22 + 2. Suppose 30 = -3*z + o*z. Does 15 divide z?
True
Let a(w) = 3*w - 5. Let m be a(7). Suppose -3*g - g = -m. Is (g - 0)*14*1 a multiple of 13?
False
Let h(q) = -q**3 - 6*q**2 - 4*q - 10. Let s be h(-8). Suppose -s = f + f. Let b = -38 - f. Is b a multiple of 19?
False
Suppose -13*x - 712 = -15*x. Is 42 a factor of (0 + x)*(-12)/(-16)?
False
Let q(z) = z**3 - 7*z**2 + 8*z - 1. Does 22 divide q(8)?
False
Let y = 8247 + -5625. Is 4/(-22) - y/(-22) a multiple of 17?
True
Suppose 16 = -3*a - a, 3*x + 2*a - 454 = 0. Is 31 a factor of x?
False
Let s(h) = h**2 - 8. Let x be s(-3). Is 18 a factor of -6*(69/(-9) + x)?
False
Let y(f) = -f**3 + 4*f**2 - 3*f + 2. Let w be y(3). Suppose -3*q - w*q + 5*o = 130, -2*q - 40 = o. Let g = q + 48. Does 13 divide g?
True
Let b(g) = 10*g**2 + g - 6. Let t be b(-5). Let y = -1 + t. Suppose 4*x - y = -3*x. Is 8 a factor of x?
False
Suppose -14 = -2*y + 4*n - 0, -3*n = -2*y + 13. Suppose 0 = 4*f, -y*u - 4*f + 9*f = -1225. Is 35 a factor of u?
True
Suppose 3 = -s + 5*r, -3*r = s - 2*r + 15. Let v = s - -29. Does 3 divide v?
False
Suppose 4*o + 16 = 4*u - 3*u, 0 = 4*o + u + 8. Let d be 7*(o + 46/14). Suppose d*b - 65 + 8 = -3*k, 3*k + 51 = 2*b. Does 10 divide b?
False
Let q(s) = s**2 - s + 22. Suppose -15 = -12*g + 7*g. Suppose 0 = -g*z + z. Is 11 a factor of q(z)?
True
Suppose 94*w = 22*w + 3456. Is w a multiple of 24?
True
Let c = 18 + -10. Suppose -3*s - 5*x + 0 - c = 0, 0 = -2*x + 4. Is 14 a factor of s/(-21) - 362/(-7)?
False
Suppose 2*n - 5*m - 32 = 0, -3 = -n - 3*m - m. Is n a multiple of 4?
False
Let y be 14*(0 + 2 + -3). Let n = -10 - y. Suppose -3*h + n*u + 179 = -23, 0 = 2*h - 5*u - 130. Is 13 a factor of h?
False
Let d(f) = 56*f**3 + 3*f - 2. Let n be d(1). Suppose 5*i + 4 - 14 = 0. Suppose -5*a = -3*y + n, 3*a + 117 = 5*y + i*a. Does 12 divide y?
True
Suppose -11*c + 2*r - 2262 = -16*c, 2264 = 5*c + 4*r. Does 68 divide c?
False
Let g = 111 - -163. Let c = g + -87. Is c a multiple of 16?
False
Let u(w) = 85*w - 32. Let v be u(5). Suppose -3*r + 3*b = -v, 0*r - r + 119 = 3*b. Is 8 a factor of r?
True
Let l(h) = h**3 - 5*h**2 + 4*h + 12. Let r = -19 - -26. Suppose 0 = -q + r - 2. Is 10 a factor of l(q)?
False
Let x(t) be the first derivative of -19*t**4/4 + t**3/3 + t**2/2 - 2*t - 13. Is 19 a factor of x(-2)?
True
Suppose -6*v + 1141 + 71 = 0. Is v even?
True
Let x(s) be the second derivative of s**5/20 + s**3/6 + 22*s**2 - 5*s. Let q be x(0). Suppose 3*z = -j + q, 2*z + 2*j - 39 = -11. Is 3 a factor of z?
True
Suppose -6*u = -u - 2*w - 187, 5 = -5*w. Is 7 a factor of u?
False
Let r(d) = -31*d - 234. Does 100 divide r(-22)?
False
Let t(n) = 7*n**2 - 25*n + 138. Does 28 divide t(6)?
False
Let g(p) = p**3 - 8*p**2 + 10*p - 2. Let h be g(7). Suppose -m = 2*m + d - h, 4 = d. Suppose 3*w + 30 = m*w. Is 4 a factor of w?
False
Suppose p + 4*s = 0, 5*s + 3 - 2 = -p. Suppose 0 = p*b - b - 12. Suppose -b*x + 5 = -155. Does 10 divide x?
True
Is (-616)/(-35)*(-10)/(-4) a multiple of 22?
True
Let v = 30 + -25. Suppose -p - v = -4. Is 6 a factor of 74/2 + (-3 - p)?
False
Suppose 3 = -p + 2*p. Suppose -p*y = 144 - 411. Suppose q = 4*q - 5*a - 79, 3*q - y = -5*a. Is q a multiple of 14?
True
Let k be (-588)/(-5) + (-4)/(-10). Suppose 8*m - 202 = k. Is 8 a factor of m?
True
Let a(l) = l**2 - 10*l + 11. Let u be a(15). Let q = -22 + u. Does 8 divide q?
True
Let r(w) = w**2 - 8*w + 16. Let t be r(4). Suppose c - 4*a - 15 = t, 5*c + 0*a = 2*a + 93. Is c a multiple of 4?
False
Let s = -60 + 59. Is (-1175)/(-4) - (0 - s/(-4)) a multiple of 42?
True
Suppose -1167 = -5*y + 533. Is y a multiple of 68?
True
Let h(k) = 3*k**2 + 12*k - 19. Does 3 divide h(7)?
False
Suppose -9304 = -9*z + 371. Is z a multiple of 18?
False
Let r(a) = -66*a - 60. Let f be r(6). Is 19 a factor of (1*8/3)/((-16)/f)?
True
Let d(s) = 4*s + 8. Let x be d(-4). Does 7 divide ((-10)/x)/(10/280)?
True
Let d(g) = 4*g**2 - g - 3. Suppose -3*c + 3 + 3 = 0. Suppose -5*p - 2 = 4*t, -5*t = -c*p - p + 21. Is 18 a factor of d(t)?
True
Suppose -32*g = -17*g - 930. Is g a multiple of 34?
False
Let j be (2 - (3 - 5)) + 2. Suppose j*y = -2*y + 48. Is y a multiple of 3?
True
Let l(j) = 192*j + 324. Let k(y) = -35*y - 59. Let h(a) = -28*k(a) - 5*l(a). Is h(10) a multiple of 39?
False
Let j be ((-2)/(-5) - (-6 + 6))*-20. Does 8 divide j/(-14) - 7098/(-98)?
False
Let i = 168 + -152. Does 3 divide i?
False
Let u be (-81)/6*8/(-12). Let n be (-6)/(-27) - 2/u. Suppose n = -v + 3*w + 38, -4*v + 3*w + 126 = -44. Does 11 divide v?
True
Let t = -1063 + 2023. Is 64 a factor of t?
True
Let z(i) = -2*i**3 - 4*i**2 - 8*i + 7. Let a(x) = -x**3 - 4*x**2 - 7*x + 7. Let j(t) = 3*a(t) - 2*z(t). Is j(5) a multiple of 2?
False
Let l = -73 + 97. Is 6 a factor of (-3)/(-4) + 1278/l?
True
Let o(b) = b - 4. Let v = -19 - -16. Let q be o(v). Is 1 - -6*q/(-1) a multiple of 12?
False
Let i be -1*(-1)/((-2)/(-14)). Let h(m) = m - 15. Let c be h(i). Is 2/c + 73/4 a multiple of 9?
True
Suppose -118*v = -116*v - 104. Let c = v - -35. Is c a multiple of 5?
False
Is 10 a factor of 1384*(-7)/(-392)*7?
False
Let p be 6 + -4 + 8/(-2). Is (11 - -1) + p + 0 a multiple of 5?
True
Suppose -5*w = -4*j + 146, 31 = 4*j + 2*w - 101. Is j a multiple of 5?
False
Let g(b) = b**3 + 5*b**2 - 6*b + 9. Let i be g(-6). Let w = i + 10. Does 3 divide w?
False
Is 74 a factor of (-230)/(-2 - (-7)/((-322)/(-90)))?
False
Let q = -2382 - -2742. Is q a multiple of 24?
True
Suppose -1 = -6*w - 13. Let k(a) = 5*a**2 + 4*a + 5. Does 11 divide k(w)?
False
Let k = -478 - -1022. Is k a multiple of 32?
True
Suppose -d = 3*y - 5, 8 = -4*d - 4*y - 12. Let u be (-3)/(-1 - 12/d)