f (4/v)/((-2)/15)?
True
Suppose -3*f = -y - 105, -2*f + 0*f + 59 = 3*y. Does 6 divide f?
False
Let i be 28/(2*(2 - 1)). Suppose i - 4 = v. Suppose -3*m + v = -2*m. Does 5 divide m?
True
Let t(v) be the first derivative of v**2/2 - 5*v - 2. Let r be t(0). Let a = r - -27. Is a a multiple of 11?
True
Does 5 divide 4/10 - 78/(-5)?
False
Suppose -4*j + 8 = -4*n, -4*j + 8 = -0*j. Suppose n = -2*g + g + 10. Is (-2)/10 - (-42)/g a multiple of 4?
True
Suppose -2*h = -3*l - l + 304, 3*l = -4*h + 239. Let b = l + -41. Is 18 a factor of b?
True
Suppose 2*i + 18 = z - 1, 5*i + 16 = z. Let y = z + 11. Is 15 a factor of y?
False
Let h(s) = 4*s**3 - 5*s**2 + 4*s - 1. Let m(n) = -n**3 + n - 1. Let z(f) = h(f) + 3*m(f). Does 3 divide z(4)?
False
Let h be (2 - 1) + (2 - 0). Suppose h*w - w - 32 = 0. Is w a multiple of 8?
True
Suppose -4*b + 1 = -7. Is (20 - 0) + (b - 4) a multiple of 10?
False
Let h(q) = -3*q + 2*q - 3 + 2*q. Let g be h(3). Suppose 0 = -n + 6 - g. Is 6 a factor of n?
True
Suppose 0*q - q - 7 = 3*i, -i = -3*q + 9. Does 11 divide (q/6)/(2/114)?
False
Let n = 6 - -11. Is n a multiple of 14?
False
Let p(b) = -b**2 + 9*b - 4. Let z be 16/3 - 2/(-3). Is 6 a factor of p(z)?
False
Let f(s) = -s**3 - 2*s**2 - 2*s + 2. Suppose d = -2*d - 12. Let c be f(d). Suppose 2*l - c = l. Is 15 a factor of l?
False
Let d(x) = -5*x**3 - 2*x**2 + x. Let y be d(1). Is 2 a factor of (3 + (-36)/8)*y?
False
Suppose -2*f - 85 = -5*o, 120 = 5*o + f + 4*f. Is 2 a factor of o?
False
Let n(k) = 5*k**2 - k**3 - 3*k + 2 + 4*k**2 - 5*k**2. Suppose -2*j + 0*j = -4. Is n(j) a multiple of 2?
True
Let s(t) = -t + 1 + 0*t + 3. Let i be (-9)/(-2)*(-12)/9. Does 10 divide s(i)?
True
Let z(d) = 4*d - 41. Is z(24) a multiple of 15?
False
Suppose -4*i + 10 = 4*y - 18, y - 4*i = 32. Does 7 divide y?
False
Suppose 0 = -9*x + 26 + 100. Is x a multiple of 7?
True
Suppose d - 5*d = 4*m - 64, -3*d = -2*m + 22. Is 1/7 - (-208)/m a multiple of 5?
True
Let g be 5 + 0/(-2 - -3). Suppose -35 = -u - g*b, 3*u + 4*b - 29 = 21. Does 10 divide u?
True
Suppose 4*v - 2*i - 92 - 42 = 0, 4*v - 3*i - 131 = 0. Does 16 divide v?
False
Let q = -5 + 9. Suppose q*f - 2*d = 92 + 22, 0 = -3*f + 2*d + 87. Is 9 a factor of f?
True
Let g(u) be the third derivative of -13*u**4/12 + u**3/6 - 10*u**2. Suppose -1 = 5*f + 4. Is g(f) a multiple of 9?
True
Suppose -2*h = -h + 2. Let z = h + 2. Does 5 divide (-2)/(z - -2)*-5?
True
Suppose 4*z + 0*a - 63 = 5*a, 0 = -2*z + a + 39. Let k = -9 + z. Is k a multiple of 6?
False
Let t(b) be the first derivative of 7*b**4/4 - 2*b**3/3 + b + 1. Let p(r) = -r + 3. Let n be p(2). Is 3 a factor of t(n)?
True
Let d(u) = 4*u**2 + u. Let o be d(-1). Suppose o*y = y + 10. Suppose -4*i + 3*s - 30 = -5*i, -2*i = -y*s - 27. Is i a multiple of 17?
False
Let o be (4 + -18)/(4/6). Let n be o/((-6)/2) + -2. Suppose -156 = -n*z + z. Is z a multiple of 13?
True
Let b(h) be the second derivative of 5*h**4/12 + 2*h**3/3 - 9*h**2/2 - h. Let v(k) = -6*k**2 - 5*k + 10. Let p(n) = 5*b(n) + 4*v(n). Does 14 divide p(5)?
False
Let v = -31 + 103. Is v a multiple of 12?
True
Let j(q) = 4*q**3 - 2*q**2 - 4*q + 2. Let s be j(3). Suppose 2*m = -2*m + s. Is m a multiple of 6?
False
Suppose 5*p = -2*m + 23, -5*p - m + 4*m = -3. Suppose -4*i - 2*g + 206 = -0*g, -5*i + p*g = -285. Suppose i = 2*z - 2. Does 14 divide z?
True
Let s be -571 + (-3)/(-1 - -2). Does 24 divide (-2)/(-8) + s/(-8)?
True
Let l(a) = -8*a - 8. Let i be l(-6). Suppose -2*f = -0*f - i. Is 18 a factor of f?
False
Suppose -20*c + 15*c + 1000 = 0. Is c a multiple of 40?
True
Suppose -2*j + 2*y = -5*j + 578, 4*j + y - 779 = 0. Is j a multiple of 14?
True
Suppose -5*l + b = 5, 5*b - 12 - 13 = 5*l. Suppose o = 5*t + 14, o - t + 3*t - 7 = l. Is o a multiple of 9?
True
Suppose 5*p + p = 108. Is 18 a factor of p?
True
Let g(t) = -t**3 - 8*t**2 + 9*t + 5. Let q be g(-9). Suppose 2*i - c = 3*i - q, -c - 1 = -5*i. Does 12 divide i/(2/(60/2))?
False
Let f = 3 + 1. Suppose -z - 81 = -f*h, -3*h + 59 = -2*z + 3*z. Let n = 44 - h. Is n a multiple of 12?
True
Suppose 7*i = 4*i + 72. Does 12 divide i?
True
Let v(n) be the first derivative of -5*n**2/2 - 15*n - 2. Let m(y) = 11*y + 31. Let w(l) = 2*m(l) + 5*v(l). Is 15 a factor of w(-10)?
False
Let n = 39 - 31. Does 8 divide n?
True
Let p(f) = 10*f**3 - 3*f**2 + 3*f - 4. Does 10 divide p(2)?
True
Suppose 4*a + 4*h = a - 11, -h = -3*a + 14. Let c = 5 - a. Is c even?
True
Let f(r) = r**3 + 4*r**2 - 6*r - 2. Let d be f(-5). Suppose -2*t = -45 + d. Does 6 divide t?
False
Let k(y) = 4*y - 4. Let u be (-4)/8 + 2/4. Suppose -5*c + 10 + 5 = u. Is k(c) a multiple of 8?
True
Suppose -4*a - a + 20 = 0. Suppose a*r - 148 = -4*c, 5*c - 30 = -r + 11. Is r a multiple of 9?
True
Let c(y) = 4*y**2 + y. Let v be c(1). Suppose v*b + i = 5*i + 29, -3*i = -5*b + 28. Suppose 5*x - 106 = -5*j + 94, -b*j + 10 = 0. Is x a multiple of 19?
True
Let o(n) be the second derivative of n**5/20 - n**4/4 - n**3/3 - 5*n**2/2 - 2*n. Is 3 a factor of o(4)?
True
Let y(p) = 6*p + 2. Is 11 a factor of y(3)?
False
Suppose 0 = y - i - 236, y - 466 = -y - 4*i. Suppose -5*z = -y + 75. Does 12 divide z?
False
Is 9 a factor of 32 + (1 - 5)*-1?
True
Let c be 4/(-10) - (-108)/20. Suppose -c*y + 3*j + 27 = 0, 5*j = -2*y - 0*j + 17. Suppose -150 = i - y*i. Does 15 divide i?
True
Suppose 0 = -z - z + 2. Let o be (-2 - z)/(-1*1). Suppose -26 = -4*q + o*q. Is 10 a factor of q?
False
Let y = 12 - 6. Is 6 a factor of y?
True
Let d(y) = -y**3 + 4*y**2 - 5*y - 1. Let g be (-76)/(-16) + 6/(-8). Let l be d(g). Let p = -10 - l. Does 11 divide p?
True
Is 2396/20 + ((-1)/(-5) - 0) a multiple of 10?
True
Let r(y) = -64*y**3 - y**2. Is r(-1) a multiple of 8?
False
Suppose -m - 2 = r + 2, -4*r = -4*m. Let a be (-2 + (-2)/m)*-8. Does 20 divide ((-10)/a)/((-1)/16)?
True
Let z be (-20)/15*3 + 5. Let p be -3*-2*(-26)/(-12). Suppose -p = -2*y + z. Is y a multiple of 7?
True
Let s be 64/(-10) + 2/5. Let o be (-2 - -7)*s/(-10). Suppose -o = -4*l + 53. Does 7 divide l?
True
Let h(i) be the third derivative of -i**6/120 - 2*i**5/15 - 5*i**4/12 + 3*i**2. Does 21 divide h(-7)?
True
Let i(j) = 3*j**3 + 13*j**2 + 13*j - 8. Let a(b) = -13*b**3 - 51*b**2 - 52*b + 32. Let g(c) = 2*a(c) + 9*i(c). Is 2 a factor of g(-14)?
True
Suppose 0 = 4*u - 25 - 11. Is 9 a factor of u?
True
Suppose -2*v + 2*b + 48 = 0, -4*b = 3*v - 30 - 70. Suppose -y - v = -5*y + 2*j, -2*j + 12 = 4*y. Is y a multiple of 3?
False
Let w(x) = -21*x - 31. Is 10 a factor of w(-6)?
False
Let f be 4/(-14) + 342/21. Suppose 5*t = t + f. Suppose -3*w + 26 = h + h, 4*h = t*w + 32. Does 10 divide h?
True
Let q(b) = b**2 + 7*b - 10. Let y be q(-8). Let c = 0 + y. Is 3/(-6) + (-17)/c a multiple of 5?
False
Let n = -68 + 78. Is 5 a factor of n?
True
Let g = -38 - -20. Let o be 230/18 - 4/g. Suppose r = o + 27. Does 17 divide r?
False
Suppose 0 = 5*s + 3*n - 120, 5*s - 2*n = s + 74. Let u be 0 - (-2 - -4 - 4). Is (u/2)/(3/s) a multiple of 7?
True
Let j(k) = -k**2 + 15*k + 11. Does 37 divide j(13)?
True
Let a(c) = c**2 - 1. Let b be a(5). Suppose 4*j = -2*v + b, v = -v + 4*j + 8. Is v a multiple of 3?
False
Let x be 4/22 - (-42)/11. Suppose 3*h + 360 = -x*p - 0*p, 3*h = 0. Does 18 divide 8/(-10)*p/4?
True
Let d(v) = -v**3 + 15*v**2 - 8*v - 1. Is d(14) a multiple of 22?
False
Let w(u) = u**3 + 3*u**2 - 7*u - 1. Let s(z) = z**3 + 4*z**2 - 7*z - 1. Let k(t) = -5*s(t) + 6*w(t). Is k(5) a multiple of 12?
False
Let o = 36 - 16. Let q = o + -10. Is (-296)/(-10) + 4/q a multiple of 15?
True
Is (-1 - -5 - -44) + 0 a multiple of 16?
True
Let u be (-2)/(-9) - 104/(-18). Is (9/(-6))/(u/(-40)) a multiple of 5?
True
Let x = 361 + -129. Suppose 67 - x = -5*h. Does 11 divide h?
True
Is (-1)/5 + 128/40 a multiple of 3?
True
Let q(p) = 7*p + 5. Let n(x) = 6*x + 4. Let c(r) = -5*n(r) + 4*q(r). Is 6 a factor of c(-3)?
True
Suppose 4*d - 220 = 32. Is d a multiple of 13?
False
Let r be (-14 - -2 - -2)/1. Let x be (-804)/(-15) + (-4)/r. Let d = x - 18. Is 18 a factor of d?
True
Let c(l) = l**2 - 7*l - 10. Let r be c(9). Let d be (10/r)/(3/36). Suppose 3*m - 2*q = d + 93, q = 5*m - 173. Is m a multiple of 16?
False
Suppose i - 27 = -a, 0*a = -4*i - 3*a + 107. Suppose 6*d - 118 - i = 0. Does 12 divide d?
True
Let h be 14/4*42*-1. Let o be (3/4)/(2/(-16)). Does 12 di